Comprobar

Regla1a = (6.26, 3.42)
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 = (4.54, 0.44)
B = (4.22, -2.86)
C = Point(Ray[B + (2.7, 0), B + (5, 0)])
a = false
lista2: {Segment[Mirror[C, B], Rotate[Mirror[C, B] + (3, 0), 29.999999999999996°, Mirror[C, B]]], Segment[Mirror[C, B], Rotate[Mirror[C, B] + (3, 0), 329.99999999999994°, Mirror[C, B]]], Segment[C, Rotate[C - (3, 0), 29.999999999999996°, C]], Segment[C, Rotate[C - (3, 0), 329.99999999999994°, C]], Segment[Mirror[C, B], C]}
lista1: {Segment[A - (4.5, 0), Rotate[A - (1.5, 0), 29.999999999999996°, A - (4.5, 0)]], Segment[A - (4.5, 0), Rotate[A - (1.5, 0), 329.99999999999994°, A - (4.5, 0)]], Segment[A + (4.5, 0), Rotate[A + (1.5, 0), 150.00000000000003°, A + (4.5, 0)]], Segment[A + (4.5, 0), Rotate[A + (1.5, 0), 210°, A + (4.5, 0)]]}
b = Segment(A - (4.5, 0), A + (4.5, 0))
D = Point(b)