正方体内切球的旋转

GeoGebra 命令及参数

1. Cube(A, B, C) → a, D, faceCDHG, faceEFGH, edgeAD, edgeAB, edgeBC, edgeCD, edgeAE, edgeDH, edgeEH, edgeEF, E, edgeBF, edgeFG, edgeCG, edgeGH, F, G, H, faceABCD, faceADHE, faceABFE, faceBCGF
2. PointIn(faceABFE) → K
3. DynamicCoordinates(K, round((x(K) * 10)) / 10, round((y(K) * 10)) / 10, round((z(K) * 10)) / 10) → I
4. Line(I, J) → l
5. Sphere((0, 0, 0), sqrt(12)) → b
6. Rotate(a, α, l) → a'
7. Distance(E, H) → EH
8. Midpoint(A, B) → AB
9. Midpoint(B, C) → BC
10. Midpoint(C, D) → CD
11. Midpoint(D, A) → DA
12. Midpoint(E, F) → EF
13. Midpoint(F, G) → FG
14. Midpoint(G, H) → GH
15. Midpoint(H, E) → HE
16. Midpoint(A, E) → AE
17. Midpoint(B, F) → BF
18. Midpoint(C, G) → CG
19. Midpoint(D, H) → DH
20. Intersect(l, b, 1) → P1
21. Intersect(l, b, 2) → P2