九章算术中的阳马是指什么

阳马 , 中国古代算数中的一种几何形体 , 是底面为长方形 , 两个三角面与底面垂直的四棱锥体 。
九章算术·商功:“斜解立方 , 得两壍堵 。斜解壍堵 , 其一为阳马 , 一为鳖臑 。阳马居二 , 鳖臑居一 , 不易之率也 。合两鳖臑三而一 , 验之以棊 , 其形露矣 。”
“阳马居二 , 鳖臑居一 , 不易之率也” , 今称为刘徽原理 。刘徽注《九章算术》关于体积问题的论述已经接触到现代体积理论的核心问题 , 指出四面体体积的解决是多面体体积理论的关键 , 而用有限分割和棋验法无法解决其体积 。为了解决这个问题 , 他提出了一个重要原理:斜解壍堵 , 其一为阳马 , 一为鳖臑 。

    秒懂生活扩展阅读