费马写在页边的那句话：一个困惑数学界 358 年的问题

故事

史实 起点就在课本上：满足 $x^2+y^2=z^2$ 的正整数组有无穷多，$3$、$4$、$5$ 是最小的那组。这类数组叫勾股数，人们很早就知道怎么造出无穷多个。

有争议 1637 年前后，费马在读《丢番图算术》时于页边写了一句话，大意是：把平方换成更高次的幂之后，就找不到这样的正整数解了，他确信已发现一种美妙的证法，可惜这里空白太小写不下。这句话是否意味着他真的有证明，学界普遍持怀疑态度——更可能的是他以为自己证明了。

史实 1670 年，费马的儿子把父亲的批注整理出版，这句话才流传开来，成了一个公开的悬赏问题。此后三百多年，无数人尝试过，也确实推进了大量数学，但问题本身一直挂着。

史实 1995 年，怀尔斯发表了完整证明。从 1637 到 1995，正好 358 年。值得注意的是，证明所用的椭圆曲线与模形式等工具，是 20 世纪的数学，费马时代根本不存在。

有争议 「费马当时已有初等证法」是浪漫的假设，但大多数学者认为不成立：三百多年间无数一流数学家都没能找到初等证明，这本身就是很强的反证。

时间线怎么看

三个节点之间隔着几百年的空白，而这正是这条时间线最该说明的东西：一个问题可以「被提出」很久之后才「被解决」，中间靠的是整个数学领域的成长，而不是某个人的灵光一现。读数学史时，长空白往往比密集的事件更有信息量。

与数学的关系

它和课本的关系只有一步：$x^2+y^2=z^2$ 有无穷多组正整数解，而把指数改成 $3$、$4$、$5\cdots$ 之后，一组也没有。同一个外形，指数一变，答案完全翻转。这种「小改动导致大变化」的情形，在数学里反复出现，也是练习判别式、讨论参数时最值得留意的直觉。

它还是「举例 ≠ 证明」的最好教材。人们用计算机试过非常大的数，始终没有找到反例，但这不是证明；真正的证明要说明为什么在所有情况下都不可能，而不是在试过的范围内没出现。

反过来，勾股定理那一侧也值得再确认一次：$3$、$4$、$5$ 只是一个例子，定理说的是任意直角三角形都有这个关系。两侧合起来看，正好把「举例」与「证明」的区别讲清楚了。

还能往哪里读

如果想继续，可以看勾股定理的逆定理（如何判断直角三角形），以及它的延伸：平面直角坐标系里的距离公式，其实也是这个关系换了一身衣服。

说法与史实