费马大定理证明方法-费马定理证明法

费马大定理：几百年都没解出来的谜题 费马大定理，这玩意儿听着像是个天大的定理，可实际上就是个超级难解的数学难题。1630 年左右，法国数学家费马在写书的时候只写了个"∞"，后面补了一行字：“证明这一页是错的”。他当时手里没带纸笔，书都翻到后面去了，剩下的空白页只能让他自己瞎画几何图形证明。
这一笔划下来的结局，至今没人能拆穿。 要理解费马大定理有多玄乎，咱们就得先看看那个著名的勾股定理。勾股定理嘛，就是直角三角形两边平方和等于斜边平方，这个大家都懂，小学都学过。费马大定理要是成立的话，勾股定理就得自动失效。
这就好比一个人说：“我的脚踏车确实停不下来。”老百姓一听就信了，但一查电脑（自然是数学界那套系统），发现梦话成真了。
实际上，要是费马定理真被证明白，勾股定理就得跟着倒大霉。 那如何证明这个事儿呢？最直观的办法就是碳素复写纸复制。你要把费马定理写成碳素复写纸，然后从纸背复制一份，在副本上盖个章，印成书。
要是费马定理是错的，那你复制出来的副本里就有个逻辑矛盾，这样就能证明原命题是错的。但这招在数学圈子里叫“证明的自相矛盾”，一般/平平人根本搞不懂。 咱们还是用代数法来看吧。费马把勾股定理推广成了三维空间的整数方程。假设有一个整数解，坐标分别是 $x, y, z$ 的整数，知足 $x^2 + y^2 + z^2 = n$。
这题要是解出来了，那咱们就得管它。解法就是把方程按 $x$ 分组：$x^2 = n - y^2 - z^2$。左边是个平方数，故此右边务必是平方数。
这就引出一个关键结论：任何素数能不能写成三个整数的平方和？ 这个难题在 18 世纪还没人搞清楚。
当时有人试过举例子，比如找 4 个整数，让它们平方和等于同一个数。
比如 $1^2 + 2^2 + 3^2 = 14$， $5^2 + 6^2 + 7^2 = 174$。仿佛都行。但到 18 世纪，数学家们认定不对劲，他们发现要是有解，这 4 个数得知足一些怪的性质，特别是模数。
当时有个著名的猜想叫 Wieferich 猜想，它说要是 $2^{2p-1} equiv 1 pmod{p^2}$，那 $p$ 一定是 3 或 5。
这看起来像个亿年级别的难题，但实际上是费马大定理的一个推论。 1846 年，英国数学家 G.6 埃姆斯（G.6.4 埃姆斯）居然用代数方式证明白它！当时他在给一个数学协会的报纸投稿，结局被拒了，出于题目忒难。但他没拉倒，持续找。1857 年，他终于找到了一种巧妙的方式，利用代数变形把方程转化成了另一个方程，最终证明白要是存有整数解，就会导出一个矛盾。
这次证明别看短，但比阿贝尔 100 多年后才搞定的代数证明要快多了，并且用代数方式，比之前的几何法更直接。 埃姆斯的证明实际上挺“暴力”的。他把方程按 $x$ 展开，变成 $x^2 + A^2 + B^2 = n$。
然后他构造了两个新方程，一个是 $x^2 + A^2 = n$，另一个是 $x^2 + B^2 = n$。
要是原方程有解，这两个方程就得有解。
接着他用无穷递降法，假设存有极大解，然后通过代数操作把解变小，最终发现这不可能，出于数字得是正整数，不能无限变小。
这就好比你在玩一个游戏，你不断把分数变小，最终发现你的分数务必小于 1，但这违反游戏规则。 不过，这好办让人误解。埃姆斯证明的是整数解不存有。但费马方程本身是一个不定方程，它可能对某些特殊数值有解，也可能对所有整数都没有解。
也就是说，费马大定理说的是：对任何非零整数 $n$，方程 $x^2 + y^2 + z^2 = n$ 都没有整数解。长期来看，这个定理确实是空的，出于题目要求“任何 $n$ 值”。 目前回头看那个 Euler 猜想。
要是费马定理成立，那 Euler 猜想的解法就得反过来看。Euler 猜想说：要是 $n$ 是某个形式的数，比如 $n = a^2 + b^2 + c^2$ 这种形式，那它一定能够写成三个平方数之和。但这和费马大定理刚好反之。就像一个人说：“我只要有一块钱，我就能买两个苹果。”另一人说：“我只要有两块钱，我就能买一个苹果。”这俩话实际上意思差不多，但一个是无穷递降法，另一个是代数变换。埃姆斯 1857 年的证明，实际上就是把费马定理的结论拿过来，反过来用它去证明 Euler 猜想。
这俩定理是互相纠结的。 确实把费马大定理证明出来之后，整个数学界都得改一下。大家都当作费马定理是错的，出于欧拉证明过费马定理对某些值成立。但事实是，费马定理只对某些特殊值成立。
故此，要是证明白费马定理，那欧拉的那些证明都得被推翻。出于欧拉证明的是“存有性”，而费马大定理证明的是“不存有性”。
这就好比说：“我只有两页书，我就能看完所有书。”另一人说：“我只有两页书，我就能看完所有书。”这两句话实际上意思一样，只是一个是“存有一本”，一个是“存有所有”。 还有个有趣的例子。
要是费马定理成立，那欧拉 1755 年发表的那个关于勾股定理的定理就得作废。欧拉那时候认定勾股定理是“一辈子不可能证明错”的，也就是欧拉猜想。但费马定理说勾股定理是错的（要不就是特殊情况）。
故此目前要是证明白费马定理，欧拉就得承认自己错了。
这说明，数学里的大量“一辈子不可能错”的定论，实际上都是错的。 再说说这个难题有多难。1630 年那个时代，数学家们还在用几何方式瞎猜。
那时候的人认定，要是能找到反例，就能证明定理是错的。但难题在于，他们找不到反例。
比方说，你要证明 $x^2 + y^2 + z^2 neq 6$。你试着找几个整数值，$1+1+4=6$，$4+1+1=6$。
这就顺理成章地证明白“存有性”，也就是说，6 是能够被三个平方数凑出来的。但费马大定理要求的是“任何 $n$ 值”，包含 6。
既然有一个 $n$ 值（即 6）是能够凑出来的，那定理就不成立了。 故此，要证明费马大定理，你得证明的是“对所有 $n$ 都不存有解”。但这忒难了，出于 $n$ 有无穷多个。你得证明的是：对于每一个 $n$，它都不能被三个平方数相加。
这就好比你要证明“任何房间都不住人”，你得检查每一个房间。
这比检查一个房间难多了。 不过，1857 年埃姆斯 的代数证明，实际上就是把这个难题转化成了代数上“分解因子”的难题。他把原方程变成了两个新方程，然后通过消元法，把难题转化成了更好办的形式。
最终，他证明白要是原方程有解，就会导出一个矛盾。
这矛盾是如何来的呢？是通过无穷递降法。 具体到数字，埃姆斯证明过程里，他会构造一些数 $x, y, z$，然后不断用代数关系把它们变小。
比方说，假设他找到了一个大的整数解，然后利用方程的对称性，拿到另一个解。
接着他会用欧几里得算法消元，把解变小。最终他会发现，这个解务必比原来的解小，但与此同时又比 1 大，这在正整数域里是不可能的。就像你爬楼梯，你每一步都往下一走，最终你会发现你站在 0 级，但这 0 级不是正整数，故此假设初始解存有就是错的。 这种证明方式在数学历史上叫“无限下降法”。它本来是用来证明不可能有解的，目前被用来证明费马大定理。出于要是真证明白费马大定理，那“无穷下降法”在整数方程上的有效性就不中了。
这说明，数学里的某些工具是有条件的，不能随意用。 最终，还得提一提这个定理的现代意义。别看超数阶原子的证明才是终极目标，但费马大定理作为哥德巴赫猜想的一个分支，一直吸引着无数数学家。目前的证明方式，比如因式分解法，别看不如代数变形那么漂亮，但确实是实用且有效的。 总结一下，费马大定理是个“死结”。
一方面，它说任何 $n$ 都无法被三个平方数相加；另一方面，它又暗示欧拉猜想和勾股定理有些难题。连数学家埃姆斯 1857 年证明过欧拉猜想的成立，也就证明白费马大定理对某些整数值不成立。
这两者之间是互斥的，挺难与此同时成立。 故此，费马大定理至今还没解出来，不是出于没人努力，而是出于它的定义忒怪了。它要求对“所有”整数 $n$ 都成立，这在实际操作中简直是不可能的。就像你要证明“任何门都不锁”，你得检查每一扇门。
这本身就挺难。