朱世杰与《四元玉鉴》
朱世杰与《四元玉鉴》
理解中国古典数学的深层逻辑，往往需要从具体文本出发，在历史语境中还原其问题意识与求解策略。《四元玉鉴》作为宋元数学的巅峰之作，完整保存了朱世杰对多元高次方程系统的理论建构与算法设计。然而，这部成书于十四世纪初的数学专著，长期淹没于西方数学东渐的叙述框架中，其独特的符号体系、问题分类与算法思维，未能得到充分的学术阐释。本章将回到文本肌理，考察朱世杰其人、《四元玉鉴》其书的基本面貌，并追问一个根本问题：为何在数学史已相当丰富的今天，这部著作仍值得今人重返细读？
一、从天元术到四元术：宋元数学的演进脉络
任何理解朱世杰数学成就的尝试，都必须首先将其置于宋元数学的宏观背景之中。十二至十四世纪的中国数学经历了一场深刻的符号革命，从筹算操作到文字代数，从单一未知量到多元联立方程，数学问题的表达形式与求解技术都在这一时期发生了质的飞跃。天元术的成熟与四元术的创立，正是这场变革的核心成果。
天元术是指以“天元”为未知量符号，建立高次方程的代数方法。其基本思路是：设某一量为“天元”，根据问题条件建立等式关系，将所有量用天元及其幂次表示，整理后得到一个多项式方程，然后对方程进行数值求解。这套方法至迟在十二世纪已经相当成熟，李冶的《测圆海镜》（1248年）是现存最早的系统性天元术著作。在《测圆海镜》中，李冶解决了大量与直角三角形内切圆相关的几何代数问题，所涉方程最高次数达到六次，其算法已具备现代意义上的多项式运算雏形。
天元术的出现标志着中国数学从几何证明范式向代数方程范式的根本转变此前，宋代数学家如贾宪、秦九韶等人虽在高次方程数值解法上取得突破（如增乘开方法、大衍总数术），但其问题表述仍依赖文字语言，方程的建立与求解尚未形成统一符号系统。天元术的贡献在于提供了一个结构化的未知量框架，使得复杂问题的代数翻译变得规范可控。
然而，天元术本质上是单未知量代数方法。当问题涉及两个或更多相互关联的未知量时，仅凭天元术难以有效表达其数量关系。元代数学家的应对策略是扩展符号系统：从一元的“天元”扩展为二元、三元乃至四元的符号体系，四元术由此诞生。《四元玉鉴》正是这一扩展的系统化成果，将多元联立方程的建立、化简与求解整合为一套完整的方法论。
从技术史的角度看，四元术的创立体现了中国古代数学家处理多变量问题时的独特思路。与古希腊几何代数传统和印度-阿拉伯代数传统不同，宋元数学家发展出一套基于“率”与“列衰”的比例推理方法，其核心是将不同量之间的比例关系作为问题建模的基本单元。四元术继承了这一传统，并将其拓展到多元高次方程领域，使得原本需要繁琐文字描述的复杂关系，可以借助四元符号体系得到简洁表达。
理解这一背景对于后续分析《四元玉鉴》的具体内容至关重要。朱世杰并非凭空创造四元术，而是在天元术成熟、筹算体系完备、多元问题积累丰富的条件下，将分散的技术创新整合为系统化的理论框架。这种整合本身就体现了高度的数学创造力。
二、朱世杰其人：文献记载与生平考订
关于朱世杰的生平，现有文献提供的信息相当有限。《四元玉鉴》本身是了解其学术活动的最重要史料，此外仅有元代序跋、方志及后世的零星记载可以参证。
朱世杰，字汉卿，号松庭。关于其籍贯与活动年代，主要依据有三。其一，莫若、祖颐在该书序言中的记载。莫若序署“ 大德德亥季秋望日”，即1299年九月中旬；祖颐序署同一时间。两人在序中称朱世杰为“松庭先生”，对其学识倍加推崇。其二，赵元镇《革象新书》的记载。赵氏在书中提及“汉卿”，并称其“以数学周游四方”，与朱世杰以布衣身份游历各地、以数学教学为业的记载相吻合。其三，后世学者的考证。清人罗士琳在《四元玉鉴细草》中综合各方记载，认为朱世杰“当在元宪宗时”（1251-1259年），其主要学术活动集中于十三世纪末至十四世纪初。
从上述材料可以推断，朱世杰生于燕山地区，即今北京一带，以布衣之身周游各地，从事数学教学与著述。这一身份在元代社会具有特殊意义。蒙古贵族入主中原后，科举制度长期废置，士人上升通道受阻，相当一部分知识分子转向技术性行业谋生。以数学一技之长游食四方，既是生计所迫，也是元代知识分子的一种生存策略。朱世杰正是在这一社会背景下，以数学教育者的身份获得广泛声誉。
朱世杰著述颇丰，现存两部重要著作：《算学启蒙》与《四元玉鉴》。《算学启蒙》是一部基础性数学教材，内容涵盖算术、几何、代数的基础知识，其编排由浅入深，显然面向初学者。这部著作的存在说明朱世杰不仅是一位数学家，也是一位有丰富教学经验的数学教育家。《四元玉鉴》则是其学术高峰之作，集中展现了他在多元高次方程领域的系统性贡献。两书相辅相成：《算学启蒙》为入门阶梯，《四元玉鉴》则是登堂入室后的深造之作。
关于朱世杰的学术师承，现有文献付之阙如。莫若、祖颐序中仅称其“洞彻乎数理”，未提及师承何处。从四元术与天元术的技术关联来看，朱世杰显然继承了李冶等人的代数传统，但其具体学术渊源已难以考证。有学者根据四元术的符号特征，推测其可能受到北方道教数理之学的影响，但此说缺乏直接证据。无论师承如何，朱世杰能够将分散的数学成果整合为四元术体系，本身就说明他是极具创造力的数学思想家。
朱世杰的学术活动年代正值宋元之际社会动荡之后。元朝统一中国后，社会秩序逐步恢复，经济发展带动了对计算技术的普遍需求。农业、手工业、商业的账目核算，土地测量与赋税计算，建筑工程中的几何问题，都需要数学知识的支撑。这种社会需求为数学家提供了施展才能的空间，也是四元术诞生的社会土壤。
三、《四元玉鉴》的版本系统与文本传播
一部经典著作的学术价值，不仅取决于其内容本身，也取决于其文本的保存与传播状况。《四元玉鉴》自1299年成书以来，经历了从手抄到刻版、从官刻到私刻、从罕见到常见的传播过程，其版本系统的梳理有助于理解这部著作在后世的学术命运。
《四元玉鉴》最初以手抄本形式流传。元代官刻数学著作甚少，普通书商亦无力承担技术性很强的数学书版刻制，朱世杰生前是否见到该书刻本，已不可考。现存最早的刻本当属元代原刻本残本，仅存卷中、卷下各若干页，藏于中国国家图书馆，残页背面有“祟化书坊”牌记，可知为江西一带民间书坊刻本。这一残本的存在说明，至少在元代中后期，《四元玉鉴》已进入民间书坊的流通渠道，尽管印量可能有限。
元刻本之后，明代长期未见重刻。清代是《四元玉鉴》重获关注的时期。康熙年间，数学家梅文鼎之孙梅珏成在内府发现元刻本残帙，组织人力进行校勘整理。乾隆年间，修《四库全书》时曾征访该书，但最终未收，仅存《四库全书总目提要》中的记载，说明彼时该书已属罕见。真正使《四元玉鉴》重见天日的，是嘉庆年间阮元的主持刊刻。阮元是清代乾嘉学派的代表人物，以提倡实学著称。他组织刊刻《四元玉鉴》，收入《揅古拜经斋丛书》，这是该书首次以完整刻本的形式公开流传。阮元刊本以元刻本残帙为底本，参校其他抄本，附有校记，是目前可见的最早完整版本。
晚清至民国时期，《四元玉鉴》引发了一批学者的研究兴趣。戴震曾得见元刻本残叶，撰有题跋；李锐曾为该书作注；罗士琳《四元玉鉴细草》是第一部系统性的校注本，对原书每一道题目都给出详细的解题步骤与校改说明。罗氏的工作对于后人理解四元术的具体操作具有重要价值，但其校改亦间有失当之处，后世学者时有驳正。
二十世纪以来，《四元玉鉴》的校勘整理取得重要进展。1985年，上海古籍出版社影印出版了阮元刻本；1996年，内蒙古人民出版社出版了李迪、白尚恕的整理本；2015年，科学出版社出版了郭世荣的校释本，后者综合各家之说，对原书进行了系统校勘，并附有详细的注释与解题。这些整理本为当代学者提供了可靠的文本基础。
值得注意的是，《四元玉鉴》的版本系统存在若干悬而未决的校勘难题。例如，原书部分题目的条件与答案之间存在矛盾，或因传抄刻版中的笔误，或因朱世杰本人计算中的疏失，如何辨别这些错误并给出合理的校改，是版本整理中的核心工作。此外，四元术的符号系统在后世的理解中出现过偏差，某些解题步骤的复原存在多种可能，这也是当前版本整理尚未完全解决的问题。
四、全书结构与问题分类体系
《四元玉鉴》全书分为上、中、下三卷，共计二百八十八问。这一规模在宋元数学著作中属于中等体量，但问题的复杂程度与方法的系统性远超同期其他著作。
卷上凡七门，依次为：直段求源、混积问源、明积操作、拨换藏踪、锁套吞容、方程正负隅、四象会元。每门之下包含若干问题，门与门之间存在逻辑递进关系。以“方程正负隅”为例，此门专门讨论联立线性方程组的求解问题，涉及正负数的运算规则。“四象会元”则是全卷的总结，涉及四元方程组的建立与基本求解，是上卷内容的理论升华。
卷中共七门，与卷上相呼应，侧重于方程化简与特定类型问题的求解。值得关注的是“左右看还”与“前后照焉”两门，分别讨论方程的变形与等价转化，涉及方程组消去法的基本原理。卷下凡八门，收官之作为“果垛叠藏”与“四元秘诀”，前者讨论高阶等差级数求和问题，后者则总结四元术的核心算法与技巧。
上述门类划分反映了朱世杰对数学问题的独特分类标准。与现代数学以问题性质（代数、几何、数论等）进行分类不同，朱世杰的分类更接近于以求解方法与问题情境为依据。例如，“拨换藏踪”并非一类具体问题，而是一类解题策略——通过变量替换将复杂问题转化为已知类型。这种以方法论为纲的分类体系，凸显了四元术作为一套算法系统的本质特征。
二百八十八问按照其涉及的方程类型，可以分为三大类。第一类是二物问题，即涉及两个未知量的代数问题。这类问题在四元术体系中具有基础地位，因为两元问题是多元问题简化的最终形态。典型的二物问题形如：已知某两个量之间满足某种比例关系，且它们的某种组合满足另一条件，求这两个量。第二类是三物问题，涉及三个未知量的联立方程，问题难度显著增加。第三类是四物问题，涉及四个未知量的联立方程组，是四元术的核心应用领域。
从方程次数来看，原书问题涉及的最高次数为四次，即方程中未知量的最高幂次为四。四次方程在数值求解上已有相当难度，而多元四次方程组的求解则需要系统的消去法与高阶技巧。这说明朱世杰不仅要解决具体问题，还要建立一套可以机械地处理任意多元高次方程组的算法框架。
朱世杰在全书组织上的另一贡献是设置了“问答相足”的结构。每一道题目都包含问题陈述与解答两部分，解答并非简单的数值答案，而是完整的解题过程。这种结构表明，《四元玉鉴》不仅是一部问题集，更是一部示范性教科书，旨在传授四元术的运用方法。读者通过研读具体问题的解答，可以逐步掌握四元术的基本技巧与操作规范。
下表概括了《四元玉鉴》三卷的基本结构：
| 卷次 | 门数 | 主要内容 | 问题类型侧重 | |:---:|:---:|:---|:---| | 卷上 | 7 | 方程建立与基本求解 | 二物、三物 | | 卷中 | 7 | 方程化简与变形技巧 | 三物、四物 | | 卷下 | 8 | 综合应用与算法总结 | 四物为主 |
这套结构设计的逻辑是：从易到难，从简到繁，从具体到抽象。卷上建立四元术的基本框架，卷中深化技巧与化简方法，卷下则以综合问题检验学习效果，并给出核心算法的系统总结。这种由浅入深、循序渐进的编排方式，与《算学启蒙》形成呼应，共同构成朱世杰数学教育思想的完整表达。
五、四元术的核心算法与消元原理
作为《四元玉鉴》的理论核心，四元术是一套处理多元高次方程组的系统化方法。其基本思想是：通过逐步消元，将多元方程组化为一元方程，然后利用已成熟的一元高次方程数值解法完成求解。这套消元方法，朱世杰称之为“剔而消之”或简称“剔消”。
为了说明四元术的基本操作，这里选取一道原书中的典型问题进行详细分析。卷上“方程正负隅”门第二问：“设有二数，不知何数，但云甲乙相并得一百，乙倍甲而少二十，问二数各几何？”设甲数为 $x$，乙数为 $y$，则条件给出：
$$x + y = 100$$ $$2x - y = 20$$
这是一个二元一次方程组，对应于四元术中最简单的情形。消元的过程是：两式相加得 $3x = 120$，故 $x = 40$，代回原式得 $y = 60$。这一步骤体现了四元术的核心原理：将两个方程中的同一未知量消去，保留一个未知量，求解后再回代。
然而，当问题涉及三、四元乃至高次方程时，消元操作远非如此简单。以三物问题为例，设三个未知量为 $x, y, z$，如果它们之间存在三个独立的代数条件，就可以建立一个三元方程组。四元术的消去法需要在这三个方程之间进行系统性的两两消元，最终将三个未知量削减为一个。这要求操作者不仅要掌握多项式加减乘除的运算技巧，还要理解何时应该消哪个元、怎样消才能保持方程组的等价性。
朱世杰在《四元玉鉴》中给出了一种基于“互隐”与“递互”的消元策略。“互隐”指的是当两个方程中某一未知量的系数成比例时，可以通过加减法直接消去该未知量。“递互”则是当直接消元不可行时，通过引入中间变量或进行变量替换，创造消元的条件。这两种策略的灵活运用，体现了四元术作为算法系统的操作性与技巧性。
四元术的另一核心技术是“齐”与“次”的区分。“齐”指方程中各项幂次之和相等，“次”指幂次之和不等。在多元方程中，项的齐次性是消元过程中必须关注的性质。如果参与消元的两个方程不是齐次的，直接加减会导致次数混乱，需要先进行次数调整。朱世杰为此设计了一套完整的次数配合规则，确保消元操作的代数合法性。
对于四物问题，即涉及四个未知量的方程组，消元过程更加复杂。原书卷下“四象会元”门专门讨论这一问题，给出了系统性的四元消元程序。其基本思路是：先建立四个方程分别涉及四个未知量，然后按固定顺序依次消元，最终化为一元方程。具体而言，第一步在四个方程中选取两个，消去一个未知量，得到一个新的三元方程；第二步选取另一对方程，消去同一个未知量，得到第二个三元方程；第三步对这两个三元方程重复上述操作，消去第二个未知量，得到二元方程；最后对二元方程进行消元，得到一元方程，求解后再逐次回代。
这套程序的每一个步骤都涉及大量的多项式运算。以第三步为例，两个三元方程都是二元未知量的多项式方程，消去其中一个元需要计算这两个多项式的结式（resultant），其运算量相当可观。朱世杰在长期实践中积累了大量的消元公式与简化技巧，这些公式被整理后以“法”或“术”的形式收录于书中，成为四元术的标准组件。
值得指出的是，四元术的消元原理在数学上与现代代数几何中的消去法有深刻联系。两个多项式方程组定义的代数簇的投影与交点计算，正是消去法要解决的核心问题。从这个角度看，朱世杰的工作触及了代数几何的基本问题，尽管他使用的是完全不同的符号语言与思维方式。这一对应关系使得四元术在当代数学史研究中获得了新的意义：它不仅是中国古典数学的珍贵遗产，也是人类早期代数思维发展的独特见证。
六、从文本到方法：四元术的具体操作示例
理论框架的勾勒终究需要落实为具体的操作步骤。本节选取一道原书中的四物问题，详细展示四元术的解题过程，使读者对这一方法获得直观而非抽象的理解。
卷下“四象会元”门第七问：“设有四数，甲乙丙丁也。甲加乙与丙加丁相等；甲加丙与乙加丁相等；甲加丁与乙加丙相等；又四数相并得四十。问四数各几何？”
设甲、乙、丙、丁分别为 $x, y, z, w$。根据题意，四个条件可表述为：
1. $x + y = z + w$ 2. $x + z = y + w$ 3. $x + w = y + z$ 4. $x + y + z + w = 40$
这是一个典型的四元一次方程组。从条件1、2、3可以发现，前三个方程实际上只涉及两两之和的关系。我们将这三个方程分别改写为：
- 方程1：$x + y - z - w = 0$
- 方程2：$x - y + z - w = 0$
- 方程3：$x - y - z + w = 0$
现在应用四元术的消元程序。第一步：消 $w$。将方程1与方程2相加：$(x + y - z - w) + (x - y + z - w) = 0$，得到 $2x - 2w = 0$，即 $x = w$。将方程1与方程3相加：$(x + y - z - w) + (x - y - z + w) = 0$，得到 $2x - 2z = 0$，即 $x = z$。
第二步：消 $y$。由第一步已知 $x = z = w$，代回原方程组。方程2变为 $x + x = y + x$，即 $2x = y + x$，故 $y = x$。方程4变为 $x + x + x + x = 40$，即 $4x = 40$，故 $x = 10$。
于是得到 $x = y = z = w = 10$。检验：任意两数之和为20，任意两数之和亦为20，条件满足。
这道题目在四元术体系中属于特例：方程组存在对称性，解具有明显的规律性。但即便如此，消元的基本程序——逐步消元、一元求解、回代检验——依然完整展现了四元术的操作逻辑。对于更复杂的四物问题，消元过程需要更多的技巧与计算，但基本原理相同。
上述解题过程揭示了四元术作为算法系统的若干特征。首先，消元顺序并非任意，而是遵循一定的规则：通常先消出现次数最多的未知量，以简化后续运算。其次，消元操作依赖于对多项式结构的敏锐观察：哪些项可以配对、相加后能消去什么、次数如何配合，都需要实时判断。最后，回代与检验是算法完整性的必要环节，确保消元过程中没有引入额外解或遗漏原方程组的解。
朱世杰在《四元玉鉴》中设计的题目，从简单到复杂形成系列，使读者能够在模仿与练习中逐步内化这套操作规范。这种教学设计思想与《算学启蒙》完全一致：两部著作共同构成了从入门到精通的完整学习路径。
本章小结
本章从历史语境出发，系统考察了朱世杰与《四元玉鉴》的基本面貌。通过追溯从天元术到四元术的演进脉络，朱世杰的数学创造获得了清晰的学术定位：他是宋元代数传统的集大成者，将分散的多元方程求解技术整合为系统化的四元术体系。关于朱世杰其人，现有文献表明他是一位以布衣之身周游各地的数学教育家，其学术活动集中于十三世纪末至十四世纪初的元代社会。《四元玉鉴》的版本系统经历了从元刻残本到清代阮元刊本再到当代整理本的传播历程，文本的逐步完善为深入研究奠定了基础。全书三卷二十二门、二百八十八问的组织结构，以问题类型与求解方法为分类标准，体现了朱世杰对四元术作为算法系统的自觉意识。四元术的核心是消元法：通过逐步消去未知量，将多元方程组化为一元方程，再利用已成熟的数值方法求解。这一原理在理论上与当代代数几何的消去法存在深刻联系，在实践上则需要大量多项式运算技巧的支撑。通过具体例题的分析，四元术的操作逻辑得到了完整展示。
理解至此，一个根本性的问题浮现出来：《四元玉鉴》作为一部七百年前的数学著作，为何在今天仍然值得深入研读？答案不仅在于其历史价值，更在于其思想价值。四元术代表了一种独特的数学思维方式：以算法为中心，以操作为媒介，追求问题的机械化求解。这种思维方式与现代计算机科学的内在逻辑高度契合，使得四元术有可能为当代算法设计提供历史资源的启发。更重要的是，通过重返经典文本，我们能够认识到数学发展的多元路径，破除“数学进步线性论”的偏见，理解不同文明传统中数学思维的独特形态与贡献。
下一章将把视野从个人与文本拓展到更宏观的