祖暅原理
一千五百年前的洞察
要比较两个几何体的体积，古人想到的办法不是称重、不是切割——而是"逐层"比较它们的截面。
数学家、天文学家，祖冲之之子。他与父亲一道钻研《九章算术》，在"开立圆术"的注文中提出：两个等高的几何体，若在每一等高处的截面面积总是相等，则体积必然相等。
后世把这一结论称为 —— 祖暅原理。
这句话保存在《九章算术》"开立圆术"的古代注文里：只要等高处的截面面积（幂）与位置（势）逐层对应相同，体积（积）就不可能不同。
在西方，同样的原理由意大利数学家卡瓦列里于 1635 年提出——晚了约 1100 年。
幂势既同，则积不容异
则积不容异。」
白话说：夹在两个平行平面之间的两个几何体，被平行于这两个平面的任意平面所截。如果截得的两个截面面积总是相等，那么这两个几何体的体积一定相等。
—— 出自《九章算术》"开立圆术"注
一摞硬币的启示
两摞完全相同的硬币：左边整齐叠放，右边逐层错开。看仔细——每一层的硬币都没有变，每个高度处的截面仍然是相同的圆面。
用好原理的三个要点
两个截面形状可以完全不同——圆对圆环、圆对正方形——只要面积相等，就满足条件。
两个几何体必须夹在同一对平行平面之间，在每一个高度上"层对层"地比较截面面积，不能错位比较。
"截面处处相等 ⇒ 体积相等"成立；反过来，体积相等并不意味着逐层截面面积相等——条件是充分的。
半球 = 圆柱 − 圆锥
左边是半径 R 的半球；右边是底面半径 R、高 R 的圆柱，挖去一个以其下底面圆心为顶点、上底面为底的圆锥。拖动滑块，让水平截面上下移动。
球体积公式的诞生
构造配对半径 R 的半球，配上"底面半径 R、高 R 的圆柱挖去圆锥"（圆锥顶点在圆柱下底面圆心，底面为圆柱上底面）。
逐层验证高度 h 处：半球截面半径 √(R²−h²)，面积 π(R²−h²)；右体截面是外径 R、内径 h 的圆环，面积 πR² − πh² = π(R²−h²)。两者恒相等。
应用原理等高且逐层截面积相等，由祖暅原理：V半球 = V圆柱 − V圆锥 = πR³ − (1/3)πR³ = (2/3)πR³。
得出结论V球 = 2 × V半球 = (4/3)πR³。球体积公式，得证。
祖暅真正借助的"利器"是牟合方盖——两个等半径圆柱垂直相贯的公共部分。它逐层截面是正方形（面积 4(R²−h²)），球的逐层截面恰为其内切圆（面积 π(R²−h²)），逐层面积比恒为 π : 4。于是 V球 = (π/4)·V牟 = (π/4)·(16/3)R³ = (4/3)πR³ —— 比欧洲的同类推导早了约一千年。
检验一下，是否掌握？
点击选项作答，立即查看解析。
"幂势既同，则积不容异"中，"幂"指的是（ ）
把一摞完全相同的书本整齐叠放，再逐本向前推出一段（每本仍保持水平）。书堆的总体积将（ ）
一个斜圆柱与一个与它等底面积、等高的直圆柱相比（ ）
判断：若两个等高几何体的体积相等，则它们在每一等高处截得的截面面积一定相等。（ ）
一句话，一千年
⟹ 两个几何体的体积相等
① 构造一个体积已知的"配对"几何体；
② 逐层比较截面面积，确认处处相等；
③ 用已知体积"换算"出未知体积。这正是"切片法"的雏形，也是微积分思想的先声。
已知任意圆锥、棱锥（乃至斜锥）的体积都是 V = (1/3)SH。请用祖暅原理说明：只要底面积 S 与高 H 相同，它们的体积必然相等。（提示：高度 h 处截面面积都等于 S(1 − h/H)²。）
谢谢观看 · 千年之前的智慧，依然在今天的数学课堂上发光。