祖暅原理

祖暅原理也称祖氏原理，一个涉及几何求积的著名命题。公元656年，唐代李淳风注《九章算术》时提到祖暅的开立圆术。祖暅在求球体积时，使用一个原理：幂势既同，则积不容异。幂是截面积，势是立体的高。意思是两个同高的立体，如在等高处的截面积相等，则体积相等。更详细点说就是，界于两个平行平面之间的两个立体，被任一平行于这两个平面的平面所截，如果两个截面的面积相等，则这两个立体的体积相等。上述原理在中国被称为祖暅原理，国外则一般称之为卡瓦列利原理。