祖暅定理（Zu Geng's Principle），又称祖暅原理，是中国古代数学史上最重要的成就之一。它指出：“幂势既同，则积不容异”。用现代数学语言表述即为：如果两个立体图形在任意等高处的截面面积都相等，那么这两个立体图形的体积也相等。
这一原理不仅解决了球体积公式的推导难题，更为后来微积分中“积分”思想的萌芽奠定了坚实的基础。它比意大利数学家卡瓦列里（Bonaventura Cavalieri）提出的“卡瓦列里原理”早了约1100年，是中国古代几何学的骄傲。
在祖暅之前，虽然《九章算术》已经给出了球的体积公式，但并没有给出严格的证明。直到南朝梁代，数学家祖冲之与其子祖暅（gèng）父子合作，才真正解决了这一难题。
祖冲之计算出圆周率π在3.1415926和3.1415927之间，并提出密率355/113。在计算球体积时，他意识到需要更精确的体积计算方法。
祖暅在父亲工作的基础上，创造性地提出了“幂势既同，则积不容异”的原理。他构造了一个著名的几何模型——“牟合方盖”，以此作为中间桥梁。
父子俩将研究成果整理入《缀术》一书。该书曾被列为国子监教材，难度极高，号称“学官莫能究其深奥”。可惜该书在宋代失传，但其核心原理通过《九章算术》注本流传至今。
19世纪末20世纪初，随着中国古籍的重新发现，国际数学史家确认了祖暅原理的优先权，将其与卡瓦列里原理并列，但承认祖暅的发现更早。
祖暅定理的核心在于构造一个合适的“参照物”。祖暅巧妙地利用了“牟合方盖”（两个等径圆柱垂直相交的公共部分）来推导球体积。以下是详细的逻辑推导步骤：
设想一个边长为2r的正方体。在其中内切两个直径为2r的圆柱，一个圆柱轴线沿x轴，另一个沿y轴。这两个圆柱的公共部分即为“牟合方盖”。
同时，我们考虑一个棱长为2r的正方体，从中挖去两个底面为正方形、顶点在中心的四棱锥（即“阳马”和“鳖臑”的组合变体）。祖暅的关键在于比较“牟合方盖”的八分之一（第一卦限部分）与一个特定的几何体。
在高度为h处，其截面是一个正方形。设圆柱半径为r，则正方形边长为√(r²-h²)。
考虑一个棱长为r的正方体，挖去一个以正方体上底面为中心、下底面为底的四棱锥。
根据祖暅原理，我们需要证明在任意高度h处，两个几何体的截面面积相等。
结论： S₁ = S₂。即在任意高度h，牟合方盖的截面面积等于“正方体挖去四棱锥”后的截面面积。
既然截面面积处处相等，根据祖暅原理，体积也相等。
1. 计算参照体体积： 棱长为r的正方体体积为 r³。四棱锥体积为 (1/3)r³。所以，参照体（第一卦限的牟合方盖等效体积）为：
V_ref = r³ - (1/3)r³ = (2/3)r³。
2. 牟合方盖总体积： 因为这是八分之一部分，所以整个牟合方盖体积 V_mou = 8 × (2/3)r³ = (16/3)r³。
3. 球体积关系： 在任意高度h，内切球的截面是圆，面积为 π(r²-h²)。而牟合方盖的截面是正方形，面积为 r²-h²。
显然，圆面积 = π/4 × 正方形面积。
因此，球的体积 V_sphere = (π/4) × V_mou。
4. 最终结果：
V_sphere = (π/4) × (16/3)r³ = (4/3)πr³。
V = (4/3)πr³
除了推导球体积，祖暅原理在现代几何和微积分入门教学中仍有广泛应用。
利用祖暅原理可以证明：等底等高的圆锥和棱锥体积相等。只需证明在任意高度h处，圆锥截面（圆）与棱锥截面（相似多边形）面积比恒定为 π/4 (对于内接正方形棱锥) 或通过极限思想推广。
对于椭球体 x²/a² + y²/b² + z²/c² = 1，可以通过缩放变换，将其转化为球体问题。祖暅原理保证了在z方向上的截面面积比例关系保持不变，从而快速得出体积 V = (4/3)πabc。
在工程力学中，计算复杂旋转体的重心或体积时，若难以直接积分，可寻找一个已知体积的简单几何体，验证其在各高度截面面积是否相等，从而间接求得体积。
许多用户在搜索时会好奇，为什么西方叫“卡瓦列里原理”，而中国叫“祖暅原理”？两者有何异同？
| 比较维度 | 祖暅原理 (Zu Geng's Principle) | 卡瓦列里原理 (Cavalieri's Principle) |
|---|---|---|
| 提出时间 | 约公元5世纪（南北朝时期） | 1635年（17世纪） |
| 提出者 | 祖暅（中国） | 博纳文图拉·卡瓦列里（意大利） |
| 核心表述 | “幂势既同，则积不容异” | “不可分量”思想，截面面积相等则体积相等 |
| 理论基础 | 基于极限思想的直观几何推理，未形成公理化体系 | 基于“不可分量”的早期微积分思想，更接近现代积分 |
| 历史影响 | 在中国数学史上辉煌一时，后因《缀术》失传而中断，未直接催生微积分 | 直接启发了伽利略、托里拆利等，成为微积分发展的重要阶梯 |
| 现代等价性 | 在欧几里得几何框架下，两者在逻辑上是等价的。祖暅原理更侧重于体积计算的技巧，而卡瓦列里原理更侧重于面积/体积的度量公理。 | |
深度解析： 祖暅的证明过程比卡瓦列里更具体、更巧妙，因为它不仅提出了原理，还成功应用该原理解决了球体积这一千古难题。而卡瓦列里更多是提出了一种通用的度量方法，并未立即导出球体积公式（球体积公式后来由开普勒等人完善）。因此，从“解决问题”的角度看，祖暅的成就更为突出。
祖暅定理本质上是定积分定义的几何直观版本。定积分公式 V = ∫[a,b] A(x) dx 表示体积是截面面积的累积。祖暅定理指出，如果 A₁(x) = A₂(x) 对所有 x 成立，那么 ∫A₁(x)dx = ∫A₂(x)dx。这是积分线性性质和相等函数积分相等这一基本定理的几何体现。
“牟合方盖”是两个圆柱垂直相交的公共部分，其曲面方程较为复杂（x²+y²≤r² 且 x²+z²≤r²）。它的难点在于，虽然它的边界是曲面，但其截面却是简单的正方形。这种“曲面体、平面截”的特性是祖暅证明的精妙之处，也是初学者难以想象的地方。建议借助3D建模软件观察。
适用于面积。如果两个平面图形在任意等高处的“截线长度”都相等，那么这两个图形的面积相等。这就是卡瓦列里原理的面积形式。例如，等底等高的平行四边形和长方形面积相等，也可以用此原理解释。
在高考或大学微积分课程中，通常不会直接要求证明祖暅定理，但会考查其结论的应用，例如利用截面法求旋转体体积。了解祖暅原理有助于理解积分的几何意义，是数学素养的重要组成部分。