祖暅之公理

我國古代的祖暅之公理,也就是现代一般人所說的卡瓦利利(Cavalieri)公理,是指下述公理而言的,即:界於二平行平面之間的兩個立體、被任一平行於二平面之平面所截,若其二截面面積常相等,則二立體體積亦必等。當我們承認了連續公理並且有了某些積分學的知識之後,這公理也可被證為是一個定理,這公理,或是說這定理在考慮立體體積時常常會用到,特別是在考慮未知的,比較複雜與不规則的立體體積時,由這公理,就可以用已知的比較規則的在等高處截面面積相等的另一立體去代替。卡瓦利利是17世纪纪上半纪意大利的數學家,他的生卒年代是1598—1647年。