朱世杰其人其书

朱世杰其人其书

朱世杰在中国数学史上是一个几乎完全由其著作反向定义的人物。与同时代的秦九韶有周密所撰传记、李冶得到元好问、刘秉忠等名流题序不同，朱世杰现存的所有传记性资料加在一起不足两百字，且大多出自他人著作的零星提及。这给历史定位带来了根本性的困难：在进入《四元玉鉴》文本之前，必须先处理"我们究竟能知道什么"这一文献学前提。

一、生平行迹与师承网络的考证

朱世杰的基本传记资料主要来自三个文献源，且每一来源都有其特定的限度。

最直接的是《四元玉鉴》卷首莫若所撰序与卷末祖颐所撰后序，均作于元成宗大德七年（1303）。莫若序称朱世杰为"燕山松庭先生"——"燕山"提示其籍贯在今北京一带，"松庭"则是其号。莫若本人的身份不详，从序文内容看应为朱世杰在扬州一带结识的地方文人或官员。祖颐后序较详细地交代了朱世杰的学术经历：大意为朱世杰早年曾"周游湖海二十余年"，足迹遍及燕京、河北、山东、江浙，最终在扬州一带定居并完成两部主要著作。祖颐本人自称是其门人，因此该序具有第一手性质。但内容简短，且带有门生为尊者讳的倾向——例如祖颐称朱世杰"颖悟绝伦""以数学名家"，这些赞语难以作为客观评价依据。

第二个来源是清代学者的考据。阮元《畴人传》、罗士琳《畴人传续编》、钱大昕等人对朱世杰的籍贯与生卒做过推算。由于缺乏确凿的年款与地理坐标，这些推算彼此并不一致：钱大昕倾向于将朱世杰活动年代定在13世纪中后期；罗士琳主张其卒年迟至14世纪初；近人严敦杰、钱宝琮等有更细致的推算。一般采取的折中表述是：朱世杰约生于13世纪中叶，主要著作完成于1299—1303年间，活动延续至14世纪初。

第三个来源是数学文本内部的间接证据。例如《四元玉鉴》多次提及"前贤"算法而无具名，且行文中带有扬州方言的痕迹，可与祖颐后序"游扬"的记载相互印证。又如《四元玉鉴》某些问题的取材带有明显的江南水利、商业背景，与扬州作为元代南北物资转运枢纽的地位相符——这类背景虽不能直接确证朱世杰的地理活动，但能强化祖颐后序的可信度。

至于师承网络，正史与文集均无明文记载朱世杰从学于何人。从方法论的亲缘关系推测，他极有可能接触过以下几条学术脉络：李冶的天元术（通过《测圆海镜》《益古演段》的流传）、秦九韶的大衍总数术与高次方程数值解法（通过《数书九章》的抄本流传）、以及贾宪以来的增乘开方法传统。但这些是基于方法论相似性的推断，而非有文献依据的师承关系。

与朱世杰有过交往且留下文字记录的人，目前可考的仅有三位：莫若、祖颐，以及祖颐后序中提及的某位"燕山老友"（姓名不详）。这三人都不是当时数学界的核心人物，这也从侧面反映出朱世杰生前在数学共同体内的边缘位置——其著作的影响力，要到清中叶以后随着《四元玉鉴》的重新发现与校释才真正释放。

此处值得专门讨论的是"燕山"的地理解读。莫若序作于1303年，此时距蒙古军队攻陷金中都（今北京）已近半个世纪，"燕山"作为地域标签既可能指朱世杰的籍贯，也可能指其在蒙古占领前的北方出身。这与朱世杰在元代完成著作、使用汉字、遵循汉式"术文"体例的事实形成耐人寻味的张力：一套由"燕山"作者写作、在扬州刊行的数学书，承载的是汉文明学术在异族统治下的延续。这一文化地理的事实，对于理解宋元之际北方数学传统向南方的转移，提供了具体而微的案例。

元代扬州一带接受数学活动的社会条件也值得一提。同期或稍早的活跃者还包括《丁巨算法》（1355年刊行）的作者丁巨、撰《透帘细草》的夏时间等人。这些人物大多属于私学系统的算学教师或天文机构中下层人员，与朱世杰形成了一个相当松散的"扬州数学圈"。祖颐后序所谓朱世杰"周游湖海"在扬州落脚，背后正是这样一个接受数学活动的社会环境：南北物资中转带来的算学需求（元代扬州盐运、漕运、海运均极繁重）、科举取士中"明算科"虽已式微但民间算学教育仍持续、地方志与日用类书对实用算法的需求。这些因素共同构成了《四元玉鉴》得以被写作并传播的物质基础。

二、13世纪中国数学的整体格局

要理解《四元玉鉴》的位置，必须将其放回13世纪中国数学的整体格局中。这一时期的数学发展呈现出三条相对独立但又彼此交叉的脉络：北宋以来的高次方程数值解法传统、由天元术主导的符号代数传统、以及以《九章算术》注疏与日用算法为中心的实用传统。三条脉络在朱世杰手上汇合，构成了《四元玉鉴》的复合来源。

北宋以来的开方传统以贾宪为奠基者。贾宪的生平同样失考，但其《黄帝九章算经细草》（约1050年）通过杨辉《详解九章算法》（1261年）的引录得以部分保存。其中最关键的贡献是"开方作法本源图"（即贾宪三角）与"增乘开方法"——后者将开平方与开高次方统一为一种逐步累乘的算法，本质上是19世纪西方命名的霍纳法的早期形式。贾宪三角给出的二项式系数展开表，使得任意次幂 $(a+b)^n$ 的系数都可以直接查得；而增乘开方法则解决了从已知系数反推根的问题。两者结合，构成了北宋以来高次方程数值解法的核心工具。贾宪的工作经由刘益《议古根源》（约1080年）得到扩展，刘益在该书中明确给出了二次到四次方程的数值解法，并开始系统化地处理方程系数为负的情形（即所谓"负方""益积"等概念）。

秦九韶的《数书九章》（1247年）将这一传统推到了新的高度。该书的核心贡献之一是"大衍总数术"，即求解一次同余方程组的系统方法。秦九韶的另一贡献是"正负开方术"，即高次方程（最高达十次）的数值解法，与贾宪、刘益的体系一脉相承但在工程性问题的复杂度上远超前人。秦九韶的文本特征是强烈的应用导向：全书81问中绝大多数针对的是赋税、土方、粮运、雨量等具体政务问题，体现出南宋数学与官僚行政的紧密关联。秦九韶本人官至沿江制置司参议官，具有官僚身份，这也部分解释了《数书九章》的问题来源——许多题目直接来自其行政经历。

天元术传统由李冶（1192—1279）成熟化。他在《测圆海镜》（1248年）与《益古演段》（1259年）中系统展示了天元术在几何问题与代数变换中的力量。李冶的工作有两点值得特别关注：他将天元术从零散的技巧提升为一门可教授的体系——这一点从《测圆海镜》170个问题的统一列法可以看出，每一问题都遵循相同的"设天元一为某某"的列法规则；他强调数学的纯粹智识价值，反对将数学仅仅视为致用之具——这一点在《测圆海镜》自序中有明确的表述："数与道非二本也"，但他同时批评"局于小技、沾于末务"的实用主义倾向。这与秦九韶《数书九章》序中高度工具化的立场形成有趣对照。

以杨辉为代表的实用算法传统构成了第三条线索。杨辉的活动时间约与秦九韶、李冶同时，主要著作包括《详解九章算法》《日用算法》《乘除通变本末》《田亩比类乘除捷法》等。其特点是面向中下层计算从业者，强调速算、捷算与商业实用。与前两条高深脉络形成对照，杨辉的工作构成了13世纪数学的大众化面。杨辉的另一贡献是对前代算法的搜集与整理——例如其《详解九章算法》保存了大量现已散佚的北宋算书片段，包括前文提及的贾宪工作。

这三条脉络的相互关系并不简单等价。北宋以来的开方传统可以视为天元术的算法前身——天元术本质上就是"以符号代替增乘开方法中的具体数值"的抽象化产物。但天元术的发明者究竟是谁，目前仍是学界讨论的问题。钱宝琮倾向于将天元术的萌芽上推至11—12世纪的某个时段，严敦杰等则主张其较晚发明。无论起源如何，到13世纪中叶，天元术已经在北方形成了独立于开方传统的符号体系。

朱世杰在《四元玉鉴》中明确表示他综合了这些传统。祖颐后序即称朱世杰"兼包众理"，这一说法并非客套。在《四元玉鉴》中可以看到：贾宪—刘益—秦九韶的高次方程数值解法构成了各"门"问题的求解基础，李冶的天元术被推广至二元、三元乃至四元，杨辉传统的实用问题（如垛积、招差、勾股等）则构成了具体的应用场景。这种综合并非简单的拼装，而是要将三种方法论传统熔铸成一个统一的、可处理多未知数高次方程组的系统。

为了直观展示这一传承关系，下图给出了主要方法论线索的流向：

```mermaid flowchart LR JiaXian["贾宪<br/>开方作法本源<br/>增乘开方法"] LiuYi["刘益<br/>《议古根源》<br/>正负系数开方"] QinJiushao["秦九韶<br/>《数书九章》<br/>大衍术与正负开方"] LiYe["李冶<br/>《测圆海镜》<br/>天元术体系化"] YangHui["杨辉<br/>实用算法<br/>与日用算术"] ZhuShijie["朱世杰<br/>《四元玉鉴》<br/>四元术与垛积招差"]

JiaXian --> LiuYi LiuYi --> QinJiushao JiaXian --> LiYe QinJiushao --> ZhuShijie LiYe --> ZhuShijie YangHui --> ZhuShijie ```

需要说明的是，此图所呈现的是方法论的亲缘关系，并非严格意义上的师承或引用关系。各条箭头背后所对应的具体文本对应与术语沿革，需要逐例核实，本文给出的是研究界普遍接受的简化图景。

三、《四元玉鉴》对前人工作的承继与突破

进入文本层面，《四元玉鉴》对前人的承继与突破体现在三个相互交织的维度：方程列法的统一、多元高次方程组的处理、以及高阶等差数列与有限和公式的系统化。

方程列法的统一体现在：贾宪以来的开方传统实际上已经隐含了一套关于"如何由问题列出方程"的规则，但这些规则散见于各具体问题的草文中，缺乏抽象表述。李冶的天元术则给出了抽象的列法：以"太极"标识等式，并以多项式系数按幂次排列的方式表示方程。朱世杰继承了这一抽象列法，并将其应用到所有类型的方程问题上，从一元到四元都是同一套列法规则的扩展。这意味着《四元玉鉴》中任何一"门"问题，原则上都可以用一种机械化的步骤完成列方程——这一点对于当时数学的可教学化至关重要。一个具体的表现是：《四元玉鉴》中每一问的格式高度统一，包括"今有""问曰""术曰""草曰"等结构，与《九章算术》以来的问题表达方式一脉相承，但底层所用方法已远超前代。

最具原创性的突破是多元高次方程组的处理，即所谓"四元术"。具体而言，朱世杰在《四元玉鉴》中建立了以下列方程的方法：以"太"（太极）居中表示常数项，"天"（天元）位于上方表示一个未知数 x，"地"（地元）位于下方表示另一未知数 y，"人"（人元）位于左侧表示第三个未知数 z，"物"（物元）位于右侧表示第四个未知数 w。四元各占一个方位，每个未知数的各次幂按升降幂顺序沿相应方向排列。等式则通过"剔而消之"（即消元法）将四元方程组化为一元方程，逐步求解。

这种方法的核心是消元思想。朱世杰的消元法虽未上升到现代代数的一般理论（如结式理论），但在实际操作层面已经具备了消去高次项、保留低次项、利用等式相减等基本技巧。其步骤严谨到可以通过"四元消法细草"（附录中的示范演算）完整记录下来，便于读者复现。

为了具体展示这一方法的运作方式，下面构造一个典型的问题结构，其形式与《四元玉鉴》"四象会元"门中代表性案例一致（数值取一般形式以便突出消元机制）。问题要求根据四个对称关系确定四个未知数 x、y、z、w：

$$x + y + z + w = a_1$$ $$xy + yz + zw + wx + yw + xz = a_2$$ $$xyz + yzw + zwx + wxy = a_3$$ $$xyzw = a_4$$

按朱世杰的消元程序，第一步将方程一与方程二视为关于 w 的多项式（把 x、y、z 视作参数），并对方程一与方程三做线性组合，消去 $w^2$ 项。具体地，由方程一解出：

$$w = a_1 - x - y - z$$

将其代入方程四，得到：

$$xyz \cdot w = a_4 \Rightarrow w = \frac{a_4}{xyz}$$

联立上述两式消去 w，得：

$$a_1 - x - y - z = \frac{a_4}{xyz}$$

整理为：

$$xyz(a_1 - x - y - z) = a_4$$

即：

$$a_1 \, xyz - x^2 yz - xy^2 z - xyz^2 = a_4$$

这是关于 x、y、z 的三元方程。类似地，可以继续代入方程二与方程三，逐步消去 z 与 y，最终得到关于 x 的单变量方程。每一代入都对应一次"剔而消之"操作，朱世杰在算草中详细记录了每一步的系数变换。

朱世杰消元法的关键性质在于：所有操作都是机械化的，没有依赖几何直觉或特殊技巧。这使得四元术具有真正意义上的"算法"性质，而非"洞察"性质。这是它与现代代数连接的根本点，也是与古希腊几何式综合法的根本差异。需要注意的局限是：朱世杰的四元术在处理四元以上问题时不再适用，因为"太、天、地、人、物"五个方位已被占满，这一几何-方位式记号法的容量是有限的。

第三个维度的突破是垛积术与招差术的系统化。垛积术是关于高阶等差数列求和的方法，相当于现代的有限差分求和。招差术是利用各阶差分反推数列项的方法。在《四元玉鉴》中，朱世杰给出了从一阶到四阶的完整差分公式，包括"茭草形"（一阶差分等差数列求和）、"三角垛"（二阶）、"撒星形"（三阶）、"三角撒星形"（四阶）等具体案例。这些公式在数学上等价于 $\sum_{k=1}^{n} \binom{k+r}{r}$ 类型的求和，例如"三角垛"的求和结果为：

$$\sum_{k=1}^{n} \binom{k+1}{2} = \binom{n+2}{3}$$

"撒星形"对应：

$$\sum_{k=1}^{n} \binom{k+2}{3} = \binom{n+3}{4}$$

朱世杰以"实"（常数项）、"上廉"（一次项系数）、"下廉"（二次项系数）等术语来命名差分多项式的各层系数，与贾宪以来的开方法术语完全一致。这一术语的统一不是偶然的——它表明朱世杰在概念上将差分多项式视为一种特殊形式的高次方程，其数值求解仍可借助增乘开方法完成。

朱世杰的垛积术与招差术之所以重要，在于它们为后世提供了关键工具。元代《授时历》（1281年）的编制中就使用了类似的高阶差分方法——王恂、郭守敬等人在计算太阳盈缩、月球迟疾等不均匀运动时，需要精确的插值公式，这正是招差术的直接应用。而《授时历》的编制者与朱世杰的活动时间高度重合，是否直接受到朱世杰影响是数学史界仍在讨论的问题。明代朱载堉在律学研究中也使用了类似的差分技术，其与朱世杰的关系同样有待考证。

四、《四元玉鉴》的历史地位评价

《四元玉鉴》的历史地位问题需要分两个时段讨论：当时与后世。

当时的影响相当有限。元代数学界的活跃人物主要是地方官学的教师与天文机构的算学人员，他们关心的是天文历算、赋税丈量等实际问题，对《四元玉鉴》所代表的抽象代数方法兴趣不大。莫若、祖颐为该书作序，但《四元玉鉴》在元代似乎并未广泛流传，现存最早的版本已经是清中叶的抄本与刻本。这种"生前无名、身后沉寂"的命运，与朱世杰所处的边缘地位（扬州一带的私学数学家，无官职）密切相关——元代官学系统中算学科目持续萎缩，科举考试中虽偶设"明算科"但录取极少，私学系统的算学教师只能依靠收徒授业维持生计，难以形成广泛的学术共同体。

转折发生在清中叶。乾隆年间，四库馆臣从《永乐大典》中辑出《四元玉鉴》残本，并委托当时精通数学的学者校勘。随后，阮元《畴人传》、罗士琳《四元玉鉴》校勘、李善兰、华蘅芳等人先后对该书进行了深入研究。罗士琳的校勘（1837年刊行）尤为关键，他在吸收焦循、汪莱、张敦仁等人工作的基础上，对《四元玉鉴》的四元消法做了详细的现代解读，并将其与中国传统数学的其他线索相联系。罗士琳的工作有一个值得注意的特点：他刻意将朱世杰的"剔而消之"与西方代数的"消去法"做平行对照，试图在中国传统数学的框架内重构其方法论的现代意义。罗士琳之后，沈钦裴的算草、戴煦的图解进一步推进了对该书的理解，沈钦裴尤其以严谨的逐题复算著称，其工作后来成为现代数学史研究的重要参照。

到20世纪初，随着李俨、钱宝琮、严敦杰等中国数学史家的系统研究，《四元玉鉴》被确立为中国传统数学的高峰之一。这一时期的研究特点是：历史文献的搜集与版本校勘相结合，方法论分析与文本考据相结合，形成了一种较为完整的数学史研究范式。20世纪后半叶，李约瑟在《中国科学技术史》第三卷中，将《四元玉鉴》与同时期阿拉伯代数学、欧洲文艺复兴时期的代数发展并置讨论，指出朱世杰的四元术在世界代数史上具有独立于欧拉、范德蒙德等人的发展路径。这一评价在中国数学史界产生了深远影响，但也引发了一些争议：是否过度强调了中国传统数学与现代代数的相似性？

平行不等于等价。19世纪欧洲代数的发展基于符号逻辑与一般性定理的追求，而《四元玉鉴》始终是问题驱动的、具体数值解导向的。两者的"代数"含义并不完全相同。前者追求抽象结构的统一，后者追求具体问题求解算法的有效。朱世杰的成就是后者这一脉络中的一次高峰，但不是现代代数的直接前身。

将《四元玉鉴》视为"中国13世纪的高水平数学成果"或"东方的代数学高峰"，都不算错，但都需要附加限定：它的辉煌是局部性的（限于高次方程组求解与有限和公式两个领域），它的延续是断裂性的（元代之后无显著的继承者），它的再发现是迟到的（清中叶以降）。这些事实并不削弱其成就，反而凸显了宋元数学传统本身的不稳定性——一个曾经高度发达的学术脉络，可能因为社会条件的变化而在数百年间进入"沉睡"状态，直到外部条件具备时才被重新激活。这与其他领域（如天文学、医学等）的传统在元明清之际的命运既有相似之处，也有差异——比较这一命运与数学的命运，可以看出学术传统存续的社会条件。

本章小结

朱世杰是13世纪末至14世纪初活跃于扬州一带、自号"松庭"的私学数学家，其生平资料极度稀少，所幸其两部主要著作——《算学启蒙》（1299）与《四元玉鉴》（1303）——保留了完整文本，使我们能够从方法论层面反推其学术网络。本章的考证显示：朱世杰综合了贾宪—刘益—秦九韶的高次方程数值解法传统、李冶的天元术体系、以及杨辉以来的实用算法传统，并在《四元玉鉴》中将三者熔铸为可处理四元高次方程组的统一系统。

具体而言，《四元玉鉴》对前人的承继主要体现在列法规则与开方技术上，突破则集中在四元消元与高阶差分两个维度。四元消法的机械化性质使其具有真正意义上的算法可复现性，而垛积招差术则为后世天文计算与律学提供了关键工具。

《四元玉鉴》的历史地位在当时被严重低估，直到清中叶才被重新发现并确立为宋元数学的高峰。在世界数学史的语境下，它是与阿拉伯代数、欧洲早期代数并行的独立发展路径，但与现代代数在基本取向上存在差异。

下一章将进入《四元玉鉴》的版本与体例问题：现存各主要版本之间的关系、文本结构的细节、以及由此引出的"如何以现代形式忠实呈现朱世杰文本"这一文献学议题。