3.1 从欧氏几何到非欧几何

3.1 从欧氏几何到非欧几何

本节摘要：第五公设（平行公设）两千年无法从其余公理证明，十九世纪罗巴切夫斯基与鲍耶证明否定它同样自洽，非欧几何诞生；黎曼进一步把曲率内建进几何，为广义相对论铺好舞台。本节用球面三角形的角度实验测"正曲率"、用数值仿真看双曲几何的"负曲率"，最后讲清"公理是选择而非描述"这一哲学转变。

一条两千年没解开的公理

《几何原本》五条公设里，第五条格外臃肿：同平面内一条直线和另外两条直线相交，若在某一侧的两个内角和小于两直角，则这两直线经无限延长后在这一侧相交。历代数学家都觉得它更像定理而非公理，从托勒密到勒让德，两千年间无数"证明"轮番登台又轮番被查出暗用第五公设本身。转折点是一个逆向思维的胜利：与其证它，不如换掉它再看会不会矛盾。罗巴切夫斯基与鲍耶在 1830 年代各自宣布：用"过直线外一点至少有两条平行线"替换后，系统同样自洽。黎曼再进一步，取"不存在平行线"的版本，得到球面式几何。三种几何的对照如下：

球面上的实验：角度盈余是曲率的账单

在球面上取两条经线加一段赤道围成三角形：两个底角各九十度，顶角是两条经线的夹角——内角和明显超过一百八十度，且三角形越大超出越多。高斯—博内定理把这笔账算清：内角和减去一百八十度，等于曲率乘面积。用球面三角公式做数值实验：

import math

def sphere_triangle_excess(area_frac):
    # 球面上面积为 4*pi*R^2 * area_frac 的三角形，角度盈余 = area/R^2
    R = 1.0
    return area_frac * 4 * math.pi / R**2   # 高斯-博内定理的球面版

for frac in [0.05, 0.1, 0.25, 0.5]:
    excess_deg = math.degrees(sphere_triangle_excess(frac))
    print(f"占全球面积比例 {frac:.2f} -> 内角和超出 {excess_deg:.1f} 度")
# 输出：18、36、90、180 度——半球"三角形"（三条大圆围成）内角和可达 360 度
# 验证方向：面积越大、盈余越大，正曲率在"收税"
​

# 球面余弦定理反解一个具体三角形的三内角
def spherical_angles(a, b, C):
    # 三边 a、b 与夹角 C 已知，用球面余弦定理求第三边，再反推其余两角
    cos_c = math.cos(a) * math.cos(b) + math.sin(a) * math.sin(b) * math.cos(C)
    c = math.acos(cos_c)
    cos_A = (math.cos(a) - math.cos(b) * math.cos(c)) / (math.sin(b) * math.sin(c))
    cos_B = (math.cos(b) - math.cos(a) * math.cos(c)) / (math.sin(a) * math.sin(c))
    return math.acos(cos_A), math.acos(cos_B)

A, B = spherical_angles(math.radians(60), math.radians(60), math.radians(90))
total = math.degrees(A + B + math.radians(90))
print(f"三内角和 = {total:.2f} 度")   # 约 270 度，显著大于 180
​

双曲几何方向相反：内角和小于一百八十度，且不存在相似而不同大小的三角形——面积由角度唯一决定，这条反直觉性质在双曲几何里是定理。

三种几何的曲率与平行行为对照

黎曼：把曲率写进几何的基因

黎曼 1854 年的就职演讲把这场革命推到底：流形自带度量，曲率可以是逐点变化的量，欧氏几何只是曲率处处为零的特例。半个世纪后，爱因斯坦问"引力的数学语言是什么"，闵可夫斯基与黎曼的框架正好在场：物质决定时空曲率，曲率决定测地线，光线与自由落体都沿测地线走。数学史上一条屡试不爽的规律在此显形：为纯粹目的发展的抽象结构，几十年后常被物理学高价收购。

用弧长公式感受"曲率逐点可变"：

import math

def arc_length(f, deriv, a, b, n=10000):
    # 曲线 y=f(x) 在区间上的弧长：黎曼和逼近积分（第 3.3 节的前奏）
    total, dx = 0.0, (b - a) / n
    for i in range(n):
        x = a + (i + 0.5) * dx
        total += math.sqrt(1 + deriv(x)**2) * dx
    return total

# 抛物线弧长：解析解可对照 1.4789... 
print(f"{arc_length(lambda x: x*x/2, lambda x: x, 0, 1):.4f}")
# 数值 1.4789：曲率沿曲线变化，弧长积分把每个局部贡献累加——黎曼几何的微缩模型
​

公理是选择，不是描述

非欧几何的哲学冲击比技术细节更重要：几何公理不再是"物理空间的写真"，而是"可选的规则集"。数学提供目录（欧氏、双曲、椭圆、以及无穷多黎曼流形），物理学负责挑选与检验——广义相对论实验支持了"大质量天体附近时空正弯曲"。对工程师的启示同样具体：地图投影（球面到平面必然失真）、游戏世界的双曲空间渲染、网络嵌入的几何模型，都在不同的几何选择间做权衡。欧氏几何好算但不唯一真实，这句线应该写进每个与几何打交道的人的笔记本。

⚠️ 常见误读："非欧几何证明欧氏几何错了"。正确表述是：欧氏几何作为公理系统完好无损，只是它对物理空间的垄断地位被推翻。

本节要点回顾

• 第五公设两千年不可证，换掉它同样自洽，非欧几何由此诞生；
• 三角形内角和是曲率的探针：正曲率超出、负曲率不足，高斯—博内定理算清这笔账；
• 黎曼流形把曲率内建进几何，成为广义相对论与现代几何的通用语言；
• 公理从描述变成选择，数学提供空间目录，物理负责挑选；
• 工程落点：地图投影必失真、球面计算须用球面三角而非平面近似。

空间的"刚性"被解除之后，下一节更进一步：连距离都不要了，只看连通与洞——拓扑学登场。