网格上的球体：用圆与变换构造空间几何效果

GeoGebra 命令及参数

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