祖gèng暅原理,又名等幂等积定理,是指所有等高处横截面积相等的两个同高立体,其体积也必然相等的定理。祖暅之《缀术》有云:“缘幂势既同,则积不容异。”
该原理最早由中国古代数学家刘徽提出。南北朝时又被祖冲之的儿子祖暅提出。祖冲之两父子采用这一原理,求出了牟合方盖的体积,进而算出球体积。在欧洲17世纪意大利数学家卡瓦列里亦发现相同定理,所以西方文献一般称该原理为卡瓦列里原理。
在现代的解析几何和测度应用中,祖暅原理是富比尼定理中的一个特例。卡瓦列里没有对这条的严谨证明,只发表在1635年的Geometria indivisibilibus以及1647年的Exercitationes Geometricae中,用以证明自己的Methode der Indivisibilien。以此方式可以计算某些立体的体积,甚至超越了阿基米德和开普勒的成绩。这个定理引发了以面积计算体积的方法并成为了积分发展的一个重要步骤。