Comprobar

Regla1a = (6.120670959917631, 5.163736903647449)
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
I = (-0.8518105769143901, 0.5732985757067668)
j = Segment(I, I + (12, 0))
J = Point(j)
M = Point(j)
l = Segment(M + (4, 0), M + (5.8, 0))
Q = Point(l)
tt = Distance(M, Q)