大数学家欧多克索斯的比例论与穷竭法

面对一个"说不出的长度"，古希腊人没有沉没，反而造出一件更结实的工具：一套不依赖"整数比"的比例理论，和一种用来逼近曲线图形面积的"穷竭法"。这两样东西，连同《几何原本》与三大尺规作图难题，一起铸成了"证明"这门手艺的骨架。

 一、一本没有原件的书，和一次必须解决的危机

先看一件实物。现藏于牛津博德利图书馆的《几何原本》抄本，其中一页至今清晰可读——但没有任何一页出自欧几里得本人之手。欧几里得的亲笔原稿早已失传，我们今天所见的《几何原本》，全部来自后世一代代抄写与翻译的文本。现存最早的相关实物，不是羊皮卷，而是六块刻在陶片上的残片：1906/07年，考古者在埃及南部的象岛（Elephantine）发现它们，上面载有一段文本和一个图形，据古文字学断代，约在公元前3世纪第三季度，也就是欧几里得活动之后大约一百年。这几块陶片涉及《几何原本》第十三卷里关于五边形、六边形、十边形与二十面体的艰深内容，而且文字并不完全照抄通行版本，更像某个读者为弄懂这些难题而留下的研习笔记。

这个细节值得停一停。它说明两件事：其一，《几何原本》在成书后不到百年，就已经传到了远离亚历山大里亚的地方，被当作需要钻研的文本；其二，"欧几里得的几何"从一开始就不是某个人一夜之间凭空写就的成品，而是一套在传播、抄写、讲解中不断被使用和打磨的传统。这为我们理解本篇的主角——欧多克索斯——提供了一个必要的背景。

在欧多克索斯之前，希腊数学正卡在一个具体的问题上。上一篇我们讲到，正方形的对角线 √2 与边长 1 不可公度：找不到一个共同的尺度，把二者同时量成整数倍。这是严格证明过的结论。但麻烦随之而来——古希腊人关于"比例"的整套说法，都默认两个量可以被同一个单位量尽。一旦出现不可公度的量，旧的比例定义就失效了，那么"两个圆面积之比等于直径平方之比"这一类命题，还怎么表述、怎么证明？

欧多克索斯（Eudoxus of Cnidus）正是被传统归于解决这个问题的人。按 MacTutor 数学史档案的整理，他的生卒通常记作约公元前408—前355年，生于小亚细亚西南的克尼多斯（今土耳其境内）。他年轻时到过塔伦图姆，师从毕达哥拉斯学派的阿尔希塔斯（Archytas），后来又到雅典听过柏拉图的课，再赴埃及跟随赫利奥波利斯的祭司学习天文。这些经历里，哪些是可靠记载、哪些是后人的拼合，需要谨慎——欧多克索斯本人的所有著作都已失传，我们对他的了解，主要来自后世评注家（如普罗克洛斯）的转述，以及欧几里得、阿基米德在著作中对他的指名引用。但有一点是可靠的：阿基米德在自己的著作里，明确把比例论与穷竭法归到欧多克索斯名下。这是本篇一切讨论的锚点。

欧多克索斯同时是一位重要的天文学家。他提出一套"同心球"体系，用多组绕地球旋转的天球来解释行星看似时而停住、时而倒退的运行，这套模型影响过亚里士多德。相关著作《论速度》同样失传，只靠后世转述，但它提示我们：欧多克索斯处理"量"与"运动"的严谨习惯，是同一套心智在几何与天文两个领域的体现。

二、比例论：把"相等"重新定义一遍

欧多克索斯的贡献，不是去证明 √2 到底等于多少，而是绕开了"必须写成整数比"这个死结，重新回答了一个更基本的问题：两个比，什么时候算"相等"？

旧的思路是"同度法"：要找两个长度之比 a:b，就找一个共同的单位 t，让 a = m·t、b = n·t，于是 a:b = m:n。这条路对 1 和 √2 走不通，因为没有这样的 t。

欧多克索斯的办法，用现代记号转述（务必记住：下面的字母和符号是两千多年后的写法，古人用词语陈述，不用这些符号）是这样的。他不预设两个量可公度，而是直接给出"两个比相等"的判据：对任意选定的正整数 m 和 n，比较 m·a 与 n·b 的大小，同时也比较 m·c 与 n·d 的大小；如果在所有 m、n 的选择下，前者"同时大于、同时等于、同时小于"后者，就说 a:b 与 c:d 是同一个比。

这句话读起来拗口，但它极其关键。它把"比相等"从"两个整数比相同"，改写成了"对一切放大倍数的比较结果都一致"。于是，哪怕 a、b、c、d 都是不可公度的长度，只要它们满足这套同时大于、等于、小于的条件，就仍然可以谈"成比例"。这个定义，被收进《几何原本》第五卷，成为该卷的定义 4 与定义 5；其中定义 4 又被阿基米德称为"欧多克索斯公理"，大意为：两个同类量，只要把较小的一个反复加倍，总能超过较大的一个。这条公理在后来被称为"阿基米德公理"（阿基米德本人明确把它归给欧多克索斯），它排除了"无穷小"和"无穷大"这种异常量，保证两个正量之间总有有限可比的关系。

可以举一个极小的示意。要判断 1 与 √2 的比，是否等于 2 与 2√2 的比（答案是"是"）。旧方法要求找到单位 t 同时量尽 1、√2、2、2√2，做不到；新方法只要求，对任何 m、n，比较 m·1 与 n·√2、以及 m·2 与 n·2√2——后一组恰好是前一组的 2 倍，所以两边总是同时大于、等于或小于，于是这两个比相等。古人不这么写，但推理的骨架就是这个。这里"√2""·"等记号都是现代转写，古人只以线段和"量"来说话。

比例论的意义，要到它解决的困难里去找。它让希腊数学在"数"之外，另立了一个更宽的对象——"量"（magnitude），可以是长度、面积、体积、时间，彼此不一定可公度，却仍能严格比较和运算。这是把"会算"推进到"为什么必然成立"的关键一步：不是新算了什么，而是把旧算式的合法性重新奠基。

三、穷竭法：不用无穷，也能逼近曲线

比例论一旦就位，另一件工具便顺理成章——穷竭法（method of exhaustion）。名字叫"穷竭"，但它其实刻意回避了"无穷"这个当时让人不安的概念。

问题是这样：圆的面积、锥体和球体的体积，该怎么严格证明？圆的周长和面积无法用直尺直接量成整数，希腊人又对"无穷分割"心存戒备。于是他们换了一条路：用不断加边的内接正多边形去逼近圆——先内接正方形，再八边形、十六边形，边数逐次翻倍。这个想法更早可追溯到安提丰（Antiphon）与布里松（Bryson），但安提丰的论证有漏洞（他几乎等于把圆当成了边数无限的多边形）。是欧多克索斯把它改造成严格的形式。

穷竭法的核心是"双重夹逼 + 反证"。现代记号转述如下：设要证明某个量 S 等于目标值 K。第一步，把 S 拆成一系列越来越逼近 K 的项，使得每一步与 K 的差距都能被压到任意小（这一步恰恰依赖比例论和"欧多克索斯公理"：只要差距是正量，反复减半终能小于任何给定的量）。第二步，用反证法排除 S 不等于 K 的两种可能：若 S 大于 K，则能构造出一个项，使它与 K 的差距小于 S−K，从而推出矛盾；若 S 小于 K，同理也矛盾。于是 S 只能等于 K。整个过程不需要"取极限"，不需要说"无穷多项加起来"，只用有限步的逼近和反证就完成了证明。

用这套方法，欧多克索斯严格证明了两个由德谟克利特先提出的结论：棱锥体积等于同底等高棱柱体积的三分之一；圆锥体积等于同底等高圆柱体积的三分之一。这两条结果后来被欧几里得收入《几何原本》第十二卷，阿基米德也明确把它们连同方法一起归于欧多克索斯。严格说，"穷竭法"这个名称也是后人所起，古人自己只是把它当作一种证明技巧来用。

穷竭法也有它的局限：它能严格证明"某个面积或体积等于某值"，却很难用来"发现"新的结果——你得先猜到答案，再用它去证明。真正把穷竭法用到出神入化、并用它发现一大批新定理的，是下一个人，阿基米德。这一伏笔，留到下一篇再展开。

四、《几何原本》：一部"拼装"出来的教科书

欧多克索斯的比例论与穷竭法，最终以命题的形式落进了《几何原本》。这部书的成书，是理解"证明传统如何制度化"的最好样本。

关于欧几里得（Euclid of Alexandria）本人，可确知的事实极少。现存最早、也最常被引用的生平线索，来自约公元450年的哲学家普罗克洛斯：欧几里得活动于托勒密一世时代（约公元前300年前后），在亚历山大里亚建立了一个活跃的数学学派；阿基米德在自己的著作中提到过他。普罗克洛斯还转述了一则轶事：托勒密问欧几里得，学几何有没有比《几何原本》更便捷的路径，欧几里得回答"几何学中没有王者之路"。这则轶事流传极广，但它属于晚出数百年、又无同时代证据的记载，只能当作"传说"，不能当作可靠生平。至于阿拉伯作者所说欧几里得之父名"瑙克拉底斯"、或把欧几里得与早约一百年的"墨伽拉的欧几里得"混为一谈，史学界多认为是讹传。

更靠谱的，是看这部书本身。法国学者伊塔尔（Itard）等现代研究者甚至提出三种可能：欧几里得是真实个人，独立撰成此书；欧几里得是亚历山大里亚一个团队的领袖，集体编成"欧几里得全集"；或者"欧几里得"本就是一个团队共用的署名，如同二十世纪的布尔巴基。大多数学者按第一种假说工作，但后两种也非全无道理。无论哪一种成立，结论都指向同一件事：《几何原本》不是凭空写成的天才之作，而是对约三个世纪希腊数学成果的一次系统整理与重新编排——其中的比例论来自欧多克索斯，无理数理论主要来自泰阿泰德，五种正多面体的讨论基于更早的论著。欧几里得的功劳，在于把这批材料纳入一个统一的逻辑秩序。

全书十三卷，结构严整。开篇是一系列定义、五条公设和五条"共同概念"（公理），之后是层层推进的命题。第一卷建立三角形、平行线与平行四边形的基本性质；第五卷是欧多克索斯的比例理论，同时适用于可公度与不可公度的量；第六卷把第五卷用到平面图形上；第七至九卷是数论，包含求最大公约数的"欧几里得算法"；第十卷是无理数理论；第十一至十三卷是立体几何，其中第十二卷用穷竭法证明"圆面积之比等于直径平方之比""球体积之比等于直径立方之比"，第十三卷证明恰好存在五种正多面体。

《几何原本》对后世的影响，几乎不需要渲染。荷兰学者范德瓦尔登说过，除了《圣经》，它或许是西方世界翻译最多、出版最多、研究最多的书。1482年它首次付印，此后版本超过一千种。它的严谨标准，成了后来微积分奠基者们竭力企及、却迟迟无法完全达到的标杆——这是下一篇乃至更后面才会展开的长线。

五、公理、定义、命题与证明：一门学科的骨架

《几何原本》真正的遗产，不是某一条定理，而是它示范的"组织方式"：定义、公设、公理、命题、证明，层层咬合。

先分清两组容易混淆的概念。公设（postulates）是几何作图的基本许可：过两点可作一条直线、直线可任意延长、以任意圆心和半径作圆。前三条直接对应"尺规"这种工具的合法操作，这正是三大作图难题的规则来源。公理（common notions，又译"共同概念"）则是更普遍的常识，例如"等于同量的量彼此相等"。公设偏几何、偏"能做什么"，公理偏逻辑、偏"什么显然为真"。两者合起来，是不需要证明的出发点。

定义交代词的意义，比如"点是没有部分的东西""线是没有宽度的长度"——这些定义今天看并不严格，甚至被后世（如西顿的芝诺）指出书里偷偷用了没说明的假设，但作为一套开风气之先的体系，它的价值在于示范：一切结论都应能追溯到明说的起点。命题是待证或已证的陈述，每个命题配一个证明，从定义、公设、公理和已证的命题出发，一步步推到底。

这套程序的真正含义，是上一篇结尾预告的那场转向的落地：数学不再是一堆"这里有个算法，照着算就对了"的配方，而是一棵可以追溯根部的推理树。你问"为什么"，它就给你指到"因为某某公理"或"因为某某已证的命题"。正是这个可追溯性，让数学第一次成为可以公开展开争论、可以由他人独立检验的东西——这与三大作图难题里那些"我找到了方法"却无法自圆其说的尝试，形成了鲜明对照。

这里要补一句公平话：希腊不是唯一在组织知识的文明。几乎同一时期，中国在《周髀算经》《九章算术》里发展着以算筹、算法和数值解为重心的数学传统，与希腊以演绎证明为重心形成对照，却同样成熟而深刻；印度与中美洲文明也在各自轨道上独立推进。把这些线索说成"希腊一家独大"是错的，但就"把证明制度化"这一点而言，希腊传统确实走在了前面，且影响至今未散。

六、三大尺规作图难题：规则的边界，要等两千年

《几何原本》设定的"尺规"规则，直接逼出了希腊数学最著名的三个难题：三等分任意角、倍立方（作一个体积为给定立方体两倍的立方体）、化圆为方（作一个与给定圆面积相等的正方形）。三者都要求只用无刻度的直尺和圆规完成，而这条"只用尺规"的限制，正是从《几何原本》那几条作图公设里生长出来的。

这三个难题之所以伟大，不在难度本身，而在它们逼迫数学不断扩张工具。先说化圆为方。现存最早的相关记录，是《莱因德纸草书》（约公元前1650年前后抄写）里给出的一个近似做法：把直径削去九分之一，以余下部分为边作正方形，得到 π≈3.1605 的近似值。但这是近似，不是严格作图。希腊式的化圆为方问题，是要严格作出一个与圆等面积的正方形。尝试者名单很长：安提丰用内接多边形逼近、布里松又加上外切多边形把圆夹在中间；希俄斯的希波克拉底证明了某些"月牙形"可以化为等面积的正方形（这一漂亮结果虽未解决化圆为方，却开创了"用已知面积图形替换未知面积"的思路）；

传统上认为，割圆曲线（quadratrix）是希皮亚斯发明的，而把它用于化圆为方则归于迪诺斯特拉图斯——这条曲线确实能解决问题，但它本身要靠机械运动来描，等于偷偷借用了"圆弧与线段之比"这个本待证明的量，所以并不算尺规作图。

倍立方另有来历。流传最广的版本，说提洛岛人因瘟疫求问神谕，神谕命他们筑一座体积加倍的祭坛，工匠无计可施，于是去问柏拉图。但这则传说经埃拉托色尼转述，年代本身就有矛盾——雅典大瘟疫约在公元前430年，而柏拉图公元前427年才出生，故事里他不可能出面解答。所以它只能当作后世附会，不能作为倍立方起源的证据。可考的是，阿尔希塔斯（欧多克索斯的老师）给出过一种用三维曲面相交来解倍立方的方案。三等分角则引出了割圆曲线等多种"超出尺规"的曲线方法。换句话说，希腊人在这些难题上贡献的不是"答案"，而是"规则"——他们清楚地意识到，某些问题在尺规限制下做不出来，于是不断发明新曲线、新工具，客观上把几何的版图越撑越大。

真正的答案，要等到十九世纪。1837年，法国数学家万泽尔（Wantzel）证明：三等分任意角和倍立方，在尺规限制下不可能；1882年，林德曼（Lindemann）证明 π 是超越数，从而证明化圆为方也不可能。这三个"不可能"，用的是希腊人绝想不到的工具——代数与域论。它们给这段两千年的追逐画上了句号，也再次印证了同一个道理：数学的进步，常常不在于解开了某个难题，而在于精确地说清了"为什么解不开"。

七、从"会算"到"为什么必然成立"

把这四样东西——比例论、穷竭法、《几何原本》、三大作图难题——放在一起看，它们的联系就清楚了。它们同属一个历史阶段（约公元前600—前200年），也同属一场共同的转向：把数学从"一套会算的配方"，升级为"一门能问'为什么必然成立'的学问"。

比例论回答的是"数的裂缝"：当整数比不够用时，如何不放弃严格性而扩展"量"的范围。穷竭法回答的是"无穷的阴影"：如何逼近曲线图形的面积，却不真的碰"无穷"。《几何原本》把这两者连同前三个世纪的成果，收进一套公理化秩序，让"证明"第一次成为可以检验、可以传授、可以争论的公共标准。而三大作图难题，则是这套规则的反面教材与压力测试：它划定了尺规的边界，逼出了规则之外的新工具，也逼出了两千年后关于"不可能"的严格证明。

这场转向的代价是：希腊数学从此对"无穷""无理""无限过程"格外警惕，宁可绕远路，也不肯在根基上含糊。它的收获更大：留下了一套直到今天仍在使用的组织方式——定义、公理、定理、证明。我们今天读任何一篇数学论文，翻开任何一本教科书，看到的"定义→引理→定理→证明"的格式，源头都在这里。

关于后世如何纪念，只需一句：把穷竭法用到极致的那位阿基米德，他的头像至今镌刻在菲尔兹奖章上。这个细节我们留到更后面，等讲到二十世纪时再回来。

回到开篇那六块陶片。一个公元前3世纪的读者，在远离学术中心的地方，吃力地研读《几何原本》第十三卷的难题，并留下笔记。这个人是谁、他最终有没有读懂，我们永远无从知晓。但他的存在，比任何"天才神话"都更能说明问题：证明这门手艺，从诞生那一刻起，就是一门可以离开它的作者、被任何认真的人拿起来反复锤炼的手艺。欧多克索斯的比例论与穷竭法，正是这门手艺最早的两块基石。

而真正把这门手艺推向极致的，是下一个人。他证明球的体积、逼近圆周率、在浴缸里喊出"尤里卡"、又在叙拉古城破时死去——阿基米德，以及他用穷竭法征服的面积、体积与浮力，是下一篇的主角。