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

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

2015年6月7日，下午在湖北省高考文科数学卷上，一道几何题中出现了“鳖臑（biē nào）”“阳马”两个名词。文科数学第20题涉及到了《九章算术·商功》里的知识，先解释了什幺是“鳖臑”和“阳马”，根据这两个词和相关数据解题。数学考试出现古词，迅速在网上传播起来，成为热门话题。