Geometric Construction Example by chris cambré

GeoGebra Commands & Parameters

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