∑ 数学名人档案库
← 返回 朱世杰 简介档案 深度档案
代数级数组合数学

朱世杰（Zhu Shijie，Chu Shih-chieh）

宋元数学四大家之殿军，把中国古代代数推向最高峰的人物；《四元玉鉴》被乔治·萨顿誉为"中世纪最杰出的数学著作之一"，其多元高次方程消元法与高阶插值法代表了中世纪代数学的世界前沿。

一、生平与时代背景

朱世杰，字汉卿，号松庭，燕山（今北京附近）人，元代数学家与数学教育家。生卒年确切无载：中文史料（如李俨《中国数学大纲》）多作约 1249—1314 年，MacTutor 则据其两部著作的刊行年份推作约 1260—1320 年——两说皆为约数，生年与卒年均存疑，但可确定他活跃于 13 世纪末至 14 世纪初。

他出生前后正值蒙古灭金、继而南下灭南宋的剧烈变动期。1279 年忽必烈统一中国、建立元朝，定都大都（今北京）；南北统一使原本只在北方流传的数学知识（如天元术）得以向南方传播，也使朱世杰得以周游全国。关于他生平的几乎全部直接信息，来自《四元玉鉴》的两篇序：莫若（Zhao Cheng 亦有序，1303）序称"燕山松庭朱先生，以数学名家周游湖海二十余年矣，四方之来学者日众"；祖颐后序称"汉卿名世杰，松庭其自号也，周流四方，复游广陵（扬州），踵门而学者云集"。可知他在元灭南宋后南下游学，约于 1290 年代定居扬州，以授徒为生。

朱世杰年轻时遍读北方算学著作，受李冶《测圆海镜》影响尤深；南下后接触秦九韶《数书九章》与杨辉著作。存疑：MacTutor 据其著作判断他对秦、杨、李三家的工作"似乎并不了解"，而中文研究（如孔国平）则认为他系统继承了三家成果——学界对其学术来源的认识尚有分歧。

他一生仅有两部著作传世：《算学启蒙》（1299）与《四元玉鉴》（1303），均在扬州刊刻。此后其著作在国内一度失传，《算学启蒙》靠朝鲜、日本刊本得以保存，《四元玉鉴》则在清中叶由阮元重新访得，经整理校勘才重现于世。朱世杰约卒于 1314 年（一说 1320 年前后），卒年与卒地无确考。

二、学术生涯年表

年份 事件
约 1249（或约 1260） 生于燕山（今北京附近），确切生年存疑。
1279 元灭南宋，中国南北统一；后周游湖海二十余年。
1270 年代 已为北方知名算学家，研习李冶天元术及李德载二元术、刘大鉴三元术。
约 1290 年代 南下游学，定居扬州，"踵门而学者云集"。
1299（大德三年） 《算学启蒙》在扬州刊刻，三卷二十门 259 问，初学入门之书。
1303（大德七年） 代表作《四元玉鉴》成书付梓，三卷二十四门 288 问。
约 1314（或约 1320） 卒，确切年份存疑。
1433 《算学启蒙》在朝鲜刊刻，成为李朝数学教科书。
1658 《算学启蒙》在日本翻刻，影响日本和算。
1799 阮元编《畴人传》时仍遍寻《四元玉鉴》不得（书在国内已佚）。
1800 年代 阮元在浙江访得《四元玉鉴》抄本，交李锐校理（李锐未竟而卒），后刊行；文本已多有讹误。
1839 《算学启蒙》由朝鲜 1660 年刊本回译重刊，阮元作序，李善兰参与。

三、核心成果（逐条技术解析）

1. 四元术——多元高次方程组的建立与消元。 问题背景：13 世纪北方的"天元术"能设一个未知数列方程，李冶已臻成熟；李德载、刘大鉴进而发展出二元、三元术，但尚无系统的四元消元法。关键思想：朱世杰把天元术推广到四个未知数——天、地、人、物，在算板上以"太"（常数项）为中心，天、地、人、物四元分置四方，各元的幂次按距中心的远近排列，从而能用筹码的二维位置表示多元多项式与方程组。精确方法：他创造了一套完整的"四元消法"，通过方程组各方程之间的配合（互乘相消、剔而消之），依次消去未知数，把四元化为三元、二元、最终化为一元高次方程，再用正负开方术求数值解。《四元玉鉴》全书 288 问均与方程或方程组求解相关，其中四元题 7 道、三元题 13 道、二元题 36 道，列出的方程最高达十四次。意义：这是中国古代代数学的巅峰，也是中世纪世界范围内求解多元高次方程组的最高成就；Jock Hoe 的研究表明其算法相当于把线性化思想用于多项式消元。局限性：完全依赖算筹的位置记数，没有发展出独立的符号代数，"其特殊记号既是其高度技巧的证明，也限制了自身可能性，永远无法演化为通用数学记号"（Libbrecht 评），这也是中国代数后来停滞的原因之一。

2. 正负开方术——高次方程的数值解法（至十四次）。 朱世杰在《四元玉鉴》中给出一种变换法用于方程数值解，可解高达 14 次的多项式方程。该法以贾宪—秦九韶一脉的"增乘开方法"为基础，本质上与 19 世纪初西方重新发现的霍纳—鲁菲尼（Horner-Ruffini）方法等价（用综合除法逐位求根）。书中还附有"古法七乘方图"——即二项式系数表（帕斯卡三角），给出展开到八次幂的系数，朱世杰明确称其为"古法"，不主张原创（此图更早见于贾宪、杨辉著作）。

3. 垛积术——高阶等差级数求和。 问题背景：中国算学中"垛积"指对堆垛（如累棋、堆果）所成高阶等差级数求和，自沈括"隙积术"发端，杨辉有所发展。精确表述：《四元玉鉴》给出了一系列层层递进的求和公式，例如（朱世杰原文为文字表述，下列为现代写法）：

这些公式其实就是组合恒等式 $\sum_{k=0}^n \binom{k+r}{r}=\binom{n+r+1}{r+1}$ 的具体形式（$r=0,1,2,\dots$），朱世杰把垛积从二阶推到任意高阶，建立了完整的高阶等差级数求和理论。

4. 招差术——四次有限差分插值（早于牛顿约 370 年）。 问题背景：古代历法需用插值法由离散观测值推算任意时刻的函数值（如日、月运动），刘焯（隋）用二次插值，郭守敬（元）《授时历》用三次插值（"平立定三差"）。关键贡献：朱世杰在《四元玉鉴》中把招差术推到四次，给出了用四阶差分构造插值多项式的方法，其形式与后来牛顿（Isaac Newton，1676 年发表）的前向差分插值公式

$$f(x_0+uh)=y_0+u\Delta y_0+\frac{u(u-1)}{2!}\Delta^2 y_0+\frac{u(u-1)(u-2)}{3!}\Delta^3 y_0+\frac{u(u-1)(u-2)(u-3)}{4!}\Delta^4 y_0+\cdots$$

等价。书中有名的"立方招兵"问：第一日招 $3^3$ 人，第二日招 $4^3$ 人，依次递增，问 15 日共招几何、n 日共招几何——朱世杰通过作三阶差分（立方数列的三阶差分为常数 6）求得 15 日共 23400 人，n 日共 $\tfrac14 n(n+5)(n^2+5n+12)$ 人。意义：朱世杰是中国也是世界上最早系统使用高阶（四次）有限差分插值的数学家之一，早于牛顿约 370 年；但需注意它是为具体问题服务的算法化公式，未抽象出一般的差分演算理论。存疑：是否应直接称其为"牛顿插值公式的先声"，学界措辞不一——严格说二者独立发现、形式等价，不应理解为朱世杰影响了牛顿。

5. 《算学启蒙》与方程组、辅助未知数法。 《算学启蒙》是为初学者编写的入门教科书，基于《九章算术》体系，由一位数乘法讲起，循序渐进至天元术。内容含分数与小数运算（如给出 $\frac{1}{16}=0.0625$、$\frac{2}{16}=0.125$）、比例（今有术）、面积体积、盈不足术等。在解线性方程组时，他给出的方法实质上等价于高斯主元消去法（pivotal condensation）。在处理分数系数方程组时，他采用设辅助未知数的方法把分数系数化为整数系数，并推广到无理方程——通过变量代换把只含一个无理式的方程化为有理方程（对含 $A+B=C$ 型的则两次平方去根号），这是中国算学史上最早处理无理方程的记载。

6. 算法的抽象化与"纯粹数学"倾向。 值得注意的是，《四元玉鉴》虽沿用传统"以题说法"的体例，但朱世杰的问题往往刻意脱离实际、人为构造复杂条件，目的只是展示消元与开方的方法（如直角三角形面积 30、勾股和 17，却要求勾弦和，硬引入第四个未知数 $t=z+x$ 化为四次方程）。他重视"算理"，认为数学的基础是数学理论，其方程研究已超出实际计算需要，具有纯粹数学的抽象性质——这在中国传统数学中颇为罕见。

四、代表著作与文献

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

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

七、身后影响与学术谱系

八、延伸阅读与权威来源