伊斯兰几何图案：Gonbad-e Sork

GeoGebra 命令及参数

1. ConstructionStep() → stap
2. Point(yAxis) → N
3. Rotate(N, 60°) → N'
4. Polygon(N, N', 6) → veelhoek2, s, S, t, a, b, c, d, P, Q, R
5. Dilate(veelhoek2, 0.92) → veelhoek2'_{2}
6. Point(yAxis) → T
7. Rotate(T, 60°) → T'
8. Polygon(T, T', 6) → veelhoek3, e, Z, f_1, g_1, h_1, i_1, j_1, U, V, W
9. Intersect(xAxis, i_1) → A_1
10. Intersect(c, xAxis) → B_1
11. Midpoint(A_1, B_1) → C_1
12. Line(C_1, yAxis) → k_1
13. Mirror(veelhoek2, k_1) → veelhoek2'
14. Mirror(veelhoek3, k_1) → veelhoek3'
15. Point(xAxis) → C
16. Mirror(veelhoek2', yAxis) → veelhoek2''
17. Mirror(veelhoek3', yAxis) → veelhoek3''
18. Rotate(C_1, 60°) → D_1
19. Line(D_1, j_1) → l_1
20. Mirror(veelhoek2, l_1) → veelhoek2'_{1}
21. Mirror(veelhoek3, l_1) → veelhoek3'_{1}
22. Mirror(veelhoek2'_{1}, yAxis) → veelhoek4
23. Mirror(veelhoek3'_{1}, yAxis) → veelhoek5
24. Mirror(veelhoek3'_{1}, xAxis) → veelhoek6
25. Rotate(C, 30°) → C'
26. Mirror(veelhoek2'_{1}, xAxis) → veelhoek7
27. Mirror(veelhoek5, xAxis) → veelhoek5'
28. Mirror(veelhoek4, xAxis) → veelhoek4'
29. Centroid(veelhoek2'_{1}) → E_1
30. Mirror(E_1, yAxis) → F_1
31. Mirror(E_1, xAxis) → G_1
32. Mirror(F_1, xAxis) → H_1
33. Centroid(veelhoek2') → I_1
34. Mirror(I_1, yAxis) → J_1
35. Line(F_1, H_1) → m_1
36. Polygon(C, C', 12) → veelhoek1, f, p, q, r, D, E, F, G, H, I, J, g, K, L, M, h, i, j, k, l, m, n
37. Mirror(veelhoek3'_{1}, m_1) → veelhoek8
38. Mirror(veelhoek2'_{1}, m_1) → veelhoek9
39. Mirror(veelhoek5, k_1) → veelhoek5'_{1}
40. Mirror(veelhoek4, k_1) → veelhoek4'_{1}
41. Mirror(veelhoek9, xAxis) → veelhoek9'
42. Mirror(veelhoek8, xAxis) → veelhoek8'
43. Mirror(veelhoek4', k_1) → veelhoek4''
44. Mirror(veelhoek5', k_1) → veelhoek5''
45. Line(F_1, E_1) → n_1
46. Mirror(veelhoek3'', n_1) → veelhoek3'''
47. Mirror(veelhoek2'', n_1) → veelhoek2'''
48. Mirror(veelhoek2', n_1) → veelhoek2''_{1}
49. Mirror(veelhoek3''', yAxis) → veelhoek23
50. Mirror(veelhoek1, k_1) → veelhoek1'
51. Mirror(veelhoek1', yAxis) → veelhoek1''
52. Mirror(veelhoek1'', n_1) → veelhoek1'''
53. Mirror(veelhoek1, n_1) → veelhoek1'_{1}
54. Mirror(veelhoek1', n_1) → veelhoek1''_{1}
55. Mirror(veelhoek1''', xAxis) → veelhoek10
56. Mirror(veelhoek1'_{1}, xAxis) → veelhoek11
57. Mirror(veelhoek1''_{1}, xAxis) → veelhoek12
58. Rotate(veelhoek1', 60°) → veelhoek1''_{2}
59. Mirror(veelhoek1''_{2}, yAxis) → veelhoek13
60. Mirror(veelhoek1''_{2}, m_1) → veelhoek14
61. Mirror(veelhoek13, k_1) → veelhoek13'
62. Mirror(veelhoek14, xAxis) → veelhoek14'
63. Mirror(veelhoek13, xAxis) → veelhoek13'_{1}
64. Mirror(veelhoek1''_{2}, xAxis) → veelhoek15
65. Mirror(veelhoek13', xAxis) → veelhoek13''
66. PolyLine(K_1, L_1, M_1, N_1, O_1) → p_1
67. Mirror(K_1, yAxis) → P_1
68. Mirror(L_1, yAxis) → Q_1
69. Mirror(M_1, yAxis) → R_1
70. Mirror(N_1, yAxis) → S_1
71. Mirror(O_1, yAxis) → T_1
72. PolyLine(P_1, Q_1, R_1, S_1, T_1) → q_1
73. Intersect(xAxis, veelhoek1'') → Z_1, A_2
74. Intersect(veelhoek1'', veelhoek13) → W_1, C_2
75. Intersect(veelhoek13, veelhoek1''_{2}) → U_1, B_2
76. Intersect(veelhoek1'', veelhoek13'_{1}) → D_2, E_2
77. Intersect(veelhoek15, veelhoek13'_{1}) → F_2, G_2
78. Intersect(veelhoek15, veelhoek1') → H_2, I_2
79. Intersect(veelhoek1', veelhoek1''_{2}) → J_2, K_2
80. Circle(O, U_1) → c_1
81. Intersect(c_1, xAxis, 1) → L_2
82. Segment(U_1, L_2) → r_1
83. Intersect(r_1, veelhoek1'') → M_2
84. Mirror(M_2, xAxis) → O_2
85. Mirror(M_2, yAxis) → P_2
86. Mirror(O_2, yAxis) → Q_2
87. Rotate(U_1, 150°) → R_2
88. Rotate(U_1, 210°) → S_2
89. Rotate(U_1, 270°) → T_2
90. Rotate(U_1, 330°) → U_2
91. Mirror(A_2, yAxis) → V_2
92. Mirror(V_1, yAxis) → W_2
93. Rotate(V_2, 90°) → Z_2
94. Rotate(V_2, -90°) → A_3
95. Rotate(O_2, 90°) → B_3
96. Rotate(M_2, 90°) → C_3
97. Mirror(U_2, yAxis) → D_3
98. Rotate(Z_2, 60°) → E_3
99. Mirror(E_3, xAxis) → F_3
100. Mirror(F_3, yAxis) → G_3
101. Mirror(E_3, yAxis) → H_3
102. Polygon(Z_2, D_3, H_3, U_2, E_3, L_2, F_3, R_2, A_3, S_2, G_3, T_2) → veelhoek16, z_2, t_2, h_3, u_2, d_3, e_3, l_2, f_3, r_2, a_3, s_2, g_3
103. Mirror(Z_2, m_1) → I_3
104. Mirror(D_3, m_1) → J_3
105. Mirror(E_3, m_1) → K_3
106. Mirror(L_2, m_1) → L_3
107. Mirror(F_3, m_1) → M_3
108. Mirror(R_2, m_1) → N_3
109. Mirror(A_3, m_1) → O_3
110. Mirror(S_2, m_1) → P_3
111. Mirror(G_3, m_1) → Q_3
112. Mirror(T_2, m_1) → R_3
113. Mirror(H_3, m_1) → S_3
114. Mirror(U_2, m_1) → T_3
115. Polygon(I_3, J_3, S_3, T_3, K_3, L_3, M_3, N_3, O_3, P_3, Q_3, R_3) → veelhoek16', i_3, r_3, s_3, t_3, j_3, k_3, l_3, m_3, n_3, o_3, p_3, q_3
116. LineBisector(F_1, O) → s_1
117. Mirror(Z_2, s_1) → U_3
118. Mirror(D_3, s_1) → V_3
119. Mirror(E_3, s_1) → W_3
120. Mirror(L_2, s_1) → Z_3
121. Mirror(F_3, s_1) → A_4
122. Mirror(R_2, s_1) → B_4
123. Mirror(A_3, s_1) → C_4
124. Mirror(S_2, s_1) → D_4
125. Mirror(G_3, s_1) → E_4
126. Mirror(T_2, s_1) → F_4
127. Mirror(H_3, s_1) → G_4
128. Mirror(U_2, s_1) → H_4
129. Polygon(U_3, V_3, G_4, H_4, W_3, Z_3, A_4, B_4, C_4, D_4, E_4, F_4) → veelhoek16'_{1}, u_3, f_4, g_4, h_4, v_3, w_3, z_3, a_4, b_4, c_4, d_4, e_4
130. LineBisector(E_1, O) → t_1
131. Mirror(Z_2, t_1) → I_4
132. Mirror(D_3, t_1) → J_4
133. Mirror(E_3, t_1) → K_4
134. Mirror(L_2, t_1) → L_4
135. Mirror(F_3, t_1) → M_4
136. Mirror(R_2, t_1) → N_4
137. Mirror(A_3, t_1) → O_4
138. Mirror(S_2, t_1) → P_4
139. Mirror(G_3, t_1) → Q_4
140. Mirror(T_2, t_1) → R_4
141. Mirror(H_3, t_1) → S_4
142. Mirror(U_2, t_1) → T_4
143. Polygon(I_4, J_4, S_4, T_4, K_4, L_4, M_4, N_4, O_4, P_4, Q_4, R_4) → veelhoek16'_{2}, i_4, r_4, s_4, t_4, j_4, k_4, l_4, m_4, n_4, o_4, p_4, q_4
144. Mirror(Z_2, k_1) → U_4
145. Mirror(D_3, k_1) → V_4
146. Mirror(E_3, k_1) → W_4
147. Mirror(L_2, k_1) → Z_4
148. Mirror(F_3, k_1) → A_5
149. Mirror(R_2, k_1) → B_5
150. Mirror(A_3, k_1) → C_5
151. Mirror(S_2, k_1) → D_5
152. Mirror(G_3, k_1) → E_5
153. Mirror(T_2, k_1) → F_5
154. Mirror(H_3, k_1) → G_5
155. Mirror(U_2, k_1) → H_5
156. Polygon(U_4, V_4, G_5, H_5, W_4, Z_4, A_5, B_5, C_5, D_5, E_5, F_5) → veelhoek16'_{3}, u_4, f_5, g_5, h_5, v_4, w_4, z_4, a_5, b_5, c_5, d_5, e_5
157. LineBisector(O, H_1) → a_1
158. Mirror(Z_2, a_1) → I_5
159. Mirror(D_3, a_1) → J_5
160. Mirror(E_3, a_1) → K_5
161. Mirror(L_2, a_1) → L_5
162. Mirror(F_3, a_1) → M_5
163. Mirror(R_2, a_1) → N_5
164. Mirror(A_3, a_1) → O_5
165. Mirror(S_2, a_1) → P_5
166. Mirror(G_3, a_1) → Q_5
167. Mirror(T_2, a_1) → R_5
168. Mirror(H_3, a_1) → S_5
169. Mirror(U_2, a_1) → T_5
170. Polygon(I_5, J_5, S_5, T_5, K_5, L_5, M_5, N_5, O_5, P_5, Q_5, R_5) → veelhoek16'_{4}, i_5, r_5, s_5, t_5, j_5, k_5, l_5, m_5, n_5, o_5, p_5, q_5
171. LineBisector(G_1, O) → b_1
172. Mirror(Z_2, b_1) → U_5
173. Mirror(D_3, b_1) → V_5
174. Mirror(E_3, b_1) → W_5
175. Mirror(L_2, b_1) → Z_5
176. Mirror(F_3, b_1) → A_6
177. Mirror(R_2, b_1) → B_6
178. Mirror(A_3, b_1) → C_6
179. Mirror(S_2, b_1) → D_6
180. Mirror(G_3, b_1) → E_6
181. Mirror(T_2, b_1) → F_6
182. Mirror(H_3, b_1) → G_6
183. Mirror(U_2, b_1) → H_6
184. Polygon(U_5, V_5, G_6, H_6, W_5, Z_5, A_6, B_6, C_6, D_6, E_6, F_6) → veelhoek16'_{5}, u_5, f_6, g_6, h_6, v_5, w_5, z_5, a_6, b_6, c_6, d_6, e_6
185. Rotate(S, -90°, D_1) → S'
186. Rotate(S, 90°, D_1) → S'_{1}
187. Rotate(N, 90°, D_1) → N'_{2}
188. Segment(S'_{1}, N'_{2}) → d'_{1}
189. Line(S_4, T_4) → d_1
190. Intersect(d_1, d'_{1}) → I_6
191. Line(H_3, U_2) → e_1
192. Intersect(e_1, d'_{1}) → J_6
193. OrthogonalLine(D_1, t_1) → f_2
194. Mirror(I_6, f_2) → K_6
195. Mirror(J_6, f_2) → L_6
196. Mirror(K_6, k_1) → M_6
197. Mirror(I_6, k_1) → N_6
198. Mirror(J_6, k_1) → O_6
199. Line(H_3, T_2) → g_2
200. Rotate(R, -90°, C_1) → R'
201. Rotate(S, -90°, C_1) → S'_{2}
202. Segment(R', S'_{2}) → c'
203. Intersect(g_2, c') → P_6
204. Mirror(P_6, k_1) → Q_6
205. Polygon(S_4, I_6, J_6, H_3, P_6, Q_6, G_5, O_6, N_6) → veelhoek17, h_2, i_6, j_6, i_2, p_6, q_6, j_2, o_6, n_6
206. Mirror(S_4, yAxis) → R_6
207. Mirror(I_6, yAxis) → S_6
208. Mirror(J_6, yAxis) → T_6
209. Mirror(H_3, yAxis) → U_6
210. Mirror(P_6, yAxis) → V_6
211. Mirror(Q_6, yAxis) → W_6
212. Mirror(G_5, yAxis) → Z_6
213. Mirror(O_6, yAxis) → A_7
214. Mirror(N_6, yAxis) → B_7
215. Polygon(R_6, S_6, T_6, U_6, V_6, W_6, Z_6, A_7, B_7) → veelhoek17', r_6, s_6, t_6, u_6, v_6, w_6, z_6, a_7, b_7
216. Line(E_1, I_1) → k_2
217. Mirror(S_4, k_2) → C_7
218. Mirror(I_6, k_2) → D_7
219. Mirror(J_6, k_2) → E_7
220. Mirror(H_3, k_2) → F_7
221. Mirror(P_6, k_2) → G_7
222. Mirror(Q_6, k_2) → H_7
223. Mirror(G_5, k_2) → I_7
224. Mirror(O_6, k_2) → J_7
225. Mirror(N_6, k_2) → K_7
226. Polygon(C_7, D_7, E_7, F_7, G_7, H_7, I_7, J_7, K_7) → veelhoek17'_{1}, c_7, d_7, e_7, f_7, g_7, h_7, i_7, j_7, k_7
227. Mirror(C_7, yAxis) → L_7
228. Mirror(D_7, yAxis) → M_7
229. Mirror(E_7, yAxis) → N_7
230. Mirror(F_7, yAxis) → O_7
231. Mirror(G_7, yAxis) → P_7
232. Mirror(H_7, yAxis) → Q_7
233. Mirror(I_7, yAxis) → R_7
234. Mirror(J_7, yAxis) → S_7
235. Mirror(K_7, yAxis) → T_7
236. Polygon(L_7, M_7, N_7, O_7, P_7, Q_7, R_7, S_7, T_7) → veelhoek18, l_7, m_7, n_7, o_7, p_7, q_7, r_7, s_7, t_7
237. Mirror(C_7, xAxis) → U_7
238. Mirror(D_7, xAxis) → V_7
239. Mirror(E_7, xAxis) → W_7
240. Mirror(F_7, xAxis) → Z_7
241. Mirror(G_7, xAxis) → A_8
242. Mirror(H_7, xAxis) → B_8
243. Mirror(I_7, xAxis) → C_8
244. Mirror(J_7, xAxis) → D_8
245. Mirror(K_7, xAxis) → E_8
246. Polygon(U_7, V_7, W_7, Z_7, A_8, B_8, C_8, D_8, E_8) → veelhoek19, u_7, v_7, w_7, z_7, a_8, b_8, c_8, d_8, e_8
247. Mirror(U_7, k_1) → F_8
248. Mirror(V_7, k_1) → G_8
249. Mirror(W_7, k_1) → H_8
250. Mirror(Z_7, k_1) → I_8
251. Mirror(A_8, k_1) → J_8
252. Mirror(B_8, k_1) → K_8
253. Mirror(C_8, k_1) → L_8
254. Mirror(D_8, k_1) → M_8
255. Mirror(E_8, k_1) → N_8
256. Polygon(F_8, G_8, H_8, I_8, J_8, K_8, L_8, M_8, N_8) → veelhoek19', f_8, g_8, h_8, i_8, j_8, k_8, l_8, m_8, n_8
257. Mirror(U_7, yAxis) → O_8
258. Mirror(V_7, yAxis) → P_8
259. Mirror(W_7, yAxis) → Q_8
260. Mirror(Z_7, yAxis) → R_8
261. Mirror(A_8, yAxis) → S_8
262. Mirror(B_8, yAxis) → T_8
263. Mirror(C_8, yAxis) → U_8
264. Mirror(D_8, yAxis) → V_8
265. Mirror(E_8, yAxis) → W_8
266. Polygon(O_8, P_8, Q_8, R_8, S_8, T_8, U_8, V_8, W_8) → veelhoek19'_{1}, o_8, p_8, q_8, r_8, s_8, t_8, u_8, v_8, w_8
267. Mirror(C_7, t_1) → Z_8
268. Mirror(D_7, t_1) → A_9
269. Mirror(E_7, t_1) → B_9
270. Mirror(F_7, t_1) → C_9
271. Mirror(G_7, t_1) → D_9
272. Mirror(H_7, t_1) → E_9
273. Mirror(I_7, t_1) → F_9
274. Mirror(J_7, t_1) → G_9
275. Mirror(K_7, t_1) → H_9
276. Polygon(Z_8, A_9, B_9, C_9, D_9, E_9, F_9, G_9, H_9) → veelhoek20, z_8, a_9, b_9, c_9, d_9, e_9, f_9, g_9, h_9
277. Mirror(Z_8, yAxis) → I_9
278. Mirror(A_9, yAxis) → J_9
279. Mirror(B_9, yAxis) → K_9
280. Mirror(C_9, yAxis) → L_9
281. Mirror(D_9, yAxis) → M_9
282. Mirror(E_9, yAxis) → N_9
283. Mirror(F_9, yAxis) → O_9
284. Mirror(G_9, yAxis) → P_9
285. Mirror(H_9, yAxis) → Q_9
286. Polygon(I_9, J_9, K_9, L_9, M_9, N_9, O_9, P_9, Q_9) → veelhoek20', i_9, j_9, k_9, l_9, m_9, n_9, o_9, p_9, q_9
287. Mirror(U_7, t_1) → R_9
288. Mirror(V_7, t_1) → S_9
289. Mirror(W_7, t_1) → T_9
290. Mirror(Z_7, t_1) → U_9
291. Mirror(A_8, t_1) → V_9
292. Mirror(B_8, t_1) → W_9
293. Mirror(C_8, t_1) → Z_9
294. Mirror(D_8, t_1) → A_{10}
295. Mirror(E_8, t_1) → B_{10}
296. Polygon(R_9, S_9, T_9, U_9, V_9, W_9, Z_9, A_{10}, B_{10}) → veelhoek19'_{2}, r_9, s_9, t_9, u_9, v_9, w_9, z_9, a_{10}, b_{10}
297. Mirror(L_7, a_1) → C_{10}
298. Mirror(M_7, a_1) → D_{10}
299. Mirror(N_7, a_1) → E_{10}
300. Mirror(O_7, a_1) → F_{10}
301. Mirror(P_7, a_1) → G_{10}
302. Mirror(Q_7, a_1) → H_{10}
303. Mirror(R_7, a_1) → I_{10}
304. Mirror(S_7, a_1) → J_{10}
305. Mirror(T_7, a_1) → K_{10}
306. Polygon(C_{10}, D_{10}, E_{10}, F_{10}, G_{10}, H_{10}, I_{10}, J_{10}, K_{10}) → veelhoek18', c_{10}, d_{10}, e_{10}, f_{10}, g_{10}, h_{10}, i_{10}, j_{10}, k_{10}
307. Mirror(F_8, xAxis) → L_{10}
308. Mirror(G_8, xAxis) → M_{10}
309. Mirror(H_8, xAxis) → N_{10}
310. Mirror(I_8, xAxis) → O_{10}
311. Mirror(J_8, xAxis) → P_{10}
312. Mirror(K_8, xAxis) → Q_{10}
313. Mirror(L_8, xAxis) → R_{10}
314. Mirror(M_8, xAxis) → S_{10}
315. Mirror(N_8, xAxis) → T_{10}
316. Polygon(L_{10}, M_{10}, N_{10}, O_{10}, P_{10}, Q_{10}, R_{10}, S_{10}, T_{10}) → veelhoek19'', l_{10}, m_{10}, n_{10}, o_{10}, p_{10}, q_{10}, r_{10}, s_{10}, t_{10}
317. Line(H_1, G_1) → m_2
318. Mirror(O_8, m_2) → U_{10}
319. Mirror(P_8, m_2) → V_{10}
320. Mirror(Q_8, m_2) → W_{10}
321. Mirror(R_8, m_2) → Z_{10}
322. Mirror(S_8, m_2) → A_{11}
323. Mirror(T_8, m_2) → B_{11}
324. Mirror(U_8, m_2) → C_{11}
325. Mirror(V_8, m_2) → D_{11}
326. Mirror(W_8, m_2) → E_{11}
327. Polygon(U_{10}, V_{10}, W_{10}, Z_{10}, A_{11}, B_{11}, C_{11}, D_{11}, E_{11}) → veelhoek21, u_{10}, v_{10}, w_{10}, z_{10}, a_{11}, b_{11}, c_{11}, d_{11}, e_{11}
328. Mirror(F_8, m_2) → F_{11}
329. Mirror(G_8, m_2) → G_{11}
330. Mirror(H_8, m_2) → H_{11}
331. Mirror(I_8, m_2) → I_{11}
332. Mirror(J_8, m_2) → J_{11}
333. Mirror(K_8, m_2) → K_{11}
334. Mirror(L_8, m_2) → L_{11}
335. Mirror(M_8, m_2) → M_{11}
336. Mirror(N_8, m_2) → N_{11}
337. Polygon(F_{11}, G_{11}, H_{11}, I_{11}, J_{11}, K_{11}, L_{11}, M_{11}, N_{11}) → veelhoek19''_{1}, f_{11}, g_{11}, h_{11}, i_{11}, j_{11}, k_{11}, l_{11}, m_{11}, n_{11}
338. Mirror(Z_8, m_2) → P_{11}
339. Mirror(A_9, m_2) → Q_{11}
340. Mirror(B_9, m_2) → R_{11}
341. Mirror(C_9, m_2) → S_{11}
342. Mirror(D_9, m_2) → T_{11}
343. Mirror(E_9, m_2) → U_{11}
344. Mirror(F_9, m_2) → V_{11}
345. Mirror(G_9, m_2) → W_{11}
346. Mirror(H_9, m_2) → Z_{11}
347. Polygon(P_{11}, Q_{11}, R_{11}, S_{11}, T_{11}, U_{11}, V_{11}, W_{11}, Z_{11}) → veelhoek20'_{1}, p_{11}, q_{11}, r_{11}, s_{11}, t_{11}, u_{11}, v_{11}, w_{11}, z_{11}
348. Mirror(I_9, m_2) → A_{12}
349. Mirror(J_9, m_2) → B_{12}
350. Mirror(K_9, m_2) → C_{12}
351. Mirror(L_9, m_2) → D_{12}
352. Mirror(M_9, m_2) → E_{12}
353. Mirror(N_9, m_2) → F_{12}
354. Mirror(O_9, m_2) → G_{12}
355. Mirror(P_9, m_2) → H_{12}
356. Mirror(Q_9, m_2) → I_{12}
357. Polygon(A_{12}, B_{12}, C_{12}, D_{12}, E_{12}, F_{12}, G_{12}, H_{12}, I_{12}) → veelhoek20'', a_{12}, b_{12}, c_{12}, d_{12}, e_{12}, f_{12}, g_{12}, h_{12}, i_{12}
358. Mirror(L_7, n_1) → J_{12}
359. Mirror(M_7, n_1) → K_{12}
360. Mirror(N_7, n_1) → L_{12}
361. Mirror(O_7, n_1) → M_{12}
362. Mirror(P_7, n_1) → N_{12}
363. Mirror(Q_7, n_1) → O_{12}
364. Mirror(R_7, n_1) → P_{12}
365. Mirror(S_7, n_1) → Q_{12}
366. Mirror(T_7, n_1) → R_{12}
367. Polygon(J_{12}, K_{12}, L_{12}, M_{12}, N_{12}, O_{12}, P_{12}, Q_{12}, R_{12}) → veelhoek18'_{1}, j_{12}, k_{12}, l_{12}, m_{12}, n_{12}, o_{12}, p_{12}, q_{12}, r_{12}
368. Mirror(L_{10}, n_1) → S_{12}
369. Mirror(M_{10}, n_1) → T_{12}
370. Mirror(N_{10}, n_1) → U_{12}
371. Mirror(O_{10}, n_1) → V_{12}
372. Mirror(P_{10}, n_1) → W_{12}
373. Mirror(Q_{10}, n_1) → Z_{12}
374. Mirror(R_{10}, n_1) → A_{13}
375. Mirror(S_{10}, n_1) → B_{13}
376. Mirror(T_{10}, n_1) → C_{13}
377. Polygon(S_{12}, T_{12}, U_{12}, V_{12}, W_{12}, Z_{12}, A_{13}, B_{13}, C_{13}) → veelhoek19''', s_{12}, t_{12}, u_{12}, v_{12}, w_{12}, z_{12}, a_{13}, b_{13}, c_{13}
378. Mirror(C_7, n_1) → D_{13}
379. Mirror(D_7, n_1) → E_{13}
380. Mirror(E_7, n_1) → F_{13}
381. Mirror(F_7, n_1) → G_{13}
382. Mirror(G_7, n_1) → H_{13}
383. Mirror(H_7, n_1) → I_{13}
384. Mirror(I_7, n_1) → J_{13}
385. Mirror(J_7, n_1) → K_{13}
386. Mirror(K_7, n_1) → L_{13}
387. Polygon(D_{13}, E_{13}, F_{13}, G_{13}, H_{13}, I_{13}, J_{13}, K_{13}, L_{13}) → veelhoek22, d_{13}, e_{13}, f_{13}, g_{13}, h_{13}, i_{13}, j_{13}, k_{13}, l_{13}