Comprobar

Regla1a = (9.42, 4.64)
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
A = (2.92, 4.0200000000000005)
E = (16.2, -0.4)
b = Line(E, E + (1, 0))
A' = Mirror(A, b)
c = Line(A', E)
a = Line(A, E)
d = Line(A, A')
e = Line(A, b)
f = Line(A', b)
B = Point(e)
C = Point(e)
D = Point(e)
g = Line(B, d)
h = Line(C, g)
i = Line(D, h)
j = Line(B, E)
k = Line(C, E)
l = Line(D, E)
F = Intersect(f, g)
G = Intersect(f, h)
H = Intersect(f, i)
m = Line(F, E)
n = Line(G, E)
I = Point(a)
J = Point(a)
K = Point(a)
L = Point(a)
M = Point(a)
N = Point(a)
O = Point(a)
P = Point(a)
p = Line(I, d)
q = Line(J, p)
r = Line(K, q)
s = Line(L, h)
t = Line(M, s)
a_1 = Line(N, s)
b_1 = Line(O, t)
c_1 = Line(P, b_1)
Q = Intersect(c, p)
R = Intersect(c, q)
S = Intersect(c, r)
T = Intersect(c, s)
U = Intersect(c, t)
V = Intersect(c, a_1)
W = Intersect(c, b_1)
Z = Intersect(c, c_1)
A_1 = Intersect(a, i)
B_1 = Intersect(c, i)
d_1 = Line(I, e)
e_1 = Line(J, d_1)
f_1 = Line(K, e_1)
g_1 = Line(L, f_1)
h_1 = Line(M, g_1)
i_1 = Line(N, h_1)
j_1 = Line(O, i_1)
k_1 = Line(P, j_1)
l_1 = Line(A_1, k_1)
m_1 = Line(Q, e)
n_1 = Line(R, m_1)
p_1 = Line(S, n_1)
q_1 = Line(T, p_1)
r_1 = Line(U, q_1)
s_1 = Line(V, r_1)
t_1 = Line(W, s_1)
a_2 = Line(Z, t_1)
b_2 = Line(B_1, a_2)
E_1 = Intersect(l, d_1)
H_1 = Intersect(l, e_1)
M_1 = Intersect(l, g_1)
Q_1 = Intersect(l, h_1)
R_1 = Intersect(l, i_1)
S_1 = Intersect(l, j_1)
T_1 = Intersect(l, k_1)
U_1 = Intersect(l, l_1)
V_1 = Intersect(k, l_1)
B_2 = Intersect(j, l_1)
N_2 = Intersect(m, b_2)
O_2 = Intersect(n, b_2)
Z_2 = Point(p)
A_3 = Mirror(Z_2, b)
c_2 = Line(Z_2, E)
d_2 = Line(A_3, E)
e_2 = Segment(A, D)
f_2 = Segment(A, A_1)
i_2 = Segment(D, U_1)
j_2 = Segment(I, E_1)
k_2 = Segment(J, H_1)
P_3 = Intersect(f_1, i_2)
l_2 = Segment(K, P_3)
m_2 = Segment(L, M_1)
n_2 = Segment(M, Q_1)
p_2 = Segment(R_1, N)
q_2 = Segment(T_1, P)
r_2 = Segment(U_1, A_1)
s_2 = Segment(S_1, O)
g_2 = Segment(C, V_1)
h_2 = Segment(B, B_2)
t_2 = Segment(A, A')
a_3 = Segment(A', H)
b_3 = Line(H, E)
Q_3 = Intersect(b_2, b_3)
c_3 = Segment(H, Q_3)
e_3 = Segment(F, N_2)
f_3 = Segment(A', B_1)
g_3 = Segment(I, Q)
h_3 = Segment(J, R)
i_3 = Segment(K, S)
j_3 = Segment(L, T)
k_3 = Segment(M, U)
l_3 = Segment(N, V)
m_3 = Segment(O, W)
n_3 = Segment(P, Z)
p_3 = Segment(A_1, B_1)
R_3 = Intersect(c_2, p_3)
S_3 = Intersect(c_2, t_2)
T_3 = Intersect(d_2, t_2)
U_3 = Intersect(d_2, p_3)
V_3 = Intersect(m_1, c_3)
W_3 = Intersect(n_1, c_3)
Z_3 = Intersect(p_1, c_3)
A_4 = Intersect(q_1, c_3)
B_4 = Intersect(r_1, c_3)
C_4 = Intersect(s_1, c_3)
D_4 = Intersect(t_1, c_3)
E_4 = Intersect(a_2, c_3)
q_3 = Segment(S_3, R_3)
r_3 = Segment(T_3, U_3)
d_3 = Segment(G, O_2)
s_3 = Segment(Q_3, B_1)
t_3 = Segment(E_4, Z)
a_4 = Segment(D_4, W)
b_4 = Segment(C_4, V)
c_4 = Segment(B_4, U)
d_4 = Segment(A_4, T)
e_4 = Segment(Z_3, S)
f_4 = Segment(W_3, R)
g_4 = Segment(V_3, Q)
h_4 = Segment(U_1, Q_3)
i_4 = Segment(T_1, E_4)
j_4 = Segment(S_1, D_4)
k_4 = Segment(R_1, C_4)
l_4 = Segment(Q_1, B_4)
m_4 = Segment(M_1, A_4)
n_4 = Segment(P_3, Z_3)
p_4 = Segment(H_1, W_3)
q_4 = Segment(E_1, V_3)
r_4 = Segment(D, H)
polígono1: {Polygon[D, U_1, Q_3, H]}
polígono2: {Polygon[U_1, A_1, A, D]}
polígono3: {Polygon[A_1, B_1, A', A]}
polígono4: {Polygon[B_1, Q_3, H, A']}
C_1 = (5.460000000000003, -4.46)
u = 0.18 (slider from 0 to 0.5, step 0.01)
D_1: C_1 + (u, 0)
v = 3.5 (slider from 0 to 5, step 0.01)
polígono5, c_5, s_4, t_4, e_5 = Polygon(C_1, C_1 + (u, 0), C_1 + (u, v), C_1 + (0, v))
f_5 = Line(C_1, E)
F_1 = Point(f_5)
G_1 = Translate(C_1, Vector[C_1, F_1])
I_1 = Translate(C_1 + (u, 0), Vector[C_1, F_1])
J_1 = Translate(C_1 + (u, v), Vector[C_1, F_1])
K_1 = Translate(C_1 + (0, v), Vector[C_1, F_1])
polígono5', g_5, i_5, j_5, k_5 = Polygon(G_1, I_1, J_1, K_1)
a_5 = Segment(Midpoint[g_5], Midpoint[j_5] + (0, 0.3))
L_1 = Point(a_5)
polígono6, g_6, i_6, b_5, d_5 = Polygon(G_1, I_1, I_1 + (0, y(L_1 - G_1)), G_1 + (0, y(L_1 - G_1)))