第五公设的证明史：两千年的失败如何造出一门新几何

破除误解：他们不是在做无用功#

第一，这不是钻牛角尖。 第五公设直接决定了三角形内角和是否等于两直角、相似三角形是否存在、勾股定理是否成立。几乎整个初等欧几里得几何都依赖它。 如果它能被证明，欧几里得体系的基础就会更牢固；如果不能，就必须承认几何学的一大半建立在一条无法从前四条推出的假设上。这是真正的基础问题，不是对措辞的挑剔。

第二，很多"证明"确实成立——只是循环。 大量尝试成功地从前四条公设推出了第五公设，代价是中途悄悄用了一条与第五公设等价的假设。这些等价形式往往看起来更"显然"：

• 普莱费尔公理：过直线外一点，有且仅有一条平行线（今天教科书通常直接用这条）；
• 存在一个三角形其内角和等于两直角；
• 存在两个相似但不全等的三角形；
• 任意三个不共线的点必在同一个圆上；
• 存在到给定直线等距的一条直线。

约翰·普莱费尔在 1795 年的《几何原理》里采用了「至多一条平行线」这种更短的写法，它在欧几里得其余公设的语境下与原版第五条逻辑等价。听起来更像常识，并不等于逻辑上更弱：换成其中任何一条，能从前四条推出的命题集合并不变大。

每一条听起来都比原版更像常识，而每一条都与原版逻辑等价。 发现这些等价形式本身是这场失败的第一批成果——它把"第五公设"从一条别扭的陈述变成了一族命题，让人看清它到底在断言什么。两千年里许多人以为自己证明了第五条，其实只是把同一断言换了一身更顺眼的衣服。

反证法：走得最远的那条路#

最有成效的策略是反证法：假设第五公设不成立，看能推出什么。若推出矛盾，第五条就被证明；若推出的是一整套并不自相打架的定理，反证法就反过来暴露了独立性。

萨凯里（1733）是走得最远的人。他考察一个"萨凯里四边形"——底边上两条等长的边都垂直于底边——并问顶角是什么。有三种可能：

• 钝角假设：顶角大于直角；
• 直角假设：等于直角（等价于第五公设）；
• 锐角假设：小于直角。

他成功地排除了钝角假设：在欧几里得允许线段无限延长的前提下，钝角确实导致矛盾。然后他转向锐角假设，推导出一长串结论。三角形内角和小于两直角，且随面积增大而减小；不存在相似不全等的三角形；两条不相交的直线可以无限分离。这些都写得清楚，却没有出现他所期待的逻辑破裂。

这些定理没有一条自相矛盾。 萨凯里推了很远，最终在著作里宣称锐角假设"与直线的本性相悖"，从而"证明"了第五公设。他要找的是逻辑矛盾，找到的却是一整串不熟悉、但彼此咬合的定理。把「与直觉冲突」当成「已推出矛盾」，是这条反证路线最容易滑倒的地方。

这一步是整个故事的关键。 他实际上已经建立了非欧几何的大量定理，却因为结论与直觉不符而宣布它荒谬。他被自己的成功挡住了：他要找的是矛盾，而他找到的是一个新世界，但他不认识它。

兰伯特在 1766 年写成《平行线理论》，1786 年才由后人刊出。他注意到在锐角假设下，三角形的面积与其内角亏损成正比，并观察到这套几何"像是在一个虚半径的球面上"。面积与亏损成正比，意味着这里有绝对长度单位，相似放大不再保持角度；欧几里得几何正是靠第五条才拥有真正的相似。

钝角假设在欧几里得允许直线无限延长的前提下会被排除；锐角假设却怎么推也推不出矛盾。他没有宣称找到矛盾，而是把工作留在了未发表的手稿里。他离承认只差一步，而没有跨过去。

勒让德反复尝试了几十年，在《几何原理》的历次版本中给出不同的"证明"，每一次都被发现暗含等价假设。失败在这里开始显出形状：不是计算出错，而是第五条根本不像是能被前四条吞掉的定理。他把平行写得很顺口，却仍需要额外假设才能推出相交；顺口不能代替独立性。

转向：从"证明它"到"不需要它"#

十九世纪二三十年代，三个人各自独立地完成了那一步。他们不再把锐角假设当成必须驳倒的错误，而当成可以公开发表的另一种几何。

高斯很早就得到了结论，但没有发表。他在私人通信中说，担心"皮奥夏人的叫嚷"——他预料到公众与哲学界（尤其是康德主义者，康德把欧几里得空间当作先天直观形式）的反应。对高斯来说，问题已经从「如何补上证明」变成了「另一套几何是否同样自洽」；他选择把答案留在信里。康德把欧几里得空间当作感性直观的先天形式，公开否定第五条等于挑战当时的哲学常识，这不是单纯的数学礼貌。

波尔约·亚诺什在 1832 年作为父亲著作的附录发表了他的"绝对几何"。他父亲沃尔夫冈年轻时也试过平行公设，曾劝儿子放弃；儿子没有听。父亲把成果告诉高斯，高斯回信说自己早已得到同样结果——这个回复据说严重打击了年轻的波尔约。附录保留前四条公设，把平行规则改成可以有多条不相交直线，然后照常推导三角形、面积与三角公式。

罗巴切夫斯基从 1829 年起在喀山发表了系统的工作，是最早公开完整发表的人。他同样把锐角假设当作可以演算的前提，而不是待处决的谬误。三人走的技术路线并不完全相同，共同之处只有一个：停止要求第五公设必须为真。

他们的关键转变不在技术，在态度：不再把锐角假设当作待排除的荒谬，而当作另一套自洽的几何。萨凯里推出的那些"怪异"定理，在他们手里成了新几何的定理。同样的推导，不同的解读。技术上他们并没有比萨凯里多发明多少公式，缺的是承认「推不出矛盾」本身就是答案。

收口：独立性如何被真正证明#

罗巴切夫斯基与波尔约的工作没有证明非欧几何是相容的——他们只是没有推出矛盾，而"没找到"不等于"不存在"。一条公理系统可能在推到第一万步时才破裂；仅凭「我们推了很远」无法结束争论。

真正的证明来自模型：给「点」「直线」「相交」在另一个已经接受的几何里找到解释，使全部非欧公理在这个解释下成立。1868 年贝尔特拉米发表《非欧几何的一种解释》，在欧几里得几何内部实现双曲几何：常负曲率曲面上的测地线扮演直线，平面圆盘里的弦或正交圆弧也可以扮演直线。后来教科书里常提到的克莱因模型与庞加莱圆盘，正是把这类解释写得更便于演算的版本。

圆盘模型里，「直线」不再是直尺画出来的那条，而是圆盘内部的弦，或与边界正交的圆弧。过圆盘内一点可以作出许多条这样的「直线」与给定「直线」不相交，普莱费尔的「恰好一条」在这里失败。所有推理仍在欧几里得平面上完成，所以这套解释若自相矛盾，欧几里得平面自己也已经坏了。

这带来一个决定性的结论：如果非欧几何有矛盾，那个矛盾可以翻译回欧几里得几何，从而欧几里得几何也有矛盾。 换句话说——非欧几何相对于欧几里得几何是相容的，而第五公设独立于前四条：它既不能被证明，也不能被否证。

独立性的精确含义是：前四条加上第五条，得到欧几里得几何；前四条加上第五条的否定，得到双曲几何。两边都能在对方内部找到模型，因此哪一边若有矛盾，另一边也有。这里证明的是相对相容性，不是「几何永远不会自相矛盾」这种绝对保证；绝对相容性会把问题推到算术那边，那是另一条二十世纪的线索。

希尔伯特在 1899 年《几何基础》里把平行公理单独列为一组，并用模型论证它对其余公理组独立。两千年的问题得到了答案，而答案是：这个问题问错了。 不该问「如何从前四条推出第五条」，该问「第五条作为一条公理，能不能被拿掉」。问错的代价是两千年循环证明；问对之后，独立性反而成了可以写出模型的定理。

它改变了什么#

"公理"的含义变了。 在此之前，公理被理解为关于空间的自明真理。之后，公理成为对一个结构的规定——你选择一组相容的公理，就得到一个数学对象；不同的选择给出不同的对象，而"哪个是真的"不再是数学问题。

希尔伯特在 1899 年的《几何基础》把这一立场彻底形式化。欧几里得几何并没有被推翻，它只是从「唯一可能」变成了「相容选择之一」。证明一条公理，与在模型里解释一套公理，从此是两种不同的工作。

康德的先天直观受到直接冲击。 若空间的几何不是唯一可能的，那么"欧几里得空间是认识的先天形式"这一论断就失去了必然性。物理空间究竟更接近哪一套公理，变成了可以测量的经验问题；数学不再承担宣布「空间必须如此」的义务。

它为物理学准备了工具。 黎曼在 1854 年的就职演讲中把常曲率的讨论推广到更一般的弯曲空间，那是后话，细节见非欧几何本身的发展，而不是第五公设证明史的主线。六十年后爱因斯坦需要一套描述弯曲时空的语言时，数学这边已经有现成的词汇——而它能出现，最初完全出于「第五条能不能被证明」这种纯数学动机。

跨域连接#

• 非欧几何：这场失败的直接产物。值得注意的是它的产生方式——不是有人想要一门新几何，而是有人试图消灭一种可能性却失败了。数学史上大量重要结构都以这种方式出现：为了排除某物而对它展开充分研究，最后发现它值得保留。
• 哥德尔不完备性定理：两者处理的是同一族问题——一个命题相对于一个公理系统的地位。第五公设的独立性是这类结果的第一个实例，哥德尔证明了这种独立性在足够强的系统中不可避免。从"这条公设能否被证明"到"哪些命题原则上不可判定"，是同一条思路的两个阶段。
• 广义相对论：黎曼几何在爱因斯坦需要它之前六十年就已备好，是"纯数学的意外有用性"最常被引用的案例。它也提示了一条反向的教训：如果十九世纪的数学界以"有什么用"为标准分配资源，这套工具很可能不会存在。
• 可证伪性：萨凯里的失败是一个特别的形态——他做的是有效的推理，得到的是正确的定理，却因为不接受结论而否定了自己的工作。这提示了证伪逻辑之外的一层：识别一个反例需要理论上的准备，否则它会被当作荒谬而非发现。
• 「原始语言」神话：两者共享一个结构——长期被当作唯一可能的东西，其实只是一种可能。欧几里得几何被当作空间的唯一形式，印欧语法被当作语言的普遍范畴；打破它们的方式也相同：认真对待那个"不正常"的替代品，而不是急着证明它不可能。

参考文献#

• Euclid. Elements, Book I（第五公设的原始表述）。
• Saccheri, G. Euclides ab omni naevo vindicatus. 1733.
• Lambert, J. H. Theorie der Parallellinien. 手稿 1766；1786 年刊于 Leipziger Magazin für reine und angewandte Mathematik。
• Playfair, J. Elements of Geometry. Edinburgh, 1795（普莱费尔公理的教科书表述）。
• Lobachevsky, N. I. On the Principles of Geometry. 1829–1830；Bolyai, J. Appendix. 1832.
• Beltrami, E. Saggio di interpretazione della geometria non-euclidea. 1868.
• Klein, F. "Über die sogenannte Nicht-Euklidische Geometrie", Mathematische Annalen, 4: 573–625, 1871.
• Hilbert, D. Grundlagen der Geometrie. Teubner, 1899.

延伸阅读#

• Greenberg, M. J. Euclidean and Non-Euclidean Geometries: Development and History. W. H. Freeman, 4th ed., 2007.
• Bonola, R. Non-Euclidean Geometry: A Critical and Historical Study. Dover, 1955.
• Gray, J. János Bolyai, Non-Euclidean Geometry, and the Nature of Space. MIT Press, 2004.
• Torretti, R. Philosophy of Geometry from Riemann to Poincaré. Reidel, 1978.