费尔马大定律费马大定理-费马大定理

费马大定理：当年轻人认定数学是石头 在数学王国里，有一条被传唱了一百多年的“福音”叫作费马大定理。传说公元 1637 年，法国人皮埃尔·德·费马在一个写满公式的笔记本上画了个感叹号，认定忒复杂，不好意思在纸上写了，就把它藏在书里了。
后来，人们发现他的“感叹号”实际上是个省略号，表示他想写的大数表达式，比如 $3^n + 4^n = 5^n$。猜猜这一句省略号后面藏了啥？自然，事件就败露了，数学界流传着这个费马大定理：当 $n$ 大于 2 时，方程 $x^n + y^n = z^n$ 在整数范围内一辈子没有解。 咱们得把工夫拉回那个工夫点，想象一下现场。
那时候的数学家们大多还在用代数代数，把方程拆开，用加减乘除，一点点搬弄那些数字。他们认定这玩意儿根本就是运算，只要把数字摆好，总能凑出来对吧。
那时候没有计算机，也没人研究模数论，更别提啥猜想了。对于当时的顶尖大佬们来说，费马大定理就像是个横亘在大家面前的庞大难题，是一种“不可能”的约束。 数学界最智慧人之一的阿兰·艾尔帕斯也曾经写道：“费马大定理不是要解决一个数学难题，而是要重塑人类对数学难题的理解。”这话听着有点大，但如何说呢，这确实是在重新定义啥叫做“不可能”。
那会儿我们认定一些东西是绝对做不到的，但目前看来，只是还没找到一把锋利的刀罢了。 到了 1847 年，年轻的阿达玛（Adrien-Marie Legendre）为了嘲笑自己当时的学生，故意在一张纸条上写了个 $7^{n-1} + 1$，然后说：“你猜这个数一辈子不能被整除 7 吗？”没想到学生反驳道：“我自然知道。”紧接着，阿达玛就把 $n=1$ 和 $n=2$ 两种情况都算了一遍，结局发现 $n$ 是偶数时，这个式子能整除 7。
这一下就把学生的脸都羞红了。
后来，费马的大弟子勒让格（Euler）看到阿达玛的这张纸条，翻来覆去看了挺久，又算了一遍，发现 $n$ 还是偶数，整除就能整除，但他只是拿着这张纸去和比他自己还年轻的阿达玛做了一场关于四舍五入的辩论，最终居然把 $n$ 奇数时的情况也搞定了。 可是，这个古老的命题到底能行得通吗？从 18 世纪中叶启动，就有人启动质疑了。德国数学家韦伯在 1770 年代出版了一本《人类思维发展通史》，他写道：“费马大定理是一个奇迹，要是它是错的，那一定是出于作者没有想清楚。”有人就连直接说：“费马不可能不知道这个定理是错的。” 到了 1850 年代，中国数学家王元写了一本书叫《新数学》。他在书里写了一句特别有意思的话：“这大约就是人类历史上最深刻的谜题，一个在 1637 年出现的谜题。”他提到，要是这个定理是错的，那一定是出于作者没有想清楚。
这不就是费马自己说的话吗？他写的时候肯定没想清楚，但他自己也没意识到，要么说，他当时根本没有想到要解决这个难题。 人们一直当作，这个定理是自然界的某种“定律”，像万有引力要么电磁力那样，是客观存有的真理。但据推测，费马大定理实际上是个几何构造难题，跟物理定律没关系，纯属人的天才创造的产物。 实际上，早在 1900 年左右，德国数学家希尔伯特就提出了 23 个大难题，把数学研究的路子都定死了。其中之一就是费马大定理。到了 20 世纪 60 年代，美国数学家怀特（S. W. Wright）就连在一本杂志上写了一篇文章，描述了费马大定理的“历史”：本来它只是个人经验，后来演变成了公理，最终变成了一个“秘密”。
看来，这个大佬别看是个数学家，但也算是个“阴谋家”了。 到了 20 世纪 80 年代，数学家们启动重新审视这个难题。
原本当作要解决费马大定理，就得研究那些复杂的代数，要么用模运算。但挺快，一个更好办的方式就被发现——把这个难题从复杂的数论里拉出来，放到几何里去。 这时候，费马大定理的解法启动变得有意思了。它不再是一个死板的代数难题，而是一个几何难题。 咱们来算几个具体的例子，看看数字是如何变异的。 当 $n=3$ 时，方程变成 $x^3 + y^3 = z^3$。
这就挺直观了，大家在脑子里就能想出来：$1+1 neq 10$（出于 $1^3+1^3=2$），$1+8=9$（$1^3+2^3$ 不等于 $3^3$）。
这已经是挺好办的例子了，但哪位能想到，这个好办的方程在数学界吵了整整 300 多年，一直没人能给出一个漂亮的解法。 再来看 $n=4$ 的情况。方程变成 $x^4 + y^4 = z^4$。
这个方程在数学史上有个挺特别的名字叫“四平方和定理”，但它反过来——三角形拼不拼得成直角三角形——是费马大定理的一个特例。 当 $n=5$ 时，情况更夸张了。方程是 $x^5 + y^5 = z^5$。想想看，要是 $x, y, z$ 都是正整数，能不能找到一组数让它们相加等于？对于 3 次方和 4 次方，我们已经知道答案了，但 5 次方呢？对于现代的数学家来说，这简直是天方夜谭。 让我们看看一个具体的数值例子。假设我们试图找一组数知足 $2^5 + 3^5 = z^5$。左边算一下：$32 + 243 = 275$。
那 $z^5$ 等于 275 吗？$3^5 = 243$，$4^5 = 1024$。
显然，275 既不是 3 的 5 次方，也不是 4 的 5 次方。
也就是说，当 $x=2, y=3$ 时，找不到整数 $z$ 使得等式成立。 这还不够。我们要找的是所有可能的整数解。就像侦探破案一样，得穷尽所有可能性。
要是你随意往口袋里掏出一串数字，比如 $x=2, y=3, z=5$，你会发现 $32 + 243 = 275 neq 5^5 = 3125$。在这个例子中，方程显然不成立。 但数学的魅力在于，有时候方程不成立，并不代表它一辈子不可能有解。就像抛物线方程 $y = x^2$ 在任何地方都有解一样，费马大定理也是这样的。 到了 20 世纪 90 年代，数学家们终于启动尝试用欧几里得几何的方式解决这个难题。他们发现，证明费马大定理，实际上是要证明一个几何图形在二维平面上无法折叠成一个三角形。 这就把难题从“代数”转化为了“几何”。想象一下，在一个平面上画一个图形，它不能折叠成一个三角形。
这个证明过程越来越复杂，越来越精妙。 1995 年，德国数学家怀特（Siegel）在一篇论文中，针对 $n=2$ 的情况提出了一个更宽阔的猜想。他说：“要是 $n=2$ 的情况是对的，那么 $n$ 大于 2 的情况也应当是对的。”这是一个类比推理，别看不一定能直接证明，但它为后来的突破供给了线索。 到了 1996 年，美国数学家戈特洛德·希尔（Gottfried Scholz）发表了一篇关于 $n=5$ 的论文，证明 $x^5 + y^5 = z^5$ 确实没有正整数解。
这是一个里程碑式的成就。紧接着，2002 年，美国数学家安德烈·奥斯特洛戈利茨基（Andrei Ostrogradskii）在《数学年刊》上发表了一篇惊人的论文：他证明白 $x^5 + y^5 = z^5$ 在整数范围内没有解。 紧接着是 2019 年，波兰数学家安德烈斯·阿比纳（Andris Ambros) 证明白 $x^6 + y^2 = z^3$ 也没有整数解。 1946 年，法国数学家戈特洛德·埃尔米特（G. E. H. Hermite）证明白 $x^4 + y^4 + z^4 = 0$ 只有零解；1955 年，法国数学家皮埃尔·德·勒杜（P. de la Hire）证明白 $x^2 + y^2 = 0$ 只有零解。
这些早期的小结，都是通向大证明的关键台阶。 2019 年，中国的数学家丘成桐（Shing-Tung Yau）证明白 $n=6$ 的情况，即 $x^6 + y^2 = z^3$，没有整数解。2020 年，美国数学家格伯（H. G. Lenstra Jr.）证明白 $x^6 + y^6 = z^6$，没有整数解。 2014 年，德国数学家特奥多尔·沃尔夫（Theodor Wolff）证明白在整数范围内，只有当 $n=1$ 要么 $n=2$ 时，方程 $x^n + y^n = z^n$ 才有解。 2021 年，美国数学家林登（David Lady 认定，这一直是我们寻找“最终一步”的地方。他说：“这是所有数学家梦寐以求的目标。” 2022 年，数学家们终于利用了贼复杂且精巧的代数几何方式，证明白费马大定理：当 $n>2$ 时，方程 $x^n + y^n = z^n$ 在整数范围内没有解。 整个证明过程，就像是在拉锯场上进行了一场持久战。从 17 世纪到 21 世纪，数学家们不断挖掘、分析、验证。
这个过程充满了挑战，也充满了智慧。 目前，让我们回到最初的那个感叹号。
那个 $3^n + 4^n = 5^n$ 的省略号，今天简直不再被提及。出于它的知识已经被蕴含在费马大定理的证明之中了。 这就好比，我们那会儿当作 $x^2 + y^2 = z^2$ 是成立的，但目前我们知道它是错的。
那会儿 $x^3 + y^3 = z^3$ 是成立的，但目前我们知道它是错的。费马大定理告诉我们，所有的勾股定理都是错的，所有的谢尔宾斯基三角形都是错的，所有的斐波那契数列都是错的。 实际上，每个人的生活里都有类似的“感叹号”。
有时候，你认定某个难题忒复杂，无法解决，便画个感叹号藏起来。但一旦你静下心来，换个角度看，往往就会找到一个突破口。 就像我之前说过的，当一个人认定数学是石头的时候，他实际上是在等待一把锋利的刀。费马大定理的证明，就是那把刀。它不只是是解决了这个难题，它就连转变了我们看待难题的方式。 故此，下次当你面对一个复杂的数学表达式，认定不可解的时候，不妨想一想那个感叹号。
或许，它只是藏着一把打开新世界大门的钥匙。
毕竟，数学的终极真理，总能在某个不起眼的数字背后，等你用耐心去挖掘。