阿基米德球体体积公式推导

GeoGebra 命令及参数

1. Circle(A, 3) → c
2. Point(c) → B
3. Line(A, B) → a
4. OrthogonalLine(A, a) → b
5. Point(Circle[A, h]) → C
6. Segment(A, C) → d
7. OrthogonalLine(C, d) → e
8. Intersect(c, e, 2) → D
9. Intersect(c, e, 1) → E
10. Intersect(c, b, 1) → F
11. OrthogonalLine(F, b) → f
12. Point(f) → G
13. Point(Circle[G, 6]) → H
14. Segment(G, H) → g
15. Intersect(c, b, 2) → I
16. OrthogonalLine(I, b) → i
17. OrthogonalLine(G, g) → j
18. OrthogonalLine(H, g) → k
19. Intersect(i, j) → J
20. Intersect(i, k) → K
21. Point(f) → L
22. Point(Circle[L, 6]) → M
23. Segment(L, M) → l
24. Midpoint(l) → N
25. OrthogonalLine(N, l) → m
26. OrthogonalLine(L, l) → n
27. OrthogonalLine(M, l) → p
28. Intersect(i, n) → O
29. Intersect(i, p) → P
30. Intersect(a, m) → Q
31. Polygon(G, H, K, J) → poly1, g_1, h_1, k_1, j_1
32. Polygon(L, M, O, P) → poly2, l_1, m_1, o, p_1
33. Intersect(e, j_1) → R
34. Intersect(e, h_1) → S
35. Intersect(e, p_1) → T
36. Intersect(e, m_1) → U
37. Segment(R, S) → q
38. Segment(T, U) → r
39. Segment(D, E) → s
40. Point(c) → V
41. Segment(A, V) → t
42. Intersect(a, j_1) → W
43. Intersect(a, h_1) → Z
44. Segment(W, Z) → a_1
45. Midpoint(a_1) → A_1
46. OrthogonalLine(A_1, a_1) → b_1
47. Intersect(b_1, q) → B_1
48. OrthogonalLine(Q, a) → c_1
49. Intersect(c_1, r) → C_1
50. Segment(A_1, B_1) → d_1
51. Segment(Q, C_1) → e_1