九章算術中的陽馬是指什麼

陽馬，中國古代算數中的一種幾何形體，是底面為長方形，兩個三角面與底面垂直的四稜錐體。

九章算術·商功：“斜解立方，得兩壍堵。斜解壍堵，其一為陽馬，一為鱉臑。陽馬居二，鱉臑居一，不易之率也。合兩鱉臑三而一，驗之以棊，其形露矣。”

“陽馬居二，鱉臑居一，不易之率也”，今稱為劉徽原理。劉徽注《九章算術》關於體積問題的論述已經接觸到現代體積理論的核心問題，指出四面體體積的解決是多面體體積理論的關鍵，而用有限分割和棋驗法無法解決其體積。為了解決這個問題，他提出了一個重要原理：斜解壍堵，其一為陽馬，一為鱉臑。