凿壕之法，面阔二丈，深一丈，底阔一丈。以面阔二丈加底阔一丈，积数大半得之，得数一丈五尺。以深一丈乘之，凿壕一丈，得数一十五丈。每工日出三丈，计工五人。一步五尺，计工二十五人。十步，计工二百五十人。百步，计工二千五百人。三百六十步，计工九千人。率一里，则百里可知也。