积极 AI Logo 积极 AI

Escher式的四边形与五边形

Escher式的四边形与五边形
几何画板及绘图内容加载中，请稍等……
2023-03-22 23:01
多边形角向量几何作图
所属专题 geometriadinamica.es
本范例演示了 Escher 风格的四边形和五边形的构造。它涉及的核心数学概念包括几何形状的转换和组合。作图要点包括使用 GeoGebra 命令如 If、Polygon、Point、Rotate、Vector、Translate、Mirror、Midpoint 和 Angle。适合的学段或用途包括初中数学和几何学的教学。

GeoGebra 命令及参数

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

AI 绘图提示语参考

先在平面上取一个中心点C，并给出五个边界点D、I、J、K、L形成以C为基准的六边形多边形轮廓。选取多边形中若干关键顶点，基于由参数d1、d2通过分段条件得到的两段旋转角（均为240度的倍数形式）进行旋转：以D为旋转中心、将D以及由点构成的多组顶点分别旋转得到一组新点D′、I′、J′、K′、L′，再连接它们形成多边形poly2′。同理以F和H为旋转中心，分别围绕对应角度旋转得到F′、M′、N′、O′与H′、P′、Q′、R′、S′、T′、U′，最后把E′、V′、W′、Z′、M′′、N′′、O′′构成的区域与H′那组顶点连接，形成整体的多边形轮廓，并确保各多边形边由对应旋转后的顶点依次相连。
以上提示语为根据原始绘图命令整理而来，仅供参考。