相等的两个同高立体，其体积也必然相等的定理。祖暅之《缀术》有云：「缘幂势既同，则积不容异。」该原理最早由中国古代数学家刘徽提出。南北朝时又被祖冲之的儿子祖暅提出。祖冲之两父子采用这一原理，求出了牟合方盖的体积，进而算出球体积。在欧洲17世纪意大利数学家卡瓦列里亦发现相同定理，所以西方文献一般称该原理为卡瓦列里原理。在现代的解析几何和测度应用中，祖暅原理是富比尼定理中的一个特例。卡瓦列里没有对这条的严谨证明，只发表在1635年的"Geometria indivisibilibus"以及1647