书城现实数学大帝
57676100000021

第21章 祖暅原理

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

可以用这个原理求球的体积,对比的图形可以是圆柱和圆锥。

虽然跟阿基米德球体积方法不同,但结果一样。