球与大圆 by Oystein

GeoGebra 命令及参数

1. Line(AA, BB) → a
2. OrthogonalLine(CC, a) → b
3. OrthogonalLine(CC, b) → c
4. Circle(CC, l_{11}) → d
5. Intersect(d, c) → D, E
6. OrthogonalLine(D, c) → g
7. OrthogonalLine(E, c) → i
8. Circle(CC, br) → e
9. Intersect(e, b) → F, G
10. OrthogonalLine(G, b) → f
11. Intersect(g, f) → I
12. Intersect(f, i) → H
13. OrthogonalLine(F, b) → h
14. Intersect(g, h) → J
15. Intersect(h, i) → K
16. Polygon(H, I, J, K) → mangekant1, h_1, i_1, j, k_{10}
17. OrthogonalLine(Rotate, h_1) → m
18. Intersect(h_1, m) → M
19. Distance(Rotate, M) → avstandLM
20. If((-π < ve) ∧ (ve < (-π) / 2) ∨ (0 < ve) ∧ (ve < π / 2), (-van * zp) / (size - zp) - 3, van * zp / (size - zp) + 3) → iz
21. Circle(O, size) → r_8
22. OrthogonalLine(O, a) → p
23. Intersect(r_8, p) → R, S_{17}
24. OrthogonalLine(S_{17}, p) → s
25. OrthogonalLine(R, p) → a_1
26. OrthogonalLine(O, p) → q
27. Intersect(r_8, q) → P_{13}, Q_{18}
28. OrthogonalLine(P_{13}, q) → t
29. Intersect(s, t) → U
30. Intersect(a_1, t) → V
31. OrthogonalLine(Rotate, k_{10}) → n
32. Intersect(k_{10}, n) → N
33. Distance(Rotate, N) → avstandLN
34. Rotate(U, ho, O) → U'
35. OrthogonalLine(U', q) → k_1
36. Intersect(q, k_1) → B_1
37. Rotate(V, ho, O) → V'
38. OrthogonalLine(V', q) → j_1
39. Intersect(q, j_1) → C_1
40. Dilate(U', l1, B_1) → U''
41. Dilate(V', l1, C_1) → V''
42. Midpoint(V'', U'') → E_1
43. Distance(O, E_1) → avstandOE1
44. If((0 < ho) ∧ (ho < π) ∧ ((-π) / 2 < ve) ∧ (ve < π / 2) ∨ (-π < ho) ∧ (ho < 0) ∧ ((-π < ve) ∧ (ve < (-π) / 2) ∨ (π / 2 < ve) ∧ (ve < π)), van * yp / (size - yp) + 3, (-van * yp) / (size - yp) - 3) → iy
45. OrthogonalLine(Q_{18}, q) → b_1
46. Intersect(a_1, b_1) → W
47. Rotate(W, ho, O) → W'
48. OrthogonalLine(W', q) → l_1
49. Intersect(l_1, q) → A_1
50. Dilate(W', l1, A_1) → W''
51. Midpoint(W'', V'') → D_1
52. Distance(O, D_1) → avstandOD1
53. If(((-π < ve) ∧ (ve < (-π) / 2) ∨ (π / 2 < ve) ∧ (ve < π)) ∧ ((-π) / 2 < ho) ∧ (ho < π / 2) ∨ ((-π) / 2 < ve) ∧ (ve < π / 2) ∧ ((-π < ho) ∧ (ho < (-π) / 2) ∨ (π / 2 < ho) ∧ (ho < π)), van * xp / (size - xp) + 3, (-van * xp) / (size - xp) - 3) → ix
54. Intersect(s, b_1) → T
55. Polygon(U, T, W, V) → mangekant2, u, t_1, w, v
56. Rotate(T, ho, O) → T'
57. Polygon(U', T', W', V') → mangekant2', u', t', w', v'
58. OrthogonalLine(T', q) → c_1
59. OrthogonalLine(W', q) → d_1
60. OrthogonalLine(V', q) → e_1
61. OrthogonalLine(U', q) → f_1
62. OrthogonalLine(T', q) → g_1
63. Intersect(g_1, q) → Z
64. Distance(Z, T') → avstandZT'
65. Distance(B_1, U') → avstandB1U'
66. Dilate(T', l1, Z) → T''
67. Polygon(T'', W'', V'', U'') → mangekant3, t'', w'', v'', u''
68. Dilate(D_1, ix, O) → F_1
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. Dilate(I_1, px, O) → A
342. Dilate(M_1, py, O) → B
343. Dilate(S_1, pz, O) → C
344. Line(H_1, A) → a_8
345. Line(H_1, B) → b_8
346. Line(A, G_1) → c_8
347. Line(C, G_1) → d_8
348. Line(B, F_1) → e_8
349. Line(C, F_1) → f_8
350. Intersect(a_8, f_8) → P_7
351. Intersect(b_8, d_8) → Q_7
352. Line(Q_7, F_1) → g_8
353. Line(P_7, G_1) → h_8
354. Intersect(g_8, h_8) → R_7
355. Locus(R_7, α) → loc1
356. Locus(R_7, β) → loc2
357. Dilate(I_1, px1, O) → S_7
358. Dilate(M_1, py1, O) → T_7
359. Line(H_1, T_7) → i_8
360. Line(H_1, S_7) → j_8
361. Line(T_7, F_1) → k_8
362. Line(S_7, G_1) → l_8
363. Intersect(i_8, d_8) → U_7
364. Intersect(j_8, f_8) → V_7
365. Line(V_7, G_1) → m_8
366. Line(U_7, F_1) → n_8
367. Intersect(n_8, m_8) → W_7
368. Locus(W_7, α) → loc3
369. Dilate(I_1, px0, O) → Z_7
370. Dilate(M_1, py0, O) → A_8
371. Line(H_1, Z_7) → p_8
372. Line(H_1, A_8) → q_8
373. Line(Z_7, G_1) → s_8
374. Line(A_8, F_1) → t_8
375. Intersect(q_8, d_8) → B_8
376. Intersect(p_8, f_8) → C_8
377. Line(B_8, F_1) → a_9
378. Line(C_8, G_1) → b_9
379. Intersect(b_9, a_9) → D_8
380. Locus(D_8, α) → loc4
381. Dilate(I_1, px2, O) → E_8
382. Dilate(M_1, py2, O) → F_8
383. Line(H_1, F_8) → c_9
384. Line(H_1, E_8) → d_9
385. Intersect(c_9, d_8) → G_8
386. Intersect(f_8, d_9) → H_8
387. Line(G_8, F_1) → e_9
388. Line(H_8, G_1) → f_9
389. Intersect(f_9, e_9) → I_8
390. Locus(I_8, α) → loc5
391. Dilate(I_1, px3, O) → J_8
392. Dilate(M_1, py3, O) → K_8
393. Line(H_1, K_8) → g_9
394. Line(H_1, J_8) → h_9
395. Intersect(h_9, f_8) → L_8
396. Intersect(g_9, d_8) → M_8
397. Line(L_8, G_1) → i_9
398. Line(M_8, F_1) → j_9
399. Intersect(i_9, j_9) → N_8
400. Locus(N_8, α) → loc6
401. Dilate(I_1, px4, O) → O_8
402. Dilate(M_1, py4, O) → P_8
403. Line(H_1, P_8) → k_9
404. Line(H_1, O_8) → l_9
405. Intersect(k_9, d_8) → Q_8
406. Intersect(l_9, f_8) → R_8
407. Line(Q_8, F_1) → m_9
408. Line(R_8, G_1) → n_9
409. Intersect(n_9, m_9) → S_8
410. Locus(S_8, α) → loc7
411. Dilate(I_1, px5, O) → T_8
412. Dilate(M_1, py5, O) → U_8
413. Line(H_1, U_8) → p_9
414. Line(H_1, T_8) → q_9
415. Intersect(p_9, d_8) → V_8
416. Intersect(q_9, f_8) → W_8
417. Line(V_8, F_1) → r_9
418. Line(W_8, G_1) → s_9
419. Intersect(r_9, s_9) → Z_8
420. Locus(Z_8, α) → loc8
421. Dilate(I_1, px6, O) → A_9
422. Dilate(M_1, py6, O) → B_9
423. Line(H_1, B_9) → t_9
424. Line(H_1, A_9) → a_{10}
425. Intersect(t_9, d_8) → C_9
426. Intersect(a_{10}, f_8) → D_9
427. Line(C_9, F_1) → b_{10}
428. Line(D_9, G_1) → c_{10}
429. Intersect(b_{10}, c_{10}) → E_9
430. Locus(E_9, α) → loc9
431. Dilate(I_1, px7, O) → F_9
432. Dilate(M_1, py7, O) → G_9
433. Line(H_1, G_9) → d_{10}
434. Line(H_1, F_9) → e_{10}
435. Intersect(d_{10}, d_8) → H_9
436. Intersect(e_{10}, f_8) → I_9
437. Line(H_9, F_1) → f_{10}
438. Line(I_9, G_1) → g_{10}
439. Intersect(g_{10}, f_{10}) → J_9
440. Locus(J_9, α) → loc10
441. Dilate(I_1, px8, O) → K_9
442. Dilate(M_1, py8, O) → L_9
443. Dilate(I_1, px8, O) → M_9
444. Dilate(M_1, py8, O) → N_9
445. Line(H_1, N_9) → h_{10}
446. Line(H_1, M_9) → i_{10}
447. Intersect(h_{10}, d_8) → O_9
448. Intersect(i_{10}, f_8) → P_9
449. Line(O_9, F_1) → j_{10}
450. Line(P_9, G_1) → l_{10}
451. Intersect(j_{10}, l_{10}) → Q_9
452. Locus(Q_9, α) → loc11
453. Dilate(I_1, px9, O) → R_9
454. Dilate(M_1, py9, O) → S_9
455. Line(H_1, S_9) → m_{10}
456. Line(H_1, R_9) → n_{10}
457. Intersect(m_{10}, d_8) → T_9
458. Intersect(n_{10}, f_8) → U_9
459. Line(T_9, F_1) → p_{10}
460. Line(U_9, G_1) → q_{10}
461. Intersect(p_{10}, q_{10}) → V_9
462. Locus(V_9, α) → loc12
463. Dilate(I_1, qx1, O) → W_9
464. Dilate(M_1, qy1, O) → Z_9
465. Dilate(S_1, qz1, O) → A_{10}
466. Line(H_1, Z_9) → r_{10}
467. Line(H_1, W_9) → s_{10}
468. Line(W_9, G_1) → t_{10}
469. Line(A_{10}, G_1) → a_{11}
470. Line(Z_9, F_1) → b_{11}
471. Line(A_{10}, F_1) → c_{11}
472. Intersect(s_{10}, c_{11}) → B_{10}
473. Intersect(r_{10}, a_{11}) → C_{10}
474. Line(C_{10}, F_1) → d_{11}
475. Line(B_{10}, G_1) → e_{11}
476. Intersect(d_{11}, e_{11}) → D_{10}
477. Locus(D_{10}, β) → loc13
478. Dilate(I_1, qx2, O) → E_{10}
479. Dilate(M_1, qy2, O) → F_{10}
480. Dilate(S_1, qz2, O) → G_{10}
481. Line(H_1, F_{10}) → f_{11}
482. Line(H_1, E_{10}) → g_{11}
483. Line(G_{10}, G_1) → h_{11}
484. Line(G_{10}, F_1) → i_{11}
485. Intersect(g_{11}, i_{11}) → H_{10}
486. Intersect(f_{11}, h_{11}) → I_{10}
487. Line(I_{10}, F_1) → j_{11}
488. Line(H_{10}, G_1) → k_{11}
489. Intersect(k_{11}, j_{11}) → J_{10}
490. Locus(J_{10}, β) → loc14
491. Dilate(I_1, qx3, O) → K_{10}
492. Dilate(M_1, qy3, O) → L_{10}
493. Dilate(S_1, qz3, O) → M_{10}
494. Line(H_1, K_{10}) → m_{11}
495. Line(H_1, L_{10}) → n_{11}
496. Line(M_{10}, G_1) → p_{11}
497. Line(M_{10}, F_1) → q_{11}
498. Intersect(m_{11}, q_{11}) → N_{10}
499. Intersect(n_{11}, p_{11}) → O_{10}
500. Line(O_{10}, F_1) → r_{11}
501. Line(N_{10}, G_1) → s_{11}
502. Intersect(r_{11}, s_{11}) → P_{10}
503. Locus(P_{10}, β) → loc15
504. Dilate(I_1, qx4, O) → Q_{10}
505. Dilate(M_1, qy4, O) → R_{10}
506. Dilate(S_1, qz4, O) → S_{10}
507. Line(H_1, Q_{10}) → t_{11}
508. Line(H_1, R_{10}) → a_{12}
509. Line(S_{10}, G_1) → b_{12}
510. Line(S_{10}, F_1) → c_{12}
511. Intersect(t_{11}, c_{12}) → T_{10}
512. Intersect(a_{12}, b_{12}) → U_{10}
513. Line(U_{10}, F_1) → d_{12}
514. Line(T_{10}, G_1) → e_{12}
515. Intersect(e_{12}, d_{12}) → V_{10}
516. Locus(V_{10}, β) → loc16
517. Dilate(I_1, qx5, O) → W_{10}
518. Dilate(M_1, qy5, O) → Z_{10}
519. Dilate(S_1, qz5, O) → A_{11}
520. Line(H_1, W_{10}) → f_{12}
521. Line(H_1, Z_{10}) → g_{12}
522. Line(A_{11}, G_1) → h_{12}
523. Line(A_{11}, F_1) → i_{12}
524. Intersect(g_{12}, h_{12}) → B_{11}
525. Intersect(f_{12}, i_{12}) → C_{11}
526. Line(B_{11}, F_1) → j_{12}
527. Line(C_{11}, G_1) → k_{12}
528. Intersect(j_{12}, k_{12}) → D_{11}
529. Locus(D_{11}, β) → loc17
530. Dilate(I_1, qx6, O) → E_{11}
531. Dilate(M_1, qy6, O) → F_{11}
532. Dilate(S_1, qz6, O) → G_{11}
533. Line(H_1, F_{11}) → l_{12}
534. Line(H_1, E_{11}) → m_{12}
535. Line(G_{11}, G_1) → n_{12}
536. Line(G_{11}, F_1) → p_{12}
537. Intersect(l_{12}, n_{12}) → H_{11}
538. Intersect(m_{12}, p_{12}) → I_{11}
539. Line(H_{11}, F_1) → q_{12}
540. Line(I_{11}, G_1) → r_{12}
541. Intersect(q_{12}, r_{12}) → J_{11}
542. Locus(J_{11}, β) → loc18
543. Dilate(I_1, qx7, O) → K_{11}
544. Dilate(M_1, qy7, O) → L_{11}
545. Dilate(S_1, qz7, O) → M_{11}
546. Line(H_1, L_{11}) → s_{12}
547. Line(H_1, K_{11}) → t_{12}
548. Line(M_{11}, G_1) → a_{13}
549. Line(M_{11}, F_1) → b_{13}
550. Intersect(s_{12}, a_{13}) → N_{11}
551. Intersect(t_{12}, b_{13}) → O_{11}
552. Line(N_{11}, F_1) → c_{13}
553. Line(O_{11}, G_1) → d_{13}
554. Intersect(d_{13}, c_{13}) → P_{11}
555. Locus(P_{11}, β) → loc19
556. Dilate(I_1, qx8, O) → Q_{11}
557. Dilate(M_1, qy8, O) → R_{11}
558. Dilate(S_1, qz8, O) → S_{11}
559. Line(H_1, Q_{11}) → e_{13}
560. Line(H_1, R_{11}) → f_{13}
561. Line(S_{11}, G_1) → g_{13}
562. Line(S_{11}, F_1) → h_{13}
563. Intersect(f_{13}, g_{13}) → T_{11}
564. Intersect(e_{13}, h_{13}) → U_{11}
565. Line(T_{11}, F_1) → i_{13}
566. Line(U_{11}, G_1) → j_{13}
567. Intersect(i_{13}, j_{13}) → V_{11}
568. Locus(V_{11}, β) → loc20
569. Dilate(I_1, qx9, O) → W_{11}
570. Dilate(M_1, qy9, O) → Z_{11}
571. Dilate(S_1, qz9, O) → A_{12}
572. Line(H_1, W_{11}) → k_{13}
573. Line(H_1, Z_{11}) → l_{13}
574. Line(A_{12}, G_1) → m_{13}
575. Line(A_{12}, F_1) → n_{13}
576. Intersect(l_{13}, m_{13}) → B_{12}
577. Intersect(k_{13}, n_{13}) → C_{12}
578. Line(B_{12}, F_1) → p_{13}
579. Line(C_{12}, G_1) → q_{13}
580. Intersect(p_{13}, q_{13}) → D_{12}
581. Locus(D_{12}, β) → loc21
582. Dilate(I_1, xx1, O) → E_{12}
583. Dilate(M_1, yy1, O) → F_{12}
584. Dilate(S_1, zz1, O) → G_{12}
585. Line(H_1, F_{12}) → r_{13}
586. Line(H_1, E_{12}) → s_{13}
587. Line(G_{12}, G_1) → t_{13}
588. Line(G_{12}, F_1) → a_{14}
589. Intersect(r_{13}, t_{13}) → H_{12}
590. Intersect(s_{13}, a_{14}) → I_{12}
591. Line(H_{12}, F_1) → b_{14}
592. Line(I_{12}, G_1) → c_{14}
593. Intersect(c_{14}, b_{14}) → S
594. Line(E_{12}, G_1) → d_{14}
595. Line(F_{12}, F_1) → e_{14}
596. Intersect(d_{14}, e_{14}) → K_{12}
597. Segment(F_{12}, K_{12}) → f_{14}
598. Segment(K_{12}, E_{12}) → g_{14}
599. Segment(K_{12}, S) → h_{14}
600. Segment(S, G_{12}) → i_{14}
601. Dilate(I_1, sx1, O) → L
602. Dilate(M_1, sy1, O) → L_{12}
603. Dilate(S_1, sz1, O) → M_{12}
604. Line(H_1, L_{12}) → j_{14}
605. Line(H_1, L) → k_{14}
606. Line(M_{12}, F_1) → l_{14}
607. Line(L_{12}, F_1) → m_{14}
608. Line(L, G_1) → n_{14}
609. Line(M_{12}, G_1) → p_{14}
610. Intersect(j_{14}, p_{14}) → N_{12}
611. Intersect(k_{14}, l_{14}) → O_{12}
612. Line(O_{12}, G_1) → q_{14}
613. Line(N_{12}, F_1) → r_{14}
614. Intersect(q_{14}, r_{14}) → P
615. Intersect(n_{14}, m_{14}) → Q_{12}
616. Segment(L_{12}, Q_{12}) → s_{14}
617. Segment(Q_{12}, L) → t_{14}
618. Segment(Q_{12}, P) → a_{15}
619. Segment(P, M_{12}) → b_{15}
620. Vector(O, S) → w_1
621. Vector(S, P) → z_1
622. Vector(O, P) → u_2
623. Textfield(α) → inputBox1
624. Textfield(β) → inputBox2
625. Textfield(r) → inputBox3
626. Textfield(x1) → inputBox4
627. Textfield(y1) → inputBox5
628. Textfield(z1) → inputBox6
629. Dilate(I_1, px10, O) → P_{12}
630. Dilate(M_1, py10, O) → R_{12}
631. Dilate(S_1, pz, O) → S_{12}
632. Line(H_1, R_{12}) → c_{15}
633. Line(H_1, P_{12}) → d_{15}
634. Line(M_{12}, F_1) → e_{15}
635. Line(M_{12}, G_1) → f_{15}
636. Intersect(c_{15}, f_{15}) → T_{12}
637. Intersect(d_{15}, e_{15}) → U_{12}
638. Line(U_{12}, G_1) → g_{15}
639. Line(T_{12}, F_1) → h_{15}
640. Intersect(g_{15}, h_{15}) → V_{12}
641. Locus(V_{12}, α) → loc22
642. Dilate(I_1, px11, O) → W_{12}
643. Dilate(M_1, py11, O) → Z_{12}
644. Line(H_1, Z_{12}) → i_{15}
645. Line(H_1, W_{12}) → j_{15}
646. Intersect(j_{15}, e_{15}) → A_{13}
647. Intersect(i_{15}, f_{15}) → B_{13}
648. Line(B_{13}, F_1) → k_{15}
649. Line(A_{13}, G_1) → l_{15}
650. Intersect(l_{15}, k_{15}) → C_{13}
651. Locus(C_{13}, α) → loc23
652. Dilate(I_1, px12, O) → D_{13}
653. Dilate(M_1, py12, O) → E_{13}
654. Line(H_1, E_{13}) → m_{15}
655. Line(H_1, D_{13}) → n_{15}
656. Intersect(n_{15}, e_{15}) → F_{13}
657. Intersect(m_{15}, f_{15}) → G_{13}
658. Line(G_{13}, F_1) → p_{15}
659. Line(F_{13}, G_1) → q_{15}
660. Intersect(q_{15}, p_{15}) → H_{13}
661. Locus(H_{13}, α) → loc24
662. Dilate(I_1, px13, O) → I_{13}
663. Dilate(M_1, py13, O) → J_{13}
664. Line(H_1, J_{13}) → r_{15}
665. Line(H_1, I_{13}) → s_{15}
666. Intersect(r_{15}, f_{15}) → K_{13}
667. Intersect(s_{15}, e_{15}) → L_{13}
668. Line(K_{13}, F_1) → t_{15}
669. Line(L_{13}, G_1) → a_{16}
670. Intersect(a_{16}, t_{15}) → M_{13}
671. Locus(M_{13}, α) → loc25
672. Dilate(I_1, px14, O) → N_{13}
673. Dilate(M_1, py14, O) → O_{13}
674. Line(H_1, O_{13}) → b_{16}
675. Line(H_1, N_{13}) → c_{16}
676. Intersect(b_{16}, f_{15}) → Q_{13}
677. Intersect(c_{16}, e_{15}) → R_{13}
678. Line(R_{13}, G_1) → d_{16}
679. Line(Q_{13}, F_1) → e_{16}
680. Intersect(d_{16}, e_{16}) → S_{13}
681. Locus(S_{13}, α) → loc26
682. Dilate(I_1, px15, O) → T_{13}
683. Dilate(M_1, py15, O) → U_{13}
684. Line(H_1, U_{13}) → f_{16}
685. Line(H_1, T_{13}) → g_{16}
686. Intersect(g_{16}, e_{15}) → V_{13}
687. Intersect(f_{16}, f_{15}) → W_{13}
688. Line(V_{13}, G_1) → h_{16}
689. Line(W_{13}, F_1) → i_{16}
690. Intersect(i_{16}, h_{16}) → Z_{13}
691. Locus(Z_{13}, α) → loc27
692. Dilate(I_1, px16, O) → A_{14}
693. Dilate(M_1, py16, O) → B_{14}
694. Line(H_1, B_{14}) → j_{16}
695. Line(H_1, A_{14}) → k_{16}
696. Intersect(k_{16}, e_{15}) → C_{14}
697. Intersect(j_{16}, f_{15}) → D_{14}
698. Line(D_{14}, F_1) → l_{16}
699. Line(C_{14}, G_1) → m_{16}
700. Intersect(m_{16}, l_{16}) → E_{14}
701. Locus(E_{14}, α) → loc28
702. Dilate(I_1, px17, O) → F_{14}
703. Dilate(M_1, py17, O) → G_{14}
704. Line(H_1, G_{14}) → n_{16}
705. Line(H_1, F_{14}) → p_{16}
706. Intersect(n_{16}, f_{15}) → H_{14}
707. Intersect(p_{16}, e_{15}) → I_{14}
708. Line(I_{14}, G_1) → q_{16}
709. Line(H_{14}, F_1) → r_{16}
710. Intersect(q_{16}, r_{16}) → J_{14}
711. Locus(J_{14}, α) → loc29
712. Dilate(I_1, qx10, O) → K_{14}
713. Dilate(M_1, qy10, O) → L_{14}
714. Dilate(S_1, qz10, O) → M_{14}
715. Line(H_1, L_{14}) → s_{16}
716. Line(H_1, K_{14}) → t_{16}
717. Line(M_{14}, F_1) → a_{17}
718. Line(M_{14}, G_1) → b_{17}
719. Intersect(t_{16}, a_{17}) → N_{14}
720. Intersect(s_{16}, b_{17}) → O_{14}
721. Line(N_{14}, G_1) → c_{17}
722. Line(O_{14}, F_1) → d_{17}
723. Intersect(c_{17}, d_{17}) → P_{14}
724. Locus(P_{14}, β) → loc30
725. Dilate(I_1, qx11, O) → Q_{14}
726. Dilate(M_1, qy11, O) → R_{14}
727. Dilate(S_1, qz11, O) → S_{14}
728. Line(H_1, Q_{14}) → e_{17}
729. Line(H_1, R_{14}) → f_{17}
730. Line(S_{14}, F_1) → g_{17}
731. Line(S_{14}, G_1) → h_{17}
732. Intersect(e_{17}, g_{17}) → T_{14}
733. Intersect(f_{17}, h_{17}) → U_{14}
734. Line(T_{14}, G_1) → i_{17}
735. Line(U_{14}, F_1) → j_{17}
736. Intersect(i_{17}, j_{17}) → V_{14}
737. Locus(V_{14}, β) → loc31
738. Dilate(I_1, qx12, O) → W_{14}
739. Dilate(M_1, qy12, O) → Z_{14}
740. Dilate(S_1, qz12, O) → A_{15}
741. Line(H_1, W_{14}) → k_{17}
742. Line(H_1, Z_{14}) → l_{17}
743. Line(A_{15}, F_1) → m_{17}
744. Line(A_{15}, G_1) → n_{17}
745. Intersect(l_{17}, n_{17}) → B_{15}
746. Intersect(k_{17}, m_{17}) → C_{15}
747. Line(C_{15}, G_1) → p_{17}
748. Line(B_{15}, F_1) → q_{17}
749. Intersect(p_{17}, q_{17}) → D_{15}
750. Locus(D_{15}, β) → loc32
751. Dilate(I_1, qx13, O) → E_{15}
752. Dilate(M_1, qy13, O) → F_{15}
753. Dilate(S_1, qz13, O) → G_{15}
754. Line(H_1, F_{15}) → r_{17}
755. Line(H_1, E_{15}) → s_{17}
756. Line(G_{15}, F_1) → t_{17}
757. Line(G_{15}, G_1) → a_{18}
758. Intersect(s_{17}, t_{17}) → H_{15}
759. Intersect(r_{17}, a_{18}) → I_{15}
760. Line(H_{15}, G_1) → b_{18}
761. Line(I_{15}, F_1) → c_{18}
762. Intersect(b_{18}, c_{18}) → J_{15}
763. Locus(J_{15}, β) → loc33
764. Dilate(I_1, qx14, O) → K_{15}
765. Dilate(M_1, qy14, O) → L_{15}
766. Dilate(S_1, qz14, O) → M_{15}
767. Line(H_1, K_{15}) → d_{18}
768. Line(H_1, L_{15}) → e_{18}
769. Line(M_{15}, F_1) → f_{18}
770. Line(M_{15}, G_1) → g_{18}
771. Intersect(d_{18}, f_{18}) → N_{15}
772. Intersect(e_{18}, g_{18}) → O_{15}
773. Line(N_{15}, G_1) → h_{18}
774. Line(O_{15}, F_1) → i_{18}
775. Intersect(i_{18}, h_{18}) → P_{15}
776. Locus(P_{15}, β) → loc34
777. Dilate(I_1, qx15, O) → Q_{15}
778. Dilate(M_1, qy15, O) → R_{15}
779. Dilate(S_1, qz15, O) → S_{15}
780. Line(H_1, Q_{15}) → j_{18}
781. Line(H_1, R_{15}) → k_{18}
782. Line(S_{15}, F_1) → l_{18}
783. Line(S_{15}, G_1) → m_{18}
784. Intersect(j_{18}, l_{18}) → T_{15}
785. Intersect(k_{18}, m_{18}) → U_{15}
786. Line(T_{15}, G_1) → n_{18}
787. Line(U_{15}, F_1) → p_{18}
788. Intersect(p_{18}, n_{18}) → V_{15}
789. Locus(V_{15}, β) → loc35
790. Dilate(I_1, qx16, O) → W_{15}
791. Dilate(M_1, qy16, O) → Z_{15}
792. Dilate(S_1, qz16, O) → A_{16}
793. Line(H_1, W_{15}) → q_{18}
794. Line(H_1, Z_{15}) → r_{18}
795. Line(A_{16}, F_1) → s_{18}
796. Line(A_{16}, G_1) → t_{18}
797. Intersect(q_{18}, s_{18}) → B_{16}
798. Intersect(r_{18}, t_{18}) → C_{16}
799. Line(B_{16}, G_1) → a_{19}
800. Line(C_{16}, F_1) → b_{19}
801. Intersect(a_{19}, b_{19}) → D_{16}
802. Locus(D_{16}, β) → loc36
803. Dilate(I_1, qx17, O) → E_{16}
804. Dilate(M_1, qy17, O) → F_{16}
805. Dilate(S_1, qz17, O) → G_{16}
806. Line(H_1, E_{16}) → c_{19}
807. Line(H_1, F_{16}) → d_{19}
808. Line(G_{16}, F_1) → e_{19}
809. Line(G_{16}, G_1) → f_{19}
810. Intersect(c_{19}, e_{19}) → H_{16}
811. Intersect(d_{19}, f_{19}) → I_{16}
812. Line(H_{16}, G_1) → g_{19}
813. Line(I_{16}, F_1) → h_{19}
814. Intersect(h_{19}, g_{19}) → J_{16}
815. Locus(J_{16}, β) → loc37
816. Dilate(S_1, gz1, O) → K_{16}
817. Line(K_{16}, G_1) → i_{19}
818. Line(K_{16}, F_1) → j_{19}
819. Intersect(s_{13}, j_{19}) → L_{16}
820. Intersect(r_{13}, i_{19}) → M_{16}
821. Line(M_{16}, F_1) → k_{19}
822. Line(L_{16}, G_1) → l_{19}
823. Intersect(l_{19}, k_{19}) → N_{16}
824. Dilate(S_1, gz2, O) → O_{16}
825. Line(O_{16}, G_1) → m_{19}
826. Line(O_{16}, F_1) → n_{19}
827. Intersect(s_{13}, n_{19}) → P_{16}
828. Intersect(r_{13}, mangekant1) → Q_{16}, R_{16}
829. Intersect(m_{19}, r_{13}) → S_{16}
830. Line(S_{16}, F_1) → p_{19}
831. Line(P_{16}, G_1) → q_{19}
832. Intersect(q_{19}, p_{19}) → T_{16}
833. Line(G_{12}, G_1) → r_{19}
834. Line(G_{12}, F_1) → s_{19}
835. Intersect(r_{13}, r_{19}) → U_{16}
836. Intersect(s_{13}, s_{19}) → V_{16}
837. Line(U_{16}, F_1) → t_{19}
838. Line(V_{16}, G_1) → a_{20}
839. Dilate(I_1, hx1, O) → W_{16}
840. Dilate(I_1, hx2, O) → Z_{16}
841. Line(H_1, Z_{16}) → b_{20}
842. Line(H_1, W_{16}) → c_{20}
843. Intersect(b_{20}, s_{19}) → A_{17}
844. Intersect(c_{20}, s_{19}) → B_{17}
845. Line(B_{17}, G_1) → d_{20}
846. Line(A_{17}, G_1) → e_{20}
847. Intersect(t_{19}, e_{20}) → C_{17}
848. Intersect(t_{19}, d_{20}) → D_{17}
849. Dilate(M_1, iy1, O) → E_{17}
850. Dilate(M_1, iy2, O) → F_{17}
851. Line(H_1, E_{17}) → f_{20}
852. Line(H_1, F_{17}) → g_{20}
853. Intersect(f_{20}, r_{19}) → G_{17}
854. Intersect(g_{20}, r_{19}) → H_{17}
855. Line(G_{17}, F_1) → h_{20}
856. Line(H_{17}, F_1) → i_{20}
857. Intersect(a_{20}, i_{20}) → I_{17}
858. Intersect(h_{20}, a_{20}) → J_{17}
859. Segment(N_{16}, T_{16}) → j_{20}
860. Segment(C_{17}, D_{17}) → k_{20}
861. Segment(I_{17}, J_{17}) → l_{20}
862. Locus(Q_{12}, β) → loc38
863. Dilate(I_1, sx2, O) → K_{17}
864. Dilate(M_1, sy2, O) → L_{17}
865. Dilate(S_1, sz2, O) → M_{17}
866. Line(H_1, L_{17}) → m_{20}
867. Line(H_1, K_{17}) → n_{20}
868. Line(M_{17}, G_1) → p_{20}
869. Line(K_{17}, G_1) → q_{20}
870. Line(M_{17}, F_1) → r_{20}
871. Line(L_{17}, F_1) → s_{20}
872. Intersect(n_{20}, r_{20}) → N_{17}
873. Intersect(m_{20}, p_{20}) → O_{17}
874. Line(O_{17}, F_1) → t_{20}
875. Line(N_{17}, G_1) → a_{21}
876. Intersect(a_{21}, t_{20}) → Q
877. Intersect(q_{20}, s_{20}) → Q_{17}
878. Segment(L_{17}, Q_{17}) → b_{21}
879. Segment(Q_{17}, K_{17}) → c_{21}
880. Segment(Q_{17}, Q) → d_{21}
881. Segment(Q, M_{17}) → e_{21}
882. Vector(S, Q) → v_2
883. Locus(Q, γ) → loc39
884. Locus(Q, δ) → loc40
885. Dilate(I_1, sx3, O) → J_{12}
886. Dilate(M_1, sy3, O) → P_{17}
887. Dilate(S_1, sz3, O) → R_{17}
888. Line(H_1, P_{17}) → f_{21}
889. Line(H_1, J_{12}) → g_{21}
890. Line(R_{17}, G_1) → h_{21}
891. Line(R_{17}, F_1) → i_{21}
892. Intersect(g_{21}, i_{21}) → T_{17}
893. Intersect(f_{21}, h_{21}) → U_{17}
894. Line(U_{17}, F_1) → j_{21}
895. Line(T_{17}, G_1) → k_{21}
896. Intersect(k_{21}, j_{21}) → V_{17}
897. Vector(S, V_{17}) → w_2
898. Dilate(I_1, mx1, O) → W_{17}
899. Dilate(M_1, my1, O) → Z_{17}
900. Dilate(S_1, mz1, O) → A_{18}
901. Line(H_1, Z_{17}) → l_{21}
902. Line(H_1, W_{17}) → m_{21}
903. Line(A_{18}, G_1) → n_{21}
904. Line(A_{18}, F_1) → p_{21}
905. Intersect(m_{21}, p_{21}) → B_{18}
906. Intersect(l_{21}, n_{21}) → C_{18}
907. Line(C_{18}, F_1) → q_{21}
908. Line(B_{18}, G_1) → r_{21}
909. Intersect(r_{21}, q_{21}) → D_{18}
910. Locus(D_{18}, ε) → loc41
911. Textfield(γ) → inputBox7
912. Textfield(δ) → inputBox8
913. Locus(Q_{17}, δ) → loc42
914. Angle(mangekant1) → ζ, η, θ, ι