《九章算术》中，将底面为长方形且有一条侧棱与地面垂直的四棱锥称之为阳马，将四个面都为直角三角形的四面体称之为鳖臑，首届中国国际进口博览会的某展馆棚顶一角的钢结构可以抽象为空间图形阳马，如图所示，在阳马 中， 底面 .