城、垣、堤、溝、塹、渠皆同術。術曰：并上下廣而半之，以高若深乘之，又以袤乘之，即積尺。

漢《九章算術·商功》

【評】許多體積公式先秦的中國人已經熟知，現(xiàn)存文獻則以《九章算術》為最早。這是縱截面為相等梯形的平截體的體積公式：V=(b₁+b₂)ah。
按：此術并上下廣而半之者，以盈補虛，得中平之廣。以高若深乘之(原本此下衍二十二字，戴震刪),得一頭之立冪。又以袤乘之者，得立實之積，故為積尺。

《九章算術·商功》三國魏·劉徽注

【評】此為劉徽對城、垣、堤、溝、塹、渠體積公式的證明。以盈補虛或稱出入相補是證明多面體體積公式的一種重要方法。
術曰：置垣積尺，四之為實。以深、袤相乘，又以三之，為法。所得，倍之。減上廣，馀即下廣。

漢《九章算術·商功》

【評】此是已知垣的體積及袤、深、上廣，求下廣的方法。因穿地化垣積，故四之為實，三之為法。