被遗忘的数学高峰
被遗忘的数学高峰
想象一下这个场景：你穿越到800年前的中国，站在一座书院内。窗外是元代的某座江南小城，院子里传来朗朗读书声，但那不是在读四书五经——几个年轻人围坐在一张大桌前，桌上摊开的不是经书，而是一卷写满奇怪符号和复杂图形的书。他们正在激烈讨论一个问题：如何用数学方程同时表示三个变量之间的关系。
这就是朱世杰在1303年完成《四元玉鉴》时的世界，也是本书要带你进入的世界。
你可能会问：我们为什么要关心800年前一群人围着方程讨论？这和今天的生活有什么关系？学方程不是去学校就够了，为什么还要读古书？
这些问题的答案，可能会让你对中国数学史的认知彻底改观。
中国古人解决数学问题的方式，和今天课堂上学的很不一样。中国古代数学不是从公理出发推导定理，而是从实际问题出发，提炼算法，得出答案。这种“问题驱动”的传统，让中国数学在长达一千多年的时间里，走出了与西方完全不同的道路，并在很多领域保持着领先优势。
《四元玉鉴》是这条道路上的一座巅峰。它是世界上最早系统讨论多元高次方程组的著作之一，代表了宋元数学的最高成就。但这座巅峰后来被遗忘在历史角落里，直到近代才重新被发现。
让我们从头开始，看看中国数学这条独特的道路是如何走出来的。
中国数学的独立发展之路
世界上大多数古老文明都发展出了自己的数学，但能形成独立体系并延续数千年的，并不多见。巴比伦的泥板数学繁荣了一阵就消失了，古埃及的几何知识后来融入了希腊数学体系。唯有中国，数学传统几乎没有中断地从先秦延续到了宋元，形成了真正意义上的独立体系。
这种独立性首先体现在数学观上。中国古代对数学的理解，和希腊人追求的“纯粹知识”很不一样。《周髀算经》里说“数学者，万物之宗”，把数学看作是理解天地万物运行规律的工具。《九章算术》的序言则开宗明义：数学的用处是“明山川之晦邙，辨地域之广狭，营建都邑，度地居民”。这种实用导向的数学观，影响了此后两千年中国数学发展的方向。
其次体现在思维方式上。希腊数学以几何证明为核心，追求逻辑的严密性。欧几里得的《几何原本》建立了一套从公理到定理的完整体系，每一个结论都要给出严格的逻辑证明。中国数学走的则是另一条路——算法化。中国古代数学家不满足于知道某个结论是对的，他们更关心如何一步步算出答案。这种算法思维，让中国数学在计算技术上达到了惊人的高度。
举个例子。计算圆周率，西方数学史上有阿基米德的割圆法，用正96边形逼近圆，得到圆周率在3.1408和3.1429之间。但阿基米德之后，西方对圆周率的计算陷入了长久的沉寂。直到一千多年后，德国数学家奥托才用正3×2¹⁶边形把圆周率算到小数点后6位。
而在中国，祖冲之在公元5世纪就把圆周率算到了小数点后7位，精确值为3.1415926到3.1415927之间，这个纪录保持了近千年。更重要的是，祖冲之给出了两个近似的分数形式：355/113和22/7，其中355/113被称为“密率”，是圆周率的最佳近似分数之一。
这种计算能力不是凭空出现的，它建立在中国数学独特的算法传统之上。
《九章算术》：问题驱动的数学范式
说到中国数学的源头，不能不提《九章算术》。这本书的重要性，无论怎么强调都不为过。
《九章算术》不是一个人写成的，而是经过长期积累、在西汉时期最终成型的数学汇编。全书按问题性质分为九章，分别是：方田（土地面积）、粟米（粮食比例）、衰分（比例分配）、少广（开方运算）、商功（工程体积）、均输（赋税分摊）、盈不足（盈亏问题）、方程（线性方程组）、勾股（勾股定理及应用）。全书共有246个问题，每个问题都给出算法和解法。
这本书确立了中国数学的基本范式：问题—算法—答案。这和希腊数学的“公理—定理—证明”模式形成了鲜明对比。
《九章算术》的核心贡献之一是方程术，也就是线性方程组的解法。书中的“方程”章，用的不是我们现在熟悉的字母表示法，而是用算筹摆成的矩阵。来看一个例子：
``` 1 2 3 | 27 2 3 1 | 34 3 1 2 | 26 ```
这个算筹摆成的阵列，对应的是三个方程：
$$x + 2y + 3z = 27$$ $$2x + 3y + z = 34$$ $$3x + y + 2z = 26$$
《九章算术》给出了用算筹求解这类方程组的完整算法——这就是著名的正负术，也就是消元法。具体步骤是：通过一系列行与行之间的加减运算，逐步消去未知数，最终得到每个变量的值。这套方法在原理上和我们今天用的高斯消元法完全一致，但比西方早了一千多年。
更令人惊讶的是《九章算术》已经处理了负数。在“方程”章中，当某一行相加后需要变为负数时，书中明确使用了红色算筹表示负数，黑色的表示正数。这说明中国数学家在公元前一世纪就已经接受了负数概念，并能正确地进行正负数的加减运算。而负数在欧洲被广泛接受，那是十三四百年以后的事情了。
《九章算术》的另一个重要贡献是割圆术的雏形。虽然完整的割圆术是后来刘徽发展的，但《九章算术》已经在“少广”章中给出了开平方、开立方的算法，这些算法后来成为割圆术的基础。
这本书的影响是深远的。后世的中国数学著作，大多延续了“问题汇编+算法详解”的形式。《九章算术》确立的实用主义传统，使得数学始终与社会需求紧密结合。官员需要计算税收，工程需要计算土方，天文历法需要精确的天体运行数据——这些实际需求推动着数学不断向前发展。
刘徽：让数学有了思想
如果《九章算术》是教科书，那刘徽就是批改作业并写下批注的那个人——只不过他的批注比原书还要精彩。
刘徽生活在公元3世纪的三国时期，魏国人。他为《九章算术》作了注，这注文本身就成了一部数学杰作，后人单独称之为《九章算术注》。在这部著作中，刘徽展示了中国古代数学家罕见的理论追求。
刘徽最重要的贡献是割圆术。他在为《九章算术》第一章“方田”作注时，系统地发展了用圆内接正多边形逼近圆的方法。具体做法是：从圆内接正六边形开始，将边数加倍，得到正十二边形、正二十四边形……每加一次边，正多边形的周长就更接近圆的周长，从而可以越来越精确地计算圆周率。
刘徽不是简单地给出一个近似值，他给出了完整的算法理论。他证明了：随着边数无限增加，圆内接正多边形的面积趋近于圆的面积；同样，其周长也趋近于圆的周长。这就是朴素的极限思想。
他在注文中写道：“割之弥细，所失弥少。割之又割，以至于不可割，则与圆周合体而无所失矣。”这段话翻译成现代数学语言就是：当正多边形的边数趋于无穷时，其周长趋近于圆的周长。这是中国数学史上最早的极限思想表述，比欧洲的类似概念早了好几百年。
刘徽还提出了一个重要概念——率。率在中文里有多重含义，但在刘徽的数学中，它指的是两个数量之间的固定比例关系。刘徽认为，率的引入让数学运算有了统一的标准。他在注文中系统阐述了率的定义和性质，建立了用率贯通各种运算的理论框架。
用今天的眼光看，刘徽的工作相当于为《九章算术》的各种算法找到了统一的数学原理。他不只是告诉读者怎么算，还解释了为什么可以这么算。这种追求原理的精神，在中国古代数学家中是比较少见的。
刘徽之后，南北朝时期的祖冲之父子将圆周率计算推进到了新的高度。祖冲之的方法应当也是基于割圆术，但他做了大量的计算工作。根据史料记载，祖冲之给出了两个圆周率的近似值：一个是较粗糙的22/7（疏率），一个是极精确的355/113（密率）。后者直到16世纪才被欧洲数学家重新发现。
祖冲之的儿子祖暅提出了祖暅原理：“幂势既同，则积不容异。”意思是：如果两个立体图形在任意相同高度处的截面积都相等，那么它们的体积必然相等。这个原理是计算旋转体体积的基础，和意大利数学家卡瓦列里在17世纪提出的原理完全一致，但早了将近一千年。
从刘徽到祖冲之父子，我们看到中国数学在公元3到5世纪达到了一个理论高峰。但真正的大爆发，还要等到宋元时期。
宋元巅峰：数学的黄金时代
如果把中国数学史比作一条河流，那么宋元时期就是入海口前最宽阔、最汹涌的那一段。
从公元960年宋朝建立到公元1300年前后，中国数学经历了长达三百多年的辉煌期。这个时期涌现了大量数学家和数学著作，在很多领域都取得了超越前人的成就。
首先是贾宪三角的发现。贾宪是北宋时期的数学家，他提出了求高次幂展开式系数的“增乘开方法”。在这个过程中，他构造了一个系数三角表：
``` 1 1 1 1 2 1 1 3 3 1 1 4 6 4 1 ```
这个三角形，西方一般称为帕斯卡三角，因为法国数学家帕斯卡在17世纪系统研究了它的性质。但贾宪比帕斯卡早了六百多年，他明确给出了这个三角形的构造方法和用途。
与贾宪同时代的沈括在《梦溪笔谈》中提出了隙积术——一种计算累堆物体（如酒坛、棋子）体积的方法。这实际上是高阶等差级数求和的问题，沈括给出了正确的公式。沈括还研究过运粮问题中的最优路线，提出了“会圆术”，为后来天文历法计算提供了基础。
到了南宋，数学的发展中心转向了商业和民间。这个时期出现了一部有趣的著作——《数书九章》，作者秦九韶。
秦九韶是个有争议的人物。他曾在朝廷做官，也曾被人弹劾贪暴。但他在数学上的贡献是无可争议的。《数书九章》共18卷，81个问题，内容涵盖天文、历法、气象、测绘、工程、经济等各个方面。
秦九韶最重要的贡献是提出了大衍求一术，即一次同余方程组的解法。这个问题的典型形式是：已知一个数除以不同除数的余数，求这个数。比如“今有物不知其数，三三数之剩二，五五数之剩三，七七数之剩二，问物几何？”这个问题的答案是23。
这类问题在古代天文历法中有重要应用——编制历法需要协调太阳年和朔望月之间的关系，本质上就是同余方程组问题。秦九韶给出了系统的解法，后人称之为中国剩余定理。在欧洲，类似的方法由欧拉和高斯在18世纪独立发展出来。
秦九韶还系统化了高次方程的数值解法，提出了“正负开方术”，能够求解任意次数的代数方程。这比西方类似的霍纳法（1819年）早了五百多年。
从南宋到元代，中国数学迎来了集大成者——朱世杰，以及他的《四元玉鉴》。
《四元玉鉴》：四元术的巅峰
朱世杰是元代最杰出的数学家之一，但关于他的生平，我们知道得很少。史料中没有他的详细传记，只知道他曾在江南地区以教授数学为业，走访了四方山水，编成了两部数学巨著：《四元玉鉴》和《算学启蒙》。
《四元玉鉴》共三卷，288个问题，涵盖了当时数学的各个领域。但它最重要的贡献是系统阐述了四元术——一种用算筹表示和求解四个未知数方程组的方法。
在朱世杰之前，中国数学家已经能够熟练处理一个未知数（天元）和两个未知数（地元）的方程。但当问题的复杂程度超过两个未知数时，传统的表示方法就力不从心了。朱世杰创造性地提出了四元表示法：用天、地、人、物四个位置分别表示四个未知数，通过四元消法将高次方程组逐步消元，最终化为单未知数的高次方程求解。
《四元玉鉴》中的“今有一问”可以说明这种方法的应用：
> “假令有方程，问四元者各几何？” > > 天元得若干，地元得若干，人元得若干，物元得若干。
这类问题在现实中有广泛的应用场景。比如，在天文测量中需要同时确定多个天体参数，在工程计算中需要协调多个物理量之间的关系，在商业运营中需要平衡多个变量——这些问题都可以归结为多元高次方程组。
朱世杰不仅给出了算法，还证明了许多重要结论。他在书中讨论了垛积问题（高阶等差级数求和）、招差问题（有限差分法）等，这些内容后来被证明与牛顿的插值公式有密切关系。英国科学史家李约瑟评价说：朱世杰是“贯穿中世纪数学的最后一个中国数学家”。
《四元玉鉴》的另一个重要贡献是对高阶等差级数求和的系统研究。书中给出了多种垛积公式，如：
$$\sum_{k=1}^{n} \frac{k(k+1)}{2} = \frac{n(n+1)(n+2)}{6}$$
这些公式可以推广到任意高阶的等差级数。朱世杰还提出了“招差术”，相当于今天的有限差分插值公式。在欧洲，类似的公式由牛顿和莱布尼茨在17世纪发展出来。
《四元玉鉴》的完成，标志着中国古典数学达到了顶峰。此后，这座顶峰再未被超越。
从高峰到沉寂：历史的转折
奇怪的是，这样一座数学高峰，在此后几百年里几乎被完全遗忘。《四元玉鉴》在元代之后就失传了，直到清朝中叶才从海外重新传回中国。
为什么中国数学会在宋元之后突然衰落？
这个问题的答案很复杂，没有单一的答案可以解释一切。但有几个因素是比较明确的。
科举制度的影响不可忽视。隋唐以来，科举成为选拔官员的主要途径。但科举考试的内容长期以儒家经典为主，数学从来没有获得稳固的学科地位。虽然唐代在国子监设有算学博士科，宋代也有算学考试，但规模和影响力都远不能和明经、进士科相比。到了明清，八股文成为科举的核心内容，数学教育几乎被边缘化。
社会需求的转变也是一个因素。宋元时期商品经济高度发达，海外贸易繁荣，对计算人才有大量需求。但到了明清，政府重农抑商的政策限制了商业发展，数学的应用空间相应缩小。天文历法虽然仍需要数学，但满清统治者更倾向于任用耶稣会传教士处理此事。
西方数学的冲击改变了竞争格局。16世纪以后，随着传教士来华和徐光启翻译《几何原本》，西方数学开始传入中国。几何学提供的公理化体系和逻辑严密性，让一些中国学者感到震惊。徐光启在翻译《几何原本》时说：“此书有四不可得：欲脱之不可得，欲驳之不可得，欲减之不可得，欲前后更置之不可得。”这反映出西方数学在当时知识界获得的崇高地位。
当一种更“先进”的数学范式出现时，原有的传统就面临被取代的命运。这是学术发展的正常规律，但也意味着那些独特的数学方法和思想可能就此失传。
还有一个因素是文本的散佚。宋元战乱和元末明初的混乱中，大量数学典籍遭到毁坏。一些书失传后，再也没能复原。中国古代数学本来就更重视口传心授而非文本保存，许多精妙的算法只存在于少数人的头脑中，一旦这些传承者离世，算法可能就此失传。
《四元玉鉴》的命运就是例子。这本书在元代完成后，很快就从主流学术视野中消失了。清朝数学家重新发现这本书时，已经只能勉强读懂，而那些算法背后的思想已经难以完全复原了。
我们为什么要读《四元玉鉴》
说了这么多历史，读者可能还是想问：这些八百年前的东西，对今天有什么用？
这个问题，我不能给你一个简单粗暴的答案。但我可以告诉你几个读这本书的理由。
第一个理由：理解数学思维的多样性。
今天学校教的数学，几乎完全承袭了希腊—欧洲的传统：从定义、公理出发，通过逻辑推理得到定理，再应用到具体问题。这套方法非常强大，是现代科学的基础。但它不是唯一的道路。
中国古代数学展示了一种完全不同的数学思维方式——从问题出发，提炼算法，让计算过程本身成为数学的核心。这种算法思维在计算机时代反而显示出了特殊的价值。我们今天用的很多算法，其思想根源都可以追溯到古代数学。
通过阅读《四元玉鉴》，你能亲身体验到这种不同的数学传统。当你知道同样一个问题可以有两种完全不同的思考方式时，你对数学的理解就会变得更加立体。
第二个理由：认识中国古人的智慧，增强文化自信。
这个理由听起来有点空，但它确实重要。
长期以来，提到数学史，很多人默认的叙事是：古希腊有几何学，17世纪欧洲有微积分，现代数学是欧洲文明的产物。在这种叙事里，中国数学要么被忽略，要么被描述为“缺乏理论体系的实用计算技术”。
但事实并非如此。中国古代数学有自己完整的体系，有深刻的理论思考，有令世界瞩目的成就。《四元玉鉴》中的四元术、高阶垛积、招差术，放在世界数学史上都是第一流的贡献。
认识到这些，不是为了盲目自大，而是为了更准确地理解历史，更全面地认识人类智识活动的多样性。
第三个理由：从历史中学习创新的方法。
《四元玉鉴》不是凭空出现的。朱世杰的四元术，是在吸收了从《九章算术》到秦九韶以来所有数学成就的基础上发展出来的。他既继承传统，又突破创新。
这种在深厚积累上寻求突破的模式，对今天的学习者同样有启发。真正的创新不是天马行空的想象，而是在充分理解现有知识的基础上，找到新的应用场景或新的连接方式。
第四个理由：感受智识探索的乐趣。
最后，也是最重要的理由：读这本书本身就是一种享受。
想象一下，八百年前的数学家面对一个复杂的问题，没有计算机，没有计算器，只用算筹和自己的脑子，一步一步推导出答案。那个思考的过程，那个解决问题的快乐，和今天并没有本质区别。
当你读懂一个古代算法是如何运作的时候，你是在和几百年前的头脑进行对话。这种跨越时间的智识交流，本身就是阅读最大的乐趣所在。
本章小结
在这一章中，我们追溯了中国数学从先秦到宋元的发展脉络。
中国数学形成了与西方平行发展的独立体系，核心特征是算法化和问题驱动。《九章算术》确立的“问题—算法—答案”范式，影响了中国数学两千多年。刘徽的割圆术和率概念展示了理论追求的可能性，祖冲之的计算成就体现了算法思维的力量。宋元时期达到巅峰，秦九韶的大衍求一术和朱世杰的四元术代表了那个时代数学的最高水平。
《四元玉鉴》是这座巅峰的标志性成就。它系统化了四元术和高阶垛积问题，在多元高次方程组的求解上达到了世界领先水平。然而，这座巅峰后来被遗忘，直到近代才重新被发掘。
中国数学的衰落是多重因素共同作用的结果：科举制度轻视算学、社会需求转变、西方数学传入带来冲击、典籍散佚造成传承断裂。这些因素相互交织，使得曾经领先的数学传统逐渐沉寂。
那么，《四元玉鉴》究竟写了什么？四元术具体是怎么运作的？朱世杰的问题和算法，对今天的学习者有什么启发？这些问题的答案，将在接下来的章节中逐步展开。