堑堵是一个长方体沿不在同一面上的相对两棱斜解所得的立体，即两底面为直角三角形的三棱柱。

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

鳖臑是四个面均为直角三角形的三棱锥。

堑堵最早的文字记载见于《九章算术》“商功”章。《九章算术·商功》刘徽注：“邪解立方得二堑堵，邪解堑堵，其一为阳马，其一为鳖臑。”鳖臑系一四面体，其三面皆为勾股形，梅文鼎称为立三角形。立三角形以其一面为底，其他三面聚于一点为顶点，在顶点旁三侧面的顶角和三侧面间的三个二面角与球面三角形的三弧三角相当。

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

《九章算术·商功》：“斜解立方，得两壍堵。斜解壍堵，其一为阳马，一为鳖臑。阳马居二，鳖臑居一，不易之率也。合两鳖臑三而一，验之以棊，其形露矣。” 刘徽 注：“此术臑者，背节也，或曰半阳马，其形有似鳖肘，故以名云。中破阳马，得两鳖臑，鳖臑之起数，数同而实据半，故云六而一即得。”