第二部分 · 形与空间

公理是选择：从欧几里得到非欧几何

数终于够用了，于是我们转身去看"形状"。几何凭什么可信——靠"画出来看着对"吗？欧几里得给出更狠的答案：选几条出发点，剩下的全推出来。可这盘棋里有颗两千年搬不动的钉子（第五公设）；当有人终于敢否定它，长出的不是矛盾，而是一整个新世界——也改写了"真理"二字。

几何也需要地基

第 01 课我们尝到"证明"的滋味：断言"素数有无穷多个"，光举例不够，必须有无懈可击的推理链。但那时的证明还是孤立的好招。欧几里得（约公元前 300 年）问了更大的问题：能不能把整个几何，从极少数出发点一路推出来？

这背后有个绕不开的逻辑难题：要证 A 得先用 B，B 又靠 C……追下去要么无限回退（永远证不完），要么转圈（用 A 证 B 又用 B 证 A）。唯一的出路是承认有一小撮命题不去证明、直接当出发点——它们就是"公理/公设"。所有别的结论都从这撮出发点推出来。这就是几何的地基。

《几何原本》：从公理长出整座大厦

欧几里得把这想法写成《几何原本》，当了两千多年的教科书。结构干净得惊人，只有四类东西：定义（说清词义："点是没有部分的东西"）、公设（五条几何作图的出发点，本课主角）、公共概念（一般逻辑常识，如"整体大于部分"）、命题（由前三者一条条推出来的定理，共 465 条，环环相扣）。

关键在那个"推"字：第 1 条命题只能用定义和公设，第 47 条（勾股定理）要踩着前面几十条的肩膀。整本书就是一台机器——喂进去几条公设，吐出来整座几何宇宙。

前四公设心服口服，第五公设那颗钉子

前四条公设简短、直观、几乎不容争辩：① 两点定一线段；② 线段可沿原方向无限延长；③ 给定圆心半径能画圆；④ 所有直角彼此相等。你读一遍就点头："这不是废话吗？"——这正是公设该有的样子：短、明白、一看就接受。

然后是第五条。它有一个好懂的等价说法（后世称平行公设）：

"恰好一条"听着顺，可仔细想：要验证两条线"永远不相交"，得把它们朝两边延伸到无穷远去检查。前四条说的都是手边能画出来的事，唯独第五条要你对"无限远处会发生什么"下断言——这就是它不对劲的根源。它太长、太绕，不像常识，倒像一条需要证明的定理。欧几里得本人似乎也别扭，硬撑到第 29 条命题才第一次请它出场。

既然它这么像定理，数学家自然起念：能不能用前四条把第五条推出来？接力赛跑了两千年——托勒密、普罗克洛斯、奥马·海亚姆、萨凯里、勒让德……全部失败。而且失败得狡猾：许多"证明"一查，都在某步偷偷用了一个跟第五公设等价的假设（如"三角形内角和 = 180°"），等于在用第五公设证第五公设，原地转圈。

换一招：与其证明，不如否定

十九世纪初，几个人几乎同时想到一个大胆的反招——反证法。逻辑是：如果第五公设真是前四条的必然结果，那么"否定它、保留前四条"就该在某步推出自相矛盾；找到那个矛盾，就等于间接证明了它。于是他们故意假设它的反面（"过线外一点可作不止一条平行线"），埋头往下推，满心期待踩到逻辑地雷。

可推着推着，地雷始终没响。定理一条接一条冒出来，奇怪、反直觉，却处处自洽。他们没炸毁大厦，反而盖起一座新的。这扇门几乎被同时撞开：高斯私下早已走到这步却锁进抽屉不敢发表（怕被当成疯子）；俄国的罗巴切夫斯基 1829 年公开发表"过线外一点有无穷多条平行线"的几何（今称双曲几何）；匈牙利青年鲍耶独立做出同样发现。三个人从不同方向敲开同一扇此前被认为"不存在"的门——这本身就说明：新几何是逻辑里本来就等着被发现的东西。

到球面上看"直线"

双曲几何画起来不直观，换个我们天天踩着的例子：地球表面（另一种非欧几何——球面几何，对应"一条平行线都没有"）。先想清楚：球面上"直线"是什么？"直线"的本质是两点间最短路径；在球面上，那是沿大圆（圆心就是球心的圆，如赤道、所有经线）走的弧。坐过国际航班的人都见过：飞机在地图上走的不是直线，而是朝北弓起的弧——那正是大圆。

现在看平行公设：所有经线在赤道上都互相平行（都垂直于赤道），可顺着往北走，它们统统在北极交汇！本该"永不相交"的平行线相交了。三角形更妙：取赤道上两点和北极，两条经线与赤道各成 90°，光这两个底角就凑齐 180°，再加北极的角——

把三种几何并排，关节就看清了——同样是"直线""平行""三角形"，在不同公设下意思完全不同：

三套几何都从同样的前四条出发，只是第五条选了三种版本，各自内部完全自洽，谁也不比谁"更对"。"几何只有一种"这个两千年的成见，碎了。下面的小实验让你亲手切换曲率，看同一个三角形的内角和如何变脸。

哲学地震：从"真"到"自洽"

这件事的冲击远超几何本身。此前两千多年，大家默认《几何原本》描述的是宇宙唯一真实的空间，公理之所以是公理是因为它们"显然为真"；康德甚至论证欧氏空间是人类认识世界的先天框架。非欧几何一出，这套信念崩了：既然双曲、球面几何同样无矛盾、同样能盖出宏伟大厦，欧氏几何就不是宇宙的唯一真理，只是一种选择。

请记住"自洽"这条线索——它会一路牵着我们走：到第 13 课康托尔造出"不同大小的无穷"，到第 14 课罗素发现连"集合"的地基都会自相矛盾，再到第 15 课哥德尔的终极一问——一套系统能不能证明它自己无矛盾？非欧几何，是这条长线上的第一声惊雷。

常见误解

• "公理是因为它'显然为真'才被选中的。"
  不是。公理是我们约定的出发点，为的是停止"用什么证什么"的无限回退。它的身份是"协议"，不是"被发现的真理"——第五公设的故事正把这点撕开给你看。
• "几何只有一种，就是中学学的那种。"
  "中学那种"（欧氏）只是选了某条第五公设的结果。换一条公设，就是另一种同样自洽的几何。
• "证明就是把图画准。"
  恰恰相反，欧几里得整个工程就是要摆脱对图的依赖。图只是直觉的拐杖；真正可信的是从公设出发、不靠眼睛只靠逻辑的推理链。画得再准也只是一个例子。
• "球面几何只是球面上的小把戏，跟真实空间无关。"
  大错。爱因斯坦的广义相对论说物质与能量会弯曲时空，引力就是物体沿弯曲时空的"测地线"滑行；光掠过太阳会偏折，已被反复观测证实。非欧几何，正是描述真实宇宙所必需的语言。