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