棱柱体积探索

GeoGebra 命令及参数

1. Point(Circle[A, 2]) → B
2. Polygon(A, B, C, D) → poly1, a, b, c, d
3. Vector(E, F) → u
4. Translate(A, v) → A'
5. Translate(B, v) → B'
6. Translate(C, v) → C'
7. Translate(D, v) → D'
8. Polygon(A', B', C', D') → poly1', a', b', c', d'
9. Polygon(B', B, A, A') → poly2, b'_1, b_1, a_1, a'_1
10. Intersect(c', b') → G
11. Intersect(c, b) → H
12. Polygon(B', G, H, B) → poly3, b'_2, g, h, b_2
13. Intersect(d, c) → I
14. Intersect(d', c') → J
15. Polygon(G, H, I, J) → poly4, g_1, h_1, i, j
16. Polygon(J, I, A, A') → poly5, j_1, i_1, a_2, a'_2
17. Point(Circle[K, 4]) → L
18. Polygon(K, L, M, N) → poly6, k, l, m, n
19. Point(xAxis) → O
20. Vector(O, P) → w
21. Translate(K, z) → K'
22. Translate(L, z) → L'
23. Translate(M, z) → M'
24. Translate(N, z) → N'
25. Polygon(K', L', M', N') → poly6', k', l', m', n'
26. Polygon(L', L, K, K') → poly7, l'_1, l_1, k_1, k'_1
27. Intersect(m', l') → Q
28. Intersect(m, l) → R
29. Polygon(L', Q, R, L) → poly8, l'_2, q, r, l_2
30. Point(m') → S
31. Intersect(n, m) → T
32. Polygon(R, Q, S, T) → poly9, r_1, q_1, s, t
33. Polygon(T, R, L, K) → poly10, t_1, r_2, l_3, k_2
34. Polygon(K', S, T, K) → poly11, k'_2, s_1, t_2, k_3
35. Point(Circle[U, 4.47213595499958]) → V
36. Polygon(U, V, W) → poly12, w_1, u_1, v_1
37. Point(xAxis) → Z
38. Vector(Z, A_1) → p
39. Translate(U, z_1) → U'
40. Translate(V, z_1) → V'
41. Translate(W, z_1) → W'
42. Polygon(U', V', W') → poly12', w', u', v'
43. Intersect(v_1, u_1) → B_1
44. Intersect(v', u') → C_1
45. Polygon(U', U, B_1, C_1) → poly13, u'_1, u_2, b_3, c_1
46. Polygon(U', U, V, V') → poly14, u'_2, u_3, v_2, v'_1
47. Polygon(V', V, B_1, C_1) → poly15, v'_2, v_3, b_4, c_2
48. Polygon(R, Q, S, T) → poly16, r_3, q_2, s_2, t_3