《几何原本》开篇列出五条公设。前四条读起来像是在描述作图：两点可连一条直线；线段可延长；以任意点为心任意长为半径可作圆；所有直角相等。
第五条不一样：
若一条直线与两条直线相交，使同侧内角之和小于两直角，则那两条直线在该侧无限延长后必相交。
它长、复杂、不像一条不证自明的原始事实，倒像一条应当被证明的定理。从欧几里得同时代起，数学家就试图从前四条公设推出它。
这场努力持续了两千年，全部失败。而这次失败是数学史上产出最丰的一次失败——它没有留下一个定理，却留下了一整门几何学，以及现代数学关于"公理系统"的整个观念。
破除误解：他们不是在做无用功
第一，这不是钻牛角尖。 第五公设直接决定了三角形内角和是否等于两直角、相似三角形是否存在、勾股定理是否成立。几乎整个初等几何都依赖它。 如果它能被证明，欧几里得体系的基础就会更牢固；如果不能，就必须承认几何学的一大半建立在一条无法辩护的假设上。这是真正的基础问题。
第二，很多"证明"确实成立——只是循环。 大量尝试成功地从前四条公设推出了第五公设，代价是中途悄悄用了一条与第五公设等价的假设。这些等价形式往往看起来更"显然"：
- 普莱费尔公理：过直线外一点，有且仅有一条平行线（今天教科书通常直接用这条）；
- 存在一个三角形其内角和等于两直角；
- 存在两个相似但不全等的三角形；
- 任意三个不共线的点必在同一个圆上；
- 存在到给定直线等距的一条直线。
每一条听起来都比原版更像常识，而每一条都与原版逻辑等价。 发现这些等价形式本身是这场失败的第一批成果——它把"第五公设"从一条别扭的陈述变成了一族命题，让人看清它到底在断言什么。
反证法：走得最远的那条路
最有成效的策略是反证法：假设第五公设不成立，推出矛盾。
萨凯里（1733）是走得最远的人。他考察一个"萨凯里四边形"——底边上两条等长的边都垂直于底边——并问顶角是什么。有三种可能：
- 钝角假设：顶角大于直角；
- 直角假设：等于直角（等价于第五公设）；
- 锐角假设：小于直角。
他成功地排除了钝角假设（在欧几里得的其他公设下它确实导致矛盾）。然后他转向锐角假设，推导出一长串结论：三角形内角和小于两直角、且随面积增大而减小；不存在相似不全等的三角形；两条不相交的直线可以无限分离……
这些定理没有一条自相矛盾。 萨凯里推了很远，最终在著作里宣称锐角假设"与直线的本性相悖"，从而"证明"了第五公设。
这一步是整个故事的关键。 他实际上已经建立了非欧几何的大量定理，却因为结论与直觉不符而宣布它荒谬。他被自己的成功挡住了：他要找的是矛盾，而他找到的是一个新世界，但他不认识它。
兰伯特（1766）走得更彻底。他注意到在锐角假设下，三角形的面积与其内角亏损成正比，并观察到这套几何"像是在一个虚半径的球面上"。他没有宣称找到矛盾，而是把工作留在了未发表的手稿里。他离承认只差一步，而没有跨过去。
勒让德反复尝试了几十年，在《几何原理》的历次版本中给出不同的"证明"，每一次都被发现暗含等价假设。
转向：从"证明它"到"不需要它"
十九世纪二三十年代，三个人各自独立地完成了那一步。
高斯很早就得到了结论，但没有发表。他在私人通信中说，担心"皮奥夏人的叫嚷"——他预料到公众与哲学界（尤其是康德主义者，康德把欧几里得空间当作先天直观形式）的反应。
波尔约·亚诺什在 1832 年作为父亲著作的附录发表了他的"绝对几何"。他父亲把成果告诉高斯，高斯回信说自己早已得到同样结果——这个回复据说严重打击了年轻的波尔约。
罗巴切夫斯基从 1829 年起在喀山发表了系统的工作，是最早公开完整发表的人。
他们的关键转变不在技术，在态度：不再把锐角假设当作待排除的荒谬，而当作另一套自洽的几何。萨凯里推出的那些"怪异"定理，在他们手里成了新几何的定理。同样的推导，不同的解读。
收口：独立性如何被真正证明
罗巴切夫斯基与波尔约的工作没有证明非欧几何是相容的——他们只是没有推出矛盾，而"没找到"不等于"不存在"。
真正的证明来自模型。1868 年贝尔特拉米、以及后来的克莱因与庞加莱构造了在欧几里得几何内部实现非欧几何的模型：把"点"解释为圆盘内的点，"直线"解释为与边界正交的圆弧，则所有非欧公理都成立。
这带来一个决定性的结论：如果非欧几何有矛盾，那个矛盾可以翻译回欧几里得几何，从而欧几里得几何也有矛盾。 换句话说——非欧几何相对于欧几里得几何是相容的，而第五公设独立于前四条：它既不能被证明，也不能被否证。
两千年的问题得到了答案，而答案是：这个问题问错了。
它改变了什么
"公理"的含义变了。 在此之前，公理被理解为关于空间的自明真理。之后，公理成为对一个结构的规定——你选择一组相容的公理，就得到一个数学对象；不同的选择给出不同的对象，而"哪个是真的"不再是数学问题。希尔伯特在 1899 年的《几何基础》把这一立场彻底形式化。
康德的先天直观受到直接冲击。 若空间的几何不是唯一可能的，那么"欧几里得空间是认识的先天形式"这一论断就失去了必然性。
它为物理学准备了工具。 黎曼在 1854 年的就职演讲中把非欧几何推广为任意维数的弯曲空间。六十年后，爱因斯坦需要一个描述弯曲时空的数学，它已经现成地在那里了——而它的存在完全出于纯数学的动机，与任何物理问题无关。
跨域连接
- 非欧几何：这场失败的直接产物。值得注意的是它的产生方式——不是有人想要一门新几何，而是有人试图消灭一种可能性却失败了。数学史上大量重要结构都以这种方式出现：为了排除某物而对它展开充分研究，最后发现它值得保留。
- 哥德尔不完备性定理：两者处理的是同一族问题——一个命题相对于一个公理系统的地位。第五公设的独立性是这类结果的第一个实例，哥德尔证明了这种独立性在足够强的系统中不可避免。从"这条公设能否被证明"到"哪些命题原则上不可判定"，是同一条思路的两个阶段。
- 广义相对论：黎曼几何在爱因斯坦需要它之前六十年就已备好，是"纯数学的意外有用性"最常被引用的案例。它也提示了一条反向的教训：如果十九世纪的数学界以"有什么用"为标准分配资源，这套工具很可能不会存在。
- 可证伪性：萨凯里的失败是一个特别的形态——他做的是有效的推理，得到的是正确的定理，却因为不接受结论而否定了自己的工作。这提示了证伪逻辑之外的一层：识别一个反例需要理论上的准备，否则它会被当作荒谬而非发现。
- 「原始语言」神话：两者共享一个结构——长期被当作唯一可能的东西，其实只是一种可能。欧几里得几何被当作空间的唯一形式，印欧语法被当作语言的普遍范畴；打破它们的方式也相同：认真对待那个"不正常"的替代品，而不是急着证明它不可能。
参考文献
- Euclid. Elements, Book I（第五公设的原始表述）。
- Saccheri, G. Euclides ab omni naevo vindicatus. 1733.
- Lambert, J. H. Theorie der Parallellinien. 手稿, 1766（身后出版）。
- Lobachevsky, N. I. On the Principles of Geometry. 1829–1830；Bolyai, J. Appendix. 1832.
- Beltrami, E. Saggio di interpretazione della geometria non-euclidea. 1868.
- 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.