点、平面、金字塔与直线

GeoGebra 命令及参数

1. Circle(CC, br) → e
2. Circle(CC, l) → d
3. Line(AA, BB) → a
4. OrthogonalLine(CC, a) → b
5. Intersect(e, b) → F, G
6. OrthogonalLine(F, b) → h
7. OrthogonalLine(G, b) → f_{12}
8. OrthogonalLine(CC, b) → c
9. Intersect(d, c) → D, E
10. OrthogonalLine(E, c) → i
11. Intersect(h, i) → K
12. Intersect(f_{12}, i) → H
13. OrthogonalLine(D, c) → g
14. Intersect(g, h) → J
15. Intersect(g, f_{12}) → I
16. Polygon(H, I, J, K) → mangekant1, h_1, i_1, j, k
17. OrthogonalLine(Rotate, h_1) → m
18. Intersect(h_1, m) → M
19. Distance(Rotate, M) → avstandLM
20. OrthogonalLine(Rotate, k) → n
21. Intersect(k, n) → N
22. Distance(Rotate, N) → avstandLN
23. Circle(O, size) → r
24. OrthogonalLine(O, a) → p
25. Intersect(r, p) → R, S
26. OrthogonalLine(R, p) → a_1
27. OrthogonalLine(O, p) → q
28. Intersect(r, q) → P, Q
29. OrthogonalLine(P, q) → t
30. Intersect(a_1, t) → V
31. Rotate(V, ho, O) → V'
32. OrthogonalLine(V', q) → j_1
33. Intersect(q, j_1) → C_1
34. Dilate(V', l1, C_1) → V''
35. OrthogonalLine(Q, q) → b_1
36. Intersect(a_1, b_1) → W
37. Rotate(W, ho, O) → W'
38. OrthogonalLine(W', q) → l_1
39. Intersect(l_1, q) → A_1
40. Dilate(W', l1, A_1) → W''
41. Midpoint(W'', V'') → D_1
42. Distance(O, D_1) → avstandOD1
43. If(((-π < ve) ∧ (ve < (-π) / 2) ∨ (π / 2 < ve) ∧ (ve < π)) ∧ ((-π) / 2 < ho) ∧ (ho < π / 2) ∨ ((-π) / 2 < ve) ∧ (ve < π / 2) ∧ ((-π < ho) ∧ (ho < (-π) / 2) ∨ (π / 2 < ho) ∧ (ho < π)), van / (size - xp) + 3, (-van) / (size - xp) - 3) → ix
44. If((-π < ve) ∧ (ve < (-π) / 2) ∨ (0 < ve) ∧ (ve < π / 2), (-van) / (size - zp) - 3, van / (size - zp) + 3) → iz
45. OrthogonalLine(S, p) → s
46. Intersect(s, b_1) → T
47. Intersect(s, t) → U
48. Polygon(U, T, W, V) → mangekant2, u, t_1, w, v
49. Rotate(U, ho, O) → U'
50. Rotate(T, ho, O) → T'
51. Polygon(U', T', W', V') → mangekant2', u', t', w', v'
52. OrthogonalLine(T', q) → c_1
53. OrthogonalLine(W', q) → d_1
54. OrthogonalLine(V', q) → e_1
55. OrthogonalLine(U', q) → f_1
56. OrthogonalLine(T', q) → g_1
57. OrthogonalLine(U', q) → k_1
58. Intersect(g_1, q) → Z
59. Intersect(q, k_1) → B_1
60. Distance(Z, T') → avstandZT'
61. Distance(B_1, U') → avstandB1U'
62. Dilate(T', l1, Z) → T''
63. Dilate(U', l1, B_1) → U''
64. Polygon(T'', W'', V'', U'') → mangekant3, t'', w'', v'', u''
65. Midpoint(V'', U'') → E_1
66. Distance(O, E_1) → avstandOE1
67. Dilate(D_1, ix, O) → F_1
68. If((0 < ho) ∧ (ho < π) ∧ ((-π) / 2 < ve) ∧ (ve < π / 2) ∨ (-π < ho) ∧ (ho < 0) ∧ ((-π < ve) ∧ (ve < (-π) / 2) ∨ (π / 2 < ve) ∧ (ve < π)), van / (size - yp) + 3, (-van) / (size - yp) - 3) → iy
69. Dilate(E_1, iy, O) → G_1
70. Circle(O, size) → p_1
71. Circle(O, zp) → q_1
72. Intersect(q_1, p) → J_1, K_1
73. Dilate(K_1, iz, O) → H_1
74. Dilate(D_1, xpos, O) → I_1
75. Dilate(D_1, xneg, O) → L_1
76. Dilate(E_1, ypos, O) → M_1
77. Dilate(E_1, yneg, O) → N_1
78. Line(M_1, F_1) → m_1
79. Line(N_1, F_1) → n_1
80. Line(L_1, G_1) → r_1
81. Line(I_1, G_1) → s_1
82. Intersect(n_1, r_1) → O_1
83. Intersect(m_1, r_1) → P_1
84. Intersect(s_1, m_1) → Q_1
85. Intersect(s_1, n_1) → R_1
86. Polygon(P_1, O_1, R_1, Q_1) → mangekant4, p_2, o_1, r_2, q_2
87. Dilate(K_1, zpos, O) → S_1
88. Dilate(K_1, zneg, O) → T_1
89. Segment(I_1, L_1) → a_2
90. Segment(N_1, M_1) → b_2
91. Line(F_1, S_1) → c_2
92. Line(T_1, F_1) → d_2
93. Line(S_1, G_1) → e_2
94. Line(T_1, G_1) → f_2
95. Line(H_1, N_1) → g_2
96. Line(H_1, I_1) → h_2
97. Line(H_1, L_1) → i_2
98. Line(H_1, M_1) → j_2
99. Intersect(g_2, e_2) → V_1
100. Intersect(g_2, f_2) → W_1
101. Intersect(e_2, j_2) → Z_1
102. Intersect(f_2, j_2) → A_2
103. Line(V_1, F_1) → k_2
104. Line(Z_1, F_1) → l_2
105. Line(W_1, F_1) → m_2
106. Line(A_2, F_1) → n_2
107. Intersect(i_2, c_2) → B_2
108. Intersect(i_2, d_2) → C_2
109. Intersect(c_2, h_2) → D_2
110. Intersect(h_2, d_2) → E_2
111. Line(B_2, G_1) → s_2
112. Line(D_2, G_1) → t_2
113. Line(E_2, G_1) → a_3
114. Line(C_2, G_1) → b_3
115. Intersect(k_2, s_2) → F_2
116. Intersect(s_2, l_2) → G_2
117. Intersect(t_2, l_2) → H_2
118. Intersect(t_2, k_2) → I_2
119. Intersect(m_2, b_3) → J_2
120. Intersect(m_2, a_3) → K_2
121. Intersect(a_3, n_2) → L_2
122. Intersect(n_2, b_3) → M_2
123. Segment(F_2, G_2) → c_3
124. Segment(G_2, H_2) → d_3
125. Segment(H_2, I_2) → e_3
126. Segment(I_2, F_2) → f_3
127. Segment(F_2, J_2) → g_3
128. Segment(I_2, K_2) → h_3
129. Segment(L_2, H_2) → i_3
130. Segment(G_2, M_2) → j_3
131. Segment(M_2, L_2) → k_3
132. Segment(L_2, K_2) → l_3
133. Segment(K_2, J_2) → m_3
134. Segment(J_2, M_2) → n_3
135. Segment(T_1, S_1) → p_3
136. Dilate(I_1, enx, O) → N_2
137. Dilate(I_1, tox, O) → O_2
138. Dilate(I_1, trex, O) → P_2
139. Dilate(I_1, fix, O) → Q_2
140. Dilate(I_1, fex, O) → R_2
141. Dilate(I_1, enxm, O) → S_2
142. Dilate(I_1, six, O) → T_2
143. Dilate(I_1, sevx, O) → U_2
144. Dilate(I_1, eix, O) → V_2
145. Dilate(I_1, nix, O) → W_2
146. Dilate(I_1, tex, O) → Z_2
147. Dilate(I_1, toxm, O) → A_3
148. Dilate(I_1, trexm, O) → B_3
149. Dilate(I_1, fixm, O) → C_3
150. Dilate(I_1, fexm, O) → D_3
151. Dilate(I_1, sixm, O) → E_3
152. Dilate(I_1, sevxm, O) → F_3
153. Dilate(I_1, eixm, O) → G_3
154. Dilate(I_1, nixm, O) → H_3
155. Dilate(I_1, texm, O) → I_3
156. Line(Z_2, G_1) → q_3
157. Line(W_2, G_1) → r_3
158. Line(V_2, G_1) → s_3
159. Line(U_2, G_1) → t_3
160. Line(T_2, G_1) → a_4
161. Line(R_2, G_1) → b_4
162. Line(Q_2, G_1) → c_4
163. Line(P_2, G_1) → d_4
164. Line(O_2, G_1) → e_4
165. Line(N_2, G_1) → f_4
166. Line(S_2, G_1) → g_4
167. Line(A_3, G_1) → h_4
168. Line(B_3, G_1) → i_4
169. Line(C_3, G_1) → j_4
170. Line(D_3, G_1) → k_4
171. Line(E_3, G_1) → l_4
172. Line(F_3, G_1) → m_4
173. Line(G_3, G_1) → n_4
174. Line(H_3, G_1) → p_4
175. Line(I_3, G_1) → q_4
176. Intersect(q_2, q_4) → J_3
177. Intersect(q_2, p_4) → K_3
178. Intersect(q_2, n_4) → L_3
179. Intersect(q_2, m_4) → M_3
180. Intersect(q_2, l_4) → N_3
181. Intersect(q_2, k_4) → O_3
182. Intersect(q_2, j_4) → P_3
183. Intersect(q_2, i_4) → Q_3
184. Intersect(q_2, h_4) → R_3
185. Intersect(q_2, g_4) → S_3
186. Intersect(q_2, f_4) → T_3
187. Intersect(q_2, e_4) → U_3
188. Intersect(q_2, d_4) → V_3
189. Intersect(q_2, c_4) → W_3
190. Intersect(q_2, b_4) → Z_3
191. Intersect(q_2, a_4) → A_4
192. Intersect(q_2, t_3) → B_4
193. Intersect(q_2, s_3) → C_4
194. Intersect(q_2, r_3) → D_4
195. Intersect(q_2, q_3) → E_4
196. Intersect(o_1, q_3) → F_4
197. Intersect(o_1, r_3) → G_4
198. Intersect(o_1, s_3) → H_4
199. Intersect(o_1, t_3) → I_4
200. Intersect(o_1, a_4) → J_4
201. Intersect(o_1, b_4) → K_4
202. Intersect(o_1, c_4) → L_4
203. Intersect(o_1, d_4) → M_4
204. Intersect(o_1, e_4) → N_4
205. Intersect(o_1, f_4) → O_4
206. Intersect(o_1, g_4) → P_4
207. Intersect(o_1, h_4) → Q_4
208. Intersect(o_1, i_4) → R_4
209. Intersect(o_1, j_4) → S_4
210. Intersect(o_1, k_4) → T_4
211. Intersect(o_1, m_4) → W_4
212. Intersect(o_1, n_4) → Z_4
213. Intersect(o_1, p_4) → A_5
214. Intersect(o_1, q_4) → B_5
215. Segment(B_5, J_3) → r_4
216. Segment(A_5, K_3) → s_4
217. Segment(Z_4, L_3) → t_4
218. Segment(W_4, M_3) → a_5
219. Segment(T_4, O_3) → c_5
220. Segment(S_4, P_3) → d_5
221. Segment(R_4, Q_3) → e_5
222. Segment(Q_4, R_3) → f_5
223. Segment(P_4, S_3) → g_5
224. Segment(O_4, T_3) → h_5
225. Segment(N_4, U_3) → i_5
226. Segment(M_4, V_3) → j_5
227. Segment(L_4, W_3) → k_5
228. Segment(K_4, Z_3) → l_5
229. Segment(J_4, A_4) → m_5
230. Segment(I_4, B_4) → n_5
231. Segment(H_4, C_4) → p_5
232. Segment(G_4, D_4) → q_5
233. Segment(F_4, E_4) → r_5
234. Dilate(M_1, eny, O) → C_5
235. Dilate(M_1, toy, O) → D_5
236. Dilate(M_1, trey, O) → E_5
237. Dilate(M_1, firy, O) → F_5
238. Dilate(M_1, femy, O) → G_5
239. Dilate(M_1, sixy, O) → H_5
240. Dilate(M_1, sevy, O) → I_5
241. Dilate(M_1, eiy, O) → J_5
242. Dilate(M_1, niy, O) → K_5
243. Dilate(M_1, tey, O) → L_5
244. Dilate(M_1, toym, O) → M_5
245. Dilate(M_1, enym, O) → N_5
246. Dilate(M_1, treym, O) → O_5
247. Dilate(M_1, firym, O) → P_5
248. Dilate(M_1, sixym, O) → Q_5
249. Dilate(M_1, femym, O) → R_5
250. Dilate(M_1, sevym, O) → S_5
251. Dilate(M_1, eiym, O) → T_5
252. Dilate(M_1, niym, O) → U_5
253. Dilate(M_1, teym, O) → V_5
254. Line(V_5, F_1) → s_5
255. Line(U_5, F_1) → t_5
256. Line(T_5, F_1) → a_6
257. Line(S_5, F_1) → b_6
258. Line(Q_5, F_1) → c_6
259. Line(R_5, F_1) → d_6
260. Line(P_5, F_1) → e_6
261. Line(O_5, F_1) → f_6
262. Line(M_5, F_1) → g_6
263. Line(N_5, F_1) → h_6
264. Line(C_5, F_1) → i_6
265. Line(D_5, F_1) → j_6
266. Line(E_5, F_1) → k_6
267. Line(F_5, F_1) → l_6
268. Line(G_5, F_1) → m_6
269. Line(H_5, F_1) → n_6
270. Line(I_5, F_1) → p_6
271. Line(J_5, F_1) → q_6
272. Line(K_5, F_1) → r_6
273. Line(L_5, F_1) → s_6
274. Intersect(p_2, s_5) → W_5
275. Intersect(p_2, t_5) → Z_5
276. Intersect(p_2, a_6) → A_6
277. Intersect(p_2, b_6) → B_6
278. Intersect(p_2, c_6) → C_6
279. Intersect(p_2, d_6) → D_6
280. Intersect(p_2, e_6) → E_6
281. Intersect(p_2, f_6) → F_6
282. Intersect(p_2, g_6) → G_6
283. Intersect(p_2, h_6) → H_6
284. Intersect(p_2, i_6) → I_6
285. Intersect(p_2, j_6) → J_6
286. Intersect(p_2, k_6) → K_6
287. Intersect(p_2, l_6) → L_6
288. Intersect(p_2, m_6) → M_6
289. Intersect(p_2, n_6) → N_6
290. Intersect(p_2, p_6) → O_6
291. Intersect(p_2, q_6) → P_6
292. Intersect(p_2, r_6) → Q_6
293. Intersect(p_2, s_6) → R_6
294. Intersect(r_2, s_6) → S_6
295. Intersect(r_2, r_6) → T_6
296. Intersect(r_2, q_6) → U_6
297. Intersect(r_2, p_6) → V_6
298. Intersect(r_2, n_6) → W_6
299. Intersect(r_2, m_6) → Z_6
300. Intersect(r_2, l_6) → A_7
301. Intersect(r_2, k_6) → B_7
302. Intersect(r_2, j_6) → C_7
303. Intersect(r_2, i_6) → D_7
304. Intersect(r_2, h_6) → E_7
305. Intersect(r_2, g_6) → F_7
306. Intersect(r_2, f_6) → G_7
307. Intersect(r_2, e_6) → H_7
308. Intersect(r_2, d_6) → I_7
309. Intersect(r_2, c_6) → J_7
310. Intersect(r_2, b_6) → K_7
311. Intersect(r_2, a_6) → L_7
312. Intersect(r_2, t_5) → M_7
313. Intersect(r_2, s_5) → N_7
314. Segment(N_7, W_5) → t_6
315. Segment(M_7, Z_5) → a_7
316. Segment(L_7, A_6) → b_7
317. Segment(K_7, B_6) → c_7
318. Segment(J_7, C_6) → d_7
319. Segment(I_7, D_6) → e_7
320. Segment(H_7, E_6) → f_7
321. Segment(G_7, F_6) → g_7
322. Segment(F_7, G_6) → h_7
323. Segment(E_7, H_6) → i_7
324. Segment(D_7, I_6) → j_7
325. Segment(C_7, J_6) → k_7
326. Segment(B_7, K_6) → l_7
327. Segment(A_7, L_6) → m_7
328. Segment(Z_6, M_6) → n_7
329. Segment(W_6, N_6) → p_7
330. Segment(V_6, O_6) → q_7
331. Segment(U_6, P_6) → r_7
332. Segment(T_6, Q_6) → s_7
333. Segment(S_6, R_6) → t_7
334. Intersect(o_1, l_4) → U_4
335. Intersect(q_2, l_4) → V_4
336. Segment(U_4, V_4) → b_5
337. Dilate(S_1, enz, O) → O_7
338. Vector(O, N_2) → z
339. Vector(O, C_5) → u_1
340. Vector(O, O_7) → v_1
341. Textfield(x1) → inputBox1
342. Dilate(I_1, xx1, O) → A
343. Textfield(y1) → inputBox2
344. Dilate(M_1, yy1, O) → B
345. Textfield(z1) → inputBox3
346. Dilate(S_1, zz1, O) → C
347. Line(H_1, A) → a_8
348. Line(H_1, B) → b_8
349. Line(C, G_1) → c_8
350. Line(A, G_1) → d_8
351. Line(C, F_1) → e_8
352. Line(B, F_1) → f_8
353. Intersect(b_8, c_8) → P_7
354. Intersect(a_8, e_8) → Q_7
355. Line(P_7, F_1) → g_8
356. Line(Q_7, G_1) → h_8
357. Intersect(g_8, h_8) → P1
358. Intersect(f_8, d_8) → S_7
359. Segment(A, S_7) → i_8
360. Segment(S_7, B) → j_8
361. Segment(S_7, P1) → k_8
362. Segment(P1, C) → l_8
363. Dilate(I_1, xx2, O) → R_7
364. Dilate(M_1, yy2, O) → T_7
365. Dilate(S_1, zz2, O) → U_7
366. Textfield(x2) → inputBox4
367. Textfield(y2) → inputBox5
368. Textfield(z2) → inputBox6
369. Line(H_1, R_7) → m_8
370. Line(H_1, T_7) → n_8
371. Line(U_7, G_1) → p_8
372. Line(R_7, G_1) → q_8
373. Line(U_7, F_1) → r_8
374. Line(T_7, F_1) → s_8
375. Intersect(n_8, p_8) → V_7
376. Intersect(m_8, r_8) → W_7
377. Line(V_7, F_1) → t_8
378. Line(W_7, G_1) → a_9
379. Intersect(t_8, a_9) → P2
380. Intersect(s_8, q_8) → A_8
381. Segment(R_7, A_8) → b_9
382. Segment(A_8, T_7) → c_9
383. Segment(A_8, P2) → d_9
384. Segment(P2, U_7) → e_9
385. Dilate(I_1, xx3, O) → Z_7
386. Dilate(M_1, yy3, O) → B_8
387. Dilate(S_1, zz3, O) → C_8
388. Textfield(x3) → inputBox7
389. Textfield(y3) → inputBox8
390. Textfield(z3) → inputBox9
391. Line(H_1, Z_7) → f_9
392. Line(H_1, B_8) → g_9
393. Line(B_8, F_1) → h_9
394. Line(C_8, F_1) → i_9
395. Line(C_8, G_1) → j_9
396. Line(Z_7, G_1) → k_9
397. Intersect(f_9, i_9) → D_8
398. Intersect(g_9, j_9) → E_8
399. Line(D_8, G_1) → l_9
400. Line(E_8, F_1) → m_9
401. Intersect(l_9, m_9) → P3
402. Intersect(k_9, h_9) → G_8
403. Segment(G_8, B_8) → n_9
404. Segment(G_8, Z_7) → p_9
405. Segment(G_8, P3) → q_9
406. Segment(P3, C_8) → r_9
407. Segment(P1, P2) → s_9
408. Segment(P1, P3) → t_9
409. Segment(P3, P2) → a_{10}
410. Dilate(I_1, xx4, O) → F_8
411. Dilate(M_1, yy4, O) → H_8
412. Dilate(S_1, zz4, O) → I_8
413. Textfield(x4) → inputBox10
414. Textfield(y4) → inputBox11
415. Textfield(z4) → inputBox12
416. Line(H_1, F_8) → b_{10}
417. Line(H_1, H_8) → c_{10}
418. Line(F_8, G_1) → d_{10}
419. Line(I_8, G_1) → e_{10}
420. Line(I_8, F_1) → f_{10}
421. Line(H_8, F_1) → g_{10}
422. Intersect(b_{10}, f_{10}) → J_8
423. Intersect(c_{10}, e_{10}) → K_8
424. Line(K_8, F_1) → h_{10}
425. Line(J_8, G_1) → i_{10}
426. Intersect(h_{10}, i_{10}) → P4
427. Intersect(g_{10}, d_{10}) → M_8
428. Segment(M_8, H_8) → j_{10}
429. Segment(M_8, F_8) → k_{10}
430. Segment(M_8, P4) → l_{10}
431. Segment(P4, I_8) → m_{10}
432. Segment(P1, P4) → n_{10}
433. Segment(P3, P4) → p_{10}
434. Segment(P2, P4) → q_{10}
435. Dilate(I_1, xx5, O) → L_8
436. Dilate(M_1, yy5, O) → N_8
437. Dilate(S_1, zz5, O) → O_8
438. Line(H_1, L_8) → r_{10}
439. Line(H_1, N_8) → s_{10}
440. Line(L_8, G_1) → t_{10}
441. Line(O_8, G_1) → a_{11}
442. Line(O_8, F_1) → b_{11}
443. Line(N_8, F_1) → c_{11}
444. Intersect(r_{10}, b_{11}) → P_8
445. Intersect(s_{10}, a_{11}) → Q_8
446. Line(Q_8, F_1) → d_{11}
447. Line(P_8, G_1) → e_{11}
448. Intersect(d_{11}, e_{11}) → P5
449. Intersect(c_{11}, t_{10}) → S_8
450. Segment(L_8, S_8) → f_{11}
451. Segment(S_8, N_8) → g_{11}
452. Segment(S_8, P5) → h_{11}
453. Segment(P5, O_8) → i_{11}
454. Textfield(x5) → inputBox13
455. Textfield(y5) → inputBox14
456. Textfield(z5) → inputBox15
457. Segment(P1, P5) → j_{11}
458. Segment(P2, P5) → k_{11}
459. Segment(P3, P5) → l_{11}
460. Segment(P4, P5) → m_{11}
461. Polygon(P1, P2, P5) → poly3, p5, p1_2, p2_2
462. Polygon(P1, P3, P4) → poly4, p4_1, p1_3, p3_1
463. Polygon(P1, P3, P5) → poly5, p5_1, p1_4, p3_2
464. Polygon(P1, P4, P5) → poly6, p5_2, p1_5, p4_2
465. Polygon(P2, P3, P4) → poly7, p4_3, p2_3, p3_3
466. Polygon(P2, P3, P5) → poly8, p5_3, p2_4, p3_4
467. Polygon(P2, P4, P5) → poly9, p5_4, p2_5, p4_4
468. Polygon(P3, P4, P5) → poly10, p5_5, p3_5, p4_5
469. Dilate(I_1, lex1, O) → L
470. Dilate(M_1, ley1, O) → R_8
471. Dilate(S_1, lez1, O) → T_8
472. Line(H_1, R_8) → n_{11}
473. Line(H_1, L) → p_{11}
474. Line(L, G_1) → q_{11}
475. Line(T_8, G_1) → r_{11}
476. Line(T_8, F_1) → s_{11}
477. Line(R_8, F_1) → t_{11}
478. Intersect(n_{11}, r_{11}) → U_8
479. Intersect(p_{11}, s_{11}) → V_8
480. Line(U_8, F_1) → a_{12}
481. Line(V_8, G_1) → b_{12}
482. Intersect(a_{12}, b_{12}) → W_8
483. Intersect(t_{11}, q_{11}) → Z_8
484. Segment(R_8, Z_8) → c_{12}
485. Segment(Z_8, L) → d_{12}
486. Segment(Z_8, W_8) → e_{12}
487. Segment(W_8, T_8) → g_{12}
488. Dilate(I_1, lex2, O) → A_9
489. Dilate(M_1, ley2, O) → B_9
490. Dilate(S_1, lez2, O) → C_9
491. Line(H_1, B_9) → h_{12}
492. Line(H_1, A_9) → i_{12}
493. Line(C_9, G_1) → j_{12}
494. Line(A_9, G_1) → k_{12}
495. Line(C_9, F_1) → l_{12}
496. Line(B_9, F_1) → m_{12}
497. Intersect(h_{12}, j_{12}) → D_9
498. Intersect(i_{12}, l_{12}) → E_9
499. Line(D_9, F_1) → n_{12}
500. Line(E_9, G_1) → p_{12}
501. Intersect(n_{12}, p_{12}) → F_9
502. Intersect(k_{12}, m_{12}) → G_9
503. Segment(G_9, B_9) → q_{12}
504. Segment(G_9, A_9) → r_{12}
505. Segment(G_9, F_9) → s_{12}
506. Segment(F_9, C_9) → t_{12}
507. Segment(P1, F_9) → a_{13}
508. Segment(P2, W_8) → b_{13}
509. Dilate(I_1, nx11, O) → H_9
510. Dilate(M_1, ny11, O) → I_9
511. Dilate(S_1, nz11, O) → J_9
512. Line(H_1, I_9) → c_{13}
513. Line(H_1, H_9) → d_{13}
514. Line(I_9, F_1) → e_{13}
515. Line(J_9, F_1) → f_{13}
516. Line(J_9, G_1) → g_{13}
517. Line(H_9, G_1) → h_{13}
518. Intersect(c_{13}, g_{13}) → K_9
519. Intersect(d_{13}, f_{13}) → L_9
520. Line(L_9, G_1) → i_{13}
521. Line(K_9, F_1) → j_{13}
522. Intersect(i_{13}, j_{13}) → M_9
523. Vector(P1, M_9) → w_6
524. Dilate(I_1, nx22, O) → N_9
525. Dilate(M_1, ny22, O) → O_9
526. Dilate(S_1, nz22, O) → P_9
527. Line(H_1, N_9) → k_{13}
528. Line(H_1, O_9) → l_{13}
529. Line(P_9, G_1) → m_{13}
530. Line(N_9, G_1) → n_{13}
531. Line(P_9, F_1) → p_{13}
532. Line(O_9, F_1) → q_{13}
533. Intersect(k_{13}, p_{13}) → Q_9
534. Intersect(l_{13}, m_{13}) → R_9
535. Line(R_9, F_1) → r_{13}
536. Line(Q_9, G_1) → s_{13}
537. Intersect(r_{13}, s_{13}) → S_9
538. Vector(P1, S_9) → u_7
539. Dilate(I_1, shp3x, O) → T_9
540. Dilate(M_1, shp3y, O) → U_9
541. Dilate(S_1, shp3z, O) → V_9
542. Line(H_1, U_9) → t_{13}
543. Line(H_1, T_9) → a_{14}
544. Line(V_9, G_1) → b_{14}
545. Line(T_9, G_1) → c_{14}
546. Line(V_9, F_1) → d_{14}
547. Line(U_9, F_1) → e_{14}
548. Intersect(t_{13}, b_{14}) → W_9
549. Intersect(a_{14}, d_{14}) → Z_9
550. Line(W_9, F_1) → f_{14}
551. Line(Z_9, G_1) → g_{14}
552. Intersect(f_{14}, g_{14}) → A_{10}
553. Dilate(I_1, shp4x, O) → B_{10}
554. Dilate(M_1, shp4y, O) → C_{10}
555. Dilate(S_1, shp4z, O) → D_{10}
556. Line(H_1, B_{10}) → h_{14}
557. Line(H_1, C_{10}) → i_{14}
558. Line(D_{10}, G_1) → j_{14}
559. Line(B_{10}, G_1) → k_{14}
560. Line(D_{10}, F_1) → l_{14}
561. Line(C_{10}, F_1) → m_{14}
562. Intersect(h_{14}, l_{14}) → E_{10}
563. Intersect(i_{14}, j_{14}) → F_{10}
564. Line(F_{10}, F_1) → n_{14}
565. Line(E_{10}, G_1) → p_{14}
566. Intersect(n_{14}, p_{14}) → G_{10}
567. Dilate(I_1, shp3x1, O) → H_{10}
568. Dilate(M_1, shp3y1, O) → I_{10}
569. Dilate(S_1, shp3z1, O) → J_{10}
570. Line(H_1, H_{10}) → q_{14}
571. Line(H_1, I_{10}) → r_{14}
572. Line(C, G_1) → s_{14}
573. Line(H_{10}, G_1) → t_{14}
574. Line(C, F_1) → a_{15}
575. Line(I_{10}, F_1) → b_{15}
576. Intersect(q_{14}, a_{15}) → K_{10}
577. Intersect(r_{14}, s_{14}) → L_{10}
578. Line(L_{10}, F_1) → c_{15}
579. Line(K_{10}, G_1) → d_{15}
580. Dilate(I_1, shp3x2, O) → N_{10}
581. Dilate(M_1, shp3y2, O) → O_{10}
582. Dilate(S_1, shp3z2, O) → P_{10}
583. Line(H_1, O_{10}) → e_{15}
584. Line(H_1, N_{10}) → f_{15}
585. Line(P_{10}, G_1) → g_{15}
586. Line(N_{10}, G_1) → h_{15}
587. Line(P_{10}, F_1) → i_{15}
588. Line(O_{10}, F_1) → j_{15}
589. Intersect(e_{15}, g_{15}) → Q_{10}
590. Intersect(f_{15}, i_{15}) → R_{10}
591. Line(Q_{10}, F_1) → k_{15}
592. Line(R_{10}, G_1) → l_{15}
593. Intersect(k_{15}, l_{15}) → S_{10}
594. Dilate(I_1, shp3x1, O) → M_{10}
595. Dilate(M_1, shp3y1, O) → T_{10}
596. Dilate(S_1, shp3z1, O) → U_{10}
597. Line(H_1, M_{10}) → m_{15}
598. Line(H_1, T_{10}) → n_{15}
599. Line(M_{10}, G_1) → p_{15}
600. Line(U_{10}, G_1) → q_{15}
601. Line(T_{10}, F_1) → r_{15}
602. Line(U_{10}, F_1) → s_{15}
603. Intersect(m_{15}, s_{15}) → V_{10}
604. Intersect(n_{15}, q_{15}) → W_{10}
605. Line(W_{10}, F_1) → t_{15}
606. Line(V_{10}, G_1) → a_{16}
607. Intersect(t_{15}, a_{16}) → Z_{10}
608. Dilate(I_1, shp3x3, O) → A_{11}
609. Dilate(M_1, shp3y3, O) → B_{11}
610. Dilate(S_1, shp3z3, O) → C_{11}
611. Line(H_1, A_{11}) → b_{16}
612. Line(H_1, B_{11}) → c_{16}
613. Line(C_{11}, G_1) → d_{16}
614. Line(A_{11}, G_1) → e_{16}
615. Line(C_{11}, F_1) → f_{16}
616. Line(B_{11}, F_1) → g_{16}
617. Intersect(c_{16}, d_{16}) → D_{11}
618. Intersect(b_{16}, f_{16}) → E_{11}
619. Line(D_{11}, F_1) → h_{16}
620. Line(E_{11}, G_1) → i_{16}
621. Intersect(h_{16}, i_{16}) → F_{11}
622. Polygon(A_{10}, S_{10}, F_{11}, Z_{10}) → poly11, a_{17}, s_{16}, f_{17}, z_{10}
623. Dilate(I_1, shp4x1, O) → G_{11}
624. Dilate(M_1, shp4y1, O) → H_{11}
625. Dilate(S_1, shp4z1, O) → I_{11}
626. Line(H_1, G_{11}) → j_{16}
627. Line(H_1, H_{11}) → k_{16}
628. Line(I_{11}, G_1) → l_{16}
629. Line(G_{11}, G_1) → m_{16}
630. Line(I_{11}, F_1) → n_{16}
631. Line(H_{11}, F_1) → p_{16}
632. Intersect(j_{16}, n_{16}) → J_{11}
633. Intersect(k_{16}, l_{16}) → K_{11}
634. Line(K_{11}, F_1) → q_{16}
635. Line(J_{11}, G_1) → r_{16}
636. Intersect(q_{16}, r_{16}) → L_{11}
637. Dilate(I_1, shp4x2, O) → M_{11}
638. Dilate(M_1, shp4y2, O) → N_{11}
639. Dilate(S_1, shp4z2, O) → O_{11}
640. Line(H_1, M_{11}) → t_{16}
641. Line(H_1, N_{11}) → b_{17}
642. Line(O_{11}, G_1) → c_{17}
643. Line(M_{11}, G_1) → d_{17}
644. Line(O_{11}, F_1) → e_{17}
645. Line(N_{11}, F_1) → g_{17}
646. Intersect(b_{17}, c_{17}) → P_{11}
647. Intersect(t_{16}, e_{17}) → Q_{11}
648. Line(P_{11}, F_1) → h_{17}
649. Line(Q_{11}, G_1) → i_{17}
650. Intersect(h_{17}, i_{17}) → R_{11}
651. Dilate(I_1, shp4x4, O) → S_{11}
652. Dilate(M_1, shp4y4, O) → T_{11}
653. Dilate(S_1, shp4z4, O) → U_{11}
654. Line(H_1, T_{11}) → j_{17}
655. Line(H_1, S_{11}) → k_{17}
656. Line(S_{11}, G_1) → l_{17}
657. Line(U_{11}, G_1) → m_{17}
658. Line(U_{11}, F_1) → n_{17}
659. Line(T_{11}, F_1) → p_{17}
660. Intersect(j_{17}, m_{17}) → V_{11}
661. Intersect(k_{17}, n_{17}) → W_{11}
662. Line(V_{11}, F_1) → q_{17}
663. Line(W_{11}, G_1) → r_{17}
664. Intersect(q_{17}, r_{17}) → Z_{11}
665. Polygon(Z_{11}, L_{11}, G_{10}, R_{11}) → poly1, z_{11}, l_{18}, g_{18}, r_{18}
666. Polygon(P1, P2, P3) → poly2, p3, p1, p2
667. Polygon(P1, P4, P2) → poly12, p2_1, p1_1, p4