波江座ε星：多面体与圆的几何构造

GeoGebra 命令及参数

1. Polygon(A, B, 5) → poly1, f_2, g_2, h_2, i, j, C, D, E
2. Dodecahedron(poly1, true) → a, F, O, P, Q, R, S, T, faceAEIOJ, faceABFKJ, faceBCGLF, faceCDHMG, G, faceDEINH, faceINSTO, faceJKPTO, faceFKPQL, faceGLQRM, faceHMRSN, facePQRST, edgeAJ, edgeEI, edgeIO, H, edgeJO, edgeJK, edgeFK, edgeBF, edgeFL, edgeGL, edgeCG, edgeGM, edgeHM, edgeDH, I, edgeHN, edgeIN, edgeNS, edgeST, edgeOT, edgePT, edgeKP, edgePQ, edgeLQ, edgeQR, J, edgeMR, edgeRS, K, L, M, N
3. Polygon(D, E, A, B, C) → poly2, d, e, a_1, b, c
4. Midpoint(D, E) → U
5. Midpoint(D, C) → V
6. Midpoint(E, A) → W
7. Midpoint(E, I) → Z
8. Midpoint(I, O) → A_1
9. Midpoint(O, J) → B_1
10. Centroid(poly1) → C_1
11. Circle(C_1, g) → h
12. Point(h) → F_1
13. Segment(L, F_1) → k
14. Segment(G, F_1) → l
15. Segment(F, F_1) → m
16. Segment(C, F_1) → n
17. Segment(B, F_1) → f_1
18. Segment(Q, F_1) → g_1
19. Segment(R, F_1) → h_1
20. Segment(S, F_1) → i_1
21. Segment(K, F_1) → j_1
22. Segment(H, F_1) → k_1
23. Segment(D, F_1) → l_1
24. Segment(E, F_1) → m_1
25. Segment(M, F_1) → n_1
26. Segment(N, F_1) → p_1
27. Segment(O, F_1) → q_1
28. Segment(I, F_1) → r_1
29. Segment(P, F_1) → s_1
30. Segment(A, F_1) → t_1
31. Segment(J, F_1) → b_1
32. Segment(T, F_1) → f