陽馬術

陽馬術(Yangmashu)中國古算法.指斜截立方得壍堵，再斜截壍堵得一陽馬、一鱉臑，則陽馬體積是鱉臑體積的2倍，這一命題見於《九章算術》“商功”章.劉徽採用極限的方法對這一命題進行了論證，並進一步指出“鱉臑之物，不同器用，陽馬之形，或隨修短廣狹.然不有鱉臑，無以審陽馬之數.不有陽馬，無以知錐亭之類，功實之主也”，意即陽馬術是計算多面體體積之基礎，實際上是中算體積理論的基礎.與希爾伯特第三問題的所謂德恩條件是等價的，故今日一般稱之為劉徽原理.

^[1]