阳马

阳马，中国古代算数中的一种几何形体，是底面为长方形，两个三角面与底面垂直的四棱锥体。《九章算术·商功》：“斜解立方，得两壍堵。斜解壍堵，其一为阳马，一为鳖臑。阳马居二，鳖臑居一，不易之率也。合两鳖臑三而一，验之以棊，其形露矣。