棱锥的体积 by KruPongsak Wuttisant _TH

GeoGebra 命令及参数

1. Polygon(A, B, C, D) → q1, a, b, c, d
2. Prism(q1, 6) → e, E, edgeAE, edgeBF, edgeCG, edgeDH, edgeEF, edgeFG, edgeGH, edgeEH, F, G, H, faceABFE, faceBCGF, faceCDHG, faceADHE, faceEFGH
3. Segment(J, I) → f
4. Point(f) → K
5. Pyramid(M, N, O, P, K) → h, faceMNOP, edgeKM, edgeKN, edgeKO, edgeKP, faceKMN, faceKNO, faceKOP, faceKMP, edgeMN, edgeNO, edgeOP, edgeMP
6. If(j < 0, 0, j / 2) → k
7. Polygon(A, B, C, D) → q2, a_1, b_1, c_1, d_1
8. Prism(q2, 4 + k) → l, Q, edgeAQ, edgeBR, edgeCS, edgeDT, edgeQR, edgeRS, edgeST, edgeQT, R, S, T, faceABRQ, faceBCSR, faceCDTS, faceADTQ, faceQRST
9. PointIn(faceKMN) → U
10. Line(U, zAxis) → m
11. Intersect(m, faceMNOP) → V
12. Segment(U, V) → n
13. Midpoint(P, N) → W
14. Segment(K, W) → p
15. Plane(A, B, C) → o
16. Line(A_1, d_1) → r
17. Line(B_1, r) → s
18. Intersect(s, edgeDH) → D_1
19. Intersect(s, edgeAE) → E_1
20. Intersect(r, edgeDT) → F_1
21. Intersect(r, edgeAQ) → G_1
22. Polygon(F_1, G_1, 4, xOyPlane) → poly1, t, f_1, g_1, h_1, H_1, I_1
23. Polygon(D_1, E_1, 4, xOyPlane) → poly2, i_1, j_1, k_1, l_1, J_1, K_1
24. Point(edgeEH) → Z
25. Point(edgeFG) → C_1
26. Segment(Z, C_1) → q
27. Point(edgeAQ) → L_1
28. Intersect(edgeBF, edgeRS) → M_1
29. Segment(L_1, M_1) → m_1