MathPlotAI Logo MathPlotAI

Geometric Construction of Symmetry Group p6m

Geometric Construction of Symmetry Group p6m
Loading the math board and drawing, please wait…
2013-03-13 06:15
PolygonTransformationGeometric Construction
This example demonstrates how to construct and investigate the symmetry group p6m of a wallpaper tiling. Key math concepts include symmetry, polygon construction, rotation, and reflection transformations. GeoGebra commands/objects used are Polygon, LineBisector, Intersect, Midpoint, Segment, Point, Line, Mirror, Rotate, Vector, and Translate. Suitable for high school and above students to understand symmetry and transformation patterns in plane designs.

GeoGebra Commands & Parameters

  1. Polygon(A, B, 6) → veelhoek1, a, F, b, c, d, e, f, C, D, E
  2. LineBisector(d) → g
  3. LineBisector(c) → h
  4. Intersect(g, h) → G
  5. Midpoint(f) → H
  6. Segment(G, H) → i
  7. Segment(G, A) → j
  8. Point(f) → I
  9. Polygon(H, I, 4) → veelhoek2, k, l, m, n, J, K
  10. Polygon(J, I, A) → veelhoek3, a_1, j_1, i_1
  11. Polygon(G, K, J) → veelhoek4, j_2, g_1, k_1
  12. Line(H, G) → p
  13. Mirror(veelhoek2, p) → veelhoek2'
  14. Mirror(J, p) → J'
  15. Mirror(I, p) → I'
  16. Mirror(A, p) → A'
  17. Polygon(J', I', A') → veelhoek3', a', j', i'
  18. Mirror(G, p) → G'
  19. Mirror(K, p) → K'
  20. Mirror(J, p) → J'_1
  21. Polygon(G', K', J'_1) → veelhoek4', j'_1, g', k'
  22. Mirror(G, p) → G'_1
  23. Mirror(H, p) → H'
  24. Segment(G'_1, H') → i'_1
  25. Mirror(G, p) → G'_2
  26. Mirror(A, p) → A'_1
  27. Segment(G'_2, A'_1) → j'_2
  28. Rotate(veelhoek2, 300*°, G) → veelhoek2'_1
  29. Rotate(J, 300*°, G) → J'_2
  30. Rotate(I, 300*°, G) → I'_1
  31. Rotate(A, 300*°, G) → A'_2
  32. Polygon(J'_2, I'_1, A'_2) → veelhoek3'_1, a'_2, j'_3, i'_2
  33. Rotate(G, 300*°, G) → G'_3
  34. Rotate(K, 300*°, G) → K'_1
  35. Rotate(J, 300*°, G) → J'_3
  36. Polygon(G'_3, K'_1, J'_3) → veelhoek4'_1, j'_4, g'_3, k'_1
  37. Rotate(veelhoek2', 300*°, G) → veelhoek2''
  38. Rotate(J', 300*°, G) → J''
  39. Rotate(I', 300*°, G) → I''
  40. Rotate(A', 300*°, G) → A''
  41. Polygon(J'', I'', A'') → veelhoek3'', a'', j'', i''
  42. Rotate(G', 300*°, G) → G''
  43. Rotate(K', 300*°, G) → K''
  44. Rotate(J'_1, 300*°, G) → L
  45. Polygon(G'', K'', L) → veelhoek4'', l_1, g'', k''
  46. Rotate(F, 300*°, G) → F'
  47. Rotate(A, 300*°, G) → A'_3
  48. Segment(F', A'_3) → f'
  49. Rotate(G, 300*°, G) → G'_4
  50. Rotate(H, 300*°, G) → H'_1
  51. Segment(G'_4, H'_1) → i'_3
  52. Rotate(G, 300*°, G) → G'_5
  53. Rotate(A, 300*°, G) → A'_4
  54. Segment(G'_5, A'_4) → j'_5
  55. Rotate(G'_1, 300*°, G) → M
  56. Rotate(H', 300*°, G) → H''
  57. Segment(M, H'') → q
  58. Rotate(G'_2, 300*°, G) → N
  59. Rotate(A'_1, 300*°, G) → O
  60. Segment(N, O) → r
  61. Rotate(veelhoek2'_1, 300*°, G) → veelhoek5
  62. Rotate(J'_2, 300*°, G) → P
  63. Rotate(I'_1, 300*°, G) → Q
  64. Rotate(A'_2, 300*°, G) → R
  65. Polygon(P, Q, R) → veelhoek6, r_1, p_1, q_1
  66. Rotate(G'_3, 300*°, G) → S
  67. Rotate(K'_1, 300*°, G) → T
  68. Rotate(J'_3, 300*°, G) → U
  69. Polygon(S, T, U) → veelhoek7, u, s, t
  70. Rotate(veelhoek2'', 300*°, G) → veelhoek2'''
  71. Rotate(J'', 300*°, G) → J'''
  72. Rotate(I'', 300*°, G) → I'''
  73. Rotate(A'', 300*°, G) → A'''
  74. Polygon(J''', I''', A''') → veelhoek3''', a''', j''', i'''
  75. Rotate(G'', 300*°, G) → G'''
  76. Rotate(K'', 300*°, G) → K'''
  77. Rotate(L, 300*°, G) → L'
  78. Polygon(G''', K''', L') → veelhoek4''', l', g''', k'''
  79. Rotate(E, 300*°, G) → E'
  80. Rotate(F, 300*°, G) → F'_1
  81. Segment(E', F'_1) → e'
  82. Rotate(A', 300*°, G) → A''_1
  83. Rotate(J', 300*°, G) → J''_1
  84. Segment(A''_1, J''_1) → i''_1
  85. Rotate(J'_1, 300*°, G) → V
  86. Rotate(G', 300*°, G) → G''_1
  87. Segment(V, G''_1) → k''_1
  88. Rotate(G'_2, 300*°, G) → W
  89. Rotate(A'_1, 300*°, G) → Z
  90. Segment(W, Z) → b_1
  91. Rotate(F', 300*°, G) → F''
  92. Rotate(A'_3, 300*°, G) → A_1
  93. Segment(F'', A_1) → f''
  94. Rotate(G'_4, 300*°, G) → B_1
  95. Rotate(H'_1, 300*°, G) → C_1
  96. Segment(B_1, C_1) → c_1
  97. Rotate(G'_5, 300*°, G) → D_1
  98. Rotate(A'_4, 300*°, G) → E_1
  99. Segment(D_1, E_1) → d_1
  100. Rotate(M, 300*°, G) → M'
  101. Rotate(H'', 300*°, G) → H'''
  102. Segment(M', H''') → q'
  103. Rotate(N, 300*°, G) → N'
  104. Rotate(O, 300*°, G) → O'
  105. Segment(N', O') → r'
  106. Rotate(G'_1, 300*°, G) → F_1
  107. Rotate(veelhoek2, 180*°, G) → veelhoek2'_2
  108. Rotate(J, 180*°, G) → J'_4
  109. Rotate(I, 180*°, G) → I'_2
  110. Rotate(A, 180*°, G) → A'_5
  111. Polygon(J'_4, I'_2, A'_5) → veelhoek3'_2, a'_5, j'_6, i'_4
  112. Rotate(G, 180*°, G) → G'_6
  113. Rotate(K, 180*°, G) → K'_2
  114. Rotate(J, 180*°, G) → J'_5
  115. Polygon(G'_6, K'_2, J'_5) → veelhoek4'_2, j'_7, g'_6, k'_2
  116. Rotate(veelhoek2', 180*°, G) → veelhoek2''_1
  117. Rotate(J', 180*°, G) → J''_2
  118. Rotate(I', 180*°, G) → I''_1
  119. Rotate(A', 180*°, G) → A''_2
  120. Polygon(J''_2, I''_1, A''_2) → veelhoek3''_1, a''_2, j''_2, i''_2
  121. Rotate(G', 180*°, G) → G''_2
  122. Rotate(K', 180*°, G) → K''_1
  123. Rotate(J'_1, 180*°, G) → G_1
  124. Polygon(G''_2, K''_1, G_1) → veelhoek4''_1, g_2, g''_2, k''_2
  125. Rotate(F, 180*°, G) → F'_2
  126. Rotate(A, 180*°, G) → A'_6
  127. Segment(F'_2, A'_6) → f'_1
  128. Rotate(G, 180*°, G) → G'_7
  129. Rotate(H, 180*°, G) → H'_2
  130. Segment(G'_7, H'_2) → i'_5
  131. Rotate(G, 180*°, G) → G'_8
  132. Rotate(A, 180*°, G) → A'_7
  133. Segment(G'_8, A'_7) → j'_8
  134. Rotate(G'_1, 180*°, G) → H_1
  135. Rotate(H', 180*°, G) → H''_1
  136. Segment(H_1, H''_1) → e_1
  137. Rotate(G'_2, 180*°, G) → I_1
  138. Rotate(A'_1, 180*°, G) → J_1
  139. Segment(I_1, J_1) → f_1
  140. Rotate(A'_2, 180*°, G) → K_1
  141. Rotate(J'_2, 180*°, G) → L_1
  142. Segment(K_1, L_1) → h_1
  143. Rotate(J'_3, 180*°, G) → M_1
  144. Rotate(G'_3, 180*°, G) → N_1
  145. Segment(M_1, N_1) → m_1
  146. Rotate(G'_5, 180*°, G) → O_1
  147. Rotate(A'_4, 180*°, G) → P_1
  148. Segment(O_1, P_1) → n_1
  149. Rotate(G'', 180*°, G) → G'''_1
  150. Rotate(A'_3, 180*°, G) → Q_1
  151. Rotate(G'_4, 180*°, G) → R_1
  152. Rotate(M, 180*°, G) → M'_1
  153. Rotate(N, 180*°, G) → N'_1
  154. Rotate(S, 180*°, G) → S'
  155. Rotate(G''', 180*°, G) → S_1
  156. Rotate(G''_1, 180*°, G) → T_1
  157. Rotate(W, 180*°, G) → W'
  158. Rotate(B_1, 180*°, G) → U_1
  159. Rotate(D_1, 180*°, G) → V_1
  160. Rotate(M', 180*°, G) → M''
  161. Rotate(N', 180*°, G) → N''
  162. Rotate(F_1, 180*°, G) → W_1
  163. Rotate(veelhoek2, 120*°, G) → veelhoek2'_3
  164. Rotate(J, 120*°, G) → J'_6
  165. Rotate(I, 120*°, G) → I'_3
  166. Rotate(A, 120*°, G) → A'_8
  167. Polygon(J'_6, I'_3, A'_8) → veelhoek3'_3, a'_8, j'_9, i'_6
  168. Rotate(G, 120*°, G) → G'_9
  169. Rotate(K, 120*°, G) → K'_3
  170. Rotate(J, 120*°, G) → J'_7
  171. Polygon(G'_9, K'_3, J'_7) → veelhoek4'_3, j'_{10}, g'_9, k'_3
  172. Rotate(veelhoek2', 120*°, G) → veelhoek2''_2
  173. Rotate(J', 120*°, G) → J''_3
  174. Rotate(I', 120*°, G) → I''_2
  175. Rotate(A', 120*°, G) → A''_3
  176. Polygon(J''_3, I''_2, A''_3) → veelhoek3''_2, a''_3, j''_3, i''_3
  177. Rotate(G', 120*°, G) → G''_3
  178. Rotate(K', 120*°, G) → K''_2
  179. Rotate(J'_1, 120*°, G) → Z_1
  180. Polygon(G''_3, K''_2, Z_1) → veelhoek4''_2, z_1, g''_3, k''_3
  181. Rotate(F, 120*°, G) → F'_3
  182. Rotate(A, 120*°, G) → A'_9
  183. Segment(F'_3, A'_9) → f'_2
  184. Rotate(G, 120*°, G) → G'_{10}
  185. Rotate(H, 120*°, G) → H'_3
  186. Segment(G'_{10}, H'_3) → i'_7
  187. Rotate(G, 120*°, G) → G'_{11}
  188. Rotate(A, 120*°, G) → A'_{10}
  189. Segment(G'_{11}, A'_{10}) → j'_{11}
  190. Rotate(G'_1, 120*°, G) → A_2
  191. Rotate(H', 120*°, G) → H''_2
  192. Segment(A_2, H''_2) → s_1
  193. Rotate(G'_2, 120*°, G) → B_2
  194. Rotate(A'_1, 120*°, G) → C_2
  195. Segment(B_2, C_2) → t_1
  196. Rotate(A'_2, 120*°, G) → D_2
  197. Rotate(J'_2, 120*°, G) → E_2
  198. Segment(D_2, E_2) → a_2
  199. Rotate(J'_3, 120*°, G) → F_2
  200. Rotate(G'_3, 120*°, G) → G_2
  201. Segment(F_2, G_2) → b_2
  202. Rotate(G'_5, 120*°, G) → H_2
  203. Rotate(A'_4, 120*°, G) → I_2
  204. Segment(H_2, I_2) → c_2
  205. Rotate(G'', 120*°, G) → G'''_2
  206. Rotate(A'_3, 120*°, G) → J_2
  207. Rotate(G'_4, 120*°, G) → K_2
  208. Rotate(M, 120*°, G) → M'_2
  209. Rotate(N, 120*°, G) → N'_2
  210. Rotate(S, 120*°, G) → S'_1
  211. Rotate(G''', 120*°, G) → L_2
  212. Rotate(G''_1, 120*°, G) → M_2
  213. Rotate(W, 120*°, G) → W'_1
  214. Rotate(B_1, 120*°, G) → N_2
  215. Rotate(D_1, 120*°, G) → O_2
  216. Rotate(M', 120*°, G) → M''_1
  217. Rotate(N', 120*°, G) → N''_1
  218. Rotate(F_1, 120*°, G) → P_2
  219. Rotate(G'_6, 120*°, G) → Q_2
  220. Rotate(G''_2, 120*°, G) → R_2
  221. Rotate(G'_7, 120*°, G) → S_2
  222. Rotate(G'_8, 120*°, G) → T_2
  223. Rotate(H_1, 120*°, G) → U_2
  224. Rotate(I_1, 120*°, G) → V_2
  225. Rotate(N_1, 120*°, G) → W_2
  226. Rotate(O_1, 120*°, G) → Z_2
  227. Rotate(G'''_1, 120*°, G) → A_3
  228. Rotate(R_1, 120*°, G) → B_3
  229. Rotate(M'_1, 120*°, G) → C_3
  230. Rotate(N'_1, 120*°, G) → D_3
  231. Rotate(S', 120*°, G) → S''
  232. Rotate(S_1, 120*°, G) → E_3
  233. Rotate(T_1, 120*°, G) → F_3
  234. Rotate(W', 120*°, G) → W''
  235. Rotate(U_1, 120*°, G) → G_3
  236. Rotate(V_1, 120*°, G) → H_3
  237. Rotate(M'', 120*°, G) → M'''
  238. Rotate(N'', 120*°, G) → N'''
  239. Rotate(W_1, 120*°, G) → I_3
  240. Rotate(veelhoek2, 60*°, G) → veelhoek2'_4
  241. Rotate(J, 60*°, G) → J'_8
  242. Rotate(I, 60*°, G) → I'_4
  243. Rotate(A, 60*°, G) → A'_{11}
  244. Polygon(J'_8, I'_4, A'_{11}) → veelhoek3'_4, a'_{11}, j'_{12}, i'_8
  245. Rotate(G, 60*°, G) → G'_{12}
  246. Rotate(K, 60*°, G) → K'_4
  247. Rotate(J, 60*°, G) → J'_9
  248. Polygon(G'_{12}, K'_4, J'_9) → veelhoek4'_4, j'_{13}, g'_{12}, k'_4
  249. Rotate(veelhoek2', 60*°, G) → veelhoek2''_3
  250. Rotate(J', 60*°, G) → J''_4
  251. Rotate(I', 60*°, G) → I''_3
  252. Rotate(A', 60*°, G) → A''_4
  253. Polygon(J''_4, I''_3, A''_4) → veelhoek3''_3, a''_4, j''_4, i''_4
  254. Rotate(G', 60*°, G) → G''_4
  255. Rotate(K', 60*°, G) → K''_3
  256. Rotate(J'_1, 60*°, G) → J_3
  257. Polygon(G''_4, K''_3, J_3) → veelhoek4''_3, j_3, g''_4, k''_4
  258. Rotate(F, 60*°, G) → F'_4
  259. Rotate(A, 60*°, G) → A'_{12}
  260. Segment(F'_4, A'_{12}) → f'_3
  261. Rotate(G, 60*°, G) → G'_{13}
  262. Rotate(H, 60*°, G) → H'_4
  263. Segment(G'_{13}, H'_4) → i'_9
  264. Rotate(G, 60*°, G) → G'_{14}
  265. Rotate(A, 60*°, G) → A'_{13}
  266. Segment(G'_{14}, A'_{13}) → j'_{14}
  267. Rotate(G'_1, 60*°, G) → K_3
  268. Rotate(H', 60*°, G) → H''_3
  269. Segment(K_3, H''_3) → d_2
  270. Rotate(G'_2, 60*°, G) → L_3
  271. Rotate(A'_1, 60*°, G) → M_3
  272. Segment(L_3, M_3) → e_2
  273. Rotate(A'_2, 60*°, G) → N_3
  274. Rotate(J'_2, 60*°, G) → O_3
  275. Segment(N_3, O_3) → f_2
  276. Rotate(J'_3, 60*°, G) → P_3
  277. Rotate(G'_3, 60*°, G) → Q_3
  278. Segment(P_3, Q_3) → h_2
  279. Rotate(G'_5, 60*°, G) → R_3
  280. Rotate(A'_4, 60*°, G) → S_3
  281. Segment(R_3, S_3) → i_2
  282. Rotate(G'', 60*°, G) → G'''_3
  283. Rotate(A'_3, 60*°, G) → T_3
  284. Rotate(G'_4, 60*°, G) → U_3
  285. Rotate(M, 60*°, G) → M'_3
  286. Rotate(N, 60*°, G) → N'_3
  287. Rotate(S, 60*°, G) → S'_2
  288. Rotate(G''', 60*°, G) → V_3
  289. Rotate(G''_1, 60*°, G) → W_3
  290. Rotate(W, 60*°, G) → W'_2
  291. Rotate(B_1, 60*°, G) → Z_3
  292. Rotate(D_1, 60*°, G) → A_4
  293. Rotate(M', 60*°, G) → M''_2
  294. Rotate(N', 60*°, G) → N''_2
  295. Rotate(F_1, 60*°, G) → B_4
  296. Rotate(G'_6, 60*°, G) → C_4
  297. Rotate(G''_2, 60*°, G) → D_4
  298. Rotate(G'_7, 60*°, G) → E_4
  299. Rotate(G'_8, 60*°, G) → F_4
  300. Rotate(H_1, 60*°, G) → G_4
  301. Rotate(I_1, 60*°, G) → H_4
  302. Rotate(N_1, 60*°, G) → I_4
  303. Rotate(O_1, 60*°, G) → J_4
  304. Rotate(G'''_1, 60*°, G) → K_4
  305. Rotate(R_1, 60*°, G) → L_4
  306. Rotate(M'_1, 60*°, G) → M_4
  307. Rotate(N'_1, 60*°, G) → N_4
  308. Rotate(S', 60*°, G) → S''_1
  309. Rotate(S_1, 60*°, G) → O_4
  310. Rotate(T_1, 60*°, G) → P_4
  311. Rotate(W', 60*°, G) → W''_1
  312. Rotate(U_1, 60*°, G) → Q_4
  313. Rotate(V_1, 60*°, G) → R_4
  314. Rotate(M'', 60*°, G) → M'''_1
  315. Rotate(N'', 60*°, G) → N'''_1
  316. Rotate(W_1, 60*°, G) → S_4
  317. Rotate(G'_9, 60*°, G) → T_4
  318. Rotate(G''_3, 60*°, G) → U_4
  319. Rotate(G'_{10}, 60*°, G) → V_4
  320. Rotate(G'_{11}, 60*°, G) → W_4
  321. Rotate(A_2, 60*°, G) → Z_4
  322. Rotate(B_2, 60*°, G) → A_5
  323. Rotate(G_2, 60*°, G) → B_5
  324. Rotate(H_2, 60*°, G) → C_5
  325. Rotate(G'''_2, 60*°, G) → D_5
  326. Rotate(K_2, 60*°, G) → E_5
  327. Rotate(M'_2, 60*°, G) → F_5
  328. Rotate(N'_2, 60*°, G) → G_5
  329. Rotate(S'_1, 60*°, G) → H_5
  330. Rotate(L_2, 60*°, G) → I_5
  331. Rotate(M_2, 60*°, G) → J_5
  332. Rotate(W'_1, 60*°, G) → K_5
  333. Rotate(N_2, 60*°, G) → L_5
  334. Rotate(O_2, 60*°, G) → M_5
  335. Rotate(M''_1, 60*°, G) → N_5
  336. Rotate(N''_1, 60*°, G) → O_5
  337. Rotate(P_2, 60*°, G) → P_5
  338. Rotate(Q_2, 60*°, G) → Q_5
  339. Rotate(R_2, 60*°, G) → R_5
  340. Rotate(S_2, 60*°, G) → S_5
  341. Rotate(T_2, 60*°, G) → T_5
  342. Rotate(U_2, 60*°, G) → U_5
  343. Rotate(V_2, 60*°, G) → V_5
  344. Rotate(W_2, 60*°, G) → W_5
  345. Rotate(Z_2, 60*°, G) → Z_5
  346. Rotate(A_3, 60*°, G) → A_6
  347. Rotate(B_3, 60*°, G) → B_6
  348. Rotate(C_3, 60*°, G) → C_6
  349. Rotate(D_3, 60*°, G) → D_6
  350. Rotate(S'', 60*°, G) → S'''
  351. Rotate(E_3, 60*°, G) → E_6
  352. Rotate(F_3, 60*°, G) → F_6
  353. Rotate(W'', 60*°, G) → W'''
  354. Rotate(G_3, 60*°, G) → G_6
  355. Rotate(H_3, 60*°, G) → H_6
  356. Rotate(M''', 60*°, G) → I_6
  357. Rotate(N''', 60*°, G) → J_6
  358. Rotate(I_3, 60*°, G) → K_6
  359. Vector(D, F) → v
  360. Translate(veelhoek1, v) → veelhoek1'
  361. Translate(veelhoek2, v) → veelhoek2'_5
  362. Translate(J, v) → J'_{10}
  363. Translate(I, v) → I'_5
  364. Translate(A, v) → A'_{14}
  365. Polygon(J'_{10}, I'_5, A'_{14}) → veelhoek3'_5, a'_{14}, j'_{15}, i'_{10}
  366. Translate(G, v) → G'_{15}
  367. Translate(K, v) → K'_5
  368. Translate(J, v) → J'_{11}
  369. Polygon(G'_{15}, K'_5, J'_{11}) → veelhoek4'_5, j'_{16}, g'_{15}, k'_5
  370. Translate(veelhoek2', v) → veelhoek2''_4
  371. Translate(J', v) → J''_5
  372. Translate(I', v) → I''_4
  373. Translate(A', v) → A''_5
  374. Polygon(J''_5, I''_4, A''_5) → veelhoek3''_4, a''_5, j''_5, i''_5
  375. Translate(G', v) → G''_5
  376. Translate(K', v) → K''_4
  377. Translate(J'_1, v) → L_6
  378. Polygon(G''_5, K''_4, L_6) → veelhoek4''_4, l_6, g''_5, k''_5
  379. Translate(veelhoek2'_1, v) → veelhoek8
  380. Translate(J'_2, v) → M_6
  381. Translate(I'_1, v) → N_6
  382. Translate(A'_2, v) → O_6
  383. Polygon(M_6, N_6, O_6) → veelhoek9, o_6, m_6, n_6
  384. Translate(G'_3, v) → P_6
  385. Translate(K'_1, v) → Q_6
  386. Translate(J'_3, v) → R_6
  387. Polygon(P_6, Q_6, R_6) → veelhoek10, r_6, p_6, q_6
  388. Translate(veelhoek2'', v) → veelhoek2'''_1
  389. Translate(J'', v) → J'''_1
  390. Translate(I'', v) → I'''_1
  391. Translate(A'', v) → A'''_1
  392. Polygon(J'''_1, I'''_1, A'''_1) → veelhoek3'''_1, a'''_1, j'''_1, i'''_1
  393. Translate(G'', v) → G'''_4
  394. Translate(K'', v) → K'''_1
  395. Translate(L, v) → L'_1
  396. Polygon(G'''_4, K'''_1, L'_1) → veelhoek4'''_1, l'_1, g'''_4, k'''_1
  397. Translate(veelhoek5, v) → veelhoek5'
  398. Translate(P, v) → P'
  399. Translate(Q, v) → Q'
  400. Translate(R, v) → R'
  401. Polygon(P', Q', R') → veelhoek6', r'_1, p', q'_1
  402. Translate(S, v) → S'_3
  403. Translate(T, v) → T'
  404. Translate(U, v) → U'
  405. Polygon(S'_3, T', U') → veelhoek7', u', s'_3, t'
  406. Translate(veelhoek2''', v) → veelhoek11
  407. Translate(J''', v) → S_6
  408. Translate(I''', v) → T_6
  409. Translate(A''', v) → U_6
  410. Polygon(S_6, T_6, U_6) → veelhoek12, u_6, s_6, t_6
  411. Translate(G''', v) → V_6
  412. Translate(K''', v) → W_6
  413. Translate(L', v) → L''
  414. Polygon(V_6, W_6, L'') → veelhoek13, l'', v_6, w_6
  415. Translate(veelhoek2'_2, v) → veelhoek14
  416. Translate(J'_4, v) → Z_6
  417. Translate(I'_2, v) → A_7
  418. Translate(A'_5, v) → B_7
  419. Polygon(Z_6, A_7, B_7) → veelhoek15, b_7, z_6, a_7
  420. Translate(G'_6, v) → C_7
  421. Translate(K'_2, v) → D_7
  422. Translate(J'_5, v) → E_7
  423. Polygon(C_7, D_7, E_7) → veelhoek16, e_7, c_7, d_7
  424. Translate(veelhoek2''_1, v) → veelhoek17
  425. Translate(J''_2, v) → F_7
  426. Translate(I''_1, v) → G_7
  427. Translate(A''_2, v) → H_7
  428. Polygon(F_7, G_7, H_7) → veelhoek18, h_7, f_7, g_7
  429. Translate(G''_2, v) → I_7
  430. Translate(K''_1, v) → J_7
  431. Translate(G_1, v) → K_7
  432. Polygon(I_7, J_7, K_7) → veelhoek19, k_7, i_7, j_7
  433. Translate(veelhoek2'_3, v) → veelhoek20
  434. Translate(J'_6, v) → L_7
  435. Translate(I'_3, v) → M_7
  436. Translate(A'_8, v) → N_7
  437. Polygon(L_7, M_7, N_7) → veelhoek21, n_7, l_7, m_7
  438. Translate(G'_9, v) → O_7
  439. Translate(K'_3, v) → P_7
  440. Translate(J'_7, v) → Q_7
  441. Polygon(O_7, P_7, Q_7) → veelhoek22, q_7, o_7, p_7
  442. Translate(veelhoek2''_2, v) → veelhoek23
  443. Translate(J''_3, v) → R_7
  444. Translate(I''_2, v) → S_7
  445. Translate(A''_3, v) → T_7
  446. Polygon(R_7, S_7, T_7) → veelhoek24, t_7, r_7, s_7
  447. Translate(G''_3, v) → U_7
  448. Translate(K''_2, v) → V_7
  449. Translate(Z_1, v) → W_7
  450. Polygon(U_7, V_7, W_7) → veelhoek25, w_7, u_7, v_7
  451. Translate(veelhoek2'_4, v) → veelhoek26
  452. Translate(J'_8, v) → Z_7
  453. Translate(I'_4, v) → A_8
  454. Translate(A'_{11}, v) → B_8
  455. Polygon(Z_7, A_8, B_8) → veelhoek27, b_8, z_7, a_8
  456. Translate(G'_{12}, v) → C_8
  457. Translate(K'_4, v) → D_8
  458. Translate(J'_9, v) → E_8
  459. Polygon(C_8, D_8, E_8) → veelhoek28, e_8, c_8, d_8
  460. Translate(veelhoek2''_3, v) → veelhoek29
  461. Translate(J''_4, v) → F_8
  462. Translate(I''_3, v) → G_8
  463. Translate(A''_4, v) → H_8
  464. Polygon(F_8, G_8, H_8) → veelhoek30, h_8, f_8, g_8
  465. Translate(G''_4, v) → I_8
  466. Translate(K''_3, v) → J_8
  467. Translate(J_3, v) → K_8
  468. Polygon(I_8, J_8, K_8) → veelhoek31, k_8, i_8, j_8
  469. Translate(G, v) → G'_{16}
  470. Translate(H, v) → H'_5
  471. Segment(G'_{16}, H'_5) → i'_{11}
  472. Translate(G, v) → G'_{17}
  473. Translate(A, v) → A'_{15}
  474. Segment(G'_{17}, A'_{15}) → j'_{17}
  475. Translate(G'_1, v) → L_8
  476. Translate(H', v) → H''_4
  477. Segment(L_8, H''_4) → k_2
  478. Translate(G'_2, v) → M_8
  479. Translate(A'_1, v) → N_8
  480. Segment(M_8, N_8) → l_2
  481. Translate(F', v) → F''_1
  482. Translate(A'_3, v) → O_8
  483. Segment(F''_1, O_8) → f''_1
  484. Translate(G'_4, v) → P_8
  485. Translate(H'_1, v) → Q_8
  486. Segment(P_8, Q_8) → m_2
  487. Translate(G'_5, v) → R_8
  488. Translate(A'_4, v) → S_8
  489. Segment(R_8, S_8) → n_2
  490. Translate(M, v) → M'_4
  491. Translate(H'', v) → H'''_1
  492. Segment(M'_4, H'''_1) → q'_2
  493. Translate(N, v) → N'_4
  494. Translate(O, v) → O'_1
  495. Segment(N'_4, O'_1) → r'_2
  496. Translate(E', v) → E''
  497. Translate(F'_1, v) → T_8
  498. Segment(E'', T_8) → e''
  499. Translate(A''_1, v) → U_8
  500. Translate(J''_1, v) → V_8
  501. Segment(U_8, V_8) → p_2
  502. Translate(V, v) → V'
  503. Translate(G''_1, v) → W_8
  504. Segment(V', W_8) → q_2
  505. Translate(W, v) → W'_3
  506. Translate(Z, v) → Z'
  507. Segment(W'_3, Z') → r_2
  508. Translate(F'', v) → F'''
  509. Translate(A_1, v) → Z_8
  510. Segment(F''', Z_8) → f'''
  511. Translate(B_1, v) → A_9
  512. Translate(C_1, v) → B_9
  513. Segment(A_9, B_9) → s_2
  514. Translate(D_1, v) → C_9
  515. Translate(E_1, v) → D_9
  516. Segment(C_9, D_9) → t_2
  517. Translate(M', v) → M''_3
  518. Translate(H''', v) → E_9
  519. Segment(M''_3, E_9) → q''
  520. Translate(N', v) → N''_3
  521. Translate(O', v) → O''
  522. Segment(N''_3, O'') → r''
  523. Translate(F'_2, v) → F_9
  524. Translate(A'_6, v) → G_9
  525. Segment(F_9, G_9) → a_3
  526. Translate(G'_7, v) → H_9
  527. Translate(H'_2, v) → I_9
  528. Segment(H_9, I_9) → b_3
  529. Translate(G'_8, v) → J_9
  530. Translate(A'_7, v) → K_9
  531. Segment(J_9, K_9) → c_3
  532. Translate(H_1, v) → L_9
  533. Translate(H''_1, v) → M_9
  534. Segment(L_9, M_9) → d_3
  535. Translate(I_1, v) → N_9
  536. Translate(J_1, v) → O_9
  537. Segment(N_9, O_9) → e_3
  538. Translate(K_1, v) → P_9
  539. Translate(L_1, v) → Q_9
  540. Segment(P_9, Q_9) → f_3
  541. Translate(M_1, v) → R_9
  542. Translate(N_1, v) → S_9
  543. Segment(R_9, S_9) → g_3
  544. Translate(O_1, v) → T_9
  545. Translate(P_1, v) → U_9
  546. Segment(T_9, U_9) → h_3
  547. Translate(F'_3, v) → V_9
  548. Translate(A'_9, v) → W_9
  549. Segment(V_9, W_9) → i_3
  550. Translate(G'_{10}, v) → Z_9
  551. Translate(H'_3, v) → A_{10}
  552. Segment(Z_9, A_{10}) → k_3
  553. Translate(G'_{11}, v) → B_{10}
  554. Translate(A'_{10}, v) → C_{10}
  555. Segment(B_{10}, C_{10}) → l_3
  556. Translate(A_2, v) → D_{10}
  557. Translate(H''_2, v) → E_{10}
  558. Segment(D_{10}, E_{10}) → m_3
  559. Translate(B_2, v) → F_{10}
  560. Translate(C_2, v) → G_{10}
  561. Segment(F_{10}, G_{10}) → n_3
  562. Translate(D_2, v) → H_{10}
  563. Translate(E_2, v) → I_{10}
  564. Segment(H_{10}, I_{10}) → p_3
  565. Translate(F_2, v) → J_{10}
  566. Translate(G_2, v) → K_{10}
  567. Segment(J_{10}, K_{10}) → q_3
  568. Translate(H_2, v) → L_{10}
  569. Translate(I_2, v) → M_{10}
  570. Segment(L_{10}, M_{10}) → r_3
  571. Translate(F'_4, v) → N_{10}
  572. Translate(A'_{12}, v) → O_{10}
  573. Segment(N_{10}, O_{10}) → s_3
  574. Translate(G'_{13}, v) → P_{10}
  575. Translate(H'_4, v) → Q_{10}
  576. Segment(P_{10}, Q_{10}) → t_3
  577. Translate(G'_{14}, v) → R_{10}
  578. Translate(A'_{13}, v) → S_{10}
  579. Segment(R_{10}, S_{10}) → a_4
  580. Translate(K_3, v) → T_{10}
  581. Translate(H''_3, v) → U_{10}
  582. Segment(T_{10}, U_{10}) → b_4
  583. Translate(L_3, v) → V_{10}
  584. Translate(M_3, v) → W_{10}
  585. Segment(V_{10}, W_{10}) → c_4
  586. Translate(N_3, v) → Z_{10}
  587. Translate(O_3, v) → A_{11}
  588. Segment(Z_{10}, A_{11}) → d_4
  589. Translate(P_3, v) → B_{11}
  590. Translate(Q_3, v) → C_{11}
  591. Segment(B_{11}, C_{11}) → e_4
  592. Translate(R_3, v) → D_{11}
  593. Translate(S_3, v) → E_{11}
  594. Segment(D_{11}, E_{11}) → f_4
  595. Translate(F_1, v) → F_{11}
  596. Translate(G'''_1, v) → G_{11}
  597. Translate(Q_1, v) → H_{11}
  598. Translate(R_1, v) → I_{11}
  599. Translate(M'_1, v) → J_{11}
  600. Translate(N'_1, v) → K_{11}
  601. Translate(S', v) → S''_2
  602. Translate(S_1, v) → L_{11}
  603. Translate(T_1, v) → M_{11}
  604. Translate(W', v) → W''_2
  605. Translate(U_1, v) → N_{11}
  606. Translate(V_1, v) → O_{11}
  607. Translate(M'', v) → M'''_2
  608. Translate(N'', v) → N'''_2
  609. Translate(W_1, v) → P_{11}
  610. Translate(G'''_2, v) → Q_{11}
  611. Translate(J_2, v) → R_{11}
  612. Translate(K_2, v) → S_{11}
  613. Translate(M'_2, v) → T_{11}
  614. Translate(N'_2, v) → U_{11}
  615. Translate(S'_1, v) → V_{11}
  616. Translate(L_2, v) → W_{11}
  617. Translate(M_2, v) → Z_{11}
  618. Translate(W'_1, v) → A_{12}
  619. Translate(N_2, v) → B_{12}
  620. Translate(O_2, v) → C_{12}
  621. Translate(M''_1, v) → D_{12}
  622. Translate(N''_1, v) → E_{12}
  623. Translate(P_2, v) → F_{12}
  624. Translate(Q_2, v) → G_{12}
  625. Translate(R_2, v) → H_{12}
  626. Translate(S_2, v) → I_{12}
  627. Translate(T_2, v) → J_{12}
  628. Translate(U_2, v) → K_{12}
  629. Translate(V_2, v) → L_{12}
  630. Translate(W_2, v) → M_{12}
  631. Translate(Z_2, v) → N_{12}
  632. Translate(A_3, v) → O_{12}
  633. Translate(B_3, v) → P_{12}
  634. Translate(C_3, v) → Q_{12}
  635. Translate(D_3, v) → R_{12}
  636. Translate(S'', v) → S'''_1
  637. Translate(E_3, v) → S_{12}
  638. Translate(F_3, v) → T_{12}
  639. Translate(W'', v) → W'''_1
  640. Translate(G_3, v) → U_{12}
  641. Translate(H_3, v) → V_{12}
  642. Translate(M''', v) → W_{12}
  643. Translate(N''', v) → Z_{12}
  644. Translate(I_3, v) → A_{13}
  645. Translate(G'''_3, v) → B_{13}
  646. Translate(T_3, v) → C_{13}
  647. Translate(U_3, v) → D_{13}
  648. Translate(M'_3, v) → E_{13}
  649. Translate(N'_3, v) → F_{13}
  650. Translate(S'_2, v) → G_{13}
  651. Translate(V_3, v) → H_{13}
  652. Translate(W_3, v) → I_{13}
  653. Translate(W'_2, v) → J_{13}
  654. Translate(Z_3, v) → K_{13}
  655. Translate(A_4, v) → L_{13}
  656. Translate(M''_2, v) → M_{13}
  657. Translate(N''_2, v) → N_{13}
  658. Translate(B_4, v) → O_{13}
  659. Translate(C_4, v) → P_{13}
  660. Translate(D_4, v) → Q_{13}
  661. Translate(E_4, v) → R_{13}
  662. Translate(F_4, v) → S_{13}
  663. Translate(G_4, v) → T_{13}
  664. Translate(H_4, v) → U_{13}
  665. Translate(I_4, v) → V_{13}
  666. Translate(J_4, v) → W_{13}
  667. Translate(K_4, v) → Z_{13}
  668. Translate(L_4, v) → A_{14}
  669. Translate(M_4, v) → B_{14}
  670. Translate(N_4, v) → C_{14}
  671. Translate(S''_1, v) → D_{14}
  672. Translate(O_4, v) → E_{14}
  673. Translate(P_4, v) → F_{14}
  674. Translate(W''_1, v) → G_{14}
  675. Translate(Q_4, v) → H_{14}
  676. Translate(R_4, v) → I_{14}
  677. Translate(M'''_1, v) → J_{14}
  678. Translate(N'''_1, v) → K_{14}
  679. Translate(S_4, v) → L_{14}
  680. Translate(T_4, v) → M_{14}
  681. Translate(U_4, v) → N_{14}
  682. Translate(V_4, v) → O_{14}
  683. Translate(W_4, v) → P_{14}
  684. Translate(Z_4, v) → Q_{14}
  685. Translate(A_5, v) → R_{14}
  686. Translate(B_5, v) → S_{14}
  687. Translate(C_5, v) → T_{14}
  688. Translate(D_5, v) → U_{14}
  689. Translate(E_5, v) → V_{14}
  690. Translate(F_5, v) → W_{14}
  691. Translate(G_5, v) → Z_{14}
  692. Translate(H_5, v) → A_{15}
  693. Translate(I_5, v) → B_{15}
  694. Translate(J_5, v) → C_{15}
  695. Translate(K_5, v) → D_{15}
  696. Translate(L_5, v) → E_{15}
  697. Translate(M_5, v) → F_{15}
  698. Translate(N_5, v) → G_{15}
  699. Translate(O_5, v) → H_{15}
  700. Translate(P_5, v) → I_{15}
  701. Translate(Q_5, v) → J_{15}
  702. Translate(R_5, v) → K_{15}
  703. Translate(S_5, v) → L_{15}
  704. Translate(T_5, v) → M_{15}
  705. Translate(U_5, v) → N_{15}
  706. Translate(V_5, v) → O_{15}
  707. Translate(W_5, v) → P_{15}
  708. Translate(Z_5, v) → Q_{15}
  709. Translate(A_6, v) → R_{15}
  710. Translate(B_6, v) → S_{15}
  711. Translate(C_6, v) → T_{15}
  712. Translate(D_6, v) → U_{15}
  713. Translate(S''', v) → V_{15}
  714. Translate(E_6, v) → W_{15}
  715. Translate(F_6, v) → Z_{15}
  716. Translate(W''', v) → A_{16}
  717. Translate(G_6, v) → B_{16}
  718. Translate(H_6, v) → C_{16}
  719. Translate(I_6, v) → D_{16}
  720. Translate(J_6, v) → E_{16}
  721. Translate(K_6, v) → F_{16}
  722. Vector(B, F) → w
  723. Translate(veelhoek1, w) → veelhoek1'_1
  724. Translate(veelhoek2, w) → veelhoek2'_6
  725. Translate(J, w) → J'_{12}
  726. Translate(I, w) → I'_6
  727. Translate(A, w) → A'_{16}
  728. Polygon(J'_{12}, I'_6, A'_{16}) → veelhoek3'_6, a'_{16}, j'_{18}, i'_{12}
  729. Translate(G, w) → G'_{18}
  730. Translate(K, w) → K'_6
  731. Translate(J, w) → J'_{13}
  732. Polygon(G'_{18}, K'_6, J'_{13}) → veelhoek4'_6, j'_{19}, g'_{18}, k'_6
  733. Translate(veelhoek2', w) → veelhoek2''_5
  734. Translate(J', w) → J''_6
  735. Translate(I', w) → I''_5
  736. Translate(A', w) → A''_6
  737. Polygon(J''_6, I''_5, A''_6) → veelhoek3''_5, a''_6, j''_6, i''_6
  738. Translate(G', w) → G''_6
  739. Translate(K', w) → K''_5
  740. Translate(J'_1, w) → G_{16}
  741. Polygon(G''_6, K''_5, G_{16}) → veelhoek4''_5, g_{16}, g''_6, k''_6
  742. Translate(veelhoek2'_1, w) → veelhoek32
  743. Translate(J'_2, w) → H_{16}
  744. Translate(I'_1, w) → I_{16}
  745. Translate(A'_2, w) → J_{16}
  746. Polygon(H_{16}, I_{16}, J_{16}) → veelhoek33, j_{16}, h_{16}, i_{16}
  747. Translate(G'_3, w) → K_{16}
  748. Translate(K'_1, w) → L_{16}
  749. Translate(J'_3, w) → M_{16}
  750. Polygon(K_{16}, L_{16}, M_{16}) → veelhoek34, m_{16}, k_{16}, l_{16}
  751. Translate(veelhoek2'', w) → veelhoek2'''_2
  752. Translate(J'', w) → J'''_2
  753. Translate(I'', w) → I'''_2
  754. Translate(A'', w) → A'''_2
  755. Polygon(J'''_2, I'''_2, A'''_2) → veelhoek3'''_2, a'''_2, j'''_2, i'''_2
  756. Translate(G'', w) → G'''_5
  757. Translate(K'', w) → K'''_2
  758. Translate(L, w) → L'_2
  759. Polygon(G'''_5, K'''_2, L'_2) → veelhoek4'''_2, l'_2, g'''_5, k'''_2
  760. Translate(veelhoek5, w) → veelhoek5'_1
  761. Translate(P, w) → P'_1
  762. Translate(Q, w) → Q'_1
  763. Translate(R, w) → R'_1
  764. Polygon(P'_1, Q'_1, R'_1) → veelhoek6'_1, r'_3, p'_1, q'_3
  765. Translate(S, w) → S'_4
  766. Translate(T, w) → T'_1
  767. Translate(U, w) → U'_1
  768. Polygon(S'_4, T'_1, U'_1) → veelhoek7'_1, u'_1, s'_4, t'_1
  769. Translate(veelhoek2''', w) → veelhoek35
  770. Translate(J''', w) → N_{16}
  771. Translate(I''', w) → O_{16}
  772. Translate(A''', w) → P_{16}
  773. Polygon(N_{16}, O_{16}, P_{16}) → veelhoek36, p_{16}, n_{16}, o_{16}
  774. Translate(G''', w) → Q_{16}
  775. Translate(K''', w) → R_{16}
  776. Translate(L', w) → L''_1
  777. Polygon(Q_{16}, R_{16}, L''_1) → veelhoek37, l''_1, q_{16}, r_{16}
  778. Translate(veelhoek2'_2, w) → veelhoek38
  779. Translate(J'_4, w) → S_{16}
  780. Translate(I'_2, w) → T_{16}
  781. Translate(A'_5, w) → U_{16}
  782. Polygon(S_{16}, T_{16}, U_{16}) → veelhoek39, u_{16}, s_{16}, t_{16}
  783. Translate(G'_6, w) → V_{16}
  784. Translate(K'_2, w) → W_{16}
  785. Translate(J'_5, w) → Z_{16}
  786. Polygon(V_{16}, W_{16}, Z_{16}) → veelhoek40, z_{16}, v_{16}, w_{16}
  787. Translate(veelhoek2''_1, w) → veelhoek41
  788. Translate(J''_2, w) → A_{17}
  789. Translate(I''_1, w) → B_{17}
  790. Translate(A''_2, w) → C_{17}
  791. Polygon(A_{17}, B_{17}, C_{17}) → veelhoek42, c_{17}, a_{17}, b_{17}
  792. Translate(G''_2, w) → D_{17}
  793. Translate(K''_1, w) → E_{17}
  794. Translate(G_1, w) → F_{17}
  795. Polygon(D_{17}, E_{17}, F_{17}) → veelhoek43, f_{17}, d_{17}, e_{17}
  796. Translate(veelhoek2'_3, w) → veelhoek44
  797. Translate(J'_6, w) → G_{17}
  798. Translate(I'_3, w) → H_{17}
  799. Translate(A'_8, w) → I_{17}
  800. Polygon(G_{17}, H_{17}, I_{17}) → veelhoek45, i_{17}, g_{17}, h_{17}
  801. Translate(G'_9, w) → J_{17}
  802. Translate(K'_3, w) → K_{17}
  803. Translate(J'_7, w) → L_{17}
  804. Polygon(J_{17}, K_{17}, L_{17}) → veelhoek46, l_{17}, j_{17}, k_{17}
  805. Translate(veelhoek2''_2, w) → veelhoek47
  806. Translate(J''_3, w) → M_{17}
  807. Translate(I''_2, w) → N_{17}
  808. Translate(A''_3, w) → O_{17}
  809. Polygon(M_{17}, N_{17}, O_{17}) → veelhoek48, o_{17}, m_{17}, n_{17}
  810. Translate(G''_3, w) → P_{17}
  811. Translate(K''_2, w) → Q_{17}
  812. Translate(Z_1, w) → R_{17}
  813. Polygon(P_{17}, Q_{17}, R_{17}) → veelhoek49, r_{17}, p_{17}, q_{17}
  814. Translate(veelhoek2'_4, w) → veelhoek50
  815. Translate(J'_8, w) → S_{17}
  816. Translate(I'_4, w) → T_{17}
  817. Translate(A'_{11}, w) → U_{17}
  818. Polygon(S_{17}, T_{17}, U_{17}) → veelhoek51, u_{17}, s_{17}, t_{17}
  819. Translate(G'_{12}, w) → V_{17}
  820. Translate(K'_4, w) → W_{17}
  821. Translate(J'_9, w) → Z_{17}
  822. Polygon(V_{17}, W_{17}, Z_{17}) → veelhoek52, z_{17}, v_{17}, w_{17}
  823. Translate(veelhoek2''_3, w) → veelhoek53
  824. Translate(J''_4, w) → A_{18}
  825. Translate(I''_3, w) → B_{18}
  826. Translate(A''_4, w) → C_{18}
  827. Polygon(A_{18}, B_{18}, C_{18}) → veelhoek54, c_{18}, a_{18}, b_{18}
  828. Translate(G''_4, w) → D_{18}
  829. Translate(K''_3, w) → E_{18}
  830. Translate(J_3, w) → F_{18}
  831. Polygon(D_{18}, E_{18}, F_{18}) → veelhoek55, f_{18}, d_{18}, e_{18}
  832. Translate(veelhoek17, w) → veelhoek17'
  833. Translate(F_7, w) → G_{18}
  834. Translate(G_7, w) → H_{18}
  835. Translate(H_7, w) → I_{18}
  836. Polygon(G_{18}, H_{18}, I_{18}) → veelhoek18', i_{18}, g_{18}, h_{18}
  837. Translate(G, w) → G'_{19}
  838. Translate(H, w) → H'_6
  839. Segment(G'_{19}, H'_6) → i'_{13}
  840. Translate(G, w) → G'_{20}
  841. Translate(A, w) → A'_{17}
  842. Segment(G'_{20}, A'_{17}) → j'_{20}
  843. Translate(G'_1, w) → J_{18}
  844. Translate(H', w) → H''_5
  845. Segment(J_{18}, H''_5) → g_4
  846. Translate(G'_2, w) → K_{18}
  847. Translate(A'_1, w) → L_{18}
  848. Segment(K_{18}, L_{18}) → h_4
  849. Translate(F', w) → F''_2
  850. Translate(A'_3, w) → M_{18}
  851. Segment(F''_2, M_{18}) → f''_2
  852. Translate(G'_4, w) → N_{18}
  853. Translate(H'_1, w) → O_{18}
  854. Segment(N_{18}, O_{18}) → i_4
  855. Translate(G'_5, w) → P_{18}
  856. Translate(A'_4, w) → Q_{18}
  857. Segment(P_{18}, Q_{18}) → j_4
  858. Translate(M, w) → M'_5
  859. Translate(H'', w) → H'''_2
  860. Segment(M'_5, H'''_2) → q'_4
  861. Translate(N, w) → N'_5
  862. Translate(O, w) → O'_2
  863. Segment(N'_5, O'_2) → r'_4
  864. Translate(E', w) → E''_1
  865. Translate(F'_1, w) → R_{18}
  866. Segment(E''_1, R_{18}) → e''_1
  867. Translate(A''_1, w) → S_{18}
  868. Translate(J''_1, w) → T_{18}
  869. Segment(S_{18}, T_{18}) → k_4
  870. Translate(V, w) → V'_1
  871. Translate(G''_1, w) → U_{18}
  872. Segment(V'_1, U_{18}) → l_4
  873. Translate(W, w) → W'_4
  874. Translate(Z, w) → Z'_1
  875. Segment(W'_4, Z'_1) → m_4
  876. Translate(F'', w) → F'''_1
  877. Translate(A_1, w) → V_{18}
  878. Segment(F'''_1, V_{18}) → f'''_1
  879. Translate(B_1, w) → W_{18}
  880. Translate(C_1, w) → Z_{18}
  881. Segment(W_{18}, Z_{18}) → n_4
  882. Translate(D_1, w) → A_{19}
  883. Translate(E_1, w) → B_{19}
  884. Segment(A_{19}, B_{19}) → p_4
  885. Translate(M', w) → M''_4
  886. Translate(H''', w) → C_{19}
  887. Segment(M''_4, C_{19}) → q''_1
  888. Translate(N', w) → N''_4
  889. Translate(O', w) → O''_1
  890. Segment(N''_4, O''_1) → r''_1
  891. Translate(F'_2, w) → D_{19}
  892. Translate(A'_6, w) → E_{19}
  893. Segment(D_{19}, E_{19}) → q_4
  894. Translate(G'_7, w) → F_{19}
  895. Translate(H'_2, w) → G_{19}
  896. Segment(F_{19}, G_{19}) → r_4
  897. Translate(G'_8, w) → H_{19}
  898. Translate(A'_7, w) → I_{19}
  899. Segment(H_{19}, I_{19}) → s_4
  900. Translate(H_1, w) → J_{19}
  901. Translate(H''_1, w) → K_{19}
  902. Segment(J_{19}, K_{19}) → t_4
  903. Translate(I_1, w) → L_{19}
  904. Translate(J_1, w) → M_{19}
  905. Segment(L_{19}, M_{19}) → a_5
  906. Translate(K_1, w) → N_{19}
  907. Translate(L_1, w) → O_{19}
  908. Segment(N_{19}, O_{19}) → b_5
  909. Translate(M_1, w) → P_{19}
  910. Translate(N_1, w) → Q_{19}
  911. Segment(P_{19}, Q_{19}) → c_5
  912. Translate(O_1, w) → R_{19}
  913. Translate(P_1, w) → S_{19}
  914. Segment(R_{19}, S_{19}) → d_5
  915. Translate(F'_3, w) → T_{19}
  916. Translate(A'_9, w) → U_{19}
  917. Segment(T_{19}, U_{19}) → e_5
  918. Translate(G'_{10}, w) → V_{19}
  919. Translate(H'_3, w) → W_{19}
  920. Segment(V_{19}, W_{19}) → f_5
  921. Translate(G'_{11}, w) → Z_{19}
  922. Translate(A'_{10}, w) → A_{20}
  923. Segment(Z_{19}, A_{20}) → g_5
  924. Translate(A_2, w) → B_{20}
  925. Translate(H''_2, w) → C_{20}
  926. Segment(B_{20}, C_{20}) → h_5
  927. Translate(B_2, w) → D_{20}
  928. Translate(C_2, w) → E_{20}
  929. Segment(D_{20}, E_{20}) → i_5
  930. Translate(D_2, w) → F_{20}
  931. Translate(E_2, w) → G_{20}
  932. Segment(F_{20}, G_{20}) → j_5
  933. Translate(F_2, w) → H_{20}
  934. Translate(G_2, w) → I_{20}
  935. Segment(H_{20}, I_{20}) → k_5
  936. Translate(H_2, w) → J_{20}
  937. Translate(I_2, w) → K_{20}
  938. Segment(J_{20}, K_{20}) → l_5
  939. Translate(F'_4, w) → L_{20}
  940. Translate(A'_{12}, w) → M_{20}
  941. Segment(L_{20}, M_{20}) → m_5
  942. Translate(G'_{13}, w) → N_{20}
  943. Translate(H'_4, w) → O_{20}
  944. Segment(N_{20}, O_{20}) → n_5
  945. Translate(G'_{14}, w) → P_{20}
  946. Translate(A'_{13}, w) → Q_{20}
  947. Segment(P_{20}, Q_{20}) → p_5
  948. Translate(K_3, w) → R_{20}
  949. Translate(H''_3, w) → S_{20}
  950. Segment(R_{20}, S_{20}) → q_5
  951. Translate(L_3, w) → T_{20}
  952. Translate(M_3, w) → U_{20}
  953. Segment(T_{20}, U_{20}) → r_5
  954. Translate(N_3, w) → V_{20}
  955. Translate(O_3, w) → W_{20}
  956. Segment(V_{20}, W_{20}) → s_5
  957. Translate(P_3, w) → Z_{20}
  958. Translate(Q_3, w) → A_{21}
  959. Segment(Z_{20}, A_{21}) → t_5
  960. Translate(R_3, w) → B_{21}
  961. Translate(S_3, w) → C_{21}
  962. Segment(B_{21}, C_{21}) → a_6
  963. Translate(A_7, w) → D_{21}
  964. Translate(B_7, w) → E_{21}
  965. Segment(D_{21}, E_{21}) → b_6
  966. Translate(J_7, w) → F_{21}
  967. Translate(K_7, w) → G_{21}
  968. Segment(F_{21}, G_{21}) → c_6
  969. Translate(N_7, w) → H_{21}
  970. Translate(L_7, w) → I_{21}
  971. Segment(H_{21}, I_{21}) → d_6
  972. Translate(F_9, w) → J_{21}
  973. Translate(G_9, w) → K_{21}
  974. Segment(J_{21}, K_{21}) → e_6
  975. Translate(P_9, w) → L_{21}
  976. Translate(Q_9, w) → M_{21}
  977. Segment(L_{21}, M_{21}) → f_6
  978. Translate(F_1, w) → N_{21}
  979. Translate(G'''_1, w) → O_{21}
  980. Translate(Q_1, w) → P_{21}
  981. Translate(R_1, w) → Q_{21}
  982. Translate(M'_1, w) → R_{21}
  983. Translate(N'_1, w) → S_{21}
  984. Translate(S', w) → S''_3
  985. Translate(S_1, w) → T_{21}
  986. Translate(T_1, w) → U_{21}
  987. Translate(W', w) → W''_3
  988. Translate(U_1, w) → V_{21}
  989. Translate(V_1, w) → W_{21}
  990. Translate(M'', w) → M'''_3
  991. Translate(N'', w) → N'''_3
  992. Translate(W_1, w) → Z_{21}
  993. Translate(G'''_2, w) → A_{22}
  994. Translate(J_2, w) → B_{22}
  995. Translate(K_2, w) → C_{22}
  996. Translate(M'_2, w) → D_{22}
  997. Translate(N'_2, w) → E_{22}
  998. Translate(S'_1, w) → F_{22}
  999. Translate(L_2, w) → G_{22}
  1000. Translate(M_2, w) → H_{22}
  1001. Translate(W'_1, w) → I_{22}
  1002. Translate(N_2, w) → J_{22}
  1003. Translate(O_2, w) → K_{22}
  1004. Translate(M''_1, w) → L_{22}
  1005. Translate(N''_1, w) → M_{22}
  1006. Translate(P_2, w) → N_{22}
  1007. Translate(Q_2, w) → O_{22}
  1008. Translate(R_2, w) → P_{22}
  1009. Translate(S_2, w) → Q_{22}
  1010. Translate(T_2, w) → R_{22}
  1011. Translate(U_2, w) → S_{22}
  1012. Translate(V_2, w) → T_{22}
  1013. Translate(W_2, w) → U_{22}
  1014. Translate(Z_2, w) → V_{22}
  1015. Translate(A_3, w) → W_{22}
  1016. Translate(B_3, w) → Z_{22}
  1017. Translate(C_3, w) → A_{23}
  1018. Translate(D_3, w) → B_{23}
  1019. Translate(S'', w) → S'''_2
  1020. Translate(E_3, w) → C_{23}
  1021. Translate(F_3, w) → D_{23}
  1022. Translate(W'', w) → W'''_2
  1023. Translate(G_3, w) → E_{23}
  1024. Translate(H_3, w) → F_{23}
  1025. Translate(M''', w) → G_{23}
  1026. Translate(N''', w) → H_{23}
  1027. Translate(I_3, w) → I_{23}
  1028. Translate(G'''_3, w) → J_{23}
  1029. Translate(T_3, w) → K_{23}
  1030. Translate(U_3, w) → L_{23}
  1031. Translate(M'_3, w) → M_{23}
  1032. Translate(N'_3, w) → N_{23}
  1033. Translate(S'_2, w) → O_{23}
  1034. Translate(V_3, w) → P_{23}
  1035. Translate(W_3, w) → Q_{23}
  1036. Translate(W'_2, w) → R_{23}
  1037. Translate(Z_3, w) → S_{23}
  1038. Translate(A_4, w) → T_{23}
  1039. Translate(M''_2, w) → U_{23}
  1040. Translate(N''_2, w) → V_{23}
  1041. Translate(B_4, w) → W_{23}
  1042. Translate(C_4, w) → Z_{23}
  1043. Translate(D_4, w) → A_{24}
  1044. Translate(E_4, w) → B_{24}
  1045. Translate(F_4, w) → C_{24}
  1046. Translate(G_4, w) → D_{24}
  1047. Translate(H_4, w) → E_{24}
  1048. Translate(I_4, w) → F_{24}
  1049. Translate(J_4, w) → G_{24}
  1050. Translate(K_4, w) → H_{24}
  1051. Translate(L_4, w) → I_{24}
  1052. Translate(M_4, w) → J_{24}
  1053. Translate(N_4, w) → K_{24}
  1054. Translate(S''_1, w) → L_{24}
  1055. Translate(O_4, w) → M_{24}
  1056. Translate(P_4, w) → N_{24}
  1057. Translate(W''_1, w) → O_{24}
  1058. Translate(Q_4, w) → P_{24}
  1059. Translate(R_4, w) → Q_{24}
  1060. Translate(M'''_1, w) → R_{24}
  1061. Translate(N'''_1, w) → S_{24}
  1062. Translate(S_4, w) → T_{24}
  1063. Translate(T_4, w) → U_{24}
  1064. Translate(U_4, w) → V_{24}
  1065. Translate(V_4, w) → W_{24}
  1066. Translate(W_4, w) → Z_{24}
  1067. Translate(Z_4, w) → A_{25}
  1068. Translate(A_5, w) → B_{25}
  1069. Translate(B_5, w) → C_{25}
  1070. Translate(C_5, w) → D_{25}
  1071. Translate(D_5, w) → E_{25}
  1072. Translate(E_5, w) → F_{25}
  1073. Translate(F_5, w) → G_{25}
  1074. Translate(G_5, w) → H_{25}
  1075. Translate(H_5, w) → I_{25}
  1076. Translate(I_5, w) → J_{25}
  1077. Translate(J_5, w) → K_{25}
  1078. Translate(K_5, w) → L_{25}
  1079. Translate(L_5, w) → M_{25}
  1080. Translate(M_5, w) → N_{25}
  1081. Translate(N_5, w) → O_{25}
  1082. Translate(O_5, w) → P_{25}
  1083. Translate(P_5, w) → Q_{25}
  1084. Translate(Q_5, w) → R_{25}
  1085. Translate(R_5, w) → S_{25}
  1086. Translate(S_5, w) → T_{25}
  1087. Translate(T_5, w) → U_{25}
  1088. Translate(U_5, w) → V_{25}
  1089. Translate(V_5, w) → W_{25}
  1090. Translate(W_5, w) → Z_{25}
  1091. Translate(Z_5, w) → A_{26}
  1092. Translate(A_6, w) → B_{26}
  1093. Translate(B_6, w) → C_{26}
  1094. Translate(C_6, w) → D_{26}
  1095. Translate(D_6, w) → E_{26}
  1096. Translate(S''', w) → F_{26}
  1097. Translate(E_6, w) → G_{26}
  1098. Translate(F_6, w) → H_{26}
  1099. Translate(W''', w) → I_{26}
  1100. Translate(G_6, w) → J_{26}
  1101. Translate(H_6, w) → K_{26}
  1102. Translate(I_6, w) → L_{26}
  1103. Translate(J_6, w) → M_{26}
  1104. Translate(K_6, w) → N_{26}
  1105. Translate(U_6, w) → O_{26}
  1106. Translate(D_7, w) → P_{26}
  1107. Translate(Q_7, w) → Q_{26}
  1108. Translate(E'', w) → E'''
  1109. Translate(F''', w) → R_{26}
  1110. Translate(O'', w) → O'''
  1111. Translate(I_9, w) → S_{26}
  1112. Translate(K_9, w) → T_{26}
  1113. Translate(M_9, w) → U_{26}
  1114. Translate(O_9, w) → V_{26}
  1115. Translate(R_9, w) → W_{26}
  1116. Translate(U_9, w) → Z_{26}
  1117. Translate(W_9, w) → A_{27}
  1118. Translate(C_{10}, w) → B_{27}
  1119. Translate(H_{11}, w) → C_{27}

AI Drawing Prompt Reference

Draw a hexagon, find the perpendicular bisectors of two of its sides, and mark their intersection. Create a quadrilateral using one vertex of the hexagon and the midpoint of one of the bisectors. Form a triangle with one vertex of the quadrilateral and another vertex of the hexagon. Construct another triangle using the intersection point and one vertex of the hexagon. Reflect the quadrilateral and triangle across the bisector to create mirrored shapes. Rotate the hexagon and all shapes by 60 degrees around the intersection point, repeating the rotation three more times to achieve a symmetric pattern.
The prompt above was compiled from the original drawing commands and is for reference only.