陽馬,中國古代算數中的一種幾何形體,是底面為長方形,兩個三角面與底面垂直的四棱錐體。
九章算術·商功:“斜解立方,得兩壍堵。斜解壍堵,其一為陽馬,一為鼈臑。陽馬居二,鼈臑居一,不易之率也。合兩鼈臑三而一,驗之以棊,其形露矣。”
“陽馬居二,鼈臑居一,不易之率也”,今稱為劉徽原理。劉徽注《九章算術》關于體積問題的論述已經接觸到現代體積理論的核心問題,指出四面體體積的解決是多面體體積理論的關鍵,而用有限分割和棋驗法無法解決其體積。為了解決這個問題,他提出了一個重要原理:斜解壍堵,其一為陽馬,一為鼈臑。
更多精彩资讯请关注tft每日頭條,我们将持续为您更新最新资讯!