一堆有空隙的酒坛,刍童法总算少
上二下十二、共十一层的一堆坛子是 649 个;照刍童的体积公式算只有 630 又 2/3——他补上的正是那 18 又 1/3。
《梦溪笔谈》卷十八技艺门:「算术求积尺之法,如刍甍、刍童、方池、冥谷、堑堵、鳖臑、圆锥、阳马之类,物形备矣,独未有隙积一术。」刍童是上下两个长方形、四面斜收的台体,《九章算术》早有公式:倍上长加下长、乘上广,倍下长加上长、乘下广,两位相加,乘高,六而一。可他要算的是另一种东西:「隙积者,谓积之有隙者,如累棋、层坛及酒家积罂之类。虽似覆斗,四面皆杀,缘有刻缺及虚隙之处,用刍童法求之,常失于数少。予思而得之:用刍童法为上行,下行别列下广,以上广减之,余者以高乘之,六而一,并入上行。」也就是在刍童公式后面补一项 n(d − b)/6。他自注的例子:酒坛最上一层纵横各二罂,最下一层各十二,层层相次,共十一层。刍童法:倍上长 4 加下长 12 得 16,乘上广得 32;倍下长 24 加上长得 26,乘下广得 312;并得 344,乘高 3784;另列下广 12 减上广 2 余 10,乘高 110,并入 3894,六而一得 649。逐层数一遍:4 + 9 + 16 + … + 144 = 649,一个不差;而单用刍童只有 3784 ÷ 6 = 630 又 2/3,少了 18 又 1/3。他的修正对任意的上长、上广、层数都精确成立(逐层相加的和式与这条公式是代数恒等),上长上广都取 1 时就是四隅垛 1² + 2² + … + n²——两百年后杨辉那两句口诀、再往后朱世杰的垛积招差,都从这里出发。他自己的解释是:「刍童求见实方之积,隙积求见合角不尽,益出羡积也。」传本有两处要说明:刍童公式的末尾,四部丛刊影明刊本与四库本都印作「六而二」,照它算会整整多出一倍,应作「六而一」;草里的中间数两本也有印错的(3784 都印作「二千七百八十四」),而最后的 3894 与 649 两个数是对的。
拨上长、上广与层数,看坛子一层层摞起来;右边并排印逐层数出来的个数、刍童法与隙积术,差的那一项就是他补上的
上 2×2、共 11 层的一堆,逐层数是 649 个;照刍童的体积公式算只有 630 又 2/3,少了 18 又 1/3。沈括「思而得之」的办法是另列一行:下广减上广、乘高、六而一,并进去——得 649,与逐层数的一个不差。他书上的例子是上二下十二、十一层,答六百四十九罂。
