欧多克索斯（Εὔδοξος / Eudoxus of Cnidus）

古希腊最伟大的数学家之一，以比例论化解了不可公度量引发的第一次数学危机、以穷竭法开启了严格面积/体积证明的传统（积分思想的先驱），并用同心球几何模型把演绎数学引入天文学；其成果被欧几里得与阿基米德直接继承。

一、生平与时代背景

欧多克索斯公元前 408 年出生于小亚细亚西南的尼多斯（Cnidus，今土耳其 Knidos），公元前 355 年卒于同地，享年约 53 岁。父亲名 Aischines。他活跃于公元前 4 世纪上—中期，正值柏拉图学园（Academy，前 387 年创立）兴起、希腊数学走向严格化的关键时期。

求学与游历： - 先到南意大利的塔伦同（Tarentum），师从阿基塔斯（Archytas，毕达哥拉斯派传人）。由此接触了倍立方问题、数论与音乐理论。 - 随后到西西里，随 Philiston 学医；再与医生 Theomedon 同行首次赴雅典，在柏拉图学园听了约两个月的哲学讲座。据希思（Heath）记载，他因贫穷住在比雷埃夫斯港（Piraeus），每天步行往返雅典听课。 - 离开雅典后在埃及住了一年多，随赫利奥波利斯（Heliopolis）的祭司学天文，并在赫利奥波利斯与 Cercesura 之间的一座天文台做观测。 - 之后到小亚细亚西北的库齐库斯（Cyzicus，马尔马拉海南岸），创办了一所很受欢迎的学校，门徒众多。 - 约公元前 368 年，他率门徒第二次访问雅典。与柏拉图的关系微妙：有材料说欧多克索斯不太看得起柏拉图的分析能力（作为数学家他确远超柏拉图），柏拉图对欧多克索斯学派的成功也未必高兴；一般认为两人思想相互影响不大。 - 晚年回到故乡尼多斯，被市民拥戴并委以立法要职；同时继续著述讲学（神学、天文、气象），在当地建了天文台，观测到了老人星（Canopus），还制作了一座日晷。

他的著作全部失传，仅通过后世引用而知其名与内容：天文学方面有《镜》（Mirror）与《现象》（Phaenomena，希帕库斯 Hipparchus 记载，可能是同一书的修订本，论恒星的升落）、《论速度》（On velocities，含同心球体系）；地理学有七卷本《大地巡礼》（Tour of the Earth，通过约 100 条引文为人所知）；以及比例论、穷竭法的相关论文（均佚，其理论保存在欧几里得《原本》与阿基米德的著作中）。

二、学术生涯年表

三、核心成果（逐条技术解析）

1. 比例论——为不可公度量奠基（《原本》V 卷）

问题背景：毕达哥拉斯派发现 $\sqrt2$ 与 $1$ 不可公度后，"任意两量之比皆为整数之比"的预设崩塌，希腊数学一度陷入瘫痪——凡涉及比例的证明（相似形、面积比较等）都不再可靠。

关键思想：欧多克索斯绕开"公度"概念，用"倍乘后能否超过"来定义两个量能否相比，再用对任意整数倍的统一比较来定义比例相等，从而不依赖有理/无理的区分，同时适用于可公度与不可公度量。其理论保存在欧几里得《几何原本》第五卷。

精确表述： - 定义 4（"欧多克索斯公理"，阿基米德将其归于欧多克索斯）：两个量 $a,b$ 称为"能相比"，当且仅当存在某个整数倍使其中之一超过另一个，即 $\exists n\in\mathbb N$ 使 $na>b$ 或 $nb>a$。这排除了不同类量（如长度与面积）相比的情形，又保证了 $\sqrt2$ 与 $1$ 能相比（因 $1\cdot\sqrt2>1$ 且 $2\cdot1>\sqrt2$）。 - 定义 5（比例相等）：$a:b = c:d$ 当且仅当对任意正整数 $m,n$， $$ma<nb \iff mcnb \iff mc>nd.$$

与前人关系 / 意义：这是希腊数学严谨性的巅峰之一。希思指出它"逐字对应"于戴德金分割与魏尔斯特拉斯的等数定义；Huxley 称其"相当于实数的严格定义"，使数论在毕达哥拉斯发现无理数造成的"瘫痪"之后得以重新前进。不过也有学者（如 MacTutor 所引文献 15）认为，不能说欧多克索斯直接"影响"了戴德金，二者在理论意图上仍有差别。

2. 穷竭法——严格的面积与体积证明（积分思想的先驱）

问题背景：如何严格证明圆面积、球体积、锥体积等涉及曲线/曲面的命题？智人学派的安提丰（Antiphon）曾用增加内接正多边形边数来逼近圆面积，但未给出严格证明。

关键思想：欧多克索斯把这一逼近严格化：用内接（或外切）多边形逼近曲边图形，证明"余量可以小于任意给定的量"（这正是定义 4 的"阿基米德公理"的应用），再用反证法排除大于和小于两种情形，从而得到等式。这就是"穷竭法"（method of exhaustion），是现代极限与积分思想的古代先驱。

精确成果（据阿基米德《论球与圆柱》明确归于欧多克索斯）： 1. 棱锥体积 = 同底等高棱柱体积的 $1/3$。 2. 圆锥体积 = 同底等高圆柱体积的 $1/3$。

（这些结果最早由德谟克利特 Democritus 猜出，但严格证明由欧多克索斯给出。）《原本》XII 卷中"圆之比等于其直径平方之比""球之比等于其直径立方之比"的证明也用穷竭法，成果属欧多克索斯。阿基米德后来把穷竭法发展为强大的工具，证明了大量面积、体积与重心定理。

3. 倍立方问题的曲线解法（存疑）

问题背景：倍立方——求作一立方体使其体积为给定立方体的两倍，等价于求 $x$ 使 $x^3=2a^3$，即作 $a$ 与 $2a$ 之间的两个比例中项。这是古希腊三大几何难题之一。

关键思想：据埃拉托色尼（Eratosthenes）记载，欧多克索斯用曲线（curved lines）解了倍立方。但流传下来的文献（经由欧托基 Eutocius）对其解法描述混乱，似乎原文档已被不理解它的人篡改。

存疑：数学家 Paul Tannery 仅凭极少证据复原，猜想欧多克索斯用了一条后来被称为"欧多克索斯蚌线"（kampyle of Eudoxus）的曲线。希思对此表示怀疑，认为它太像阿基塔斯解法的改编，而"欧多克索斯是太有原创性的数学家，不至于只改编阿基塔斯的方法"。因此其具体解法只能算猜测，存疑。

4. 同心球宇宙模型——把几何演绎引入天文学

问题背景：如何用匀速圆周运动的组合来解释行星（包括逆行）的视运动？受毕达哥拉斯派（经阿基塔斯）"球是最完美形状"观念影响，欧多克索斯在《论速度》（已佚）中提出了同心球（homocentric spheres）模型。

关键构造：每个天体由若干个以地球为中心、绕不同轴匀速旋转的球层带动；外层球的转轴端点固定在内层球上，从而轴本身也在转动。两个角速度相同、转向相反的球层叠加，会使内层球赤道上一点描出一条"8"字形曲线——马镣线（hippopede，horse-fetter）。用这条曲线可定性解释行星的逆行。完整体系共 27 个球层（亚里士多德《形而上学》、公元 6 世纪辛普利丘 Simplicius 的注疏有描述）。

历史评价与存疑： - 希思盛赞这是"非凡的几何创造"，尤其能凭空构想出产生逆行效果的假设。 - 但该模型精度很差，甚至经不起最简单的观测检验；诺伊格鲍尔指出我们没有任何证据表明欧多克索斯用数值参数构建过这些球，或与观测比对过。 - 关于他是否把球层当作物理实在：Huxley 认为欧多克索斯可能仅视其为抽象几何计算装置，而亚里士多德把它当成了物理世界的真实描述——二者须区分。 - 关于灵感来源：传统认为受柏拉图启发，但有研究（MacTutor 文献 19）论证其思想源自毕达哥拉斯派而非柏拉图。

四、代表著作与文献

（全部失传，仅存书名与后世引文） - 《论速度》（On velocities）：同心球行星模型。 - 《现象》（Phaenomena）与《镜》（Mirror）：恒星升落，可能是同一书的修订本（希帕库斯记载）。 - 《大地巡礼》（Tour of the Earth）：七卷本地理/民族志，通过约 100 条引文为人所知，第七卷专论南意大利的毕达哥拉斯社团。 - 比例论与穷竭法的原始论文已佚，内容保存在欧几里得《原本》V、XII 卷及阿基米德的著作中。

五、师承、学派与同时代交往

• 老师：阿基塔斯（Archytas of Tarentum，毕达哥拉斯派）——核心师承；Philiston（医学）；赫利奥波利斯祭司（天文）。
• 与柏拉图：两次到访雅典学园，听过柏拉图讲座，但两人在数学能力与学术取向上有距离，相互影响有限。
• 学生 / 学派：在库齐库斯创办学校，有众多门徒；其数学成果经门人流传，后被欧几里得系统整理。
• 影响亚里士多德：其哲学与宇宙模型深刻影响了亚里士多德（亚氏在《形而上学》中描述其同心球体系并加以物理化改造）。
• 与阿基米德：阿基米德明确把锥体积等证明归于欧多克索斯，并继承发展其穷竭法。

六、争议、公案与历史评价

1. 倍立方具体解法：Tannery 复原的"蚌线"缺乏文献支撑，希思质疑，存疑。
2. 同心球是物理实在还是计算装置：欧多克索斯本人态度不明，亚里士多德的物理化解读未必是其本意。
3. 比例论是否"等于"戴德金实数理论：希思/魏尔斯特拉斯认为高度对应，但部分现代史家反对把它直接等同于现代实数理论，也不承认对戴德金有直接"影响"。
4. 总体评价：在数学史上，欧多克索斯常被列为古希腊仅次于阿基米德的最伟大数学家；他的比例论与穷竭法代表了希腊严格性的高峰，直接塑造了《原本》的严密性与后来分析学的极限思想。

七、身后影响与学术谱系

• 比例论被欧几里得收入《原本》V 卷，成为此后两千余年处理量之比的标准基础，直到 19 世纪戴德金、魏尔斯特拉斯重建实数理论——而后者正是在与欧多克索斯定义的对话中完成的。
• 穷竭法经阿基米德发扬光大，是古代最接近积分的方法；17 世纪卡瓦列里、开普勒等人的"不可分量"方法，以及最终的微积分，均可在此找到源头。
• 同心球模型经亚里士多德物理化、后由阿波罗尼乌斯与托勒密转向本轮—均轮模型，主导西方天文学至哥白尼时代。
• 其地理学与星图工作影响了后世的地图绘制传统。

八、延伸阅读与权威来源

• MacTutor: Eudoxus of Cnidus：圣安德鲁斯大学数学史档案，本档案主要史料来源。
• Dictionary of Scientific Biography: Eudoxus (PDF)：MacTutor 托管的 DSB 条目。
• Encyclopaedia Britannica: Eudoxus of Cnidus：权威百科条目。
• Wikipedia: Eudoxus of Cnidus：交叉核对（不作唯一来源）。
• T. L. Heath, A History of Greek Mathematics, Vol. I (Oxford, 1921)：考证欧多克索斯比例论与穷竭法的经典著作。
• T. L. Heath, The Thirteen Books of Euclid's Elements, Vol. II (Book V) (Cambridge, 1908)：比例论原文与权威评注。
• O. Neugebauer, A History of Ancient Mathematical Astronomy (3 vols., 1975)：评估同心球模型的观测基础。