詞條：祖氏公理

zǔ shì gōng lǐ

中國(guó)古代用以計(jì)算體積的一條重要公理。由祖沖之、祖暅父子提出。即“冪勢(shì)既同，則積不容異”(形狀不同的物體，若其等高處截面積都相等，則它們的體積不能不相等)。西方直至一千多年后才由意大利數(shù)學(xué)家卡瓦列里提出。