大德七年的人间四月

大德七年的人间四月

1303年，即大德七年，农历四月的燕赵大地正经历着一个微妙的历史时刻。

这年春天，北京（今北京）城中，来自各地的文人学士正在议论一部新书的问世。据说一位名叫朱世杰的算学家完成了他的第二部著作，书名叫做《四元玉鉴》。消息在学者圈子里不胫而走，但关注者寥寥——在元帝国的政治中心，经史文章才是读书人真正关心的事情。算学？那不过是匠人的技艺，是历官的工作，是商人记账的工具。

然而，这部不起眼的著作将在接下来的七百年里持续震撼数学史家。它所呈现的四元术——一种处理四个未知数方程组的系统方法——代表了13世纪世界代数学的最高成就。直到十九世纪西方代数学传入之前，这门学问在中国再也没有被真正超越过。

一个必须回答的问题因此浮现：为什么这样一部革命性的数学著作会诞生在大德年间的燕赵地区，而不是在经济更为繁荣、文化更为昌盛的江南？

这个问题的答案，藏在宋元之际中国北方学术生态的深层结构里，藏在蒙古帝国独特的政治文化格局里，藏在元代文人阶层的生存困境里。本章将从历史现场出发，追溯四元术诞生的知识谱系，重建朱世杰生活的世界，最终回答这个看似简单却牵涉甚广的地理-社会-知识三维问题。

宋元之际北方数学的延续与复兴

理解《四元玉鉴》的诞生，需要回到一个常被忽视的历史事实：宋元之际，中国数学并非只有江南一条线索。

1127年的靖康之变改变了一切。金兵攻陷东京，北宋覆亡，大量皇室、官员、学者随宋室南渡。与此同时，一个新的北方学术中心在金国统治区形成。尽管金朝在文化上被南宋士大夫视为蛮夷，但其在华北平原和东北地区的统治延续了北宋的学术传统达百年之久。更重要的是，金朝对科举制度的态度与南宋颇为不同——它更重视实用之学，对算学的态度也更为宽容。

这造成了南北数学发展的分叉。南宋数学沿着沈括、秦九韶开辟的道路继续演进，形成了以高次方程数值解法和一次同余式理论为代表的突出成就，数学的中心在江浙地区。与之对应的是一套围绕书院的文人教育体系，数学被视为经学之外的“小道”，但有识之士如秦九韶仍在严谨地推进理论。

北方的情况则截然不同。金朝继承了北宋的官学体系，在中央和地方设置了算学博士官员。虽然金代官学算学远不如国子监的经史教育受重视，但它提供了一个制度性的支撑，使得数学知识能够在相对稳定的框架内传承。同时，北方民间有悠久的商业算学传统，商贾之家重视计算技能，这为算学的普及提供了社会土壤。

1234年，蒙古灭金。随后的数十年间，蒙古帝国的铁骑横扫欧亚大陆，但对中国北方的统治逐渐制度化。一个有趣的现象随之出现：蒙古统治者对汉文化——尤其是儒家经典——的态度经历了一个复杂的转变过程。他们一度废除科举（这一政策持续了约四十年），这对南方士大夫打击甚大，因为科举是他们进入权力结构的主要通道。但对于北方那些原本就不依赖科举进入仕途的算学家和技术官僚而言，这一政策变动的影响相对有限。

更重要的是，蒙古帝国带来了前所未有的跨文化交流。中亚的数学知识、西域的天文历法、波斯的技术传统，通过帝国的驿站系统和商人、官员、传教士的流动汇聚到北方。这不是一种和平的文化融合，而是帝国扩张过程中被动接受的智识输入。但其结果确实开阔了北方学者的视野，使得他们在某些领域能够接触到南宋学者难以触及的知识资源。

正是在这种背景下，北方数学出现了具有鲜明特色的突破：天元术。

天元术的本质是用符号方法表示方程。“天元”指的是未知数（相当于现代数学中的 x），在天元术中，学者用特定的文字标记来表示未知数的各次幂，从而将方程表示为一个紧凑的代数式。例如，方程 $x^3 + 3x^2 - 15x = 0$ 可以用“立天元一”来表示，其中不同的文字位置表示不同的幂次。

这项技术的确切起源仍有争议。多数学者认为它成熟于13世纪中叶，而最关键的证据来自两部著作：李冶的《测圆海镜》（1248年）和《益古演段》（1259年）。李冶是金末元初最重要的北方数学家之一，他的这两部著作标志着天元术从分散的技巧发展为系统的代数方法。

李冶的工作不是凭空出现的。在他之前和同时代，北方已有一批学者在探索方程的符号化表示。郑州、平阳、真定等北方城市形成了一个数学家网络，他们通过书籍的传抄、师徒的授受、私人的交往保持着学术交流。李冶能够在1248年完成《测圆海镜》这部天元术的奠基之作，正是站在这个知识共同体积累的基础之上。

然而，一个关键的问题随之而来：天元术只处理一个未知数。那么，从一个未知数到四个未知数——即从天元术到四元术——的跨越是如何发生的？为什么在北方而非南方完成？

答案在于北方数学面临的具体问题。天元术最初是为了解决几何测量问题而发展起来的。当问题从单一圆的测量扩展到多圆相切、三角形与圆的关系等更复杂的几何构型时，一个未知数往往不够用。北方学者在求解“勾股测望”等实际问题时，逐渐遇到了需要同时处理多个未知量的情况。

这种需求在南方相对较少。江南数学的主流是数值计算和离散数学——高次方程的数值解、一次同余式问题、级数求和等。这些问题可以用单个未知数来建模，只是需要处理更高次幂。而几何问题在南方数学传统中地位相对次要，因此对多未知数方程的需求也不那么迫切。

北方则不同。由于金朝和元朝都需要进行大规模的土地测量、城市规划、河道整治等公共工程，几何问题——尤其是涉及多个相互关联的几何量的方程问题——在北方有着更直接的应用场景。这种实际需求推动了从一元的局限中走出来，尝试建立能够同时处理多个未知数的数学工具。

朱世杰的《四元玉鉴》正是在这一脉络的延长线上。它将北方学者数十年的天元术实践与四元术的创新结合在一起，创造出一种处理四个未知数方程组的完整代数体系。这不是一个人的天才发明，而是一个知识共同体长期积累的结晶。

朱世杰生平资料的考辨与重构

关于朱世杰的生平，我们掌握的原始史料少得可怜。

现存最早提及朱世杰的材料是《四元玉鉴》书前的两篇序言：一篇由莫若作于大德七年（1303年）四月，一篇由祖颐作于同年三月。除此之外，没有任何同时代的文献提及此人。我们不知道他的生卒年份，不知道他的籍贯，不知道他的社会阶层，甚至不确定他是否以数学为职业还是仅为业余爱好者。

这种史料的匮乏本身就是一种历史信息。它告诉我们：朱世杰在他生活的时代并不出名，至少不在那些会被官方史书或文人笔记记录的人群之列。这与秦九韶形成了鲜明对比——秦九韶虽然同样在南宋的政治史舞台上并非核心人物，但他的事迹仍被《数书九章》自序和若干宋代文献保存下来，使后人能够大致勾勒其生平轮廓。

然而，史料匮乏并不意味着我们完全无法重构朱世杰的生活世界。通过分析《四元玉鉴》的内容结构、他人的序言评价、以及元代的整体社会背景，我们可以做出若干有根据的推断。

首先是姓名与身份的可信度。莫若序和祖颐序都明确称其为“朱世杰”，且两人分别作序，说明朱世杰在当时的算学圈中已有一定的知名度。莫若称其为“燕山朱汉卿”，这是以籍贯加字/号的方式称呼，暗示朱世杰可能字“汉卿”，燕山（今北京及其周边）可能是他的籍贯或长居之地。

祖颐序则提供了更多背景：

> “汉卿世杰，燕山人。周流四方，嘉与后来之学者从事焉。”

这句话的意思是：朱世杰是燕山人，周游四方，热心与后学者相交。从这段记载可以推断几件事：第一，朱世杰确实与燕赵地区有密切关系，这印证了“燕山”这一地名信息的可靠性；第二，他有游学的经历，这符合元代文人的一种常见生存策略——在科举不畅的情况下，以游历和教授生徒为生；第三，他与后来学者有交往，说明他在学术上有一定地位，能够吸引追随者。

其次是他的学术传承。祖颐序还提到：

> “其章句显明，示范后学，青囊之妙，启掖后进，天元一法如建纛鼓列于重玄之间，学者尽涤旧习，而得此中趣也。”

这里“青囊”可能指某种数学著作或方法，“天元一法”则明确指出朱世杰精通并传授天元术。他能够在天元术的基础上进一步发展出四元术，说明他必曾深入研究过李冶以来的北方天元术传统。

莫若序则从另一个角度提供信息：

> “余向访求先天易理，旁及天元，遂与先生契合。然九章之义，仅得其粗，若夫天元之用，从天地综合治理之道，而得阴阳变化之用，深探其理，本末兼该。若云世无其人，则先生之功，其可没乎？”

莫若自述自己曾访求先天易理，进而接触天元术，并与朱世杰志趣相投。莫若的序言透露了一个重要信息：当时研究天元术的人并非只有朱世杰一人，而是一个圈子。莫若本人也是这个圈子的成员，只是他的成就不如朱世杰。

第三，关于朱世杰的年代，我们只能通过间接证据来推断。《四元玉鉴》是他的第二部著作，他的第一部著作是《算学启蒙》。这部书今已亡佚，但从后人引用的情况来看，它可能是一部入门性质的算学教材。祖颐序提到“汉卿之作《启蒙》也”，说明《算学启蒙》成书在先，《四元玉鉴》在后。

莫若序作于大德七年（1303年）四月，祖颐序作于同年三月。两篇序言都写于朱世杰完成《四元玉鉴》之后不久。这意味着在1303年，朱世杰尚在人世，且能够完成一部大型数学著作的写作。以常理推算，他当时应当在三四十岁甚至更年长的年龄段。以此上推，他大概出生于13世纪中后期，最可能的时段是1250年前后。

这个推断如果成立，朱世杰将是一个在蒙古帝国统治下成长、在元朝统一后成年的一代人。他的青少年时期恰好经历了忽必烈推行汉法、恢复科举（部分恢复）的阶段，而他的中年时期则见证了元朝政治逐渐僵化、科举制度实际停摆的过程。他选择以数学研究和教学为业，在某种程度上是这一特定历史时期的生存策略。

最后，关于朱世杰是否以算学为业，序言中的证据是双重的。一方面，祖颐说他“周流四方”，这种周游很可能带有教授生徒、卖文为生的意味。另一方面，莫若序暗示朱世杰有足够的闲暇从事深入研究，且他的成就能得到圈内人的认可，说明他不必为基本生计完全分心。一种合理的推测是：朱世杰出身于殷实之家或地方士绅阶层，能够支持他从事学术活动，同时通过教授生徒获得一定收入。这与元代民间算学教师的普遍状况相符。

元代文人阶层的分化与算学家的社会角色

要理解《四元玉鉴》为何诞生在燕赵而非江南，必须理解元代文人阶层经历的结构性分化。

元朝建立后，统治者面临一个两难困境：汉族士大夫是帝国统治的重要依靠力量，但他们的仕途通道——科举制度——在蒙古传统中找不到直接对应。更复杂的是，科举制度与蒙古贵族的政治利益存在潜在冲突，因为它提供了一条不依赖军功和血统进入权力核心的路径。

忽必烈采取了一种折中方案：部分恢复科举，但大幅压缩录取名额，同时在考试内容上增加了程朱理学的比重。这一政策的实际效果是，科举不再是大多数汉族文人进入仕途的可行渠道。整个元代约百年间，官方科举录取的进士总数不过一千余人，而唐代和宋代录取的进士数量都在万人以上。

这种政策造成的后果是深刻的。对于那些在宋代将科举视为唯一正途的江南士大夫而言，元代科举的萎缩意味着他们传统人生道路的堵塞。许多南宋遗民选择了隐居著述，有些人则转向商业活动或技术工作，但相当一部分人在心理上仍然困守于科举失败的阴影中。

北方的情况则有所不同。金代本就不像宋代那样高度依赖科举制度来整合精英阶层，金朝灭亡后，北方士大夫本来就需要重新寻找自己的社会定位。当蒙古统治者提供了一批新的机会——做官、做幕僚、做书院教师、做地方绅士——北方文人更容易接受这种多元化的生存策略。

更重要的是，元代北方出现了一个独特的社会阶层：算学教师和民间学者。这个群体的形成有几个原因：

第一，官学体系中对算学的制度性需求。蒙古帝国和后来的元朝都需要天文历法、土地测量、赋税核算方面的专业人才。虽然中央的司天监、太史院等机构吸纳了一部分算学家，但民间对算学知识的需求同样旺盛。商人需要计算，家庭需要记账，地方官员需要处理各种涉及数量的问题——这些需求为算学教师提供了生存空间。

第二，书籍出版和知识传播的便利。元代北方的印刷业虽然不如南宋发达，但燕赵地区作为政治中心，拥有较好的出版条件。一些学者通过刻印和出售书籍来补贴生计，这使得知识的商业化成为可能。

第三，师徒传承网络的形成。李冶等前辈数学家的工作为北方培养了一批天元术的学习者和传播者。这些人通过私人授徒的方式延续数学传统，逐渐形成了一个虽小但稳定的学术网络。

在这个背景下，算学家在元代北方社会中扮演着一种独特的角色：他们是技术精英，而非传统意义上的“文人”。他们掌握着实用但相对小众的知识，他们的身份认同不是通过科举功名来定义，而是通过他们在某个专业领域的权威来确立。这种身份在元代的社会等级体系中处于一个模糊的位置——既不像农民和工匠那样被明确归入某个阶层，也不像进士和官员那样拥有清晰的社会地位。

朱世杰很可能就是这个群体中的一员。他不是官员，不是商人，不是农民，而是一个游走于不同地区、以传授数学知识为生的职业或半职业教师。他的社会角色决定了：

首先，他有时间和精力从事高水平数学研究。一个全职的经史文人需要不断写作应酬文章、参加社交活动、处理地方事务。而一个以算学为业的教师，如果能够吸引足够的学生，则可能拥有相对集中的研究时间。朱世杰能够完成《四元玉鉴》这样规模宏大的著作，正需要有这种时间上的保障。

其次，他需要解决高难度的数学问题来建立学术声誉。在一个没有科举制度来评价文人能力的时代，算学家的声誉主要来自于他们解决难题的能力。《四元玉鉴》中包含了大量极其复杂的代数问题和几何问题，这些问题的难度本身就构成了一种权威宣言——能够提出和解决这种难度的问题，说明作者是真正的专家。

第三，他需要一个足够支持他的知识共同体。莫若、祖颐等人为《四元玉鉴》作序，说明朱世杰不是孤立的个体，而是属于一个相互认可的小圈子。这个圈子提供了批评、建议、传播的环境，使得《四元玉鉴》能够从手稿变成正式的出版物。

相比之下，江南的情况则不利于这种专业算学家的出现。江南文人虽然也面临科举萎缩的问题，但他们面临的社会压力不允许他们公然放弃儒学传统而专注于被视为“技艺”的算学。江南的文化生态更强调诗文、书法、绘画等“雅艺”，而对算学的评价往往是负面的——它被视为商贾之事，或者最多是经学的附庸。因此，即使江南有足够的数学人才，他们也很难像北方同行那样将算学作为独立的学术志业来追求。

四元术与北方天元术传统的承继关系

回到最初的问题：为什么是四元术？

这不仅是一个关于谁在何时何地发明了什么的史学问题，更是一个关于数学知识如何产生于具体社会语境的认识论问题。要理解四元术的诞生，必须追溯它与北方天元术传统的承继关系。

天元术发展到朱世杰时代，已经积累了数十年的成果。李冶的《测圆海镜》提供了用天元术处理几何问题（特别是与圆相关的测量问题）的完整范例。该书通过一个“圆城图式”的复杂几何图形，系统展示了如何设未知数、建立方程、求解答案。《益古演段》则进一步将天元术方法化，使学习者能够按照明确的步骤来处理类似问题。

这些著作为后来者提供了两样东西：一是符号化的代数思维习惯，二是将复杂问题转化为方程的技术路径。当后来的学者遇到需要处理多个未知数的问题时，他们很自然地会想到：能否将天元术的符号技术从一维扩展到多维？

这种扩展不是一蹴而就的。从一元的$ax + b = 0$到二元的$\begin{cases} a_1x + b_1y + c_1 = 0 \\ a_2x + b_2y + c_2 = 0 \end{cases}$，再到三元的四元的，代数复杂性呈指数增长。每增加一个未知数，都需要在符号表示、方程建立、求解算法等各个环节做出创新。

天元术的符号系统是为单一未知数设计的。在实际应用中，学者们通过一些变通方法来处理两个或三个未知数的情况。例如，可以在不同位置用“天元”“地元”“人元”等不同标记来表示不同的未知数，或者在不同的“层”中分别放置不同未知数的系数。这些变通方法虽然可行，但缺乏系统性和统一性。

朱世杰的创新在于：他建立了一个真正的四元符号体系。在《四元玉鉴》中，他用“天”“地”“人”“物”四个字分别表示四个未知数（分别相当于 x、y、z、w），并设计了一套完整的记法规则来表达四元多项式和方程。例如，一个包含四个未知数的方程可以表示为一个整齐的方阵，其中每个位置对应特定未知数的特定幂次。

这种表示法的精妙之处在于：它使得复杂的四元方程能够以视觉化的方式呈现，便于检查、比较和操作。我们今日所使用的矩阵表示法，在精神上与朱世杰的四元记法有相通之处——都是用空间排列来组织和处理代数关系。

然而，四元术的核心困难不仅在于符号表示，更在于方程的建立和求解。当未知数从一个增加到四个时，方程的数量相应增加，消元过程的复杂度也急剧上升。朱世杰需要发明新的消元技术来处理四元方程组，这涉及将多个方程逐步合并、消除某些未知数、最终得到一元方程的过程。

《四元玉鉴》的核心方法被称为四元消法。这种方法的思路是：通过系统的运算，将四个未知数的方程组逐步降维，最终化为一元方程来求解。具体步骤包括“剔而消之”“互动创意”“或以形算”或“或以理断”等不同策略，根据问题的具体特点选择最有效的消元路径。

这套方法的具体内容需要专门的分析才能充分理解，但有一点可以确定：它代表了13世纪世界代数学的最高水平。西方数学直到十七世纪笛卡尔和费马的工作才建立起类似的符号代数体系，而处理多元高次方程组的系统方法则要到十九世纪才真正成熟。这意味着在长达数百年的时间里，四元术在世界上没有真正的对手。

那么，为什么这种革命性的数学成就会出现在北方而非江南？

答案在于北方数学传统的特殊问题域。天元术的核心应用场景是几何测量问题，而北方——特别是燕赵地区——对这类问题有着持续的实际需求。金朝和元朝都需要进行大规模的土地清丈、城池修筑、水利工程测量，这些实际任务推动着几何代数方法的不断精进。当测量问题从单圆扩展到多圆相切、多边形与圆的关系等更复杂的情形时，一个未知数就不够用了。

江南数学传统的主流则指向不同的方向。沈括、秦九韶的工作集中在高次方程数值解、一次同余式、级数等领域，这些问题本质上可以用单个未知数来建模——只是幂次较高，但未知数的个数仍然是一。江南的几何传统相对薄弱，他们对代数问题的兴趣集中在离散数学和数值计算方面，而非几何量的方程关系。

因此，四元术的诞生是北方天元术传统在特定应用场景下自然演进的结果。它需要满足几个条件：足够成熟的单未知数代数技术（天元术），需要处理多未知数几何问题的实际需求（北方测量实践），以及能够支持长期深入研究的学术环境（元代北方社会）。当这几个条件在燕赵地区同时汇聚时，四元术的出现就成为历史的必然。

莫若序：一篇序言中的历史证词

理解一部著作的产生，除了追溯作者生平和知识传统外，还可以通过分析时人的评价来还原其历史语境。《四元玉鉴》书前的莫若序正是这样一份珍贵的证词。

莫若其人，我们知之甚少。从序言中得知，他曾“访求先天易理，旁及天元”，说明他是一位对易学和数学都有兴趣的学者。他与朱世杰志趣相投，可能属于前文提及的那个北方算学圈子。莫若的名字在数学史上仅此一次出现，但我们可以通过他的序言来了解时人如何看待朱世杰的工作。

序言全文不长，但信息密度极高：

> 四元玉鉴前序

> 四元者，天地人元也。玉鉴者，照物之器也。言天地人，而人物该焉。

> 先生