第5章 可惜这里空白太小，写不下

  费马定理的题目很简单：

  【当整数 n > 2时，x?+y?=z?没有正整数解。】

  这是300多年前，一名叫做费马的法官、一位业余的数学爱好家提出来的。

  不过由於费马生前未发表该定理，他去世后，后代在整理其数学书籍时才被后人发现。

  偏偏费马本人还在自己日记中记录下了最气人的一句话：【我確信已发现了一种美妙的证法，可惜这里空白的地方太小，写不下。】

  但后人也发现，费马本人的日记中，也留下了n=4的证明方法。

  隨后的无数年，很多顶级的数学家意图证明整个定理。

  欧拉证明了当n=3的时候成立；

  勒让德证明了n=5；狄利克雷证明了n=14.......

  高斯则表示对这个证明不感兴趣，但后人却在其笔记中发现了大量相关的证明算法。

  人类歷史上，光是公开有成就的顶级数学家，就有十几人为了证明它而呕心沥血，但也只能证明某个数。

  虽然费马定理本身似乎没什么实际价值，但为了证明它，很多数学家构思了十几种数学分支，这些分支在科技发展中都有了巨大贡献。

  直到1994年，英国数学家安德鲁怀尔斯通过间接方法，证明了另外一个“谷山志村猜想”，反证了费马定理。

  用通俗的话说，如果费马定理不正確，就会引出不可能存在的矛盾，最终间接证明它成立。

  但即使到了2026年，还有一个歷史疑问，那就是费马本人是不是有更简单的方法能够证明。