非欧几何革命

关键词#

平行公设; 非欧几何; 双曲几何; 椭圆几何; 罗巴切夫斯基; 鲍耶; 高斯; 黎曼; 几何基础

第1页 · 两千年的心结#

标题：平行公设——几何学的阿喀琉斯之踵

欧几里得的《几何原本》建立在五条公设之上。前四条公设简洁直观——从任意两点可引一条直线、有限直线可延长、以任意点为圆心任意距离为半径可画圆、所有直角都相等。但第五条公设——平行公设——却显得复杂而不够"自明"：

若一条直线与两条直线相交，在某一侧的两个内角之和小于两个直角，则这两条直线在该侧无限延长后必相交。

与前四条公设相比，平行公设更像是一条定理——它似乎应该能从前四条公设推导出来。2000多年来，无数数学家试图证明平行公设是其他公设的推论——但都以失败告终。这一努力虽然没有达到预期目标，却导致了数学史上最深刻的发现之一：非欧几何的诞生。

欧几里得把第五条写得很长，后人更常用「过直线外一点恰有一条平行线」来转述同一件事。前四条管作图和延长，第五条管的是无穷远处会不会相交。它一旦被当成可以证明的定理，欧几里得几何就好像只是逻辑的必然结果，而不是一条关于空间的额外约定。

两千年的失败说明：这条约定推不出来。推不出来并不等于它是错的，只等于它可以拿掉。拿掉之后，几何不再是唯一的一套真理，而变成一族由公理挑选出来的结构。崩溃的是「空间只能有这一种形状」的地位，不是直尺和圆规本身。

平行公设崩溃之后，三角形内角和不再是一块试金石。欧氏情形它锁在平角；双曲情形它随面积减小；椭圆情形它随面积增大。三种几何于是可以用一块可测量的角盈或角亏来区分，而不必先争论「平行」这个词。

第2页 · 萨凯里的探索#

标题：归谬法的意外发现——非欧几何的萌芽

意大利数学家萨凯里（Giovanni Saccheri）在1733年出版了《欧几里得无懈可击》。他的策略是用归谬法证明平行公设：假设平行公设不成立，推出矛盾。

萨凯里考虑了三种假设：(1) 直角假设（平行公设成立）；(2) 钝角假设（过直线外一点没有平行线）；(3) 锐角假设（过直线外一点有多条平行线）。他成功地从钝角假设推出了矛盾——因为钝角假设与直线的无限性矛盾。但在处理锐角假设时，虽然他推导出了许多"奇怪"的结果（如三角形内角和小于180°），却始终无法推出逻辑矛盾。

萨凯里认为这些结果"与直线的本质矛盾"而拒绝了它们——但实际上，他已经发现了双曲几何的定理。如果他更深入地思考这些结果的含义，可能会提前100年发现非欧几何。

萨凯里要找的是逻辑破裂，找到的却是一整串彼此咬合、只是看起来陌生的命题。锐角假设下，三角形内角和小于平角，并且面积越大亏得越多；这在欧氏直觉里像是病句，在双曲几何里却是定理。他把「与直线的本性相反」当成已经推出矛盾，于是把新几何写完了却不承认它。

钝角假设在允许直线无限延长时确实撑不住，那是球面那一类正曲率图像会碰到的障碍。球面的大圆总会相交，没有平行线；若还想保留「两点决定唯一直线」，需要对径点看成同一点，才进入后来的椭圆几何。萨凯里停在归谬的门口，差的是把陌生结果当成另一种空间，而不是当成欧氏几何的丑闻。

第3页 · 三位发现者#

标题：1820年代——非欧几何的独立诞生

非欧几何在1820年代由三位数学家独立发现。

高斯（Carl Friedrich Gauss）是最早认识到非欧几何存在的人。他在私人通信中表示，他已经确信平行公设不能从其他公设推导出来，并且存在否定平行公设的一致几何系统。但高斯从未公开发表——他在给朋友的信中解释说，他担心"庸人的叫嚷"（Geschrei der Böotier）。

鲍耶（János Bolyai）是匈牙利军官，他的父亲是高斯的同学。年轻的鲍耶在1823年左右独立发现了双曲几何。他的父亲写信告诉高斯，高斯回复说他自己早已得到了同样的结果。鲍耶深受打击——他认为高斯试图窃取他的优先权。

罗巴切夫斯基（Nikolai Lobachevsky）是俄国数学家，喀山大学的教授。他在1829年首次公开发表了双曲几何的理论——这是非欧几何的第一个正式出版物。罗巴切夫斯基系统地发展了双曲几何的三角学、面积理论和微分几何。

高斯在 1817 年给奥伯斯的信里已经写下：几何的必然性恐怕证明不了。他选择不发表，担心的不是公式算错，而是公众会把否定第五条听成否定常识。通信里的确信，和印在期刊上的系统，不是同一件事；优先权后来纠缠不清，部分原因正在这里。

波尔约·亚诺什（János Bolyai，文中亦作鲍耶）1823 年 11 月 3 日从泰梅什堡写信给父亲，说他「从无之中造出了另一个世界」。那还不是完成稿。1832 年这篇工作作为父亲《Tentamen》的拉丁文附录印出，题目就写明：欧几里得那条公设事先无法判定真假。父亲把书寄给高斯，高斯回信说自己早就走到了同一处；年轻的波尔约把这封信读成对其优先权的抹杀。

罗巴切夫斯基把同一套几何写成可以发表的三角学与面积理论。1829 至 1830 年，喀山的俄文刊物《喀山通讯》刊出《几何原理》，这是双曲几何第一次公开印刷。俄语限制了读者，圣彼得堡一侧的审稿又不接受；他后来改用法文、德文再写一遍。三人独立，不等于三人同时被听见。

第4页 · 黎曼的革命#

标题：从常曲率到任意曲率——黎曼几何的诞生

黎曼（Bernhard Riemann）在1854年的就职演讲《论作为几何学基础的假设》中，将几何学推向了一个全新的层次。他不再局限于常曲率空间（欧氏几何、双曲几何、椭圆几何），而是考虑任意曲率的高维流形。

黎曼的核心思想是：几何性质由度量决定——在每个切空间上定义一个内积，就可以测量距离、角度和曲率。不同的度量给出不同的几何——欧氏几何、双曲几何和椭圆几何都只是特殊的度量。

黎曼的理论在当时几乎没有实际应用——它太抽象、太超前了。直到60年后，爱因斯坦发现广义相对论的数学语言正是黎曼几何。质量和能量弯曲时空——引力不是"力"，而是时空曲率的效应。

黎曼1854 年 6 月 10 日在哥廷根作就职演讲《论作为几何学基础的假设》。当时几乎没有公式，高斯也在听众席上。讲稿在他生前没有刊出；1868 年由戴德金整理，发表于哥廷根科学协会论文集第 13 卷。日期常被写成 1867，指的是戴德金写引言的年份，期刊卷次则标 1868。

他做的事不是再发明一种常曲率几何。欧氏、双曲、椭圆都只是曲率为常数的特例。一般情形是：在一张流形的每个切空间上指定内积，用这块度量去量长度、角度和测地线。

曲率可以随地点改变，于是几何从「选一条平行公设」变成「选一个度量」。微分几何后来说的黎曼度量，源头就是这次演讲。

正曲率、负曲率、零曲率对应三种不同的局部形状：球面那样的鼓、马鞍那样的凹、以及我们熟悉的平。高斯已经在曲面上用总曲率约束三角形的角盈；黎曼把这件事搬到任意维。演讲标题里的「假设」是认真的：空间的度量关系是要拿去对照经验的假设，不是从纯粹理性里推出来的必然。

高斯的曲面论已经能从曲面自身的测量读出曲率，不必把曲面嵌进三维去看。黎曼把这件「内蕴」的事推到任意维：弯曲不必是弯在某种更大的平坦空间里。这对后来的引力理论很关键——时空可以自己弯，不必先准备一个外面的舞台。

第5页 · 革命的意义#

标题：平行公设的崩溃——数学思想的解放

非欧几何的发现是数学史上最深刻的革命之一。它的意义远远超出了几何学本身：

对数学的影响：非欧几何证明了几何学不是唯一的——可以有不同的几何系统，它们都是一致的。这打破了欧氏几何2000年来的权威地位，并推动了公理化方法的深化——公理系统的一致性和独立性成为核心问题。

对物理学的影响：非欧几何为广义相对论提供了数学语言。爱因斯坦的场方程用黎曼曲率张量描述引力——物理时空是弯曲的四维流形。这一发现彻底改变了人类对空间、时间和引力的理解。

对哲学的影响：非欧几何挑战了康德的先验几何学。康德认为欧氏几何是人类直觉的必然形式——但非欧几何表明，人类可以一致地想象非欧几里得的空间。这表明几何学不是先验真理，而是经验假设。

对数学内部，这件事把「证明一条公设」改写成「比较两套公设」。对物理学，它准备好一种语言：引力不必是力，也可以是度量在变形。1915 年的广义相对论把能量与动量写成曲率的来源，物理空间于是有了可以测量的几何。这不是黎曼演讲的应用预告，而是六十年后才对接上的工具。

对哲学，康德把欧氏空间当作感性的先天形式，其最顺手的例证被抽掉了。先天综合判断的整套计划不必因此坍塌，但「空间必须如此」不再能靠几何学来担保。几何学交出的是结构，经验科学才回答我们住在哪一种结构里。

事实卡#

1. 卡1

   萨凯里在1733年已经发现了双曲几何的定理，但他认为它们"矛盾"而放弃了——错失了提前100年发现非欧几何的机会。

2. 卡2

   高斯、鲍耶和罗巴切夫斯基在1820年代独立发现了双曲几何——这是数学史上最著名的"同时发现"案例之一。

3. 卡3

   黎曼1854年的就职演讲是数学史上最伟大的演讲之一——它奠定了微分几何和广义相对论的基础。

4. 卡4

   爱因斯坦在1915年发现广义相对论的数学语言正是黎曼几何——这是非欧几何最深刻的应用。

引用#

跨域连接#

• 康德：他把欧氏几何当成关于空间的先天综合判断——既非经验归纳，又对一切经验必然成立。推论：只要存在同样自洽的另一种几何，"必然"就降级为"我们习惯的那一种"；这抽掉的是他最有力的例证，而不是整套体系，但先天必然性从此需要逐条重新论证。
• 逻辑实证主义：几何被拆成两半——纯形式的公理系统不含经验内容，"哪种几何描述物理空间"则由测量决定。推论：这给出了可操作的判据，遇到一个几何命题先问它属于哪一半，再决定该用推导还是用实验去处理它；"几何是否为真"因此被拆成两个可分别回答的问题。
• 启蒙运动：把数学当成理性可达确定真理的样板，而几何的唯一性正是这份自信的基石。推论：唯一性一崩塌，"理性给出唯一正确答案"的形象随之松动——这解释了发现者为何宁可长期不发表，阻力来自观念而非论证。
• 广义相对论：空间几何不再是推理的前提，而是由物质分布决定的待测量，场方程把几何写成了物理变量。推论：几何从此可以被观测检验——"空间是什么形状"由哲学问题变成了测量问题，精度不足时只能给出曲率的上界而不是取值。
• 非欧几何：在欧氏圆盘内部实现双曲平面，把"新几何是否自洽"转换成"欧氏几何是否自洽"。推论：相对一致性只能传递可靠性，不能创造可靠性——它并没有证明任何一方无矛盾，只证明了两者同生共死。

模型、一致性与经验不能混在一起#

非欧几何最重要的方法论遗产，是把“公理能否推出矛盾”与“物理空间究竟服从哪套几何”分开。前者属于形式系统：可以通过在另一套几何中构造模型，证明某组公理至少与承载模型的理论一样一致。后者属于测量：需要用光线、轨道或距离数据比较不同几何与动力学共同给出的预测。

因此，发现双曲几何不会自动证明宇宙是双曲的，观测到曲率也不会宣布欧氏几何错误。欧氏几何仍是局部尺度和工程精度下极好的模型。真正改变的是“唯一必然空间”的地位：几何成为一族由公理定义的结构，选择哪一种描述现实，要由尺度、误差与经验共同决定。

恒星光线经过太阳附近的偏折，测的是物理度量，不是公理表上的对错。欧氏几何在实验室尺度仍然够用，因为它是零曲率在小区域里的很好近似。发现一种新几何，和测出我们住在哪一种几何里，是两件分开的工作。

参考文献#

1. Lobachevsky, Nikolai. "On the Principles of Geometry." 1829.
2. Bolyai, János. Appendix Scientiam Spatii Absolute Veram Exhibens. 1832.
3. Riemann, Bernhard. "Über die Hypothesen, welche der Geometrie zu Grunde liegen." 1854.
4. Greenberg, Marvin Jay. Euclidean and Non-Euclidean Geometries. W.H. Freeman, 4th ed., 2008.
5. 梁宗巨. 《数学历史典故》. 辽宁教育出版社, 1992.
6. Rosenfeld, Boris. A History of Non-Euclidean Geometry. Springer, 1988.
7. Riemann, Bernhard. "Über die Hypothesen, welche der Geometrie zu Grunde liegen." Abhandlungen der Königlichen Gesellschaft der Wissenschaften zu Göttingen 13 (1868): 133–152. 戴德金整理；演讲于 1854 年 6 月 10 日。
8. Gray, Jeremy. Worlds Out of Nothing: A Course in the History of Geometry in the 19th Century. 2nd ed. Springer, 2011.