基于祖暅原理推导球体体积

基于祖暅原理推导球体体积

1. 祖暅原理

祖暅原理指出：“幂势既同，则积不容异”。即夹在两个平行平面之间的两个几何体，若在任意等高处的水平截面积均相等，则这两个几何体的体积必定相等。

---

2. 构造几何模型

设正方体的棱长为 \(r\)。构造以下两个几何模型：

• 模型一（左图）：棱长为 \(r\) 的正方体内包含 \(\frac{1}{8}\) 个牟合方盖。在距离底面高度为 \(h\) 处作水平截面。
• 模型二（右图）：棱长为 \(r\) 的正方体内包含一个倒置的正四棱锥（底面在正方体顶面，顶点在正方体底面中心）。在同样高度 \(h\) 处作水平截面。

---

3. 截面积分析

对模型一进行分析：
截面中，紫色区域为 \(\frac{1}{8}\) 牟合方盖的截面，是一个边长为 \(a\) 的正方形。红色区域为正方体截面与牟合方盖截面的差集（即补体截面）。
由直角三角形（包含弦 \(r\)、高 \(h\) 和截面边长 \(a\)）可知，根据勾股定理有：

\[r^2 = a^2 + h^2 \]

因此，模型一中红色区域（补体）的截面积 \(S_1\) 为：

\[S_1 = r^2 - a^2 = h^2 \]

对模型二进行分析：
根据相似多边形性质，倒置正四棱锥在高度 \(h\) 处的截面是一个边长为 \(h\) 的正方形。
因此，模型二中红色区域（正四棱锥）的截面积 \(S_2\) 为：

\[S_2 = h^2 \]

---

4. 体积推导

由于 \(S_1 = S_2 = h^2\) 对于任意高度 \(h \in [0, r]\) 均成立，由祖暅原理可知：
\(\frac{1}{8}\) 牟合方盖的补体体积等于正四棱锥的体积。

正四棱锥的体积为：

\[V_{\text{锥}} = \frac{1}{3} \cdot r^2 \cdot r = \frac{1}{3}r^3 \]

因此，\(\frac{1}{8}\) 牟合方盖的体积为正方体体积减去补体体积：

\[V_{\frac{1}{8}\text{牟合}} = r^3 - \frac{1}{3}r^3 = \frac{2}{3}r^3 \]

由此可得完整的牟合方盖体积为：

\[V_{\text{牟合}} = 8 \times \frac{2}{3}r^3 = \frac{16}{3}r^3 \]

---

5. 球体体积的最终确定

考虑一个半径为 \(r\) 的内切球。在任意高度 \(h\) 处：

• 球的截面是一个半径为 \(a\) 的圆，面积为 \(\pi a^2\)；
• 牟合方盖的截面是一个边长为 \(2a\) 的正方形，面积为 \(4a^2\)。

两者在任意等高处的截面积之比恒为：

\[\frac{S_{\text{球}}}{S_{\text{牟合}}} = \frac{\pi a^2}{4a^2} = \frac{\pi}{4} \]

根据祖暅原理的推论，体积比等于截面积之比。因此，球体体积 \(V_{\text{球}}\) 为：

\[V_{\text{球}} = \frac{\pi}{4} \times V_{\text{牟合}} = \frac{\pi}{4} \times \frac{16}{3}r^3 = \frac{4}{3}\pi r^3 \]

至此，球体体积公式推导完毕。