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

阳马，中国古代算数中的一种几何形体，是底面为长方形，两个三角面与底面垂直的四棱锥体。

九章算术·商功：“斜解立方，得两壍堵。斜解壍堵，其一为阳马，一为鳖臑。阳马居二，鳖臑居一，不易之率也。合两鳖臑三而一，验之以棊，其形露矣。”

“阳马居二，鳖臑居一，不易之率也”，今称为刘徽原理。刘徽注《九章算术》关于体积问题的论述已经接触到现代体积理论的核心问题，指出四面体体积的解决是多面体体积理论的关键，而用有限分割和棋验法无法解决其体积。为了解决这个问题，他提出了一个重要原理：斜解壍堵，其一为阳马，一为鳖臑。