中国古代用以计算体积的一条重要公理。由祖冲之、祖b133８缸犹岢觥＜疵菔萍韧，则积不容异”(形状不同的物体，若其等高处截面积都相等，则它们的体积不能不相等)。西方直至一千多年后才由意大利数学家卡瓦列里提出。