朱世杰与他的时代
第 1 章：朱世杰与他的时代
当我们打开《四元玉鉴》这部尘封七百年的数学著作，首先遇到的不是那些在当时看来极为精妙的算法，而是一个最基本的问题：为什么一位生活在元代的数学家，会倾注毕生心力去研究一套被称为“四元术”的数学方法？这套方法究竟要解决什么问题，它的诞生又折射出怎样的时代风貌？
要回答这些问题，我们不能孤立地审视《四元玉鉴》本身，而必须把目光投向它诞生的历史语境。元代是一个充满张力的时代，草原游牧文明与中原农耕文明在这里激烈碰撞，商业贸易空前活跃，天文历法需求迫切，这些因素共同构成了数学发展的特殊土壤。正是在这样的土壤中，从北宋萌芽的数学传统非但没有断裂，反而在宋末元初结出了最丰硕的果实——朱世杰的《四元玉鉴》正是这果实中最耀眼的一颗。
但《四元玉鉴》的命运本身就是一个值得深思的现象。这部在当时代表最高数学成就的著作，为何在长达四百余年的时间里几乎无人问津？又是怎样的历史机缘让它重新进入学者的视野，并被赋予了超越“四大发明”叙事的更深层意义？这些问题将构成本章的核心关切。我们将从元代社会背景出发，追溯宋元数学传承的脉络，分析《四元玉鉴》的成书与流传，最终为后续的文本细读奠定历史坐标。
元代社会与实用算学的兴起
元帝国的建立是中国历史上一次深刻的社会变革。1271年，忽必烈汗正式建立元朝，定都大都（今北京），从此开启了蒙古贵族统治中原的九十余年。在这段历史中，游牧文化与农耕文明的碰撞构成了最基本的社会张力，这种张力既体现在政治制度层面，也深刻影响了学术文化的发展方向。
蒙古人作为征服者，对汉文化既吸收又保持距离。元朝在政治制度上实行“一国两制”，将民众分为蒙古人、色目人、汉人、南人四个等级，在法律、赋税、科举等方面实行差异化管理。这种体制设计本身就蕴含着对不同文明传统的某种尊重与并存。具体到学术领域，元朝统治者虽然大力扶持儒学，但对实用性的知识同样表现出浓厚兴趣——毕竟，治理一个疆域空前辽阔的帝国，远不是背诵经典所能应付的。
这种对实用知识的重视，直接催生了元代算学的繁荣。天文历法首当其冲。自唐代《大衍历》之后，中原历法经历了长足发展，但蒙古人入主中原后面临着新的问题：如何修正历法以适应中原地区的农业生产？元代著名的天文学家郭守敬主持编修《授时历》时，就在历法计算中大量运用了高次方程求解和球面三角学等数学工具。历法的精确与否直接关系到税粮的征收、水利的兴修乃至整个帝国的运转，这决定了天文计算是元代最刚性的数学需求。
水利与交通是另外两个强力推动数学发展的领域。元朝疆域广大，从南方的稻米产区到北方草原牧区，从沿海港口到内陆商道，构成了一个需要频繁计算路程、运费、货物转运的庞大网络。隋唐时期开凿的大运河在元代得到了进一步的疏浚和延伸，其中涉及的土方计算、水流速度测量、堤坝坡度设计等问题，都对算学提出了更高要求。据《元史·河渠志》记载，仅至元年间就有数十项大型水利工程上马，这些工程的规划设计无不需要精确的算术和几何计算。
商业贸易的活跃同样不可忽视。元代是古代中国商业的黄金时期之一，泉州、广州等沿海城市成为世界性的贸易港口，波斯商人、阿拉伯商人、欧洲商人穿梭其间。频繁的商品交换催生了对算盘的广泛使用，元末航海家汪大渊在《岛夷志略》中提到的“算筹”和“算盘”，显示当时的商人已经能够熟练运用这些工具进行复杂的商业算术。珠算取代筹算成为主流计算工具的转折点，恰恰发生在宋元之际，这一转变与商业实践的推动密不可分。
元代官学体制对算学的重视更是有力的制度保障。至元八年（1271年），元朝设立太史院，专门负责天文观测和历法编修；至元二十五年（1288年），又设立官办学校“蒙古国子学”和“回回国子学”，教授包括算学在内的实用技艺。此外，元朝还保留了前代的司天监和太史局系统，吸纳了大量民间算学家进入体制。这些举措为算学知识的传承和职业化提供了制度支撑，使得数学研究不再仅仅是士大夫的案头雅好，而成为可以谋生、可以报效国家的正经职业。
在这种社会氛围下，元代的算学家群体呈现出与前代不同的面貌。他们中的许多人并非传统意义上的科举士子，而是以技艺立身的专业人才。李冶（1192—1279）就是典型代表。这位河北栾城人，金朝进士出身，却在金末战乱中放弃仕途，隐居在封龙山下，一面著书立说，一面收徒授业。他的《测圆海镜》和《益古演段》都是数学史上的名著，但写作动机并非追求科举功名，而是出于对数学本身的热爱和对实用技艺的推崇。李冶的这种身份认同，代表了元代算学家的一种典型心态：他们不依附于科举体制，而是以专业能力赢得社会的尊重。
正是在这样的时代土壤中，朱世杰应运而生。关于他的生平，我们所知甚少，目前没有发现他的传记材料，只能从同时代人的零星记载和《四元玉鉴》本身的序言中拼凑出一个模糊的轮廓。大约在13世纪末至14世纪初，朱世杰活跃于北方地区，以算学为业，周游各地，教授生徒。他自称“燕山朱世杰”，说明其籍贯可能在今天的北京一带。与李冶晚年隐居不同，朱世杰更像是一位云游四方的职业算学家，靠传授算学和为人提供计算服务为生。这种身份使他对社会的实际计算需求有直接的了解，也使他的著作带有更强的实践导向。
宋元数学的传承脉络
要理解《四元玉鉴》在数学史上的位置，必须把它放在宋元数学发展的长河中考察。从北宋到元末的两百多年间，中国数学经历了一次质的飞跃，从以算术技巧为主逐步走向对方程理论的系统探索，朱世杰的成就正是这一发展脉络的集大成者。
北宋是中国古代科学的黄金时期之一。沈括（1031—1095）在《梦溪笔谈》中记录的隙积术和会圆术，展现了北宋学者处理几何与代数问题的精湛技艺。但如果说北宋数学有什么遗憾的话，那就是缺乏一部像《九章算术》那样的系统性集成著作。这种遗憾在秦九韶手中得到了弥补。
秦九韶（1208—1261）是南宋最重要的数学家之一，他的《数书九章》（1247年完成）标志着中国剩余定理研究的最高成就。所谓“大衍总数术”，即一次同余式组的解法，是秦九韶最杰出的贡献。这套方法的核心问题可以表述为：已知若干个除数和余数，如何找到一个数满足所有条件。例如，“今有物不知其数，三三数之剩二，五五数之剩三，七七数之剩二，问物几何”，这就是著名的“韩信点兵”问题。秦九韶的方法不仅能够解决这类问题，还能处理模数两两互质或不互质的复杂情况，其算法的完整性和系统性在当时世界上无出其右。
秦九韶的另一项重要贡献是对高次方程数值解法的改进。在《数书九章》中，他运用并改进了唐代贾宪的“增乘开方法”，能够求解高达十次方的方程。这套方法的核心思想是利用递推公式逐步逼近方程的根，实质上已经触及了后来欧洲数学中的霍纳法（Horner's method），只是早了数百年。秦九韶的《数书九章》涉及天文、气象、水利、建筑、财经等广泛领域，体现了数学服务社会实践的明确取向。
与秦九韶大体同时代的李冶，则将主要精力投入到另一条数学主线的建设中，这就是天元术——用符号表示未知数并建立方程的方法。李冶的《测圆海镜》（1248年）是现存最早的系统论述天元术的著作。在这部书中，李冶用一个专门的符号“夭”（或“元”）来表示未知数，然后在“夭”之上布列各次项系数，建立方程。例如，方程 $x^3 + 336x^2 + 4184x + 2488320 = 0$ 可以表示为一个竖列，夭在最下方，向上依次是常数项、一次项、二次项等，各项系数标注在相应的位置上。
天元术的意义在于，它标志着中国传统数学从“以算求答”向“以方程建模”的范式转变。在《九章算术》的传统中，数学问题通常是已知若干条件，通过一系列算术运算直接得到答案。而天元术引入了未知数的概念，使得复杂问题可以先用方程描述，再通过消方程求解。这种方法论上的突破，为后来四元术的诞生奠定了思想基础。
但李冶的工作也有其局限性。他主要研究的是一元高次方程，即只有一个未知数的情况。虽然他也在尝试发展二元、三元方程的表示方法，但始终没有形成系统。在《测圆海镜》中，所有的方程都是天元在一元的位置上，只是系数越来越复杂。这种局限性并非李冶个人能力不足所致，而是时代条件的制约——建立一个能够同时处理多个未知数的符号系统，在当时还没有形成强烈的需求驱动。
朱世杰的《四元玉鉴》正是在这一关节点上实现了突破。他继承并发展了李冶的天元术，将一个未知数扩展为四个未知数，建立了完整的天、地、人、物四元方程体系。从一元的方程到四元的方程，这一步跨越看似简单，实际上涉及符号表示、运算规则、消元方法等一系列基础性问题，每一个问题的解决都需要天才般的创造力。
四元术：数学思想的结晶
《四元玉鉴》全书共三卷，288个问题，涵盖了从代数到几何的广泛领域。但贯穿全书的核心方法是四元术，即用天、地、人、物四个位置来表示含有四个未知数的方程组的统一方法。四元术的诞生，标志着中国传统数学在方程理论领域达到了前所未有的高度。
要理解四元术，首先需要理解它的表示方法。朱世杰创造了一套精妙的符号系统：四个未知数分别用“夭”“地”“人”“物”四个汉字表示，它们在算筹布列中占据四个不同的位置。具体来说，天（元）在最下一行，地（Ⅱ）在倒数第二行，人（Ⅲ）在倒数第三行，物（Ⅳ）在最上一行。这种布置并非随意为之，而是经过深思熟虑的设计——它既便于识别不同未知数的各项，又为消元运算提供了空间上的便利。
四元方程的一般形式可以用算筹布列如下：最上一行是物位（第四个未知数），向上依次是人位、天位、地位，最下一行是常数项。这样，四个未知数的各次项可以分别布列，彼此不重叠。当需要表示某个未知数的某次项时，就在对应的位置上放置系数；如果该项不存在，则留空或用〇表示。
举一个《四元玉鉴》中的具体例子来说明。设四个未知数分别为 $x$（天）、$y$（地）、$z$（人）、$w$（物），一个典型的四元方程可以表示为：
$$ w + 2z + 3y + 4x + 5 = 0 $$
这只是常数项为零的一种简化形式。实际上，四元方程涉及的项数远不止这些，因为多元方程的乘积会产生混合项，如 $xy$、$xz^2$、$yzw$ 等。这些混合项如何表示，是一个极大的挑战。朱世杰的解决办法是：在四元图式中，混合项放在相邻两元之间的特定区域。例如，天与地之间的区域用来放置 $xy$ 项及其各次方；天、地、人三元的交汇区域放置 $xyz$ 项；以此类推。这种方法虽然复杂，但理论上可以表示任意多个未知数的任意次方程。
四元术的核心是消元法。当我们面对一个四元方程组时，如何逐步消去除一个未知数以外的其余变量，得到只含一个未知数的方程来求解，这就是消元法的任务。朱世杰在《四元玉鉴》中系统地阐述了几种重要的消元方法，其中最重要的是人除消法和地元消法。
人除消法的基本思想是利用方程两边同时除以某个未知数的幂次，然后通过代数变换逐步消去其他未知数。例如，假设我们有两个四元方程，希望消去人位（$z$），可以先将两个方程相除，使$z$的最高次项系数相同，然后两式相减，$z$的该项即被消去；重复这一过程，最终可以得到不含$z$的方程组。
地元消法则是利用方程两边同时除以某个未知数的幂次，然后通过代入和替换逐步消去变量。这种方法的核心是“剔”和“互”的交替使用——剔是将某个方程中的某项单独提出，互是将一个方程中的表达式代入另一个方程。通过反复运用这两种操作，最终可以把四元方程组化简为只含一个未知数的一元方程。
这些消元方法的技术细节相当复杂，朱世杰在《四元玉鉴》中用了大量篇幅举例说明。以卷中的“锁套吞容”问题为例，该问题涉及一个复杂的几何构型，需要建立四元方程组来求解。朱世杰的解法从建立方程开始，然后依次消去物位、人位、地位，最终得到一个关于天位的一元高次方程，再用增乘开方法求解。整个过程展示了四元术的完整流程，体现了极高的计算技巧和空间想象力。
值得注意的是，四元术的表示方法与道家思想有着深刻的内在联系。道家经典《道德经》有云：“道生一，一生二，二生三，三生万物。”这种从一到多、从简单到复杂的宇宙生成观，为四元术提供了哲学基础。夭、地、人、物四元，恰好对应道家的宇宙结构：天代表形而上的道，地代表形而下的器，人处于天地之间，物则是人类劳动所创造的事物。四元相乘相生，产生万物，这与道家的生成论形成了微妙的呼应。
当然，这种联系并非朱世杰刻意为之，而更多是一种文化基因的自然流露。在宋元时期，道家思想深刻影响了知识阶层的宇宙观和方法论，朱世杰作为那个时代的产物，不可避免地受到这种文化氛围的熏染。四元术的命名本身——“四元”即“四个本元”——就带有明显的道家色彩，强调的是宇宙的本原和生成。
成书、流传与再发现
朱世杰的《四元玉鉴》大约成书于1303年。这一年，大都的春天来得格外早，朱世杰在书前写下了“松庭尹先生career”的序言，说明此书已经完成并准备付梓。但这部著作的命运，却在此后数百年间跌宕起伏，堪称中国科技史上的一个缩影。
从成书到明初的两百年间，《四元玉鉴》应当有过一定的流传，否则不会在元末明初的文献中留下记载。但具体传播范围有多广、影响了哪些读者，今已难以考证。可以确定的是，随着元朝覆亡和明初社会的大动荡，包括《四元玉鉴》在内的许多珍贵典籍都面临着散佚的命运。明代统治者对算学远不如元朝重视，科举制度重新确立了理学的主导地位，算学沦为末流。在这种社会氛围下，《四元玉鉴》逐渐从知识界的视野中消失，最终只剩下孤本残卷在某些藏书家的书架上蒙尘。
关于《四元玉鉴》在明代的流传情况，目前能追溯的最早记录来自清代学者阮元（1764—1849）。阮元在编纂《畴人传》时，首次提到了朱世杰和《四元玉鉴》的存在，但他本人并未亲眼见过原书。真正使这部著作重见天日的，是稍后的两位学者：一个是江苏扬州的藏书家沈善登，另一个是浙江杭州的学者徐有壬。
沈善登在咸丰年间（1851—1861）得到了一部《四元玉鉴》的抄本，这是目前所知最早的存世抄本之一。但这个抄本残缺严重，文字漫漶，难以卒读。沈善登花费数年时间进行校勘整理，并在同治年间完成了刊刻，这就是后来的“沈氏刊本”。沈善登的工作意义重大，它使《四元玉鉴》首次以印刷的形式重新进入学术界的视野。
徐有壬（1800—1860）是清代中后期最重要的数学家之一，他在读到《四元玉鉴》后深感震惊，随即开始了深入的研究。徐有壬的贡献不仅在于校订和注解，更在于他对四元术方法的重新发掘和创造性运用。他在《四元玉鉴》的基础上，发展出了一套更为系统的四元方程理论，并将其应用于天文和工程计算。徐有壬的工作证明，四元术并非书斋中的文字游戏，而是具有实际应用价值的数学工具。
《四元玉鉴》的再发现，很快引起了国际学术界的关注。1856年，英国传教士和汉学家伟烈亚力（Alexander Wylie）在上海出版了《中国科学札记》，首次向西方读者介绍了《四元玉鉴》和朱世杰的工作。伟烈亚力本人虽然不是职业数学家，但他对中西方数学交流的贡献不可低估。此后，法国数学家L. P. E. N. 拜尔威（Bieberbach）和日本数学史家三上义夫（Yoshio Mikami）都对《四元玉鉴》进行过研究，使得这部中国古典数学名著逐渐进入世界数学史的视野。
但《四元玉鉴》的再发现也伴随着争议。最大的争议在于：目前存世的版本是否忠实反映了朱世杰的原意？清代学者在整理和刊刻过程中，是否加入了过多自己的理解和改动？这些疑问至今没有完全令人满意的答案。1980年代，李倍始（Ubiratan D'Ambrosio）和孔凯（K. Chemla）等学者运用现代数学史的研究方法，对《四元玉鉴》的不同版本进行了细致比对，发现其中确实存在若干可疑之处。某些算法描述在现存版本中显得不够连贯，可能是在传抄过程中被后人修改或简化过。
尽管存在这些争议，《四元玉鉴》作为宋元数学最高成就代表之一的地位，已经得到国际学术界的公认。1990年代，法国国家科学研究中心（CNRS）组织了对《四元玉鉴》的系统翻译和研究，出版了由林青（K. Chemla）和郭书春联合主编的法文译注本，这是迄今为止最为完善的《四元玉鉴》校注本。该书的工作不仅包括精确的原文翻译，还包含了对四元术算法的详细解析和现代数学诠释，为全球学者深入了解这部著作提供了可靠的基础。
重读《四元玉鉴》的当代意义
在结束本章之前，我们还需要回答一个更深层的问题：为什么在今天，在各种现代数学教材和计算机代数系统随手可得的条件下，我们仍然要花费精力去阅读一部成书于七百年前的古典数学著作？
这个问题的重要性，远不止于学术上的好奇。当今世界正经历着一场深刻的技术变革，人工智能、机器学习和计算机符号运算正在重塑数学的形态和边界。在这样的背景下，重新审视中国古典数学的成就，可以帮助我们跳出“现代数学源于西方”的单一叙事，重新发现数学发展的多元路径和人类智慧的丰富性。
《四元玉鉴》的核心贡献——四元术——在数学思想史上占有独特的位置。它是人类历史上第一个能够系统处理多元高次方程的符号方法，比欧洲类似方法的诞生早了数百年。欧洲数学中对方程组的系统研究，要到16世纪以后，随着字母符号的广泛使用才逐渐成熟。而在中国，朱世杰早在1303年就已经建立起一套完整的理论框架，尽管这套框架在表达上仍然使用汉字而非字母，但它在本质上已经触及了现代方程理论的核心问题。
这种历史比较的意义不在于争功，而在于拓展我们对数学发展规律的理解。数学思想不是从真空中产生的，而是深深植根于具体的社会需求和文化土壤中。四元术的诞生，既是元代实用算学需求推动的结果，也是道家宇宙观影响的产物。如果我们把数学仅仅理解为一套抽象的逻辑体系，就会忽视这种文化嵌入性；而一旦理解了数学思想的来龙去脉，我们反而能够更好地把握它的本质和局限。
对于当代的数学学习者和研究者而言，《四元玉鉴》还是一部难得的思维训练教材。朱世杰在书中展示的算法技巧，即使在今天看来也令人叹为观止。以四元方程的消元为例，这个过程涉及大量的心算和筹算操作，需要高度的专注力和空间想象力。读者如果真正动手去演算书中的例子，就会发现自己的计算能力和逻辑思维都得到了锻炼。更重要的是，这种训练能够帮助我们理解计算机代数系统背后的基本原理——现代数学软件在进行符号运算时，实际上也是在执行类似于四元术中的消元步骤，只是效率更高、规模更大而已。
重读《四元玉鉴》还有一层更现实的意义：它有助于纠正长期以来对中国古代数学的偏见和误解。在“四大发明”的叙事框架中，中国古代科技被简化为几项孤立的技术成就，数学则几乎缺席。这种叙事忽视了宋元数学在方程理论、符号演算和几何代数化等方面取得的辉煌成就，也忽视了这些成就对人类文明的独特贡献。通过深入研读《四元玉鉴》，我们可以看到，中国古代数学并非仅仅是实用技艺的积累，而是有着深刻的思想内涵和理论追求的文化体系。
当然，重读经典并不意味着盲从和崇拜。现代学者对《四元玉鉴》的研究，已经远远超越了阮元、沈善登等清代学者的水平。借助计算机技术和比较数学史的方法，我们可以更准确地定位这部著作在数学史上的坐标，分析它的贡献和局限，探讨它与其他数学传统的关系。这种批判性的研究态度，既是对历史的尊重，也是对知识的诚实。
```mermaid timeline title 宋元数学发展脉络
1247 : 秦九韶《数书九章》 : 大衍总数术