千年算经的诞生
第一章 千年算经的诞生
公元前213年与前212年,秦始皇颁布焚书令,规定除秦国史书、医学、卜筮、农业等实用之书外,其余典籍限期焚毁。数学书籍在这场文化浩劫中未能幸免。《史记·秦始皇本纪》记载,丞相李斯主持的这场焚书运动,其直接后果之一,便是先秦时期积累的大量数学文献几乎丧失殆尽。《诗》《书》诸经尚能依靠学者记忆与民间私藏部分流传,而高度形式化的数学知识一旦失去文本依托,便几乎等同于彻底湮灭——不同于哲学义理可以通过口耳相传延续,数学的核心载体是精确的算题、术文与公式,记忆无法替代文本。
然而正是这场浩劫之后不过百年,西汉朝廷组织了一次大规模学术整理运动。在这场运动中,一部日后被誉为“中国古代数学奠基之作”的文本逐渐成形,这部文本便是《九章算术》。本章要回答的核心问题是:《九章算术》是一部怎样的书?它为何诞生于西汉而非其他时代?
要理解这部书的性质,必须从三个层面依次展开:首先追溯它赖以产生的先秦数学传统与西汉学术整合背景;其次分析全书九章分类体系的内在逻辑;最后以“约分术”为具体案例,揭示《九章算术》问题-答案-术文的典型文本结构。只有完成这三个层面的考察,我们才能真正把握这部千年算经的本质。
先秦数学的知识土壤
《九章算术》并非凭空出现的孤作。它的九章分类体系与术文传统,根植于先秦数百年间积累的数学知识与教育实践。理解这些前驱因素,是认识《九章算术》成书逻辑的必要前提。
“六艺”传统中的数学教育
讨论先秦数学,必须从制度化的教育传统入手。在周代贵族教育体系中,“六艺”——礼、乐、射、御、书、数——构成了一套完整的知识与技能培养框架。其中“数”虽位列末位,却并非无足轻重。《周礼·地官司徒》载:“保氏掌谏王恶,而养国子以道,乃教之六艺:一曰五礼,二曰六乐,三曰五射,四曰五驭,五曰六书,六曰九数。”郑玄注“六书”时引郑众之说,列举了“方田”“栗布”“少广”“商功”“均输”“赢不足”“方程”“旁要”等名目。这段材料长期以来被学者用作证明先秦已存在系统化数学教育的关键证据——郑众所列名目,与《九章算术》的章名体系有着相当程度的对应。
需要指出的是,关于郑众所列“九数”是否即《九章算术》九章的原型,学术界尚有争议。部分学者认为这只是概括性的科目分类,未必与《九章算术》存在直接承继关系。但有一点可以确认:至迟在战国时期,“数”已作为贵族教育的一门独立科目存在,其教学内容涉及与土地测量、赋税分配、工事计算相关的实用运算。这种教育传统意味着,数学知识在先秦社会中并非零散孤立的存在,而是被纳入了制度化的知识传递体系。
《墨经》中的数学萌芽
如果说“六艺”传统说明了数学教育的社会建制,那么《墨经》则代表了先秦学者对数学基础问题进行理论反思的最高水平。《墨子》一书的“经上”“经下”“经说”四篇(合称《墨经》)包含了一系列对几何概念与逻辑关系的精微讨论。
《墨经》中关于“端”“尺”“区”“穴”等概念的界定,触及了空间与几何的基本范畴。例如“端,体之无序而最前者也”一句,将“端”定义为物体中没有序别且处于最前端的部分——这实际上是试图给几何学中的“点”下一个精确的哲学定义。《墨经》还讨论了“平”“同长”“中”“圆”“方”等几何概念,提出了“圆,一中同长也”的著名命题,即圆周上的任意点到圆心的距离相等。这些论述虽然在严格性上不及欧几里得《几何原本》的公理化体系,但它们表明先秦学者已经意识到数学概念需要明确界定,不同于仅凭经验积累的实用算术。
然而必须看到,《墨经》的数学讨论停留在概念辨析层面,缺乏可操作的算法与解题方法。它代表了先秦学术的另一种取向——对知识基础的逻辑追问,而非对实用技术的系统编纂。《九章算术》的气质与此截然不同:它不关心“点”是什么,而是关心给定一块田地如何计算其面积、给定一组粟米如何按比例折算为布匹。这两种取向共同构成了先秦数学的知识图景,但最终汇入《九章算术》传统的,是后者——实用、算法、问题导向的数学传统。
《管子·地员》与实用测算
与《墨经》的理论兴趣形成对照,《管子·地员》篇展示了先秦数学知识服务于实际生产的一面。该篇系统论述了土地分类与地下水位的关系,其中涉及大量数量关系的描述。例如文中按照土地肥瘠将土地分为若干等级,每一等级对应特定的地下水位高度与适宜种植的作物。这类内容表明,先秦时期数学知识已经深度嵌入农业、水利、土地管理等社会实践之中。
《管子》成书情况复杂,多数学者认为其主体内容形成于战国至西汉初期。该书中与数学相关的内容虽然不是独立的算学著作,但它们反映了一个重要事实:在《九章算术》成书之前,数学知识已经以各种形态存在于政治、经济、农业、礼制等社会实践之中。这些分散的知识片段,是《九章算术》编纂者得以整合加工的原材料。
综合以上三个维度——制度化的教育传统提供知识传递的社会渠道,《墨经》式的概念思辨提供理论反思的意识,而实用测算的广泛实践则提供了丰富的算法素材——先秦数学的知识土壤已经相当丰厚。然而这些知识是分散的、未经系统化的。《九章算术》的出现,正是要将这些分散的数学知识整合为一部结构清晰、术文可传、问题与解答相配套的完整著作。这一整合工作,最终由西汉的学术整理运动来完成。
西汉学术整合与《九章算术》的成书
理解了先秦数学的知识基础之后,接下来的问题是:这些知识为何以及如何被整合为《九章算术》这样一部特定形态的著作?这就涉及西汉初年的学术整合运动,以及张苍、耿寿昌两位关键编订者的历史角色。
独尊儒术背景下的知识系统化
汉朝建立后,面临的一个核心问题是重建被秦火与楚汉战争摧毁的学术传统。高祖刘邦本人对学术事业缺乏热情,丞相萧何入咸阳时“收秦丞相御史律令图书藏之”,这一行动抢救了大量秦代官府档案与法律文献,但数学类书籍是否在收藏之列,史无明文。真正推动学术全面复兴的,是此后几代帝王的持续努力。
汉惠帝四年(前191年)废除挟书律,打开了民间收藏与学术传播的闸门。汉文帝时期,朝廷开始征召精通学问的学者入朝,其中最著名者当属伏生——一位在秦火之后凭记忆传授《尚书》的老者。文帝令晁错赴济南从伏生受业的故事,生动反映了这一时期学术抢救的紧迫感:老学者年已九十,口齿不清,其女替为转述,晁错以汉地方言记录,方才保全了这部经典的部分内容。
这一学术复兴运动中,数学并未被忽视。《史记·张丞相列传》载,张苍“明习天下图书计籍,又善用算律历”。张苍本人精通律历之学,其学术背景决定了他在整理历法与算学文献方面的特殊能力。更重要的是,汉初几十年间,统治者逐渐意识到知识系统化对于治理国家的实用价值。贾谊在《论积贮疏》中论述粮食储备与国计民生的关系,其中涉及的数量分析令文帝深以为然——这说明最高统治者并非不关注与数字相关的议题,只是需要一个制度化的知识平台来承载这些内容。
汉武帝“独尊儒术”之后,儒家经典被确立为国家意识形态的核心,但这一政策并未排斥其他知识门类的发展。相反,儒家知识分子对《诗》《书》《礼》《易》《春秋》五经的系统注疏活动,在方法论上为数学知识的整理提供了可参照的范式:确定文本、厘定章句、归纳义例、传之后学。《九章算术》的编纂,正是在这种学术规范化的整体氛围中展开的。
张苍与耿寿昌:关键编订者
《九章算术》的成书过程,历史上通常与两位人物的名字联系在一起:张苍与耿寿昌。
张苍(前252—前152年)是汉初重臣,历仕秦、汉两朝,曾为刘邦的御史大夫,后至丞相。张苍的学术贡献首先在于律历之学——他修正了颛顼历的误差,制定了《汉历》,奠定了汉代历法的基础。但他同时也是一位“精算”之人,《史记》称其“善用算律历”,并非虚语。刘徽在《九章算术注》的序言中明确指出:“汉北平侯张苍、大司农中丞耿寿昌皆以善算命世。”这是现存最早将张苍、耿寿昌与《九章算术》联系起来的直接文献依据。
耿寿昌的生平资料更为稀缺,仅知其为大司农中丞,大约活跃于汉宣帝时期(前74—前49年在位)。大司农是管理国家财政与粮食的官署,耿寿昌在这一职位上所从事的工作,必然涉及大量与土地面积、赋税计算、粮食运输相关的数量事务。这种实践背景使他对数学的实际应用场景有着深刻理解。
关于二人的编辑策略,学界普遍认为:先秦流传下来的数学知识与解题案例,经过长期口耳相传与实践积累,到汉初已经形成相当规模的内容。《四库全书总目提要》推测《九章算术》是“递相增益”而成书,即在很长时间内不断有人补充新的算题与方法,张苍与耿寿昌的工作主要是整理、校订与编次,而非从零创作。这一判断与文本内部证据相符——部分算题的设题方式明显带有先秦痕迹,而另一些内容则反映了两汉时期的社会经济状况。
需要强调的是,张苍、耿寿昌编订《九章算术》的根本动力,不是为数学而数学,而是为治理实践提供可操作的计算工具。大司农负责的粮食征收与调配工作,需要精确的面积计算与比例换算;均输(汉代实行的赋税运输制度)需要复杂的行程与费用统筹;土地的方田规划需要标准的测量与分割方法——所有这些现实需求,都驱动着数学知识向系统化、规范化、可传授的方向发展。《九章算术》的成书,本质上是知识生产回应社会需求的结果。
从分散到系统:成书逻辑
综合以上背景,《九章算术》诞生于西汉而非其他时代,可以从三个维度来理解。
其一,先秦已积累了大量实用数学知识与解题案例,但这些知识处于分散状态,缺乏统一的文本载体。秦火加速了旧文本的消亡,但也迫使后人在新的基础上重建知识体系——重建而非延续,恰恰为系统化整合提供了契机。
其二,西汉帝国的治理规模要求比先秦诸侯国更为精密的数量管理技术。版图扩大、人口增加、赋税制度复杂化,都对数学计算提出了更高的要求。《九章算术》九章的设置,几乎涵盖了当时国家治理中最主要的数量计算领域:田亩面积(方田)、粟米折算(粟米)、比例分配(衰分)、体积工程(商功)、赋税运输(均输)、盈亏统筹(盈不足)、方程求解(方程)、勾股测量(勾股)、高深计算(少广)。这种全覆盖式的章节设计,本身就是对帝国治理需求的系统性回应。
其三,汉代学术规范化的整体趋势为数学文本的编纂提供了方法论模板。儒家经典的整理经验——确定文本、划分章节、注释疏解——被借鉴到数学文献的编订中,使《九章算术》呈现出前所未有的结构化程度。
这三个维度的交汇,共同解释了《九章算术》为何在西汉而非其他时代诞生:它既是先秦数学遗产的延续,又是帝国治理需求的产物,还是学术规范化运动的组成部分。
九章分类体系的内在逻辑
《九章算术》全书按内容性质分为九章,每章包含若干具体算题。从表面看,各章似乎是不同主题的简单并列;但若深入分析各章之间的关联,会发现一个精心设计的分类体系。这一体系的逻辑基础,是数学知识与实际应用场景的对应关系——这与古希腊欧几里得从公设、公理出发推导定理的演绎路径截然不同。
以应用领域为经纬的分类原则
全书九章依次为:方田、粟米、衰分、少广、商功、均输、盈不足、方程、勾股。这九个章名并非随意排列,它们反映了编订者对数学知识用途的分类认知。
方田首章,处理土地面积计算。这是农业社会的根本需求——土地是赋税与授田的基本单位,方田之法直接服务于国家对土地的清查与管理。章中包含分数运算、田亩单位换算、等价图形面积计算等内容,但所有这些运算都被包裹在实际测量的情境中。
粟米次章,专注于不同粮食品种之间的折算比例。古代中国粮食种类繁多,粟、稻、黍、麦、豆各有折算比率,粟米章提供了一套标准的换算方法。这同样不是纯粹的数学游戏——汉代赋税收取中常以粟为基准,而民间实际缴纳的可能是其他品种,精确的折算关系到国家税收的公平与效率。
衰分章讨论比例分配问题,少广章处理开平方、开立方以及由已知面积或体积反求边长的问题,商功章专论各种形体(城墙、堤坝、粮仓等)的体积计算。这三章将实用运算进一步抽象化,但仍然围绕土地、工程、赋税等核心场景展开。
均输章是全书最具时代特色的章节之一。该章针对汉代“均输”制度下的运输优化问题设置算题,涉及路程、时间、费用、载重等多种变量的统筹计算。章中一些算题的设计明显带有汉代社会经济的印记,例如关于粮食运输中损耗率的计算、盐的运输成本分析等。
盈不足章引入了一种独特的算法思想——通过“盈”与“不足”两种状态的反向假设来求解难以直接列式的问题。这种方法在现代初等数学中相当于线性插值或方程思想,但在中国古代被发展为一套自成一体的算法体系。
方程章处理线性方程组问题,采用“矩阵式”筹算布列方法,是中国古代代数学的核心成就之一。章中涉及的算题包括鸡兔同笼、谷物分配等经典类型。
勾股章以勾股定理为核心,讨论直角三角形的边长关系在实际测量(建筑高度、河宽、距离)中的应用。
章节间的层级递进
如果仔细审视各章内容,会发现它们之间存在一个隐蔽的难度递进序列。
分数运算是全书的基础工具,方田章首先系统建立这一工具,因为后续各章几乎都离不开分数的加减乘除。粟米章在分数基础上引入比例换算,衰分章进一步将比例问题复杂化。少广章将运算能力推向更高层次——开方运算在操作复杂度上远超普通加减乘除。商功章将算术方法应用于三维空间(体积计算),均输章则将算术、比例、开方等多种方法综合运用于实际问题的统筹规划。
盈不足章引入了一种新的解题范式——从盈亏两个极端情形逆向推算未知量,这是算术思维的飞跃。方程章则转入代数领域,用筹算布列线性方程组。勾股章最终将几何知识(勾股定理)与算术、代数方法融为一体,用于解决测量中的复杂问题。
这一递进序列并非绝对严格(部分章节之间并无严格的先后依赖关系),但它揭示了一个重要事实:《九章算术》的编订者并非随机堆积算题,而是对数学知识的难度层次与应用领域进行了整体规划。全书的结构设计本身,就是编订者数学认知水平的体现。
与《几何原本》的对照
将《九章算术》的分类体系与欧几里得《几何原本》略作对照,有助于更清晰地认识两者的根本差异。
《几何原本》从五条公设、五条公理出发,通过严格的逻辑演绎推导出全部命题,知识体系的组织原则是逻辑自洽性而非实用性。全书十三卷中,几何与数论内容穿插排列,但这一排列遵循的是演绎推导的逻辑顺序——命题之间的依赖关系决定了它们的排列位置。实用性从来不是欧几里得考虑的因素。
《九章算术》则完全不同。它的每一章对应一个具体应用场景,全书的组织原则是“事类相从”——同一类实际问题、同一类运算方法、同一类术文归入同一章。章节之间没有严格的逻辑推导关系,各章可以独立成篇。一个熟练掌握方田术的人,不需要先学会方程术才能进行土地面积计算。
这种差异深刻塑造了中西方数学的不同发展方向。《九章算术》传统培育的是高度发达的算法技术与问题解决能力,中国古代在丢番图方程、数值分析、高次方程求解等领域取得的领先成就,都可追溯到这一传统。而《几何原本》传统则培育了公理化思维与演绎证明的严格标准,成为现代数学的基础范式。两者并非优劣之分,而是不同文化需求与思维方式塑造的不同路径。
问题-答案-术文的文本结构
理解了《九章算术》的成书背景与分类体系之后,接下来的问题是:如何阅读这部书?《九章算术》采用的是一种独特的“问题-答案-术文”文本结构,这种结构既不同于西方数学的“定理-证明”模式,也不同于一般意义上的教科书或习题集。要掌握阅读《九章算术》的方法,必须首先理解这三个要素各自的性质与相互关系。
三要素的功能分析
问题(或称“问”)是算题的陈述部分。它描述一个具体的实际情境,如某块田地的形状与尺寸、某次运输的起点与终点、某项工程所需的人工与材料等。问题的设计通常具有鲜明的现实针对性,读者一眼便能识别出这是一个关于土地测量、粮食分配还是工程计算的问题。
问题陈述的典型特征是高度具体化。算题中的地名、人名、数字往往没有数学上的特殊性,它们只是构成了一个可计算的情境。《九章算术》中常见的设问方式如“今有田广三步少半步,从四步半,问为田几何”——给出了长和宽的具体数值,要求计算面积。这与理论数学中常见的“设有一任意三角形”的抽象表述形成鲜明对比。
答案(或称“答”“实”)紧接在问题之后,给出该算题的数值结果。方田章中答案通常是一个以“亩”“步”等单位表示的面积值;方程章中答案可能是某一未知量(如鸡或兔的数量)的具体数值。答案的作用是验证——读者按照术文的方法进行计算,应当能够复现答案所给的数值。
术文(或称“术”)是《九章算术》最核心、最具特色的组成部分。术文不是对单一问题的解答步骤,而是从具体算题中提炼出来的、具有一般性的算法程序。同一条术文可以应用于同一章中多个不同数值的问题——术文是算法,问题只是算法的实例。
例如方田章中的“约分术”:“可半者半之,不可半者,副置分母、子之数,以少减多,更相减损,求其等也。”这十六个字概括了一套适用于所有分数约分问题的通用算法。无论分母和分子是多少,只要按照“更相减损”的步骤反复操作,最终都能得到分子与分母的最大公约数,从而完成约分。
这一区分至关重要:问题提供的是具体情境,答案提供的是特定情境下的数值结果,而术文提供的才是超越具体情境的一般性算法。在中国古代数学的观念中,术文才是真正的数学知识,问题与答案只是展示和验证这一知识的载体。编订者的核心工作,是从大量具体算题中提炼出能够反复使用的算法程序。
约分术:典型案例的完整拆解
为了更直观地展示《九章算术》的文本结构与阅读方法,下面以方田章中的“约分术”为例进行完整拆解。
第一条算题原文:
> 今有九十二分之四十六,问约之得几何。
用现代数学语言表述:约简分数 $\frac{46}{92}$。
答案:
> 一之二。
即 $\frac{1}{2}$。
术文:
> 可半者半之,不可半者,副置分母、子之数,以少减多,更相减损,求其等也。
这条术文包含了完整的算法步骤。“可半者半之”是第一步预处理:如果分子和分母都是偶数,则同时除以2,反复进行直到至少有一个变为奇数。“不可半者”指分子或分母中至少有一个已是奇数的情况,此时进入核心步骤:“副置分母、子之数,以少减多,更相减损,求其等也”——将分母和分子分别摆放在两处,用较大的数减去较小的数,再用差与较小的数比较,继续相减,直到两数相等。这个相等的数就是原始分子与分母的最大公约数。用原分子和原分母分别除以这个最大公约数,就得到了约分后的最简分数。
让我们用现代算术验证这一算法在 $\frac{46}{92}$ 上的执行过程:
第一步:“可半者半之”——46和92都是偶数,同时除以2,得 $\frac{23}{46}$。
此时46是偶数而23是奇数,不能继续“半之”,进入第二步。
第二步:“以少减多,更相减损”——23和46,46减23得23。现在两数相等,都是23。23即为最大公约数。
第三步:用23分别除以原数(半之一次后的分子分母,即23和46),得 $\frac{1}{2}$。与答案吻合。
值得注意的是,约分术的核心算法“更相减损”在本质上与欧几里得在《几何原本》第七卷中给出的“欧几里得算法”(Euclidean algorithm)完全一致——都是通过反复求差来寻找最大公约数。然而两者的表述方式与文本形态截然不同:欧