祖暅原理是中国古代几何学的标志性成就,由南北朝时期著名数学家祖暅(祖冲之之子)在公元5世纪总结提出,相关内容保存在唐代李淳风对《九章算术》所作的注释之中。在祖暅之前,魏晋数学家刘徽已提出“牟合方盖”模型,试图推导球体体积公式,但始终未能突破计算瓶颈。祖暅在前人研究的基础上,摒弃传统几何直观推演的局限,通过严谨的立体截面比对论证,最终归纳出通用的立体体积判定原理,成功精准推导出球体体积计算公式。这一原理比西方卡瓦列里同类定理早约1100年,是中国古代数学领先世界的重要佐证。
祖暅原理的经典概括为古语:幂势既同,则积不容异,是立体几何体积计算的核心基础原理。通俗释义为:任意两个立体图形,若被夹持在两组相互平行的平面之间,整体高度完全一致,且在任意一个相同高度位置,被平行截面截取的截面面积始终完全相等,那么这两个立体图形的总体积必然相等。
该原理打破了立体外形的限制,证明立体体积的大小,与图形表面曲直、外形规整与否无关,仅由整体高度和各层截面面积的分布规律决定。其蕴含的“分层等效、以平代曲、化繁为简”的思想,是早期微积分积分思想的雏形,完美解决了不规则复杂立体体积难以计算的难题。
生活中诸多常见现象均遵循祖暅原理。整齐堆叠的书本、积木,整体倾斜摆放后外形发生改变,但总体高度、每一层截面面积未变,整体体积始终保持不变;粗细均匀的软管、管道,无论弯曲、扭转,只要截面粗细一致、两端高度不变,其内部容纳空间的容积恒定不变。
在土建、水利、地形测绘领域,该原理被广泛用于不规则土体、基坑、河道、山体的体积测算。工作人员无需建立复杂三维模型,只需分层测量不同高度的截面面积,即可精准估算整体土石方量,大幅简化工程测算流程,提升施工核算精度。
工业异形结构、非标容器设计中,设计师利用祖暅原理进行体积等效替换,在保持容积不变的前提下优化产品外形,适配安装与使用场景;同时,其分层积分的核心思想,也为现代高等数学、机械建模、航空航天精密体积测算等领域提供了基础数理支撑。
3分钟带你理解微积分
撰写人:杨婧
审核专家:郭园园 中国科学院自然科学史研究所
张雨桐 北京市第一〇一中学