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

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

陽(yáng)馬之形，方錐一隅也。今謂四柱屋隅為陽(yáng)馬。

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

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