陽馬,中國古代算數(shù)中的一種幾何形體,是底面為長方形,兩個三角面與底面垂直的四棱錐體。
九章算術(shù)·商功:“斜解立方,得兩壍堵。斜解壍堵,其一為陽馬,一為鱉臑。陽馬居二,鱉臑居一,不易之率也。合兩鱉臑三而一,驗之以棊,其形露矣。”
“陽馬居二,鱉臑居一,不易之率也”,今稱為劉徽原理。劉徽注《九章算術(shù)》關(guān)于體積問題的論述已經(jīng)接觸到現(xiàn)代體積理論的核心問題,指出四面體體積的解決是多面體體積理論的關(guān)鍵,而用有限分割和棋驗法無法解決其體積。為了解決這個問題,他提出了一個重要原理:斜解壍堵,其一為陽馬,一為鱉臑。