阳马

术曰：广袤相乘，以高乘之，三而一^①。

汉《九章算术·商功》

阳马之形，方锥一隅也。今谓四柱屋隅为阳马。

《九章算术·商功》三国魏·刘徽注

[注]①阳马是古代建筑中的术语，即今底面为长方形而一棱垂直于底面的四棱锥。术文表示阳马体积公式：
V=abh
其中a,b,h分别是底面的长、宽，及高。
【评】此为《九章算术》提出的阳马体积公式。刘徽用极限方法证明了这个公式，参见“极限”类。