宋代是中国古代数学最辉煌的时期之一。北宋大科学家沈括的名著《梦溪笔谈》中,有10多条有关数学的讨论,内容既广且深,堪称我国古代数学的瑰宝。
沈括最重要的数学探讨是隙积术和会圆术。隙积术在我国数学史上开辟了高阶等差级数求和的研究领域,对高阶等差级数的研究始自沈括。
所谓“隙积”,指的是有空隙的堆积体、例如酒店中堆积的酒坛、叠起来的棋子等,这类堆积体整体上就像一个倒扣的斗,与平截头的长方锥(刍童)很像。但是隙积的边缘不是平的,而中间又有空隙,所以不能照搬刍童的体积公式。沈括经过思考后,发现了正确的计算方法。他以堆积的酒坛为例说明这一问题:设最上层为纵横各2个坛子,最下层为纵横各12个坛子,相邻两层纵横各差1坛,显然这堆酒坛共11层;每个酒坛的体积不妨设为1,用刍童体积公式计算,总体积为3784/6,酒坛总数也应是这个数。显然,酒坛数不应为非整数,问题何在呢?沈括提出,应在刍童体积基础上加上一项“(下宽-上宽)×高/6”,即为110/6,酒坛实际数应为(3784+110)/6=649。加上去的这一项正是一个体积上的修正项。在这里,沈括以体积公式为基础,把求解不连续的个体的累积数(级数求和),化为连续整体数值来求解,可见他已具有了用连续模型解决离散问题的思想。
会圆术是对圆的弧矢关系给出的比较实用的近似公式,主要思想是局部以直代曲。沈括进一步应用《九章算术》中弧田的面积近似公式,求出弧长,这便是会圆术公式。沈括得出的虽是近似公式,但可以证明,当圆心角小于45°时,相对误差小于2%,所以该公式有较强的实用性。这是对刘徽割圆术以弦(正多边形的边)代替圆弧思想的一个重要佐证,很有理论意义。后来,郭守敬、王恂在历法计算中,就应用了会圆术。
在《梦溪笔谈》中,沈括还应用组合数学法计算得出围棋可能的局数是3 361种,并提出用数量级概念来表示大数3 361的方法。沈括还在书中记载了一些运筹思想,如将暴涨的汴水引向古城废墟来抢救河堤的塌陷,以及用挖路成河、取土、运输,最后又将建筑垃圾填河成路的方法来修复皇宫等。沈括对数的本质的认识也很深刻,指出:“大凡物有定形,形有真数。”显然他否定了数的神秘性,而肯定了数与物的关系。他还指出:“然算术不患多学,见简即用,见繁即变,乃为通术也。”