八面体与船体

GeoGebra 命令及参数

1. Octahedron(A, B, xOyPlane) → a, C, faceBCE, faceCEF, faceDEF, edgeAC, edgeAB, edgeBC, edgeAF, edgeCF, edgeAD, edgeDF, D, edgeBD, edgeBE, edgeDE, edgeCE, edgeEF, E, F, faceABC, faceACF, faceADF, faceABD, faceBDE
2. OrthogonalPlane(D, edgeAB) → b
3. Intersect(edgeAB, b) → G
4. Mirror(C, G) → C'
5. Angle(C', G, D) → α
6. Rotate(faceACF, (t * α), edgeAC) → faceACF'
7. Circle(A, C, B) → c
8. Center(c) → H
9. OrthogonalLine(H, xOyPlane) → d
10. Rotate(faceACF', (-(120°)), d) → faceACF''
11. Rotate(F, (t * α), edgeAC) → F'
12. Circle(F', A, C) → e
13. Center(e) → I
14. OrthogonalLine(I, faceACF') → f
15. Rotate(faceABC, 120°, f) → faceABC'
16. Rotate(faceABC, (-(120°)), f) → faceABC'_1
17. Rotate(F', (-(120°)), d) → F''
18. Circle(C, B, F'') → g
19. Center(g) → J
20. OrthogonalLine(J, faceACF'') → h
21. Rotate(faceABC, 120°, h) → faceABC'_2
22. Rotate(B, (-(120°)), f) → B'
23. Circle(F', B', A) → k
24. Center(k) → K
25. OrthogonalLine(K, faceABC'_1) → i
26. Rotate(faceACF', (-(120°)), i) → faceACF''_1
27. Rotate(A, 120°, h) → A'
28. Circle(B, F'', A') → p
29. Center(p) → L
30. OrthogonalLine(L, faceABC'_2) → j
31. Rotate(faceACF'', (-(120°)), j) → faceACF'''
32. Translate(B, Vector[A, M]) → B'_1
33. Tetrahedron(M, B'_1, xOyPlane) → l, N, edgeMO, edgeNO, edge3, O, face1, faceMNO, face2, face3, edgeMN, edge1, edge2
34. Tetrahedron(O, B'_1, face3) → m, P, edgeOQ, edgePQ, edge6, Q, face4, faceOPQ, face5, face6, edgeOP_1, edge4, edge5
35. Tetrahedron(O, P, faceMNO) → n, R, edgeOS, edgeRS, edgePS, S, faceOPR, faceORS, faceOPS, facePRS, edgeOR, edgeOP, edgePR
36. OrthogonalPlane(Q, edge2) → o
37. Intersect(edge2, b) → T
38. Intersect(edge5, o) → U
39. Mirror(M, U) → M'
40. Angle(M', U, Q) → β
41. Rotate(Q, (t * β), edge5) → Q'
42. Polygon(N, B'_1, Q') → poly1, q', n_1, b'_1
43. Rotate(O, (t * β), edge5) → O'
44. Rotate(O', ((180° - α) * t), Segment[B'_1, Q']) → O''
45. Polygon(B'_1, Q', O'') → poly2, o'', b'_2, q'_1
46. Rotate(N, ((180° - α) * t), Segment[B'_1, Q']) → N'
47. Rotate(N', ((180° - α) * t), Segment[O'', Q']) → N''
48. Polygon(Q', O'', N'') → poly3, n'', q'_2, o''_1
49. Rotate(S, (t * β), edgeMN) → S'
50. Polygon(M, N, S') → poly4, s', m_1, n_2
51. Rotate(O, (t * β), edgeMN) → O'_1
52. Rotate(O'_1, ((180° - α) * t), Segment[N, S']) → V
53. Polygon(S', N, V) → poly5, v, s'_1, n_3
54. Rotate(O'_1, ((180° - α) * t), Segment[S', M]) → W
55. Polygon(M, S', W) → poly6, w, m_2, s'_2
56. Rotate(B'_1, (t * β), edgeMN) → Z
57. Rotate(Z, ((180° - α) * t), Segment[S', M]) → Z'
58. Rotate(Z', (β * t), Segment[W, M]) → Z''
59. Polygon(W, Z'', M) → poly7, m_3, w_1, z''
60. Polygon(M, B'_1, N) → poly8, n_4, m_4, b'_3