指三角锥体。《九章算术·商功》：“斜解立方，得两壍堵。斜解壍堵，其一为阳马，一为鳖臑。阳马居二，鳖臑居一，不易之率也。合两鳖臑三而一，验之以棊，其形露矣。”
刘徽 注：“此术臑者，背节也，或曰半阳马，其形有似鳖肘，故以名云。中破阳马，得两鳖臑，鳖臑之起数，数同而实据半，故云六而一即得。”
2015年6月7日下午，2015年高考文科数学湖北卷上，一道几何题中出现了“鳖臑（biē nào）”“阳马”两个名词。数学考试出现古词，迅速在网上传播起来，成为热门话题。文科数学第20题涉及到了《九章算术·商功》里的知识，先解释了什么是“鳖臑”和“阳马”，根据这两个词和相关数据解题。
（2015，湖北，20，13分）《九章算术》中，将底面为长方形且有一条侧棱与底面垂直的四棱锥称之为阳马，将四个面都为直角三角形的四面体称之为鳖臑。 在如图1所示的阳马P-ABCD中，侧棱PD⊥底面ABCD，且PD=CD，点E是PC的中点，连接DE、BD、BE。