积极 AI Logo 积极 AI

埃舍尔式蝾螈密铺：六边形旋转与平移的几何变换

埃舍尔式蝾螈密铺：六边形旋转与平移的几何变换
几何画板及绘图内容加载中，请稍等……
2012-01-27 18:39
多边形向量变换几何作图轨迹
① 本范例演示如何通过将一个正六边形进行适当分割，并利用旋转与平移变换，生成埃舍尔风格的蝾螈（salamander）图案，进而形成无缝密铺（tessellation）。② 核心数学概念包括多边形分割、旋转变换、平移变换、对称性与平面密铺原理，涉及向量、线段、多边形等基本几何对象。③ 作图要点：从构造摘要可见，使用了GeoGebra的Vector（向量）、Segment（线段）、Point（点）、Polygon（多边形）、Rotate（旋转）、Translate（平移）等命令；对象包括多个点（A, B, C, D等）、多边形（如六边形）、向量vp以及辅助点（如A_1, B_1等），通过旋转生成蝾螈轮廓，再通过平移复制形成密铺。④ 适合中学高年级至大学低年级的几何或艺术数学课程，也可用于探究密铺与群论初步，或作为数学与艺术结合的创意项目。

GeoGebra 命令及参数

  1. Vector(C, D) → u_2
  2. Segment(H_1, E) → l_1
  3. Segment(L, E) → m_1
  4. Segment(L, I_2) → n_1
  5. Segment(F, H_1) → a_3
  6. Segment(F, P_2) → j_3
  7. Segment(P_2, Q_2) → k_3
  8. Segment(Q_2, R_2) → l_3
  9. Segment(Q_2, T_2) → n_3
  10. Segment(T_2, U_2) → p_3
  11. Segment(U_2, V_2) → r_3
  12. Segment(V_2, W_2) → s_3
  13. Segment(W_2, Z_2) → t_3
  14. Segment(T_2, A_3) → a_4
  15. Segment(V_2, B_3) → b_4
  16. Segment(B_3, C_3) → c_4
  17. Segment(V_1, C_3) → t_{30}
  18. Segment(U_2, W_1) → a_1
  19. Segment(W_1, V_1) → b_1
  20. Segment(V_1, U_1) → c_1
  21. Segment(C_3, Z_1) → d_1
  22. Segment(Z_1, A_2) → q_1
  23. Segment(A_2, D_3) → r_1
  24. Segment(D_3, E_3) → a_2
  25. Segment(P_2, L_2) → b_2
  26. Segment(L_2, O) → d_6
  27. Segment(O, E) → e
  28. Segment(F, H) → a
  29. Segment(H, U) → b
  30. Segment(H, S_2) → f
  31. Segment(H_1, C_1) → g_{25}
  32. Segment(W_1, L_2) → h
  33. Segment(O, D_1) → i_{33}
  34. Segment(U_1, D_1) → j
  35. Segment(U_1, G_1) → k_{34}
  36. Segment(A_2, G_1) → l_{28}
  37. Segment(D_1, L_1) → m_{31}
  38. Segment(L_1, M_1) → n
  39. Segment(M_1, N_1) → p
  40. Segment(G_1, N_1) → q_{32}
  41. Segment(L, O_1) → r
  42. Segment(L_1, O_1) → s
  43. Segment(O_1, P_1) → e_1
  44. Segment(P_1, Q_1) → f_1
  45. Segment(P_1, R_1) → g_1
  46. Segment(M_1, S_1) → h_1
  47. Segment(N_1, T_1) → i_1
  48. Segment(D_3, D_2) → j_1
  49. Segment(Z_1, E_2) → k_1
  50. Segment(B_3, F_2) → p_1
  51. Segment(W_2, G_2) → s_1
  52. Segment(H_2, J_2) → t_1
  53. Segment(H_2, K_2) → c_2
  54. Segment(K_2, G) → d_2
  55. Segment(G, J_2) → e_2
  56. Point(k_3) → H_3
  57. Polygon(Q_2, M_2, N_2, O_2, F_3, G_3, H_3) → polígono1, q_2, m_2, n_2, o_2, f_3, g_3, h_3
  58. Point(b_2) → K_3
  59. Polygon(P_2, I_3, J_3, K_3) → polígono2, p_2, i_3, j_2, k_2
  60. Point(h) → N_3
  61. Point(h) → O_3
  62. Polygon(L_3, M_3, N_3, O_3, P_3) → polígono3, l_2, m_3, n_4, o_3, p_4
  63. Point(a_1) → Q_3
  64. Polygon(Q_3, R_3, S_3, T_3, U_3, V_3, W_1) → polígono4, q_3, r_2, s_2, t_2, u_3, v_3, w_1
  65. Point(n_3) → W_3
  66. Point(n_3) → E_4
  67. Polygon(W_3, Z_3, A_4, B_4, C_4, D_4, E_4) → polígono5, w_3, z_3, a_5, b_3, c_3, d_4, e_4
  68. Point(p_3) → F_4
  69. Point(a_1) → J_4
  70. Polygon(F_4, G_4, H_4, I_4, J_4, U_2) → polígono6, f_4, g_4, h_4, i_4, j_4, u_1
  71. Rotate(Q_2, α, P_2) → K_4
  72. Rotate(M_2, α, P_2) → L_4
  73. Rotate(N_2, α, P_2) → M_4
  74. Rotate(O_2, α, P_2) → N_4
  75. Rotate(F_3, α, P_2) → O_4
  76. Rotate(G_3, α, P_2) → P_4
  77. Rotate(H_3, α, P_2) → Q_4
  78. Polygon(K_4, L_4, M_4, N_4, O_4, P_4, Q_4) → polígono1', k_5, l_6, m_6, n_7, o_5, p_7, q_6
  79. Rotate(P_2, -α, P_2) → R_4
  80. Rotate(I_3, -α, P_2) → S_4
  81. Rotate(J_3, -α, P_2) → T_4
  82. Rotate(K_3, -α, P_2) → U_4
  83. Polygon(R_4, S_4, T_4, U_4) → polígono2', r_5, s_5, t_6, u_5
  84. Rotate(Q_3, -α, W_1) → C_5
  85. Rotate(R_3, -α, W_1) → D_5
  86. Rotate(S_3, -α, W_1) → E_5
  87. Rotate(T_3, -α, W_1) → F_5
  88. Rotate(U_3, -α, W_1) → G_5
  89. Rotate(V_3, -α, W_1) → H_5
  90. Rotate(W_1, -α, W_1) → I_5
  91. Polygon(C_5, D_5, E_5, F_5, G_5, H_5, I_5) → polígono4', c_6, d_5, e_5, f_6, g_6, h_6, i_6
  92. Polygon(F_4, T_2, N_2, O_2, F_3, G_3, H_3, P_2, I_3, J_3, K_3, L_2, D_4, N_3, M_3, L_3, P_3, O_3, W_1, V_3, U_3, T_3, S_3, C_4, R_3, Q_3, J_4, I_4, H_4, G_4, B_4, A_4, Z_3, W_3, Q_2, M_2) → polígono7, f_2, m_4, n_5, o_1, f_5, g_2, h_2, p_5, i_2, j_5, k_4, t_4, l_4, n_6, m_5, l_5, p_6, o_4, w_5, v_1, u_4, t_5, d_3, s_4, r_4, q_5, j_6, i_5, h_5, g_5, c_5, b_5, a_6, z_1, w_2, q_4
  93. Rotate(F_4, α, T_2) → J_5
  94. Rotate(G_4, α, T_2) → K_5
  95. Rotate(H_4, α, T_2) → L_5
  96. Rotate(I_4, α, T_2) → M_5
  97. Rotate(J_4, α, T_2) → N_5
  98. Rotate(U_2, α, T_2) → O_5
  99. Polygon(J_5, K_5, L_5, M_5, N_5, O_5) → polígono6', j_7, k_6, l_7, m_7, n_8, o_6
  100. Rotate(L_3, α, W_1) → V_4
  101. Rotate(M_3, α, W_1) → W_4
  102. Rotate(N_3, α, W_1) → Z_4
  103. Rotate(O_3, α, W_1) → A_5
  104. Rotate(P_3, α, W_1) → B_5
  105. Polygon(V_4, W_4, Z_4, A_5, B_5) → polígono3', v_4, w_4, z_4, a_7, b_6
  106. Rotate(W_3, -α, T_2) → P_5
  107. Rotate(Z_3, -α, T_2) → Q_5
  108. Rotate(A_4, -α, T_2) → R_5
  109. Rotate(B_4, -α, T_2) → S_5
  110. Rotate(C_4, -α, T_2) → T_5
  111. Rotate(D_4, -α, T_2) → U_5
  112. Rotate(E_4, -α, T_2) → V_5
  113. Polygon(P_5, Q_5, R_5, S_5, T_5, U_5, V_5) → polígono5', p_8, q_7, r_6, s_6, t_7, u_6, v_5
  114. Vector(W_5, Z_5) → v
  115. Vector(A_6, B_6) → w
  116. Translate(K_4, Vector[v * d]) → C_6
  117. Translate(L_4, Vector[v * d]) → D_6
  118. Translate(M_4, Vector[v * d]) → E_6
  119. Translate(N_4, Vector[v * d]) → F_6
  120. Translate(O_4, Vector[v * d]) → G_6
  121. Translate(P_4, Vector[v * d]) → H_6
  122. Translate(Q_4, Vector[v * d]) → I_6
  123. Polygon(C_6, D_6, E_6, F_6, G_6, H_6, I_6) → polígono1''_1, c_7, d_8, e_6, f_7, g_7, h_7, i_7
  124. Translate(R_4, Vector[v * d]) → J_6
  125. Translate(S_4, Vector[v * d]) → K_6
  126. Translate(T_4, Vector[v * d]) → L_6
  127. Translate(U_4, Vector[v * d]) → M_6
  128. Polygon(J_6, K_6, L_6, M_6) → polígono2''_1, j_8, k_7, l_8, m_8
  129. Translate(V_4, Vector[v * d]) → N_6
  130. Translate(W_4, Vector[v * d]) → O_6
  131. Translate(Z_4, Vector[v * d]) → P_6
  132. Translate(A_5, Vector[v * d]) → Q_6
  133. Translate(B_5, Vector[v * d]) → R_6
  134. Polygon(N_6, O_6, P_6, Q_6, R_6) → polígono3''_1, n_9, o_7, p_9, q_8, r_7
  135. Translate(C_5, Vector[v * d]) → S_6
  136. Translate(D_5, Vector[v * d]) → T_6
  137. Translate(E_5, Vector[v * d]) → U_6
  138. Translate(F_5, Vector[v * d]) → V_6
  139. Translate(G_5, Vector[v * d]) → W_6
  140. Translate(H_5, Vector[v * d]) → Z_6
  141. Translate(I_5, Vector[v * d]) → A_7
  142. Polygon(S_6, T_6, U_6, V_6, W_6, Z_6, A_7) → polígono4''_1, s_7, t_8, u_7, v_6, w_6, z_6, a_8
  143. Translate(P_5, Vector[v * d]) → B_7
  144. Translate(Q_5, Vector[v * d]) → C_7
  145. Translate(R_5, Vector[v * d]) → D_7
  146. Translate(S_5, Vector[v * d]) → E_7
  147. Translate(T_5, Vector[v * d]) → F_7
  148. Translate(U_5, Vector[v * d]) → G_7
  149. Translate(V_5, Vector[v * d]) → H_7
  150. Polygon(B_7, C_7, D_7, E_7, F_7, G_7, H_7) → polígono5''_1, b_7, c_8, d_9, e_7, f_8, g_8, h_8
  151. Translate(J_5, Vector[v * d]) → I_7
  152. Translate(K_5, Vector[v * d]) → J_7
  153. Translate(L_5, Vector[v * d]) → K_7
  154. Translate(M_5, Vector[v * d]) → L_7
  155. Translate(N_5, Vector[v * d]) → M_7
  156. Translate(O_5, Vector[v * d]) → N_7
  157. Polygon(I_7, J_7, K_7, L_7, M_7, N_7) → polígono6''_1, i_8, j_9, k_8, l_9, m_9, n_{10}
  158. Translate(F_4, Vector[v * d]) → O_7
  159. Translate(T_2, Vector[v * d]) → P_7
  160. Translate(D_4, Vector[v * d]) → Q_7
  161. Translate(C_4, Vector[v * d]) → R_7
  162. Translate(B_4, Vector[v * d]) → S_7
  163. Translate(A_4, Vector[v * d]) → T_7
  164. Translate(Z_3, Vector[v * d]) → U_7
  165. Translate(W_3, Vector[v * d]) → V_7
  166. Translate(Q_2, Vector[v * d]) → W_7
  167. Translate(M_2, Vector[v * d]) → Z_7
  168. Translate(N_2, Vector[v * d]) → A_8
  169. Translate(O_2, Vector[v * d]) → B_8
  170. Translate(F_3, Vector[v * d]) → C_8
  171. Translate(G_3, Vector[v * d]) → D_8
  172. Translate(H_3, Vector[v * d]) → E_8
  173. Translate(P_2, Vector[v * d]) → F_8
  174. Translate(I_3, Vector[v * d]) → G_8
  175. Translate(J_3, Vector[v * d]) → H_8
  176. Translate(K_3, Vector[v * d]) → I_8
  177. Translate(L_2, Vector[v * d]) → J_8
  178. Translate(N_3, Vector[v * d]) → K_8
  179. Translate(M_3, Vector[v * d]) → L_8
  180. Translate(L_3, Vector[v * d]) → M_8
  181. Translate(P_3, Vector[v * d]) → N_8
  182. Translate(O_3, Vector[v * d]) → O_8
  183. Translate(W_1, Vector[v * d]) → P_8
  184. Translate(V_3, Vector[v * d]) → Q_8
  185. Translate(U_3, Vector[v * d]) → R_8
  186. Translate(T_3, Vector[v * d]) → S_8
  187. Translate(S_3, Vector[v * d]) → T_8
  188. Translate(R_3, Vector[v * d]) → U_8
  189. Translate(Q_3, Vector[v * d]) → V_8
  190. Translate(J_4, Vector[v * d]) → W_8
  191. Translate(I_4, Vector[v * d]) → Z_8
  192. Translate(H_4, Vector[v * d]) → A_9
  193. Translate(G_4, Vector[v * d]) → B_9
  194. Polygon(O_7, P_7, A_8, B_8, C_8, D_8, E_8, F_8, G_8, H_8, I_8, J_8, Q_7, K_8, L_8, M_8, N_8, O_8, P_8, Q_8, R_8, S_8, T_8, R_7, U_8, V_8, W_8, Z_8, A_9, B_9, S_7, T_7, U_7, V_7, W_7, Z_7) → polígono7'_1, o_8, z_7, a_9, b_8, c_9, d_{10}, e_8, f_9, g_9, h_9, i_9, p_{10}, j_{10}, k_9, l_{10}, m_{10}, n_{11}, o_9, p_{11}, q_{10}, r_9, s_9, q_9, t_{10}, u_9, v_8, w_8, z_8, a_{10}, b_9, r_8, s_8, t_9, u_8, v_7, w_7
  195. Translate(K_4, Vector[w * d]) → C_9
  196. Translate(L_4, Vector[w * d]) → D_9
  197. Translate(M_4, Vector[w * d]) → E_9
  198. Translate(N_4, Vector[w * d]) → F_9
  199. Translate(O_4, Vector[w * d]) → G_9
  200. Translate(P_4, Vector[w * d]) → H_9
  201. Translate(Q_4, Vector[w * d]) → I_9
  202. Polygon(C_9, D_9, E_9, F_9, G_9, H_9, I_9) → polígono1'', c_{10}, d_{11}, e_9, f_{10}, g_{10}, h_{10}, i_{10}
  203. Translate(R_4, Vector[w * d]) → J_9
  204. Translate(S_4, Vector[w * d]) → K_9
  205. Translate(T_4, Vector[w * d]) → L_9
  206. Translate(U_4, Vector[w * d]) → M_9
  207. Polygon(J_9, K_9, L_9, M_9) → polígono2'', j_{11}, k_{10}, l_{11}, m_{11}
  208. Translate(V_4, Vector[w * d]) → N_9
  209. Translate(W_4, Vector[w * d]) → O_9
  210. Translate(Z_4, Vector[w * d]) → P_9
  211. Translate(A_5, Vector[w * d]) → Q_9
  212. Translate(B_5, Vector[w * d]) → R_9
  213. Polygon(N_9, O_9, P_9, Q_9, R_9) → polígono3'', n_{12}, o_{10}, p_{12}, q_{11}, r_{10}
  214. Translate(C_5, Vector[w * d]) → S_9
  215. Translate(D_5, Vector[w * d]) → T_9
  216. Translate(E_5, Vector[w * d]) → U_9
  217. Translate(F_5, Vector[w * d]) → V_9
  218. Translate(G_5, Vector[w * d]) → W_9
  219. Translate(H_5, Vector[w * d]) → Z_9
  220. Translate(I_5, Vector[w * d]) → A_{10}
  221. Polygon(S_9, T_9, U_9, V_9, W_9, Z_9, A_{10}) → polígono4'', s_{10}, t_{11}, u_{10}, v_9, w_9, z_9, a_{11}
  222. Translate(P_5, Vector[w * d]) → B_{10}
  223. Translate(Q_5, Vector[w * d]) → C_{10}
  224. Translate(R_5, Vector[w * d]) → D_{10}
  225. Translate(S_5, Vector[w * d]) → E_{10}
  226. Translate(T_5, Vector[w * d]) → F_{10}
  227. Translate(U_5, Vector[w * d]) → G_{10}
  228. Translate(V_5, Vector[w * d]) → H_{10}
  229. Polygon(B_{10}, C_{10}, D_{10}, E_{10}, F_{10}, G_{10}, H_{10}) → polígono5'', b_{10}, c_{11}, d_{12}, e_{10}, f_{11}, g_{11}, h_{11}
  230. Translate(J_5, Vector[w * d]) → I_{10}
  231. Translate(K_5, Vector[w * d]) → J_{10}
  232. Translate(L_5, Vector[w * d]) → K_{10}
  233. Translate(M_5, Vector[w * d]) → L_{10}
  234. Translate(N_5, Vector[w * d]) → M_{10}
  235. Translate(O_5, Vector[w * d]) → N_{10}
  236. Polygon(I_{10}, J_{10}, K_{10}, L_{10}, M_{10}, N_{10}) → polígono6'', i_{11}, j_{12}, k_{11}, l_{12}, m_{12}, n_{13}
  237. Translate(F_4, Vector[w * d]) → O_{10}
  238. Translate(T_2, Vector[w * d]) → P_{10}
  239. Translate(D_4, Vector[w * d]) → Q_{10}
  240. Translate(C_4, Vector[w * d]) → R_{10}
  241. Translate(B_4, Vector[w * d]) → S_{10}
  242. Translate(A_4, Vector[w * d]) → T_{10}
  243. Translate(Z_3, Vector[w * d]) → U_{10}
  244. Translate(W_3, Vector[w * d]) → V_{10}
  245. Translate(Q_2, Vector[w * d]) → W_{10}
  246. Translate(M_2, Vector[w * d]) → Z_{10}
  247. Translate(N_2, Vector[w * d]) → A_{11}
  248. Translate(O_2, Vector[w * d]) → B_{11}
  249. Translate(F_3, Vector[w * d]) → C_{11}
  250. Translate(G_3, Vector[w * d]) → D_{11}
  251. Translate(H_3, Vector[w * d]) → E_{11}
  252. Translate(P_2, Vector[w * d]) → F_{11}
  253. Translate(I_3, Vector[w * d]) → G_{11}
  254. Translate(J_3, Vector[w * d]) → H_{11}
  255. Translate(K_3, Vector[w * d]) → I_{11}
  256. Translate(L_2, Vector[w * d]) → J_{11}
  257. Translate(N_3, Vector[w * d]) → K_{11}
  258. Translate(M_3, Vector[w * d]) → L_{11}
  259. Translate(L_3, Vector[w * d]) → M_{11}
  260. Translate(P_3, Vector[w * d]) → N_{11}
  261. Translate(O_3, Vector[w * d]) → O_{11}
  262. Translate(W_1, Vector[w * d]) → P_{11}
  263. Translate(V_3, Vector[w * d]) → Q_{11}
  264. Translate(U_3, Vector[w * d]) → R_{11}
  265. Translate(T_3, Vector[w * d]) → S_{11}
  266. Translate(S_3, Vector[w * d]) → T_{11}
  267. Translate(R_3, Vector[w * d]) → U_{11}
  268. Translate(Q_3, Vector[w * d]) → V_{11}
  269. Translate(J_4, Vector[w * d]) → W_{11}
  270. Translate(I_4, Vector[w * d]) → Z_{11}
  271. Translate(H_4, Vector[w * d]) → A_{12}
  272. Translate(G_4, Vector[w * d]) → B_{12}
  273. Polygon(O_{10}, P_{10}, A_{11}, B_{11}, C_{11}, D_{11}, E_{11}, F_{11}, G_{11}, H_{11}, I_{11}, J_{11}, Q_{10}, K_{11}, L_{11}, M_{11}, N_{11}, O_{11}, P_{11}, Q_{11}, R_{11}, S_{11}, T_{11}, R_{10}, U_{11}, V_{11}, W_{11}, Z_{11}, A_{12}, B_{12}, S_{10}, T_{10}, U_{10}, V_{10}, W_{10}, Z_{10}) → polígono7', o_{11}, z_{10}, a_{12}, b_{11}, c_{12}, d_{13}, e_{11}, f_{12}, g_{12}, h_{12}, i_{12}, p_{13}, j_{13}, k_{12}, l_{13}, m_{13}, n_{14}, o_{12}, p_{14}, q_{13}, r_{12}, s_{12}, q_{12}, t_{13}, u_{12}, v_{11}, w_{11}, z_{11}, a_{13}, b_{12}, r_{11}, s_{11}, t_{12}, u_{11}, v_{10}, w_{10}
  274. Point(a_3) → C_{12}
  275. Point(a_3) → G_{12}
  276. Point(j_3) → H_{12}
  277. Point(l_1) → P_{12}
  278. Point(d_6) → V_{12}
  279. Polygon(C_{12}, D_{12}, E_{12}, F_{12}, G_{12}) → polígono8, c_{13}, d_7, e_{12}, f_{13}, g_{13}
  280. Polygon(H_{12}, I_{12}, J_{12}, P_2) → polígono9, h_{13}, i_{13}, j_{14}, p_{15}
  281. Polygon(K_3, K_{12}, L_{12}, M_{12}, N_{12}, O_{12}, L_2) → polígono10, k_{13}, k_{14}, l_{14}, m_{14}, n_{15}, o_{13}, l_{15}
  282. Point(d_6) → U_{12}
  283. Polygon(V_{12}, Q_{12}, S_{12}, T_{12}, U_{12}) → polígono11, v_{12}, q_{14}, s_{13}, t_{14}, u_{13}
  284. Point(l_1) → W_{12}
  285. Point(e) → B_{13}
  286. Point(l_1) → C_{13}
  287. Polygon(W_{12}, C_{13}, B_{13}, R_{12}, Z_{12}) → polígono12, w_{12}, c_{14}, b_{13}, r_{13}, z_{12}
  288. Polygon(H_1, E_{13}, F_{13}, G_{13}, H_{13}, I_{13}, P_{12}) → polígono13, h_{14}, e_{13}, f_{14}, g_{14}, h_{15}, i_{14}, p_{16}
  289. Polygon(C_{12}, F, N_{12}, O_{12}, L_2, V_{12}, Q_{12}, S_{12}, T_{12}, U_{12}, B_{13}, R_{12}, H_{12}, Z_{12}, W_{12}, P_{12}, I_{13}, H_{13}, G_{13}, F_{13}, E_{13}, H_1, G_{12}, I_{12}, F_{12}, E_{12}, D_{12}, J_{12}, P_2, K_3, K_{12}, L_{12}, M_{12}) → polígono14, c_{15}, m_{15}, n_{16}, o_{14}, l_{17}, v_2, q_{15}, s_{14}, t_{15}, u_{14}, b_{14}, f_{15}, r_{14}, z_2, w_{13}, p_{18}, i_{16}, h_{17}, g_{15}, f_{16}, e_3, h_{18}, h_{16}, g_{16}, f_{17}, e_{14}, d_{14}, i_{15}, j_{15}, p_{17}, k_{15}, k_{16}, l_{16}
  290. Rotate(L_2, -β, L_2) → P_{13}
  291. Rotate(K_3, β, P_2) → Q_{13}
  292. Rotate(K_{12}, β, P_2) → R_{13}
  293. Rotate(L_{12}, β, P_2) → S_{13}
  294. Rotate(M_{12}, β, P_2) → T_{13}
  295. Rotate(N_{12}, β, P_2) → U_{13}
  296. Rotate(O_{12}, β, P_2) → V_{13}
  297. Rotate(L_2, β, P_2) → W_{13}
  298. Polygon(Q_{13}, R_{13}, S_{13}, T_{13}, U_{13}, V_{13}, W_{13}) → polígono10', q_{16}, r_{15}, s_{15}, t_{16}, u_{15}, v_{13}, w_{14}
  299. Rotate(V_{12}, -β, U_{12}) → J_{13}
  300. Rotate(Q_{12}, -β, U_{12}) → K_{13}
  301. Rotate(S_{12}, -β, U_{12}) → L_{13}
  302. Rotate(T_{12}, -β, U_{12}) → M_{13}
  303. Rotate(U_{12}, -β, U_{12}) → N_{13}
  304. Polygon(J_{13}, K_{13}, L_{13}, M_{13}, N_{13}) → polígono11', j_{16}, k_{17}, l_{18}, m_{16}, n_{17}
  305. Rotate(W_{12}, β, U_{12}) → O_{13}
  306. Rotate(C_{13}, β, U_{12}) → Z_{13}
  307. Rotate(B_{13}, β, U_{12}) → A_{14}
  308. Rotate(R_{12}, β, U_{12}) → B_{14}
  309. Rotate(Z_{12}, β, U_{12}) → C_{14}
  310. Polygon(O_{13}, Z_{13}, A_{14}, B_{14}, C_{14}) → polígono12', o_{15}, z_{13}, a_{14}, b_{15}, c_{16}
  311. Rotate(H_1, -β, H_1) → D_{14}
  312. Rotate(E_{13}, -β, H_1) → E_{14}
  313. Rotate(F_{13}, -β, H_1) → F_{14}
  314. Rotate(G_{13}, -β, H_1) → G_{14}
  315. Rotate(H_{13}, -β, H_1) → H_{14}
  316. Rotate(I_{13}, -β, H_1) → I_{14}
  317. Rotate(P_{12}, -β, H_1) → J_{14}
  318. Polygon(D_{14}, E_{14}, F_{14}, G_{14}, H_{14}, I_{14}, J_{14}) → polígono13', d_{15}, e_{15}, f_{18}, g_{17}, h_{19}, i_{17}, j_{17}
  319. Rotate(C_{12}, β, D_{14}) → K_{14}
  320. Rotate(D_{12}, β, D_{14}) → L_{14}
  321. Rotate(E_{12}, β, D_{14}) → M_{14}
  322. Rotate(F_{12}, β, D_{14}) → N_{14}
  323. Rotate(G_{12}, β, D_{14}) → O_{14}
  324. Polygon(K_{14}, L_{14}, M_{14}, N_{14}, O_{14}) → polígono8', k_{18}, l_{19}, m_{17}, n_{18}, o_{16}
  325. Rotate(H_{12}, -β, P_2) → P_{14}
  326. Rotate(I_{12}, -β, P_2) → Q_{14}
  327. Rotate(J_{12}, -β, P_2) → R_{14}
  328. Rotate(P_2, -β, P_2) → S_{14}
  329. Polygon(P_{14}, Q_{14}, R_{14}, S_{14}) → polígono9', p_{19}, q_{17}, r_{16}, s_{16}
  330. Point(polígono14) → W_{14}
  331. Point(polígono7) → T_{14}
  332. Polygon(N_3, T_{14}, W_{14}, V_{14}, U_{14}) → polígono15, n_{19}, t_{17}, w_{15}, v_{14}, u_{16}
  333. Point(i_{33}) → D_{15}
  334. Polygon(U_{12}, Z_{14}, A_{15}, B_{15}, C_{15}, D_{15}) → polígono16, u_{17}, z_{14}, a_{15}, b_{16}, c_{17}, d_{16}
  335. Point(i_{33}) → E_{15}
  336. Polygon(E_{15}, F_{15}, G_{15}, H_{15}, I_{15}, J_{15}, K_{15}) → polígono17, e_{16}, f_{19}, g_{18}, h_{20}, i_{18}, j_{18}, k_{19}
  337. Point(c_1) → L_{15}
  338. Point(c_1) → O_{15}
  339. Polygon(L_{15}, M_{15}, N_{15}, O_{15}) → polígono18, l_{20}, m_{18}, n_{20}, o_{17}
  340. Point(b_1) → P_{15}
  341. Point(b_1) → T_{15}
  342. Polygon(P_{15}, Q_{15}, R_{15}, S_{15}, T_{15}) → polígono19, p_{20}, q_{18}, r_{17}, s_{17}, t_{18}
  343. Polygon(W_1, U_{15}, V_{15}, W_{15}, Z_{15}, A_{16}, O_3) → polígono20, w_{16}, u_{18}, v_{15}, w_{17}, z_{15}, a_{16}, o_{18}
  344. Polygon(O_3, N_3, D_{15}, E_{15}, F_{15}, G_{15}, H_{15}, I_{15}, J_{15}, K_{15}, O_{15}, N_{15}, U_{14}, M_{15}, L_{15}, B_{16}, P_{15}, Q_{15}, R_{15}, S_{15}, T_{15}, W_1, U_{15}, V_{14}, V_{15}, W_{15}, Z_{15}, A_{16}, W_{14}, U_{12}, Z_{14}, A_{15}, B_{15}, C_{15}) → polígono21, o_{19}, c_{18}, d_{17}, e_{17}, f_{20}, g_{19}, h_{21}, i_{19}, j_{19}, k_{20}, o_{20}, n_{21}, n_{22}, m_{19}, l_{21}, b_{18}, p_{21}, q_{19}, r_{18}, s_{18}, t_{19}, w_{19}, u_{19}, u_{21}, v_{17}, w_{20}, z_{16}, a_{18}, v_{16}, w_{18}, u_{20}, z_5, a_{17}, b_{17}
  345. Rotate(N_3, γ, U_{12}) → C_{16}
  346. Rotate(T_{14}, γ, U_{12}) → D_{16}
  347. Rotate(W_{14}, γ, U_{12}) → E_{16}
  348. Rotate(V_{14}, γ, U_{12}) → F_{16}
  349. Rotate(U_{14}, γ, U_{12}) → G_{16}
  350. Polygon(C_{16}, D_{16}, E_{16}, F_{16}, G_{16}) → polígono15', c_{19}, d_{18}, e_{18}, f_{21}, g_{20}
  351. Rotate(U_{12}, -γ, U_{12}) → H_{16}
  352. Rotate(Z_{14}, -γ, U_{12}) → I_{16}
  353. Rotate(A_{15}, -γ, U_{12}) → J_{16}
  354. Rotate(B_{15}, -γ, U_{12}) → K_{16}
  355. Rotate(C_{15}, -γ, U_{12}) → L_{16}
  356. Rotate(D_{15}, -γ, U_{12}) → M_{16}
  357. Polygon(H_{16}, I_{16}, J_{16}, K_{16}, L_{16}, M_{16}) → polígono16', h_{22}, i_{20}, j_{20}, k_{21}, l_{22}, m_{20}
  358. Rotate(E_{15}, γ, O_{15}) → N_{16}
  359. Rotate(F_{15}, γ, O_{15}) → O_{16}
  360. Rotate(G_{15}, γ, O_{15}) → P_{16}
  361. Rotate(H_{15}, γ, O_{15}) → Q_{16}
  362. Rotate(I_{15}, γ, O_{15}) → R_{16}
  363. Rotate(J_{15}, γ, O_{15}) → S_{16}
  364. Rotate(K_{15}, γ, O_{15}) → T_{16}
  365. Polygon(N_{16}, O_{16}, P_{16}, Q_{16}, R_{16}, S_{16}, T_{16}) → polígono17', n_{23}, o_{21}, p_{22}, q_{20}, r_{19}, s_{19}, t_{20}
  366. Rotate(L_{15}, -γ, O_{15}) → U_{16}
  367. Rotate(M_{15}, -γ, O_{15}) → V_{16}
  368. Rotate(N_{15}, -γ, O_{15}) → W_{16}
  369. Rotate(O_{15}, -γ, O_{15}) → Z_{16}
  370. Polygon(U_{16}, V_{16}, W_{16}, Z_{16}) → polígono18', u_{22}, v_{18}, w_{21}, z_{17}
  371. Rotate(P_{15}, γ, W_1) → A_{17}
  372. Rotate(Q_{15}, γ, W_1) → B_{17}
  373. Rotate(R_{15}, γ, W_1) → C_{17}
  374. Rotate(S_{15}, γ, W_1) → D_{17}
  375. Rotate(T_{15}, γ, W_1) → E_{17}
  376. Polygon(A_{17}, B_{17}, C_{17}, D_{17}, E_{17}) → polígono19', a_{19}, b_{19}, c_{20}, d_{19}, e_{19}
  377. Rotate(W_1, -γ, W_1) → F_{17}
  378. Rotate(U_{15}, -γ, W_1) → G_{17}
  379. Rotate(V_{15}, -γ, W_1) → H_{17}
  380. Rotate(W_{15}, -γ, W_1) → I_{17}
  381. Rotate(Z_{15}, -γ, W_1) → J_{17}
  382. Rotate(A_{16}, -γ, W_1) → K_{17}
  383. Rotate(O_3, -γ, W_1) → L_{17}
  384. Polygon(F_{17}, G_{17}, H_{17}, I_{17}, J_{17}, K_{17}, L_{17}) → polígono20', f_{22}, g_{21}, h_{23}, i_{21}, j_{21}, k_{22}, l_{23}
  385. Vector(M_{17}, N_{17}) → z
  386. Segment(O_{17}, P_{17}) → a_{20}
  387. Segment(O_{17}, Q_{17}) → b_{20}
  388. Segment(Q_{17}, R_{17}) → d_{20}
  389. Segment(P_{17}, R_{17}) → e_{20}
  390. Translate(K_{14}, Vector[z * d]) → S_{17}
  391. Translate(L_{14}, Vector[z * d]) → T_{17}
  392. Translate(M_{14}, Vector[z * d]) → U_{17}
  393. Translate(N_{14}, Vector[z * d]) → V_{17}
  394. Translate(O_{14}, Vector[z * d]) → W_{17}
  395. Polygon(S_{17}, T_{17}, U_{17}, V_{17}, W_{17}) → polígono8''_1, s_{20}, t_{21}, u_{23}, v_{19}, w_{22}
  396. Translate(P_{14}, Vector[z * d]) → Z_{17}
  397. Translate(Q_{14}, Vector[z * d]) → A_{18}
  398. Translate(R_{14}, Vector[z * d]) → B_{18}
  399. Translate(S_{14}, Vector[z * d]) → C_{18}
  400. Polygon(Z_{17}, A_{18}, B_{18}, C_{18}) → polígono9''_1, z_{18}, a_{21}, b_{21}, c_{21}
  401. Translate(Q_{13}, Vector[z * d]) → D_{18}
  402. Translate(R_{13}, Vector[z * d]) → E_{18}
  403. Translate(S_{13}, Vector[z * d]) → F_{18}
  404. Translate(T_{13}, Vector[z * d]) → G_{18}
  405. Translate(U_{13}, Vector[z * d]) → H_{18}
  406. Translate(V_{13}, Vector[z * d]) → I_{18}
  407. Translate(W_{13}, Vector[z * d]) → J_{18}
  408. Polygon(D_{18}, E_{18}, F_{18}, G_{18}, H_{18}, I_{18}, J_{18}) → polígono10''_1, d_{21}, e_{21}, f_{23}, g_{22}, h_{24}, i_{22}, j_{22}
  409. Translate(J_{13}, Vector[z * d]) → K_{18}
  410. Translate(K_{13}, Vector[z * d]) → L_{18}
  411. Translate(L_{13}, Vector[z * d]) → M_{18}
  412. Translate(M_{13}, Vector[z * d]) → N_{18}
  413. Translate(N_{13}, Vector[z * d]) → O_{18}
  414. Polygon(K_{18}, L_{18}, M_{18}, N_{18}, O_{18}) → polígono11''_1, k_{23}, l_{24}, m_{21}, n_{24}, o_{22}
  415. Translate(O_{13}, Vector[z * d]) → P_{18}
  416. Translate(Z_{13}, Vector[z * d]) → Q_{18}
  417. Translate(A_{14}, Vector[z * d]) → R_{18}
  418. Translate(B_{14}, Vector[z * d]) → S_{18}
  419. Translate(C_{14}, Vector[z * d]) → T_{18}
  420. Polygon(P_{18}, Q_{18}, R_{18}, S_{18}, T_{18}) → polígono12''_1, p_{23}, q_{21}, r_{20}, s_{21}, t_{22}
  421. Translate(D_{14}, Vector[z * d]) → U_{18}
  422. Translate(E_{14}, Vector[z * d]) → V_{18}
  423. Translate(F_{14}, Vector[z * d]) → W_{18}
  424. Translate(G_{14}, Vector[z * d]) → Z_{18}
  425. Translate(H_{14}, Vector[z * d]) → A_{19}
  426. Translate(I_{14}, Vector[z * d]) → B_{19}
  427. Translate(J_{14}, Vector[z * d]) → C_{19}
  428. Polygon(U_{18}, V_{18}, W_{18}, Z_{18}, A_{19}, B_{19}, C_{19}) → polígono13''_1, u_{24}, v_{20}, w_{23}, z_{19}, a_{22}, b_{22}, c_{22}
  429. Translate(C_{12}, Vector[z * d]) → D_{19}
  430. Translate(F, Vector[z * d]) → F'_1
  431. Translate(H_{12}, Vector[z * d]) → E_{19}
  432. Translate(I_{12}, Vector[z * d]) → F_{19}
  433. Translate(J_{12}, Vector[z * d]) → G_{19}
  434. Translate(P_2, Vector[z * d]) → H_{19}
  435. Translate(K_3, Vector[z * d]) → I_{19}
  436. Translate(K_{12}, Vector[z * d]) → J_{19}
  437. Translate(L_{12}, Vector[z * d]) → K_{19}
  438. Translate(M_{12}, Vector[z * d]) → L_{19}
  439. Translate(N_{12}, Vector[z * d]) → M_{19}
  440. Translate(O_{12}, Vector[z * d]) → N_{19}
  441. Translate(L_2, Vector[z * d]) → O_{19}
  442. Translate(V_{12}, Vector[z * d]) → P_{19}
  443. Translate(Q_{12}, Vector[z * d]) → Q_{19}
  444. Translate(S_{12}, Vector[z * d]) → R_{19}
  445. Translate(T_{12}, Vector[z * d]) → S_{19}
  446. Translate(U_{12}, Vector[z * d]) → T_{19}
  447. Translate(B_{13}, Vector[z * d]) → U_{19}
  448. Translate(R_{12}, Vector[z * d]) → V_{19}
  449. Translate(Z_{12}, Vector[z * d]) → W_{19}
  450. Translate(W_{12}, Vector[z * d]) → Z_{19}
  451. Translate(P_{12}, Vector[z * d]) → A_{20}
  452. Translate(I_{13}, Vector[z * d]) → B_{20}
  453. Translate(H_{13}, Vector[z * d]) → C_{20}
  454. Translate(G_{13}, Vector[z * d]) → D_{20}
  455. Translate(F_{13}, Vector[z * d]) → E_{20}
  456. Translate(E_{13}, Vector[z * d]) → F_{20}
  457. Translate(H_1, Vector[z * d]) → G_{20}
  458. Translate(G_{12}, Vector[z * d]) → H_{20}
  459. Translate(F_{12}, Vector[z * d]) → I_{20}
  460. Translate(E_{12}, Vector[z * d]) → J_{20}
  461. Translate(D_{12}, Vector[z * d]) → K_{20}
  462. Polygon(D_{19}, F'_1, M_{19}, N_{19}, O_{19}, P_{19}, Q_{19}, R_{19}, S_{19}, T_{19}, U_{19}, V_{19}, E_{19}, W_{19}, Z_{19}, A_{20}, B_{20}, C_{20}, D_{20}, E_{20}, F_{20}, G_{20}, H_{20}, F_{19}, I_{20}, J_{20}, K_{20}, G_{19}, H_{19}, I_{19}, J_{19}, K_{19}, L_{19}) → polígono14'_1, d_{22}, l_{25}, m_{22}, n_{25}, o_{23}, p_{24}, q_{22}, r_{21}, s_{22}, t_{23}, u_{25}, f', v_{21}, w_{24}, z_{20}, a_{23}, b_{23}, c_{23}, d_{23}, e_{23}, f_{25}, g_{24}, e_{22}, h_{26}, i_{24}, j_{24}, k_{25}, f_{24}, g_{23}, h_{25}, i_{23}, j_{23}, k_{24}
  463. Vector(L_{20}, M_{20}) → g
  464. Translate(Q_{13}, Vector[g * d]) → N_{20}
  465. Translate(R_{13}, Vector[g * d]) → O_{20}
  466. Translate(S_{13}, Vector[g * d]) → P_{20}
  467. Translate(T_{13}, Vector[g * d]) → Q_{20}
  468. Translate(U_{13}, Vector[g * d]) → R_{20}
  469. Translate(V_{13}, Vector[g * d]) → S_{20}
  470. Translate(W_{13}, Vector[g * d]) → T_{20}
  471. Polygon(N_{20}, O_{20}, P_{20}, Q_{20}, R_{20}, S_{20}, T_{20}) → polígono10'', n_{26}, o_{24}, p_{25}, q_{23}, r_{22}, s_{23}, t_{24}
  472. Translate(J_{13}, Vector[g * d]) → U_{20}
  473. Translate(K_{13}, Vector[g * d]) → V_{20}
  474. Translate(L_{13}, Vector[g * d]) → W_{20}
  475. Translate(M_{13}, Vector[g * d]) → Z_{20}
  476. Translate(N_{13}, Vector[g * d]) → A_{21}
  477. Polygon(U_{20}, V_{20}, W_{20}, Z_{20}, A_{21}) → polígono11'', u_{26}, v_{22}, w_{25}, z_{21}, a_{24}
  478. Translate(O_{13}, Vector[g * d]) → B_{21}
  479. Translate(Z_{13}, Vector[g * d]) → C_{21}
  480. Translate(A_{14}, Vector[g * d]) → D_{21}
  481. Translate(B_{14}, Vector[g * d]) → E_{21}
  482. Translate(C_{14}, Vector[g * d]) → F_{21}
  483. Polygon(B_{21}, C_{21}, D_{21}, E_{21}, F_{21}) → polígono12'', b_{24}, c_{24}, d_{24}, e_{24}, f_{26}
  484. Translate(D_{14}, Vector[g * d]) → G_{21}
  485. Translate(E_{14}, Vector[g * d]) → H_{21}
  486. Translate(F_{14}, Vector[g * d]) → I_{21}
  487. Translate(G_{14}, Vector[g * d]) → J_{21}
  488. Translate(H_{14}, Vector[g * d]) → K_{21}
  489. Translate(I_{14}, Vector[g * d]) → L_{21}
  490. Translate(J_{14}, Vector[g * d]) → M_{21}
  491. Polygon(G_{21}, H_{21}, I_{21}, J_{21}, K_{21}, L_{21}, M_{21}) → polígono13'', g_{26}, h_{27}, i_{25}, j_{25}, k_{26}, l_{26}, m_{23}
  492. Translate(C_{12}, Vector[g * d]) → N_{21}
  493. Translate(F, Vector[g * d]) → F'
  494. Translate(H_{12}, Vector[g * d]) → O_{21}
  495. Translate(I_{12}, Vector[g * d]) → P_{21}
  496. Translate(J_{12}, Vector[g * d]) → Q_{21}
  497. Translate(P_2, Vector[g * d]) → R_{21}
  498. Translate(K_3, Vector[g * d]) → S_{21}
  499. Translate(K_{12}, Vector[g * d]) → T_{21}
  500. Translate(L_{12}, Vector[g * d]) → U_{21}
  501. Translate(M_{12}, Vector[g * d]) → V_{21}
  502. Translate(N_{12}, Vector[g * d]) → W_{21}
  503. Translate(O_{12}, Vector[g * d]) → Z_{21}
  504. Translate(L_2, Vector[g * d]) → A_{22}
  505. Translate(V_{12}, Vector[g * d]) → B_{22}
  506. Translate(Q_{12}, Vector[g * d]) → C_{22}
  507. Translate(S_{12}, Vector[g * d]) → D_{22}
  508. Translate(T_{12}, Vector[g * d]) → E_{22}
  509. Translate(U_{12}, Vector[g * d]) → F_{22}
  510. Translate(B_{13}, Vector[g * d]) → G_{22}
  511. Translate(R_{12}, Vector[g * d]) → H_{22}
  512. Translate(Z_{12}, Vector[g * d]) → I_{22}
  513. Translate(W_{12}, Vector[g * d]) → J_{22}
  514. Translate(P_{12}, Vector[g * d]) → K_{22}
  515. Translate(I_{13}, Vector[g * d]) → L_{22}
  516. Translate(H_{13}, Vector[g * d]) → M_{22}
  517. Translate(G_{13}, Vector[g * d]) → N_{22}
  518. Translate(F_{13}, Vector[g * d]) → O_{22}
  519. Translate(E_{13}, Vector[g * d]) → P_{22}
  520. Translate(H_1, Vector[g * d]) → Q_{22}
  521. Translate(G_{12}, Vector[g * d]) → R_{22}
  522. Translate(F_{12}, Vector[g * d]) → S_{22}
  523. Translate(E_{12}, Vector[g * d]) → T_{22}
  524. Translate(D_{12}, Vector[g * d]) → U_{22}
  525. Polygon(N_{21}, F', W_{21}, Z_{21}, A_{22}, B_{22}, C_{22}, D_{22}, E_{22}, F_{22}, G_{22}, H_{22}, O_{21}, I_{22}, J_{22}, K_{22}, L_{22}, M_{22}, N_{22}, O_{22}, P_{22}, Q_{22}, R_{22}, P_{21}, S_{22}, T_{22}, U_{22}, Q_{21}, R_{21}, S_{21}, T_{21}, U_{21}, V_{21}) → polígono14', n_{27}, v_{23}, w_{26}, z_{22}, a_{25}, b_{25}, c_{25}, d_{25}, e_{25}, f_{27}, g_{27}, f'_1, h_{28}, i_{26}, j_{26}, k_{27}, l_{27}, m_{24}, n_{28}, o_{26}, p_{27}, q_{25}, o_{25}, r_{24}, s_{25}, t_{26}, u_{28}, p_{26}, q_{24}, r_{23}, s_{24}, t_{25}, u_{27}
  526. Translate(K_{14}, Vector[g * d]) → V_{22}
  527. Translate(L_{14}, Vector[g * d]) → W_{22}
  528. Translate(M_{14}, Vector[g * d]) → Z_{22}
  529. Translate(N_{14}, Vector[g * d]) → A_{23}
  530. Translate(O_{14}, Vector[g * d]) → B_{23}
  531. Polygon(V_{22}, W_{22}, Z_{22}, A_{23}, B_{23}) → polígono8'', v_{24}, w_{27}, z_{23}, a_{26}, b_{26}
  532. Translate(P_{14}, Vector[g * d]) → C_{23}
  533. Translate(Q_{14}, Vector[g * d]) → D_{23}
  534. Translate(R_{14}, Vector[g * d]) → E_{23}
  535. Translate(S_{14}, Vector[g * d]) → F_{23}
  536. Polygon(C_{23}, D_{23}, E_{23}, F_{23}) → polígono9'', c_{26}, d_{26}, e_{26}, f_{28}
  537. Vector(G_{23}, H_{23}) → l
  538. Translate(C_{16}, Vector[l * d]) → I_{23}
  539. Translate(D_{16}, Vector[l * d]) → J_{23}
  540. Translate(E_{16}, Vector[l * d]) → K_{23}
  541. Translate(F_{16}, Vector[l * d]) → L_{23}
  542. Translate(G_{16}, Vector[l * d]) → M_{23}
  543. Polygon(I_{23}, J_{23}, K_{23}, L_{23}, M_{23}) → polígono15''_1, i_{27}, j_{27}, k_{28}, l_{29}, m_{25}
  544. Translate(H_{16}, Vector[l * d]) → N_{23}
  545. Translate(I_{16}, Vector[l * d]) → O_{23}
  546. Translate(J_{16}, Vector[l * d]) → P_{23}
  547. Translate(K_{16}, Vector[l * d]) → Q_{23}
  548. Translate(L_{16}, Vector[l * d]) → R_{23}
  549. Translate(M_{16}, Vector[l * d]) → S_{23}
  550. Polygon(N_{23}, O_{23}, P_{23}, Q_{23}, R_{23}, S_{23}) → polígono16''_1, n_{29}, o_{27}, p_{28}, q_{26}, r_{25}, s_{26}
  551. Translate(N_{16}, Vector[l * d]) → T_{23}
  552. Translate(O_{16}, Vector[l * d]) → U_{23}
  553. Translate(P_{16}, Vector[l * d]) → V_{23}
  554. Translate(Q_{16}, Vector[l * d]) → W_{23}
  555. Translate(R_{16}, Vector[l * d]) → Z_{23}
  556. Translate(S_{16}, Vector[l * d]) → A_{24}
  557. Translate(T_{16}, Vector[l * d]) → B_{24}
  558. Polygon(T_{23}, U_{23}, V_{23}, W_{23}, Z_{23}, A_{24}, B_{24}) → polígono17''_1, t_{27}, u_{29}, v_{25}, w_{28}, z_{24}, a_{27}, b_{27}
  559. Translate(U_{16}, Vector[l * d]) → C_{24}
  560. Translate(V_{16}, Vector[l * d]) → D_{24}
  561. Translate(W_{16}, Vector[l * d]) → E_{24}
  562. Translate(Z_{16}, Vector[l * d]) → F_{24}
  563. Polygon(C_{24}, D_{24}, E_{24}, F_{24}) → polígono18''_1, c_{27}, d_{27}, e_{27}, f_{29}
  564. Translate(A_{17}, Vector[l * d]) → G_{24}
  565. Translate(B_{17}, Vector[l * d]) → H_{24}
  566. Translate(C_{17}, Vector[l * d]) → I_{24}
  567. Translate(D_{17}, Vector[l * d]) → J_{24}
  568. Translate(E_{17}, Vector[l * d]) → K_{24}
  569. Polygon(G_{24}, H_{24}, I_{24}, J_{24}, K_{24}) → polígono19''_1, g_{28}, h_{29}, i_{28}, j_{28}, k_{29}
  570. Translate(F_{17}, Vector[l * d]) → L_{24}
  571. Translate(G_{17}, Vector[l * d]) → M_{24}
  572. Translate(H_{17}, Vector[l * d]) → N_{24}
  573. Translate(I_{17}, Vector[l * d]) → O_{24}
  574. Translate(J_{17}, Vector[l * d]) → P_{24}
  575. Translate(K_{17}, Vector[l * d]) → Q_{24}
  576. Translate(L_{17}, Vector[l * d]) → R_{24}
  577. Polygon(L_{24}, M_{24}, N_{24}, O_{24}, P_{24}, Q_{24}, R_{24}) → polígono20''_1, l_{30}, m_{26}, n_{30}, o_{28}, p_{29}, q_{27}, r_{26}
  578. Translate(O_3, Vector[l * d]) → S_{24}
  579. Translate(N_3, Vector[l * d]) → T_{24}
  580. Translate(U_{14}, Vector[l * d]) → U_{24}
  581. Translate(V_{14}, Vector[l * d]) → V_{24}
  582. Translate(W_{14}, Vector[l * d]) → W_{24}
  583. Translate(U_{12}, Vector[l * d]) → Z_{24}
  584. Translate(Z_{14}, Vector[l * d]) → A_{25}
  585. Translate(A_{15}, Vector[l * d]) → B_{25}
  586. Translate(B_{15}, Vector[l * d]) → C_{25}
  587. Translate(C_{15}, Vector[l * d]) → D_{25}
  588. Translate(D_{15}, Vector[l * d]) → E_{25}
  589. Translate(E_{15}, Vector[l * d]) → F_{25}
  590. Translate(F_{15}, Vector[l * d]) → G_{25}
  591. Translate(G_{15}, Vector[l * d]) → H_{25}
  592. Translate(H_{15}, Vector[l * d]) → I_{25}
  593. Translate(I_{15}, Vector[l * d]) → J_{25}
  594. Translate(J_{15}, Vector[l * d]) → K_{25}
  595. Translate(K_{15}, Vector[l * d]) → L_{25}
  596. Translate(O_{15}, Vector[l * d]) → M_{25}
  597. Translate(N_{15}, Vector[l * d]) → N_{25}
  598. Translate(M_{15}, Vector[l * d]) → O_{25}
  599. Translate(L_{15}, Vector[l * d]) → P_{25}
  600. Translate(B_{16}, Vector[l * d]) → Q_{25}
  601. Translate(P_{15}, Vector[l * d]) → R_{25}
  602. Translate(Q_{15}, Vector[l * d]) → S_{25}
  603. Translate(R_{15}, Vector[l * d]) → T_{25}
  604. Translate(S_{15}, Vector[l * d]) → U_{25}
  605. Translate(T_{15}, Vector[l * d]) → V_{25}
  606. Translate(W_1, Vector[l * d]) → W_{25}
  607. Translate(U_{15}, Vector[l * d]) → Z_{25}
  608. Translate(V_{15}, Vector[l * d]) → A_{26}
  609. Translate(W_{15}, Vector[l * d]) → B_{26}
  610. Translate(Z_{15}, Vector[l * d]) → C_{26}
  611. Translate(A_{16}, Vector[l * d]) → D_{26}
  612. Polygon(S_{24}, T_{24}, E_{25}, F_{25}, G_{25}, H_{25}, I_{25}, J_{25}, K_{25}, L_{25}, M_{25}, N_{25}, U_{24}, O_{25}, P_{25}, Q_{25}, R_{25}, S_{25}, T_{25}, U_{25}, V_{25}, W_{25}, Z_{25}, V_{24}, A_{26}, B_{26}, C_{26}, D_{26}, W_{24}, Z_{24}, A_{25}, B_{25}, C_{25}, D_{25}) → polígono21'_1, s_{27}, d_{28}, e_{28}, f_{30}, g_{29}, h_{30}, i_{29}, j_{29}, k_{30}, l_{31}, m_{27}, t_{28}, n_{31}, o_{29}, p_{30}, q_{28}, r_{27}, s_{28}, t_{29}, u_{31}, v_{27}, w_{30}, u_{30}, z_{26}, a_{29}, b_{29}, c_{29}, d_{29}, v_{26}, w_{29}, z_{25}, a_{28}, b_{28}, c_{28}
  613. Vector(E_{26}, F_{26}) → t
  614. Translate(C_{16}, Vector[t * d]) → G_{26}
  615. Translate(D_{16}, Vector[t * d]) → H_{26}
  616. Translate(E_{16}, Vector[t * d]) → I_{26}
  617. Translate(F_{16}, Vector[t * d]) → J_{26}
  618. Translate(G_{16}, Vector[t * d]) → K_{26}
  619. Polygon(G_{26}, H_{26}, I_{26}, J_{26}, K_{26}) → polígono15''_2, g_{30}, h_{31}, i_{30}, j_{30}, k_{31}
  620. Translate(H_{16}, Vector[t * d]) → L_{26}
  621. Translate(I_{16}, Vector[t * d]) → M_{26}
  622. Translate(J_{16}, Vector[t * d]) → N_{26}
  623. Translate(K_{16}, Vector[t * d]) → O_{26}
  624. Translate(L_{16}, Vector[t * d]) → P_{26}
  625. Translate(M_{16}, Vector[t * d]) → Q_{26}
  626. Polygon(L_{26}, M_{26}, N_{26}, O_{26}, P_{26}, Q_{26}) → polígono16'', l_{32}, m_{28}, n_{32}, o_{30}, p_{31}, q_{29}
  627. Translate(N_{16}, Vector[t * d]) → R_{26}
  628. Translate(O_{16}, Vector[t * d]) → S_{26}
  629. Translate(P_{16}, Vector[t * d]) → T_{26}
  630. Translate(Q_{16}, Vector[t * d]) → U_{26}
  631. Translate(R_{16}, Vector[t * d]) → V_{26}
  632. Translate(S_{16}, Vector[t * d]) → W_{26}
  633. Translate(T_{16}, Vector[t * d]) → Z_{26}
  634. Polygon(R_{26}, S_{26}, T_{26}, U_{26}, V_{26}, W_{26}, Z_{26}) → polígono17'', r_{28}, s_{29}, t_{31}, u_{32}, v_{28}, w_{31}, z_{27}
  635. Translate(U_{16}, Vector[t * d]) → A_{27}
  636. Translate(V_{16}, Vector[t * d]) → B_{27}
  637. Translate(W_{16}, Vector[t * d]) → C_{27}
  638. Translate(Z_{16}, Vector[t * d]) → D_{27}
  639. Polygon(A_{27}, B_{27}, C_{27}, D_{27}) → polígono18'', a_{30}, b_{30}, c_{30}, d_{30}
  640. Translate(A_{17}, Vector[t * d]) → E_{27}
  641. Translate(B_{17}, Vector[t * d]) → F_{27}
  642. Translate(C_{17}, Vector[t * d]) → G_{27}
  643. Translate(D_{17}, Vector[t * d]) → H_{27}
  644. Translate(E_{17}, Vector[t * d]) → I_{27}
  645. Polygon(E_{27}, F_{27}, G_{27}, H_{27}, I_{27}) → polígono19'', e_{29}, f_{31}, g_{31}, h_{32}, i_{31}
  646. Translate(F_{17}, Vector[t * d]) → J_{27}
  647. Translate(G_{17}, Vector[t * d]) → K_{27}
  648. Translate(H_{17}, Vector[t * d]) → L_{27}
  649. Translate(I_{17}, Vector[t * d]) → M_{27}
  650. Translate(J_{17}, Vector[t * d]) → N_{27}
  651. Translate(K_{17}, Vector[t * d]) → O_{27}
  652. Translate(L_{17}, Vector[t * d]) → P_{27}
  653. Polygon(J_{27}, K_{27}, L_{27}, M_{27}, N_{27}, O_{27}, P_{27}) → polígono20'', j_{31}, k_{32}, l_{33}, m_{29}, n_{33}, o_{31}, p_{32}
  654. Translate(O_3, Vector[t * d]) → Q_{27}
  655. Translate(N_3, Vector[t * d]) → R_{27}
  656. Translate(U_{14}, Vector[t * d]) → S_{27}
  657. Translate(V_{14}, Vector[t * d]) → T_{27}
  658. Translate(W_{14}, Vector[t * d]) → U_{27}
  659. Translate(U_{12}, Vector[t * d]) → V_{27}
  660. Translate(Z_{14}, Vector[t * d]) → W_{27}
  661. Translate(A_{15}, Vector[t * d]) → Z_{27}
  662. Translate(B_{15}, Vector[t * d]) → A_{28}
  663. Translate(C_{15}, Vector[t * d]) → B_{28}
  664. Translate(D_{15}, Vector[t * d]) → C_{28}
  665. Translate(E_{15}, Vector[t * d]) → D_{28}
  666. Translate(F_{15}, Vector[t * d]) → E_{28}
  667. Translate(G_{15}, Vector[t * d]) → F_{28}
  668. Translate(H_{15}, Vector[t * d]) → G_{28}
  669. Translate(I_{15}, Vector[t * d]) → H_{28}
  670. Translate(J_{15}, Vector[t * d]) → I_{28}
  671. Translate(K_{15}, Vector[t * d]) → J_{28}
  672. Translate(O_{15}, Vector[t * d]) → K_{28}
  673. Translate(N_{15}, Vector[t * d]) → L_{28}
  674. Translate(M_{15}, Vector[t * d]) → M_{28}
  675. Translate(L_{15}, Vector[t * d]) → N_{28}
  676. Translate(B_{16}, Vector[t * d]) → O_{28}
  677. Translate(P_{15}, Vector[t * d]) → P_{28}
  678. Translate(Q_{15}, Vector[t * d]) → Q_{28}
  679. Translate(R_{15}, Vector[t * d]) → R_{28}
  680. Translate(S_{15}, Vector[t * d]) → S_{28}
  681. Translate(T_{15}, Vector[t * d]) → T_{28}
  682. Translate(W_1, Vector[t * d]) → U_{28}
  683. Translate(U_{15}, Vector[t * d]) → V_{28}
  684. Translate(V_{15}, Vector[t * d]) → W_{28}
  685. Translate(W_{15}, Vector[t * d]) → Z_{28}
  686. Translate(Z_{15}, Vector[t * d]) → A_{29}
  687. Translate(A_{16}, Vector[t * d]) → B_{29}
  688. Polygon(Q_{27}, R_{27}, C_{28}, D_{28}, E_{28}, F_{28}, G_{28}, H_{28}, I_{28}, J_{28}, K_{28}, L_{28}, S_{27}, M_{28}, N_{28}, O_{28}, P_{28}, Q_{28}, R_{28}, S_{28}, T_{28}, U_{28}, V_{28}, T_{27}, W_{28}, Z_{28}, A_{29}, B_{29}, U_{27}, V_{27}, W_{27}, Z_{27}, A_{28}, B_{28}) → polígono21', q_{30}, b_{31}, c_{31}, d_{31}, e_{30}, f_{32}, g_{32}, h_{33}, i_{32}, j_{32}, k_{33}, r_{29}, l_{34}, m_{30}, n_{34}, o_{32}, p_{33}, q_{31}, r_{30}, s_{31}, t_{33}, u_{34}, s_{30}, v_{30}, w_{33}, z_{29}, a_{32}, b_{32}, t_{32}, u_{33}, v_{29}, w_{32}, z_{28}, a_{31}