术曰:广袤相乘,以高乘之,三而一^①。
        

汉《九章算术·商功》

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

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

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