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