立方体的一半及其对称性

GeoGebra 命令及参数

1. Circle(O, r, xOyPlane) → c
2. Point(c) → A1
3. Rotate(A1, π / 2, O) → A2
4. Cube(A1, A2, zAxis) → a, A3, caraBCGF, caraCDHG, caraEFGH, aristaAD_1, aristaAB, aristaBC_1, aristaCD, aristaAE_1, aristaDH, aristaEH, A4, aristaEF, aristaBF, aristaFG_1, aristaCG_1, aristaGH_1, A5, A6, A7, A8, caraABCD, caraADHE, caraABFE
5. Midpoint(A8, A3) → A
6. Midpoint(A5, A2) → B0
7. Line(A5, A3) → k
8. Midpoint(A1, A7) → centro
9. Sequence(Max[0, Min[1, t - s]], s, 0, 1) → sl
10. Midpoint(A1, A7) → B
11. Midpoint(A8, A3) → C0
12. Mirror(B2, B0) → B2'
13. Mirror(B1, B0) → B1'
14. Mirror(C1, C0) → C1'
15. Mirror(C2, C0) → C2'
16. Polygon(B1, B2, C2, C1) → c1, b1, b2, c2_1, f
17. Polygon(B2, B2', C2', C2) → c2, g, b2', c2', i
18. Polygon(B2', B1', C1', C2') → c3, j, b1', c1', l
19. Vector(A2, A1) → v
20. Vector(A4, A1) → u
21. Translate(c1, u) → d1
22. Translate(c2, u) → d2
23. Translate(c3, u) → d3
24. Translate(d1, Vector[((-sl(1)) * u)]) → d1'
25. Translate(d2, Vector[((-sl(1)) * u)]) → d2'
26. Translate(d3, Vector[((-sl(1)) * u)]) → d3'
27. Polygon(A1, B1, B2, B2', B1', A5) → cu7, a1, m, n, p, q, a5
28. Polygon(A4, A1, A5, A8) → cu1, a4, s, f_1, a8
29. Polygon(A5, B1', C1', A8) → cu2, g_1, h_1, i_1, j_1
30. Polygon(A4, A8, C1', C2', C2, C1) → cu8, k_1, l_1, m_1, n_1, p_1, q_1
31. Polygon(A4, C1, B1, A1) → cu3, r_1, s_1, t_1, a_1
32. Polygon(B1, C1, C2, B2) → cu4, b_1, c_1, d_1, e_1
33. Polygon(C2, C2', B2', B2) → cu5, f_2, g_2, h_2, i_2
34. Polygon(B2', C2', C1', B1') → cu6, j_2, k_2, l_2, m_2
35. Translate(ll1, Vector[(sl(2) * v / 2)]) → ll2
36. Mirror(ll2, B) → ll3