天元开创
第1章：天元开创
一道数学题，如果没有给出任何已知数字，只告诉你“有一个数，比它大3的数与它的乘积是50”，你能否找到这个数？这看似荒诞的设问，恰恰是代数学最深刻的起点：我们能否用符号捕捉“未知”，并用数学语言描述它的关系？
这个问题困扰了人类数千年。古巴比伦人用文字叙述解题过程，需要大量篇幅解释每一步；古希腊人借助几何图形，用线段长度代替数量关系；印度和阿拉伯数学家创造了缩写符号，但仍没有系统的方法。直到13世纪的中国，一位名叫李冶的数学家在他的著作《测圆海镜》中，引入了一种简洁而深刻的符号系统——“立天元一”。这三个字，标志着人类抽象思维的一次巨大飞跃：从具体数字的运算，进入了符号运算的时代。
本章要回答的核心问题是：天元术是如何用符号表示未知数的？它与我们今天学习的方程，本质上有什么联系？通过分析《测圆海镜》中的经典例题，我们将看到古代数学家如何完成从几何直观到代数抽象的关键一跃。这一跃，不仅改变了中国数学的面貌，也为世界代数学的发展提供了重要思路。
天元术的定义：什么是“立天元一”
理解天元术，必须从它的基本操作开始。李冶在《测圆海镜》中反复使用“立天元一”这四个字，这不是一个随意的命名，而是一个精心设计的符号系统。
“天元”在古代天文学中指代天体的运行轨道，是一个抽象的、看不见摸不着的概念。李冶借用这个词，赋予它全新的数学含义：天元，就是我们要找的那个未知数。当他说“立天元一为某某”的时候，意思就是“设未知数为某某”。
举例来说，如果一道题问“求圆半径”，李冶会写道：“立天元一为半径。”这相当于今天的“设半径为x”。如果题目问的是“两个圆面积之差”，他会写：“立天元一为两圆面积之差。”这种表述方式，直接对应了我们今天用字母表示未知量的习惯。
为什么选择“一”这个量词？这里的“一”不是数字1，而是一个量词，表示“单位未知量”。它的作用类似于英语中的不定冠词“a”或“an”，强调的是“某个”而非“特定”的数。换言之，“天元一”的完整含义是：一个抽象的未知量，我们用符号把它固定下来。
在李冶的体系中，所有的数量关系都用“天元一”来表示和运算。他建立了完整的符号体系：常数项用特定的文字标注，次数用位置表示，加减关系通过上下排列体现。这套系统虽然没有现代的字母-指数记号那么紧凑，但在当时已经是革命性的突破——它实现了数学表达从自然语言描述到符号运算的转变。
更重要的是，天元术不仅是一种书写技巧，更是一种思维方式。它要求解题者首先将问题中的所有量都用同一个未知数来表示，然后根据问题给出的条件建立等量关系，最后通过代数运算求出这个未知数。这个流程，与我们今天解方程的步骤几乎完全一致。
洞渊九容术：几何问题代数的桥梁
理解了“立天元一”的含义，我们需要追问：这套符号系统最初是用来解决什么问题的？这就不得不提到天元术的重要来源——洞渊九容。
“洞渊九容”是一部已经失传的古代数学著作的名字。李冶在《测圆海镜》中多次引用其中的算法，并将其中的九种几何模型作为基础案例。我们今天能够了解洞渊九容，主要通过李冶的转述和再创作。
洞渊九容研究的是一类特殊的几何问题：圆与直角三角形的组合。具体来说，它探讨的是在各种圆与三角形相切（内切、外切、相交于特定点）的情况下，如何根据已知的几何关系求出圆的半径、线段的长度或图形的面积。这些问题用纯几何方法很难处理，但一旦用代数方法翻译，就变成了可计算的方程。
为什么要用几何问题来引入代数方法？这个选择并非偶然。13世纪之前，中国数学的主流方法仍然是几何推导和数值计算。用几何问题作为代数方法的入口，有几个重要原因。
首先，几何问题有直观的几何意义。用未知数表示几何量时，解题者可以借助图形直观理解每个符号代表什么——“这条线段是x，那条是x+3，它们的平方和等于某个值”。这种直观性降低了抽象思维的门槛。
其次，几何问题往往能导出简洁的方程。圆和直角三角形的组合天然产生二次方程，因为勾股定理本身就涉及平方运算。通过几何问题入门，解题者能更自然地接触到二次方程的解法。
第三，古代数学家有深厚的几何训练基础。将代数方法嫁接在他们熟悉的几何问题上，比引入全新的完全抽象问题更容易被接受。
正是基于这样的考量，李冶选取了洞渊九容中的典型问题，用天元术重新解答，从而展示了新方法的威力。下面，我们就用一道具体的例题，完整演示天元术建立方程的全过程。
实践案例：洞渊九容第一题的完整解答
为了具体理解天元术的工作方式，我们选择《测圆海镜》中有代表性的一个问题。虽然原题涉及复杂的图形和术语，但我们可以用一个简化版本说明核心方法。
例题：已知一个直角三角形，其一条直角边比另一条直角边长3个单位。如果以较短直角边为边长的正方形面积，比以较长直角边为边长的正方形面积小36个单位，求两条直角边的长度。
这个问题用今天的语言来说就是：设较短直角边为$x$，则较长直角边为$x+3$。根据题意：
$$x^2 + 36 = (x+3)^2$$
这是方程建立的第一步：审题与布列。审题是仔细分析题目给出的所有条件，明确已知量与未知量；布列是根据条件，用符号表示未知量，并建立等式关系。
在李冶的时代，解题者会这样写出布列过程：
> 立天元一为较短线段。 > > 天元加三为较长线段。 > > 天元幂加三十六（为）较短线段上正方形面积。 > > 天元加三，幂（为）较长线段上正方形面积。 > > 二积等也。
最后一句“二积等也”是关键，它表示“两个面积相等”，由此建立等式。
我们把这个过程翻译成现代代数形式：
设较短直角边为$x$，则
$$x^2 + 36 = (x+3)^2$$
接下来是化简步骤。天元术中，化简主要通过展开括号、移项、合并同类项完成。
展开右端：
$$x^2 + 36 = x^2 + 6x + 9$$
两边同时减去$x^2$：
$$36 = 6x + 9$$
移项：
$$6x = 36 - 9 = 27$$
求解：
$$x = \frac{27}{6} = 4.5$$
验证：较短边为4.5，较长边为7.5。较短边的平方是20.25，较长边的平方是56.25，差值为36。答案正确。
这就是天元术解方程的完整流程：立天元一（设未知数）→根据题意建立等式（布列）→化简为标准形式（化简）→求解未知数（求解）。这四个步骤，与今天解方程的流程完全一致。
从几何直观到代数抽象的思维跨越
上面的例题看似简单，但它蕴含的思维转变极为深刻。仔细审视解题过程，我们会发现一个关键问题：我们并没有真正用到“直角三角形”这个几何背景。
方程$x^2 + 36 = (x+3)^2$完全是从“一条线段比另一条长3，面积差为36”这些数量关系直接写出来的。三角形这个几何外壳被完全剥离了——我们关心的只是数量之间的关系，而非它们的几何意义。
这个“去几何化”的过程，正是天元术最核心的价值所在。
在早期的数学中，几何图形不仅是研究对象，也是思维的辅助工具。数学家通过图形直观地“看到”问题的结构，然后设法用计算验证自己的观察。但这种方式有明显的局限：复杂问题往往难以画出清晰的图形，而且图形只能展示二维甚至三维的关系，高维问题完全超出几何直观的能力范围。
天元术的贡献在于，它证明了符号可以独立于几何图形运作。一旦你用符号表示了量，就可以完全抛开图形，仅通过符号之间的运算规则推导出结论。这种思维模式带来了几个根本性的变化。
第一，问题可以被更一般化地处理。不再需要为每种特定的几何构型设计专门的解法，而是将所有问题统一到“建立方程—求解方程”的框架中。直角三角形的问题和圆的问题，在代数层面可能是同一个方程。
第二，运算过程可以被形式化。当符号脱离了几何意义的约束，运算规则就变得更加清晰和可预测。我们不再需要每次都“想想图形的含义”，只需要遵循代数规则进行推导。
第三，高阶问题变得可解。随着问题复杂度的增加，几何方法的局限性越来越明显，但代数方法可以轻松处理任意多个未知数和任意次数的方程。
这种从几何到代数的抽象，并没有否定几何的价值。相反，几何直观往往是发现问题关系的好起点。李冶选择洞渊九容作为天元术的示范案例，正是因为这些几何问题能帮助读者理解：方程不是凭空出现的，它是对实际问题关系的符号化表达。
真正的数学思维，是能够在几何直观和代数抽象之间灵活切换。当你在草稿纸上画一个直角三角形，标上字母，然后用代数方法求出边长，你完成的正是与李冶相同的思维过程——只不过李冶用文字“立天元一”代替了字母x，用竖排书写代替了横排公式。
方程的本质：天元术与现代代数的对应
通过上面的分析，我们已经看到了天元术的基本工作方式。现在需要进一步追问：天元术与今天我们学习的方程，本质联系到底是什么？
让我们做一次详细的对比。
在现代代数中，我们用字母表示未知数，用等号建立关系，用运算符号连接。比如，一道简单的方程：
$$3x + 5 = 20$$
它的含义是：有一个数x，将它乘以3再加上5，结果等于20。求解过程就是逆运算：先两边同时减去5，再同时除以3，得到$x = 5$。
在李冶的天元术中，同样的问题会这样表述：
> 立天元一为所求数。 > > 天元倍之，加五，与二十等。
虽然书写形式不同，但结构完全对应：天元一对应x，倍之对应乘以2，加五对应加5，与二十等对应等于20。
再看复杂一些的二次方程。在现代代数中：
$$x^2 + 3x - 40 = 0$$
在天元术中，会写成：
> 立天元一为所求数。 > > 天元幂，加天元三四之，减四十，与零等。
这里的“天元三四之”意思是“天元的十分之三”，即$\frac{3}{4}x$。虽然记号不同，但方程的本质完全一致。
通过这些对比，我们可以清晰地看到：天元术就是中国古人发明的“代数符号系统”，它与现代代数的差异仅仅是符号书写习惯和排列方式的不同，核心逻辑完全一致。
这也意味着，学习天元术并不是学习一种“已经过时的古老方法”，而是理解代数学的本质思想。现代学生用字母x、y、z列方程解应用题，与李冶用“天元一”立方程，本质上是同一套思维模式的不同实现。
理解了这一点，我们再来看“方程”这个词的本义。“方”是方形、整齐的意思，“程”是程序、过程的意思。方程，就是“使等式两边保持整齐的程序”——也就是通过运算让等式两边相等的方法。这个定义在天元术中体现得淋漓尽致：解题者通过一系列符号运算，将复杂的文字描述转化为简洁的等式，最终求出未知数。
方程建立的完整方法论
回到实际应用层面，一个完整的方程建立过程，需要遵循明确的方法论。通过天元术的实践案例，我们可以总结出建立方程的四个关键步骤：审题、布列、化简、求解。
审题是第一步，也是最容易被忽视的一步。许多学生看到题目就急着列方程，结果列出的等式驴唇不对马嘴。审题的核心任务是明确三个问题：题目问的是什么（哪个量是未知的）？题目给出了什么条件？这些条件之间有什么数量关系？
以一道典型应用题为例：“小明买了3支钢笔和2支圆珠笔，一共花了45元。已知钢笔的单价比圆珠笔贵5元，求两种笔的单价。”审题时需要明确：未知数有两个（钢笔单价和圆珠笔单价），已知条件有两个（总价45元，差价5元），两个条件分别对应两个等量关系（总价关系和差价关系）。
布列是根据审题结果，用符号表示未知量，并根据等量关系建立方程。这一步的关键是准确翻译“文字语言”为“符号语言”。常见的等量关系包括：部分之和等于整体（A+B=总数），差值关系（A-B=差），倍数关系（A=kB），比例关系（A:B=m:n）等。识别出题目中包含的等量关系类型，就能正确布列方程。
化简是将布列出的方程化为标准形式。对于一元方程，标准形式通常是$a x + b = 0$（一次方程）或$a x^2 + b x + c = 0$（二次方程）。化简的主要操作包括去括号、移项、合并同类项、两边同时进行同一运算等。这一步的目的是将方程变为可求解的标准形式。
求解是根据方程类型，应用相应的算法求出未知数。一次方程用逆运算直接求解；二次方程可以用因式分解法、配方法或求根公式法求解；更高次的方程需要更复杂的技巧。
这四个步骤构成了方程求解的完整框架。无论是中国古代的天元术，还是今天的代数课程，其本质都是在执行这个框架。掌握了这个框架，面对任何用方程描述的问题，都能按部就班地解决。
从一元到多元：天元术的扩展方向
本章的主题虽然是天元术的开创，但必须指出，一元方程只是这套符号系统的起点。
李冶在《测圆海镜》中用天元术解决的大多数问题，涉及的未知数都不止一个。例如，在研究圆与直角三角形的组合时，常常需要同时知道圆的半径、三角形的两条直角边、若干条辅助线段的长度等多个量。如果只设一个未知数，很多问题根本无法表达。
因此，在“立天元一”的基础上，李冶进一步发展了多元方程的处理方法。他尝试用同样的符号系统表示多个未知数，并通过增加标注和位置约定来区分它们。这种扩展虽然不如现代的x、y、z系统那么清晰，但已经触及了多元代数方程的核心问题。
更重要的是，李冶的学生和后继者继续推进了这套系统。到了14世纪，另一位数学家朱世杰在其著作《四元玉鉴》中，将天元术发展为“四元术”，能够系统地处理四个未知数的关系。四元术用四个位置分别代表x、y、z、w四个未知数，并建立了完整的运算规则。
从一元到四元，这条扩展之路并非一帆风顺。当未知数的个数超过四个时，天元术/四元术的二维书写方式就遇到了瓶颈——平面上只有四个方向可以用来放置符号，四元已经是极限。这个限制最终在几百年后被西方数学家的行列式理论和矩阵理论所突破，这是后话。
但即便如此，天元术到四元术的发展历程，仍然展示了符号代数系统的强大生命力：一旦建立了基本的符号表示方法，就能沿着这条路不断扩展，最终覆盖越来越复杂的数学对象。
本章小结
本章从“立天元一”这三个字出发，追溯了天元术的核心原理和实践方法。
天元术的本质是一套符号表示系统，它用“天元一”表示未知量，通过位置排列和文字标注表示次数和系数，从而将文字描述的数学问题转化为可计算的符号等式。这套系统与现代代数中的字母-运算符号体系，本质上是同一套思维模式的不同实现。
洞渊九容术为天元术提供了典型的问题来源。通过圆与直角三角形的组合问题，我们看到古代数学家如何借助几何直观发现问题中的数量关系，然后将这些关系翻译为代数方程。
建立方程的方法论可以概括为四个步骤：审题（明确未知数和已知条件）、布列（建立等量关系）、化简（化为标准形式）、求解（应用相应算法）。这四个步骤在天元术中和在现代代数中完全一致。
从一元方程到多元方程的发展，预示了天元术的扩展方向。从“立天元一”到“立四元”，中国数学家沿着符号化的道路不断前进，为世界代数学的发展贡献了独特的力量。
然而，一个根本性的问题仍然悬而未决：当方程的次数超过二次时，应该如何求解？古人没有求根公式，也没有计算机，他们如何处理复杂的二次方程甚至更高次方程？下一章，我们将深入探讨一类特殊的方程——勾股方程，看看古代数学家如何在没有公式的情况下，凭借几何直观和巧妙变换，求出方程的解。