,其余弥细,至细曰微,微则无形。由是言之,安取余哉?数而求穷之者,谓以情推,不用筹算。鳖之物,不同器用;阳马之形,或随修短广狭。然不有鳖,无以审阳马之数,不有阳马,无以知锥亭之数,功实之主也。〕

  今有鳖,下广五尺,无袤;上袤四尺,无广;高七尺。问积几何?答曰:二十三尺少半尺。

  术曰:广袤相乘,以高乘之,六而一。

  〔按:此术者,臂节也。或曰:半阳马,其形有似鳖肘,故以名云。中破阳马,得两鳖。鳖之见数即阳马之半数。数同而实据半,故云六而一,即得。〕

  今有羡除,下广六尺,上广一丈,深三尺;末广八尺,无深;袤七尺。问积几何?答曰:八十四尺。

  术曰:并三广,以深乘之,又以袤乘之,六而一。

  〔按:此术羡除,实隧道也。其所穿地,上平下邪,似两鳖夹一堑堵,即羡除之形。假令用此棋:上广三尺,深一尺,下广一尺;末广一尺,无深;袤一尺。下广、末广皆堑堵之广。上广者,两鳖与一堑堵相连之广也。以深、袤乘,得积五尺。鳖居二,堑堵居三,其于本棋皆一为六,故六而一。合四阳马以为方锥。邪画方锥之底,亦令为中方。就中方削而上合,全为中方锥之半。于是阳马之棋悉中解矣。中锥离而为四鳖焉。故外锥之半亦为四鳖。虽背正异形,与常所谓鳖参不相似,实则同也。所云夹堑堵者,中锥之鳖也。凡堑堵上袤短者,连阳马也。下袤短者,与鳖连也。上、下两袤相等知,亦与鳖连也。

  并三广,以高、袤乘,六而一,皆其积也。今此羡除之广即堑堵之袤也。按:此本是三广不等,即与鳖连者。别而言之:中央堑堵广六尺,高三尺,袤七尺。

  末广之两旁,各一小鳖,皆与堑堵等。令小鳖居里,大鳖居表,则大鳖皆出E方锥:下广二尺,袤六尺,高七尺。分取其半,则为袤三尺。以高、广乘之,三而一,即半锥之积也。邪解半锥得此两大鳖。求其积,亦当六而一,合于常率矣。按:阳马之棋两邪,棋底方。当其方也,不问旁角而割之,相半可知也。推此上连无成不方,故方锥与阳马同实。角而割之者,相半之势。此大小鳖可知更相表里,但体有背正也。〕

  今有刍甍,下广三丈,袤四丈;上袤二丈,无广;高一丈。问积几何?答曰:五千尺。

  术曰:倍下袤,上袤从之,以广乘之,又以高乘之,六而一。

  〔推明义理者:旧说云:“凡积刍有上下广曰童,甍,谓其屋盖之苫也。”是故甍之下广、袤与童之上广、袤等。正解方亭两边,合之即刍甍之形也。假令下广二尺,袤三尺;上袤一尺,无广;高一尺。其用棋也,中央堑堵二,两端阳马各二。倍下袤,上袤从之,为七尺。以下广乘之,得幂十四尺。阳马之幂各居二,堑堵之幂各居三。以高乘之,得积十四尺。其于本棋也,皆一而为六。故六而一,即得。亦可令上下袤差乘广,以高乘之,三而一,即四阳马也;下广乘上袤而半之,高乘之,即二堑堵;并之,以为甍积也。〕

  刍童、曲池、盘池、冥谷皆同术。

  术曰:倍上袤,下袤从之;亦倍下袤,上袤从之;各以其广乘之,并,以高若深乘之,皆六而一。

  〔按:此术假令刍童上广一尺,袤二尺;下广三尺,袤四尺;高一尺。其用棋也,中央立方二,四面堑堵六,四角阳马四。倍下袤为八,上袤从之,为十,以高、广乘之,得积三十尺。是为得中央立方各三,两端堑堵各四,两旁堑堵各六,四角阳马亦各六。复倍上袤,下袤从之,为八,以高、广乘之,得积八尺。

  是为得中央立方亦各三,两端堑堵各二。并两旁,三品棋皆一而为六。故六而一,即得。为术又可令上下广袤差相乘,以高乘之,三而一,亦四阳马;上下广袤互相乘,并,而半之,以高乘之,即四面六堑堵与二立方;并之,为刍童积。又可令上下广袤互相乘而半之,上下广袤又各自乘,并,以高乘之,三而一,即得也。〕

  其曲池者,并上中、外周而半之,以为上袤;亦并下中、外周而半之,以为下袤。

  〔此池环而不通匝,形如盘蛇,而曲之。亦云周者,谓如委谷依垣之周耳。

  引而伸之,周为袤。求袤之意,环田也。〕

  今有刍童,下广二丈,袤三丈;上广三丈,袤四丈;高三丈。问积几何?答曰:二万六千五百尺。

  今有曲池,上中周二丈,外周四丈,广一丈;下中周一丈四尺,外周二丈四尺,广五尺;深一丈。问积几何?答曰:一千八百八十三尺三寸少半寸。

  今有盘池,上广六丈,袤八丈;下广四丈,袤六丈,深二丈。问积几何?答曰:七万六百六十六尺太半尺。

  负土往来七十步,其二十步上下棚除,棚除二当平道五;踟蹰之间十加一;载输之间三十步,定一返一百四十步。土笼积一尺六寸。秋程人功行五十九里半。

  问人到积尺及用徒各几何