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