千年冷落的方程高峰

第 1 章 千年冷落的方程高峰

假如你生活在 1303 年的元大都，正是忽必烈建立这座新城池大约五十年后。来自中亚的商人在积水潭边的码头卸下一船香料，欧洲的传教士在哈肋和林余部的商队中往来，南宋遗留下来的汉人文士在西城的旧宅里整理旧稿，西藏来的喇嘛在大圣寿万安寺前讲经说法。一个不起眼的院落里，一位年过半百的数学家刚刚搁下毛笔，面前是一摞刚誊抄完毕的书稿——三卷二十四门，二百八十八个题目。他给这部书起名为《四元玉鉴》，自序末尾写下八个字：「以明理为务」「当世无匹」。

这个「当世无匹」不是客气话。当时世界上能处理任意多元任意高次多项式方程组的地方屈指可数，《四元玉鉴》正是这类工具中系统化程度最高的一部。它不仅给出了方法，还把方法组织成了一套可复用的程序。这套程序的核心特征是：先用一个标准化的「太」式记下多项式的最高次项，再一步步降次求根。这个工作模式即使放到 17 世纪的欧洲代数学家身上，也不显得寒酸。

这部书在身后的数百年中，被彻底遗忘了大半。它为什么被冷落？它凭什么在今天值得普通读者翻开？本章要回答的就是这两个问题。

1303 年的大都：一个被低估的数学黄金年代

要理解《四元玉鉴》为什么重要，得先理解它在什么样的环境中诞生。

元代不是一般人印象中的「马上得天下、马上治之」的粗犷王朝。13 至 14 世纪的大都和杭州两地，存在着一个由回回司天台、回回医学教习、汉人算学馆和阿拉伯—波斯数学传统共同构成的数学交流圈。几个标志性事件可以勾勒这个圈子的轮廓：郭守敬（1231–1316）在 1280 年代编制的《授时历》，把一年长度精确到 365.2425 日，与现行公历相同但早了三个世纪；大都观象台由札马鲁丁主持，引入了多件来自伊斯兰世界的天文仪器；秘书监里保存着大量翻译过来的阿拉伯—波斯算术与几何文本。杭州的穆斯林社群也在持续把代数与商业算术带入江南市井。多种传统同时并存，意味着元代数学并不是在一个封闭的传统中演进的，而是处在多个传统互相激荡的节点上。

朱世杰（约 1249–1314）正是这个圈子中的核心人物之一。数学史界对朱世杰的生平了解并不算完整，他的字号、籍贯、师承大多只能从《四元玉鉴》自序和元人文集中零星拼凑。但他的自述相当具体：「以数学名家者，……予尝周流四方，复逾纪。」意思是他在数学领域讲学，前后超过十二年。十二年足够走遍燕赵、秦晋、江南、岭南；从这一时段对应的政治背景看，他很可能经历了南宋灭亡（1279）后的恢复期，并最终在 1300 年前后回到大都一带。

《四元玉鉴》不是朱世杰唯一的著作。在此之前四年，他刚刚写完了入门书《算学启蒙》（1299）。《算学启蒙》的结构是「由浅入深」：从九九乘法讲起，经过单位换算、比例分配、田亩计算，一直到一元高次方程的求解，对应朱世杰多年讲学的工作笔记。《四元玉鉴》则是「由博归约」：它假设读者已经掌握《算学启蒙》中的所有工具，然后把焦点放在一个核心问题上——如何把任意多元任意高次多项式方程组系统地解出来。两部书的关系是「前为阶梯，后为堂奥」，先后顺序恰好揭示了朱世杰的工作逻辑：先把工具教给读者，再用工具建构理论。

1303 年的大都并不是一个有利于「完整理论体系」长期存活的环境。政治上，元朝在大都的统治在 14 世纪中叶崩溃；学术上，汉人算学在科举与官学体系中始终处于边缘；社会上，多元方程的求解能力并不构成直接谋生手段。这些结构性问题在下一节展开。

从巅峰到尘封：四百年冷落的真正原因

《四元玉鉴》问世后的命运，可以按四个相互叠加的原因来理解。

第一，元末明初的物理损毁。朱世杰去世后的 1300 年代后期，元末战乱使大量书籍散失。《四元玉鉴》原本是木刻本，元朝覆灭后刻版和印本都极为稀少。明初编《永乐大典》（1408）时，编纂者据说引用了部分数学内容，但《永乐大典》本身在明中叶以后也残缺严重，今天我们看到的数学残卷只是原貌的零星片段。这意味着《四元玉鉴》在 14 世纪后期到 15 世纪初期经历了「原版散失 + 大型类书残缺」的双重打击。

第二，明代科举不考算学。这是更致命的制度原因。明洪武三年（1370）正式确立科举考试的四书五经格式，此后约 530 年间，考场上几乎不出现数学题。读书人若想改变命运，唯一正路是熟读四书五经、做规范的八股文章。算学从官方学术的主流滑入私人爱好，再从私人爱好滑入师徒间的秘密传承。到了晚明，民间会算学的人依然存在，但他们大多以「测字算命」「择日看地理」等方式谋生，与《四元玉鉴》这样需要完整理论训练的内容几乎脱节。

第三，书目失载，阅读路径断裂。中国传统目录学非常依赖公私藏书的编目和注录。一部书如果被多次著录、多次翻刻，就会在几代读者中流传；如果只在少数书目中出现一次，再无下文，就会在几代之后从公共记忆里淡出。《四元玉鉴》在明清两代的官修书目中时隐时现：《文渊阁书目》《内阁藏书目录》偶尔著录，但许多私家藏书目录中根本没有它。等到清代乾嘉学派重新整理古代数学典籍时，学者们发现，《四元玉鉴》的版本是稀缺的，可信的注释几乎没有。

第四，技术门槛本身。这是一个被低估的原因。《四元玉鉴》不是《九章算术》那种「以应用为骨」的书。后者 246 个题目大量来自田亩、漕粮、工程实际，门槛较低，普通读书人跟着题做就能上手。朱世杰写的是「以方程为骨」——他的 288 题几乎每一道都需要读者理解多元多项式方程的「太」式和「开方」式，才能读懂。门槛一旦被甩开，书就自然冷下去。

这四个原因叠加，让《四元玉鉴》在元末之后大约 600 年的中国本土处于「有书无人读」的尴尬境地。

有意思的是，这部书并没有真正死去。它在清代被一群业余数学家局部「复活」了一部分，下一节会详细说。

漂洋过海：一本中国古书如何进入世界学术视野

故事要从 19 世纪说起。

清代乾嘉学派（18 世纪中后期）的学者在整理古代数学典籍时，陆续注意到《四元玉鉴》。焦循（1763–1820）在 1798 年前后写了《天元一释》，是较早在清代学术框架内系统讲解一元方程（即天元术）的著作。但他没能完整读懂四元的内容。稍后沈钦裴（18 世纪末—19 世纪初）和罗士琳（约 1789–1853）等人做了大量校勘工作。罗士琳的《四元玉鉴细草》（1839 年前后完成）是清代最完整的注释本——所谓「细草」，就是「详细的草稿」，相当于把原书的每一道题都重新列一遍方程、给出算草。但这些工作都局限在国内学术圈，没有进入更大的世界学术网络。

真正让《四元玉鉴》获得国际学术生命的，是英国伦敦会传教士伟烈亚力（Alexander Wylie，1815–1887）。他长期居住在上海，熟悉汉语和大量汉文典籍。1852 年他在上海出版的《中国文献札记》（Notes on Chinese Literature）中，专门介绍了一批中国数学典籍，包括《九章算术》《数书九章》《四元玉鉴》等。这是西方学术界第一次系统知道中国古代代数曾经达到的高度。但 Wylie 的介绍有局限：他主要做书目和内容提示，并没有真正翻译题目，也没有和西方同时代的代数学做对比。这部分工作，要等到 20 世纪初。

20 世纪初有两件事至关重要。

第一件是日本数学史家三上义夫（Yoshio Mikami，1875–1950）1913 年出版的《中国和日本数学史》（The Development of Mathematics in China and Japan）。这是第一部用英文学术语言系统介绍中国数学史的著作。三上义夫在书中明确把《四元玉鉴》的「四元术」与 17—19 世纪的西方行列式理论、克拉默法则（Cramer's Rule）做了对比，并给出了若干判断：朱世杰的工作在很多方面独立预示了后来欧洲代数学的发展方向；三上义夫甚至认为，如果符号系统再往前走一步，《四元玉鉴》的工作就几乎可以与 18 世纪末的欧洲代数学相提并论。三上义夫的论断在西方学界引起了相当大的反响，因为它挑战了「代数学起源于古希腊—阿拉伯—欧洲」这一传统叙事，让「东亚贡献」正式进入了主流数学史叙述。

第二件是 D. E. Smith（David Eugene Smith，1860–1944）1923—1925 年出版的《数学史》（History of Mathematics）两卷本。这部书至今仍是西方大学数学史课程的标准参考书之一。Smith 在书中明确把朱世杰和 14 世纪阿拉伯数学家、欧洲文艺复兴早期的代数学家并列讨论，把《四元玉鉴》纳入世界代数学的演进脉络。Smith 的判断比三上义夫更克制：他承认朱世杰工作的重要性，但不夸大「独立预示」的程度，而是把朱世杰放在一个更大的「多文明共同演进」的框架里。这种克制并非保守，而是因为他意识到，把东方数学过度浪漫化会损害它在学术上的可信度。

二战之后，李约瑟（Joseph Needham，1900–1995）主编的《中国科学技术史》（Science and Civilisation in China）第 3 卷（数学）于 1959 年出版。这部巨著对包括《四元玉鉴》在内的中国数学遗产做了百科全书式的系统介绍，李约瑟本人与多位合作者（包括王铃、钱宝琮等）花了近十年时间把中国古代数学与同时期的印度、阿拉伯、欧洲数学做了横向比较。从此以后，《四元玉鉴》在国际数学史界有了不可动摇的学术地位——它被普遍认为是 14 世纪世界范围内多元多项式方程的最高成就之一。

中国本土的现代数学史研究则在钱宝琮（1892–1974）的《中国数学史》（1964 年初版）和吴文俊（1919–2017）的工作中达到新阶段。钱宝琮主编的《中国数学史》是中国第一部现代学术意义上的数学通史，对《四元玉鉴》的四元术做了系统梳理；吴文俊在 1970—1980 年代开创的「数学机械化」纲领，其思想源头之一就是中国古代方程的「消消去术」传统——也就是《四元玉鉴》中处理多元方程组的核心步骤。吴文俊的工作后来发展为「吴方法」，被应用于自动定理证明、计算机代数和几何定理机器证明。这些研究发现让《四元玉鉴》从「历史遗产」变成了「仍然活着的研究素材」。

至此，《四元玉鉴》在 20 世纪后半叶完成了一次完整的「再嵌入」：它既是国际数学史的研究对象，又是中国本土数学史的必读经典，还是当代数学机械化研究的思想来源之一。一部 14 世纪的书，能在 20 世纪的三个不同学术场域同时被认真对待，本身就是一件值得读者记住的事实。

为什么是《四元玉鉴》而不是《九章算术》代表中国代数高峰

很多读者会有疑问：中国数学史绕不开《九章算术》（成书于公元前 1 世纪左右，最终成书年代约在东汉），为什么国际学界普遍把《四元玉鉴》看作中国代数的高峰，而不是那部更古老、更广为人知的《九章算术》？

这个问题答案很具体。

《九章算术》是一部「问题集」：246 个题目按田亩、粟米、均输、盈不足、方程、勾股等分类，每一道题给出一个应用场景，附上「术」（解法）。它的工作模式是「看见具体问题 → 用某个术去解 → 算出答案」。这当然很了不起，因为其中包含今天仍在使用的「盈不足术」（即线性插值的雏形）、「方程术」（实际是线性方程组的矩阵解法）、「勾股术」（即勾股定理的应用集合）等关键算法。但《九章算术》的工作模式，本质上是「应用驱动的算法集合」，它的研究对象是问题，不是问题背后的方程。

《四元玉鉴》的工作模式完全不同。它的 288 题虽然也有具体场景，但其中至少一半以上的题目是「方程结构本身」——读者拿到题目后，第一件事不是去算，而是先把题目翻译成「天元」「地元」「人元」「物元」（即四个未知数）的多项式方程，然后再去解它。书名里的「四元」指的就是四个未知数，「玉鉴」是珍宝之镜的比喻，整部书的结构是「先教你如何把任意问题写成方程 → 再教你如何解任意形式的方程 → 再把这一方法用到具体问题上」。

这个差别听起来细微，实际上是数学发展史上的关键分水岭。我们可以用现代术语重新表述：从《九章算术》到《四元玉鉴》，中国代数完成了从「算术应用」到「方程理论」的跃迁。前者的核心是「计算」，后者的核心是「结构」。

打个比方：如果《九章算术》是菜谱，每道菜告诉你用什么料、怎么烧；《四元玉鉴》就是烹饪学，它先告诉你「为什么烧」背后的火候、调味、化学反应规律，再把规律套回到具体的菜上。

另一个判断依据是：朱世杰在《四元玉鉴》中明确使用了「太」式（多项式的最高次项在前）和「开方」（求根）的系统记法。这个记法距离现代符号代数（用 x、y、z、w 表示未知数）还差一段路，但它已经接近 16 世纪欧洲代数学家（如韦达、笛卡尔）的「同步代数」形态。换句话说，《四元玉鉴》在代数符号化的进程上走到了一个中间点：它已经意识到「用一套符号代表任意方程」的必要性，但还没有发明出简洁的拉丁字母符号系统。

可以举一个具体例子来说明。《四元玉鉴》卷中有一道「四象会元」类的题目，大意是：今有四个未知数满足四个方程，求各元之值。题目用文字叙述条件，读者需要先把四个条件翻译为四个多项式方程（每个方程可能包含多个未知数的乘积项，比如 $x^2 y$、$xy z$ 之类），再用「剔消」法一步步消去三个未知数，最终留下一个一元方程，最后用「开方」求出剩余未知数的值，再回代求其他三个。这个过程与现代线性代数的「高斯消元」精神完全一致，只是符号系统不同而已。

这个判断是国际数学史界的共识：三上义夫、Smith、李约瑟、钱宝琮、吴文俊几代学者尽管立场略有差异，但都把《四元玉鉴》看作中国古代代数的最高点。

当然，这不是说《九章算术》不重要。《九章算术》是基础中的基础，没有它就没有《四元玉鉴》——后者大量继承了前者关于一元高次方程、天元术的早期成果。但「基础」和「高峰」是两个不同的评价维度，本书讲的是后者。

还有一个角度值得提一句。《九章算术》的成书年代决定了它是一部「集体作品的汇编」，没有明确的作者；而《四元玉鉴》有明确的作者署名（朱世杰）、明确的写作年份（1303）、明确的写作意图（自序中明示）。这意味着《四元玉鉴》可以作为一个「个人理论成果」来评价，《九章算术》则更适合作为「一个时代的知识水平」来评价。两者评价维度不同，本书聚焦的是前者。

你的阅读地图：本书十五章如何走完

写到这里，读者可能已经想问：这本书打算怎么带普通读者走进《四元玉鉴》？下面的流程图给出整体路径。

```mermaid flowchart LR A1[1303 元大都问世] --> A2[明清数百年尘封] --> A3[19世纪传入西方] --> A4[20世纪李约瑟系统化] --> A5[今日重光] B1[历史篇 2-4章] --> B2[方法篇 5-10章] --> B3[范例篇 11-13章] --> B4[原文本 14章] --> B5[反思 15章] ```

本书的十五章大致可以切成五个板块，每个板块对应一种阅读目标。

历史篇对应第 2–4 章。这一板块讲清楚三个背景：朱世杰的生平与师承、宋元数学的整体图景、《四元玉鉴》成书前后的数学交流圈。读完这一板块，你会知道朱世杰不是从天而降的奇才，而是站在前人肩膀上的集大成者；你也会知道 14 世纪的中国数学并不是孤立的，而是在一个跨大陆的数学网络中工作。第 2 章谈朱世杰这个人，第 3 章谈宋元数学的整体格局，第 4 章谈同时代的阿拉伯—欧洲代数学，让读者看到《四元玉鉴》不是孤立现象。

方法篇对应第 5–10 章，是全书的核心。这一板块会一步步教你《四元玉鉴》的核心算法：第 5 章讲「天元术」，即一元多项式方程的列法与求解；第 6 章讲「四元术」，即多元多项式方程组的消元法；第 7 章讲「垛积术」，即高阶求和与组合恒等式；第 8 章讲「招差术」，即有限差分与高次插值；第 9 章讲「开方术」，即任意次方程的数值求根；第 10 章做一次阶段性总结。这一板块每一章都配可手算的例题，确保读者不必背诵结论，而是真的能跟着笔算一遍。如果只想读方法部分，从第 5 章直接读起也没问题。

范例篇对应第 11–13 章。选《四元玉鉴》中最具代表性的若干题，做完整的「原文 → 翻译 → 现代符号化 → 计算 → 解读」全流程演示，让读者看到 700 年前的方程在今天的笔下复活。第 11 章解一元方程典型题，第 12 章解四元方程组典型题，第 13 章解垛积招差综合题。

原文本对应第 14 章。这一章不做简化，给出选段的中文原文（附简要注释），让读者看到《四元玉鉴》这本书的本来面貌。它的作用是「让读者确认真有这么一本书」，为那些想进一步自己查阅原书的读者提供一个入口。

反思篇对应第 15 章。回头看这部书对中国数学传统、对世界代数史、对今天的人工智能与数学机械化研究的意义，并讨论它在 21 世纪是否还有再被重读的价值。

阅读建议是：如果只想对这部书有个整体印象，可以只读本章和第 14、15 章；如果想真的学会书里的方法，请按顺序从第 2 章一直读到第 13 章；如果只是好奇 700 年前的数学家在做什么、怎么想，可以重点读第 2、3、4 章和第 11、12、13 章。

本章小结

本章回答了开篇的两个核心问题。

《四元玉鉴》之所以在历史上被冷落近七百年，是制度原因（科举废算，读书人不读算学）、技术原因（阅读门槛极高，普通人读不懂）、文献原因（书目失载、版本稀缺、元末战乱毁版）三重叠加的结果。这三重原因相互加强：制度原因让读的人少，技术原因让懂的人少，文献原因让愿意花精力校勘的人少。

它之所以在今天值得普通读者重读，是因为它代表了 14 世纪世界代数史上一个独立而完整的理论高峰。在没有拉丁字母符号系统的条件下，朱世杰建立了一套能够处理任意多元任意高次方程的列法与解法，并把这套方法系统化、教科书化。这一工作的意义超出了中国数学史的范围，是世界代数学演进史上的关键一环。它对今天的数学机械化研究也有具体影响——吴文俊的工作就是从中国古代方程传统中找灵感的。

下一章进入历史篇的起点：朱世杰这个人。要理解《四元玉鉴》，必须先理解它的作者是谁，他从哪里学到这套方法，又是为了什么目的写下这部书。