棱锥体积 by chris cambré

GeoGebra 命令及参数

1. Point(xAxis) → A
2. Point(yAxis) → B
3. Point(Circle[B, Distance[A, B], Segment[A, B]]) → C
4. 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
5. Circle(edgeAB, F) → c
6. Point(c) → N
7. Intersect(xOyPlane, c) → L, M
8. CircumcircleArc(F, N, M) → h
9. Midpoint(D, F) → I
10. Pyramid(faceABCD, I) → b, faceADI, faceABI_1, faceBCI, faceCDI, edgeDI, edgeAI_1, edgeBI_1, edgeCI
11. Point(h) → J
12. Angle(F, B, J) → α
13. Pyramid(faceABFE, I) → d, faceABI, faceAEI, faceEFI, faceBFI, edgeBI, edgeAI, edgeEI, edgeFI
14. Rotate(d, α, edgeAB) → d'
15. Rotate(d', 90°, zAxis) → d''
16. Rotate(d'', 90°, zAxis) → d'''
17. Rotate(d''', 90°, zAxis) → e
18. Line(B, J) → f
19. Midpoint(B, J) → K
20. OrthogonalPlane(K, f) → g
21. Mirror(b, g) → b'