以下是对鳖臑和阳马的定义及简要说明：
鳖臑
定义：
鳖臑（biē nào）是指一个四面体，其中一个面为直角三角形，且直角三角形的斜边作为四面体的一个棱。具体来说，如果从一个正方体的一个顶点出发，作三条棱分别与经过此顶点的三个面相交，并连接这三个交点，则得到一个以原正方体的一条对角线为一条边的三棱锥，这个三棱锥的侧棱两两互相垂直，且侧面分别为直角三角形。此时，该三棱锥的一个侧面的三角形即为“鳖臑”。
特点：
- 鳖臑具有一个直角三角形作为其底面或侧面之一。
- 该直角三角形的斜边是鳖臑的一个棱。
- 在正方体中构造时，其侧面均为直角三角形，且侧棱两两垂直。
阳马
定义：
阳马是一个特定的四棱锥，也被称为“方盖”或“方堲”。它由一个矩形和两个与之相邻的全等的等腰直角三角形组成底面，这四个面围成的几何体即为阳马。换句话说，如果将一个长方体沿不相邻的两条侧棱剪开，使得这两个侧棱与长方体的上底面和下底面都不平行，那么所得的四棱锥即为阳马。
特点：
- 阳马的底面由一个矩形和两个全等的等腰直角三角形组成。
- 阳马是一个四棱锥，具有四个侧面和一个底面。
- 在长方体中构造时，其底面形状独特，由矩形和三角形组合而成。
综上所述，鳖臑和阳马都是中国古代数学中常见的立体图形，它们在几何学中具有一定的研究价值和应用意义。
