一本没有署名的书
一本没有署名的书
西汉时期某个不见经传的官吏，或者只是一群不知姓名的抄书吏，把 246 道算术题目编纂成册，给每一题配上答案，再附上一段操作步骤。这件事发生在公元前一世纪前后，没有人觉得需要写上自己的名字。两千两百年后，这本没有署名的书还在被重印、被翻译、被研究，名字叫做《九章算术》。
这听起来有点不可思议。一本书能在如此漫长的时间里不间断地流传，靠的究竟是什么？答案不是某位伟大作者的英名，恰恰相反，九章算术的"佚名"反而是它能存活下来的原因之一。这件事看起来矛盾，我们得慢慢拆。
一、两千年漂流：一个没有作者的算经
先讲个对比。古希腊的《几何原本》，从欧几里得的名字传下来，到今天每个学数学的人都还知道他。中国这边能与之比肩的文本是《九章算术》，但没有一个名字能在全中国所有受过基础教育的人心里激起明确的联想。这种差异并不只是"知名度"的问题，背后是一种完全不同的文本传统。
《九章算术》现存文本成型于公元前一世纪前后，但其中最古老的部分，比如《方田》章里的某些题目，可能追溯到先秦。从成书到今天，这本书经历了至少五个阶段：西汉的整理与定型（与张苍、耿寿昌的传说有关），东汉到魏晋的口头与抄本流传，刘徽在 263 年的注释，李淳风在唐代（约 656 年前后）为编订"算经十书"所做的校正与注释，宋代以后的刊本与杨辉的图解本，明清两代的各种续注。
五个阶段，每一次都有新内容进入文本，每一次也都有人默默删去或修订被认为有误的段落。两千年里没有哪个人拥有版权意义上的"作者"身份，但有无数人参与过这本"集体之书"的塑造。这种写作方式在现代人看来很反常，在当时却是中国早期技术文本的标准做法。
另一个值得指出的事实是：今天我们读到的《九章算术》，并非一个单一的版本，而是以刘徽注本为基础、参校其他古本形成的"层累型"文本。一个高中生翻开中华书局近年出版的《九章算术译注》，他看到的注释里有三种来源：刘徽在魏晋时期的注释，李淳风在唐代的注释，以及编者校勘时留下的痕迹。三种声音交织在一个文本里，读者如果细心分辨，能看出"刘徽说"和"李淳风谓"的不同。
这种文本的层累现象，是理解九章算术能"无作者而传"的关键。我们先按住这点不表，在下一节先弄清它在数学史上的位置。
二、算经十书中的"母本"
要谈九章算术在中国数学史上的位置，绕不开一个概念：算经十书。这是唐高宗显庆元年（656 年）由李淳风等人奉诏校注的一套十部数学典籍，是官方钦定的"数学课本"。十部书的名单如下：
《周髀算经》《九章算术》《孙子算经》《海岛算经》《五曹算经》《夏侯阳算经》《张丘建算经》《五经算术》《缉古算经》《缀术》
这套书目不是随意拼凑的，它反映了一千三百年前唐代人对"数学经典"的判断。有意思的是：周髀算经成书最早，但被列为第一并不意味着它是"最重要"的。中国古代的书序逻辑和现代不同，第一往往带"溯源"意味，真正的核心在后面。
九章算术位列第二，从目录学位置看是群经之首。为什么？因为它的内容最完整，方法最丰富，影响最深。十部书里有相当一部分，比如《孙子算经》《张丘建算经》《夏侯阳算经》——它们的内容结构、问题形式、解题语气，都明显模仿九章算术。《海岛算经》原本就是刘徽为注释九章"勾股"章所写的练习题集，独立成书后仍然带着"九章练习册"的胎记。
把这种关系说清楚，可以打个比方：如果把算经十书比作一个家族，九章算术就是"母本"，其他九部是从它身上生长出来的"子本"。研究中国数学史的学者钱宝琮、梅荣照、李兆华等人，都在不同程度上强调了这一点。
这里需要拆解一个细节：为什么《九章算术》是母本，而不是《周髀算经》？
两个理由。
第一是实用性。九章的内容覆盖了行政官员日常可能遇到的算术场景：田亩测量、粮食分配、工程土方、关税摊派、酿酒配比、勾股测量、线性方程组。读完九章的官吏，处理一般政务不成问题。周髀则专门讨论天文历法，更接近"天学"而非"算学"。它涉及盖天说宇宙模型、勾股定理的几何测量，但不和具体行政事务直接挂钩，所以学习它的人少，传播也慢。
第二是结构完整性。九章分九章共 246 题，每章有明确主题，从"方田"（几何面积）开始，到"勾股"（勾股定理）结束，呈现出一个从基础到综合的完整序列。这个序列本身是一个设计——不是某位天才数学家的设计，而是几代人不断增补后自然形成的"课程表"。周髀则没有这种循序渐进的章节结构，更像是一部专题论文。
所以九章的"母本"地位不是谁赐的，是它本身的实用性和结构性决定的。一种文本如果只服务于极少数专家（如《缀术》是祖冲之父子写的高等数学），它在历史上就容易失传；如果服务于广大官吏和基层知识分子（如九章），它就会随制度一起延续。
九章算术与科举、与官方数学教育的关系，是一个长话题，留到后面章节展开。这里只需要记住一个判断：在中国古代数学的文本谱系里，九章算术不是最早的，但它是承前启后的枢纽。周髀算经代表的"天文—几何"传统，孙子算经代表的"问题集"传统，张丘建算经代表的"数列与方程"传统，都在不同程度上以九章为参照物。
三、集体匿名：中国早期技术文本的作者观
九章算术的匿名不是个例，而是中国早期技术文本的普遍现象。《周髀算经》托名周公与商高对话，《孙子算经》托名孙子（与兵法家孙子或为同人，或为托名），《缉古算经》是唐代王孝通唯一署名的算经，但这本书基本是按九章的格式写的——他写的时候已经默认读者读过九章。
我们得问一个简单的问题：为什么中国早期的技术书大多是匿名的？
回答这个问题，要避免两个现成的、都不太准确的说法。一个说法是"中国古代不重视知识产权，所以不署名"。另一个说法是"中国古代有'述而不作'的传统，所以不突出个人贡献"。这两个说法都有点道理，但都触不到根。
更接近本质的解释是：中国早期技术文本的作者观，与古希腊罗马以来的"个体天才创造"观念不同，它的核心单元不是"人"，而是"术"，也就是操作方法本身。
"术"这个字在九章算术里频繁出现，几乎每一题后面都跟着一个"术曰"，意思是"操作方法如下"。这种体例意味着：作者在意的是"术"的可传承性，而不是"我"对"术"的拥有。一道好题配上好方法，就足以独立传播，无需署上某人的名字。
更进一步，"术"的传承逻辑是师徒授受、口耳相传，最后被书吏记入文本。文本里不出现个人名字，是因为个人名字在原本的传播链条里就不重要，重要的是某位师傅的某代弟子的某个文本流，进入了某个官府或某个私塾的藏书。
这种文化下，"集体匿名"是一种必然产物，不是遗漏。
为了让这个判断更稳，我们对比一下古希腊的数学文本传统。欧几里得《几何原本》之所以署名，是因为希腊文化有强烈的"个人论辩"传统：每个命题的提出者、证明者、被反驳者，都要有名有姓。欧几里得把自己的工作呈现为"教材编纂者"，但即便如此，他也署了名，因为"教材"在希腊是一种"作品"，有著作权意识。
中国早期技术文本传统里没有这种论辩结构。九章算术的题目是"问曰—答曰—术曰"三段式，没有欧几里得那种"已知—求证—证明"的形式。题目和方法的呈现是"展示型"的，不是"论证型"的。展示型文本不需要凸显作者，论证型文本需要。
这就引出一个深刻的差别：九章算术的写作目的，是让读者学会"术"，并能在自己遇到的具体场景里套用"术"；欧几里得《几何原本》的写作目的，是让读者理解"为什么这是真的"。前者关心可操作性，后者关心可论证性。两者没有高下之分，但作者的自我意识强度确实不同。
回到主题上，我们必须为"集体匿名"现象做一个文化层面的判断：在中国早期技术传统里，一本书能够匿名传世，不是因为作者被遗忘，而是因为匿名本身就是这种文化的常规状态。一本书的反面不是"被署名的书"，而是"被托名的书"——后者通过攀附古代圣贤来增加权威，是另一种完全不同的运作方式。
周髀算经托名周公与商高，是一种典型的"托名"。孙子算经托名孙子，也是"托名"。但九章算术不托名、不署名、不解释来历——它就是"九章"两个字的题目，意味着"分九章讨论算术"。
这个标题设计本身就揭示了一种特殊的位置：作者自觉地让文本处于"无需来历"的状态，仿佛这本书和分九章叙述算术这件事一样，是天经地义的、不需要解释的。
这种"无需来历"的文本气度，是中国早期技术文本独有的气质。理解了这一点，我们才能进入下一节：九章的文本到底长什么样，又是怎么在两千年里不断被"重写"的。
四、文本的层累：刘徽、李淳风、杨辉如何"重写"九章
九章算术不是一本静态的书，而是一座不断扩建的文本层。今天我们读到的九章算术，可以想象成一座历经多次翻修的房屋：地基是先秦西汉，中段是魏晋的刘徽注释，外立面是唐代的李淳风校正，宋代杨辉又加盖了一层"图解"亭台。每个时代的工匠都留下了痕迹。
下面逐层拆解。
4.1 刘徽注：263 年的"重写"
刘徽在魏末晋初（约 263 年）为九章算术作注。这是中国数学史上最重要的一次注释工作。
刘徽注不是简单地把字词解释一遍，而是对九章的每一题、每一术，都做了几何意义的说明、算法的逻辑梳理，以及对原题的批评和推广。
举一个例子。方田章里有"圆田术"，原文是这么写的：
> 圆田术曰：周径相乘，四而一。
意思是：圆形田地的面积，等于周长乘以直径，再除以四。这个公式对应的是 $\pi = 3$ 的近似值，在当时这是最常用的算法。
刘徽对这条"圆田术"作了严厉批评。他指出 $\pi = 3$ 太粗糙，会造成田亩赋税上的实际误差，并提出用"割圆术"——通过圆内接正多边形的边长不断倍增来逼近真实圆周率——计算更精确的值。刘徽在注释里给出了两个近似值：
$$\pi \approx \frac{157}{50} = 3.14$$
$$\pi \approx \frac{3927}{1250} \approx 3.1415926$$
后者的精度超过了古希腊的阿基米德方法（阿基米德给出 3.1408 到 3.1429 之间的范围）。刘徽在割圆术注释里还引入了著名的"牟合方盖"几何模型，用来推导球的体积公式，这是中国古代几何学的高峰之一。
刘徽的注不是"夹注"或"脚注"，而是整段整段的几何论证。他的语言风格和九章原文完全不同：九章原文简洁到近乎电报体，刘徽注则细致绵密，需要读者投入相当的注意力。这种文本风格的反差本身就是研究中国数学史的一个话题——它说明魏晋时期的中国学者，已经有了一种"为论证而论证"的科学写作意识，而这种意识在汉代的九章原本里是没有的。
刘徽注本奠定了后来所有九章版本的底本。值得注意的是，刘徽注本的九章文字（即"经文"部分）和我们今天看到的九章有微小差异。刘徽在注释过程中，对经文做了少量校订，但整体上保持了原貌。这种"保留原文 + 写详细注释"的处理方式，类似现代编辑对古籍的整理方式，但比现代编辑早了 1700 多年。
4.2 李淳风注：唐代的官方校正
唐高宗显庆元年（656 年），李淳风等人奉诏校注算经十书，这是中国数学史上第一次官方组织的数学典籍整理。九章算术是其中最重要的一部。
李淳风的工作主要包括三项。
第一是选定底本。他从当时流传的多种九章版本中选定一种作为标准本。第二是校正文字，对经文中的讹误进行校勘。第三是添加注释，在刘徽注之外，李淳风等也补充了若干注释。
李淳风注有一个特点：他对刘徽的注持保留态度。凡是他认为刘徽说得不够准确或自己有新理解的地方，他会在刘徽注之后再加一段评述，史称"李淳风按曰"。这种"前人注 + 当代按"的体例，是中国学术史中常见的"叠层注释"模式的早期范例。
例如，对于上面提到的圆田术，李淳风同意刘徽关于 $\pi = 3$ 太粗糙的批评，但他在"按曰"里给出了另一种圆周率近似，即 $\pi \approx 22/7 \approx 3.142857$，这是祖冲之在刘徽之后给出的"约率"。李淳风的工作等于是把祖冲之的圆周率研究成果纳入到了九章算术的注疏系统里。
这种"滚动更新"式的注释传统，意味着九章算术在每个时代都吸收当时的最新数学成果。它不是一本冻结的书，而是一本"会生长"的书。
4.3 杨辉详解：宋代的图解介入
杨辉是南宋数学家，活动于 13 世纪中叶（约 1261 年前后）。他为九章算术写了两种注本：一种叫《详解九章算法》（又称《九章算术详解开方》），是按九章原本逐题详解；另一种叫《九章算法比类大全》，是按九章原本分类汇总并补充了大量类似题目。
杨辉最显著的贡献是"图解"。他在详解每一题时，会配上图示。比如勾股章的勾股定理，他会画一个直角三角形，标注三边的比例，再画一个长方形作为辅助图。这种做法在数学教育史上是一大进步：它让原本抽象的"术曰"变得可视化，降低了学习门槛。
杨辉详解本还包含一个重要的历史细节：他在序言里说"今之学者，读九章而不得其门"，意思是当时已经有很多人读不懂九章了。这从侧面说明，到了宋代，九章算术的语言已经远离日常生活，需要专门的注解者才能读懂。这是一种有趣的历史倒置：原本面向官吏实用算术的九章，到了宋代变成了需要专家解读的经典。
4.4 版本差异的具体案例：方田章关于"圭田"的题目
讲完三个主要注释者，让我们看一个具体的版本差异案例：方田章里关于"圭田"（一种梯形田）的题目。
在魏晋时期的传本里，方田章可能并不包含圭田术的全部内容。今本九章方田章第 38 题"圭田术"的表述相当精炼："圭田术曰：半广以乘正从"，意思是圭田（一种直角梯形）的面积等于"广的一半乘以正从"。这个简洁的公式背后是相当的几何直觉，但它在原文中并没有图形说明。
到了宋代杨辉的详解本里，杨辉画出了圭田的几何图形：一个直角梯形，上底为"广"，下底为"正从"，高为"广的一半"。通过这个图示，读者可以直观看到圭田如何被分割成一个矩形和两个三角形，从而推导出面积公式。这种图形辅助是杨辉的创造性贡献，不是刘徽或李淳风提供的。
但更值得关注的是：在明清两代的某些注本里，出现了对圭田术的不同解释。明代数学家程大位在他的《算法统宗》里，给出了圭田术的另一种图解——他用"斜分"的方式将圭田分成一个矩形和两个全等三角形，与杨辉的画法略有出入。到了清代，地方数学家在教授圭田术时，往往根据当地口音和教学传统选用不同版本的解释。
这种文本层累的过程，在一本数学普及读物里看来，可能就是"几种画法"，但在数学史家眼里，它是一个窗口：让我们看到一本古代算经是怎么在两千年里不断被"重新叙述"的。每个时代的叙述者都不是简单的抄写员，他们都在用当时的教学语境、几何观念、数学术语去重新"翻译"古老的术文。
下面这张图勾勒了九章算术主要版本的演变脉络：
```mermaid flowchart TD A[先秦雏形<br>约公元前2世纪] --> B[西汉整理<br>张苍/耿寿昌<br>约公元前1世纪] B --> C[魏晋流传<br>3世纪抄本] C --> D[刘徽注<br>263年] D --> E[唐代传本<br>约7世纪] E --> F[李淳风校正注释<br>656年算经十书] F --> G[宋代刊本<br>11至13世纪] G --> H[杨辉详解<br>1261年] G --> I[贾宪黄帝九章<br>11世纪] H --> J[明清各类注本] I --> J J --> K[清代四库全书<br>18世纪] ```
这里有个核心问题需要挑明：九章算术到底有几个版本？
答案是：版本多到难以数清。从抄本时代（西汉到唐）的不计其数的写本，到宋代以后的几十种刊本，再到明清的各种注本、改编本、地方教科书，九章算术的版本谱系是一片森林。版本学家李迪、吴朝阳等人都曾尝试绘制这棵"版本树"，但每次都只能勾勒出主干，分支则必须靠地方史料和私人藏书目录才能追溯。
但所有这些版本都共享一个特点：它们都以"刘徽注本"为底本。即便杨辉图解本是大幅重写，它的经文部分仍然以刘徽注本为基础。换句话说，刘徽的注释工作奠定了整个版本谱系的"模板"。
4.5 一句话判断：九章的"集体重写"
这一节可以落到一个判断上：九章算术的两千年流传史，本质上是一部"集体重写史"。每个时代的注释者、校正者、图解者，都在文本上留下了自己的痕迹，但没有人试图独占这本书的所有权，也没有人在文本里宣称"我重写了九章"。这种"匿名 + 重写"的组合，是这本书能延续的根本机制。
如果哪天某个时代出现一位作者宣称"我重写了九章算术"，并署上自己的名字，那这本书的命运很可能就此改变——它会变成"某某氏九章"，变成那个作者的作品，然后那个作者被遗忘后，这本书也跟着被遗忘。古代中国的技术文本传统选择了另一条路：让书保持开放，让署名让位给"术"。九章算术的"集体重写"，正是这条路线的标准呈现。
五、从"算经"到"算法"：246 个问题的背后
九章算术的章节标题都是两个字：方田、粟米、衰分、少广、商功、均输、盈不足、方程、勾股。每个标题下面有若干题，全书共 246 题（这是目前的统计数字，古代可能有微差）。
每一题都有一个标准结构：开头是"今有"两字引出问题，中间是具体数字条件，然后是"问"字提问，接下来是"答曰"给出答案，最后是"术曰"给出操作步骤。这种结构在《孙子算经》《张丘建算经》等后续算经中被反复沿用，是中国古代数学文本最稳定的形式。
把这种形式和现代数学对比，可以看到几个有意思的差别。
第一，没有"证明"环节。九章的每一题给出条件、答案和操作步骤，但没有论证"为什么这个步骤是正确的"。换句话说，九章呈现的是"如何算"，而不是"为什么这样算"。刘徽注释大幅弥补了这个缺失——刘徽在每个"术曰"之后都尽量给出几何解释或代数推导。但即使加上刘徽注，整个文本体系仍然以"操作"为核心，而不是"论证"为核心。
第二，没有符号。九章里所有的数字都是汉字，没有抽象符号。$x$ 这样的代数符号是近代才传入中国的。在没有符号的环境下，文本处理复杂算术问题的能力受限，但也发展出了一套独特的文字表述传统——比如方程章里的"方程"二字，原本指的是一个由算筹摆出的矩形阵列（"方"指方形，"程"指规则或计算程序），后来才引申为"方程式"的意思。
第三，没有"问题"与"方法"的严格分离。在现代数学里，问题（problem）和方法（method）通常是分开的——方法可以被独立研究，问题也可以独立提出。但在九章里，"问题"和"术"是一体的：每一道题都对应一个特定的术，术是为了这道题服务的。这种"问题驱动"的写作方式，让九章看起来像一本"算术案例集"，而不是"数学方法论"。
把这些特征综合起来，可以看到一种独特的文本形态——我们今天会称之为"算法"。九章算术的每一题，本质上就是一个算法的具体应用：给出输入（题目条件），执行操作（术），输出结果（答）。这种"输入—处理—输出"的形式，是今天计算机科学里算法的标准定义。九章算术的两千年，是中国"算法"传统的两千年。
这一点很重要，因为它和古希腊的"演绎证明"传统形成鲜明对照。希腊数学追求的是"永恒真理的演绎证明"，中国数学追求的是"具体问题的可操作算法"。两种传统各有优劣，但中国古代的"算法"传统在现代计算机科学时代反而获得了新的意义。九章的"盈不足术"被一些数学