Comprobar

Resaltar

Regla1a = (4.46, 5.38)
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
r = 10
s = 5.5
G = (5.6000000000000005, 2.2600000000000002)
b = OrthogonalLine(G, yAxis)
H = (8.98, 2.26)
f = Segment(G, H)
ancho = 3
C = (9.32, -4.14)
d = Ray(C, C + (0, 1))
A = Midpoint(f)
B = Point(f)
B' = Mirror(B, A)
g = Ellipse(B, B', G)
a = false
E = Point(d)
e = Segment(C, E)