祖氏公理

【意思解释】中国古代用以计算体积的一条重要公理。由祖冲之、祖b133父子提出。即“幂势既同，则积不容异”(形状不同的物体，若其等高处截面积都相等，则它们的体积不能不相等)。西方直至一千多年后才由意大利数学家卡瓦列里提出。