欧几里得

引言

在人类思想漫长的历史中，鲜有人物能像亚历山大城的欧几里得那样深刻地塑造了知识的版图。这位古希腊数学家活跃于公元前300年前后，为世界留下了一部影响最为深远的著作。他的传世之作《几何原本》绝非现代狭义上的几何学教科书，而是一座逻辑推理的巍峨丰碑——对空间、数以及数学真理本质的系统性探索，为严格论证树立了延续两千余年的典范。在那个书写材料匮乏、知识靠人工抄写艰难传递、证明这一概念本身尚在摸索之中的时代，欧几里得将古希腊世界积累的几何与算术智慧，整合为一套首尾贯通的演绎体系。这套体系此后被广泛传授于世界各地的学校之中，从亚历山大城到牛津，从巴格达到波士顿，从托勒密法老时代一直延续到工业革命时期。

欧几里得之名与几何学本身已密不可分，以至于数百年来的学生习惯于用"学欧几里得"来指代几何推理这一整套学问。航海家依照欧几里得原理规划航线，建筑师依此设计教堂与宫殿，工程师依此计算应力与应变，哲学家则将欧几里得的方法视为严密论证的典范。Thomas Hobbes在读到《几何原本》时，被其论证的力量深深震撼，据说曾感叹道，如此论证断不可能有误。Baruch Spinoza以欧几里得命题与证明的形式写就《伦理学》，深信伦理真理可以像几何真理一样以同等确定性加以推导。Isaac Newton在撰写《自然哲学的数学原理》时，亦沿用了欧几里得的体例，将运动定律与万有引力定律作为从定义与公理出发推导而来的定理加以呈现。

这一遗产之所以愈发令人称奇，在于关于欧几里得本人的生平，我们几乎一无所知。他没有留下自传、书信或任何个人感言。古代世界留存下来的有关他的传记资料少得出奇，而那些零星记载也都是在他身后数百年才写就的。我们不知道他出生于何处，不知道他的生卒年月，也不了解他的个人生活、师承渊源或家庭背景。我们只知道他曾在托勒密埃及的繁华都城亚历山大城从事学术活动，也大致知晓他活跃的年代。除此之外，欧几里得留给我们的，几乎只有他的数学本身。

本文将对欧几里得其人与其学的方方面面进行全面梳理，涵盖我们已知的事实与合理的推断：他所处的学术世界，作为伟大汇编的《几何原本》及其逐卷内容，他所完善的公理化方法及其对西方思想的深远影响，他其他存世的论著，他在希腊数学史上的地位，以及他的思想所经历的非凡传播历程——从中世纪伊斯兰世界的阿拉伯学者，到文艺复兴时期威尼斯的印刷作坊，经由十九世纪的非欧几里得革命，最终融入我们这个时代的数学之中。循着这位古希腊数学家的生平与遗产，我们得以见证人类文明史上最为持久、影响最为深广的智识成就之一。

我们所知的欧几里得生平

致力于为欧几里得撰写传记的历史学家面临着一项特殊的挑战：这位传主的生平几乎完全湮没无闻。古希腊有着生机勃勃的传记写作传统，留下了关于诗人、哲学家、将领和政治家的大量详尽记述。然而，欧几里得作为古代世界最具影响力的思想家之一，却几乎未留下任何可供查考的传记痕迹。其著作流传至今，其人却已消逝于历史之中。

关于欧几里得的片断史料，我们的主要来源是吕西亚哲学家普罗克洛斯，其生卒年约为公元410年至485年——距欧几里得所处的时代已逾七个世纪。普罗克洛斯在其《欧几里得〈原本〉第一卷注疏》中留下了一段关于欧几里得的简短记述，这段文字成为此后一切传记研究的基础。普罗克洛斯写道，欧几里得"汇编了《原本》，收录了欧多克索斯的许多定理，完善了泰阿泰德的许多定理，并将前人仅作粗疏论证的命题一一纳入严密的演绎体系"。他还指出，欧几里得活跃于柏拉图门下第一批弟子之后、埃拉托色尼与阿基米德之前，将其时代定位于第一位托勒密王统治时期。普罗克洛斯还记录了两则历代相传的著名轶事。

第一则轶事与托勒密一世本人有关。国王曾问欧几里得，学习几何是否有比研读《原本》更为便捷的途径。欧几里得据称回答道："几何学没有王者之路。"这句话已成为一句脍炙人口的格言，其含义远远超越了几何学本身，涵盖了真正的智识成就所具有的平等性：理解没有捷径可走，任何地位的特权都无法使人免于刻苦学习。这段对话是否真实发生过，我们无从知晓，但它听来颇像一则构思精巧的教育寓言，道出了欧几里得数学精神的某种本质。第二则轶事并非出自普罗克洛斯，而是由四世纪数学家斯托拜乌斯所记载：一名学生曾问学习几何能带来什么收益，欧几里得据称吩咐仆人给那名学生一枚小钱，"因为他必须从所学之物中获取利益"。这则轶事或许同样出于杜撰，但两则故事都表明，欧几里得在古代世界以一丝不苟的标准和冷峻的幽默著称于世。

另一位次要来源是亚历山大里亚数学家帕普斯，其著述时间约在公元320年前后。帕普斯将欧几里得描述为"对一切能够在某种程度上推进数学发展的人，都极为公正、态度和善"。帕普斯的描述让人隐约感受到，在那严峻的数学外表之下，欧几里得拥有一种乐于合作、慷慨大度的个性。另一处简短提及来自生活于公元二世纪的哲学家兼历史学家阿普列尤斯，他虽提到了欧几里得，却未能为史实记录增添多少新的内容。

有一点可以较为确定地加以认定：欧几里得活跃于亚历山大里亚，时当托勒密一世索泰尔统治埃及期间，即公元前323年至公元前285年。这将欧几里得学术生涯的主要阶段定位于公元前三世纪第一个四分之一世纪，大约在公元前300年前后——这一时间历来为数学史家所普遍接受。他的生卒年代则完全不为人知。各方猜测出入甚大，部分学者认为他约生于公元前325年，约卒于公元前265年，但这些不过是依据其有据可查的活动时间及当时人的一般寿命所作出的有根据的推断。学界沿用已久的惯例，将其标注为"活跃于公元前300年"——即约在公元前300年处于学术活动的鼎盛时期——至今仍是最为稳妥的表述方式。

欧几里得究竟是在亚历山大城出生，还是从其他地方来到那里，至今无从考证。普罗克洛斯的记述表明，他是在雅典柏拉图学院的传统中接受数学训练的，人们通常认为欧几里得本人或其师承与这所雅典学府有所渊源。学院曾是公元前四世纪希腊世界数学活动的中心，《几何原本》中出现的许多成果最初都由与其相关的数学家所发展，其中包括泰阿泰德、尼多斯的欧多克索斯以及梅内克穆斯。欧几里得可能在受邀前往亚历山大城之前曾在那里求学，但即便如此，这也只是推断，而非确凿的史实。此外，古代文献中还存在一个长期的混淆：亚历山大城的欧几里得与麦加拉的欧几里得之间常被混为一谈——后者是苏格拉底的同时代人，一位哲学家，比前者早生约百年。中世纪欧洲学者有时将二者合而为一，而这一误解早已被现代学术研究彻底厘清。

尽管有关欧几里得个人的史料如此匮乏，其著作的内部证据仍在一定程度上向我们揭示了他的思想特质。他首先是一位组织与逻辑综合的大师。《几何原本》并非以原创发现为主——欧几里得本人也明确表示，他是在整理和系统化前人数学家的成果——但它却是一部具有非凡建构智慧的著作。将数百条命题组织成一套连贯的演绎序列，在开篇选取恰当的公理，安排各命题的顺序使每一条都只依赖已经确立的结论，这需要极高的能力，而欧几里得恰恰完全具备。他显然也是一位天赋卓越的教师，其他著作展现出他广泛的数学兴趣，涵盖纯几何学、光学、天文学和数论。我们是否能够真正了解数学背后的那个人，或许终将是个谜，但数学本身便已彰显出一个卓越而严谨的心智。

亚历山大城与托勒密王朝的宫廷

要理解欧几里得生活和工作的世界，就必须了解亚历山大城，以及公元前323年亚历山大大帝逝世后，围绕托勒密宫廷逐渐形成的那种非凡的学术文化。亚历山大城并非一座古老的城市，而是一座新兴之城，由亚历山大大帝本人于公元前331年创建于尼罗河三角洲西缘，选址于此，既因其天然良港，也因其处于地中海世界与埃及腹地之间的战略要地。亚历山大去世时尚无年长足以执政的继承人，其麾下将领便将庞大的帝国瓜分。埃及归于拉古斯之子托勒密，他是亚历山大最信赖的将领之一，建立了托勒密王朝，以托勒密一世索泰尔——即"救主"托勒密——之名统治埃及，直至公元前283年前后驾崩。

托勒密一世是一位具有非凡文化抱负的统治者。他深知，一个新建的王朝，即便军事强盛，也需要在其所统治的各族民众眼中确立自身的合法性——无论是希腊人、马其顿人、埃及人，还是犹太人——而他选择的方式之一，便是大力资助学术、宗教与艺术。他创立了（或着手创立了）两座非凡的机构，使亚历山大城在此后数百年间成为古代世界的学术之都：一是亚历山大图书馆，志在汇聚天下所有典籍；二是缪塞翁，即"博物院"，一所附设于图书馆的研究机构，来自希腊世界各地的学者可在国王的资助下于此生活、研究与讲授，从而摆脱学术生涯中寻常的经济压力。

鼠标宫在一定程度上仿照了雅典的哲学学派——柏拉图的学园与亚里士多德的吕克昂——但其规模远为宏大，拥有王室资助、永久性设施、公共餐饮，以及支付给学者的薪酬。人们普遍认为，欧几里得正是在这座托勒密庇护下的温床之中生活与工作。普罗克洛斯告诉我们，欧几里得活跃于"第一位托勒密在位之时"，而托勒密一世向他请求学习几何捷径的轶事，也将欧几里得置于宫廷之中。我们有理由推测，欧几里得是最早受托勒密庇护之政策吸引而来到亚历山大城的学者之一，或许是受法勒鲁姆的德米特里乌斯之邀——此人是雅典政治家和学者，曾担任托勒密一世的顾问，并被认为是发起大规模藏书计划的主要推手。

亚历山大图书馆由此声名远播，成为传奇。古代文献记载，该馆立志收藏每一部以希腊文写就的著作；据说托勒密的特使会登上每一艘驶入亚历山大港的船只，没收船上所有书籍，将其抄录副本后归还原件，而将正本留存馆中。这个故事是否完全属实并不重要，重要的是它所折射出的那种氛围：这座城市、这座宫廷，将知识的汇聚与推进奉为国家政策，学者在此备受重视与支持，希腊世界积累的全部学识正在这里汇聚一堂，得到整理与传承。对于欧几里得这样一位兼具数学才华与系统化思维气质的人而言，这无疑是最为理想的环境。

亚历山大城本身便是古代世界的一大奇观。这座城市沿地中海海岸依网格规划而建，拥有宽阔的林荫大道、宏伟的公共建筑，以及举世闻名的法罗斯灯塔——古代世界七大奇迹之一——屹立于双港之前，守望来往的船只。这座城市自建城之初便已呈现出国际化的面貌，吸引着地中海沿岸与近东各地的商人、学者、哲学家和工匠纷至沓来。这里孕育出的希腊—埃及双语文化，是此前世界上从未有过的崭新形态。希腊语依旧是学术与行政的通用语言，但埃及的宗教传统、艺术规范与思想实践，与希腊文化相互交融，催生出一种丰富而独特的文明。

在这样的环境之中，数学蓬勃发展。鼠标宫吸引的不仅是纯粹的数学家，还有天文学家、医生、工程师、诗人和哲学家，各学科之间的交叉融合，是早期托勒密时代智识活力的重要源泉之一。欧几里得本人广泛的研究兴趣——他不仅研究纯粹数学，还涉足光学与天文学——正是这种跨学科氛围的生动体现。例如，他的《光学》将几何推理运用于视觉光线的行为研究，这一问题正处于数学与自然哲学的交汇地带；他的《天象论》则将球面几何应用于天文学问题。托勒密宫廷给予欧几里得的，不仅仅是一处工作之所，更是一种文化氛围——在这种氛围中，抽象数学与理解自然世界之间的内在联系，被认真对待并在王室的支持下得到积极探索。

亚历山大城地处尼罗河入海口，拥有得天独厚的地理优势，可畅达古代地中海与近东地区的各大贸易航路。来自希腊、罗马、迦太基、腓尼基、黑海沿岸各港口、阿拉伯及印度的船只穿梭于其港湾之间，带来了来自已知世界各个角落的货物、思想与学者。据部分古代文献估计，该城在鼎盛时期人口接近五十万，跻身古代世界最大城市之列。这座城市具有非凡的文化多元性——希腊人、犹太人、埃及人及其他众多族群在共享城市文化的同时，各自保持着独特的身份认同。如此多元的城市环境必然使其知识生活得到极大滋养：缪斯宫并非一所移植于异域土壤的纯粹希腊机构，而是一个真正意义上的国际性学术中心，汇聚多元智识传统，服务于背景各异、学术旨趣不同的广大学者群体。

Euclid所工作的埃及，同样承袭着一脉极为悠久的数学传统。早在Euclid诞生之前数千年，埃及书吏便已在从事土地面积、谷物容积与金字塔尺寸的测算工作。比Euclid早逾千年的《莱因德数学纸草书》与《莫斯科数学纸草书》表明，埃及数学家处理实用几何问题时虽有条不紊，却并不注重理论建构。Euclid的方法与之截然不同——抽象、理论性强、以证明为基础——但他工作的土地向来推崇实用计算，而他在图书馆与缪斯宫的学术归宿，又使他得以接触来自埃及、巴比伦及更广泛的希腊世界的书面传统。《几何原本》在某种意义上是这整个传统的集大成之作：近东世界的实用计算知识、希腊数学家的理论几何，以及柏拉图哲学传统的逻辑严密性，在这部单一的权威著作中融为一体，共臻于成。

《几何原本》：结构与概述

Euclid的《几何原本》——希腊语称为Stoicheia——是一部由十三卷书构成的集子，涵盖了极为广泛的数学内容，从平面几何的最基本原理，历经数论、比例论与立体几何，最终以五种正多面体（即所谓柏拉图多面体）的构造与分类作为终篇。这部著作集教科书、研究汇编与哲学宣言于一身，深刻阐明了数学知识的本质及其应有的组织方式。

《几何原本》的卓越之处，并不在于其中任何一条单独的定理——其中大多数定理在Euclid之前便已为人所知——而在于整体的逻辑架构。Euclid在每卷书的开篇，尤其是在重要的第一卷中，明确奠定了基础：以定义阐明数学对象的性质，以公设确立这些对象的基本假设属性，以公理提供适用于任何领域的一般逻辑原则。在此基础之上，他仅凭逻辑推论推导出此后的所有结果，并在每一步骤中明确指出新命题所依赖的先前结论。最终呈现出一座宏伟的层级结构：后续结论建立于前期成果之上，逻辑链条上的每一环节清晰可见。

这种方法——即我们今天所称的公理化方法——并非完全由Euclid首创。早期的希腊数学家已经使用过证明和逻辑推理，在Euclid之前也已存在若干几何学的论文集或教材。Proclus提到了几位更早的《几何原本》作者，其中包括公元前五世纪的希俄斯的Hippocrates。然而，Euclid的成就在于完成了一部综合性著作，其涵盖范围之广、论证之严格、逻辑之完备，使得所有前人著作都黯然失色，最终湮没无闻，其内容被《几何原本》悉数吸收。数学史家D. E. Smith曾指出，《几何原本》是有史以来最成功的教科书，此论断经久不衰：《几何原本》作为标准教学用书，仅经历细微修改，便沿用了逾两千年之久——从约公元前300年成书，直至十九世纪相当长的时间里仍在使用。

《几何原本》十三卷从内容上自然划分为三大部分。第一卷至第六卷论述平面几何，涉及二维图形，包括三角形、矩形、圆以及它们之间的关系。第七卷至第九卷讨论算术与初等数论，探讨整数、素数及比率的性质。第十卷相对独立，是对无理量——即不能表示为整数之比的量——所进行的一项精深而繁复的研究。第十一卷至第十三卷论述立体几何，即三维空间的几何学，最终以证明恰好存在五种正多面体作为全书的收结。

Euclid的工作大量借鉴了前人的成果。第五卷中的比例论主要源自Cnidus的Eudoxus，他发展出这一理论，以处理可能不可公度的量之间的比率问题。第十卷对无理量的处理与Theaetetus的工作密切相关，这位数学家因Plato以其名字命名的同名对话而名垂青史，无理数的分类工作正是归功于他。第七至九卷的数论则汲取了希腊算术研究的悠久传统。Euclid的贡献并不在于发现新定理意义上的原创性，而在于一种最高层次的组织创新：他选择了恰当的出发点，以合理的顺序排列各定理，并为此前仅有粗略或不完整论证的结论提供了严格的证明。

《几何原本》尽管以此为名，却并非一部仅就现代狭义而言的几何学著作。更准确的描述是：它是对当时受过教育的希腊人所认为最为基础的数学知识所作的系统性论述。古希腊人对数学的理解远比我们今天的学科划分宽泛得多，涵盖了我们今日所称的几何学、数论，以及后来被称为代数学的部分内容。Euclid的《几何原本》涉及上述所有领域，以统一的演绎方法和同一套基础假设贯穿始终。

第一卷：基础与平行公设

第一卷是《几何原本》中最为著名、也是研究最为深入的部分，此殊荣名副其实。正是在这一卷中，Euclid奠定了逻辑基础，使其余各卷得以建立其上；也正是在这里，他证明了数学史上若干最负盛名的结论，其中包括如今举世皆知的勾股定理。第一卷的结构受到的研究、推崇、批评与效仿，超过了西方传统中任何其他数学著作。

Euclid在第一卷开篇给出了二十三条定义。这些定义涵盖范围甚广，从最基本的——"点是没有部分的东西"、"线是没有宽度的长度"——到更为复杂的构造。其中一些定义令现代读者感到费解或不够完整；例如，将直线定义为"与其自身各点均匀地延伸的线"，在现代数学家看来就不够精确。但这些开篇定义有其重要作用：它们引入了贯穿全书的术语，并清楚说明了所研究对象的性质。至于这些定义能否作为严格的逻辑定义，是后来的数学家所提出的问题，但作为引导读者进入研究主题的方式，它们的效果却是相当出色的。

定义之后是五条公设。这是数学史上最著名的五句话。前三条相对没有争议，分别指出：从任意一点到另一任意点可以画一条直线；任何有限直线可以沿直线方向无限延伸；以任意点为圆心、任意长度为半径可以画一个圆。第四条公设指出，所有直角彼此相等——这一表述实际上是对平面均匀性的一种断言。然而，第五条公设在整个数学史上所引发的争议，比任何其他单一命题都要多。

第五条公设表述如下：若一条直线与两条直线相交，使得同侧的内角之和小于两个直角，则这两条直线若无限延伸，将在那些内角之和小于两个直角的一侧相交。这是一个关于一条截线与两条直线相交时、所成角不等于两个直角情形下两线走向的命题。以如今更为人熟知的形式表述，有时称为"Playfair公理"，它等价于：过直线外一点，有且仅有一条直线与该直线平行。这就是著名的平行公设。

第五条公设令古希腊读者和后世数学家感到不寻常之处，在于它的复杂性。其他四条公设简洁明了、直觉上显而易见；而第五条却冗长、附有条件，需要一种难以明确把握的空间直觉。几乎就在Euclid之后，古希腊数学家便开始怀疑平行公设并非真正独立——认为它理应可以从其他四条公设推导出来。在此后两千年间，世界上最杰出的数学头脑前赴后继地尝试从其他公理推证平行公设，而每一次尝试最终都被证明存在缺陷。这段漫长的失败历程最终在十九世纪导向了人类历史上最具革命性的智识发现之一：人们认识到，存在着平行公设不成立的自洽几何体系。

五条公设之后，Euclid陈述了五条公理。这些是不限于几何学的一般逻辑原则，例如"与同一事物相等的事物彼此相等"以及"整体大于部分"。公理与公设的区别在于，公理具有普遍适用性，而不仅限于几何图形。

有了这二十三条定义、五条公设和五条公理，欧几里得着手推导四十七个命题。早期的命题是作图题——如何在给定线段上作一个等边三角形，如何平分一个角，如何作垂线。其后是一系列关于三角形的定理，以及三角形全等的条件。本卷中段讨论平行线和平行四边形。第一卷的高潮是第47个命题，它证明了我们所称的勾股定理：在直角三角形中，斜边上的正方形面积等于另外两边上的正方形面积之和。

欧几里得对勾股定理的证明是数学史上最令人叹服的证明之一。证明的过程是：在直角三角形各边上分别作正方形，从直角顶点向斜边作垂线，然后通过一系列涉及三角形和平行四边形面积的步骤，说明斜边上的正方形被分成两个矩形，它们的面积分别等于两直角边上的正方形面积。这一证明严谨、简洁，且完全自足于前四十六个命题所建立的框架之内。它将欧几里得的组织天赋展现得淋漓尽致：当我们读到第47个命题时，证明所需的每一件工具都已提前备妥。没有任何假设，每一步都有充分的依据。

第一卷的最后一个命题，即第48个命题，是其逆命题：如果三角形一边上的正方形面积等于另外两边上的正方形面积之和，则第一边所对的角为直角。这种优雅的对称——定理之后紧接着给出其逆命题——是贯穿《几何原本》全书的一个典型风格。

第一卷还有一个值得关注之处，那就是欧几里得尽可能审慎地推迟使用平行公设。第一卷的前二十八个命题均无需平行公设即可证明；直到第29个命题起，欧几里得才援引这一公设。这绝非偶然：欧几里得似乎已意识到第五公设的特殊性与争议性，因此刻意尽量推迟使用它，以此表明不依赖它同样可以建立起多么丰富的几何体系。第一卷中不需要平行公设的这部分内容有时被称为绝对几何学或中性几何学，在十九世纪非欧几何被发现之后，这部分内容获得了全新的意义。

第二卷至第六卷：平面几何

《几何原本》第二卷至第六卷延续了平面几何的发展，将第一卷的结论向日益深入的方向推展。这几卷合在一起，在欧几里得的公理体系框架内，对平面图形之间的几何关系给予了系统而全面的论述。

以现代标准来看，第二卷是一卷篇幅短小、颇为费解的著作，涉及学者们如今所称的"几何代数"。全卷十四个命题涉及矩形及其他直线形图形的面积，它们实际上以几何语言表达了某些代数恒等式——而这些恒等式在今天可以用符号写出。例如，其中一个命题以几何方式证明了我们今天所写的 (a + b)² = a² + 2ab + b²，另一个命题则给出了我们今天所写的 (a − b)² = a² − 2ab + b² 的几何等价形式。欧几里得当然没有代数符号；这些结论都是以直线、矩形和正方形的形式加以表达和证明的。第二卷的目的，一方面是为第十卷处理无理量提供几何工具，另一方面是展示代数运算如何能以纯几何的方式呈现——这正体现了希腊人偏重几何推理而非算术推理的典型倾向。

第三卷探讨圆的几何，圆是希腊数学中最重要的研究对象之一。本卷共三十七个命题，确立了圆的基本性质：包括关于弦与弧的定理、关于圆中角的定理、关于切线及其性质的定理，以及关于相交圆或相切圆之间关系的定理。第三卷最重要的结论之一是：弦在圆心处所张的圆心角，是同一弦在圆周同侧任意一点所张的圆周角的两倍。这一定理及其类似定理，对平面几何与球面天文学的发展均至关重要。

第四卷讨论内接于圆与外切于圆的正多边形。本卷共十六个命题，阐明了如何在圆内内接等边三角形、正方形、正六边形与正十五边形，以及如何将圆外切于上述图形。对许多读者而言，第四卷最精彩之处在于正五边形的作图——这是一个颇具难度的问题，需要运用黄金比例以及第二卷中发展出的作图技法。Euclid对五边形问题的优雅解法综合援引了前几卷的多项结论，再次彰显了《几何原本》逻辑结构所具有的累积性力量。

第五卷在数学上是《几何原本》中最深刻的卷册之一，同时也是最为抽象的卷册之一。本卷呈现了Eudoxus of Cnidus所发展的比例理论——该理论专门用于处理可能不可公度的量之间的比，即那些比值无法表示为整数之比的量。这一情形在正方形的对角线与其边长之间便直接出现：二者之比为2的平方根，而希腊人已证明这一量不是任何两个整数之比。

Eudoxus对比例所下的定义由Euclid在第五卷中加以呈现，其精妙与深刻令人叹为观止。两个比A:B与C:D被称为相等，当且仅当：对任意一对正整数m与n，只要mA大于nB，就有mC大于nD；只要mA等于nB，就有mC等于nD；只要mA小于nB，就有mC小于nD。这一定义通过将比例界定为一种无论直接度量是否可行都能进行的比较，完全绕开了不可公度量所带来的困难。它是古代数学最伟大的智识成就之一，并且比Richard Dedekind在十九世纪对实数所作的严格处理早了两千余年——Dedekind通过有理数中的"分割"来定义实数，其结构与Eudoxus的定义极为相似。

第六卷将第五卷的比例理论应用于平面几何。本卷共三十三个命题，处理相似图形——即形状相同但大小不必相等的图形。Euclid在众多结论中证明了：相似三角形的对应边成比例；直角三角形中从直角顶点向斜边所作的垂线，将该三角形分为两个相互相似、且均与原三角形相似的三角形；以及相似直线形的面积之比等于对应边之比的平方。相似图形理论在纯粹数学及其应用中均极为有用，第六卷通过揭示比例性与相似性如何内嵌于平面结构之中，有效地为《几何原本》对平面几何的处理画上了圆满的句号。

《几何原本》中平面几何的六卷内容共同构成了一套完整且基本自成体系的入门体系，涵盖了古希腊人对这一学科的全部理解。这六卷涉及全等与相似、三角形的性质、圆与正多边形的性质、比例理论，以及面积与长度之间的关系。这些内容经过少量修改后，在两千余年间始终是西方世界中学几何教育的核心，而欧几里得处理这些内容的主要框架至今仍是几何课程的标准。

第七至九卷：数论

在从平面几何过渡到数论之前，有必要先驻足回顾第一至六卷作为一个整体所取得的累积成就。这六卷共同构成了古希腊人所称的平面几何——即二维图形的几何学——的完整演绎体系，涵盖了极为广泛的结论。欧几里得证明了关于各类直线形、圆及其性质、全等与相似条件、长度与面积之间的关系，以及最一般形式的比例理论等各类定理。然而，这数百条结论中的每一条，都是从第一卷开头所陈述的二十三条定义、五条公设和五条公理中逻辑推导而来的。公理化方法的累积力量在六卷、数百条命题中得到充分展现，这一壮观景象令两千五百年来无数读者和学生叹为观止。

同样值得指出的是，第一至六卷的平面几何内容，涵盖了现代学生在中学几何课程中所接触的大部分内容。关于平行线与截线的定理、三角形内角和、平行四边形与矩形的性质、勾股定理及其逆定理、圆与圆周角的性质、正多边形的作图，以及相似图形之间的关系——所有这些内容均见于《几何原本》，而大多数中学几何教材在某种程度上都是欧几里得论述的简化版本。课堂几何在两千五百年间其基本内容几乎没有改变，这本身就是对欧几里得处理这一学科之完备性的最好证明。

从第六卷到第七卷的转变，是《几何原本》中最引人注目的过渡之一。欧几里得告别了对直线与圆的几何研究，进入数论的领域——即对正整数及其性质的研究。这一转变不仅仅是研究对象的变化，更是概念框架的转换。在第一至六卷中，研究对象是几何量——线段、面积、角——这些量可以是无理数。而在第七至九卷中，研究对象是希腊意义上的"数"：正整数，即我们今天所说的正整数。希腊数学在"量"与"数"之间划出了明确的界限，第七至九卷通过以一套专属于数论的新定义开篇，正是对这一区分的体现。

第七卷以二十二条定义开篇，为算术各卷建立了基本词汇。这些定义包括：单位、数、偶数与奇数、质数与合数，以及数为"平面数"或"立体数"的概念（分别指可表示为两个或三个因数之积的数）。质数的定义——"仅能被单位整除的数"——与现代定义实质上相同，并为此后有关质性与因式分解的全部讨论奠定了基础。

第七卷中最重要的算法成果——也是整个数学领域中最重要的成果之一——出现在命题1和命题2中，Euclid在此提出了现今所称的欧几里得算法，用于求两个数的最大公约数（GCD）。该算法通过反复相减来实现，其现代形式则采用带余数的反复相除。给定两个正整数，反复从较大的数中减去较小的数；当两数相等时，该相等的值即为它们的最大公约数。这一优雅的方法不仅正确，而且高效，至今仍是现代计算数论的基础。欧几里得算法是数学中最古老的算法之一，也是应用最为广泛的算法之一。

第七卷继续以命题的形式探讨素数的性质、整除性、最小公倍数以及数的比率结构。命题20证明了两个数的最小公倍数必然存在且可以构造；命题24则确立了：若一个素数整除两数之积，则它必整除其中至少一个数。这两个结果具有根本性的重要意义。后一命题在本质上正是现代数论学家所称的欧几里得引理，它是素因数分解理论的基石。

第八卷讨论等比数列中的数——例如1, 2, 4, 8, ……或1, 3, 9, 27, ……这类数列，其中每一项都是前一项的固定倍数。Euclid证明了此类数列的若干性质，包括各项之间的关系，以及等比数列中的数在何种条件下存在公因数。本卷内容相对技术性较强，阅读频率不及第七卷和第九卷，但它在第七卷的基础数论与第九卷更为著名的结论之间起到了承上启下的作用。

第九卷是《几何原本》中最负盛名的卷册之一，因为它包含了数学史上两个最著名的定理。命题20证明了素数有无穷多个。这一证明是数学推理的杰作，已成为最广泛讲授的数学论证范例之一。Euclid假设素数只有有限个，并将它们一一列出：记为p₁, p₂, ……, pₙ。然后考虑将所有这些素数相乘再加一所得的数：N = p₁ × p₂ × …… × pₙ + 1。这个数N要么本身是素数，此时它是一个不在原列表中的素数；要么是合数，此时它有一个素因数。但这个素因数不可能是p₁, p₂, ……, pₙ中的任何一个，因为N除以其中任何一个所得的余数均为1。无论哪种情况，都存在一个不在原列表中的素数，这与列表已经完备的假设相矛盾。因此，素数不可能只有有限个，素数必有无穷多个。这一论证如此简洁、如此清晰、如此无可辩驳，两千多年来令数学家和学生们叹为观止。它或许是间接证明之力量的最佳典范——即古希腊人所称的归谬法（reductio ad absurdum）。

第九卷命题36给出了偶完全数的公式——完全数是指等于其所有因数之和的数。Euclid证明，若2ⁿ - 1为素数，则2ⁿ⁻¹(2ⁿ - 1)为完全数。形如2ⁿ - 1的素数现称为梅森素数，Euclid将其与完全数相联系的这一结论自此始终处于完全数研究的核心地位。十八世纪，Leonhard Euler证明了其逆命题：每个偶完全数都恰好具有这种形式。至于是否存在奇完全数，至今仍是数学中最古老的未解问题之一。

第十卷：无理量

《几何原本》第十卷是全书中篇幅最长、在许多方面技术要求也最高的一卷。该卷共包含一百一十五个命题，数量超过其他任何一卷，其主题——无理量的分类——堪称古希腊数学最精深的成就之一。历史上，许多《几何原本》的读者都对第十卷望而生畏；即便是经验丰富的数学家，有时也将其形容为命题丛生的丛林，令人难以看清其中贯穿的逻辑脉络。然而，它代表着一项真正的智识成就。

第十卷的核心问题，是不可公度量的存在。希腊人在公元前五世纪某个时期发现，正方形的对角线与其边长不可公度：无论选取多小的单位，都不存在一个单位能够同时整除正方形的边长与对角线。用现代术语来说，对角线与边长之比等于二的平方根，而二的平方根并非有理数。这一发现在古代文献中被归诸毕达哥拉斯学派，或许出自梅塔蓬图姆的 Hippasus，尽管其详情至今不甚明朗。对于一个原本假设所有量都可用公共单位度量的数学传统而言，这一发现令人深感不安，迫使希腊数学家另辟蹊径，发展出全新的概念框架来处理比与比例问题。

Eudoxus 的比例理论在第五卷中已作阐述，是应对这一挑战的第一种方案：即便两个量不可公度，该理论也提供了比较和运算其比值的方法。第十卷则是第二种、更为详尽的应对方案：它试图对几何作图中可能产生的各类不可公度量进行系统分类，根据这些无理量由有理量构建的方式，将其区分为不同类型。

Euclid 在第十卷中的分类，首先区分了与给定有理量可公度的量和不可公度的量，继而依据平方根的代数形式，将不可公度量细分为若干类型。该分类体系共识别出十三种不同类型的无理量，包括我们今天所称的有理数的平方根、此类平方根的和与差，以及更为复杂的组合形式。Euclid 为实现这一分类而构建的技术框架极为繁复，涉及一长串命题，逐一确立每种类型的性质及各类型之间的关系。

现代数学家有时质疑第十卷的繁复程度是否与其成果相称——因为 Euclid 所达到的分类虽然正确且精密，却并未穷尽所有可能的无理数，与完整的实数理论相去甚远。但若以其自身标准来评判——即仅凭几何方法，尝试对不可公度量的领域建立理性秩序——第十卷无疑是一项卓越的成就。它表明，无理性的发现非但不是一场无解的危机，反而可以通过系统的探究与严谨的分类加以回应。

第十一至十三卷：立体几何

《几何原本》最后三卷从平面延伸至三维空间，以第一至六卷研究平面图形时同等的严谨与逻辑缜密，系统阐述立体图形的几何学。《几何原本》的这一终篇，有时被视为全书高潮的漫长铺垫：第十三卷将证明，恰好存在五种正多面体——正四面体、正六面体（立方体）、正八面体、正十二面体与正二十面体——这一结论在古希腊人看来与柏拉图的《蒂迈欧篇》及宇宙的深层结构密切相关。

第十一卷以二十八条定义开篇，将第一卷所建立的几何词汇体系延伸至三维物体。这些定义涵盖立体、空间中的平面、立体角、正方体、正四面体、正八面体、正十二面体和正二十面体。第十一卷的三十九个命题奠定了立体几何的基础性结论：若一条直线垂直于平面内过其垂足的每一条直线，则该直线垂直于该平面；两个不平行的平面必然相交于一条直线；以及平行平面与立体角的性质。这些命题是第一卷在二维空间中所建立的关于直线与平面的基本结论在三维空间中的类比。

第十二卷专门讨论曲线图形与立体图形的面积和体积的计算，涉及圆、圆锥、圆柱、棱锥和球体。为进行这些计算，欧几里得大量运用了一种称为"穷竭法"的技术。这一方法由克尼多斯的欧多克索斯创立，是前微积分时代数学中最重要的贡献之一。穷竭法的原理是：用一系列较简单的图形——如圆内接多边形或圆锥内接棱锥——来逼近曲线图形或不规则图形，继而证明逼近图形与实际图形之间的差可以小于任意给定的量。借助这一方法，欧几里得证明了若干重要结论，其中包括：各圆的面积之比等于其直径的平方之比；任意圆锥的体积等于与其等底等高的圆柱体积的三分之一；各球的体积之比等于其直径的立方之比。

回顾历史，穷竭法堪称对积分学的一次真正意义上的卓越预见。它并未以现代意义上的极限或无穷小量为工具，却通过严谨的逻辑结构达到了相同的结论，完全回避了对无穷的直接诉诸。这一方法以归谬法确立其结论：若圆的面积不与其直径的平方成正比，则某个内接多边形将同时大于且小于某一特定量，而这是不可能的。这种间接论证方式虽在逻辑上无懈可击，却并非理解结论为何成立的最直观途径。这也是古代数学的特点之一，令欧几里得最伟大的继承者阿基米德感到局限。阿基米德发展出一种他称之为"方法"的机械推理方式，借助杠杆原理和无穷小推理来发现定理，再将严格的穷竭式证明整理呈现给公众。

第十三卷是《几何原本》的终章，其十八个命题层层递进，最终指向五种正多面体的作法与分类。正多面体是一种立体图形，其所有面均为全等的正多边形，且每个顶点周围的面的排列方式完全相同。这五种正多面体分别是：正四面体（四个等边三角形面）、正方体即正六面体（六个正方形面）、正八面体（八个等边三角形面）、正十二面体（十二个正五边形面）以及正二十面体（二十个等边三角形面）。欧几里得分别给出了每种正多面体的作法及其内接于球的方法，而本卷乃至整部《几何原本》的最后一个命题，则证明了不存在其他类型的正多面体。恰好存在五种正多面体这一结论的证明，依赖于以下事实：构成立体角至少需要三个面，且每个顶点处各面角之和必须小于360°；逐一考察各种正多边形（正三角形、正方形、正五边形、正六边形等），可以发现满足上述约束条件的组合恰好只有五种。

五种正多面体与柏拉图的关联，源于他在对话录《蒂迈欧篇》中以这五种立体分别代表四种古典元素及整个宇宙，这也正是它们被称为"柏拉图立体"的原因。四面体代表火，八面体代表气，立方体代表土，二十面体代表水，而拥有十二个五边形面的十二面体则与宇宙或天穹相对应。欧几里得的《几何原本》以这些具有宇宙意义的立体的作图与分类作为全书的终结，这几乎可以肯定是有意为之——这是一种关于数学推理在理解宇宙中所处地位的宣示。

公理化方法与数学证明

欧几里得对思想史最为深远的贡献，或许并不在于某一具体定理，而在于方法本身。公理化方法——即从一组明确陈述的假设出发，仅凭逻辑演绎推导出全部后续结论的做法——并非源于欧几里得，但欧几里得将其发展到了炉火纯青的程度，使之成为此后两千年间科学与哲学推理的典范。要理解这一方法究竟是什么，以及它为何是如此具有革命性的智识成就，就必须了解与之相对的其他路径。

在欧几里得之前，实用数学的运作方式与《几何原本》中的方式大相径庭。埃及和巴比伦的数学是高度发达的传统体系，拥有解决土地丈量、建筑施工和商业贸易等问题的成熟技法，但其运作方式主要依赖举例和程序。抄写者会这样记录："若有一块边长为10单位的正方形地块，其面积为100平方单位。"如果另一道题需要求三角形的面积，则另给一套程序。这些技法行之有效，往往也确实奏效，但从未有人尝试从更根本的原理出发，解释这些技法为何有效。这种知识是程序性的、经验性的，而非理论性的、论证性的。

希腊哲学传统，尤其是经柏拉图和亚里士多德塑造的那一脉，坚持一种截然不同的理想。对柏拉图而言，真正的知识不仅仅是可靠的信念——它是一种能够把握某事为何必然如此的理解，而非仅仅知道其如此。亚里士多德在《后分析篇》中将这一直觉加以系统化，形成了他的论证理论：真正的科学知识由从第一原理推导出事实的证明所构成，而第一原理本身必须是定义（解释术语的含义）、公设（针对特定研究对象、无需证明而被接受的命题）或公理（一般性的逻辑真理）三者之一。《几何原本》是这一亚里士多德理想有史以来最为完美的实现。欧几里得很可能并未读过亚里士多德，也未从亚里士多德的理论规定中推演出自己的做法——更确切地说，亚里士多德与欧几里得都是在吸收并阐明一种由来已久的实践，这种实践在希腊数学共同体中的发展，至少可以追溯至公元前六世纪泰勒斯的时代。

《几何原本》的公理化结构承载着几重深刻的旨趣。其一，它清晰地揭示了哪些是假设、哪些是被证明的结论。通过在开篇明确陈述各条公设，欧几里得向读者展示了其体系的边界：当且仅当公设为真，其后的一切推论方为真。这种透明性是数学论证最为重要的特质之一，也使数学有别于其他学科——在那些学科中，根本性的假设往往隐而不显，从未得到审视。

其次，公理化方法提供了一种经验科学无法企及的确定性标准。物理实验始终可以受到质疑——也许条件没有得到完全控制，也许测量存在细微偏差，也许换一个实验会得出不同的结果。但从明确无歧义的公理出发，经由有效的逻辑推导所得出的数学证明，却无法以同样的方式受到质疑。逻辑要么有效，要么无效；公理要么被接受，要么不被接受。这正是数学知识具有其独特的必然性与普遍性的原因所在，而《几何原本》是第一部在大规模层面上实现这一特质的著作。

第三，证明的方法迫使思维走向清晰。要证明一个结论，而非仅仅断言它或以举例加以说明，就需要对其有足够深刻的理解，从而看清它为何必然从更基本的原理中推导而出。证明的规训不仅是一种传达结论的方式，更是一种理解结论的方式。《几何原本》的这种教育力量，几乎得到了每一位研读过它的数学家和哲学家的认可。

欧几里得式证明的格式有其独特的风貌。它通常以一个待证命题的陈述开篇，随后是作图部分——根据论证需要补充绘制的直线或圆。接下来是正式的证明，由一系列逐步推进的陈述构成，每一步均援引某条定义、公设、公理或此前已证命题作为依据。证明以声明待证结论已经得证作为结尾，按照传统惯例，以QED（quod erat demonstrandum，即"这就是所要证明的"）收束全文。

这一格式产生了极为深远的影响。牛顿撰写《自然哲学的数学原理》，Spinoza撰写《伦理学》，Bertrand Russell与Alfred North Whitehead撰写《数学原理》，以及今天各个领域的数学家撰写研究论文，他们都在以证明为基础的论证传统中工作，而这一传统最清晰的源头正可追溯至欧几里得。具体的格式已有演变，符号体系已经更迭，现代数学所运用的逻辑工具也远比欧几里得所拥有的更为灵活而强大，但从明确陈述的假设出发、经由有效逻辑步骤来证明结论这一根本承诺，与欧几里得在《几何原本》中所体现的承诺一脉相承。

然而值得指出的是，从现代视角来看，《几何原本》并非没有逻辑上的漏洞。十九世纪的数学家，尤其是David Hilbert在其《几何基础》（1899年）中，发现了欧几里得的论证在若干处隐含地预设了某些性质，而这些性质并不包含在他所明确陈述的公设之中。例如，欧几里得的第一个命题——等边三角形的作图——未加证明地假设两个圆必然相交，这在几何直观上显而易见，但在逻辑上并不能由那五条公设加以保证。Hilbert的工作为欧几里得几何提供了一套完整而严格的公理化体系，真正做到了从所陈述的公理出发证明一切，但这需要比欧几里得五条公设多得多的公理。这些漏洞的存在并不能削弱欧几里得的成就——两千年间无人发现它们，这本身便印证了《几何原本》构建之精审——但它确实提醒我们，严格性的标准如同一切标准一样，都是历史条件的产物。

其他著作：《光学》、《数据》与《天象论》

《几何原本》尽管地位显赫，却仅代表欧几里得学术成果的一部分。古代流传下来的还有数部归于欧几里得名下的著作，它们展现出一个视野广博、好奇心旺盛的数学头脑。尽管这些著作在规模和历史影响上均无法与《几何原本》相提并论，但各自都有其重要价值，并进一步揭示了欧几里得的数学兴趣与研究方法。

《已知数据》是与《几何原本》在风格和内容上最为接近的著作。全书由九十四个命题组成，探讨"已知"量的概念——即那些值已经确定、但尚未明确计算出来的量。《已知数据》的核心思想在于：若一个几何构型的某些方面已知（即其值固定），则该构型的哪些其他方面由此得以确定？例如，若三角形两边之比已知，且一个角已知，则关于该三角形还能推断出什么？这一方法与《几何原本》相辅相成，而非对其的补充：《几何原本》证明普遍成立的定理，而《已知数据》则分析在给定某些信息时，由此能推出什么结论。

《已知数据》在古代似乎被用作更高级数学研究的预备——具体而言，是为希腊数学中一种称为"分析法"的解题方式服务。这种方法先假设问题已解，逆向追溯其蕴含，直至推回某个已知结论，再反转论证过程，从而构造出实际解答。《已知数据》的九十四个命题提供了一份目录，列明在各种"已知"条件下所能推出的结论，这份目录大概被用作分析几何问题的工具箱。全书采用与《几何原本》相同的简朴演绎风格，所要求的数学素养亦与之相当。

《光学》则是一部性质迥异的著作。它是希腊第一部系统探讨视觉与透视几何学的论著，将欧几里得的几何方法应用于研究物体在眼中的呈现方式。《光学》的基本假设——视觉感知是由从眼睛出发射向物体的光线产生的，而非如现代光学所认为的由物体发出光线射向眼睛——并非现代科学所接受的物理学理论，但在古希腊自然哲学的框架内，这一假设是站得住脚且富有成效的。欧几里得以这一视觉光线模型为基础，推导出一系列定理，探讨物体的视在大小如何取决于在眼睛处所张的角度、距离越远的物体为何显得越小，以及圆的曲率如何影响其被斜视时的外观。

《光学》以七条关于视觉光线性质的公设开篇，继而证明六十一个命题。这些命题涉及古代世界中具有重要实践意义和理论价值的一系列问题，包括：为何较远的物体显得较小，为何从斜角看圆时它呈现为椭圆，以及为何偏离视线轴线最多的光线所能提供的细节最为丰富。从某种意义上说，《光学》是对我们今天所谓"透视"的几何学研究，比后来文艺复兴时期的绘画透视理论早了许多个世纪。尽管其物理学假设与现代光学有所不同，但其几何推理仍然正确：物体的视在大小确实取决于它在观察者眼中所张的角度，而欧几里得对这一关系的处理在数学上是严谨的。

《现象论》是一部较短的论著，共十八个命题，探讨球面几何在数学天文学中的应用。它涉及恒星的出没、黄道圈从地球上观测时的表现，以及天球的几何结构。《现象论》是现存最古老的天文现象数学论著之一，与Autolycus of Pitane和Aristarchus of Samos的著作共同构成早期数学天文学的一个小型文献集。其研究方法纯属几何性质：欧几里得不作任何观测，也不得出任何宇宙学结论，而只是推导出恒星被携带在一个旋转球体上这一假设所引申出的几何结果。《现象论》表明，欧几里得的兴趣延伸至对天象的数学描述，这是其几何方法的自然延伸。

第四部现存著作《图形的分割》仅以阿拉伯语译本及由阿拉伯语转译的中世纪拉丁语版本流传至今。该书探讨如何用直线将直线形图形（三角形、平行四边形及其他多边形）按给定比例分成若干部分。其方法与平面几何及实用土地测量中的问题密切相关，与Heron of Alexandria的一部类似论著亦有共通之处。《图形的分割》究竟是欧几里得的完整著作，还是某部更大论著的片段，目前尚无定论。

除上述现存著作外，古代文献还提及数部归于欧几里得名下而已散佚的论著。《推论集》曾由Pappus of Alexandria详加描述，似乎是一部大型著作，探讨某个问题有解所须满足的条件——这一主题介于定理与问题之间。Pappus称《推论集》共三卷，收录数百个命题，但无一留存至今。《圆锥曲线论》是一部关于圆锥曲线的著作，显然因Apollonius of Perga更为全面的论著问世而被取代，故未能保存下来。《曲面轨迹》涉及高次曲线与曲面，同样已失传。《谬误之书》似乎是一部教学用著作，旨在训练学生辨别几何论证中的谬误，在教学理念上颇具深度，如今仅存Proclus留下的一段简短描述。

欧几里得的兴趣之广，由其现存著作及已佚著作的书目可见一斑，令人叹服。纯粹几何、数论、光学、天文学、无理数的分类、问题的分析、谬误的辨识——如此宽广的数学涉猎，使欧几里得跻身古代最博学多才的数学家之列。

欧几里得的数学哲学

要理解欧几里得作为数学家的面貌，就必须尝试理解他的数学哲学——他对数学是什么、数学对象是什么，以及数学知识应如何获取与论证这些问题所持的信念，无论是隐性的还是显性的。这些问题并不容易回答，部分原因在于欧几里得在其现存著作中几乎从未明确谈及这些问题。他是数学家而非数学哲学家，其著作的写作目的在于证明定理，而非分析数学知识的基础。尽管如此，他在《几何原本》中所做的选择——假设什么、证明什么、如何组织论证——折射出一种可以在一定程度上加以重构的哲学立场。

这些承诺中最根本的，是将证明视为数学知识的唯一方式。Euclid从不借助直觉或似真性来确立一个结论；凡非定义、公设或公理的命题，皆须由逻辑论证从已有结论推导而来。这种将证明奉为数学知识标准的承诺，深刻体现了希腊哲学文化的核心传统——在那种传统中，意见（doxa）与知识（episteme）之间的区分至关重要。在柏拉图看来，单纯的意见是一种依赖表象、随境况而变的心理状态；而知识则是确定的、必然的，根植于对事物所以然的理解之中。在Euclid手中，数学证明正是实现严格哲学意义上的数学知识的工具。

学界普遍认为，Euclid是一位柏拉图主义者，至少在其数学实践层面如此，即便未必体现于他明确表达的哲学立场。柏拉图主义的数学观认为，数学对象是抽象的、永恒的实体，独立于任何物质形态而存在。Euclid所证明定理涉及的三角形与圆，并非人们在纸草纸上或沙地上画出的那些不完美图形；它们是理想的三角形——完美的等边形、完美的直角形——物质图形不过是对它们的近似。当Euclid说"设ABC为一个三角形"时，他并非在描述一个实物图形，而是在援引一个抽象的数学对象。他就此三角形所证明的定理是必然的、永恒的真理，而非仅仅偶然地适用于某个具体图形。

这种柏拉图式的数学对象观，对于理解Euclid的作图操作引发了颇为有趣的哲学问题。当Euclid在第一公设中说，过任意两点可以作一条直线，他究竟是在对物质世界作出假设——即人确实能画出这样一条线——还是在对几何空间的逻辑结构作出假设——即这样的线必然存在？现代数学家倾向于将Euclid的公设解读为存在性断言，而非对物质操作的描述，且有充分理由认为Euclid本人亦作如是理解。他的作图并非物质制图的操作指南，而是在公设的前提下证明某些几何对象必然存在的论证。

Euclid数学哲学的另一个维度，体现在他对无穷的处理方式上。希腊数学总体上对实无穷持极为审慎的态度——所谓实无穷，即一个已完成的无穷集合或实际无穷大的量这一概念。Euclid从不断言一条直线是无限长的，他只是说一条有限的直线总可以延伸。他从不说一条线上有无穷多个点，他只是说在任意两点之间总可以找到另一个点。这种"潜无穷"——即某一过程总可以继续，但永远不会达到一个已完成的无穷——是希腊数学实践的典型特征。这也正是Euclid无需明确援引无穷集合便能证明素数有无穷多个的原因所在：他的证明表明，任何有限的素数列表都不可能是完备的——这与断言一个实际无穷的素数集合存在，虽然微妙，却有着本质的差别。

《几何原本》的公理化结构也体现了一种关于数学与其基础之间关系的特定观点。欧几里得的五条公设并非作为无需论证、不言而喻的真理呈现；它们是明确的假设，其目的在于使后续一切推导成为可能。这是一种具有深刻哲学意涵的立场：欧几里得并非声称数学真理源自普遍显而易见的第一原理，而是承认数学的基础涉及特定的、具有潜在争议性的假设。长期以来，人们试图从其余四条公设出发证明平行公设，而最终发现这是不可能的——这一历史恰恰印证了欧几里得将其作为独立假设加以处理的直觉之正确。欧几里得愿意明确陈述自己的假设，而他对平行公设明显流露出的不安——从他迟迟不使用这一公设便可看出——表明他具备一种令人钦佩的、严谨而诚实的数学认识论。

对希腊数学的影响

《几何原本》并非凭空诞生，其影响也并非在真空中运作。欧几里得是一个可追溯至少两个世纪的希腊数学研究传统的集大成者，而他所助力确立的这一传统在其身后又延续了数百年，涌现出众多才华横溢的数学家，在欧几里得奠定的基础上继续建树。

若要全面理解欧几里得对希腊数学的影响，首先必须了解他所继承的数学传统。自公元前六世纪米利都的 Thales 起，希腊思想家便开始发展这样一种理念：几何真理不仅可以通过测量或观察来确立，更可以通过逻辑论证加以证明。古代传统将最早的几何证明归功于 Thales，其中包括半圆上的圆周角是直角这一定理，以及三角形被其中线平分这一定理。公元前六至五世纪，Pythagoras 及其在意大利南部的毕达哥拉斯学派将数学转变为一种哲学追求，相信宇宙在本质上具有数学结构，并致力于研究数、比例与几何形式。正是在这一传统中，数学证明的概念——即数学命题必须得到严格论证而非仅凭举例说明的理念——第一次扎根，并逐渐发展成为一种系统性的实践。

公元前五世纪的智者派及苏格拉底哲学家进一步提升了逻辑论证的标准，要求命题必须通过从公认前提出发的有效推理加以论证。柏拉图的雅典学园在公元前四世纪成为数学活动的中心，而他深切地致力于将数学视为严格知识的典范，这绝非偶然。柏拉图在《理想国》中明确要求，有志成为哲学王的人须先用十年时间研习数学，方可转向哲学；学园门楣上镌刻的那句"不懂几何者不得入内"，则生动体现了这一机构的精神——它将数学训练视为一切严肃智识工作的根基。正是在这一柏拉图主义的环境中，欧几里得的直接前辈们完成了各自最重要的工作。

与理解《几何原本》最直接相关的前辈是公元前四世纪的尼多斯的Eudoxus。他对《几何原本》中两个最重要的部分作出了根本性的贡献：第五卷的比例理论，以及第十二卷所运用的穷竭法。Eudoxus是柏拉图的学生，也是古代世界最富创造力的数学家之一。他的比例理论以严密的逻辑处理了不可公度量的问题，解决了自无理性被发现以来长期困扰希腊数学的难题。欧几里得选择以Eudoxus的理论为基础构建《几何原本》，使这部著作获得了否则难以企及的坚实根基。

雅典的Theaetetus是柏拉图的另一位学生，约于公元前369年去世。他在无理数理论方面的贡献体现于第十卷，在柏拉图多面体研究方面的贡献则构成了第十三卷的基础。柏拉图的对话录《泰阿泰德篇》探讨知识的本质，将这位数学家作为一个才华横溢的青年永久铭记。这篇对话的背景恰好设定在Theaetetus在战场上身负致命重伤的那一天，为他的数学遗产增添了一抹悲剧色彩。

在重要性上最直接继承欧几里得、并最直接以欧几里得理论为基础进行建构的数学家，是叙拉古的Archimedes，他生活于约公元前287年至公元前212年。Archimedes被普遍视为古代最伟大的数学家之一，他研读并运用《几何原本》，对其内容了如指掌，堪称大师。他关于圆的度量、螺线、球与柱体以及其他高深课题的著作，皆是对《几何原本》中方法与思想的发展，其精深程度远超欧几里得所达到的水平。Archimedes将穷竭法延伸至远超欧几里得之处，并发展出他所称的"力学方法"——一种借助杠杆原理和无穷小量来发现结论（尽管不用于严格证明）的推理方式——从后世的眼光来看，这一方法比积分学的诞生早了近两千年。

公元前三至二世纪的佩尔格的Apollonius曾在亚历山大城工作，他撰写了一部关于圆锥曲线的伟大论著，取代了欧几里得在这一领域已失传的同类著作。Apollonius的《圆锥曲线论》共八卷，现存七卷，对椭圆、抛物线和双曲线的性质作了系统全面的论述，其写作风格与《几何原本》相同，均采用演绎推理，并大量引用欧几里得的结论。我们今天所用的"椭圆"、"抛物线"和"双曲线"这几个术语，均出自Apollonius的创造。

可能活跃于公元一世纪的亚历山大城的Heron，将欧几里得的几何方法应用于测量、机械和工程等领域的各类实际问题。他的《度量学》给出了各种图形的面积与体积公式，其中包括著名的"海伦公式"——用三角形三边之长来计算其面积。公元320年前后活跃的亚历山大城的Pappus，撰写了《数学汇编》，对大量早期希腊数学成果加以总结和拓展，多次引用欧几里得的成果，并常常提供欧几里得定理的替代证明或延伸推论。

简而言之，《几何原本》对希腊数学的影响是全面而深远的。从欧几里得到帕普斯，这五个世纪间，《几何原本》始终是希腊数学教育的共同基础，是每一位有志于学的学生在攀登更高深学问之前必须掌握的文本。欧几里得之后，每一位重要的希腊数学家都在《几何原本》所确立的概念、方法与成果的框架内开展研究，几乎没有人觉得有必要回头重做基础性的工作。《几何原本》是整座大厦的地基，而它建造得如此坚实，足以承托希腊数学传统此后在其上所构建的一切。

《几何原本》的历史传承

欧几里得身后，《几何原本》的历史是一段绵延不断的传承、演变与影响的故事，横跨漫长的岁月、广阔的地域与多元的文明。纵观世界书籍史，鲜有著作能像它一样，在如此漫长的时间里被持续研读，始终保持其现实意义；而《几何原本》得以留存并广泛流传的历程，几乎与其所承载的数学成就同样令人叹为观止。

在追溯文本的实物传承之前，有必要先审视《几何原本》在古希腊哲学传统中所受到的接纳，因为《几何原本》从一开始便不仅仅是一部数学著作，同时也是一部文化与哲学意义上的典籍。在主导罗马帝国晚期思想生活的新柏拉图主义哲学家看来，欧几里得的《几何原本》是纯粹理性把握永恒真理之能力的有力明证。普罗克洛斯为第一卷所作的注释，至今仍是我们了解欧几里得生平及其数学方法最为丰富的古代史料；他将《几何原本》视为一部同样具有神学意义的著作来解读。在他看来，数学对象介于最高的神圣实在与变动不居的物质世界之间；通过研习数学，灵魂得以从对物质的沉溺中超拔而出，迈向纯粹的理智领域。一位几何学家证明三角形内角之和等于两个直角，并非仅仅是在记录一条经验性的规律，而是在把握一条参与神圣秩序的永恒必然真理。

新柏拉图主义者对欧几里得的这种哲学诠释，有助于确保《几何原本》不被视为众多技术性著作中的普通一员，而是被奉为知识传统中的神圣文本，值得最为审慎的保存与最为虔敬的研读。普罗克洛斯的注释对欧几里得各命题所倾注的心力，与其他学者研读柏拉图对话录或荷马史诗时的态度如出一辙，这既折射出《几何原本》崇高的文化地位，也进一步强化了这一地位。《几何原本》不仅仅是有用的，它是美的，是重要的，是具有深刻哲学意蕴的。正是这种对《几何原本》文化重要性的认知，在此后动荡的数百年间对其得以留存起到了至关重要的作用。

任何古代文本所面临的首要威胁，是物质层面的损毁与后继各代未能及时抄录的危机。莎草纸会腐烂，大火会摧毁图书馆，战争会中断学术传统，而未被重新抄录的文本终将湮没无存。《几何原本》得以留存，一方面是因为有幸在每一代数学家眼中都被视为不可或缺之作，另一方面则是因为亚历山大城乃至后来拜占庭的学者们以非凡的勤勉，保存并传承了这部希腊文原典。

古希腊《几何原本》传统中最重要的编辑干预，发生于公元四世纪晚期，由亚历山大城的Theon完成。Theon是数学家兼哲学家Hypatia的父亲，他编订了一个《几何原本》的修订版本，此后所有希腊语抄本均以此为标准文本。Theon的版本并非彻底的重写；他在很大程度上保留了Euclid的原文，仅作了少量文字疏通，在某些证明中补充了中间步骤，并在个别地方增加了替代证明和推论。由此形成的文本比原版略易理解，也正因如此，深受教师和抄写者的青睐。直至十九世纪，所有已知的《几何原本》希腊语抄本，均源自Theon的校订本，而非Euclid的原本。

十九世纪初，一部早于Theon、保存了更早期文本面貌的《几何原本》希腊语抄本被发现——此抄本现藏于梵蒂冈图书馆——这是古典学术史上的一件大事。学者François Peyrard于1808年鉴定该抄本代表着前Theon传统，通过将梵蒂冈抄本与Theon版本加以比对，学界得以首次重构出更接近Euclid原本的文本。J. L. Heiberg编订的希腊文本于1883年至1885年间出版，综合利用了前Theon抄本与更广泛的抄本传统，至今仍是权威的批评版本。

拜占庭希腊传统在西欧几乎将《几何原本》遗忘的漫长岁月中，始终将其完整保存下来。拜占庭学者在整个中世纪持续抄写、研读并注释《几何原本》，确保希腊文本始终为能够阅读希腊语的学者所用，并为公元八、九世纪大规模翻译运动中《几何原本》向伊斯兰世界的传播奠定了基础。

阿拉伯语译本与中世纪世界

《几何原本》在中世纪伊斯兰世界的传播历程，堪称科学与学术史上最为璀璨的篇章之一。自公元八世纪起，位于巴格达的阿拔斯王朝哈里发国系统性地将希腊科学、数学、医学与哲学的重要著作译为阿拉伯语，这一事业史称"翻译运动"或"智慧宫"时期。推动这一运动的，既有迅速扩张的帝国在土地测量、天文、医学、工程等方面对系统性知识的现实需求——而这正是希腊科学所能提供的——也有各位哈里发及其学术顾问真诚的求知精神。

《几何原本》是最早被译介、也是最为重要的典籍之一。据十世纪学者al-Nadim所编阿拉伯文献综合书目记载，《几何原本》的第一个阿拉伯语译本由al-Hajjaj ibn Yusuf ibn Matar完成，时值阿拔斯王朝哈里发Harun al-Rashid在位期间，其统治年代为公元786年至809年。此后，al-Hajjaj在Harun继任者、哈里发al-Ma'mun的资助下对译本进行了修订，al-Ma'mun在位年代为公元813年至833年，是翻译运动尤为热忱的赞助者。这两个译本——有时被称为al-Hajjaj的两个"版本"——奠定了阿拉伯欧几里得几何数学传统的基础。

第二项重要的翻译工作由伊沙克·伊本·侯奈因承担，他是著名翻译家侯奈因·伊本·伊沙克之子，后者约于公元910年辞世。伊沙克的译本随后经数学家兼天文学家萨比特·伊本·库拉修订，此人生活于约公元836年至901年间，是阿拔斯王朝时期最杰出的学者之一。萨比特对伊沙克·伊本·侯奈因译本的修订版成为《几何原本》最具权威性的阿拉伯语版本，此后大多数阿拉伯数学家，包括阿尔-金迪、阿尔-法拉比、伊本·海赛姆等众多学者，均以这一版本为据，在其基础上加以发展。

阿拉伯传统对欧几里得的贡献绝不仅限于被动地保存原著。阿拉伯数学家积极钻研《几何原本》，为其撰写注疏，尝试从其他公设出发证明平行公设，并以其研究成果为基础，在代数、数论、光学和天文学等领域展开新的探索。伊本·海赛姆生活于约公元965年至1040年间，在拉丁西方世界被称为阿尔哈曾，他在光学及几何学基础方面著有重要著作，与欧几里得的思想保持着明确的对话关系。他试图从其余四个公设推导平行公设的尝试，尽管就此类尝试而言注定无法成功，却提出了若干重要的新思想，后来对欧洲在几何学基础方面的研究产生了深远影响。

纳西尔丁·图西是波斯伟大的博学者，生活于公元1201年至1274年间，他在仔细比对早期各译本的基础上，编纂了一部新的《几何原本》阿拉伯语版本，该版本在伊斯兰世界广泛流传。图西也是阿拉伯数学家中最接近发现非欧几里得几何的人之一，他提出了一种与欧几里得平行公设存在微妙差异的表述形式，但同样无法从其余四条公理中加以证明。

阿拉伯数学界对欧几里得的深入探究，还得益于伊斯兰世界更为广阔的思想文化土壤——这一土壤汇聚了波斯、希腊、印度和叙利亚各传统的学者，形成了富有创造力的综合。数学家阿尔-花拉子密于九世纪初在巴格达的智慧宫从事研究，"算法"（algorithm）一词即源于其姓名，他对欧几里得数学了然于胸，并在一定程度上以《几何原本》的几何学传统为参照，奠定了代数学的基础。"代数"（algebra）一词本身源于阿尔-花拉子密著作《al-Kitab al-mukhtasar fi hisab al-jabr wal-muqabala》的书名，即《关于补全与对消计算的简明之书》，书中呈现的诸多技法往往可被理解为对《几何原本》几何方法——尤其是第二卷中几何代数——的推广与抽象化。

伊本·西那（阿维森纳）是波斯伟大的哲学家兼医学家，生活于公元980年至1037年间，他将欧几里得几何学纳入其百科全书式的科学论著之中，使其得以普及于广大的波斯语读者群体。阿尔-比鲁尼是十一世纪波斯博学者，著述涉及数学、天文、历史及诸多其他领域，他广泛引用欧几里得的成果，并就与《几何原本》相关的几何问题提出了自己的研究成果。这些学者以及许多其他学者的积累性贡献，共同将《几何原本》从一部希腊文典籍转化为伊斯兰思想文化中的鲜活组成部分，在广袤的地域范围内跨越数个世纪，得到研习、传授与传承发展。

阿拉伯人对欧几里得著作的保存与发展，其重要性怎么强调都不为过。西欧学者在十一、十二世纪开始寻访希腊科学文献时——自西罗马帝国崩溃以来，他们几乎完全与这些文献隔绝——主要正是通过阿拉伯传统才得以找到这些文本。阿拉伯人不仅仅是希腊学问的保管者，他们对其进行了研究、扩展与丰富，而重新传回欧洲的，正是这一经过充实发展的欧几里得。

文艺复兴时期欧洲的《几何原本》

《几何原本》在近乎销声匿迹数百年后重返西欧，是古代学问复兴史上最为精彩的篇章之一。在中世纪早期——大约从公元五世纪至十世纪——《几何原本》在西欧几乎鲜为人知。这部著作的部分内容虽可通过拉丁百科全书式著作中的间接引用和释义略窥一斑，但完整的拉丁文本却无从获得。拉丁西方的学者知道欧几里得曾著有几何学著作，也了解其中一些结论，却没有那部以严格证明为基础的原典文本——而正是这部文本，才是他伟大成就的真正源泉。

转机出现在十二世纪。欧洲学者纷纷前往西班牙、西西里及其他拉丁基督教世界与阿拉伯伊斯兰世界的接触地带，学习阿拉伯语，翻译那些在伊斯兰传统中得以保存并经充实发展的重要科学与哲学文献。《几何原本》的第一个完整拉丁文译本约于公元1120年由英国学者巴斯的Adelard完成。此人曾广泛游历阿拉伯世界，并专门为获取希腊科学文献而学习了阿拉伯语。Adelard的译本依据的是阿拉伯文版本，该版本可能源自al-Hajjaj传统，由此将欧几里得以西欧学者可读的形式引介给了他们。

继Adelard译本之后，又出现了其他拉丁文版本，其中最重要的是意大利数学家兼翻译家克雷莫纳的Gerard于十二世纪完成的译本，以及方济各会修士诺瓦拉的Campanus于十三世纪完成的修订与重编版本。Campanus的版本约于1255年完成，附有大量注释，此后两个世纪间一直是《几何原本》在西欧大学中通行的拉丁文标准文本。《几何原本》首次付梓印刷时所采用的，正是Campanus的版本——该版本共含十五卷，而非原本的十三卷，另有两卷真实性存疑的内容被附录其中。

1482年《几何原本》的印刷出版，是欧几里得史乃至书籍史上的一个重要转折点。1482年5月25日，威尼斯印刷商Erhard Ratdolt出版了《几何原本》的首个印刷版本——即初版本——这同时也是欧洲最早印有大量数学图形与图表的书籍之一。Ratdolt在前言信函中指出，数学文本的印刷出版之所以迟于其他著作，正是由于几何图表印刷难度较大，而他自豪地宣称已攻克这一难题。1482年威尼斯版收录了逾四百幅几何图表，采用Ratdolt专门为此研发的木刻图版技术印制而成。这部书既是技术上的杰作，也是学术史上的重要里程碑。

16世纪，欧洲对欧几里得的兴趣呈现出爆发式增长。新版本相继在意大利、法国、德国和英国出版。1482年，第一部希腊文版本问世，使得懂希腊文的学者得以阅读欧几里得的原典，而无需借助拉丁文译本。耶稣会数学家Christopher Clavius于1574年出版了一部极具影响力的《几何原本》拉丁文版，此后逾一个世纪间始终是标准教学用书。Federico Commandino于1572年出版的意大利文译本首次使《几何原本》以白话文形式呈现，将其读者群扩展至通晓拉丁文的学术阶层之外。Henry Billingsley于1570年出版了第一部英文译本，John Dee为之作序，雄辩地阐述了数学教育的重要性。

16世纪还出现了一个重要的发展，即人们对《几何原本》的理解有所深化，并将其作为更广泛科学写作的范本加以运用。Francis Bacon在其1620年的《新工具》中提出了一套基于实验归纳的自然哲学新纲领，这在一定程度上是对他所认为的欧几里得传统过度演绎主义的反动。然而，Bacon的批判恰恰以一种悖论式的方式揭示了欧几里得模式在欧洲知识阶层思想中根植之深：若不正面回应欧几里得的标准，便无从为一种全新的知识论路径进行辩护。René Descartes于1637年出版的《方法论》附有三篇科学论文作为附录，他发展出解析几何，旨在将欧几里得几何证明的确定性引入代数运算的领域。Descartes的坐标几何——将几何点与数对相对应、将几何曲线与代数方程相对应——其精神本质上仍是欧几里得式的：它力图将各类数学问题化归为一套系统性方法，从而得出确定的、可论证的结论。

整个17至18世纪，《几何原本》始终是欧洲各大学及更广泛英语世界几何学教学的标准教材。牛津大学和剑桥大学将熟练掌握欧几里得列为数学学位的必要条件，学生须花费数年时间逐一研习其命题。在美国建国初期，《几何原本》在新创立的学院和大学中得到讲授，由英国学术传统一脉相承。欧几里得的命题在受过教育的读者中已是耳熟能详，作家和演说家援引或暗用时，皆可确信听众心领神会。

这部著作在漫长岁月中所享有的崇高声望，其影响早已远超数学本身。公理化证明的欧几里得模式成为一切领域严谨论证的理想范式。政治哲学家援用几何学家的逻辑方法来论证天赋权利的存在。神学家尝试以欧几里得式的论证来证明上帝的存在。美国《独立宣言》开篇即宣称某些真理是"不言而喻"的——这一措辞与公理语言遥相呼应——继而从这些真理中推演出革命的权利，明确采用了欧几里得式论证的结构。简言之，欧几里得深厚的文化权威早已超越数学范畴，在西方文明整个智识生活中留下了深刻的印记。

非欧几何与欧几里得的历史遗产

在欧几里得遗产漫长的数学史中，最具戏剧性的篇章始于一个看似技术性的狭窄问题：《几何原本》的第五公设能否由其余四条公设推导而来？这一问题自古代起便被反复追问，后来成为近代早期最具代表性的数学难题之一。而它的最终解答——即认识到第五公设无法被证明，且存在与之相悖的自洽几何体系——不仅彻底改变了数学本身，更从哲学层面重塑了人们对数学知识与物理世界之间关系的理解。

欧几里得所陈述的第五公设，等价于这样一个命题：过直线外一点，有且仅有一条直线与已知直线平行。这一表述通常被称为"普莱费尔公理"，得名于苏格兰数学家John Playfair——他于1795年给出了这一简洁的表达形式。欧几里得原本的表述涉及一条截线与两条直线所成的角：若截线使两直线同侧的内角之和小于两个直角，则这两条直线延长后将在该侧相交。这一公设在普通平坦的欧几里得空间中成立，但其自明性显然不如其余四条公设。欧几里得明显对援引此公设有所迟疑——他将其推迟至第29命题真正需要时才使用——这表明他已意识到它与其他公设在性质上有所不同。

欧几里得之后的希腊传统中，不乏试图证明第五公设的尝试。公元前一世纪，Posidonius提出了一种不同的平行线定义，这一定义看似使证明变得更为容易。公元二世纪，Ptolemy给出了一个论证，但后来被证明存在循环论证的问题。公元五世纪，Proclus又进行了一次尝试，同样以失败告终。这些努力都有一个共同的缺陷：在试图证明平行公设时，论者无一例外地引入了额外的假设，而这些假设最终被证明与平行公设本身等价。他们并非在证明它，而是用一个措辞不同、实则逻辑内涵相同的命题来替换它。

这一模式在伊斯兰数学传统中同样延续。Ibn al-Haytham、Omar Khayyam以及Nasir al-Din al-Tusi试图从其他公理推导出平行公设的伟大尝试，都以同样的方式宣告失败：所引入的额外假设与待证命题等价。然而，这些伊斯兰学者的尝试因其直接失败之外的原因而意义深远：在探索第五公设的替代方案的过程中，这些数学家实际上已在探究对公设加以修改后的几何体系的逻辑结构——尽管他们未能迈出最后一步，将这些替代方案认定为真实存在的自洽几何体系。

这场危机在十八世纪因Gerolamo Saccheri、Giovanni Girolamo Saccheri与Johann Heinrich Lambert的工作而达到顶点。Saccheri是一位意大利耶稣会神父兼数学家，生于1667年，卒于1733年，于1733年出版了一部题为《Euclides ab Omni Naevo Vindicatus》的著作，意为《欧几里得无瑕辩护》。在书中，Saccheri系统地探讨了若以两种替代命题取代平行公设将会发生什么：其一，过已知点不存在与已知直线平行的直线（即我们现在所称的"钝角假设"）；其二，过已知点存在不止一条平行线（即"锐角假设"）。Saccheri证明，第一种假设在欧几里得其他公设的框架下会导致矛盾；然而第二种假设——即双曲几何的假设——带领他经历了大量定理的推演，始终未能产生矛盾。Saccheri说服自己，他最终找到了一处矛盾，但他所谓的"矛盾"实际上不过是与他关于直线无限延伸的直觉相抵触而已。若他愿意接受数学本身所呈现的结果，Saccheri或许会比任何人都早整整一个世纪发现非欧几何。然而他止步于此，不愿迈出那最后的概念性一步。

Johann Heinrich Lambert在1760年代的工作比Saccheri走得更远，他实际上计算出了这种假想的非欧几何的许多性质，却始终未发现任何矛盾。例如，Lambert注意到，在他所研究的假想几何中，三角形的面积与其角亏成正比——所谓角亏，即三角形内角之和与180度之差。这是一种极为简洁优雅的关系，在欧几里得几何中没有对应的类比，它有力地暗示着一种自洽的数学结构。Lambert并未发表他的研究成果，显然是因为他对自己所研究的体系是否真正自洽尚存疑虑，这部著作直至他身后才得以出版。

最终的突破发生在1820年代，由两位分别工作于欧洲截然不同地域的数学家独立完成：匈牙利的János Bolyai与俄国的Nikolai Ivanovich Lobachevsky。Lobachevsky于1826年2月23日在喀山大学的一次讲座上阐述了他的思想——这一日期有时被纪念为非欧几何的诞生日——并于1829年发表了他关于这一课题的第一篇论文。Bolyai是Carl Friedrich Gauss一位同事之子，他将自己的非欧几何写成一篇附录，收录于其父于1832年出版的一部数学著作中。该附录以拉丁文为题：《Scientiam Spatii Absolute Veram Exhibens》，意为《空间的绝对真实之学》，完整呈现了一种以如下假设取代平行公设的几何体系：过任意已知点，可以作无数条与已知直线平行的直线。

Bolyai与Lobachevsky各自建立了一套自洽而完整的几何体系——即我们今天所称的双曲几何。在这一体系中，直线相互发散而非保持等距，任意三角形内角之和严格小于180度，平行公设被其正对立的命题所取代。他们的几何体系内部自洽、没有矛盾，在数学上与欧几里得的体系同样严谨。其含义令人震撼：在逻辑上，并不存在任何理由要求欧几里得几何而非其他几何来描述物理空间。第五公设与其他公设确实相互独立，无法由其他公设推导而出，而其替代命题同样能引申出与欧几里得体系同等自洽的几何学。

当时最伟大的数学家卡尔·弗里德里希·Gauss，在Bolyai和Lobachevsky发表成果之前，已私下探索非欧几何数十年。当他得知两人的研究结论后，立刻认定其正确无误，并在私人通信中表达了由衷的赞赏——尽管他本人始终未曾公开发表任何相关内容。据说，他不愿引发一场他预料中的哲学论战。Gauss私下承认非欧几何的有效性，意义重大，因为这印证了相关思想在19世纪20年代已臻于成熟，等待着被人发现。

Bernhard Riemann师从Gauss，于1854年6月10日发表了著名的就职演讲《论几何学基础中的假设》，由此完成了Bolyai与Lobachevsky所开创的概念革命。Riemann提出了一套理解几何的普遍框架，核心概念是他所称的"流形"——一种配备了距离度量方式的空间结构，即今日所谓的黎曼度量。在这一框架之下，欧几里得几何、双曲几何以及第三种几何——如今称为椭圆几何或球面几何——均呈现为一个更广泛几何族的特例，彼此之间以曲率的符号相区分：欧几里得几何曲率为零，双曲几何曲率为负，椭圆几何曲率为正。Riemann的框架还容纳了曲率随位置逐点变化的几何形式，正是这一特性使得阿尔伯特·Einstein在六十年后得以将黎曼几何作为广义相对论的数学基础——在该理论中，引力被理解为时空的弯曲。

非欧几何革命的哲学影响远不止于数学领域，它深入延伸至认识论、科学哲学，以及对抽象推理与经验知识之间关系的根本理解。伊曼努尔·Kant在其1781年出版的《纯粹理性批判》中，提出了一个著名论断：欧几里得几何是综合先验知识的一种形式——这种知识既真正告知我们关于世界的实质内容（综合的），又能独立于经验而被确定地认识（先验的）。Kant认为，人类心灵在接触经验之前，便已先天携带一套本质上符合欧几里得结构的空间直觉框架，而这正是欧几里得几何看似不言而喻之真理的原因所在。然而，非欧几何的发现使Kant的立场难以为继：如果存在与欧几里得几何同样内在自洽、却令平行公设不成立的几何体系，那么欧几里得几何便不可能具有Kant所设想的那种分析上的必然性。物理空间究竟是否符合欧几里得结构，绝非纯粹理性所能裁断，而必须诉诸经验的探究。

这一认识经由19世纪末至20世纪初的哲学家与数学家的深入阐发，成为现代科学哲学发展历程中的一座里程碑。它推动了康德式综合先验知识图景的崩解，并为一种更具经验主义色彩、承认可错性的科学理论理解方式开辟了道路。如果连几何学——一切科学中最确定、表面上也最具必然性的学科——最终都被证明依赖于关于空间结构的经验事实，那么或许一切科学知识在某种程度上都是经验性的、可被推翻的，并须依据新证据随时接受修正。这一广义经验主义的结论，与Ernst Mach、Henri Poincaré以及后来的逻辑实证主义者等哲学家密切相关，而非欧几何的发现则是其思想渊源中不可忽视的重要贡献。

非欧几何革命并没有使欧几里得几何学变得错误或过时。在与普通人类经验及大多数经典物理学相关的尺度范围内，欧几里得几何学对物理空间的描述具有极高的精确性。它至今仍是工程学、建筑学、航海以及学校教育和实际生活中所接触到的大多数数学知识的基础。然而，非欧几何革命从根本上改变了欧几里得几何学的哲学地位。19世纪20年代之前，人们普遍认为欧几里得几何学必然且先验地描述了空间的实际结构——空间必定是欧几里得式的，因为欧几里得几何学是唯一自洽的几何学。19世纪20年代之后，这一观念被证明是错误的：欧几里得几何学不过是若干自洽几何学体系之一，而物理空间是否符合欧几里得几何学，是一个经验性问题，而非逻辑上的必然。这一哲学转变影响深远，远远超出了数学本身的范畴，延伸至认识论和科学哲学领域，堪称十九世纪最重要的思想事件之一。

牛顿、斯宾诺莎与欧几里得理想

在众多受欧几里得影响的思想家中，有两位因其受益之深且明显而格外引人注目：Isaac Newton与Baruch Spinoza。两人均生活在十七世纪，均在《几何原本》仍是严密推理训练核心文本的时代接受教育，且均有意将各自最重要的著作按照定义、公理与命题的形式加以组织，以欧几里得为范本。其成果是早期现代时期最卓越的两项智识成就，二者均对这位亚历山大城的古代几何学家负有直接而显见的思想债务。

Isaac Newton的《自然哲学的数学原理》（Philosophiae Naturalis Principia Mathematica）首版于1687年，是经典力学与引力理论的奠基之作。Newton将全书分为三卷，每卷均从定义与公理出发，依次展开由几何与数学论证证明的一系列命题。《原理》的公理——运动三定律——与欧几里得的公设发挥着完全相同的作用：它们是明确陈述、被普遍接受的出发点，其余一切皆由此推导而来。Newton的各项命题随后由这些公理经严密论证推演而出，且每条命题均明确标明其所依赖的先前结论。这与《几何原本》在形式与思路上的相似之处显而易见，绝非偶然。Newton自剑桥最早接受数学教育起便对欧几里得有深厚的研习，他之所以为《原理》选择欧几里得式的体例，是因为他与欧几里得一样相信：从明确公理出发进行演绎推理，是科学表述的最高形式。

然而值得指出的是，Newton采用欧几里得体例，除了出于纯粹的智识考量之外，也有一定的策略性用意。Newton在撰写《原理》多年之前便已发展出微积分——他称之为"流数法"——书中许多结论实际上是借助微积分发现的。但他选择以几何形式呈现这些结论，采用欧几里得式的证明风格，部分原因在于他判断这种形式对同时代人更具说服力，也更能抵御当时新颖而颇具争议的微积分语言可能招致的哲学质疑。《原理》在某种意义上，是披着欧几里得外衣的微积分推理体系——这既是对欧几里得文化权威的致敬，也在一定程度上掩盖了Newton实际思考方式的真实面貌。

巴鲁赫·斯宾诺莎于1677年身后出版的《伦理学》，将欧几里得的影响推向了更深的层次。斯宾诺莎立志以欧几里得论证几何图形性质时所具备的同等严谨与确定性，来阐明伦理学、形而上学以及上帝本质的基础。他将全书分为五个部分，每部分均以定义和公理开篇，继而按编号依次展开命题，并附以正式证明、推论和附释。《伦理学》中的命题措辞明确，经过正式论证，并与先前的结论相互引证，与《几何原本》的体例如出一辙。斯宾诺莎的意图是剥去笼罩在上帝、自然、人类自由与道德讨论中的情感蒙昧主义和宗教情感，代之以可从清晰第一原理推导出的必然真理。

斯宾诺莎是否真正在哲学中实现了类似欧几里得式的确定性，是一个历久常新的争议话题。他的定义和公理远比欧几里得的几何公设更具争议性，而他的证明所依赖的推理链条也令哲学家们争论至今。然而，这一志向本身——将几何证明的清晰性、必然性和透明性引入哲学——已是对欧几里得思想范式的极高致敬。斯宾诺莎认为，早期哲学家未能获得确定知识，并非智识上的失败，而是方法上的失败，而他用以纠正这一失败所选择的方法，正是欧几里得的方法。

亚伯拉罕·林肯对欧几里得的研习，是《几何原本》直接影响个人的第三个典型案例，也是极具美国特色的一例。林肯所受的正规教育极为有限，成年后却为自己制定了一套以逻辑和修辞为核心的密集自学计划。他后来回忆道，当选国会议员后，他给自己定下任务：在灯下攻读《几何原本》前六卷——并非出于任何实际应用的目的，而是为了锤炼自己进行严密论证的能力。林肯明确表示，他的目标是理解"论证某事"意味着什么，能够确切地判断某件事是否得到了证明；而他在欧几里得那里找到了真正意义上的论证应有的样貌。这段经历在林肯的修辞风格中留下了永久的印记：《葛底斯堡演说》简洁的逻辑结构——从一个关于立国的命题出发，有意推导出当前使命的结论——正得益于林肯主动接受的欧几里得式训练。

这些例子充分说明了一部发轫于古希腊几何学汇编的著作所具有的非凡文化影响力。在牛顿手中，它成为数学物理学的范式；在斯宾诺莎手中，它成为哲学伦理学的范式；在林肯手中，它成为政治修辞的训练场。在每一个案例中，其吸引力都是相同的：欧几里得方法的透明性——它明确呈现所有假设，以无可辩驳的论证（若前提被接受，结论便无从反驳）推导出结论，并在最佳状态下产生出不仅仅是令人信服、而是具有必然性的结论。

批判性评价

在对Euclid的成就作出批判性评价之前，有必要先深入审视《几何原本》在不同知识传统中所发挥的各种非凡作用。对于中世纪欧洲学者而言，他们只能接触到该书残缺译本中的部分内容，Euclid在他们眼中主要是一位权威，其结论可供援引，而非一位供人研读论证的作者。对于文艺复兴时期的学者而言，他们重新获得了完整的文本，并能以重焕的信心阅读希腊原文，Euclid因此成为人文学识的典范，是从远古重获的瑰宝。对于十七世纪的科学家——Galileo、Descartes、Newton——而言，Euclid是严谨科学写作的范本：从明确的原则出发，经由有效的论证，推导出必然的结论。对于十九世纪的教育改革者而言，他们争论Euclid是否应继续作为学校标准教材，抑或应由更现代的著作取而代之，Euclid由此成为有关教育目的与方法之辩论中的焦点。对于现代职业数学家而言，Euclid是一份极具重要性的历史文献，但已不再是活跃的研究工具，早已被更为强大、公理化也更为严格的著作所取代。

在上述每一种语境中，Euclid的《几何原本》都承载着不同的意涵，而其意涵的多元性本身便是这部著作之丰富性与深刻性的明证。一部能够同时作为教学工具、哲学基石、科学范本与文化丰碑而发挥作用的文本，是一部具有非凡适应性与持久生命力的文本，而《几何原本》恰恰兼备所有这些品质。

任何对Euclid成就的严肃评价，都必须同时正视他卓越非凡的贡献与后世数学所揭示的真实局限。Euclid并非两千年来的仰慕有时使他看似那般的无误圣哲；他是一位才华横溢、治学严谨、富有创造力的数学家，在其所处时代与传统的制约下从事工作，唯有清晰看到这些制约，方能真正理解并欣赏他的成就。

《几何原本》最伟大的成就并非某一具体定理，而是整体的架构。从明确的定义、公设与公理出发的决断；仅凭逻辑论证推导一切的坚守；对证明哪些结论及以何种顺序加以证明的抉择；以及创建一套逻辑结构，使数百条命题按照依赖关系排列成层级体系且无任何循环论证——凡此种种，不仅需要数学知识，更需要一种专属于组织性与系统性的数学天才。在Euclid之前，从未有人在如此规模上成就过与此相当的事业，而在此后两千年间，也无人觉得有必要加以超越。

《几何原本》还就数学知识的本质作出了深刻的哲学表述。通过证明广袤的数学疆域可以从少数明确假设出发经由逻辑演绎加以探索，它表明数学并非仅仅是从几何观察中归纳出来的经验概括的堆积，而是一个纯粹理性所能触及的必然真理的领域。这一论证对哲学、科学与文化产生了深远影响，激励着从Spinoza到Kant再到Hilbert的思想家们，在各自的领域中追求严格的、公理化的知识理想。

与此同时，后世数学的发展揭示了欧几里得体系基础中存在的重大缺陷。David Hilbert于1899年出版的《几何学基础》表明，若要对欧几里得几何进行完整的公理化处理，所需的公理远不止欧几里得的五条公设——Hilbert具体使用了二十条公理，才得以消除欧几里得留下的所有隐性假设。这些隐性假设涵盖以下内容：关于直线上点的顺序（"介于"哪个方向之间）、关于几何图形的连续性（即若一条直线经过圆的内部，则可以假定该直线必与圆相交），以及关于欧几里得自由使用却未加说明的平面其他拓扑性质。这些并非微不足道的疏漏，它们以欧几里得本人未曾意识到的方式，深藏于其众多证明的根基之中。

欧几里得体系中的这些缺陷在长达两千年的时间里未被发现，这一事实本身便令人叹为观止。它见证了《几何原本》构建之严谨：其论证之缜密，使得历经数百年、才华卓越的数学家们竟未曾察觉其中残存的漏洞。数学严格性标准的不断提升，直至十九世纪Hilbert终于得以指出欧几里得之疏失，这非但不是对欧几里得的苛责，反而印证了数学知识进步的本质。

欧几里得在数学史乃至更广泛的人类思想史上的地位，是稳固的，也是当之无愧的。他首先是一位综合者与构建者：他汇集前人的数学成果，甄选出最重要、最基础的定理，以逻辑上最为简洁高效的顺序加以排列，并以严谨而清晰的方式将其呈现，使这部汇编成为两千余年间无可替代的权威著述。欧几里得大量借鉴了前代数学家的成果，《几何原本》中的绝大多数内容并非由他首创，但这并不有损于他的成就，而是赋予了这一成就以恰当的历史背景。洞察既有知识应如何组织、奠定何种正确基础，以及构建使一套完整演绎理论成为可能的逻辑架构——这种才能所需的天赋，并不逊于证明任何单一定理所需的才华；它只是一种不同性质的天赋，或许更为罕见。

自欧几里得以降，《几何原本》已被译成所有主要语言，经历了各种形式的学术审视，并作为严格数学思维教育的基础文本在世界各地广泛使用。Newton、Hobbes、Locke与Lincoln均对其赞誉有加——据说Abraham Lincoln曾在油灯下研读《几何原本》前六卷，以磨砺自身的逻辑论辩能力。Schopenhauer曾批评其方法迂腐而缺乏直觉，Mill与Russell则就各种哲学质疑为其辩护。围绕这部著作，学术文献汗牛充栋，横跨两千五百年岁月与各有人居住的大陆。没有任何其他数学著作，能如此普遍地被阅读、如此持久地发挥影响，或如此深刻地编织进人类智识文化的经纬之中。

欧几里得长久以来被誉为几何学之父，他所处的时代充满了非凡的智识机遇：那是一座专为成为国际学术中心而建造的城市，是世界上第一座此类城市；他受到一个视知识为权力工具的王朝的庇护；希腊数学经过数百年的积累发展，终于为他的综合性著作的诞生创造了条件。面对这一时代机遇，他写就了一部精准、宏博、逻辑严谨的巨著，使之成为两千余年来数学推理的标准范本，时至今日仍被人们阅读、研究与推崇。在一个以成果永久有效为本质特征的学科中，欧几里得的成就堪称人类文明史上最为恒久的智识丰碑之一。

欧几里得几何学的现代遗产

在二十一世纪，欧几里得的《几何原本》在数学世界中占据着一种颇为矛盾的地位。一方面，它在大多数中学和大学中已不再作为教学用书，取而代之的是融入了集合论、坐标几何以及十七世纪以来发展起来的代数框架的现代教材。另一方面，欧几里得所开创的智识传统——即将数学知识组织为一套以明确陈述的公理为基础的演绎体系的做法——在今天的数学中比以往任何时候都更居于核心地位。

现代数学在其最深层的结构上，是一项欧几里得式的事业。每一篇数学研究论文，无论明确与否，都从定义和假设出发，经由逻辑论证推导出结论。现代数学中的每一个定理，无论是代数拓扑中最抽象的结果，还是数值分析中最具计算性的定理，都必须附有严格的证明，清楚表明所采用的假设究竟是什么，以及结论究竟如何从这些假设中推导而来。这一证明标准——即欧几里得标准——已被现代数学家深度内化，以至于被视为从事数学研究本身的题中应有之义，不言而喻。

欧几里得对数学基础的影响，在十九世纪末二十世纪初的公理化运动中同样清晰可见。这场运动从某种直接的意义上说，正是试图为整个数学领域做欧几里得为几何学所做之事。寻求尽可能少的公理集合，从中推导出尽可能庞大的数学成果体系，并使这一推导过程明确而严格——这一冲动贯穿于Hilbert的《几何基础》、Frege的《算术基本规律》，直至Russell与Whitehead的《数学原理》。所有这些项目，无论其在技术手段上与欧几里得存在多大差异，在最深层的意义上都是以欧几里得为精神源头的。

在数字时代，欧几里得的思想获得了新的应用与新的生命。欧几里得算法——即《几何原本》第七卷中求两数最大公约数的方法——是计算机科学中应用最为广泛的算法之一。每当一个计算机程序计算最大公约数、将分数化为最简形式，或执行某些类型的密码学运算时，它实际上都在执行一套欧几里得两千多年前所描述的程序。RSA加密算法是互联网通信安全的重要基础，而它从根本上依赖于与《几何原本》第七至九卷密切相关的数论结论。这位几何学之父，从非常现实的意义上说，是现代密码学的一位重要先祖。

欧几里得几何本身至今仍是日常生活与绝大多数实际应用中所采用的几何体系。建筑、工程、测量、制造、导航，以及几乎所有塑造物质世界的技术学科，都在欧几里得框架内运作。对于从不足一毫米到数千公里的尺度范围而言——这实际上涵盖了人类在地球表面直接活动所涉及的全部尺度——欧几里得几何不仅仅是一种有用的近似，在任何实际精度要求下，它都是精确的。广义相对论的非欧几何对于GPS卫星、黑洞以及宇宙的大尺度结构至关重要，但桥梁工程师、建筑师和城市规划师所工作的，依然是欧几里得的世界。

近几十年来，数学史与数学哲学领域的研究也重新激活了对欧几里得的学术兴趣。学者们对《几何原本》的逻辑结构进行了深入细致的分析，逐命题地梳理其推演脉络，揭示其优长所在，也指出其中的不足与缺漏。通过研究欧几里得公设究竟预设了哪些前提，以及各种非欧几何对数学真理本质的启示，数学哲学得到了极大的丰富。与此同时，关于《几何原本》文化史的研究文献也在不断增多——探讨它在不同时代与地域中如何被阅读、对不同受众意味着什么，以及在两千五百年的历史长河中，它的形式与内容如何因翻译、印刷和教学实践而不断演变。

从最宏观的文化意义上看，欧几里得的遗产，是这样一种理念的遗产：知识可以被组织为一套透明的证明体系，主张可以与猜测截然区分，经过证明的东西可以被确定地认知，而通过审视所有已作的假设，知识的边界也可以被精确地划定。这一理念——欧几里得比他之前的任何人都更为完整地将其付诸实践，并自此成为数学精神的永恒理想——是迄今为止任何一位思想家对人类文明智识生活所作出的最重要贡献之一。