古代定理和现代问题

本章核心

本章用一个古老的数学定理打开一个现代问题：勾股定理为什么不仅是几何命题，而且会牵涉到我们如何理解物理空间。

彭罗斯借勾股定理说明，数学证明能够给出超越经验测量的确定性；又借无理数和物理空间的问题提示我们：数学空间和真实空间之间并不是简单等同。

本章的核心是：

一个看似初等的几何定理，已经包含了“数学结构如何对应物理世界”的深层问题。

本章主线

本章主线
直角三角形 → 勾股定理 → 几何证明 → 无理数 → 物理空间是否真按欧氏几何组织

彭罗斯先从勾股定理进入，因为它是数学确定性的典型例子：一旦证明成立，它就不依赖某一次测量是否准确。

但问题随即变深：如果一个边长为 1 的正方形，其对角线长度是 √2，那么这个长度不能写成两个整数之比。也就是说，最简单的几何图形已经迫使我们承认“无理数”这样的数学对象。

于是古代定理通向现代问题：真实物理空间是否真的具有这种连续、精确、欧氏化的数学结构？

关键概念

勾股定理

勾股定理说，在直角三角形中，两条直角边平方和等于斜边平方。

形象地说，它不是只告诉你三条边的长度关系，而是在告诉你：直角、长度、面积之间存在一种稳定的几何结构。

它对后文重要，是因为它把“空间中的形状”转化为“数之间的关系”。这正是数学物理的基本动作：把物理或几何直觉变成可计算、可证明的结构。

证明

本章中的证明不是为了展示技巧，而是为了显示数学真理和经验事实的区别。

测量一个直角三角形，你只能得到近似结果；证明勾股定理，你得到的是必然关系。

这一区别会影响后文所有物理理论：物理定律必须接受实验检验，但一旦被数学化，它内部的推论就由数学结构严格控制。

无理数

无理数是不能写成两个整数之比的数，例如 √2。

形象地说，无理数打破了一个古老直觉：世界上的量似乎都可以用整数比例来表达。但正方形对角线告诉我们，即使在最简单的几何中，也会出现无法化成整数比例的长度。

这说明数学世界比直接经验更深。我们不是先在日常生活中“看见”无理数，而是在结构推理中被迫承认它。

欧氏空间

欧氏空间是我们最熟悉的平直空间模型。在这里，直线、角度、距离满足通常的几何规则，勾股定理成立。

但物理空间是否严格等同于欧氏空间，是另一个问题。后来的相对论会告诉我们，引力场中的时空可以弯曲，欧氏几何只是某些局部或近似条件下的描述。

后文对应

本章建立了一个关键过渡：

几何定理 ↔ 物理空间的数学模型

本章数学结构	后文对应的物理意义
勾股定理	空间距离的基本关系
几何证明	物理理论中“由结构推出结果”的方式
√2 与无理数	连续量、实数体系、测量精度问题
欧氏几何	平直空间的理想模型
物理空间问题	后文非欧几何、相对论和弯曲时空的入口

本章真正重要的地方在于，它没有停留在“勾股定理很美”。彭罗斯要借它提出一个更深的问题：

数学中的理想空间，和我们身处的物理空间，到底是什么关系？

问题与预告

本章要你抓住五点：

1. 数学证明给出的是确定关系，不是经验近似。
2. 勾股定理把几何形状转化为数的结构。
3. 无理数说明数学对象可能超出日常直觉，却由结构强制出现。
4. 欧氏几何是理解空间的强大模型，但未必就是物理空间的最终结构。
5. 本章已经把读者带到现代物理的门口：空间本身是否具有更深的数学结构？

本章留下的核心问题是：

真实物理空间是严格的欧氏空间，还是只在某种近似下表现得像欧氏空间？

下一章会从整数、有理数、实数等数系的扩展出发，继续追问：物理世界中的量，为什么需要越来越丰富的数学对象来表达。