数学的中华来路

数学的中华来路

西方数学传入中国已有数百年历史。从明末利玛窦与徐光启合译《几何原本》，到清末大规模的洋务运动与留学潮，再到今天全球通用的数学教育体系，西方数学早已成为中国人学习数学的默认语境。我们从小在课堂上学的几何证明、函数方程、坐标系，统统来自古希腊的演绎传统和近代欧洲的代数革命。这种背景下，一个问题自然会浮现：如果我们的祖先也创造了辉煌的数学成就，那些成就如今安在？它们对于理解数学的本质还有什么价值？

这个问题的答案，藏在一部名为《四元玉鉴》的古籍里。

《四元玉鉴》是元代数学家朱世杰的代表作，成书于1303年。这部书系统阐述了四元术——一种处理多元高次方程的代数方法，代表了宋元数学的最高峰。然而，这样一部曾让欧洲数学家惊叹的著作，在历史的流转中逐渐沉寂，直到晚清才被重新发现。今天，绝大多数数学学习者对它闻所未闻。

读《四元玉鉴》，不是为了发思古之幽情，而是为了找回一种被遮蔽的数学思维方式。当代数学教育几乎一边倒地强调证明、强调逻辑推导、强调公理化体系，这在很大程度上是希腊传统的延续。但数学从来不只有一条路。中国古代数学走出了一条以算法为核心、以问题为导向的道路，这条路同样产生了深刻的思想，同样达到了惊人的高度，却因为历史的原因长期被忽视。理解这条道路，不仅能让我们看到数学的更多可能性，更能帮助我们重新审视数学究竟是什么。

本书的任务，是带领读者逐章研读《四元玉鉴》，在具体的术法演算中体会中华算学的精神内核。但在正式进入文本之前，我们需要先建立一个认知框架：中华数学走过了一条怎样的路？它与西方数学有什么本质区别？为什么说《四元玉鉴》是这条路上的里程碑？理解了这些问题，再去读原著，才不会迷失在繁复的术法中，才能看到每一道题目背后隐含的思想脉络。

从《九章算术》到宋元数学：算法体系的形成

要理解中华数学的独特性，必须从一部奠基之作说起——《九章算术》。

这部成书于公元一世纪左右的著作，是中国现存最早的数学经典之一。它不追求抽象的理论建构，而是以实际问题的求解为核心。全书分为九章，分别涉及田亩计算、粟米换算、均摊分配、工程测量、勾股应用等不同领域，每一章都包含若干道具体题目，每道题目都给出算法和解法。这种“问题—算法—答案”的结构，构成了中华数学的基本范式。

以第一章“方田”为例，书中给出了计算各种形状田地面积的方法。矩形田地的面积直接用长乘宽，这个方法今天每个小学生都会。但《九章算术》进一步给出了复杂形状的处理策略：对于三角形田地，将其转化为矩形来计算；对于梯形田地，给出了专门的公式。书中甚至讨论了分数的运算规则——通分、约分、加减乘除，一整套基于算法的分数理论。

这种表述方式与希腊数学形成了鲜明对照。欧几里得《几何原本》从公设和定义出发，通过严密的逻辑证明一步步推导出几何定理，每一步都追求“为什么是这样”而不是“怎样做”。《九章算术》则根本不问“为什么”，它只告诉你“怎么做”。它的目标是实用性——给出能够解决实际问题的步骤，让应用者不需要理解背后的原理也能操作。

这并不是说中国古代数学家不思考“为什么”。相反，在长期的实践中，他们逐渐发展出一套独特的数学思想，强调算法的普遍性、程序的可靠性、以及数学知识的可传授性。刘徽在注释《九章算术》时就提出了“类以合情”的思想，认为数学方法应该能够举一反三、触类旁通。这种对算法通用性的追求，恰恰是中华数学的精髓所在。

从《九章算术》开始，中华数学走上了一条算法化的发展道路。魏晋时期的刘徽为这部经典作注，在注释中发展了割圆术、齐同术等重要方法，并用极限思想证明了圆面积公式。唐代的王孝通进一步研究了三次方程的数值解法，将方程理论向前推进。宋元之际，中国数学迎来了它的黄金时代——贾宪的增乘开方法、秦九韶的大衍总数术、李冶的天元术、朱世杰的四元术相继出现，构成了一座令后世惊叹的数学高峰。

这条发展脉络有一个清晰的内在逻辑：每一代数学家都在前人的基础上，将算法推向更一般化、更强大、更抽象的层次。从一次方程到高次方程，从一元到多元，从具体数值到符号表达，算法体系的边界不断扩展，终于在《四元玉鉴》中达到了它的顶峰。

证明与算法：两条不同的数学道路

当我们把目光投向西方数学，会发现另一番景象。

古希腊数学的代表人物是欧几里得，他的《几何原本》是人类理性思维的杰作。这部书从五条公设和五个公理出发，运用形式逻辑推导出四百多个命题，构建了一个严密的几何理论体系。欧几里得关心的不是“怎样计算圆的面积”，而是“圆的性质是什么”“这些性质如何从更基本的原理推导出来”。

这种追问“为什么”的思维方式，塑造了西方数学的基本性格。数学对象被理解为独立存在的实体——点、线、面、数——它们有自己的属性，这些属性可以被发现、被证明，但不能被随意创造。证明成为数学知识的合法性来源：只有经过逻辑证明的命题才能被视为真知，否则只是猜想或经验法则。

这种传统深刻影响了西方数学的发展方向。当阿拉伯数学家将代数从具体的几何问题中解放出来时，西方数学家很快将其纳入几何化的框架中。韦达用字母表示未知量，建立了符号代数的雏形；笛卡尔发明坐标系，将代数与几何统一起来；牛顿和莱布尼茨发展微积分，用极限的严格化来回应贝克莱的质疑。每一步进展都伴随着对基础和证明的追问。

然而，这种追问并非没有代价。过度追求基础稳固，往往会延缓实际问题的解决。古希腊人花费大量精力研究三大几何作图难题——三等分角、倍立方、化圆为方——却因为固守尺规作图的限制而走进了死胡同。19世纪伽罗瓦创立群论时，他的思想被法国科学院冷落了十余年，原因在于当时的数学家认为他的证明不够严格。这些例子说明，纯粹的证明传统有时也会成为创新的障碍。

相比之下，中国古代数学走的是一条截然不同的道路。这条道路的核心不是“证明”，而是“算法”；不是“是什么”，而是“怎么做”。数学知识的价值不在于它是否被严格证明，而在于它是否能够有效地解决问题。

这种差异可以从对无理数的态度上看出来。希腊数学家发现了不可通约量——比如正方形的边长与对角线——这一发现引发了毕达哥拉斯学派的危机，因为它动摇了“万物皆数”的信念。中国古代数学家很早就接触到同样的现象，刘徽在计算圆周率时实际上已经遭遇了无理数，但他们的处理方式截然不同。刘徽采用“割之又割”的策略，用有限步骤逼近精确值，同时坦然接受“至细曰微”的无穷过程。他不需要，也无法接受无理数的存在，但他发展出了一套处理这类问题的有效算法。

两种传统各有优劣。证明传统保证了数学知识的确定性，但可能陷入过度形式化；算法传统保证了数学知识的实用性，但可能缺乏系统的理论建构。然而，这种二元划分过于简单化。实际情况是，两种传统在历史上不断相互影响、相互渗透。阿拉伯数学家在代数发展中扮演了桥梁角色，将印度的数字系统和算法传入欧洲；文艺复兴时期的欧洲数学家借鉴了阿拉伯代数，又将其几何化；近代以来，西方数学家也认识到算法思维的价值，计算机科学的发展更是让算法重新成为数学的核心议题。

理解这两种传统的差异，不是为了评判高下，而是为了更准确地定位每一种数学传统的历史贡献。当我们读到《四元玉鉴》中的四元术时，必须意识到这是一套在算法传统下发展起来的方法，它的核心价值不在于证明的严密性，而在于处理复杂方程问题的能力。

《四元玉鉴》：宋元数学高峰的代表作

十三世纪的蒙古帝国版图横跨欧亚大陆，从中国到波斯，信息的传递比以往任何时代都更加便捷。正是在这个背景下，中国数学迎来了它最后的辉煌——宋元数学高潮。

这一时期的数学家群体中，朱世杰是一个特别的名字。他生平不详，只知道曾在南北各地游学授徒，被后人誉为“中世纪世界最伟大的数学家”。《四元玉鉴》是他最重要的著作，成书于大德七年，即1303年。

这部书为什么重要？要理解这一点，需要先了解四元术究竟是什么。

简单地说，四元术是一种求解多元高次方程的方法。“四元”指的是四个未知数——天、地、人、物。想象一下，你面对的不是一条曲线、而是一个立体的曲面；不是单一的约束条件，而是多个变量之间的相互关系。如何找到这个方程组的解？四元术提供了一套系统的方法。

举个具体的例子。《四元玉鉴》中有一道题目涉及“锁套”问题（此为笔者的概括描述，具体术语因版本而异）：已知某立体形状的若干视图投影数据，要求推导出该立体各维度的尺寸。这类似于今天解析几何中通过投影还原几何体的问题。朱世杰的解法是建立方程组，然后用四元术求解。

书中共收录二百八十道题目，分为二十四门。这些题目涵盖了工程测量、商业贸易、天文历法、军需供应等各种实际领域。每一道题目都给出完整的算草——即求解的详细步骤——读者可以直接按照这些步骤进行计算，而不需要额外的解释。

这正是中华数学典籍的典型特征。《四元玉鉴》不是一本教科书，让学生理解原理然后自己推导；它是一本操作手册，提供可以直接使用的算法程序。这种编撰方式反映了当时数学知识的社会功能：数学是为实际应用服务的，使用者需要的是可靠的工具，而不是理论上的解释。

从数学史的角度看，《四元玉鉴》的贡献在于将四元术系统化、程序化。朱世杰之前，四元术只是零散的方法；经过他的整理，这套方法成为一套完整的体系，包括方程的建立、化简、消元、求解等各个环节。其中最引人注目的是“消元”技术——将四元方程逐步降维，最终化为一元方程来求解。这一思想与今天线性代数中的高斯消元法惊人地相似，而后者要到十九世纪才在欧洲发展成熟。

更令人惊叹的是朱世杰对无穷级数的处理。书中有一类问题涉及高阶等差级数的求和，朱世杰给出了完整的公式。这些公式后来被证明与欧洲数学中的伯努利数有关，而后者要到十七世纪才被正式提出。当代数学史家普遍认为，朱世杰在这一领域的贡献领先欧洲数学三到四百年。

然而，这样一部杰作在历史上几乎失传。直到十九世纪中期，学者李善兰在江南制造局译书时，从一部日本数学著作中发现了《四元玉鉴》的线索，才着手搜集、整理、研究。二十世纪初，现代数学家钱宝琮等人对这部书进行了系统校点，使其重新进入学术视野。

这段失传的历史本身就是一个值得深思的现象。为什么一部如此重要的数学著作会被遗忘？原因当然是多方面的：元朝以后汉文化受到冲击；科举制度将知识分子引向经典研读而非算学技艺；西方数学的传入转移了知识精英的注意力。但也许还有一个更根本的原因：算法传统的数学成果，往往依赖于口耳相传和实践应用，一旦失去了实际需求的土壤，就很难单独存活。相比之下，证明传统的成果因为有逻辑链条的支撑，更容易以文本形式保存下来。

回到文本肌理：为什么要读原典

既然《四元玉鉴》已经失传数百年，为什么还要费尽周折去读它？现代数学教材难道不能提供同等甚至更好的知识吗？

这些问题的答案，涉及一个更深层的认知问题：文字符号背后，承载的不仅是信息，更是思维方式。

当我们学习微积分时，使用的是牛顿、莱布尼茨以来的符号体系，我们的思维被限定在极限、导数、积分这些概念框架中。这套框架当然有效，但它过滤掉了很多历史信息——当年数学家面对的问题是什么？他们是如何思考的？他们走过哪些弯路？这些内容在标准教材中看不到，因为教材的任务是传授结论，而不是还原过程。

读原典的首要价值，是让我们直接面对古人的思维。翻开《四元玉鉴》，第一眼看到的是完全陌生的符号系统。朱世杰用“天”“地”“人”“物”四个汉字分别表示四个未知量，用特定的算筹位置表示这些量的系数。书中的算草看起来像是一串串密码，但一旦破解了这套密码，一个生动的问题求解过程就呈现在眼前。

这不是简单的考古兴趣。现代认知科学的研究表明，多角度接触同一类知识，能够促进深度理解。当我们既从标准教材学习线性代数，又从四元术的消元步骤中看到同样的思想时，理解就变得更加立体和牢固。更重要的是，通过比较两种方法的差异，我们能够更清晰地认识到每种方法的特点和适用场景。

读原典的第二个价值，是重建历史语境的真实感。历史不是一堆干巴巴的年代和人物，而是真实的人在真实的环境中做出的真实选择。我们今天读到“消元法”三个字，只是一个抽象的名词；但在朱世杰那里，消元意味着手工操作算筹，一步一步将方程简化。没有计算机，没有符号代数，只有算筹和算法——他是在怎样的约束条件下思考这些问题的？他的哪些选择是必然的，哪些带有偶然性？这些问题的答案只有在原典中才能找到。

读原典的第三个价值，或许是最重要的价值：与伟大的头脑直接对话。任何一部流传后世的经典，都是作者呕心沥血的成果。读朱世杰的书，不仅仅是学一套算法，更是感受一个天才如何面对难题、如何寻找出路、如何将零散的发现组织成系统的理论。这种感受无法通过二手解读获得，因为它依赖的是读者与文本之间直接的、活的互动。

当然，读原典并不意味着排斥一切辅助手段。事实上，古代算学典籍往往存在文字艰深、符号独特、传抄错误等问题，没有现代学者的校点和注释，几乎不可能读懂。本书的任务，就是为读者提供必要的桥梁，让那些对中华算学感兴趣但不熟悉专业文献的人，能够顺利进入《四元玉鉴》的世界。

本书的问题框架：四元术与高次方程的双重主线

经过前面的讨论，读者应该已经对中华数学的独特传统有了初步认识，对《四元玉鉴》的历史地位也有了基本定位。现在，我们需要明确本书的问题框架：接下来的章节将如何展开？

本书有两条交织的主线。第一条是四元术本身。我们将从最基本的符号系统入手，逐步解析四元术的核心算法，包括方程的建立、化简、消元和求解。每一步都配有具体的算草解读，让读者不仅知道“怎么做”，还理解“为什么这样做”。

第二条主线是高次方程理论。四元术本质上是一套处理高次方程组的方法，而方程理论是代数学的核心内容。我们将在解读四元术的过程中，追踪从一次方程到高次方程、从线性到非线性的发展脉络，并将其与欧洲代数史进行比较。通过这种方式，读者不仅能学到具体的术法，还能对代数学的整体演进形成清晰的认识。

两条主线的关系是相互支撑的。一方面，四元术的每个具体步骤都服务于方程求解的目标，脱离了高次方程的背景，就无法理解四元术的价值所在；另一方面，高次方程理论的抽象发展，如果缺少具体算草的支撑，就会变成空中楼阁。四元术提供了鲜活的案例，高次方程理论提供了理解这些案例的概念框架。

在两条主线之下，本书将按照《四元玉鉴》的原有结构，分二十四门依次展开。每门选取若干代表性题目，进行详细的算法解析。为了降低阅读门槛，本书在保留原典符号系统的基础上，适当引入现代代数记号，帮助读者建立古代术法与现代数学之间的对应关系。同时，本书还将穿插介绍相关的数学史背景，让读者了解每一步进展在更宏大的历史图景中的位置。

这样一本书，对读者的数学基础有怎样的要求？答案是：具备初中代数水平即可。二次方程的求解、简单的方程组消元、基本的代数运算——这些知识已经足够应付大部分内容。偶尔涉及的高中或大学水平的概念，如行列式、矩阵、无穷级数等，会在出现时给予必要的解释。

真正需要的不是高深的数学知识，而是一颗愿意进入陌生领域的好奇心，和一份从容阅读的耐心。原典的表述方式与现代教材截然不同，它不会先讲定义再讲例题，而是将一切都融入具体的问题求解过程中。读者需要学会适应这种阅读方式，学会在繁复的算草中抓住关键思路。

本章小结

这一章的任务，是为后续的研读建立认知框架。我们从一个问题出发：在西方数学占据主流的今天，为什么要回溯中国古代数学经典？

答案藏在中华数学的独特传统中。从《九章算术》开始，中国古代数学就走了一条与希腊数学不同的发展道路。这条道路以算法为核心，以问题为导向，不追求公理化的理论建构，而追求解决实际问题的有效方法。在这条道路上，《九章算术》奠定了基本范式，刘徽、贾宪、秦九韶、李冶等历代数学家不断推进，终于在朱世杰的《四元玉鉴》中达到了高峰。

四元术是宋元数学的代表作，它代表了一种处理多元高次方程的系统方法。这套方法在算筹和算法的时代就已经相当成熟，其思想内核与近现代代数惊人地相似。然而，由于历史的原因，这部杰作长期被遗忘，直到晚近才被重新发现。

读《四元玉鉴》原典，不是为了发思古之幽情，而是为了与伟大的数学头脑直接对话，为了在具体的术法演算中体会中华算学的精神，为了从另一个角度理解数学的本质。本书将以四元术和高次方程为双重主线，陪伴读者一步步进入这部古籍的世界。

接下来的第二章，我们将正式进入《四元玉鉴》的文本，首先面对的是朱世杰建立的四元符号系统。这个符号系统是四元术的起点，也是理解整部著作的关键门槛。