Comprobar

r = 1.3 (slider from -5 to 5, step 0.1)
A = (9.4, 0.26)
f = Circle(A, (7.3 * r))
E = Rotate(A + (1, 0), 178.277°, A)
b = Line(A, E)
B = Intersect(f, b, 2)
e = Segment(B + (0.2, 0), B + (1.78, 0))
F = Point(e)
s = Distance(B, F)
i = Ray(A, A + (0, 1))
c = Circle(A, (2.9 * r))
h = Circle(B, (1.78 * s))
j = Ray(B, B + (0, 1))
Regla1a = (6.5, 5)
Regla1b = Circle(Regla1a, 4)
Regla1c = Point(Regla1b)
Regla1c1 = 0.017453292519943295 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)
a = false
d = Circle(A, r)
C = Intersect(c, i, 1)
D = Intersect(h, j, 1)
distanciaBD = Distance(B, D)
lista1 = Sequence(Circle[Rotate[C, k, C], (1.5 * r)], k, 0, 5.026548245743669, 1.2566370614359172)
lista2 = Sequence(Circle[Rotate[C, k, A], (1.5 * r)], k, 0, 5.026548245743669, 1.2566370614359172)
lista3 = Sequence(Circle[Rotate[D, k, B], (0.5 * s)], k, 0, 5.89049, 0.7854)
g = Circle(B, s)