術(shù)曰：廣袤相乘，以高乘之，三而一^①。

漢《九章算術(shù)·商功》

陽馬之形，方錐一隅也。今謂四柱屋隅為陽馬。

《九章算術(shù)·商功》三國魏·劉徽注

[注]①陽馬是古代建筑中的術(shù)語，即今底面為長方形而一棱垂直于底面的四棱錐。術(shù)文表示陽馬體積公式：
V=abh
其中a,b,h分別是底面的長、寬，及高。
【評(píng)】此為《九章算術(shù)》提出的陽馬體積公式。劉徽用極限方法證明了這個(gè)公式，參見“極限”類。