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

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