我只想看懂“第五公设为什么重要”
先看欧几里得如何组织证明，再进入那条不够“显然”的公设。
从公理系统开始 →A FIELD GUIDE TO SPACE
一条平行线，改写空间
两千多年里，人们试图证明欧几里得第五公设；最终，他们发现真正需要改变的不是证明技巧，而是“空间只能有一种几何”的直觉。
这不是一份公式目录，而是一张观念地图：从公理出发，沿着平行线分岔，抵达不同的曲率、模型与现代应用。
欧几里得在《几何原本》中把定义、公设、公理与命题组织成一套演绎系统。前四条公设像尺规操作一样直观，第五条却复杂得异乎寻常：当一条直线截两条直线，若同侧内角之和小于两直角，两线延长后会在该侧相交。正是这条陈述，成为两千年争论的入口。[1]
十九世纪的突破并非“推翻欧几里得”，而是承认：若替换平行公设，仍可得到逻辑自洽的几何体系。几何从唯一的世界描述，转变为一族由公理刻画的可能空间；至于物理世界采用哪种几何，则要交给测量与理论。
01 / KNOWLEDGE MAP从公理到宇宙：五个观念节点
点击任一节点进入对应章节。实线表示概念的直接演化，虚线表示历史上的反复试探。
— 观念分岔┈ 历史试探○ 可点击章节
02 / THREE GEOMETRIES同一个问题，三种空间回答
| 比较项 | 欧氏几何 | 双曲几何 | 椭圆几何 |
|---|---|---|---|
| 典型曲率 | 零 | 负 | 正 |
| 线外一点的“平行线” | 恰有一条 | 有无穷多条不相交线 | 没有 |
| 三角形内角和 | 等于 180° | 小于 180° | 大于 180° |
| 直观模型 | 平面 | 庞加莱圆盘 | 球面大圆（需注意椭圆平面的对径点识别） |
≠
不是“谁真谁假”
公理决定体系中的真理；物理测量决定某套几何在什么尺度上适合描述现实。桌面制图常用欧氏近似，全球导航必须处理球面，广义相对论则用随物质与能量变化的时空几何。
03 / READING ROUTES按你的问题选择路径
我想直观看见弯曲空间
用圆盘模型与球面大圆比较角度、距离和“直线”。
进入双曲圆盘 →我关心数学如何确认一种陌生理论没有暗中矛盾
沿着 Beltrami、Klein、Poincaré 的模型思想，理解“相对一致性”：把新几何翻译进已有体系，而不是凭直觉宣告安全。
阅读模型与一致性 →04 / CONCEPT CHECK四个容易混在一起的层次
- 公理
- 规定讨论对象必须遵守的起始关系；它决定“在这个体系里，什么推理被允许”。
- 模型
- 用一批已知对象实现公理。圆盘、上半平面和球面图都属于表示工具，不是从外部拍下的空间照片。
- 曲率
- 描述几何在局部如何偏离平直。正、零、负是典型分类，但真实流形的曲率可以随位置和方向改变。
- 经验测量
- 判断哪套几何在某个物理尺度上更适用。数学上的多种自洽可能，不会替我们完成物理选择。
阅读本库时可以反复问：这一句是在谈形式体系、某个模型，还是现实测量？只要层次不混，许多“空间到底是什么形状”的争论会立刻清晰。