4.20 p4m Alhambra Rhombus

Loading the math board and drawing, please wait…

2023-03-22 23:12

In collections geometriadinamica.es

This example demonstrates the geometric construction of 4.20 p4m Alhambra rhombus. Key mathematical concepts include rhombus, parallelogram, and geometric transformations. Using GeoGebra commands such as Line, Point, OrthogonalLine, Intersect, etc., the rhombus is constructed and its properties are illustrated. Suitable for high school geometry education and learning.

GeoGebra Commands & Parameters

Line(A, B) → b
Line(G, b) → e
Point(e) → J
OrthogonalLine(J, e) → h
OrthogonalLine(G, e) → f
Point(f) → H
OrthogonalLine(H, f) → g
Intersect(g, h) → E
Midpoint(E, H) → I
Midpoint(I, E) → B_1
Vector(I, E) → w
Length(w) → l1
If(a < 2.3, 0, If[a < 3.3, a - 2.3, 1]) → d3
If(a < 1.2, 0, If[a < 2.2, a - 1.2, 1]) → d2
If(a < 3.4, 0, If[a < 4.4, a - 3.4, 1]) → d4
If(a < 4.5, 0, If[a < 5.5, a - 4.5, 1]) → d5
If(a < 5.6, 0, If[a < 6.6, a - 5.6, 1]) → d6
If(a < 6.7, 0, If[a < 7.7, a - 6.7, 1]) → d7
If(a < 7.8, 0, If[a < 8.8, a - 7.8, 1]) → d8
Midpoint(G, J) → D
Midpoint(J, E) → F
Midpoint(H, G) → K
Midpoint(D, I) → L
Midpoint(K, L) → M
Midpoint(L, F) → N
Midpoint(F, J) → O
Midpoint(J, D) → P
Midpoint(G, D) → Q
Midpoint(K, G) → R
Midpoint(Q, M) → S
Midpoint(L, D) → T
Midpoint(P, N) → U
Midpoint(F, E) → V
Midpoint(K, H) → W
Midpoint(W, V) → Z
Midpoint(H, I) → A_1
Midpoint(N, B_1) → C_1
Midpoint(Z, W) → D_1
Midpoint(D, U) → E_1
Midpoint(U, J) → F_1
Midpoint(T, Q) → G_1
Midpoint(S, G) → H_1
Midpoint(S, K) → I_1
Midpoint(M, T) → J_1
Midpoint(T, N) → K_1
Midpoint(N, O) → L_1
Midpoint(F, C_1) → M_1
Midpoint(C_1, L) → N_1
Midpoint(L, D_1) → O_1
Midpoint(D_1, K) → P_1
Midpoint(H, D_1) → Q_1
Midpoint(D_1, I) → R_1
Midpoint(I, C_1) → S_1
Midpoint(C_1, E) → T_1
Mirror(F_1, h) → U_1
Mirror(L_1, h) → V_1
Mirror(M_1, h) → W_1
Mirror(T_1, h) → Z_1
Mirror(B_1, h) → A_2
Mirror(C_1, h) → B_2
Mirror(L_1, h) → C_2
Mirror(P, h) → P'
Mirror(U, h) → U'
Mirror(N, h) → N'
Line(Q, A_2) → d
Line(F, d) → i
Line(C_1, d) → k
Line(S_1, k) → l
Line(R_1, L_1) → j
Line(D_1, j) → m
Line(M, j) → n
Line(I, j) → p
Line(K, N') → q
Line(B_2, W) → r
Line(R, U') → s
Line(S, A_1) → t
Line(I, T) → a_1
Line(U, B_1) → b_1
Line(E_1, N_1) → c_1
Line(F_1, M_1) → d_1
Line(G_1, R_1) → e_1
Line(W_1, P_1) → g_1
Line(Q_1, Z_1) → h_1
Point(m) → D_2
Line(D_2, q) → i_1
Line(D_2, c_1) → j_1
Point(a_1) → F_2
Intersect(q, j_1) → J_2
Polygon(D_2, F_2, T) → poly2, t_2, d_2, f_2
Polygon(F_2, L, D_2) → poly1, d_4, f_1, l_1
Mirror(T, m) → T'
Mirror(D_2, m) → H_2
Mirror(K_1, m) → I_2
Mirror(D_2, m) → K_2
Mirror(F_2, m) → L_2
Mirror(T, m) → T'_1
Polygon(K_2, L_2, T'_1) → poly2', t'_1, k_3, l_3
Mirror(F_2, m) → M_2
Mirror(L, m) → L'
Mirror(D_2, m) → N_2
Polygon(M_2, L', N_2) → poly1', n_2, m_2, l'
Mirror(T', q) → T''
Mirror(H_2, q) → O_2
Mirror(I_2, q) → P_2
Mirror(K_2, q) → Q_2
Mirror(L_2, q) → R_2
Mirror(T'_1, q) → S_2
Polygon(Q_2, R_2, S_2) → poly2'', s_2, q_2, r_2
Mirror(M_2, q) → T_2
Mirror(L', q) → L''
Mirror(N_2, q) → U_2
Polygon(T_2, L'', U_2) → poly1'', u_2, t_4, l''
Mirror(T'', k) → T'''
Mirror(O_2, k) → V_2
Mirror(P_2, k) → W_2
Mirror(Q_2, k) → Z_2
Mirror(R_2, k) → A_3
Mirror(S_2, k) → B_3
Polygon(Z_2, A_3, B_3) → poly2''', b_3, z_2, a_3
Mirror(T_2, k) → C_3
Mirror(L'', k) → L'''
Mirror(U_2, k) → D_3
Polygon(C_3, L''', D_3) → poly1''', d_5, c_3, l'''
Mirror(T''', a_1) → E_3
Mirror(V_2, a_1) → F_3
Mirror(W_2, a_1) → G_3
Mirror(Z_2, a_1) → H_3
Mirror(A_3, a_1) → I_3
Mirror(B_3, a_1) → J_3
Polygon(H_3, I_3, J_3) → poly6, j_3, h_3, i_3
Mirror(C_3, a_1) → K_3
Mirror(L''', a_1) → L_3
Mirror(D_3, a_1) → M_3
Polygon(K_3, L_3, M_3) → poly7, m_3, k_4, l_4
Mirror(E_3, m) → N_3
Mirror(F_3, m) → O_3
Mirror(G_3, m) → P_3
Mirror(H_3, m) → Q_3
Mirror(I_3, m) → R_3
Mirror(J_3, m) → S_3
Polygon(Q_3, R_3, S_3) → poly6', s_3, q_3, r_3
Mirror(K_3, m) → T_3
Mirror(L_3, m) → U_3
Mirror(M_3, m) → V_3
Polygon(T_3, U_3, V_3) → poly7', v_3, t_5, u_3
Mirror(N_3, q) → W_3
Mirror(O_3, q) → Z_3
Mirror(P_3, q) → A_4
Mirror(Q_3, q) → C_4
Mirror(R_3, q) → D_4
Mirror(S_3, q) → E_4
Polygon(C_4, D_4, E_4) → poly6'', e_4, c_4, d_6
Mirror(T_3, q) → F_4
Mirror(U_3, q) → G_4
Mirror(V_3, q) → H_4
Polygon(F_4, G_4, H_4) → poly7'', h_4, f_4, g_4
Mirror(W_3, k) → I_4
Mirror(Z_3, k) → J_4
Mirror(A_4, k) → K_4
Mirror(C_4, k) → L_4
Mirror(D_4, k) → M_4
Mirror(E_4, k) → N_4
Polygon(L_4, M_4, N_4) → poly6''', n_4, l_5, m_4
Mirror(F_4, k) → O_4
Mirror(G_4, k) → P_4
Mirror(H_4, k) → Q_4
Polygon(O_4, P_4, Q_4) → poly7''', q_4, o_4, p_4
Mirror(D_2, K_1) → R_4
Polygon(T, D_2, R_4) → poly3, r_4, t_3, d_3
Polygon(R_4, U, T) → poly8, t_6, r_1, u_1
Polygon(L, U, T) → poly4, t_1, l_2, u_4
Mirror(T, m) → T'_2
Mirror(D_2, m) → S_4
Mirror(R_4, m) → T_4
Polygon(T'_2, S_4, T_4) → poly3', t_7, t'_2, s_4
Mirror(R_4, m) → U_4
Mirror(U, m) → U'_1
Mirror(T, m) → T'_3
Polygon(U_4, U'_1, T'_3) → poly8', t'_3, u_5, u'_1
Mirror(T'_2, q) → V_4
Mirror(S_4, q) → W_4
Mirror(T_4, q) → Z_4
Polygon(V_4, W_4, Z_4) → poly3'', z_4, v_4, w_4
Mirror(U_4, q) → A_5
Mirror(U'_1, q) → B_5
Mirror(T'_3, q) → C_5
Polygon(A_5, B_5, C_5) → poly8'', c_5, a_5, b_5
Mirror(V_4, k) → D_5
Mirror(W_4, k) → E_5
Mirror(Z_4, k) → F_5
Polygon(D_5, E_5, F_5) → poly3''', f_5, d_7, e_5
Mirror(A_5, k) → G_5
Mirror(B_5, k) → H_5
Mirror(C_5, k) → I_5
Polygon(G_5, H_5, I_5) → poly8''', i_5, g_5, h_5
Mirror(G_5, a_1) → J_5
Mirror(H_5, a_1) → K_5
Mirror(I_5, a_1) → L_5
Polygon(J_5, K_5, L_5) → poly5, l_6, j_5, k_5
Mirror(D_5, a_1) → M_5
Mirror(E_5, a_1) → N_5
Mirror(F_5, a_1) → O_5
Polygon(M_5, N_5, O_5) → poly9, o_5, m_5, n_5
Mirror(J_5, m) → P_5
Mirror(K_5, m) → Q_5
Mirror(L_5, m) → R_5
Polygon(P_5, Q_5, R_5) → poly5', r_5, p_5, q_5
Mirror(M_5, m) → S_5
Mirror(N_5, m) → T_5
Mirror(O_5, m) → U_5
Polygon(S_5, T_5, U_5) → poly9', u_6, s_5, t_8
Mirror(S_5, q) → V_5
Mirror(T_5, q) → W_5
Mirror(U_5, q) → Z_5
Polygon(V_5, W_5, Z_5) → poly9'', z_5, v_5, w_5
Mirror(P_5, q) → A_6
Mirror(Q_5, q) → B_6
Mirror(R_5, q) → C_6
Polygon(A_6, B_6, C_6) → poly5'', c_6, a_6, b_6
Mirror(V_5, k) → D_6
Mirror(W_5, k) → E_6
Mirror(Z_5, k) → F_6
Polygon(D_6, E_6, F_6) → poly9''', f_6, d_8, e_6
Mirror(A_6, k) → G_6
Mirror(B_6, k) → H_6
Mirror(C_6, k) → I_6
Polygon(G_6, H_6, I_6) → poly5''', i_6, g_6, h_6
Min(l1, ((a - 3) * l1)) → d1
Line(B_4, r) → k_1
Circle(B_4, d1) → p_1
Intersect(p_1, k_1, 1) → J_6
Vector(B_4, J_6) → z
Translate(U_4, z) → K_6
Translate(U'_1, z) → L_6
Translate(T'_3, z) → M_6
Polygon(K_6, L_6, M_6) → poly8''_1, m_6, k_6, l_7
Translate(T'_2, z) → N_6
Translate(S_4, z) → O_6
Translate(T_4, z) → P_6
Polygon(N_6, O_6, P_6) → poly3''_1, p_6, n_6, o_6
Translate(K_2, z) → Q_6
Translate(L_2, z) → R_6
Translate(T'_1, z) → S_6
Polygon(Q_6, R_6, S_6) → poly2''_1, s_6, q_6, r_6
Translate(V_4, z) → T_6
Translate(W_4, z) → U_6
Translate(Z_4, z) → V_6
Polygon(T_6, U_6, V_6) → poly3'''_1, v_6, t_9, u_7
Translate(Q_2, z) → W_6
Translate(R_2, z) → Z_6
Translate(S_2, z) → A_7
Polygon(W_6, Z_6, A_7) → poly2'''_1, a_7, w_6, z_6
Translate(A_5, z) → B_7
Translate(B_5, z) → C_7
Translate(C_5, z) → D_7
Polygon(B_7, C_7, D_7) → poly8'''_1, d_9, b_7, c_7
Translate(G_5, z) → C
Translate(H_5, z) → E_2
Translate(I_5, z) → G_2
Polygon(C, E_2, G_2) → poly10, g_2, c_2, e_2
Translate(D_5, z) → E_7
Translate(E_5, z) → F_7
Translate(F_5, z) → G_7
Polygon(E_7, F_7, G_7) → poly11, g_7, e_7, f_7
Translate(M_5, z) → H_7
Translate(N_5, z) → I_7
Translate(O_5, z) → J_7
Polygon(H_7, I_7, J_7) → poly9'_1, j_7, h_7, i_7
Translate(J_5, z) → K_7
Translate(K_5, z) → L_7
Translate(L_5, z) → M_7
Polygon(K_7, L_7, M_7) → poly5'_1, m_7, k_7, l_8
Translate(P_5, z) → N_7
Translate(Q_5, z) → O_7
Translate(R_5, z) → P_7
Polygon(N_7, O_7, P_7) → poly5''_1, p_7, n_7, o_7
Translate(A_6, z) → Q_7
Translate(B_6, z) → R_7
Translate(C_6, z) → S_7
Polygon(Q_7, R_7, S_7) → poly5'''_1, s_7, q_7, r_7
Translate(G_6, z) → T_7
Translate(H_6, z) → U_7
Translate(I_6, z) → V_7
Polygon(T_7, U_7, V_7) → poly12, v_7, t_{10}, u_8
Translate(S_5, z) → W_7
Translate(T_5, z) → Z_7
Translate(U_5, z) → A_8
Polygon(W_7, Z_7, A_8) → poly9''_1, a_8, w_7, z_7
Translate(V_5, z) → B_8
Translate(W_5, z) → C_8
Translate(Z_5, z) → D_8
Polygon(B_8, C_8, D_8) → poly9'''_1, d_{10}, b_8, c_8
Translate(D_6, z) → E_8
Translate(E_6, z) → F_8
Translate(F_6, z) → G_8
Polygon(E_8, F_8, G_8) → poly13, g_8, e_8, f_8
Translate(T, z) → T'_4
Translate(D_2, z) → H_8
Translate(R_4, z) → I_8
Polygon(T'_4, H_8, I_8) → poly3'_1, i_8, t'_4, h_8
Translate(L_4, z) → J_8
Translate(M_4, z) → K_8
Translate(N_4, z) → L_8
Polygon(J_8, K_8, L_8) → poly14, l_9, j_8, k_8
Translate(D_2, z) → M_8
Translate(F_2, z) → N_8
Translate(T, z) → T'_5
Polygon(M_8, N_8, T'_5) → poly2'_1, t'_5, m_8, n_8
Translate(C_4, z) → O_8
Translate(D_4, z) → P_8
Translate(E_4, z) → Q_8
Polygon(O_8, P_8, Q_8) → poly6'''_1, q_8, o_8, p_8
Translate(Q_3, z) → R_8
Translate(R_3, z) → S_8
Translate(S_3, z) → T_8
Polygon(R_8, S_8, T_8) → poly6''_1, t_{11}, r_8, s_8
Translate(H_3, z) → U_8
Translate(I_3, z) → V_8
Translate(J_3, z) → W_8
Polygon(U_8, V_8, W_8) → poly6'_1, w_8, u_9, v_8
Translate(Z_2, z) → Z_8
Translate(A_3, z) → A_9
Translate(B_3, z) → B_9
Polygon(Z_8, A_9, B_9) → poly15, b_9, z_8, a_9
Translate(C_3, z) → C_9
Translate(L''', z) → D_9
Translate(D_3, z) → E_9
Polygon(C_9, D_9, E_9) → poly16, e_9, c_9, d_{11}
Translate(M_2, z) → G_9
Translate(L', z) → L''_1
Translate(N_2, z) → H_9
Polygon(G_9, L''_1, H_9) → poly1''_1, h_9, g_9, l''_1
Translate(F_2, z) → I_9
Translate(L, z) → L'_1
Translate(D_2, z) → J_9
Polygon(I_9, L'_1, J_9) → poly1'_1, j_9, i_9, l'_1
Translate(T_2, z) → K_9
Translate(L'', z) → L'''_1
Translate(U_2, z) → L_9
Polygon(K_9, L'''_1, L_9) → poly1'''_1, l_{10}, k_9, l'''_1
Translate(O_4, z) → M_9
Translate(P_4, z) → N_9
Translate(Q_4, z) → O_9
Polygon(M_9, N_9, O_9) → poly17, o_9, m_9, n_9
Translate(F_4, z) → P_9
Translate(G_4, z) → Q_9
Translate(H_4, z) → R_9
Polygon(P_9, Q_9, R_9) → poly7'''_1, r_9, p_9, q_9
Translate(T_3, z) → S_9
Translate(U_3, z) → T_9
Translate(V_3, z) → U_9
Polygon(S_9, T_9, U_9) → poly7''_1, u_{10}, s_9, t_{12}
Translate(K_3, z) → V_9
Translate(L_3, z) → W_9
Translate(M_3, z) → Z_9
Polygon(V_9, W_9, Z_9) → poly7'_1, z_9, v_9, w_9
Translate(R_4, z) → A_{10}
Translate(U, z) → U'_2
Translate(T, z) → T'_6
Polygon(A_{10}, U'_2, T'_6) → poly8'_1, t'_6, a_{10}, u'_2
Point(b) → A1
Min(180, ((a - 4.5) * 180)) → r1
Rotate(P_5, ((-r1))°, T) → F_9
Rotate(Q_5, ((-r1))°, T) → B_{10}
Rotate(R_5, ((-r1))°, T) → C_{10}
Polygon(F_9, B_{10}, C_{10}) → poly5''_2, c_{10}, f_9, b_{10}
Rotate(S_5, ((-r1))°, T) → D_{10}
Rotate(T_5, ((-r1))°, T) → E_{10}
Rotate(U_5, ((-r1))°, T) → F_{10}
Polygon(D_{10}, E_{10}, F_{10}) → poly9''_2, f_{10}, d_{12}, e_{10}
Rotate(A_6, ((-r1))°, T) → G_{10}
Rotate(B_6, ((-r1))°, T) → H_{10}
Rotate(C_6, ((-r1))°, T) → I_{10}
Polygon(G_{10}, H_{10}, I_{10}) → poly5'''_2, i_{10}, g_{10}, h_{10}
Rotate(G_6, ((-r1))°, T) → J_{10}
Rotate(H_6, ((-r1))°, T) → K_{10}
Rotate(I_6, ((-r1))°, T) → L_{10}
Polygon(J_{10}, K_{10}, L_{10}) → poly18, l_{11}, j_{10}, k_{10}
Rotate(V_5, ((-r1))°, T) → M_{10}
Rotate(W_5, ((-r1))°, T) → N_{10}
Rotate(Z_5, ((-r1))°, T) → O_{10}
Polygon(M_{10}, N_{10}, O_{10}) → poly9'''_2, o_{10}, m_{10}, n_{10}
Rotate(D_6, ((-r1))°, T) → P_{10}
Rotate(E_6, ((-r1))°, T) → Q_{10}
Rotate(F_6, ((-r1))°, T) → R_{10}
Polygon(P_{10}, Q_{10}, R_{10}) → poly19, r_{10}, p_{10}, q_{10}
Rotate(M_5, ((-r1))°, T) → S_{10}
Rotate(N_5, ((-r1))°, T) → T_{10}
Rotate(O_5, ((-r1))°, T) → U_{10}
Polygon(S_{10}, T_{10}, U_{10}) → poly9'_2, u_{11}, s_{10}, t_{13}
Rotate(C_4, ((-r1))°, T) → V_{10}
Rotate(D_4, ((-r1))°, T) → W_{10}
Rotate(E_4, ((-r1))°, T) → Z_{10}
Polygon(V_{10}, W_{10}, Z_{10}) → poly6'''_2, z_{10}, v_{10}, w_{10}
Rotate(Q_3, ((-r1))°, T) → A_{11}
Rotate(R_3, ((-r1))°, T) → B_{11}
Rotate(S_3, ((-r1))°, T) → C_{11}
Polygon(A_{11}, B_{11}, C_{11}) → poly6''_2, c_{11}, a_{11}, b_{11}
Rotate(J_5, ((-r1))°, T) → D_{11}
Rotate(K_5, ((-r1))°, T) → E_{11}
Rotate(L_5, ((-r1))°, T) → F_{11}
Polygon(D_{11}, E_{11}, F_{11}) → poly5'_2, f_{11}, d_{13}, e_{11}
Rotate(L_4, ((-r1))°, T) → G_{11}
Rotate(M_4, ((-r1))°, T) → H_{11}
Rotate(N_4, ((-r1))°, T) → I_{11}
Polygon(G_{11}, H_{11}, I_{11}) → poly20, i_{11}, g_{11}, h_{11}
Rotate(D_2, ((-r1))°, T) → J_{11}
Rotate(F_2, ((-r1))°, T) → K_{11}
Rotate(T, ((-r1))°, T) → T'_7
Polygon(J_{11}, K_{11}, T'_7) → poly2'_2, t'_7, j_{11}, k_{11}
Rotate(H_3, ((-r1))°, T) → L_{11}
Rotate(I_3, ((-r1))°, T) → M_{11}
Rotate(J_3, ((-r1))°, T) → N_{11}
Polygon(L_{11}, M_{11}, N_{11}) → poly6'_2, n_{11}, l_{12}, m_{11}
Rotate(D_5, ((-r1))°, T) → O_{11}
Rotate(E_5, ((-r1))°, T) → P_{11}
Rotate(F_5, ((-r1))°, T) → Q_{11}
Polygon(O_{11}, P_{11}, Q_{11}) → poly21, q_{11}, o_{11}, p_{11}
Rotate(V_4, ((-r1))°, T) → R_{11}
Rotate(W_4, ((-r1))°, T) → S_{11}
Rotate(Z_4, ((-r1))°, T) → T_{11}
Polygon(R_{11}, S_{11}, T_{11}) → poly3'''_2, t_{14}, r_{11}, s_{11}
Rotate(G_5, ((-r1))°, T) → U_{11}
Rotate(H_5, ((-r1))°, T) → V_{11}
Rotate(I_5, ((-r1))°, T) → W_{11}
Polygon(U_{11}, V_{11}, W_{11}) → poly22, w_{11}, u_{12}, v_{11}
Rotate(A_5, ((-r1))°, T) → Z_{11}
Rotate(B_5, ((-r1))°, T) → A_{12}
Rotate(C_5, ((-r1))°, T) → B_{12}
Polygon(Z_{11}, A_{12}, B_{12}) → poly8'''_2, b_{12}, z_{11}, a_{12}
Rotate(U_4, ((-r1))°, T) → C_{12}
Rotate(U'_1, ((-r1))°, T) → D_{12}
Rotate(T'_3, ((-r1))°, T) → E_{12}
Polygon(C_{12}, D_{12}, E_{12}) → poly8''_2, e_{12}, c_{12}, d_{14}
Rotate(R_4, ((-r1))°, T) → F_{12}
Rotate(U, ((-r1))°, T) → U'_3
Rotate(T, ((-r1))°, T) → T'_8
Polygon(F_{12}, U'_3, T'_8) → poly8'_2, t'_8, f_{12}, u'_3
Rotate(T, ((-r1))°, T'_8) → T'_9
Rotate(D_2, ((-r1))°, T'_8) → G_{12}
Rotate(R_4, ((-r1))°, T'_8) → H_{12}
Polygon(T'_9, G_{12}, H_{12}) → poly3'_2, h_{12}, t'_9, g_{12}
Rotate(T'_2, ((-r1))°, T) → I_{12}
Rotate(S_4, ((-r1))°, T) → J_{12}
Rotate(T_4, ((-r1))°, T) → K_{12}
Polygon(I_{12}, J_{12}, K_{12}) → poly3''_2, k_{12}, i_{12}, j_{12}
Rotate(Z_2, ((-r1))°, T) → L_{12}
Rotate(A_3, ((-r1))°, T) → M_{12}
Rotate(B_3, ((-r1))°, T) → N_{12}
Polygon(L_{12}, M_{12}, N_{12}) → poly23, n_{12}, l_{13}, m_{12}
Rotate(Q_2, ((-r1))°, T) → O_{12}
Rotate(R_2, ((-r1))°, T) → P_{12}
Rotate(S_2, ((-r1))°, T) → Q_{12}
Polygon(O_{12}, P_{12}, Q_{12}) → poly2'''_2, q_{12}, o_{12}, p_{12}
Rotate(K_2, ((-r1))°, T) → R_{12}
Rotate(L_2, ((-r1))°, T) → S_{12}
Rotate(T'_1, ((-r1))°, T) → T_{12}
Polygon(R_{12}, S_{12}, T_{12}) → poly2''_2, t_{15}, r_{12}, s_{12}
Rotate(T_3, ((-r1))°, T) → U_{12}
Rotate(U_3, ((-r1))°, T) → V_{12}
Rotate(V_3, ((-r1))°, T) → W_{12}
Polygon(U_{12}, V_{12}, W_{12}) → poly7''_2, w_{12}, u_{13}, v_{12}
Rotate(K_3, ((-r1))°, T) → Z_{12}
Rotate(L_3, ((-r1))°, T) → A_{13}
Rotate(M_3, ((-r1))°, T) → B_{13}
Polygon(Z_{12}, A_{13}, B_{13}) → poly7'_2, b_{13}, z_{12}, a_{13}
Rotate(C_3, ((-r1))°, T) → C_{13}
Rotate(L''', ((-r1))°, T) → D_{13}
Rotate(D_3, ((-r1))°, T) → E_{13}
Polygon(C_{13}, D_{13}, E_{13}) → poly24, e_{13}, c_{13}, d_{15}
Rotate(T_2, ((-r1))°, T) → F_{13}
Rotate(L'', ((-r1))°, T) → L'''_2
Rotate(U_2, ((-r1))°, T) → G_{13}
Polygon(F_{13}, L'''_2, G_{13}) → poly1'''_2, g_{13}, f_{13}, l'''_2
Rotate(M_2, ((-r1))°, T) → H_{13}
Rotate(L', ((-r1))°, T) → L''_2
Rotate(N_2, ((-r1))°, T) → I_{13}
Polygon(H_{13}, L''_2, I_{13}) → poly1''_2, i_{13}, h_{13}, l''_2
Rotate(F_2, ((-r1))°, T) → J_{13}
Rotate(L, ((-r1))°, T) → L'_2
Rotate(D_2, ((-r1))°, T) → K_{13}
Polygon(J_{13}, L'_2, K_{13}) → poly1'_2, k_{13}, j_{13}, l'_2
Rotate(O_4, ((-r1))°, T) → L_{13}
Rotate(P_4, ((-r1))°, T) → M_{13}
Rotate(Q_4, ((-r1))°, T) → N_{13}
Polygon(L_{13}, M_{13}, N_{13}) → poly25, n_{13}, l_{14}, m_{13}
Rotate(F_4, ((-r1))°, T) → O_{13}
Rotate(G_4, ((-r1))°, T) → P_{13}
Rotate(H_4, ((-r1))°, T) → Q_{13}
Polygon(O_{13}, P_{13}, Q_{13}) → poly7'''_2, q_{13}, o_{13}, p_{13}
Mirror(G_{10}, b_1) → R_{13}
Mirror(H_{10}, b_1) → S_{13}
Mirror(I_{10}, b_1) → T_{13}
Polygon(R_{13}, S_{13}, T_{13}) → poly26, t_{16}, r_{13}, s_{13}
Mirror(J_{10}, b_1) → U_{13}
Mirror(K_{10}, b_1) → V_{13}
Mirror(L_{10}, b_1) → W_{13}
Polygon(U_{13}, V_{13}, W_{13}) → poly18', w_{13}, u_{14}, v_{13}
Mirror(F_{12}, b_1) → Z_{13}
Mirror(U'_3, b_1) → A_{14}
Mirror(T'_8, b_1) → B_{14}
Polygon(Z_{13}, A_{14}, B_{14}) → poly27, b_{14}, z_{13}, a_{14}
Mirror(C_{12}, b_1) → C_{14}
Mirror(D_{12}, b_1) → D_{14}
Mirror(E_{12}, b_1) → E_{14}
Polygon(C_{14}, D_{14}, E_{14}) → poly28, e_{14}, c_{14}, d_{16}
Mirror(Z_{11}, b_1) → F_{14}
Mirror(A_{12}, b_1) → G_{14}
Mirror(B_{12}, b_1) → H_{14}
Polygon(F_{14}, G_{14}, H_{14}) → poly29, h_{14}, f_{14}, g_{14}
Mirror(U_{11}, b_1) → I_{14}
Mirror(V_{11}, b_1) → J_{14}
Mirror(W_{11}, b_1) → K_{14}
Polygon(I_{14}, J_{14}, K_{14}) → poly22', k_{14}, i_{14}, j_{14}
Mirror(D_{11}, b_1) → L_{14}
Mirror(E_{11}, b_1) → M_{14}
Mirror(F_{11}, b_1) → N_{14}
Polygon(L_{14}, M_{14}, N_{14}) → poly30, n_{14}, l_{15}, m_{14}
Mirror(F_9, b_1) → O_{14}
Mirror(B_{10}, b_1) → P_{14}
Mirror(C_{10}, b_1) → Q_{14}
Polygon(O_{14}, P_{14}, Q_{14}) → poly31, q_{14}, o_{14}, p_{14}
Mirror(S_{10}, b_1) → R_{14}
Mirror(T_{10}, b_1) → S_{14}
Mirror(U_{10}, b_1) → T_{14}
Polygon(R_{14}, S_{14}, T_{14}) → poly32, t_{17}, r_{14}, s_{14}
Mirror(O_{11}, b_1) → U_{14}
Mirror(P_{11}, b_1) → V_{14}
Mirror(Q_{11}, b_1) → W_{14}
Polygon(U_{14}, V_{14}, W_{14}) → poly21', w_{14}, u_{15}, v_{14}
Mirror(R_{11}, b_1) → Z_{14}
Mirror(S_{11}, b_1) → A_{15}
Mirror(T_{11}, b_1) → B_{15}
Polygon(Z_{14}, A_{15}, B_{15}) → poly33, b_{15}, z_{14}, a_{15}
Mirror(D_{10}, b_1) → C_{15}
Mirror(E_{10}, b_1) → D_{15}
Mirror(F_{10}, b_1) → E_{15}
Polygon(C_{15}, D_{15}, E_{15}) → poly34, e_{15}, c_{15}, d_{17}
Mirror(P_{10}, b_1) → F_{15}
Mirror(Q_{10}, b_1) → G_{15}
Mirror(R_{10}, b_1) → H_{15}
Polygon(F_{15}, G_{15}, H_{15}) → poly19', h_{15}, f_{15}, g_{15}
Mirror(M_{10}, b_1) → I_{15}
Mirror(N_{10}, b_1) → J_{15}
Mirror(O_{10}, b_1) → K_{15}
Polygon(I_{15}, J_{15}, K_{15}) → poly35, k_{15}, i_{15}, j_{15}
Mirror(I_{12}, b_1) → L_{15}
Mirror(J_{12}, b_1) → M_{15}
Mirror(K_{12}, b_1) → N_{15}
Polygon(L_{15}, M_{15}, N_{15}) → poly36, n_{15}, l_{16}, m_{15}
Mirror(T'_9, b_1) → O_{15}
Mirror(G_{12}, b_1) → P_{15}
Mirror(H_{12}, b_1) → Q_{15}
Polygon(O_{15}, P_{15}, Q_{15}) → poly37, q_{15}, o_{15}, p_{15}
Mirror(L_{12}, b_1) → R_{15}
Mirror(M_{12}, b_1) → S_{15}
Mirror(N_{12}, b_1) → T_{15}
Polygon(R_{15}, S_{15}, T_{15}) → poly23', t_{18}, r_{15}, s_{15}
Mirror(L_{11}, b_1) → U_{15}
Mirror(M_{11}, b_1) → V_{15}
Mirror(N_{11}, b_1) → W_{15}
Polygon(U_{15}, V_{15}, W_{15}) → poly38, w_{15}, u_{16}, v_{15}
Mirror(O_{12}, b_1) → Z_{15}
Mirror(P_{12}, b_1) → A_{16}
Mirror(Q_{12}, b_1) → B_{16}
Polygon(Z_{15}, A_{16}, B_{16}) → poly39, b_{16}, z_{15}, a_{16}
Mirror(R_{12}, b_1) → C_{16}
Mirror(S_{12}, b_1) → D_{16}
Mirror(T_{12}, b_1) → E_{16}
Polygon(C_{16}, D_{16}, E_{16}) → poly40, e_{16}, c_{16}, d_{18}
Mirror(J_{11}, b_1) → F_{16}
Mirror(K_{11}, b_1) → G_{16}
Mirror(T'_7, b_1) → H_{16}
Polygon(F_{16}, G_{16}, H_{16}) → poly41, h_{16}, f_{16}, g_{16}
Mirror(G_{11}, b_1) → I_{16}
Mirror(H_{11}, b_1) → J_{16}
Mirror(I_{11}, b_1) → K_{16}
Polygon(I_{16}, J_{16}, K_{16}) → poly20', k_{16}, i_{16}, j_{16}
Mirror(V_{10}, b_1) → L_{16}
Mirror(W_{10}, b_1) → M_{16}
Mirror(Z_{10}, b_1) → N_{16}
Polygon(L_{16}, M_{16}, N_{16}) → poly42, n_{16}, l_{17}, m_{16}
Mirror(A_{11}, b_1) → P_{16}
Mirror(B_{11}, b_1) → Q_{16}
Mirror(C_{11}, b_1) → R_{16}
Polygon(P_{16}, Q_{16}, R_{16}) → poly43, r_{16}, p_{16}, q_{16}
Mirror(U_{12}, b_1) → S_{16}
Mirror(V_{12}, b_1) → T_{16}
Mirror(W_{12}, b_1) → U_{16}
Polygon(S_{16}, T_{16}, U_{16}) → poly44, u_{17}, s_{16}, t_{19}
Mirror(Z_{12}, b_1) → V_{16}
Mirror(A_{13}, b_1) → W_{16}
Mirror(B_{13}, b_1) → Z_{16}
Polygon(V_{16}, W_{16}, Z_{16}) → poly45, z_{16}, v_{16}, w_{16}
Mirror(C_{13}, b_1) → A_{17}
Mirror(D_{13}, b_1) → B_{17}
Mirror(E_{13}, b_1) → C_{17}
Polygon(A_{17}, B_{17}, C_{17}) → poly24', c_{17}, a_{17}, b_{17}
Mirror(F_{13}, b_1) → D_{17}
Mirror(L'''_2, b_1) → E_{17}
Mirror(G_{13}, b_1) → F_{17}
Polygon(D_{17}, E_{17}, F_{17}) → poly46, f_{17}, d_{19}, e_{17}
Mirror(H_{13}, b_1) → G_{17}
Mirror(L''_2, b_1) → H_{17}
Mirror(I_{13}, b_1) → I_{17}
Polygon(G_{17}, H_{17}, I_{17}) → poly47, i_{17}, g_{17}, h_{17}
Mirror(J_{13}, b_1) → J_{17}
Mirror(L'_2, b_1) → K_{17}
Mirror(K_{13}, b_1) → L_{17}
Polygon(J_{17}, K_{17}, L_{17}) → poly48, l_{18}, j_{17}, k_{17}
Mirror(L_{13}, b_1) → M_{17}
Mirror(M_{13}, b_1) → N_{17}
Mirror(N_{13}, b_1) → O_{17}
Polygon(M_{17}, N_{17}, O_{17}) → poly25', o_{17}, m_{17}, n_{17}
Mirror(O_{13}, b_1) → P_{17}
Mirror(P_{13}, b_1) → Q_{17}
Mirror(Q_{13}, b_1) → R_{17}
Polygon(P_{17}, Q_{17}, R_{17}) → poly49, r_{17}, p_{17}, q_{17}
Vector(I, F) → u
Polygon(M_4, Z_3, R_3, F_3, A_3, O_2, L_2, H_2) → poly50, m_1, z_3, r_{18}, f_3, a_2, o_2, l_{19}, h_2
Mirror(M_4, s) → S_{17}
Mirror(Z_3, s) → T_{17}
Mirror(R_3, s) → U_{17}
Mirror(F_3, s) → V_{17}
Mirror(A_3, s) → W_{17}
Mirror(O_2, s) → Z_{17}
Mirror(L_2, s) → A_{18}
Mirror(H_2, s) → B_{18}
Polygon(S_{17}, T_{17}, U_{17}, V_{17}, W_{17}, Z_{17}, A_{18}, B_{18}) → poly50', s_{17}, t_{20}, u_{18}, v_{17}, w_{17}, z_{17}, a_{18}, b_{18}
Mirror(S_{17}, d) → C_{18}
Mirror(T_{17}, d) → D_{18}
Mirror(U_{17}, d) → E_{18}
Mirror(V_{17}, d) → F_{18}
Mirror(W_{17}, d) → G_{18}
Mirror(Z_{17}, d) → H_{18}
Mirror(A_{18}, d) → I_{18}
Mirror(B_{18}, d) → J_{18}
Mirror(S_{17}, P) → K_{18}
Mirror(T_{17}, P) → L_{18}
Mirror(U_{17}, P) → M_{18}
Mirror(V_{17}, P) → N_{18}
Mirror(W_{17}, P) → O_{18}
Mirror(Z_{17}, P) → P_{18}
Mirror(A_{18}, P) → Q_{18}
Mirror(B_{18}, P) → R_{18}
Polygon(K_{18}, L_{18}, M_{18}, N_{18}, O_{18}, P_{18}, Q_{18}, R_{18}) → poly50''_1, k_{18}, l_{20}, m_{18}, n_{18}, o_{18}, p_{18}, q_{18}, r_{19}
Mirror(K_{18}, O) → S_{18}
Mirror(L_{18}, O) → T_{18}
Mirror(M_{18}, O) → U_{18}
Mirror(N_{18}, O) → V_{18}
Mirror(O_{18}, O) → W_{18}
Mirror(P_{18}, O) → Z_{18}
Mirror(Q_{18}, O) → A_{19}
Mirror(R_{18}, O) → B_{19}
Polygon(S_{18}, T_{18}, U_{18}, V_{18}, W_{18}, Z_{18}, A_{19}, B_{19}) → poly51, s_{18}, t_{21}, u_{19}, v_{18}, w_{18}, z_{18}, a_{19}, b_{19}
Mirror(S_{18}, V) → C_{19}
Mirror(T_{18}, V) → D_{19}
Mirror(U_{18}, V) → E_{19}
Mirror(V_{18}, V) → F_{19}
Mirror(W_{18}, V) → G_{19}
Mirror(Z_{18}, V) → H_{19}
Mirror(A_{19}, V) → I_{19}
Mirror(B_{19}, V) → J_{19}
Polygon(C_{19}, D_{19}, E_{19}, F_{19}, G_{19}, H_{19}, I_{19}, J_{19}) → poly51', c_{19}, d_{21}, e_{19}, f_{19}, g_{19}, h_{19}, i_{19}, j_{19}
Mirror(C_{19}, B_1) → K_{19}
Mirror(D_{19}, B_1) → L_{19}
Mirror(E_{19}, B_1) → M_{19}
Mirror(F_{19}, B_1) → N_{19}
Mirror(G_{19}, B_1) → O_{19}
Mirror(H_{19}, B_1) → P_{19}
Mirror(I_{19}, B_1) → Q_{19}
Mirror(J_{19}, B_1) → R_{19}
Polygon(K_{19}, L_{19}, M_{19}, N_{19}, O_{19}, P_{19}, Q_{19}, R_{19}) → poly51'', k_{19}, l_{21}, m_{19}, n_{19}, o_{19}, p_{19}, q_{19}, r_{20}
Mirror(K_{19}, j) → S_{19}
Mirror(L_{19}, j) → T_{19}
Mirror(M_{19}, j) → U_{19}
Mirror(N_{19}, j) → V_{19}
Mirror(O_{19}, j) → W_{19}
Mirror(P_{19}, j) → Z_{19}
Mirror(Q_{19}, j) → A_{20}
Mirror(R_{19}, j) → B_{20}
Mirror(S_{18}, j) → C_{20}
Mirror(T_{18}, j) → D_{20}
Mirror(U_{18}, j) → E_{20}
Mirror(V_{18}, j) → F_{20}
Mirror(W_{18}, j) → G_{20}
Mirror(Z_{18}, j) → H_{20}
Mirror(A_{19}, j) → I_{20}
Mirror(B_{19}, j) → J_{20}
Midpoint(C_1, E) → K_{20}
Mirror(C_{19}, K_{20}) → L_{20}
Mirror(D_{19}, K_{20}) → M_{20}
Mirror(E_{19}, K_{20}) → N_{20}
Mirror(F_{19}, K_{20}) → O_{20}
Mirror(G_{19}, K_{20}) → P_{20}
Mirror(H_{19}, K_{20}) → Q_{20}
Mirror(I_{19}, K_{20}) → R_{20}
Mirror(J_{19}, K_{20}) → S_{20}
Polygon(D_2, I_4, K_1) → poly54, k_{20}, d_{24}, i_{21}
Polygon(I_4, F_2, D_2) → poly53, d_{23}, i_2, f_{21}
Polygon(L', D_2, F_2) → poly55, f_{22}, l'_4, d_{25}
Polygon(D_2, I_4, F_2) → poly52, f_{23}, d_{26}, i_4
Polygon(C_{20}, R_4, U'_1) → poly56, u'_4, c_{21}, r_{22}
Mirror(C_{20}, c_{21}) → T_{20}
Mirror(R_4, c_{21}) → U_{20}
Mirror(U'_1, c_{21}) → V_{20}
Polygon(T_{20}, U_{20}, V_{20}) → poly56', v_{20}, t_{23}, u_{21}
Rotate(C_{20}, 270°, L') → B_{21}
Rotate(R_4, 270°, L') → C_{21}
Rotate(U'_1, 270°, L') → D_{21}
Polygon(B_{21}, C_{21}, D_{21}) → poly56'_2, d_{27}, b_{21}, c_{22}
Mirror(B_{21}, b_{21}) → W_{20}
Mirror(C_{21}, b_{21}) → Z_{20}
Mirror(D_{21}, b_{21}) → A_{21}
Polygon(W_{20}, Z_{20}, A_{21}) → poly57, a_{21}, w_{20}, z_{20}
Rotate(B_{21}, 270°, L') → E_{21}
Rotate(C_{21}, 270°, L') → F_{21}
Rotate(D_{21}, 270°, L') → G_{21}
Polygon(E_{21}, F_{21}, G_{21}) → poly58, g_{21}, e_{21}, f_{24}
Rotate(W_{20}, 270°, L') → H_{21}
Rotate(Z_{20}, 270°, L') → I_{21}
Rotate(A_{21}, 270°, L') → J_{21}
Polygon(H_{21}, I_{21}, J_{21}) → poly57', j_{21}, h_{21}, i_{22}
Rotate(E_{21}, 270°, L') → K_{21}
Rotate(F_{21}, 270°, L') → L_{21}
Rotate(G_{21}, 270°, L') → M_{21}
Polygon(K_{21}, L_{21}, M_{21}) → poly58', m_{21}, k_{21}, l_{23}
Rotate(H_{21}, 270°, L') → N_{21}
Rotate(I_{21}, 270°, L') → O_{21}
Rotate(J_{21}, 270°, L') → P_{21}
Polygon(N_{21}, O_{21}, P_{21}) → poly57'', p_{21}, n_{21}, o_{21}
Line(U'_1, D_{21}) → n_1
Mirror(T_{20}, n_1) → Q_{21}
Mirror(U_{20}, n_1) → R_{21}
Mirror(V_{20}, n_1) → S_{21}
Polygon(Q_{21}, R_{21}, S_{21}) → poly56'', s_{21}, q_{21}, r_{23}
Mirror(C_{20}, n_1) → T_{21}
Mirror(R_4, n_1) → U_{21}
Mirror(U'_1, n_1) → V_{21}
Polygon(T_{21}, U_{21}, V_{21}) → poly56'_1, v_{21}, t_{24}, u_{22}
Mirror(N_{21}, n_1) → W_{21}
Mirror(O_{21}, n_1) → Z_{21}
Mirror(P_{21}, n_1) → A_{22}
Polygon(W_{21}, Z_{21}, A_{22}) → poly57''', a_{22}, w_{21}, z_{21}
Mirror(K_{21}, n_1) → B_{22}
Mirror(L_{21}, n_1) → C_{22}
Mirror(M_{21}, n_1) → D_{22}
Polygon(B_{22}, C_{22}, D_{22}) → poly58'', d_{28}, b_{22}, c_{23}
Rotate(K_{21}, ((-r1))°, I_4) → E_{22}
Rotate(L_{21}, ((-r1))°, I_4) → F_{22}
Rotate(M_{21}, ((-r1))°, I_4) → G_{22}
Polygon(E_{22}, F_{22}, G_{22}) → poly58''_1, g_{22}, e_{22}, f_{25}
Rotate(N_{21}, ((-r1))°, I_4) → H_{22}
Rotate(O_{21}, ((-r1))°, I_4) → I_{22}
Rotate(P_{21}, ((-r1))°, I_4) → J_{22}
Polygon(H_{22}, I_{22}, J_{22}) → poly57'''_1, j_{22}, h_{22}, i_{23}
Rotate(C_{20}, ((-r1))°, I_4) → K_{22}
Rotate(R_4, ((-r1))°, I_4) → L_{22}
Rotate(U'_1, ((-r1))°, I_4) → M_{22}
Polygon(K_{22}, L_{22}, M_{22}) → poly56'_3, m_{22}, k_{22}, l_{24}
Rotate(T_{20}, ((-r1))°, I_4) → N_{22}
Rotate(U_{20}, ((-r1))°, I_4) → O_{22}
Rotate(V_{20}, ((-r1))°, I_4) → P_{22}
Polygon(N_{22}, O_{22}, P_{22}) → poly56''_1, p_{22}, n_{22}, o_{22}
Rotate(B_{21}, ((-r1))°, I_4) → Q_{22}
Rotate(C_{21}, ((-r1))°, I_4) → R_{22}
Rotate(D_{21}, ((-r1))°, I_4) → S_{22}
Polygon(Q_{22}, R_{22}, S_{22}) → poly59, s_{22}, q_{22}, r_{24}
Rotate(W_{20}, ((-r1))°, I_4) → T_{22}
Rotate(Z_{20}, ((-r1))°, I_4) → U_{22}
Rotate(A_{21}, ((-r1))°, I_4) → V_{22}
Polygon(T_{22}, U_{22}, V_{22}) → poly57'_1, v_{22}, t_{25}, u_{23}
Rotate(E_{21}, ((-r1))°, I_4) → W_{22}
Rotate(F_{21}, ((-r1))°, I_4) → Z_{22}
Rotate(G_{21}, ((-r1))°, I_4) → A_{23}
Polygon(W_{22}, Z_{22}, A_{23}) → poly58'_1, a_{23}, w_{22}, z_{22}
Rotate(H_{21}, ((-r1))°, I_4) → B_{23}
Rotate(I_{21}, ((-r1))°, I_4) → C_{23}
Rotate(J_{21}, ((-r1))°, I_4) → D_{23}
Polygon(B_{23}, C_{23}, D_{23}) → poly57''_1, d_{29}, b_{23}, c_{24}
Mirror(W_{22}, n_1) → E_{23}
Mirror(Z_{22}, n_1) → F_{23}
Mirror(A_{23}, n_1) → G_{23}
Polygon(E_{23}, F_{23}, G_{23}) → poly60, g_{23}, e_{23}, f_{26}
Mirror(B_{23}, n_1) → H_{23}
Mirror(C_{23}, n_1) → I_{23}
Mirror(D_{23}, n_1) → J_{23}
Polygon(H_{23}, I_{23}, J_{23}) → poly61, j_{23}, h_{23}, i_{24}
Mirror(E_{22}, n_1) → K_{23}
Mirror(F_{22}, n_1) → L_{23}
Mirror(G_{22}, n_1) → M_{23}
Polygon(K_{23}, L_{23}, M_{23}) → poly62, m_{23}, k_{23}, l_{25}
Mirror(H_{22}, n_1) → N_{23}
Mirror(I_{22}, n_1) → O_{23}
Mirror(J_{22}, n_1) → P_{23}
Polygon(N_{23}, O_{23}, P_{23}) → poly63, p_{23}, n_{23}, o_{23}
Mirror(T_{22}, n_1) → Q_{23}
Mirror(U_{22}, n_1) → R_{23}
Mirror(V_{22}, n_1) → S_{23}
Polygon(Q_{23}, R_{23}, S_{23}) → poly64, s_{23}, q_{23}, r_{25}
Mirror(Q_{22}, n_1) → T_{23}
Mirror(R_{22}, n_1) → U_{23}
Mirror(S_{22}, n_1) → V_{23}
Polygon(T_{23}, U_{23}, V_{23}) → poly59', v_{23}, t_{26}, u_{24}
Mirror(N_{22}, n_1) → W_{23}
Mirror(O_{22}, n_1) → Z_{23}
Mirror(P_{22}, n_1) → A_{24}
Polygon(W_{23}, Z_{23}, A_{24}) → poly65, a_{24}, w_{23}, z_{23}
Mirror(K_{22}, n_1) → B_{24}
Mirror(L_{22}, n_1) → C_{24}
Mirror(M_{22}, n_1) → D_{24}
Polygon(B_{24}, C_{24}, D_{24}) → poly66, d_{30}, b_{24}, c_{25}
Mirror(W_{20}, d_1) → E_{24}
Mirror(Z_{20}, d_1) → F_{24}
Mirror(A_{21}, d_1) → G_{24}
Mirror(W_{20}, n_1) → H_{24}
Mirror(Z_{20}, n_1) → I_{24}
Mirror(A_{21}, n_1) → J_{24}
Polygon(H_{24}, I_{24}, J_{24}) → poly57'_2, j_{24}, h_{24}, i_{25}
Mirror(B_{21}, n_1) → K_{24}
Mirror(C_{21}, n_1) → L_{24}
Mirror(D_{21}, n_1) → M_{24}
Polygon(K_{24}, L_{24}, M_{24}) → poly67, m_{24}, k_{24}, l_{26}
Mirror(E_{21}, n_1) → N_{24}
Mirror(F_{21}, n_1) → O_{24}
Mirror(G_{21}, n_1) → P_{24}
Polygon(N_{24}, O_{24}, P_{24}) → poly58'_2, p_{24}, n_{24}, o_{24}
Mirror(H_{21}, n_1) → Q_{24}
Mirror(I_{21}, n_1) → R_{24}
Mirror(J_{21}, n_1) → S_{24}
Polygon(Q_{24}, R_{24}, S_{24}) → poly57''_2, s_{24}, q_{24}, r_{26}
Mirror(C_{20}, W_{13}) → T_{24}
Mirror(D_{20}, W_{13}) → U_{24}
Mirror(E_{20}, W_{13}) → V_{24}
Mirror(F_{20}, W_{13}) → W_{24}
Mirror(G_{20}, W_{13}) → Z_{24}
Mirror(H_{20}, W_{13}) → A_{25}
Mirror(I_{20}, W_{13}) → B_{25}
Mirror(J_{20}, W_{13}) → C_{25}
Mirror(L_{20}, G_{24}) → D_{25}
Mirror(M_{20}, G_{24}) → E_{25}
Mirror(N_{20}, G_{24}) → F_{25}
Mirror(O_{20}, G_{24}) → G_{25}
Mirror(P_{20}, G_{24}) → H_{25}
Mirror(Q_{20}, G_{24}) → I_{25}
Mirror(R_{20}, G_{24}) → J_{25}
Mirror(S_{20}, G_{24}) → K_{25}
Mirror(D_{25}, n_1) → L_{25}
Mirror(E_{25}, n_1) → M_{25}
Mirror(F_{25}, n_1) → N_{25}
Mirror(G_{25}, n_1) → O_{25}
Mirror(H_{25}, n_1) → P_{25}
Mirror(I_{25}, n_1) → Q_{25}
Mirror(J_{25}, n_1) → R_{25}
Mirror(K_{25}, n_1) → S_{25}
Polygon(L', I_4, I_2) → poly70, i_{27}, l'_3, i_{28}
Mirror(C_{20}, P) → T_{25}
Mirror(D_{20}, P) → U_{25}
Mirror(E_{20}, P) → V_{25}
Mirror(F_{20}, P) → W_{25}
Mirror(G_{20}, P) → Z_{25}
Mirror(H_{20}, P) → A_{26}
Mirror(I_{20}, P) → B_{26}
Mirror(J_{20}, P) → C_{26}
Mirror(T_{24}, P') → D_{26}
Mirror(U_{24}, P') → E_{26}
Mirror(V_{24}, P') → F_{26}
Mirror(W_{24}, P') → G_{26}
Mirror(Z_{24}, P') → H_{26}
Mirror(A_{25}, P') → I_{26}
Mirror(B_{25}, P') → J_{26}
Mirror(C_{25}, P') → K_{26}
Mirror(C_{18}, Q) → L_{26}
Mirror(D_{18}, Q) → M_{26}
Mirror(E_{18}, Q) → N_{26}
Mirror(F_{18}, Q) → O_{26}
Mirror(G_{18}, Q) → P_{26}
Mirror(H_{18}, Q) → Q_{26}
Mirror(I_{18}, Q) → R_{26}
Mirror(J_{18}, Q) → S_{26}
Mirror(L', d) → L''_3
Mirror(I_4, d) → T_{26}
Mirror(I_2, d) → U_{26}
Polygon(L''_3, T_{26}, U_{26}) → poly70', u_{26}, l''_3, t_{22}
Mirror(D_2, d) → V_{26}
Mirror(I_4, d) → W_{26}
Mirror(F_2, d) → Z_{26}
Polygon(V_{26}, W_{26}, Z_{26}) → poly52', z_{26}, v_{26}, w_{26}
Mirror(D_2, d) → A_{27}
Mirror(I_4, d) → B_{27}
Mirror(K_1, d) → C_{27}
Polygon(A_{27}, B_{27}, C_{27}) → poly54', c_{27}, a_{27}, b_{27}
Mirror(L', d) → L''_4
Mirror(D_2, d) → D_{27}
Mirror(F_2, d) → E_{27}
Polygon(L''_4, D_{27}, E_{27}) → poly55', e_{27}, l''_4, d_{20}
Line(J, i) → q_1
Line(S, m) → s_1
Vector(D_1, S) → v_1
Vector(D_1, C_1) → w_1
Line(Q, V) → b_2
Mirror(L', b_2) → L''_5
Mirror(I_4, b_2) → F_{27}
Mirror(I_2, b_2) → G_{27}
Polygon(L''_5, F_{27}, G_{27}) → poly70'_1, g_{27}, l''_5, f_{27}

AI Drawing Prompt Reference

Draw a plane construction starting from a base line through two given points. Pick an external point and construct two perpendicular helper lines through it to obtain two additional points. From the intersections between appropriate helper lines, determine a main intersection point, then take the midpoints of several key segments in a chained order to generate a sequence of midpoint points. Use these midpoints to build the symmetric rhombus/parallelogram framework, reflecting the direction implied by the midpoint relationships. Keep the main intersection and all created midpoint points so the geometric shape and its structure are clearly represented.

The prompt above was compiled from the original drawing commands and is for reference only.