非欧几何专题

一、一条公设的两千年悬案

公元前 300 年前后，欧几里得在《几何原本》开篇列出五条公设，前四条简洁得近乎显然——任意两点可连直线、线段可无限延长、以任意中心和半径可作圆、凡直角都相等。唯独第五公设长得别扭：若一条直线与两条直线相交，且在某一侧构成的两个同侧内角之和小于两直角，则这两条直线不断延长后必在这一侧相交。

这条公设不仅让读者觉得啰嗦，连欧几里得自己似乎都不情愿用它：整部《几何原本》前二十八个命题全部绕开第五公设，直到命题 I.29 才第一次动用。它还有一个更直观的等价形式，由苏格兰人普莱费尔 1795 年整理成今天教科书里的样子：过直线外一点，有且只有一条直线与该直线平行。麻烦在于，“延长到无穷远"是人无法经验检验的——你永远走不到无穷远处去确认两条直线到底交不交。

更麻烦的是它的"牵连面"大得惊人：三角形内角和等于两直角、勾股定理、矩形的存在、相似而不全等图形的存在……这些我们最熟悉的几何事实，每一个都与第五公设等价——否定它，等于同时否定整张熟悉的欧氏图景。于是从古希腊起，一代代数学家都怀疑：这条公设也许根本不是"公理”，而是一条可以由其余公设证明出来的定理。这个问题跟着《几何原本》的抄本从中世纪修道院传进巴格达的智慧宫，又随阿拉伯文献回流欧洲，前后纠缠了人类两千多年。

二、证明者的接力赛

两千年的"证明"尝试，几乎串起一部缩微数学史。天文学家托勒密试过，被普罗克鲁斯（Proclus，410—485 年）在注释《几何原本》时逐条驳倒——但普罗克鲁斯自己给出的证明同样暗中用了等价假设。波斯数学家欧玛尔·海亚姆（约 1048—1131 年）1077 年写专论检讨前人，他考察了一个两腰等长且底角为直角的四边形，分析顶角是直角、钝角还是锐角三种情形；波斯的纳西尔丁·图西 13 世纪也沿着这条路推进。这些工作在文艺复兴时期辗转传入欧洲，直接启发了意大利耶稣会士萨凯里（Gerolamo Saccheri，1667—1733 年）。

萨凯里 1733 年出版《欧几里得无可指摘》，把海亚姆四边形做成锐角、直角、钝角三种假设。他的计划是反证法：设直角假设不成立，推出矛盾，则第五公设得证。钝角假设很快推出矛盾（因为它隐含直线长度有限，与第二公设冲突）；但锐角假设下他推导出大量怪异结论——三角形内角和小于两直角、不存在矩形、两个相似三角形必然全等、共面直线间的关系远非"平行或相交"两种——却始终推不出逻辑矛盾，最后只好宣布这些结论"与直线的本性相悖"，草草收兵。萨凯里站在新几何的门口，亲手摸到门把手，却因为坚信欧几里得唯一正确而没有推门。

瑞士人兰伯特（Johann Lambert，1728—1777 年）1766 年写成的《平行线理论》走得更远：他发现锐角假设下的几何酷似"虚半径球面“上的几何，钝角假设则酷似球面几何，并且证明此时三角形面积正比于它的"角亏”。这位多才多艺的学者还以证明 π 是无理数闻名，他的平行线手稿生前未发表，去世九年后的 1786 年才印行。他已经闻到了新数学的气味，却同样没有勇气宣布一种新几何成立。至于勒让德，则在《几何学基础》一版接一版的再版里反复"证明"第五公设，每一版都被后人找出暗藏的循环论证——他本人倒是证明了一条干净的定理：不用第五公设也能推出三角形内角和不超过两直角，等于在三个候选几何中先划掉了钝角那个。

回看这场两千年的接力，所有"证明"失败的方式惊人地一致：证明者总在某个不经意的步骤里，悄悄用进一个与第五公设等价的假设——“过直线外一点存在唯一平行线"“存在任意大的相似图形"“圆内接正六边形”……第五公设像一面镜子，谁想绕开它，谁就先在镜子里照见自己。

三、罗巴切夫斯基：几何学的哥白尼

第一个敢推门、并且推门之后坚持不道歉的，是俄国人尼古拉·罗巴切夫斯基（Nikolai Lobachevsky，1792—1856 年）。他出身寒微，十四岁入喀山大学，毕业后留校，从助教一路做到教授、校长（1827—1846 年在任），把一所边陲大学的图书馆和天文台都办了起来。1826 年他在校内宣读过包含新几何思想的报告，可惜讲稿散佚；学界公认的非欧几何诞生日是 1829 年——他在《喀山通报》上发表《论几何学原理》，第一次公开、完整地陈述了一套否定第五公设的几何体系。

这套后来被命名为双曲几何的体系里：过直线外一点可以作不止一条直线与已知直线不相交，这些"平行线"分布在以两条临界线为界的扇形内——临界线与已知直线的夹角随点到直线的距离连续变化，罗巴切夫斯基称之为”平行角"，它从欧氏几何里的恒为直角，变成距离的函数；三角形内角和恒小于两直角，且三角形越大、角亏越多，面积存在上限；两条平行线在一侧无限逼近、另一侧无限远离。罗巴切夫斯基不是用哲学腔调空谈，而是老老实实把这套几何的三角公式全部推导出来——他证明双曲平面的三角公式恰好等于把普通球面三角公式里的半径换成虚数所得，这与兰伯特当年"虚半径球面"的猜测精确呼应——从而表明它与欧氏几何一样严密自洽。他 1835 年发表《虚几何学》，1840 年还用德文出版小册子《平行线理论的几何研究》寄往欧洲，希望获得理解。

回应几乎是全军覆没式的冷遇：俄国数学界领军人物奥斯特罗格拉茨基发文讥讽，德国方面只有高斯读得懂——他默默自学俄语跟踪罗巴切夫斯基的工作，却终身没有公开表态。罗巴切夫斯基晚年境遇凄凉，1846 年被解除教职，双目失明后仍不肯放下研究，1855 年口授完成法俄双语的《泛几何学》，次年去世。他生前没有等到承认，直到死后 1868 年贝尔特拉米的模型论文发表，学界才恍然大悟，把他尊为”几何学中的哥白尼"。

四、鲍耶父子与高斯的阴影

几乎同时，匈牙利军官亚诺什·鲍耶（János Bolyai，1802—1860 年）独立得到了同一套几何。父亲法尔卡什·鲍耶是高斯在哥廷根的同窗挚友，自己研究平行公设半生无果，写信劝儿子收手：“它会吞掉你全部的时光、健康、心灵的安宁与生活的幸福。“儿子没有听。1823 年他兴奋地回信：“我从无中创造出了一个全新的世界。“1831 年，他的成果作为 26 页附录排印，次年附在父亲的数学教材《试论》中出版，史称**《绝对空间的科学》**。

法尔卡什把附录寄给高斯，得到的却是数学史上最令人心碎的一封回信。高斯说，他不能称赞这篇文章——”因为称赞它就等于称赞我自己"，文中的思路与他三十余年来的沉思不谋而合。年轻的鲍耶大受打击：自己赌上一切抢跑的发现，巨人早已锁在抽屉里，而巨人连署名的机会都没打算给世人。父子之间也因此生隙——法尔卡什至死半信半疑儿子真有那么大的本事。多年后亚诺什读到罗巴切夫斯基的德文小册子，竟怀疑"罗巴切夫斯基"是高斯的化名。他此后再未发表数学著作，只在身后留下上万页无人整理的手稿，1860 年在默默无闻中去世；非欧几何的优先权，最终以"罗巴切夫斯基—鲍耶"双名并列的方式写进历史。

五、黎曼 1854：几何学的第二次革命

罗巴切夫斯基和鲍耶只回答了"否定第五公设会怎样”，伯恩哈德·黎曼（Bernhard Riemann，1826—1866 年）则把问题连根拔起。1854 年 6 月 10 日，这位 27 岁的讲师在哥廷根做大学授课资格演讲。按惯例他提交三个题目供遴选委员会圈定，年迈的高斯出人意料地挑中了排在第三、黎曼准备最不充分的一个——《论作为几何学基础的假设》。

这场演讲几乎不用公式，却重新定义了"空间”：黎曼提出任意维数的流形概念——空间不再被预设为平直的容器，而是由每一点附近的局部测量拼成的对象；空间的几何由度量（线元 ds² 的系数矩阵）决定，而度量可以在不同位置变化——空间的曲率逐点可变。常曲率空间恰好有三种：曲率为正是球面型的椭圆几何（不存在平行线，三角形内角和大于两直角），为零是欧氏几何，为负则是罗巴切夫斯基的双曲几何。换句话说，此前两千年争论的"平行线唯一性”，只是"空间曲率为零"这个特殊选择的推论；而"空间究竟属于哪一种"，在黎曼这里第一次成为一个需要测量而非思辨的问题。据在场的物理学家韦伯回忆，高斯听完演讲后激动异常——老人知道自己抽屉里的草稿，被一个年轻人远远超越了。这篇演讲 1868 年才正式发表，随即成为贝尔特拉米、克利福德乃至爱因斯坦的出发点。

六、模型、相容性与物理学

新几何要取信于人，光靠公式自洽还不够，最好能"看见"。1868 年意大利人贝尔特拉米（Eugenio Beltrami，1835—1900 年）证明：罗巴切夫斯基的平面几何可以完全实现在伪球面（一种常负曲率的喇叭形曲面）的局部上——双曲几何的每个定理都能在欧氏空间的这块曲面上找到对应物。1871 年克莱因借助凯莱的射影度量给出圆盘模型（“双曲"“椭圆"这对几何名字就是他起的），1882 年庞加莱在研究富克斯函数时给出另一个圆盘模型——双曲直线是垂直于边界的圆弧，整个无限的平面被装进一个圆盘里，越靠边缘格子越密。荷兰版画家艾舍尔那些鱼群一圈圈围拢、在边界处无限变小的名作《圆极限》，画的正是庞加莱圆盘上的双曲世界。

模型的意义远超直观：它们构成相对相容性证明——模型里的点、线、距离全都能翻译成欧氏几何的语言，双曲几何中若藏着矛盾，翻译回去就是欧氏几何自身的矛盾。于是结论干净利落：如果欧氏几何是相容的，那么双曲几何也是相容的。两千年"证明第五公设"的努力至此盖棺定论：它独立于其他公设，既不可证真也不可证伪，选它还是不选它，取决于你要描述什么样的空间。1901 年希尔伯特又补上了最后一块边界：他证明任何完整的常负曲率曲面都无法光滑地嵌入三维欧氏空间——伪球面只能是局部实现，想"整片看见"双曲平面是不可能的，抽象模型因此不可或缺。

新几何很快越出纯数学的围墙。英国数学家克利福德 1870 年把黎曼的演讲译成英文并热情推广，断言引力与电磁或许都是空间弯曲的表现——比爱因斯坦早了四十多年。1915 年爱因斯坦的广义相对论给出了物理学的裁决：引力就是时空的弯曲，黎曼几何从抽象纸面走进真实的宇宙，1919 年爱丁顿率队观测日全食，星光掠过太阳边缘的偏折与理论吻合——牛顿的平直空间，从此让位于弯曲时空。

七、从异端到常识

非欧几何的冲击远超几何学本身。康德 1781 年在《纯粹理性批判》里宣称欧氏空间是人类先天直观的唯一形式，非欧几何的相容性证明等于釜底抽薪：空间的性质不再是哲学独断的对象，而成了可以测量、可以比较的经验问题。后世流传高斯曾测量三座山峰间大三角形的内角和以检验空间曲率，这个故事没有可靠文献支持——那些测量数据来自他的大地测量本职——但它传神地道出了时代的觉醒：几何学从"关于空间的先验真理”，变成了"关于空间的可检验假设”。

数学内部的后果同样深远：几何不再只有一种，公理系统变成可以自由选择的游戏规则，这直接催生了 19 世纪末希尔伯特的《几何基础》（1899 年）——他把点、线、面定义为满足五组公理的任意对象，“桌子、椅子、啤酒杯"都能代入，公理化方法从此成为现代数学的标准语法；克莱因 1872 年的埃尔朗根纲领更进一步，用变换群给五花八门的几何分类排队，使"研究在某种变换群下不变的性质"成为定义一种几何的统一方式。一条被怀疑了两千年的公设，最终炸开了整个 20 世纪数学与物理的大门。