经曰:濠面阔二丈、深一丈、底阔一丈,以面阔积数三丈半之,得数一丈五尺;以深一丈乘之,凿濠一尺,得数一十五丈。每一工日出土三丈一尺,计工五人。一步,计工三十人;一里,计工一万八千人。一里为率,则百里可知。
【 译文】
经书说:壕面宽二丈,深一丈,底宽一丈。以面宽加底宽,得数为三丈;除以2 ,得数为一丈五尺;乘以一丈的深度,凿壕一尺,得数为一十五丈(立方数,约合0 .巧立方丈)。每一工日出土量为三丈一尺(0 . 031 立方丈),则凿壕一尺长,计工五人;一步长,则计工三十人;一里长,则计工一万八千人;按一里的标准推算,则可知百里的工程量。