四元术的历史坐标

四元术的历史坐标

四元术的核心问题在于：它究竟是一种突如其来的天才创造，还是中国古典数学长期演进的必然产物？要回答这个问题，必须将目光投向公元前一世纪的《九章算术》，追踪中国代数方程术经历了怎样的积累与蜕变，才最终在十四世纪初的《四元玉鉴》中达到顶峰。本章将从历史演进、社会背景和技术创新三个维度，揭示四元术产生的内在逻辑。

从方程术到天元术：代数符号系统的萌生

中国古典数学中，“方程”一词的含义与现代数学中的“方程”有显著区别。《九章算术》第八章即以“方程”为名，其核心内容是线性方程组的解法。这里的“方”指整齐有序，“程”指程式法度，合起来表示按照一定规格排列的算筹阵式。刘徽在注文中解释：“方程，列为行，相乘法当求之。”这段话揭示了方程术的本质：以算筹为工具，通过特定布列方式求解线性方程组。

《九章算术》方程章开篇即给出经典例题：

> “今有上禾三秉，中禾二秉，下禾一秉，劾三十九斗；上禾二秉，中禾三秉，下禾一秉，劾三十四斗；上禾一秉，中禾二秉，下禾三秉，劾二十六斗。问上、中、下禾一秉各几何？”

用现代数学语言记述，这道题对应以下线性方程组：

$$ \begin{cases} 3x + 2y + z = 39 \\ 2x + 3y + z = 34 \\ x + 2y + 3z = 26 \end{cases} $$

其中 $x$、$y$、$z$ 分别表示上禾、中禾、下禾每秉的斗数。

《九章算术》给出的解法称为“方程术”，其核心步骤是“遍乘直除”。以第一式为例，需将方程各项同时乘以某个数，然后减去另一式对应项，使某未知数的系数逐步消元。这种方法在精神上与高斯消元法完全一致，但操作形式截然不同。

让我们具体追踪“方程术”的演算过程。首先需要将方程组用算筹布列。《九章算术》所载算筹摆法如下：

``` 上禾 中禾 下禾 实 三 二 一 三九 二 三 一 三四 一 二 三 二六 ```

每一列代表一个未知数的系数，最后一列是常数项“实”。解法步骤包括：

第一步，以第一行“三”（上禾系数）遍乘第二行，使第二行变为“九六三一三四”。这里用算筹记数，“九”实际是筹式横列的形状变化，表示九。

第二步，以变化后的第二行减去第一行相应的倍数，使上禾系数归零。此时第二行变为：

``` ○ 六 一 五 ```

其中“○”表示上禾系数已消元，第二行现表示 $6y + z = 5 \times 10$（古代以十斗为斛，常数项单位换算后为五十斗）。

第三步，对第三行施以相同操作，消除第一列第一、三行的上禾系数。

经过三行两列的反复“遍乘直除”，最终可求得 $x = 9\frac{1}{4}$、$y = 4\frac{1}{4}$、$z = 2\frac{3}{4}$。

对比现代矩阵初等变换，上述过程在数学本质上等同于以下操作：

$$ \begin{pmatrix} 3 & 2 & 1 & 39 \\ 2 & 3 & 1 & 34 \\ 1 & 2 & 3 & 26 \end{pmatrix} \xrightarrow{R_2 \leftarrow 3R_2 - 2R_1} \begin{pmatrix} 3 & 2 & 1 & 39 \\ 0 & 5 & 1 & 34 \\ 1 & 2 & 3 & 26 \end{pmatrix} $$

两者都遵循同一逻辑：通过行的初等变换，将增广矩阵化为阶梯形，然后回代求解。差异在于载体与记录方式：古代用算筹的物理位移表达运算，现代用符号书写；古代的“实”（常数项）需要考虑单位换算，现代的常数项是纯数值。

从《九章算术》到唐代，方程术的演进并非线性加速。东汉至南北朝数百年间，算学发展相对沉寂。直到唐代设立算学馆、规定十部算经为教科书，方程术才重新进入系统整理阶段。这一时期最重要的贡献是建立了更为规范的布列格式和操作程序，使得“方程术”成为可传授、可验证的标准方法。

然而，《九章算术》方程术存在一个根本局限：它只能处理具体的数值问题，无法表达一般形式的方程。每道题都是独立的算筹排列，解完即止，算理不具有可推广性。举例来说，若要将方程 $ax + b = c$ 的一般解法提炼为公式，在《九章算术》的框架下根本无从下手——因为算筹摆出的永远是具体数字，不存在代表系数的抽象符号。

这一局限在唐代天元术中得到了突破。“天元”概念的引入是中国代数思想史上的转折点。所谓“天元”，即“以天元一为未知数”。李冶《测圆海镜》序言中明确指出：“立天元一于太极之上。”这里的“太极”指所讨论问题的整体，“天元一”则是置于其上的未知量符号。

天元术的核心创新在于：它第一次在中国数学中引入了代表未知数的抽象符号。“天元”不再指代某个具体数值，而是作为一个占位符，可以参与算术运算并最终通过“开方式”确定其值。让我们以李冶《益古演段》中的一道例题说明天元术的操作方式。

问题：已知正方形面积与圆面积之和为114平方尺，圆直径与正方形边长之和为18尺，求圆面积。

设圆面积为 $S$，正方形边长为 $a$，则圆面积为 $\pi r^2$，但李冶时代并不直接引入 $\pi$，而是通过几何关系建立方程。

设正方形边长为“天元一”，即 $a = x$。则圆直径为 $18 - x$，圆半径为 $\frac{18-x}{2}$，圆面积为 $\frac{\pi(18-x)^2}{4}$。

天元术的记法中，将方程整理为：

$$(\text{天元}^2 + \text{天元} \times \text{常数} + \text{常数}^2) \div \text{常数} = \text{圆面积}$$

用现代符号转写，即：

$$\frac{x^2 + 18x + 324}{4\pi} = 114 - \frac{\pi(18-x)^2}{4}$$

经过移项、合并同类项，最终得到关于 $x$ 的高次方程。通过天元术，方程的各项系数可以清晰地用“元”或“太”来标记其相对于天元的次数，使得复杂的高次方程求解成为可能。

天元术与《九章算术》方程术的本质区别在于：从特殊走向一般，从数值走向符号，从具体问题走向抽象方程。这是中国数学从“算法”走向“代数”的关键一步。但天元术仍有其局限：它只能处理单一未知数的问题。当数学家面对多元方程组时，天元术就显得力不从心——两个未知数需要两个符号，但天元术的框架中只有一个“天元”。这一矛盾，推动了四元术的诞生。

宋元之际的社会需求与数学变革

四元术的出现不仅是数学内部逻辑演进的结果，更深深嵌于宋元之际的社会土壤之中。理解四元术的历史坐标，必须考察这一时期商品经济发展、城市繁荣与少数民族政权对天文历法需求这三个关键因素。

北宋至南宋的三百年间，中国社会的商品经济达到了古典时期的高峰。以汴京为例，《东京梦华录》记载的商铺种类超过百种，街市贸易从清晨延续至深夜。货币流通量的大幅增加催生了复杂的商业算学需求。利息计算、本金与利润分配、合伙经营的分红比例——这些问题不再能靠简单的整数运算解决，而需要处理小数、分数乃至更高次的代数关系。

一个典型案例是“均输”问题的发展。《九章算术》均输章已涉及按比例分配物资，但宋代的“均输”内涵大幅扩展。沈括《梦溪笔谈》记载了商人计算复利的实际方法：“假如千钱为本，岁息百钱，十年之后则为本钱二千五百九十六钱有奇。”这里涉及指数增长的计算，而四元术最终要处理的高次方程，恰恰可以应用于复利问题的精确求解。

城市经济的另一项需求是建筑测量。北宋李诫《营造法式》记载了大量与几何测量相关的算题，涉及矩形、圆形、组合图形的面积计算，以及利用勾股定理进行间接测量。这些测量问题往往导致复杂的联立方程——未知数之间不再是简单的线性关系，而是包含平方项、乘积项。

更直接推动四元术发展的是天文历法计算。历法的核心任务是根据天体运行规律推算未来时刻的日月五星位置。这一计算涉及大量的三角函数插值、高次方程求解和联立方程组求解。以《大明历》和《授时历》为例，计算太阳视运动的不均匀性需要将时间与角度建立非线性关系，最终归结为求解三次乃至四次方程。

宋元之际的民族政权更替深刻影响了数学发展的方向。契丹族建立的辽、党项族建立的西夏、女真族建立的金、蒙古族建立的元，这些政权对天文历法有着特殊的政治需求。在传统中国政治观念中，历法是皇权的象征——准确预测天象、编制合乎天道的历书，是正统政权合法性的重要来源。因此，少数民族政权往往重用精通天文历法的汉族或各族学者。

金朝设立司天台，招募历算专家；元朝更是在忽必烈支持下，由郭守敬主持编制《授时历》。郭守敬的天文计算达到了当时世界最高水平，其核心方法之一就是利用高次方程解决天体轨道的近似计算问题。可以说，没有元朝政府对天文历法的强力支持，就不会有郭守敬的成就，也不会有处理高次方程的迫切需求。

从更宏观的视角看，宋元之际的“唐宋变革”在思想文化层面为数学突破准备了土壤。科举制度在宋代的发展使得知识分子群体空前扩大，而理学“格物致知”的思想方法论鼓励对自然规律进行深入探究。沈括、苏颂、秦九韶、杨辉、李冶、朱世杰——这些名字标志着宋代知识分子对数学的高度重视。

南宋末年，数学家秦九韶在其名著《数书九章》中系统总结了高次方程数值解法，他称之为“正负开方法”。秦九韶的方法可以求任意高次方程的正根，其算理与现代霍纳法则高度一致。但秦九韶的贡献主要在数值计算层面，而非符号系统层面。他解决了“怎么算得准”的问题，但尚未突破“怎么写得更清楚”的瓶颈。

真正实现符号系统飞跃的是朱世杰。朱世杰活跃于十三世纪末至十四世纪初，曾在北方游学二十年，后隐居扬州著书。其《四元玉鉴》三卷系统阐述了四元术的理论与方法，代表了中国古典代数方程术的顶峰。

朱世杰生活的时代恰逢元朝统一全国、文化整合的关键时期。他能够融汇北方金朝和南方南宋的数学成果，既有北方重视天文历法计算的传统，又有南方发展商业数学的实践。这种跨地域、跨文化的知识整合，为四元术的诞生提供了必要条件。

四元术：代数符号系统的集大成

四元术的历史定位，应置于从《九章算术》到《四元玉鉴》的整个演进链条中理解。四元术并非凭空创造，而是吸收了此前数百年的所有代数思想成果，并在此基础上实现了质的飞跃。

从技术史的角度看，四元术解决了三个前代未能解决的问题：

第一，多元未知数的表示问题。在天元术中，未知数只有“天元一”。四元术则引入了“地元”、“人元”、“物元”三个额外的未知数符号，分别置于图的左、下、右三个方位，中央的“太”或“太极”表示常数项。这样，四元术最多可以处理四个未知数，满足绝大多数实际问题的需求。

第二，多元方程中“交叉项”的表示问题。两个未知数相乘会产生一个新的项，如 $xy$。在天元术的框架下，这只能通过复杂的记法勉强表达。四元术则利用四象定位的方法，将每项的次数分解到四个方位上：只含“天元”的项在上位，只含“地元”的项在左位，只含“人元”的项在下位，只含“物元”的项在右位。而 $xy$ 这类两项相乘的项，则放在相邻方位的交界处。

以二元方程 $x^2 + 3xy + 5y^2 + 2x + 3y = 8$ 为例，其四元术记法如下：

``` x² （上位，天元二次） xy y² （斜位，两项乘积） x y （中位，天元和地元一次） 常数 （太，四隅常数项） ```

这种记法精妙之处在于：每一项的“次数”由其在图中的位置决定，而“交叉项”则恰好出现在方位交界处，使得整个方程的结构一目了然。

第三，高阶联立方程组的求解问题。《四元玉鉴》收录了大量四元方程组问题，展示了系统化的求解方法。朱世杰提出了“剔而消之”的策略：先通过“易”或“减”运算将四元方程逐步降为三元、三元降为二元、二元降为一元，最终归结为天元术的标准问题。这种分层消元的思想，与现代代数几何中的消去法在精神上完全一致。

《四元玉鉴》的二百八十八道例题涵盖了广泛的问题类型，既有传统的商业算学问题，也有复杂的天文历法问题，更有纯粹的几何与代数问题。其中最著名的问题之一是“三元六和”问题：

设三个未知数 $x$、$y$、$z$，已知它们两两之和以及三数之和的某种组合关系，求各数之值。这类问题用四元术可以简洁地表示为带有多元交叉项的方程组。

让我们具体分析《四元玉鉴》卷中之十五的一道例题。题目涉及一个几何问题：已知一个长方体的三个相邻面面积以及它们的和，求长方体的三条棱长。用现代数学记法：

已知 $xy = a$、$yz = b$、$zx = c$，求 $x$、$y$、$z$。

四元术的处理方式是引入三个未知数，将三个已知条件分别表示为方程：

$$ \begin{cases} \text{天元} \times \text{地元} = a \\ \text{地元} \times \text{人元} = b \\ \text{人元} \times \text{天元} = c \end{cases} $$

通过“剔而消之”的方法，先将三式相乘得到 $(xyz)^2 = abc$，于是 $xyz = \sqrt{abc}$。再以 $xyz$ 分别除以三个已知条件，即可求得各未知数：

$$x = \sqrt{\frac{ac}{b}}, \quad y = \sqrt{\frac{ab}{c}}, \quad z = \sqrt{\frac{bc}{a}}$$

这一结果与现代代数方法完全一致，但四元术的表达形式更加直观——它将乘积关系直接呈现为图式，无需显式引入“相乘”或“相除”的文字说明。

《四元玉鉴》的方法论价值在于：它不仅解决了具体问题，更重要的是建立了一套完整的符号体系和操作规范。在四元术的框架下，数学家可以清晰地将文字描述的问题转化为代数方程，可以系统地追踪消元过程，可以验证每一步操作的正确性。这套方法论遗产的影响深远，直到清代李善兰、华蘅芳等人翻译西方代数学时，仍然借鉴了四元术的许多记法传统。

四元术与前代方程术的方法论比较

从方法论角度深入比较四元术与前代方程术的异同，有助于更准确地把握四元术的历史地位。这种比较应从符号系统、问题表征、解题策略三个层面展开。

在符号系统层面，《九章算术》的“方程”本质上是一种“位置记数法”——未知数的系数不是用符号表示，而是用算筹摆出的具体数目表示。这种记法的优点是直观，数学操作可以直接在算筹上完成；缺点是只能表达具体数值，无法推广为一般公式。天元术引入了“天元一”这个抽象符号，使得未知数可以用字母表示，这是从具体到抽象的第一次飞跃。四元术则将符号系统扩展为四个位置，每个位置对应一个未知数，并规定了项的次数与位置的一一对应关系，从而实现了符号系统的二维化。

在天元术中，一元方程 $ax^2 + bx + c = 0$ 可以表示为：

``` a（天元二次） b（天元一次） c（常数） ```

而在四元术中，二元方程 $ax^2 + bxy + cy^2 + dx + ey + f = 0$ 的表示更为复杂：

``` a（天元二次） b/2 b/2（交叉项xy） c（地元二次） f（常数） e/2 e/2（交叉项y） d（天元一次） ```

四元术将交叉项拆分为两个相等的部分，分别置于斜对角位置，这种处理方式既保持了图式的对称美，也便于后续的消元操作。

在问题表征层面，前代方程术面临的核心困难是如何将实际问题翻译为代数方程。《九章算术》的做法是用具体数字摆出演算阵式，读者需要理解题目文字与算筹布列之间的对应关系。天元术虽然有了抽象符号，但将实际问题转化为方程的过程仍然依赖数学家的个人经验和技巧。四元术则发展出了一套更为规范化的“建模”程序：先明确问题的几何原型，再将几何量之间的关系翻译为代数关系，最后利用四象定位确定各项在图式中的位置。

以《四元玉鉴》中的“勾股容圆”问题为例。题目给出直角三角形三边关系，要求内切圆半径。用四元术求解时，首先设直角边分别为“天元”和“地元”，则斜边根据勾股定理为“太”位上的一个复合项（实际上是 $\sqrt{x^2+y^2}$，但四元术中表示为开方式）。内切圆半径则根据几何关系设为“人元”。通过建立三个几何量之间的关系，可以列出一个包含四元的方程组。

在解题策略层面，《九章算术》的“遍乘直除”是一种直接消元法，逻辑清晰但操作繁琐。天元术在解高次方程时采用“立天元一为某某”的设未知方法，然后通过一系列代数变换将方程化为标准形式。四元术的“剔而消之”则是对天元术的发展：从多元到少元，从高次到低次，逐步剥离无关项，最终归结为可解的单元问题。

这种分层消元的思想在计算机代数系统中仍被广泛使用。现代符号计算软件处理多元多项式方程组时，常用的策略是Groebner基方法，其核心思想与四元术的消去法一脉相承：选择一个消元顺序，逐步将高次项消为低次项，最终将问题化为三角形式的标准形。

然而，必须指出四元术的方法论局限。四元术虽然处理四元问题能力强大，但一旦问题涉及超过四个未知数，就无法直接应用。四象定位的几何直觉虽然有助于理解方程结构，但也限制了其抽象化程度。此外，四元术的消元过程缺乏严密的理论基础——朱世杰的“剔而消之”更多依赖经验技巧，而非可证明的算法。这些局限要到十七世纪笛卡尔引入解析几何、十九世纪克罗内克建立理想理论之后，才得到彻底解决。

但这并不意味着四元术的价值被后来的西方数学所超越。四元术在符号表示和算法设计上的创新，为人类数学思想史贡献了独特智慧。当我们在现代代数几何中讨论“消去法”时，不应忘记这一思想的源头之一，是十四世纪初朱世杰在《四元玉鉴》中绘制的那些精妙图式。

```mermaid timeline title 中国代数方程术的演进脉络

公元前1世纪 : 《九章算术》成书 “方程术”诞生 线性方程组解法 算筹布列法

3世纪 : 刘徽注《九章算术》 系统阐述方程术原理 提出“方程新术”

7-10世纪 : 唐代算学教育复兴 十部算经标准化 方程术规范化

13世纪中期 : 天元术成熟 李冶《测圆海镜》 抽象符号引入 单一未知数高次方程

13世纪末-14世纪初 : 四元术集大成 朱世杰《四元玉鉴》 四元符号系统 多元方程消去法

1303 : 《四元玉鉴》刊行