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

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