第一章 中国古代数学综述 第三节 魏晋至唐初中国数学理论体系的建立

《九章算术》之后,中国的数学著述基本上采取两种方式:一是为《九章算术》作注;二是以《九章算术》为楷模编纂新的著作。经过两汉社会经济和科学技术的大发展,到魏晋,中国封建社会进入一个新的阶段,庄园农奴制和门阀士族占据了经济政治舞台的中心。思想文化领域中,儒家的统治地位被削弱,谶纬迷信和繁琐的经学退出历史舞台,代之以谈三玄——《周易》、《老子》、《庄子》为主的辩难之风。学者们通过析理,探讨思维规律,思想界出现了战国的百家争鸣以来所未有过的生动局面。与此相适应,数学家重视理论研究,力图把自先秦到两汉积累起来的数学知识建立在必然的可靠的基础之上。刘徽和他的《九章算术注》便是这个时代造就的最伟大的数学家和最杰出的数学著作。

大约与刘徽同时或稍前,有赵爽(又名婴,字君卿,生卒不详,估计是三国吴人)的《周髀算经注》,其可观者为“勾股圆方图”,用600余字概括了两汉以来勾股算术的成果。

刘徽《九章算术注》作于魏景元四年(公元263年),原十卷。前九卷全面论证了《九章》的公式、解法,发展了出入相补原理、截面积原理、齐同原理和率的概念,在圆面积公式和锥体体积公式的证明中引入了无穷小分割和极限思想,首创了求圆周率的正确方法,指出并纠正了《九章》的某些不精确的或错误的公式,探索出解决球体积的正确途径,创造了解线性方程组的互乘相消法与方程新术,用十进分数逼近无理根的近似值等,使用了大量类比、归纳推理及演绎推理,并且以后者为主。第十卷原名重差,为刘徽自撰自注,发展完善了重差理论,此卷后来单行,因第一问为测望一海岛的高远,名之曰《海岛算经》。他还著有《九章重差图》一卷,已佚。刘徽生活在辩难之风兴起而尚未流入清谈的魏晋之交,受思想界“析理”的影响,对《九章算术》“析理以辞,解体用图”(《九章算术注·序》),并对各种算法进行总结分析,认为数学像一株枝条虽分而同本干的大树,发自一端,形成了一个完整的理论体系。刘徽博览群书,谙熟诸子百家,他不迷信古人,敢于创新,实事求是。对他未能解决的牟合方盖,坦诚直书,表示“以俟能言者”(《九章算术·少广章注》),表现了一位伟大学者寄希望于后学的坦荡胸怀。

《孙子算经》三卷,常被误认为春秋军事家孙武所著,实际上是公元400年前后的作品,作者不详。这是一部数学入门读物,给出了筹算记数制度及乘除法则等预备知识,其河上荡杯、鸡兔同笼等问题后来在民间广泛流传,“物不知数”题则开一次同余式解法之先河。张丘建(今山东人,生平不详)著的《张丘建算经》三卷,成书于北魏(5世纪下半叶)。此书补充了等差级数的若干公式,其百鸡问题是著名的不定方程问题,后世十分重视。

《缀术》包含了祖冲之(公元429—500年)和儿子祖暅〔geng 更〕之(一作祖暅,生平不详)的数学贡献。由于其内容深奥,隋唐算学馆学官(相当于今天大学数学系教授)读不懂,遂失传。据认为,将圆周率精确到八位有效数字、球体积的解决及含有负系数的二次、三次方程皆是其中的内容。祖冲之,字文远,祖籍范阳逎(今河北省涞源县)人。刘宋大明六年(公元462年)造大明历,使用岁差,改革闰制。他的改革遭到守旧派官僚戴法兴的反对,祖冲之不畏权势,据理驳斥,坚持了反对谶纬迷信,不虚推古人,实事求是的科学精神。他对机械深有研究,制造过水碓、水磨、指南车、千里船、漏壶等,并著《安边论》、《述异记》等。祖暅之,字景烁。从小爱好数学,巧思入神,极其精微。专心致志之时,雷霆不能入。有一次走路时思考问题,仆射徐勉迎面而来竟然没有发现,头撞到徐勉身上,徐勉唤他,他才知道撞了人。其父的《大明历》经他的努力在梁朝颁行。

北周甄鸾(今河北无极人,生卒不详)有三部数学著作传世,即《五曹算经》、《五经算术》、《数术记遗》。前二部内容浅近,无足道者。《数术记遗》一卷,传本题(东)汉徐岳撰、北周甄鸾注,近人多以为系甄鸾自撰自注,假托徐岳。书中记载了三种大数进位制及14种算法,其中珠算虽不同于元明的珠算盘,然开后者之先河,似无可疑。

隋唐是中国封建社会经济政治文化的鼎盛时期,然而数学上除天文历法研究中刘焯(公元544—610年)创造等间距内插公式(7世纪初)和僧一行(公元683—727年)创造不等间距内插公式(8世纪)外,几无创造,数学成就及理论水平远远低于魏晋南北朝。唐初王孝通(生卒不详)撰《缉古算经》一卷,解决了若干复杂的土方工程及勾股问题,且都用三次或四次方程解决,是为现存记载三次、四次方程的最早著作。然而,《缉古算经》未必是高于《缀术》的著作。王孝通是历算博士,曾任太史丞,在天文历法方面是保守的。他在《上〈缉古算经〉表》中指责《缀术》全错不通,于理未尽,大约他与当时别的数学家一样读不懂《缀术》。他自诩他的《缉古算经》千金不能排其一字,他一旦瞑目,其方法后人莫晓。科学家不必作谦谦君子,但如此狂妄,也是不足取的。

隋唐统治者在国子监设算学馆,置算学博士、助教指导学生学习。唐李淳风等奉敕于显庆元年(公元656年)为《周髀算经》、《九章算术》、《海岛算经》、《孙子算经》、《夏侯阳算经》、《缀术》、《张丘建算经》、《五曹算经》、《五经算术》、《缉古算经》等十部算经作注,作为算学馆教材,这就是著名的《算经十书》,该书是中国古代数学奠基时期的总结。李淳风等注释保存了许多宝贵资料,但注释水平并不高。由于种种原因,算学馆实际未培养出像样的数学家。