积极 AI Logo 积极 AI

Escher16 Perros

Escher16 Perros
几何画板及绘图内容加载中，请稍等……
2023-03-22 22:53
立体几何变换几何作图
所属专题 geometriadinamica.es
本范例展示了一个 Escher 风格的图形，展示了几何形状的交叉和反射。核心数学概念包括几何形状的交叉、反射和旋转。作图要点包括使用 GeoGebra 命令：If、Line、Point、OrthogonalLine、Mirror、Intersect、Midpoint、Dilate、Rotate、Polygon、Vector、Translate、LineBisector、Length、Circle、Min。适合的学段或用途包括中高年级学生学习几何形状和转换的概念。

GeoGebra 命令及参数

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

AI 绘图提示语参考

绘制一个埃舍尔风格的图形，包含多个镜像和旋转的几何形状。首先画一条线b，然后在线b上依次画点E、G、F，并通过镜像和旋转生成一系列新的点，如E'、F'、G'等。接着，使用这些点构造多边形poly1'_1，该多边形由N'、OOO、O'、P'、Q'、R'、S'组成。
以上提示语为根据原始绘图命令整理而来，仅供参考。