Comprobar

E = (2.84, -3.52)
F = Point(Ray[E + (1, 0), E + (2, 0)])
f = Segment(E, F)
A = (2.58, 1.36)
B = Point(Ray[A + (1, 0), A + (2, 0)])
b = Segment(A, B)
Regla1a = (4.2, -0.74)
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
H = Rotate(E + ((1.15 * f), 0), 118.00000000000001°, E)
distanciaAB = Distance(A, B)
D = Rotate(A + ((1.26 * b), 0), 78°, A)
distanciaAD = Distance(A, D)
C = Mirror(D, LineBisector[A, B])
c = Segment(B, C)
d = Segment(C, D)
e = Segment(D, A)
distanciaEF = Distance(E, F)
distanciaEH = Distance(E, H)
G = Mirror(H, LineBisector[E, F])
g = Segment(E, H)
h = Segment(H, G)
i = Segment(G, F)