九章之问
算法和 AI 正在吞噬一切需要计算的工作。当 AlphaFold 预测蛋白质结构,当大模型在几秒钟内完成博士论文级别的数学证明,一个问题自然浮现:我们为什么还要回到一部两千年前的中国算经——《九章算术》?这本书在汉代编定,汇集了 246 个问题及解法,覆盖面积计算、粮食兑换、土木工程、赋税分配、线性方程组、直角三角形测量等几乎所有实用数学领域。它不是历史文物,而是另一种数学观的标本:算术并非抽象的符号游戏,而是人与世界打交道的工具集。在这个意义上,重读《九章》不是发思古之幽情,而是重新理解"计算"这个词在中华文明中的本来面目。
本书的写作目标,就是把这本看似枯燥的古籍还原成一个可以对话的文本。读者将在接下来的十四章里,跟随《九章》本身的逻辑,从面积的丈量走到方程的求解,从勾股定理的几何直觉走到矩阵消元的代数智慧。任何深入讨论之前,必须先回答一个前置问题:这部书究竟是什么?它的位置在哪里?它的文本长什么样?它在中国传统中意味着什么?本章就是为这些问题设立的。
一、《九章算术》的历史坐标
把《九章算术》放在中华典籍的版图里,它的位置既独特又有些尴尬。说独特,是因为它是整个东亚数学传统中影响最深、流传最广的文本之一;说尴尬,是因为它在儒家主导的经史子集分类中长期缺乏一个体面的归处,既不入经,也不是严格意义上的子,更难归入集部。直到唐代官方整理出"算经十书"的目录,《九章》才第一次获得"经"的地位,与《周髀算经》《孙子算经》《海岛算经》等并列,成为数学这一门学问的"圣经"。
关于《九章》的成书年代,学界至今没有定论,但大致的脉络是清楚的。多数学者认为现存文本的主体部分在东汉前期(约公元一世纪)已经定型,其中部分问题的来源可以追溯到先秦甚至更早。这本书不是某位作者的个人创作,而是历代数学知识的累积和编纂,这一点和《九章》自身的体例完全一致。它更像一本"数学问题集",由编者从各地税收、工程、贸易的实际需要中收集问题,配以解法,归类整理而成。汉代的盐铁官营、均输法、度田令等政策,都需要在数学上有可操作的工具;《九章》正是这种制度需求下的产物。
现存《九章》分九章:方田(面积丈量)、粟米(粮食互换)、衰分(比例分配)、少广(开方与圆方转化)、商功(土木工程体积)、均输(运输分摊)、盈不足(盈亏与假设法)、方程(线性方程组)、勾股(直角三角形)。九个章节覆盖了帝国治理所需的几乎所有数学场景。这个分类本身就是一份清单,告诉读者国家需要什么样的数学能力。
此后一千多年,《九章》的命运和中国数学的兴衰紧密相连。三国时期的刘徽在魏景元四年(公元 263 年)为《九章》作注,这不仅是简单的注释,而是对每一条"术"(解法)的逻辑重构和数学证明。刘徽的工作相当于把《九章》从一本"操作手册"升级为一部有内在逻辑的数学著作。他在为《九章》所作的序言中明确表达了自己的抱负:"昔在包牺氏始画八卦,以通神明之德,以类万物之情,作九九之术以合六爻之变。"这里他将算术的源头追溯到伏羲画卦,把数学和《周易》放在同一个形而上的层面。这种姿态本身就说明,在刘徽眼里,《九章》不只是技术文献,而是中华文明对"数"这个根本范畴的回应。
唐代李淳风等人受朝廷委托重新校注《九章》,于显庆元年(656 年)完成。这个本子成为此后一千多年的标准版本,一直流传到今天我们看到的各种校注本。李淳风的注释比刘徽简略,但补充了若干历史背景说明,比如指出某些问题可能来源于《周礼·考工记》或更古老的文本。
宋代是《九章》命运的转折点。一方面,杨辉在 1261 年完成的《详解九章算法》是对《九章》的一次大整理,吸收了秦九韶、李冶等人发展出的新方法;另一方面,宋代科举虽然恢复了明经、进士等科目,但数学并未被列为常科。到了元代,数学一度被纳入考试科目("明算科"),《九章》是指定的参考书之一。但明清两代科举转向八股文,数学彻底退出官方考试,《九章》逐渐从制度化的知识体系中淡出,变成少数数学家和藏书家手中的秘本。
清末随着西方数学大规模传入中国,《九章》经历了又一次身份转变。它不再是"当下的数学",而是"历史上的数学"。晚清学者开始用现代数学的视角重新审视它,戴煦、李善兰等人都有相关论述。民国以后,以钱宝琮为代表的一批数学史家,对《九章》及其注疏进行了系统的现代学术整理,奠定了今天我们理解这部书的基础。
把这条线索拉直来看,《九章》经历了三种身份:制度化的算经(汉代到唐代)、科举参考书(宋元时期)、学术研究对象(清末以来)。无论身份如何变化,它的核心地位从未动摇。在中国数学史上,没有第二部著作拥有如此绵长的影响力;在整个东亚,《九章》也是日本、朝鲜、越南数学传统的共同源头。朝鲜王朝的《九章算术》谚解、日本江户时代的《九章算术》训读本,都是这部书向周边辐射的具体证据。
二、"问题—答—术"三位一体的文本格式
《九章》文本的最大特征,是它千篇一律的结构:每一条都由"问—答—术"三个部分组成。这种结构看似平淡,实际上蕴含着一种独特的数学观。下面以《九章》开篇第一条问题为例,完整展示这种格式。
原文是这样的:
> 今有田广十二步,从田一十四步。问为田几何? > 答曰:一百六十八步。 > 方田术曰:广从步数相乘得积步。
翻译成现代汉语:有一块矩形田地,宽度十二步("广"指短边),长度十四步("从"指长边),问田地面积是多少?答:$168$ 平方步("积步")。方法:把宽和长相乘,得到的就是以"步"为单位的面积。
这条问题今天看来几乎是荒谬地简单。任何受过小学教育的人都能立刻得出答案 $12 \times 14 = 168$。正是这种简单,暴露了《九章》的真正意图。它不是要考倒读者,而是要建立一个示范:以后所有矩形面积问题,都按"广从相乘"这个公式处理。"术"就是从具体问题中提取出来的可复用方法,"问"和"答"则是这个方法的应用案例。
这就是问题、答、术三位一体的文本格式。它和古希腊数学传统形成鲜明对比。欧几里得《几何原本》的典型段落是"命题、证明、应用",核心是证明;阿基米德处理抛物线弓形面积时,先假设一系列公设,再经过严密的逻辑推导得出结论,核心是演绎推理。中国的《九章》则不一样,它的重心不在"为什么",而在"怎么做"。问题给出一个具体场景,答案给出数值结果,术则把解法抽象成可以重复使用的程序。这种写法接近今天的算法说明书:输入是什么,输出是什么,步骤如何。
这种格式带来的一个直接效果,是《九章》具有极高的实用性。汉代的地方官员拿到这本书,不需要理解背后的几何原理,就可以按图索骥地处理丈量、税收、工程等问题。这也是为什么《九章》能在中国持续流传两千年,它的使用门槛极低,学习曲线极平缓。一个识字的账房先生花几个月时间,就可以掌握其中大部分方法。
代价是抽象性的不足。刘徽在注《九章》时显然意识到了这一点。他在注释中反复追问"为什么",试图把"术"背后的几何直觉和逻辑依据揭示出来。例如在圆田术(圆面积计算)下,刘徽用割圆术,把圆内接正多边形的边数不断倍增,论证了圆面积公式的合理性。这套论证是《九章》原文完全没有的,是刘徽的贡献。原文提供"操作手册",刘徽提供"原理讲解"。两者合一,才构成完整的数学文本。
"问题、答、术"的格式还有一个常被忽视的特征:它天然地容纳了"近似"和"误差"。很多问题并不要求精确解,而是给出一个可接受的近似。比如《九章》在处理不规则田地时,会用"方以聚之,圆以掩之"的方法,把不规则形状近似为规则形状计算面积。这种实用主义态度,和现代数值分析的精神完全一致,只要误差在可接受范围内,方法就可以使用。古希腊传统则倾向于追求精确解,对近似法常有轻视。《九章》的这种"管用就好"的态度,是中国数学长期偏重应用、偏重算法的根源之一。
读者第一次翻阅《九章》原文时,可能会觉得它像一本"数学练习册"。这种印象并不离谱。事实上,《九章》的很多问题确实是经过精心设计的练习题,目的是让读者掌握某种方法。比如"方田"章的前几条都是矩形面积,后面跟着的是三角形、梯形、圆形、弧形、环形,这是按图形复杂程度递进排列的。后面的"粟米"章则是各种比例互换的练习:粟与米、稻与糯、丝与绢、麻与布,每一对都有特定的兑换率,练习者只需要套用统一的"以所有数乘所求率为实,以所有率为法"这个公式。
这种结构对教学极其友好。今天我们编写教材时,同样会采用"例题、练习、小结"的顺序。《九章》两千年前就已经在做这件事了。从这个意义上说,《九章》不仅是数学经典,也是一部数学教学法的经典。
三、中国传统"算术"的丰富内涵
"算术"这个词在现代汉语中,几乎等同于"加减乘除"。这种理解是十九世纪西方数学传入中国后才固定下来的。在《九章》的语境中,"算术"二字的含义远比这宽泛。
"算"和"术"在先秦文献中各有独立的来源。"算"指计算行为本身,与"筹"(算筹)有关。汉代人用小竹棍在算盘或地面上摆出数字进行运算,所以"算"最初是动词。"术"则是方法、技艺、路径,《说文解字》释为"邑中道也",引申为达到目的的手段。把两个字连起来,算之之术,以计算为手段来处理各种问题的方法体系,这才是中国传统语境中"算术"的本义。
这个定义包含的范围远超加减乘除。一个汉代的地方官员需要掌握的"算术",至少包括以下几个层面。
测量之术。方田、少广、商功等章覆盖了土地丈量、仓窖体积、城墙沟渠等几何量的计算。这要求掌握长度、面积、体积的各种换算关系,以及在没有精确测量工具的条件下如何得到可用的近似值。测量之术的关键是单位换算:步、里、亩、顷,斛、石、升、合,每一组单位都有自己的十进或非十进关系,搞错了单位就等于搞错了数字。
比例之术。粟米、衰分、均输等章处理的是粮食兑换、赋税分配、徭役摊派等问题。这些问题的核心是按比例分配。"以所有数乘所求率为实,以所有率为法"这个公式贯穿整个比例体系,是《九章》最常用的方法之一。比例之术的精神是"等比变换",保持各量之间的相对关系不变,只调整绝对值。这种思路在今天的科学计算中依然无处不在。
方程之术。"方程"章是《九章》的高峰,也是中国传统数学对世界数学最重要的贡献之一。它处理的是线性方程组的求解,方法是把系数摆成矩形阵列("方程"这个名字就是从"方"和"程"两个字的字面意思,矩形阵列中的程序,来的),然后用类似高斯消元法的步骤求解。这套方法在西方要到十九世纪才被重新发现。
推理之术。盈不足、勾股等章处理的是逻辑推理问题。"盈不足"通过假设一个值来推断实际值,方法上接近今天的"试错法"或"插值法";"勾股"则是利用直角三角形三边关系解决测量问题,其推理深度远超简单的几何计算。推理之术体现了《九章》超出操作层面的另一面:它不满足于给出结果,还要给出方法是否正确的依据。
把这四层合在一起看,"算术"在汉代的含义相当于今天"应用数学"的全部。它不是抽象的符号运算,而是处理具体问题的方法集。这种理解方式和中国哲学的整体倾向是一致的。中国传统不追求纯粹的"理论数学",也就是为了数学本身的缘故而研究数学,而是把数学当作经世致用的工具。这一点在《周礼·地官》中表述得很清楚:"保氏掌谏王恶,而养国子以道。乃教之六艺:一曰五礼,二曰六乐,三曰五射,四曰五御,五曰六书,六曰九数。"九数就是数学,它和礼、乐、射、御、书并列为君子教育的六门基础课。位置上看,它不是最高的学问,但是必备的素养。
把中国传统"算术"和西方传统 arithmetic 做比较,可以看出几个关键差异。西方传统中,arithmetic 主要指数字理论(数论)和基本运算(加减乘除),几何则是 geometry 的领域,两者有明确分工。中国传统中没有这种分工,几何问题用算术方法处理,算术问题可能涉及几何直觉。两者的边界是模糊的、实用的、场景化的。
这个差异有文化根源。古希腊数学从毕达哥拉斯开始就把"数"视为世界的本体,柏拉图更是把数学提升到理念世界的层面。这种形而上学倾向使得希腊数学具有强烈的纯理论色彩:证明一个定理比解决一个实际问题更重要。中国数学从一开始就是技术导向的。《周髀算经》把数学和天文历法绑定,《九章》把数学和赋税、工程绑定。数学的价值在于它能不能用,而不是它有多美。
这种差异不意味着中国数学"落后",这是一种不同的数学观。把数学视为工具集,和把数学视为真理的化身,两种视角各有其合理性,也各有其局限。《九章》代表的传统,长处是解决问题,短处是没有发展出独立的公理化体系;欧几里得传统正好相反。两者在十七世纪以后逐渐融合,才形成今天我们熟悉的现代数学。
四、三大母题与全书结构
读《九章》之前,读者最好先有一个全局地图。这本书涉及的内容看似庞杂,但内里其实可以归纳为三条主线:算术(应用之术)、方程(代数之祖)、勾股(几何之魂)。这三条线分别对应《九章》中几个核心章节,也对应本书后续章节的展开顺序。
第一条线是算术,即各种应用问题中的计算方法。这条线包括《九章》中的方田(面积)、粟米(粮食互换)、衰分(比例分配)、少广(开方)、商功(土木工程)、均输(运输分摊)等章。本书将在第三章到第六章集中讨论这条线。算术的核心问题不是"如何算",而是"用什么方法算",同样的问题可能有好几种解法,《九章》的作者们精于比较不同方法的效率,这本身就是一种算法思维。
第二条线是方程,即线性方程组的求解。这是《九章》中最抽象、也最令人惊讶的部分。"方程"章一共 18 个问题,处理从两个未知数到五个未知数的线性方程组。方法是把系数和常数项排列成一个矩形阵列("方程"),然后按照特定的程序对方程进行变换(消元),最后得到每个未知数的值。这套方法在思想本质上和今天线性代数中的高斯消元法完全一致,但比西方同类工作早了一千五百年。本书将在第七章到第九章处理这条线。
第三条线是勾股,即直角三角形三边关系的应用。《九章》的勾股章共 24 个问题,应用范围远超几何本身。它处理的是测望问题,测量不可直接到达的目标的距离和高度,比如井深、山高、河宽。这种"间接测量"的思维方式,是中国传统几何的灵魂:几何不是研究抽象图形的学科,而是解决实际测量问题的工具。本书将在第十章到第十二章集中讨论。
三条主线之外,本书还安排了若干外围章节。第二章讨论《九章》的版本与流传史,这是进入正文前的必要准备。读者需要了解这部书经过哪些人手、留下哪些痕迹,才能更准确地理解文本本身。第十三章讨论《九章》与同时期其他文明数学传统的比较,特别是与古希腊、印度、阿拉伯的对照,这种横向比较能帮助读者看清《九章》的独特之处,也看清它的普遍意义。第十四章讨论《九章》在东亚的传播,特别是对日本和朝鲜数学的影响。第十五章作为全书的结语,回顾《九章》留下的精神遗产,那种"以算为术、以用为本"的态度,在今天 AI 时代反而显出了新的价值。
全书结构可以用下面的流程图来直观呈现:
```mermaid flowchart TD Root[九章穷理 全书结构] --> Line1[主线一 算术] Root --> Line2[主线二 方程] Root --> Line3[主线三 勾股] Root --> Pre[第2章 版本流传] Root --> Horiz[第13-14章 横向比较] Root --> Final[第15章 算之精神] Line1 --> Ch3[第3章 田亩丈量] Line1 --> Ch4[第4章 粟米互换] Line1 --> Ch5[第5章 均输配分] Line1 --> Ch6[第6章 商功工程] Line2 --> Ch7[第7章 盈不足术] Line2 --> Ch8[第8章 方程正负] Line2 --> Ch9[第9章 矩阵消元] Line3 --> Ch10[第10章 勾股定理] Line3 --> Ch11[第11章 测望之术] Line3 --> Ch12[第12章 几何应用] ```
这个结构的核心思想是:三线并进,最后汇于一处。每条主线从具体问题入手,逐步深入到数学思想的本质,最后再回到中国数学的整体精神。读者可以按顺序阅读,也可以挑选自己感兴趣的主线单独深入。
三大母题的选择不是随意的。它们分别对应数学的三个基本面向:应用、代数、几何。把这三个方面放在一起讨论,有助于读者形成对《九章》的完整认识。它不是单一维度的算经,而是覆盖了几乎所有基础数学领域的综合性著作。同时,这三个母题也对应着今天的三个数学分支:应用数学、代数学、几何学。把《九章》和现代数学对话,是本书贯穿始终的尝试。
读者阅读后续章节时,可以随时回到这张地图。三条主线之间的交叉点,往往是《九章》最精彩的部分。比如"勾股"章中有些问题需要用到方程组的解法,这就同时涉及第二线和第三线。又比如"方程"章的消元法在算法本质上和"算术"章的比例分配有共通之处,揭示出中国传统数学的一个深层一致性:所有方法都建立在"数与数之间的可比性"这个核心观念上。
本章小结
回到开篇的问题:在算法和 AI 主导的时代,为什么还要读《九章算术》?
经过本章的梳理,答案可以从三个角度来讲。从历史角度看,《九章》是中国数学传统最重要的文本,也是东亚数学共同的精神源头。不了解它,就无法理解中国数学,也无法理解中华文明对"数"这个范畴的处理方式。从方法角度看,《九章》展示了一种和西方传统不同的数学观:以应用为导向、以算法为核心、以实用为标准。这种数学观在今天不仅没有过时,反而在 AI 和数据科学的背景下显出了新的相关性。当代计算的本质就是"设计算法解决具体问题",而这正是《九章》两千年来一直在做的事。从精神角度看,《九章》体现的"以算为术"的态度,是一种面对世界的特定方式:相信问题可以被分解,分解后可以被计算,计算后可以被决策。这种态度在中华文明中源远流长,也是今天我们理解"理性"这个概念时不可忽视的中国维度。
如果用一句话来概括《九章算术》的核心特征,那就是:它是一部以"问题、答、术"三位一体格式呈现、以应用为导向、以算法为骨架的中国传统数学经典。这一定义兼顾了文本形式、思想特征和文化定位,是我们进入后续章节的出发点。
下一章将进入《九章》本身的物质形态:这部书经过哪些版本变迁?现存最早的版本是什么样子?刘徽、李淳风、杨辉的注释有什么区别?这些版本问题看似技术,但任何严肃的文本解读都必须建立在可靠的版本基础之上。掌握了《九章》的历史坐标之后,下一步就是要搞清楚我们今天面对的这本"《九章算术》",究竟是哪一本。