古代中国的“数学”：《九章算术》与祖冲之

从“算术”到“数学”：一条不同的知识路径

今天当我们谈论“数学”时，脑海里浮现的是公理、定理、证明构成的严密体系。然而在古代中国，这门学问的正式名称是“算术”或“算学”，它从一开始就与土地丈量、赋税征收、水利工程、历法推算捆在一起。这种差异不只是名称问题，而是决定了古代中国数学发展的根本走向：它关心的是“怎么算”，而不是“为什么这样算”；它追求的是解决实际问题的有效程序，而不是建立演绎推理的逻辑大厦。

《九章算术》和祖冲之，恰好是这条路径的起点与高峰。《九章算术》成书于西汉，确立了以“九章”分类的问题集模式；祖冲之生活于南北朝，把圆周率推算到当时的世界之最。两个人的成就相隔数百年，却共享同一个知识传统：数学是国家治理的工具，也是理解天地运行的语言。理解他们，就能理解古代中国数学为什么长成这个样子，以及它在世界数学史上占据何种独特位置。

《九章算术》：一部没有作者的国家算法手册

《九章算术》最突出的特征，是它没有作者，没有序言，也没有证明。全书由二百四十六个应用题组成，按用途分为方田、粟米、衰分、少广、商功、均输、盈不足、方程、勾股九章。每个题目都是一道现实问题，如田亩面积计算、粮食兑换比例、赋税分摊方案、土方工程量估算，然后给出算法和答案。这种形式与现代数学教材截然不同，却与它诞生时代的国家需求高度吻合。

秦始皇统一中国后，度量衡、货币、文字需要标准化，汉承秦制，郡县制国家必须精确掌握辖区内的土地、人口、粮食和徭役。没有一套可靠的算法，中央就无法向地方征收赋税，也无法组织大规模的公共工程。《九章算术》正是这种行政需求的产物：它把各类计算问题分门别类，将解法固定为可一步步操作的“术”。例如“方田”章给出各种形状田地的面积公式，“粟米”章处理不同粮食之间的换算，“均输”章解决按道路远近和人口多少分摊徭役的问题。这些算法不是数学家闭门造车的产物，而是从郡县官吏的日常实践中提炼出来的标准操作程序。

值得注意的是，《九章算术》中包含了远超日常实用所需的内容。“方程”章实际上提出了线性方程组的解法，其消元程序与后世高斯消元法原理相同；“盈不足”章用两次假设逼近答案，能解决许多非线性问题。这说明它的编纂者不只是记录官府账目，而是对算法进行了系统加工和提炼。但即便如此，全书刻意省略了推导过程，只给出“术曰”后的操作步骤。这种取舍表明，在古代中国知识体系中，算法本身比证明更为重要——只要结果正确，就算满足要求。

刘徽的注：在算法传统中寻找逻辑

真正试图为《九章算术》建立逻辑基础的人，是三国时期的刘徽。他为全书作了详细注解，其中最重要的贡献在于，他并不满足于“怎么算”，而致力于回答“为什么能这样算”。在注解“方田”章的圆面积公式时，他创造了割圆术：从圆内接正六边形开始，逐次加倍边数，用正多边形面积逼近圆面积。他算到一百九十二边形，得到圆周率约等于三点一四一六，并明确指出，边数越多，内接多边形就越接近圆，“割之弥细，所失弥少，割之又割，以至于不可割，则与圆周合体而无所失矣”。这实际上已经包含了极限思想的萌芽。

刘徽的思维方式和《九章算术》的编纂者不同：他关心算法的来源与合理性，想为每一条“术”找到几何或逻辑上的依据。但他并没有走到欧几里得式公理化的道路上去。他的证明仍然是针对具体问题的解释，用图形分割、拼补、比例关系来说理，而不是建立从定义、公设到命题的演绎体系。这一差别被后来的数学史家反复强调：刘徽的极限思想是直觉而精细的，但没有被抽象成一般概念；他的逻辑手段是局部而具体的，未能形成普遍证明方法。这并非刘徽个人能力不足，而是他所处的知识传统没有提供发展公理化数学的土壤。

刘徽的注还开创了一种注释体例：后世的数学家可以通过给经典作注的方式发表新见解。古代中国的数学知识因此不是靠推翻旧体系来进步，而是靠不断注释、补充、修正原有文本而积累。这种模式保证了传统的连续性，但也使得数学长期依附于经典文本，难以独立成为一门以自由探索为目标的学问。

祖冲之：把一个数字推到时代的极限

刘徽之后约两百年，祖冲之把圆周率的计算推向新的高度。他精确到小数点后七位，得到三点一四一五九二六到三点一四一五九二七之间，即约率为七分之二十二，密率为一百分之一百十三分之一百五十五。这一精度在欧洲要到十六世纪才被重新达到。祖冲之的密率是一个极其出色的近似分数，用两个不大的整数就能相当精确地表示圆周率，直到近代才被更优的分数取代。

祖冲之的成就看似只是一个孤立的数字突破，但放在当时的背景下，却有深刻的制度原因和科学意义。他生活于南朝刘宋和萧齐时期，祖上几代人都参与历法编制。古代中国，历法直接关系农时安排和王朝合法性：颁布正确的历法是天子的职责，历法出错则意味着统治失序。因此历算家享有国家支持，也必须应对精准计算的挑战。要预报日月食、确定闰月、计算节气，就需要处理圆周率等常数，因为天文计算常涉及圆和球。祖冲之正是在修订《大明历》的过程中，需要更精确的圆周率数值，才推动了这一计算。

值得注意的是，祖冲之并没有留下他如何算出这一精度的具体记录。《隋书·律历志》只说他“以圆径一亿为一丈，圆周盈数三丈一尺四寸一分五厘九毫二秒七忽，朒数三丈一尺四寸一分五厘九毫二秒六忽”，即他给出了圆周率的不足近似值和过剩近似值。后人推测他沿用了刘徽的割圆术，但要达到这个精度，需要计算正一万二千二百八十八边形甚至更多边形的边长，计算量大得惊人。在没有算盘、没有近代计算工具的年代，这意味着要把复杂的乘方和开方运算一步步写在算筹上，每一项都要反复演算。祖冲之的成就，既是数学方法上的延续，也是超乎寻常的耐心和计算能力的体现。

祖冲之还与其子祖暅一起解决了球体积公式的问题，提出了“幂势既同，则积不容异”的原理，即等截面面积相同的两个立体体积相等。这一原理在西方由意大利数学家卡瓦列里于十七世纪重新提出，称为卡瓦列里原理。祖氏父子的工作说明，古代中国数学家不仅有出色的数值计算能力，也具备深刻的几何直觉和推广技巧。只是这些成果依然以具体问题为依托，没有形成系统的积分学。

为什么没有产生“证明”的传统

面对《九章算术》和祖冲之的成就，一个常被追问的问题是：为什么古代中国数学如此实用而发达，却没有发展出像古希腊那样的公理化体系？答案不能归结为某个人的缺失，而必须从知识生产的社会机制中寻找。

古希腊数学产生于城邦公民之间的自由辩论，数学被视为求知而非谋生之事，欧几里得的《几何原本》以公设和公理为起点，用演绎法推导全部命题，这种形式本身就是为了说服他人，让任何人在承认前提之后无法拒绝结论。而在古代中国，数学的立足之地是官府，是行政系统的一部分。从秦汉的“算科”到唐代的“算学博士”，数学教育的主要目的是培养能处理财政和土木工程的官吏。国家不需要一套能自圆其说的证明体系，只需要可靠、高效、可传授的算法。一位算吏完成赋税计算，并不会被要求向民众解释算法为什么成立；只要结果与国家规定一致，就没有人追问其逻辑依据。

这种环境塑造了数学知识的基本形态：《九章算术》以“术”为核心，每一“术”都是可操作的步骤；刘徽的注试图解释“术”的由来，但仍是就事论事；祖冲之的圆周率计算，本质上是一个极其精确的数值结果，而不是一个带有证明的定理。相比之下，古希腊数学家对“无理数”的存在感到困惑，并发展出一套严格的比例论来避免逻辑矛盾；古代中国数学家则很少为概念基础而烦恼，他们直接用十进制小数和分数进行运算，甚至不区分有理数和无理数，因为运算本身不受影响。这种“为用而算”的态度，使中国数学在技术计算上长期领先，却也限制了理论体系的独立生长。

从家族技艺到官学文本：知识传承的利与弊

古代中国数学知识的传承，长期依赖两条途径：一是家族内部的父子相承，二是官府的专门传授。祖冲之的家族便是一个典型：他的祖父祖昌曾任刘宋的大匠卿，负责宫廷工程；父亲祖朔之也精通历算；祖冲之的成就明显受益于家学。到了唐代，朝廷设立“算学”科，将《九章算术》等十部算经列为官方教材，称为“算经十书”，并用于科举中的“明算”科考试。这使数学知识有了统一的官方文本，有利于保存和传播，但也使数学被固化为经典注释之学。

官学化的后果是双重的。一方面，经典被反复传抄和研究，确保了核心算法的延续，如《九章算术》的文本得以完整保存至今。另一方面，数学变成了一种应试科目，学习者只需掌握既定的解法，不需要也不能质疑经典。明清时期，数学甚至进一步衰落，科举重经义而轻算学，官方算学馆时断时续，导致明末西方数学传入时，中国本土的学者已经对祖冲之的圆周率推算方法感到陌生。这一过程说明，缺乏独立发展空间的知识体系，即使曾经辉煌，也可能在制度环境改变后迅速失去创造力。

数学史的另一条主线

今天回望《九章算术》与祖冲之，我们不必遗憾他们未走欧几里得的道路。数学并不只有公理化一种形态，算法化同样是一种深刻的数学思想。现代计算机科学兴起后，算法的重要性空前凸显，人们重新发现《九章算术》中蕴含的机械化思想——把问题转化为程序化步骤，恰恰与计算机程序的精神相通。祖冲之的密率至今仍被用作有理近似值，刘徽的割圆术也被视为早期数值分析的高峰。

古代中国的数学传统，建立在国家治理和实用计算的基础上，它擅长解决问题，却不擅长提出抽象问题；它培育了惊人的计算技巧，却缺少对数学本质的形而上学追问。这种路径的优势在于直接有效，代价在于难以突破自身的框架。当十六世纪后欧洲数学以几何与代数结合的方式爆发式发展时，中国数学因缺乏理论创新而逐渐落后。这一历史经验提醒我们：一个知识体系的生命力，既取决于它解决问题的效率，也取决于它能否不断审视自身的基础，提出新的问题。而《九章算术》与祖冲之，正是理解这一判断的绝佳样本。