Comprobar

Regla1a = (2.84, 2.98)
Regla1b = Circle(Regla1a, 4)
Regla1c = Point(Regla1b)
Regla1c1 = 0.17453292519943295 rad (slider from 0 to 6.283185307179586, step 0.017453292519943295)
Regla1c2: Regla1c1 / 2
Regla1d: Angle[Regla1a + (1, 0), Regla1a, Regla1c] - Regla1c1 / 2
Regla1e = Rotate(Regla1a + ((-7.68), (-0.5)), (Regla1c2 * Div[Regla1d + Regla1c2, Regla1c2]), Regla1a)
Regla1f = Rotate(Regla1a + (7.68, (-0.5)), (Regla1c2 * Div[Regla1d + Regla1c2, Regla1c2]), Regla1a)
Regla1g = Rotate(Regla1a - (0.19, 0.19), Regla1d, Regla1a)
Regla1h = Rotate(Regla1a - ((-0.19), 0.19), Regla1d, Regla1a)
Regla1i: Regla1c - (0.21, 0.19)
Regla1j: Regla1c - ((-0.21), 0.19)
o = false
A = (4.14, -4.76)
r = 10
a = Segment(A, A + (0, r))
s = 5.5
B = Point(a)
c = Circle(B, s)
t = -1.58 (slider from -3.5 to 4.5, step 0.01)
C: A + (0, t)
d = Circle(C, s)
D = Intersect(c, d, 2)
E = Intersect(c, d, 1)
F = Intersect(d, a, 1)
e = CircumcircleArc(D, F, E)