七百年前的方程
七百年前的方程
公元1303年，元代大德七年，春。燕京崇仁门附近的一间刻书坊中，雕版匠人正将一块木版浸入墨汁，准备试印。木版上的符号与文字与常见的经史子集截然不同，这是一部算学著作的雕版。撰写此书者，是朱世杰。他在元代中前期游历南北讲学二十余年，将此前零散的算学成果系统化，并向前推进了一大步。书成之时，他亲笔题写书名：《四元玉鉴》。
要回答"这是一部怎样的书"，先要回到它诞生的时代。一部古籍的价值，往往取决于它在传统脉络中的位置。理解这部书，第一步是把它放回宋元之际中国数学的整体进程中，看它从何处来、向何处去。
一、燕京春雪：朱世杰与《四元玉鉴》的诞生
朱世杰的生平资料留存甚少。能够确认的，是他字汉卿，号松庭，大约生于十三世纪中后期，活跃于元代中前期。他一生以教授算学为业，足迹遍及燕京、杭州、扬州、长沙等地，与当时的算学家多有交流。这种游历讲学的生涯，使他得以汇聚南北两地的算学传统。
朱世杰所处的时代，是中国传统数学的一个高峰。宋元之际，代数方法取得长足进展。从《九章算术》中的线性方程组，到宋代秦九韶《数书九章》（1247年）中的高次方程数值解法，再到杨辉、朱世杰等人对各类算法的整理与拓展，一条清晰的脉络贯穿其中。朱世杰站在这条脉络的末端，承担了集大成的角色。
宋元之际的几位代表人物，可以排列成一个简短的序列。北宋的贾宪已经掌握了高次方程的数值解法，并提出了"增乘开方法"的雏形。南宋的秦九韶在《数书九章》中将这种方法推广到任意高次方程，并给出完整的程序。元代的朱世杰，则将这些方法进一步推向多元情形，处理多个未知数的高次方程组。从一元到多元，从低次到高次，这条进路在朱世杰手中走到了当时的极限。
《四元玉鉴》的成书，与朱世杰的另一部著作《算学启蒙》（1299年）相辅相成。《算学启蒙》是一部面向初学者的入门书，从最基本的运算讲起，先教九九乘法，再教分数运算，最后教方程入门。《四元玉鉴》则是高阶著作，专门讨论高次方程与多元方程，是在前者基础上的深入。两者构成一个完整的学习序列：先学《算学启蒙》打基础，再读《四元玉鉴》入堂奥。这种安排，与现代数学教科书中"基础、进阶"的体系颇为相似。
《四元玉鉴》成书于1303年，正值元朝统治相对稳定、商业繁荣的时期。燕京作为元朝首都，是当时东亚最具国际性的都市之一，汇聚了来自波斯、阿拉伯、中亚的商人和学者。雕版印刷术在元代持续发展，使得各类著作的复制和传播都比前代更加便利。朱世杰在这样的环境中完成书稿，并非偶然。
将《四元玉鉴》置于世界数学史的背景中，可以看到它与同时代的世界数学家有某种平行。古希腊之后一千余年，欧洲尚未出现能与《四元玉鉴》匹敌的代数学著作。直到十九世纪，欧洲数学家才在抽象代数和代数几何的框架下，对多元多项式方程组进行了系统的理论研究。在这两者之间的六百年间，《四元玉鉴》是多元方程方法的高峰之一。
二、三卷、二十四门、二百八十八问
《四元玉鉴》是一部体例宏大的著作。它分为上、中、下三卷，共二十四门，二百八十八问。"卷、门、问"是这部书的三级目录结构。"卷"是最大的单位，相当于今天一本书的"篇"；"门"是按主题划分的章节，每一门集中讨论一类问题；"问"则是具体的题目，类似于今天的"例题"或"习题"。三级目录层层递进，构成一个完整的知识体系。
这一结构可以用下图直观展示：
```mermaid flowchart TD Root["四元玉鉴"] S["卷上 7门"] M["卷中 8门"] X["卷下 9门"] Sq["包含若干门"] Mq["包含若干门"] Xq["包含若干门"] Q["共288问"] Root --> S Root --> M Root --> X S --> Sq M --> Mq X --> Xq Sq --> Q Mq --> Q Xq --> Q ```
上卷以较为基础的方法为主，包括勾股测量、盈不足术、方程正负等内容。这些主题大多可在《九章算术》或宋代著作中找到源头，朱世杰将之重新整理、归类，并加入新的变体。卷上的题目较多是一元或二元的问题，难度相对适中，目的是为后续的多元高次方程做准备。具体而言，"勾股测望"门讨论直角三角形中已知两边求第三边或已知一边和一角求其他元素的计算方法，是几何代数化的典型例子。"盈不足术"则是处理"不足"与"有余"两类问题的通用方法，可追溯至《九章算术》。
中卷是全书的核心，开始系统讨论多元高次方程问题。"三才运元""四象会元"等门名直接点出主题：前者讨论三个未知数的方程组，后者讨论四个未知数的方程组。"三才"取自《周易》中"天、地、人"三才的概念，"四象"则来自"太阳、太阴、少阳、少阴"或"东、南、西、北"等四种基本范畴。这一卷的题目难度陡增，读者需要掌握前面所有基础方法才能顺利阅读。中卷的题目往往以农商问题或几何问题为外壳，背后则是抽象的多元方程组。
下卷汇集了更具综合性的问题，包括著名的"四象朝元"等门类。这些题目往往需要联合运用多种方法，对读者的综合能力提出较高要求。下卷的题目不仅在代数层面复杂，在题目设置上也常涉及几何背景，需要将代数与几何知识结合使用。卷下的某些题目，至今仍是中外数学史家研究的重点对象。
二百八十八问并非随意选取。它们在难度上呈现递进之势，同一门内的题目，由浅入深、由特殊到一般。读者若能依序研习，可以逐步掌握从一元一次方程到四元高次方程的全部方法。这种安排并非朱世杰独创，而是继承了《九章算术》以来"以类聚物"的教学传统。
三、"元"是什么：未知数的古典命名
《四元玉鉴》书名中的"四元"二字，是理解全书的钥匙。"元"在这里是一个数学术语，指代未知数，相当于今天方程中的 $x$、$y$、$z$ 等字母。
朱世杰把未知数命名为"元"，与古代中国的宇宙观有关。中国传统思想中，"元"含有"本原""起始"之意。《周易》有"乾元""坤元"之说，将"元"视为万物发生的根本。朱世杰借用了这一意象，将方程中"待求的量"称为"元"，即"待定的本原之数"。这一命名既实用，又承载着文化意味，是中国古代数学命名的一种独特风格。
《四元玉鉴》所处理的"四元"，分别名为天元、地元、人元、物元。这是中国算学传统中一种特殊的命名体系：天元代表第一未知数，地元代表第二未知数，人元代表第三未知数，物元代表第四未知数。四者合称"四元"，对应四个未知量。
这种命名并非随意，而是体现了朱世杰对问题结构的把握。一个涉及四个独立未知量的方程组，恰好需要四个符号来表示。借"天地人物"四字，既赋予数学符号以文化意味，又能在书写时清楚区分各个未知数。在没有现代字母符号的时代，这种借字命名的方法是处理多元方程的有效手段。
方程中出现的常数项，朱世杰称之为"太"或"常数"。"太"字取"初始""根本"之意，与"元"字的含义相互呼应。一个包含常数项和未知数的方程，在朱世杰笔下呈现出与今天迥异的面貌。
未知数的各次幂，则用专门的术语表示：天元的一次幂、二次幂、三次幂分别称为"天元一""天元平方""天元立方"，依次类推。一个含有天元 $x$、地元 $y$ 的方程 $x^2 + y^2 = 100$，在朱世杰的笔下会被写成包含"天元平方""地元平方""太一百"等术语的式子。
这种表达方式乍看繁琐，实则逻辑严密。每一个术语对应明确的数学对象，不存在歧义。一道题目读下来，读者便能在脑中重建出完整的方程结构。理解了"元"字的含义，再去读《四元玉鉴》的原文，便不会觉得神秘莫测。
"玉鉴"二字则是比喻。"鉴"即镜子，玉制的镜子在古代是精纯光洁的象征。朱世杰以此命名，意在表明书中所载算法如镜之照物，能让复杂的方程问题清晰可解。"玉鉴"二字与"四元"合起来，传达出这部著作的核心立意：以精纯如镜的方法，处理四元方程的复杂问题。
书名中的每个字都承载着实实在在的含义。理解"四元"是打开这部书的钥匙，理解"玉鉴"则是把握其方法论精神的钥匙。
四、从一道题目看四元方程：朱世杰的"四元消法"
《四元玉鉴》卷中第一问，是一道"二元二行式"的题目。这类题目涉及两个未知数、两个方程，是多元方程组的入门形态。
朱世杰在书中设计的问题，往往从一个具体的生活情境出发。例如，一道典型的"二元二行式"可能这样描述：
> 今有两县，甲县人口较乙县多若干，乙县粮产较甲县多若干，两县合计人口若干、合计粮产若干。问甲乙两县人口与粮产各几何。
这类问题的现代翻译，可以归结为解一个二元一次方程组。设甲县人口为 $x$，乙县人口为 $y$，甲县粮产为 $u$，乙县粮产为 $v$，则题目给出的条件可以转化为：
$$\begin{cases} x - y = a \\ v - u = b \\ x + y = c \\ u + v = d \end{cases}$$
其中 $a$、$b$、$c$、$d$ 是题目中已知的常数。
朱世杰处理这类问题的方式，与今天用代入消元法或加减消元法的思路相似。他将方程组整齐排列，用"行"表示每个方程，使某一未知数的系数对齐，再将两行相减或相加，从而消去该未知数。完成这一步后，问题就降为只含一个未知数的方程，可以用前面已经掌握的方法求解。
这一步骤在中世纪欧洲代数学中尚未系统化。古希腊的丢番图虽然处理过方程问题，但其方法不具有普遍性。阿拉伯数学家花拉子米等人发展了一元二次方程的系统解法，但对多元方程组涉足不多。朱世杰的工作早于欧洲同类方法近四百年。
《四元玉鉴》最令人瞩目的成就，是处理四元高次方程组的方法，即四元消法。"四元消法"的核心思想是：对于含有四个未知数的高次方程组，通过反复消元，逐步减少未知数的个数，最终归结为一元高次方程，再用宋代已经成熟的增乘开方法求解。
消元的每一步都对应着一组代数操作，类似今天所说的"结式"（resultant）概念。朱世杰虽未使用现代符号，但他描述的操作在实质上与十九世纪欧洲代数学家重新发现的方法等价。所谓"结式"，是两个多项式之间消去共同变量后得到的表达式，朱世杰的消元步骤正是在构造这样的表达式。
一个具体的例子是《四元玉鉴》卷下"四象朝元"门中的若干题目。这些题目涉及四个未知数的高次方程，需要反复进行消元变换。每一步变换都对应着某两个"元"被消去，直到方程中只剩下一个未知数。这一步看似只是技术操作，实则揭示了多元方程求解的根本规律：复杂问题可以通过逐层分解，回到已知的简单情形。这一思想在今天的数学中仍然有效。
值得指出的是，朱世杰的"四元消法"并非机械的代数变换，而是一套有明确程序的方法。他在书中给出了详细的操作步骤，每一步的顺序与目的都交代得清楚。读者只要按部就班，便能从复杂的多元方程组走到最终的解。这种"程序化"的特点，与现代计算机科学中的算法思想有相通之处。
从算法的角度看，"四元消法"的每一步操作都满足三个条件：步骤有限、步骤明确、结果唯一。这三个条件恰好是现代算法理论的基本要求。朱世杰在十四世纪就给出满足这些条件的算法，说明他对方法的"程序性"有自觉意识。
五、与现代方程的并置
将《四元玉鉴》中的方程写法与现代符号并置，可以更清楚地看到这部古籍的数学内核。
假设一道"三元三行式"的题目可以归结为如下方程组：
$$\begin{cases} x + y + z = 6 \\ x^2 + y^2 + z^2 = 14 \\ x^3 + y^3 + z^3 = 36 \end{cases}$$
朱世杰不会用 $x$、$y$、$z$ 这些字母，而是用"天元""地元""人元"分别代表三个未知数。方程中也不会出现 $x^2$ 这种指数记号，而是用"天元平方""天元立方"这样的术语来表达各次幂。常数项 6、14、36 则被写成"太六""太一十四""太三十六"。
不过，方程背后的逻辑结构是相同的。无论是用古代术语还是现代符号，核心问题都是：给定若干方程，求出满足这些方程的未知数的值。
朱世杰的"四元消法"，在精神上与今天线性代数中"高斯消元法"一脉相承，又与代数学中"消元理论"密切相关。不同之处在于工具：朱世杰没有抽象的代数符号，一切运算都依赖文字描述和算筹操作；现代数学则有完整的符号体系和严格的逻辑基础。
工具上的差异，并不影响方法本身的普适性。读《四元玉鉴》，其实是在读一种跨越时代的思维范式：用系统的步骤处理复杂的代数问题。这种范式在今天的高等数学和计算机科学中仍然被广泛使用。
更进一步，朱世杰的工作还涉及方程的"几何解释"。在某些题目中，他会用几何图形的面积或体积来表达方程中的项，从而将代数问题与几何直观联系起来。这一做法与现代"代数几何"的方法有异曲同工之妙，只是朱世杰没有现代意义上的几何坐标系。
举一个具体的例子。某些涉及"勾股"内容的题目，会将直角三角形三边长度的代数关系转化为方程。这种"以形代数"的方法在中国传统数学中源远流长，从《周髀算经》到《九章算术》再到《四元玉鉴》，构成一条清晰的脉络。
将《四元玉鉴》放在世界代数史中，可以看到它的位置。它在符号化程度、抽象程度上不及十九世纪以后的代数学，但在方法的多样性、应用的丰富性上，与同时代的世界成果相比毫不逊色。中国传统数学在这里达到了自己的高峰。
六、为何在七百年后仍值得翻开
回答"为何在七百年后仍值得翻开"，需要回到这部书的数学内核。
《四元玉鉴》所讨论的四元高次方程组，是代数中一个经典而深刻的主题。直到十九世纪，欧洲数学家才在抽象代数和代数几何的框架下，对多元多项式方程组进行了系统的理论研究。朱世杰在十四世纪初给出的方法，与这些研究在精神上遥相呼应。
对今天的少年读者而言，翻开《四元玉鉴》首先是一种文化体验。一部七百年前的算学著作，其结构之宏大、方法之系统、问题之丰富，足以让人对中国古代数学的成就刮目相看。它告诉读者：中国传统数学并非只有"鸡兔同笼"之类的小技，而是有处理高深代数问题的成熟体系。
更重要的是，它提供了一种思维训练。书中二百八十八问，每一题都需要经过"设元、布列、求解"的过程。这一过程，与今天数学教育中的"建模、求解、验证"如出一辙。少年读者若能完成几道题目的全流程，便会对代数方法的实质有更深体会。
《四元玉鉴》也是一座桥梁。它将中国传统数学推向一个新的高度，又通过阿拉伯世界的传播，间接影响了欧洲代数学的发展。理解这部书，就是理解东亚数学传统在世界数学史中的位置。
读《四元玉鉴》并非为了复原本来的算法，而是为了理解一种思维方式。朱世杰用他的方法告诉我们：面对复杂的代数问题，可以将其分解为多个简单的步骤，逐一击破。这种思维方式，在今天依然适用。
本章小结
《四元玉鉴》是元代算学家朱世杰于1303年完成的一部代数学专著。全书三卷、二十四门、二百八十八问，按"卷、门、问"三级目录组织，是体例宏大的算学百科。
书名中的"四元"指天元、地元、人元、物元四个未知数，"玉鉴"则是对书中算法精纯如镜的比喻。这部书的核心成就，是系统给出了处理四元高次方程组的"四元消法"，是中国古代方程术的巅峰之作。
《四元玉鉴》在数学史上的位置，可以与同时代的世界数学成果并列。古希腊代数学之后一千余年，欧洲尚未出现能与它比肩的多元方程著作。它的出现，标志着中国古代代数方法达到一个新的高度，也折射出宋元之际东亚数学的整体水平。
理解了《四元玉鉴》是一部怎样的书之后，自然会追问一个问题：写出这部书的朱世杰，究竟是怎样一位算学家？他如何从一位游历讲学的教师，成为中国古代方程术的集大成者？下一章，将回到这位算学家本人。