高斯 vs 波尔约：非欧几何的发现

对话背景#

这场对谈没有发生过。卡尔·弗里德里希·高斯（Carl Friedrich Gauss, 1777–1855）与亚诺什·波尔约（János Bolyai, 1802–1860）没有就非欧几何当面争执。通信走的是亚诺什的父亲法卡什——高斯在哥廷根的同学。

1823 年 11 月 3 日，亚诺什从泰梅什堡写信给父亲：「我从虚无中创造了一个新的、别样的世界。」此前法卡什已警告他不要去碰平行线：「我量过这无底的夜。」1829 年稿子大体写成。1832 年它作为二十六页附录印在法卡什的《尝试》（Tentamen）里，拉丁标题是 Appendix scientiam spatii absolute veram exhibens——「展示绝对真实的空间科学的附录」。1831 年 6 月寄出的第一本丢失。高斯 1832 年 1 月收到第二本，3 月 6 日回信给法卡什。

高斯本人从未发表非欧几何专论。1829 年 1 月 27 日他致贝塞尔：「我怕博奥提亚人的叫嚣。」致法卡什的那封信里，他没有把「第一流天才」这种句子写给亚诺什本人——那句话写在 1832 年 2 月给格尔林的私信里。下面按已写出的信件与印出的附录展开，不补造一次哥廷根的会面。

第一幕：平行公设的困惑#

高斯：波尔约先生，我们并不坐在同一张桌边。你的附录我是从你父亲手里读到的。先把欧几里得第五公设说准确。原文比后来的「过直线外一点恰有一条平行线」啰嗦：两直线被第三线所截，若同侧内角之和小于两直角，则两直线在该侧相交。两千年来有人想从其余公设把它推出来。都失败了。

波尔约：我父亲也失败过。1820 年前后他写信禁止我走这条路：它会夺走闲暇、健康与一切生活之乐。我不听。先试着证明。证明不成，就反过来问：若它不成立，剩下的几何还能否自洽。

高斯：这正是「反欧几里得」几何的入口。否定的方式有两种。一种是过点没有平行线——那是椭圆型的方向。一种是过点有多于一条不与已知直线相交的线。你走的是后一条。

波尔约：1832 年印出的那二十六页，把第二种做成一套可以推演的系统。我称之为绝对空间的科学：先写下不依赖平行公设的命题，再看平行公设作为额外选择会分出哪两支。1823 年我对父亲说，此前寄给他的东西比起这个，只是纸牌屋比起塔。

高斯：塔的图样我并不陌生。这一点我们稍后必须谈。先谈你系统里那些不再像欧几里得的定理。

第二幕：双曲几何的发现#

波尔约：过直线 $l$ 外一点 $P$，有无穷多条不与 $l$ 相交的直线。其中两条是临界的：它们与 $l$ 在无穷远处渐近。其余更「远离」的，与 $l$ 有公垂线。欧氏几何里平行线之间距离恒定。这里不是。

高斯：三角形也不再是原来的三角形。内角和小于两直角。角亏越大，面积越大。我在 1832 年 3 月给你父亲的信里，附过一个证明：在这种几何里，三角形面积是角亏的函数。公式可以写成

$$A = k^{2}(\pi - \alpha - \beta - \gamma)$$

$k$ 是一个由系统决定的长度常数。欧氏几何相当于 $k$ 趋于无穷。

波尔约：相似而不全等的三角形，在这里消失。角相同则面积相同，因而边也相同。这不是古怪的推论。它说明：长度有了绝对尺度，尺度由曲率给出。欧氏几何里没有这种内在的尺。

高斯：负常曲率。名字是后来的。内容已经在你的绝对几何里。球面几何给出另一端：内角和大于两直角，面积与角盈成正比。你把两端中间的那条「恰为两直角」降成了特例。

波尔约：特例仍可用。测量员每天都在用。问题是：它是逻辑必然，还是一种选择。

第三幕：高斯的秘密#

波尔约：我父亲说，您早已在做同一件事。1832 年 3 月 6 日那封信，是写给他的，不是写给我的。我读到的是抄件。

高斯：信上的句子我认。我说：若我一开始就写「我不能称赞它」，你会愣一下；可我没有别的说法；称赞它等于称赞我自己；全文的内容、你儿子走的路、得到的结果，与我三十到三十五年以来的思索几乎完全一致。我因此极为震惊。

波尔约：震惊是您的。被先行宣布的人是我。

高斯：同一封信里我也写了：就我自己那份工作而言，我本不打算在有生之年发表。多数人没有真正的感觉，去理解这里缺的是什么。我遇到过的、对此特别关心的人很少。我曾打算以后写下来，以免与我一起消失。如今这番劳作被省掉了。我高兴的是：恰好是我老朋友的儿子，以如此非凡的方式走在了我前面。

波尔约：「走在我前面」听起来像祝贺。读下来像是：世界本来会从您的抽屉里得到这份几何。我只是让您少抄一遍。

高斯：1829 年 1 月 27 日我给贝塞尔写过另一句，你当时读不到：我怕博奥提亚人的叫嚣——怕把话说全了会惹来的喧哗。博奥提亚人是雅典人对迟钝邻人的称呼。康德把欧氏空间写成先验形式之后，公开否定平行公设，会被当成对理性本身的冒犯。这是我拖延的理由。它不是对你的附录的判决。

波尔约：数学家的职责是把定理交出来，不是管理喧哗。您把喧哗估得比二十六页更重。

第四幕：优先权之争#

波尔约：信里说「重合」。重合是谁先发现的另一种说法。

高斯：重合不是偷窃。我相信你独立完成了它。独立与「我早已走到附近」可以同时为真。数学里这种事并不罕见。

波尔约：罕见的是：唯一读得懂的人，用一封给父亲的信把优先权收回到自己的抽屉里。您没有把附录介绍给科学院。您也没有公开写出自己的稿子来对质。世界将只记得：高斯早就知道。波尔约是注脚。

高斯：我没有在那封信里写「第一流天才」。1832 年 2 月我给格尔林的私信里写过类似的话。那封信当时不是给你的。我没有义务把私下游的评语，改写成一份公开发表的推荐。发现不是竞赛——这句话你不会接受。可优先权若只能靠我的名声来担保，它从一开始就绑在错误的柱子上。

波尔约：名字是数学家能留下的几乎唯一遗产。您的名字太大。它会把我的名字盖住。这不是我多疑。这是权力的算术。

高斯：算术我懂。我仍不把未发表的思索当成可以拿去对抗已印出的二十六页的产权证。你印出来了。我没有。公开记录上，附录是你的。我能给的，是一封让你父亲又荣光又受伤的信。我知道它会伤人。我还是那样写了。

第五幕：几何学的革命#

高斯：意义不止优先权。两千年来欧氏几何被当成空间唯一可能的描述。你的系统若自洽，平行公设就不是逻辑必然。它是一条可以更换的选择。哲学上的打击在这里：空间的形式不再能先验地唯一确定。

波尔约：自洽我是在系统内部看见的：推演不导向 $1=0$。绝对的证明——证明「推不出矛盾」本身——我给不出。欧氏几何同样给不出。两套几何此时地位对称。对称已经足够推翻「只有一种」。

高斯：1827 年我印了《曲面的一般研究》。测地三角形的角盈等于它所对应的球面面积。曲率不必是常数。你的双曲几何是常负曲率的特例。1854 年黎曼的就任演讲我听过——那是我生命的最后一年。他把任意维、任意曲率的度量写成下一步。你未必读到那份讲稿。不应把后人的微分几何，倒填进 1832 年的附录。

波尔约：附录只做了一件事：把平行公设从「必须」降成「可选」。可选已经改变几何是什么。几何不再是对唯一空间的描写。它是一组公理的推论。

高斯：描写物理空间，变成另一项任务。任务交给测量与物理学，不交给先验演绎。

第六幕：物理空间的几何#

高斯：我们生活的空间是哪一种？欧几里得的、你的，还是球面型的？

波尔约：这是经验问题。公理不管经验。经验管哪一套公理被世界选中。

高斯：汉诺威大地测量里有一个大三角形：布罗肯、霍恩哈根、因塞尔斯贝格，边长大约六十九、八十五、一百零七公里。1827 年论文第 28 节写下球面角盈约 $14''.85$。那是把地球当曲面来算的角盈，用来检查测地网。后世有人说，我在用它检验三维空间本身是不是欧几里得的。我当时发表的文本没有把这句话写出来。史学界对此有争论。不要把后来的故事当成我的实验记录。

波尔约：即便不是那一次测量，问题仍在。地球尺度上欧氏几何极其近似，不排除宇宙尺度上有可测的曲率。

高斯：1831 年我给阿尔托纳的舒马赫写信：由实验可知，那种反欧几何里的常数必须大到无法与我们能测量的一切相比；欧氏几何里这个常数是无穷。这句话是我愿意写下的限度。限度以内，欧氏几何作为实用几何仍然成立。限度本身已经是非欧几何的一句话：常数可以有限，只是极大。

第七幕：独立发现的命运#

波尔约：我写出那套几何时二十一岁。我以为这是一生最重要的工作。您的信让它变成：一项已被更伟大的人想过、只是尚未公布的事情。

高斯：我没有否认你独立。独立的工作被别人更早想过，痛苦仍然真实。痛苦不改定理。

波尔约：1848 年我读到罗巴切夫斯基。他 1829 年在喀山发表。原来抽屉里不止您一个。春天的紫罗兰——我父亲用过类似的比喻——会在许多地方同时开。同时开放没有安慰。它只说明：即便我不写，别人也会写。我仍要问：为什么读得懂的人选择不把路让开。

高斯：罗巴切夫斯基的名字会与你的名字并列。这不是我能签发的证书，是后来读史的人会看见的结构。非欧几何的出现有其必然：第五公设久攻不下之后，剩下的合理步骤就是更换它。必然不取消个人的代价。

波尔约：代价是：附录几乎无人问津。我后来没有再出版数学书。手稿积累了上万页。印出来的仍是那二十六页。您本可以让二十六页被欧洲听见。您选择了给父亲写一封「我不能称赞」的信。

高斯：我选择不在有生之年把自己的稿子投进喧哗。这个选择伤害了你。我可以承认伤害，而不把拖延改写成美德。拖延是恐惧与谨慎的混合物。混合物里有多少是对哲学潮流的估计，有多少是对优先权的含糊保存，我自己未必分得清。后人会分。

第八幕：几何学的统一#

高斯：你的工作、罗巴切夫斯基的工作，以及我未发表的思索，把几何从唯一空间的科学，变成公理的科学。空间可以弯曲、可以换维、可以先不谈「真正的空间是哪一个」。真正的空间交给物理去争。几何先把可能性列出来。

波尔约：列出来之后，「空间的本质」就不再是一张可以先验填完的表。本质变成开放问题。平行公设曾经像石头。我们证明它是开关。

高斯：质疑最深的直觉，是数学还配这个名字的原因。你在二十一岁做了这件事。我在信件里做了这件事。信件不是发表。发表是一种伦理。在这一点上，你比我干净。

波尔约：干净没有阻止世界把故事写成高斯的预感。我能要求的，只是附录仍在。二十六页还在纸上。纸比预感硬。

分析#

1832 年 3 月 6 日那封信的措辞必须按句子读，不能按后来的美谈读。「我不能称赞」不是谦辞，是把附录收进自己三十年思索里的一次句法操作。后面的「老朋友的儿子以非凡方式走在我前面」是真的高兴，也是真的把发表权说成自己本可行使、如今被省掉的负担。亚诺什读出被剥夺，不是过敏。高斯写给格尔林的「第一流天才」没有出现在亚诺什读到的那封信里。把这句私评当成当面对他说过的赞美，是常见的添油。

「我怕发表」的原文更靠近 1829 年致贝塞尔的「博奥提亚人的叫嚣」，而不是致法卡什信里那句「多数人不理解」。两者相关，不是同一句话。大地测量的大三角形是否意在检验物理空间的欧几里得性，文本证据不足：1827 年论文把它当作地球曲面上的测地算例。角盈 $14''.85$ 首先是球面几何的预期值。把它升级为一次宇宙学实验，是后世的传说，应当标明。

黎曼 1854 年、爱因斯坦的广义相对论，都不属于 1832 年的附录。它们属于这条公理革命的后史：一旦空间可以弯曲，引力才有可能被写成曲率。后史不能倒填进高斯与波尔约的对白。

核心分歧#

争点首先不是三角形内角和，而是发现的公开责任。高斯认为数学家有权把尚未被公众准备好的真理留在抽屉里；波尔约认为印出二十六页就是把真理交给公共记录，读得懂的人没有权利用「我早已想过」把它收回。次一级的分歧是空间：欧氏几何是唯一可能，还是一组可替换的公理。在第二点上两人其实站在一起。第一点上他们没有和解。

当代启示#

非欧几何使「公理即空间真理」这条锁链断了。广义相对论把断链后的几何接进物理：物质告诉时空如何弯曲。当代宇宙学用微波背景与大尺度结构约束空间曲率，观测上接近平坦，仍留有小的正或负的余地。数学内部则走得更远：微分几何、代数几何、洛伦兹几何，各自有自己的「空间」一词。多样性是 1832 年那二十六页的遗产。优先权的创伤是另一份遗产：未发表的天才，保护不了已经发表的年轻人。

延伸思考#

• 若高斯在 1820 年代发表，亚诺什还会写出附录吗？数学史会更公正，还是只是换一个被遮蔽的人？
• 物理空间的几何能否被最终测定，还是只能被越来越紧地约束？
• 「我不能称赞，称赞等于称赞我自己」——这是最高的承认，还是最有效的收编？

延伸阅读：János Bolyai, Appendix scientiam spatii absolute veram exhibens（1832）；高斯致法卡什·波尔约，1832 年 3 月 6 日；高斯致贝塞尔，1829 年 1 月 27 日；高斯《曲面的一般研究》(1827)；N. I. Lobachevsky, 1829 年喀山论文；F. Klein, 《非欧几何》讲义