← 返回 秦九韶 简介档案 深度档案
数论代数数值分析

秦九韶(Qin Jiushao / Ch'in Chiu-shao)

南宋数学家,《数书九章》(1247)的作者;其「大衍求一术」给出一次同余方程组的一般解法(中国剩余定理),「正负开方术」给出任意高次多项式方程的数值解法,两项成就分别领先欧拉–高斯与鲁菲尼–霍纳约五百年。

一、生平与时代背景

秦九韶,字道古,西文旧作 Ch'in Chiu-shao(威妥玛拼音)。关于其生年学界有争议:李俨、钱宝琮主 1202 年说,而现今数学史界普遍认为是 1208 年(嘉定二年);卒年一般作 1261 年(景定二年),卒于梅州(今广东梅县),亦有 1268 年之说,存疑。

其先世为鲁郡(今山东济宁兖州、曲阜一带)人,祖上世代为官;但他出生于普州安岳(今四川安岳),父亲秦季槱(字宏父)曾知潼川府、任工部郎中、秘书少监兼国史院编修官。由于父亲掌管工程、屯田、水利与经籍图书,少年秦九韶得以博览各类学问。他在《数书九章》自序中写道:「早岁侍亲中都,因得访习于太史,又尝从隐君子受数学。」——即在首都(临安,今杭州)的太史局学习天文历法,并向一位隐士学习数学(这位「隐君子」的姓名已不可考)。

秦九韶多才多艺:星象、音律、算术、营造(建筑)无不精究,亦擅击剑、骑射。但其人品在史料中评价极差:同时代人周密《癸辛杂识》、刘克庄《缴秦九韶知临江军状》等记载他「暴如虎狼,毒如蛇蝎」,为官贪暴、涉嫌下毒、非法贩盐致富、欺诈友人吴潜土地、禁锢家中女性不与饮食等。这些记载历来聚讼不一,近人徐品方、孔国平认为周密等记载「失实,严重歪曲了秦九韶的形象」,而钱宝琮则认可其「性喜奢好大」。如何评价秦九韶的私德,至今未有定论,但这些争议并不影响其数学成就的客观价值。

他的一生在南宋与蒙古交战的乱世中度过:18 岁在乡里为义兵首领,后历任县尉、通判、知州等职,辗转四川、湖北、安徽、浙江、海南、广东多地,宦途因党争(吴潜与贾似道之争)屡遭贬黜,最终卒于梅州任所。1244 年因母丧去官,在湖州守制期间(约 1244—1247),潜心撰成《数书九章》,自述「历岁遥塞,荏苒十禩」(历经十年)。

二、学术生涯年表

年份 事件
约 1208 生于普州安岳(今四川安岳);一说 1202 年,生年存疑。
1219 前后 随父守巴州,遇兴元军士叛乱;约 17 岁在乡里为义兵首领。
1224 前后 随父迁居临安(杭州),入太史局习天文历法,从「隐君子」受数学。
1226 随父赴潼川(今四川三台)任所。
1233 前后 任四川某县县尉;从成都官员学诗。
1234—1244 蒙古军侵川,流亡于湖北蕲州、安徽和州等地任官;期间在杭州西溪建「道古桥」(元朱世杰为之题名)。
1244.8—1247 母丧去官,在湖州守制,撰写《数书九章》,1247 年成书(时称《数学大略》)。
1254 出任建康府沿江制置司参议,数月后辞官。
1258—1259 任琼州(海南)守,因贪暴百余日即被罢免;暴富。
1260 党争失势,被贬梅州(今广东梅县)。
约 1261 卒于梅州;一说 1268 年,卒年存疑。
后世 大衍求一术在欧洲由欧拉、高斯(1801)等重新独立发现;正负开方术由鲁菲尼(1804)、霍纳(1819)重新独立发现。

三、核心成果(逐条技术解析)

1. 大衍求一术:一次同余方程组的一般解法(中国剩余定理)

《数书九章》第一卷「大衍类」给出了求解一次同余方程组的完整算法,即后世所称「中国剩余定理」的一般算法。问题原型见于约 4—5 世纪的《孙子算经》「物不知数」:

有物不知其数,三三数之剩二,五五数之剩三,七七数之剩二。问物几何?

但《孙子算经》只给了模数两两互素的特例。秦九韶的突破在于:系统处理模数 $m_i$ 不两两互素的一般情形,并给出求「乘率」的机械算法。其术语与步骤如下:

求乘率 $k_i$ 的算法即「大衍求一术」,实质是对 $M_i$ 与 $\mu_i$ 做辗转相除(欧几里得算法),逐步回代求得逆元。值得注意的是,秦九韶并不把此法据为己有,自称得自太史局的历算家,但「他们只会用而不懂其理」,真正把它一般化、理论化的是秦九韶本人。

比利时学者 U. Libbrecht 评价:「我们不应低估秦九韶的革命性进步——从《孙子》的单一道剩问题,一跃而至求解剩问题的一般程序,甚至比高斯的方法还先进,且没有任何渐进演化的迹象。」欧拉未能圆满解决此问题,直到高斯《算术研究》(1801)、勒贝格与斯蒂尔切斯才在欧洲重新独立完成。

2. 正负开方术:任意高次方程的数值解(鲁菲尼–霍纳法)

《数书九章》系统运用「正负开方术」求解任意次多项式方程的正根。它是对贾宪「增乘开方法」的发展:允许方程系数为正、负乃至零,规定「实常为负」(即把方程统一写成 $f(x)=0$ 的形式,常数项取负号以便统一处理),再以随乘随加的方式逐位求根。这与西方 19 世纪的鲁菲尼–霍纳法本质相同,但早了约五百五十年。

书中出现了高达十次的方程。例如卷四「测望类」的圆城问题(北门北 3 里有树,出南门东行 9 里恰见树,求城径),归结为

$$x^{10}+15x^8+72x^6-864x^4-11664x^2-34992=0,$$

求得 $x=3$,故城径 $x^2=9$ 里(此方程实为关于 $x^2$ 的五次方程)。此外还解有三次、四次方程及线性方程组。当根为无理数时,秦九韶继承刘徽的做法,继续开方以十进小数逼近——这一近似方法在刘徽之后长期无人问津,由秦九韶重新启用。

局限:只取正根,不讨论负根与复根;书中部分方程只给一个根而漏给其他正根(MacTutor 指出一例方程另一正根 $x=1008$ 未给出)。

3. 三斜求积:已知三边求三角形面积(与海伦公式等价)

卷五「田域类」给出「三斜求积」公式:设三角形三斜(三边)为 $a\ge b\ge c$(大斜、中斜、小斜),则面积

$$A=\sqrt{\frac14\left[a^2c^2-\left(\frac{a^2+c^2-b^2}{2}\right)^2\right]}.$$

该公式与希腊海伦公式 $A=\sqrt{s(s-a)(s-b)(s-c)}$(其中 $s=\frac{a+b+c}{2}$)代数等价,但是否独立发现、是否经由丝绸之路传播,学界未有定论。秦九韶用以解决沙田等不规则地块的测量问题。

4. 零的符号与位值制的成熟运用

秦九韶在书中使用小圆圈「○」作为零的符号,并指出「古书中皆为空位」。这标志着中国记数法中零已从空位演变为明确的书写符号,便利了高次方程系数表(天元术式)的表示与运算,也间接反映了与印度—阿拉伯记数传统可能存在的交流(但 MacTutor 指出印度处理同余问题的方法与之差异较大,故大衍术不太可能源自印度)。

5. 线性方程组与天文、测量应用

全书 81 题皆取材于当时的实际需要:天文历法(推算「上元积年」,这正是大衍求一术的现实动机——古历以同余方程组求理想历元)、雨雪测量、田亩测绘、远距离测量、赋税、钱粮、建筑、军事、商业。卷中线性方程组的求解已相当熟练,例如一个三元一次方程组给出 $(x,y,z)=(300,180,64)$,方法与高斯消元一致。

四、代表著作与文献

五、师承、学派与同时代交往

六、争议、公案与历史评价

七、身后影响与学术谱系

秦九韶是宋元数学高峰的标志人物,萨顿(G. Sarton)称其为「他那个民族、他那个时代,乃至所有时代最伟大的数学家之一」。其两项核心贡献的影响跨越时空:

  1. 大衍求一术是中国古代数学最具世界意义的成果之一,现代数论中的「中国剩余定理」在密码学、计算机科学(如中国剩余定理加速 RSA、CRC 校验)中广泛应用;
  2. 正负开方术(秦九韶算法)是数值分析中多项式求值与求根的基础算法,至今仍用于计算器与计算机代数系统。

遗憾的是,《数书九章》在宋元之际未被充分重视,杨辉、朱世杰均未引用,其成果到清代中叶才被学者重新发掘并与西方霍纳法比较,进而确立秦九韶的历史地位。从谱系看:贾宪 → 秦九韶(正负开方术、大衍术)→ 清中叶复兴 → 现代中算史学科。

八、延伸阅读与权威来源