宋元之际的数学革命
第1章：宋元之际的数学革命
一个看似简单的问题，困扰了数学史研究者一个多世纪：为何13世纪的中国能够诞生四元术——一种能够系统求解四元高次方程组的代数方法？这项成就何以在长达数百年的时间里独步世界数学之林，却在此后的文明传播中几乎被彻底遗忘？要回答这个问题，必须把目光从四元术本身移开，投向它身后的漫漫长路。四元术不是从天上掉下来的，也不是某一位天才独坐书斋的灵光一现。它是整整一个时代——从北宋到元初、从汴京到燕京、从官学到私门——数学实践与思想积累的必然产物。本章将通过四个维度的考察，还原这场数学革命的完整图景：宋代官学如何为数学家的成长提供制度保障；贾宪传统如何在前人基础上逐步深化；金元之际北方数学如何走出独特的技术路径；以及南北数学传统如何在元代完成最后的汇流，最终在朱世杰手中结出四元术这颗硕果。
宋代官学体系中的算学制度化
要理解宋元数学的繁荣，首先需要正视一个事实：数学在中国古代长期处于尴尬的边缘位置。儒家经典以外的一切学问，在科举制度的阴影下都难以获得足够的社会尊重。然而北宋年间，一场深刻的制度变革悄然改变了这一局面。宋神宗元丰年间（1078-1085），朝廷颁布《元丰算学敕令格式》，正式将算学纳入国家官学体系。这部法令的意义远超它表面上看起来的那样——它不仅规定了算学生的招收规模、培养目标和考试制度，更在制度层面确认了数学作为一种正当职业的合法性。
根据《宋史·选举志》的记载，算学的招生规模虽远不及太学，但每年仍能培养数十名专业算学人才。学生来源既有通过考试选拔的平民子弟，也有在职官员的子弟。课程设置涵盖了当时数学的主要领域，包括历法推算、天文测量、九章算术的经典问题，以及更为前沿的数学技巧。值得注意的是，算学生毕业后并非全部进入翰林院从事纯粹的历法工作，相当一部分人分散到了太史局、军器监、三司等各个职能部门。这种分散的就业格局意味着，数学知识并非封闭在象牙塔内自我循环，而是通过各种实际应用渗透到国家治理的各个方面。
更为关键的是制度化带来的连锁效应。官学体系的存在，使得数学研究成为一条可预期的职业发展路径。年轻学子不再需要仅仅出于个人兴趣孤军奋战，而是可以依托国家提供的资源和平台从事长期研究。这种制度保障直接催生了北宋数学的繁荣：贾宪的增乘开方法、沈括的隙积术与会圆术、刘益的负系数方程研究——这些成就几乎都出现在官学体系建立之后的几十年内。这绝非巧合。制度变革降低了个体研究的风险与成本，使得数学探索成为一种值得投入的长期事业。
南宋虽然偏安一隅，官学体系有所萎缩，但民间数学的传统反而因此得到加强。刊刻《九章算术》等经典数学著作成为书商的常规业务，这使得数学知识得以跨越阶层和地域的藩篱传播开来。与此同时，金朝统治下的北方虽然汉化程度有限，但对历法和计算人才的需求同样迫切。金世宗、金章宗时期，北方官学中亦设有算学科目，培养了大批能够进行复杂天文推算的专业人才。正是这批人才，为后来天元术在北方的突破奠定了基础。换言之，官学制度化不仅仅是一个孤立的教育政策，它通过人才培养、知识传播、从业者社群形成等途径，深刻重塑了数学作为一门学问在中国社会中的存在状态。
贾宪三角与增乘开方法的传承
在讨论四元术的渊源时，贾宪是一个无法绕开的名字。这位生活于11世纪的数学家，虽然没有完整的著作流传至今，但通过后人的引用和阐发，他的贡献清晰可辨。贾宪最重要的两项成就——贾宪三角和增乘开方法——构成了宋元数学革命的底层技术基础。
贾宪三角的现代称呼是二项式系数三角形，欧洲数学界通常称之为帕斯卡三角。然而名称之争并非此处要讨论的核心问题，真正值得关注的是贾宪如何将这一排列规律与高次开方运算相结合。在贾宪之前，中国数学家处理高次方根问题已有数百年历史，但方法相对笨拙，往往依赖逐次逼近或经验估算。贾宪的突破在于，他发现任意高次二项式展开后的系数恰好构成一个规整的三角形排列，而利用这一系数的规律，可以将开方过程转化为一系列有章可循的机械化步骤。
具体而言，增乘开方法的操作流程如下：首先确定被开方数对应的方根位数，将目标从“猜一个近似值”转变为“按规则逐步推算”。每一步迭代都遵循固定的程序：将被开方数布置于特定位置，然后依次执行乘法、减法、移位等操作，最终得到精确到任意位数的高次方根。这一方法的核心价值在于，它将原本需要高度技巧和经验直觉的数学活动，转化为任何受过训练的人都可以重复执行的规范化流程。用现代数学的语言来说，贾宪实际上发现了一种求高次多项式根的数值方法，虽然他还没有形成完整的多项式理论，但已经触及了高次方程数值求解的本质。
贾宪的工作之所以能够对后世产生深远影响，关键在于传承链条的完整性。贾宪的著作《黄帝九章算经细草》虽已亡佚，但其主要内容被南宋数学家杨辉完整继承并收入《详解九章算法》。杨辉不仅详细记录了贾宪三角的构造方法，还补充了大量例题，使这一技术得以广泛传播。到了13世纪，贾宪的方法已经渗透到几乎所有重要的数学著作中。李治的《测圆海镜》、秦九韶的《数书九章》、朱世杰的《四元玉鉴》——这些作品的作者无不在书中展示了对增乘开方法的熟练运用。
一个值得深思的问题是：为何贾宪的方法能够跨越两百年的时间而未被遗忘？答案或许在于数学知识本身的自我强化机制。增乘开方法一旦被掌握，就成为解决实际问题的利器——历法编制、建筑测量、赋税核算，处处都需要开方运算。掌握这一技术的数学家因此获得社会认可，而这种认可又激励更多人投入学习，由此形成正反馈。从这个角度看，贾宪的贡献不仅是技术层面的，更是认识论层面的：他让数学家相信，高次数学问题是可以被系统化处理的，而这种信念本身就是四元术诞生的思想前提。
金元之际北方天元术的突破
如果说贾宪传统代表着北宋数学的主流，那么金元之际北方数学的发展则展现了一条截然不同的路径。这条路径的起点，是一项看似基础却意义深远的概念创新——天元术。
天元术的发明者是金朝数学家李德载，其代表作《测圆海镜》成书于1248年，比朱世杰《四元玉鉴》早了近三十年。在这部著作中，李德载引入了一个革命性的概念：将未知数记作“天元”，建立一个以天元为未知量的方程。这种表述方式在今天看来平淡无奇，因为现代代数早已习惯于用字母表示未知数，但在13世纪的中国，这是一个需要极大想象力的概念飞跃。在此之前，中国数学家处理未知数问题时，通常采用“立天元一”的方式，将未知量当作已知数参与运算，待方程建立后再设法消去。这种方法虽然有效，但方程的结构复杂，不便操作。天元术的创新在于，它将未知数的地位明确化、符号化，使得方程可以作为一种独立的数学对象被研究。
李德载《测圆海镜》全书共收录一百七十余道题目，全部围绕一个核心几何模型——圆与三角形的切接关系展开。然而这些题目的真正价值不在于它们的几何背景，而在于它们所涉及的代数方程的复杂程度。李德载处理的方程最高可达四次，这在当时是一个惊人的纪录。更重要的是，他在解法中展示了高度的算法化思维：面对一个复杂的高次方程，他并不试图寻找几何直观或算术技巧，而是按照一套标准程序进行化简和求解。这套程序可以看作增乘开方法在高次方程领域的自然延伸。
天元术的另一个重要发展来自元好问的学生刘因。他在《四元玉鉴》付梓之前已经独立发展出一套类似的方法，虽然没有完整著作传世，但通过他人的转述可以确认，他同样掌握了建立和求解高次方程的技术。刘因的贡献在于，他将天元术与几何、代数的关系进行了更为系统的理论阐述，使得这一方法不再仅仅是解题技巧，而成为一套有内在逻辑的数学理论。
北方数学的独特之处还体现在它与实际问题更为紧密的结合。金朝和元朝统治者对天文历法的重视，为数学家提供了大量实践场景。金朝《大明历》的编制、元朝《授时历》的创制，都需要处理海量复杂的天文观测数据和计算问题。这些实际问题促使北方数学家不断突破算法复杂度的极限，也在客观上为天元术的发展提供了动力。换言之，天元术并非纯粹理论思辨的产物，而是在回应现实挑战的过程中逐步完善的。
北方数学家还有一个不易察觉的优势：由于金元之际战乱频繁，大量南方数学典籍流入北方。李德载、刘因等人有机会接触到贾宪以来几乎全部的宋金数学成果，在前人基础上进行综合创新。这种“后发优势”使得北方数学虽然起步较晚，但在理论综合能力上迅速赶上并最终超越了南方传统。
南北数学传统在元代的汇流
1271年，忽必烈建立元朝，一个疆域空前辽阔的多民族帝国就此诞生。对于中国数学史而言，这一政治变革的意义远超过单纯的朝代更替。元朝统一后，北方与南方的数学传统开始在同一个政权下并行发展并相互交流，由此催生了宋元数学史上最具创造力的时刻。
这场汇流并非一蹴而就。元朝统一初期，北方数学家如李德载、刘因已经形成了相对成熟的理论体系，而南方数学的主流则是秦九韶开创的高次方程求解传统。秦九韶的《数书九章》（1247年）代表了南宋数学的最高成就，他在书中系统展示了高次方程的数值解法，其算法复杂度与贾宪传统一脉相承，却在实际应用场景的丰富性上更胜一筹。然而秦九韶的工作也有明显局限：他虽然能够处理高达十次的高次方程，却始终在一个方程、一个未知量的框架内工作。对于涉及多个未知量的问题，他采取的策略是将部分未知数用参数表示，逐一求解。这种策略虽然实用，但在理论上缺乏系统性和一般性。
真正完成理论突破的是朱世杰。这位生平不详的数学家活跃于13世纪末至14世纪初，其代表作《四元玉鉴》（1303年）标志着四元术的诞生。在这部著作中，朱世杰将天元术从单一未知量扩展到四个未知量（天、地、人、物），建立了世界上最早的多元高次方程组理论。他发明了一套完整的符号表示方法：用竖线区分不同位置的未知量，用特定的记号标记各阶导数项，从而能够清晰表达复杂的多变量方程结构。
《四元玉鉴》共收录二百八十八道问题，涵盖商业计算、赋税分派、工程测量等多个领域。朱世杰的处理方式显示出惊人的算法化程度：面对一个四元高次方程组，他首先将其化简为标准形式，然后按照固定的程序逐步消元，最终将问题归结为几个低次方程的求解。这一程序被称为“四元消法”，其核心思想是用代数替换逐步消去方程中的高次项和交叉项，将多元问题转化为可处理的单元问题。
一个典型的例子可以帮助理解这一方法的工作原理。假设我们需要求解一个二元二次方程组：
$$x^2 + y^2 = R^2$$ $$x + y = S$$
其中 $R$ 和 $S$ 为已知常数。朱世杰的方法是先从第二个方程解出 $y = S - x$，代入第一个方程，得到关于 $x$ 的单元二次方程 $x^2 + (S-x)^2 = R^2$，然后用增乘开方法求解这个单元方程，最后回代得到 $y$ 的值。对于更高维度的方程组，消元过程会更加复杂，但基本思路是一致的：通过系统的代数操作，逐步降低问题的维度，直至转化为可解的单元问题。
朱世杰的工作之所以具有划时代意义，不仅因为他解决了技术难题，更因为他展示了多元高次方程组的求解是可以被系统化和算法化的。这一洞见比西方数学类似的发展提前了数百年。韦达（François Viète）在16世纪末才开始系统研究代数方程的理论问题，而多元高次方程组的系统消元理论更是要到19世纪才在西方数学中成熟。从这个角度看，四元术不仅是一项技术成就，更是一种数学思想的范式创新——它预示了现代代数的基本思维方式。
然而四元术的产生并非朱世杰一人之功。如果我们将视野放宽，就会发现四元术实际上是南北数学传统数百年积累的结晶：贾宪的增乘开方法提供了求解单元方程的技术基础；天元术的符号化思想使得未知量的处理变得清晰有序；秦九韶的高阶方程实践证明了高次代数问题的可解性；北方数学家对算法化思维的系统追求则为多元方程的消元提供了方法论框架。没有这四个环节中的任何一个，四元术都不可能诞生。这是数学史给我们的重要启示：伟大的数学成就从来不是凭空出现的，它们总是站在前人的肩膀上，是对一个时代全部知识积累的提炼和升华。
```mermaid timeline title 四元术发展的历史脉络
1068-1086 : 宋神宗元丰年间 官学算学制度化 数学成为正当职业
约1050 : 贾宪 增乘开方法 贾宪三角
1084 : 《黄帝九章算经细草》成书 技术传承开始 数值高次方程求解
1247 : 秦九韶《数书九章》 南宋数学高峰 高次方程应用实践
1248 : 李德载《测圆海镜》 天元术创立 北方符号化突破
1303 : 朱世杰《四元玉鉴》 四元术诞生 多元高次方程组系统消元 ```
本章小结
本章的回答是：四元术之所以诞生于13世纪的中国，是因为历史在这一刻汇聚了所有必要的条件。宋代官学制度为数学人才的培养提供了制度保障，使得数学研究成为一条可预期的职业发展路径。贾宪开创的增乘开方法和贾宪三角，为处理高次方程提供了核心技术手段，这一技术通过杨辉等人的传播深刻影响了此后的数学家。金元之际北方数学家发明的天元术，实现了未知量的符号化处理，使得多元方程的建立和操作成为可能。最后，元朝统一带来的南北交流，使得北方的符号化传统与南方的高阶方程实践得以融合，最终在朱世杰手中实现了理论上的飞跃。
理解四元术的“时代积累”本质，对于后续章节的阅读至关重要。接下来的章节将逐一深入四元术的技术细节：从天元的符号表示到四元的运算规则，从消元的基本程序到具体问题的求解策略。在进入这些技术内容之前，有必要记住一个总原则——四元术不是一座凭空建造的大厦，而是一座在数代人地基上逐步加高的建筑。每一项技术进步、每一个概念创新，都有其特定的历史语境和思想渊源。理解了这一点，才能真正把握四元术的历史地位，也才能更深刻地体会它在数学思想史上的独特价值。
下一章将聚焦四元术的核心工具——天元的符号表示与基本运算。我们将从具体的符号选择和记法约定入手，分析朱世杰如何构建一套自洽的符号系统来处理多元高次方程，并讨论这套符号系统在算法化操作中的具体运用。
然而这场数学革命的意义远不止于技术本身。透过四元术的诞生，我们还可以窥见一个更深层的问题：为什么同样的数学传统，在创造了宋元高峰之后却逐渐走向衰落？对这个问题的追问，将帮助我们更全面地理解四元术的历史地位。
四元术诞生之后不久，其发展便陷入了停滞。朱世杰之后，虽然郭守敬等天文数学家在历法编制中继续使用高次方程，但多元高次方程组的系统理论并未得到进一步发展。更令人困惑的是，到了明代中叶，四元术的核心技术几乎完全失传，以至于清代学者在校勘《四元玉鉴》时不得不从日本、朝鲜的回传本中寻找线索。这一“早熟而中衰”的现象，长期困扰着数学史研究者。
关于四元术未能持续发展的原因，学界已有多种解释。第一种观点认为，元末明初的战乱和社会动荡打断了数学知识的传承链条。这一解释有其合理性，元朝灭亡后，大量典籍散佚，许多数学家的私人手稿因此失传。第二种解释指向制度因素——明朝建立后，算学教育虽有所恢复，但规模远不及宋代，数学家群体萎缩，难以形成持续的学术积累。第三种解释则从数学内部寻找原因：四元术虽然精妙，但其算法操作高度依赖筹算板的直观操作，当数学问题变得更为复杂时，这种操作上的局限性便成为进一步发展的瓶颈。
然而这些解释都难以完全令人满意。元末的战乱固然严重，但并未摧毁整个知识体系——明代继承了大量宋元时期的科技成就。算学教育的萎缩是事实，但这究竟是数学衰落的原因还是结果，至今仍有争议。至于算法复杂度的限制，对于一项在理论上已经高度成熟的数学技术而言，这更像是一种外部条件而非根本原因。
或许真正的原因在于，四元术的诞生本身就是一个历史的偶然。在13世纪末至14世纪初的短暂窗口期内，南北数学传统、政治统一、文化交流、知识传播等条件恰好同时具备，由此催生了四元术这一奇迹。然而一旦这些条件中的任何一个发生变化——比如元朝统治的结束，比如和平交流时期的终结——这场数学革命便失去了继续深化的土壤。从这个角度看，四元术的命运提醒我们：任何知识创新都不是在真空中进行的，它需要相应的社会基础、人才储备和制度保障。当这些条件消失时，即便最辉煌的成就也可能成为历史的孤岛。
理解这一点，对于本书后续章节的写作同样重要。我们即将深入四元术的具体技术细节——从符号表示到运算规则，从消元程序到问题建模。在进入这些内容之前，有必要记住，四元术不是纯粹理性的产物，它是中国古代数学家在特定历史条件下，凭借自身努力和对前人传统的继承所创造的奇迹。它的诞生是必然的，但它的命运却充满了偶然。理解了这一点，才能真正把握四元术在数学史上的独特位置，也才能更深刻地认识它留给后世的启示与遗憾。
本章小结
本章回答了一个核心问题：为何13世纪的中国能够诞生四元术这一领先世界的数学成就？答案在于，这不是任何单一因素作用的结果，而是数代人积累与历史条件汇聚的必然。
首先，宋代官学体系的建立为数学人才的培养提供了制度保障。元丰年间颁布的算学敕令格式，确立了数学作为国家认可职业的合法性，使得数学研究成为一条可预期的职业发展路径。这直接催生了北宋数学的繁荣——贾宪的增乘开方法、沈括的隙积术、刘益的负系数方程研究，几乎都出现在官学体系建立之后的几十年内。
其次，贾宪开创的增乘开方法和贾宪三角，为处理高次方程提供了核心技术基础。这一技术通过杨辉等人的系统整理和广泛传播，深刻影响了此后两百年的数学发展。贾宪的真正贡献不仅在于具体的算法，更在于他让数学家相信：高次数学问题是可以被系统化处理的。这种信念本身就是四元术诞生的思想前提。
第三，金元之际北方数学走出了一条独特的技术路径。李德载发明的天元术，实现了未知量的符号化处理，使得多元方程的建立和操作成为可能。北方数学家在天元术的基础上，逐步发展出更为复杂的算法化思维，为多元方程的消元奠定了方法论基础。
最后，元朝统一带来的南北交流，使得北方的符号化传统与南方的高阶方程实践得以汇流融合。四元术正是这场汇流的结晶：贾宪的增乘开方法提供了单元方程的求解技术，天元术的符号化思想使得未知量的处理变得清晰有序，秦九韶的高阶方程实践证明了高次代数问题的可解性，而北方数学家对算法化思维的系统追求则为多元方程的消元提供了操作框架。没有这四个环节中的任何一个，四元术都不可能诞生。
然而四元术诞生之后不久便陷入停滞，这一“早熟而中衰”的现象提醒我们：任何知识创新都需要相应的社会条件支撑。当元末战乱打断了学术传承的链条，当明代算学教育的萎缩导致人才凋零，当和平交流的窗口期结束，四元术便失去了继续深化的土壤。这是历史的遗憾，也是历史的教训。
带着对四元术历史背景的完整理解，我们现在可以进入它的技术内核。下一章将聚焦四元术的核心工具——天元的符号表示与基本运算。我们将从具体的符号选择和记法约定入手，分析朱世杰如何构建一套自洽的符号系统来处理多元高次方程，并讨论这套符号系统在算法化操作中的具体运用。