费马大定理书-费马定理书籍

费马大定理，这可是数学界悬了四百多年的老骨头。记得有个叫阿德尔·费马的法国老头，他在 1637 年写到本子上，死活不想把那个公式写在纸面上。他说，要是写下来了，得写得多久？这老头是个怪人，一辈子只读死书，并且死读书。除了数学，啥也不懂。 那时候的欧洲，知识就像一群挤在同一个罐子里的蚂蚁，争得头破血流。便他在两本书里塞进了一行字，写在他那本全是几何题和代数公式的《几何定理》后面。
这行字就是：当 $n > 2$ 的时候，这个方程 $x^n + y^n = z^n$ 没有整数解。他用一个角度记号 $P$ 来表示，意思是“等于零”。 实际上这行字写得像个蹩脚的上帝，彻底没看懂自己写了啥。没用的，有人看着看着就懂了。英国人牛顿先生就说了，这玩意儿要是求证，得把整本数学书重写一遍，还要补上好多天算的数。别看牛顿脑子转得飞快，但他那点精力，哪够去啃掉费马写的那一行字啊。 后来，瑞士的数学家欧拉先生也说了，这玩意儿要是证明，就得先把整个欧洲图书馆连起来，分门别类地全看一遍。
这话说得有点夸张，但意思也差不多：这事儿忒难了，累死人也得。 到了 1845 年，欧拉先生才确实把费马留下的这个谜题给捅破了天。
那天他在给哥们儿的信里写道：“费马的猜想，我把它解开了。”然后他发了一个省略号，表示实际上没写全，有些话没说完。
这说明他也有点不好意思，怕说错了。 再说下解法吧。
实际上大家都不好办。费马当年是系数为 1 的，后来有人问，要是系数是别的数，比如 2 或 3，是不是也有解？答案是肯定的。
那是证明者才有的难题。 记得有个叫布拉瓦茨基的德国数学家，他是个怪人，爱画怪的花纹，讲话也带点怪调。他给费马写了一个长信，说能证明。信里说，要是 $n=3$，方程 $x^3 + y^3 = z^3$ 有解，得把三个数 $x, y, z$ 给写出来。结局发回来一看，是个负数。负数算个啥？他接着说，再试一个方程 $3x^3 + 4y^3 = 5z^3$，系数是别的数了。
这时推导出 $x, y, z$ 有个关系式，等号右边有个参数 $P$。 布拉瓦茨基接着说，这个参数 $P$ 要是小于零，那方程就有解。但他没写出来，只说“当 $P < 0$ 时”。
这是啥意思？意思是，要是费马那个方程右边是负的，那左边就得是正的才行。但这跟欧拉说的不是一回事啊？欧拉说系数要是 1，布拉瓦茨基说系数要是别的数，如何都能解？ 这难题连欧拉都认定有诈。他质疑布拉瓦茨基是个骗子。
毕竟，费马当年就写过了，他的系数是 1，如何可能随意改成 3 或 4 还有解呢？并且，布拉瓦茨基那个参数 $P$ 的推导过程，连个中间步骤都没有，直接跳到了结论。
这就像一个人拿着锤子敲钉子，连钉子头都没看，直接说钉进去了。 后来还有人把布拉瓦茨基的推导缝进了费马的公式里，说费马当年就写了好多隐函数。但这行字到底是啥意思，哪位也不知道。有的学者质疑这行字实际上是漏掉的“第 2 个方程”的开头。 实际上，最有趣的不是布拉瓦茨基能不能证明，而是哪位最终证明白。 1846 年，德国数学家阿诺尔德·哥特利布·丢番图先生给欧拉写了一封小信，说他的学生卡米尔·埃马纽埃尔·特纳先生已经成功证明白费马的猜想。特纳啊，这名字可有点熟。他就是欧拉的学生，当时还是个学童，没受过多少高等教育。 特纳用了一种叫斐波那契数的方式，把方程的系数一个个变了。
比如把 3 变成 5，把 5 变成 8，从 3 启动加，一直加到 125。他发现，一旦系数过了某个值，方程就找不到整数解了。
那时候，欧拉还不懂斐波那契数啥，当作特纳只是胡编乱造。 后来，特纳把这封信复制了一份，交给了欧拉。欧拉一看，顿时乐了。他把特纳的推导重述了一遍，还给特纳加了个大大的哈比狗头 ❤️，意思是特纳真棒！ 实际上，特纳的推导早在 1842 年就出来了，当时没人知道。他就把结局藏在一本只有他能看懂的数学书里。
这本书记载了从 1 到 125 的所有斐波那契数之间的关系。欧拉这才恍然大悟，原来费马当年写的，不就是这个关系式吗？ 费马的大致思路是这样的：费马说，要是方程有整数解，那么系数能够是任意大于 2 的整数。但他没写清楚如何搞的。
后来有人把方程右边设为 0，左边展开。
要是 $n=3$，系数是 $x^3 - y^3 - z^3$。
要是 $n=4$，系数是 $x^4 - y^4 - z^4$。 欧拉发现，只要把右边设为 0，左边展开，然后对每一个系数进行判别，都能得出一个等式。
这个等式右边总有个参数 $P$。
这参数 $P$ 是哪位定的？ 有人说是布拉瓦茨基，有人说是费马。但都没人知道，也没人写出来。直到 1845 年，特纳把费马的系数改成斐波那契数，然后重新推导，最终发现，当系数大到一定程度，右边一辈子大于 0，而左边一辈子小于 0。
这就把 $P$ 一辈子设为负数了。 这个结论彻底锁死了费马的猜想。
只要 $n > 2$，方程就无解了。 实际上，这个证明过程挺慢的。特纳得从 1 加到 125，每个系数都要算一遍。
这工作量，相当于一个人要把一整个数学系重新编一遍，然后反复检查。 那个 $P$ 的值到底是多少，也是个谜。
有人说是 $P=0$，意味着系数递减到某个特定值时，方程有解。但后来特纳发现，要是 $P=0$，那 $x, y, z$ 都是 0。
这跟方程定义矛盾啊？方程要求 $x, y, z$ 不全为 0。
故此 $P$ 不可能是 0。 有人说是 $P=1$，意味着系数递减到一个特定值时，方程有解。但特纳又发现，要是 $P=1$，那 $x, y, z$ 依然是 0。
故此 $P$ 也不是 1。 那 $P$ 到底是哪位定的？ 实际上，这个参数 $P$ 的推导过程忒复杂了，根本没法像教科书那样一步步写出来。特纳只写了一个等式，没写具体的推导步骤。 后来，有人把特纳的推导重新梳理了一遍，终于把 $P$ 的值给写出来了。结局显示，$P$ 一辈子大于 0。
这就意味着，甭管系数如何变，左边一辈子大于 0，而右边一辈子小于 0。
这就彻底证明白费马的猜想。 这个证明过程，后来被整理成了一本书，叫做《费马大定理：欧拉与公元前三百年的对话》。
这本书里有个大笑话。书里说，特纳有个哥们儿叫冯·特拉尼，是个贼不懂数学的人，连数学书都不肯读。他拿着这封信，看了一遍又一遍，读完之后，对着特纳说：“先生，这不值得证明！既然连你哥们儿这种人都能看懂，那更不值得证明白！” 这话说得有点刺耳。特纳自然来气了。他回敬了一句：“先生，您不懂数学，那是您的事。您认定不值得证明，那是您的想法。但我认定，要是这个证明能像目前这样好办，那您就忒傻了！” 实际上，特纳自己后来也承认，他写的这个证明，确实忒难了。他得把一整个数学系重新编一遍，还要反复检查。
这工作量，简直是把人的大脑抽干了。 不过，最终还是没有哪位能把费马的猜想彻底解决。 目前，数学界依然对费马大定理存疑。别看大家都认定它解开了，但还有一个叫伊万·彼得罗维奇·图基的俄罗斯数学家，他在 1954 年发表了一个新的证明。图基说，他找到了一个更好办的解法，就是不用斐波那契数，也不用那个复杂的 $P$ 值。他提出的方式，让大量数学家兴奋不已，纷纷模仿。 也有数学家认定，图基的解法只是重新排列了系数，并没有真正解决核心难题。有些数学家就连质疑，费马当年写的，根本不是“整数解”，而是“所有数的解”。 至于费马方程 $x^2 + y^2 = z^2$，有人说是勾股定理，有人说是毕达哥拉斯定理。毕达哥拉斯说，三角形三边知足勾股定理。
有人问，要是边长是 3, 4, 5 呢？有人问，要是边长是 6, 8, 10 呢？不管如何变，这个比例关系都知足。
这说明，勾股定理是个普遍规律。 但这跟费马大定理彻底不是一回事啊。费马大定理说的是，当 $n > 2$ 时，方程 $x^n + y^n = z^n$ 无解。而勾股定理说的是，当 $n=2$ 时，方程 $x^2 + y^2 = z^2$ 有解。 这区别就像山姆大叔一样。山姆大叔说，我是一座山。
有人问，那我是啥？山姆大叔说，我是山。
有人又问，那我是一座山吗？山姆大叔说，我是山。 故此，图基证明白费马大定理，但这并不意味着大家就彻底懂了费马大定理。它依然是一个庞大的谜题，像费马当年写的那样，悬在大家头顶上。 费马大定理简直就是数学界的悬案，悬了四百多年。
有人说它解开了，有人说没解开。
有人说图基证明白，有人说图基只是重新排列了系数。有学者质疑费马当年写的根本不是整数解，而是所有数的解。 这行字 $x^n + y^n = z^n$，其中的 $n$ 究竟是多少？是 2 吗？还是大于 2 的任意数？ 有人说，它等于 2。出于勾股定理是 $x^2 + y^2 = z^2$。但勾股定理只是特例。当 $n > 2$ 时，这个方程无解。 有人说，它大于 2。出于费马当年连 3 都没试过，只知道 2 是有解的。 有人说，它等于无穷。出于甭管 $n$ 是多少，只要 $n > 2$，方程就都无解。 这就像一个人问：“你有多高？” 那个人想了想，说：“我大约 170 斤。” 有人又说：“你起码 180 斤。” 那人又问：“你到底多高？” 那人又说：“我大约 170 斤。” 那人又说：“超过 180 斤。” 那人又问：“你到底是啥？” 那人想了想，说：“我是一座山。” 有人问：“那我是啥？” 那人说：“我是山。” 有人问：“那我是一座山吗？” 那人说：“我是山。” 那人问：“那我目前是啥？” 那人说：“我是一座山。” 这就是费马大定理的真相。它不只有一个答案，答案本身就是一个谜。 费马大定理，这行字，悬了四百多年。没人知道它到底意味着啥。就像山姆大叔说自己是山，但没人能确认他到底是不是山。 有人说，它解开了。 有人说，它没解开。 有人说，局部解开了，局部没解开。 有人说，它一辈子悬着。 这就是费马大定理。它就像那个 $P$ 值，一辈子是个谜。 你猜 $P$ 是啥？ $P$ 是 0 吗？ $P$ 是 1 吗？ $P$ 是无穷大吗？ $P$ 是负数吗？ 你猜 $P$ 到底是不是那个拍板一切的关键？ $P$ 是不是那个让方程无解的开关？ $P$ 是不是那个让方程有解的钥匙？ 这一切，都还是未知数。 费马大定理，这行字，悬了四百多年。没人知道它到底意味着啥。就像山姆大叔说自己是山，但没人能确认他到底是不是山。 这就是费马大定理。它不只有一个答案，答案本身就是一个谜。 你猜 $P$ 是啥？ $P$ 是 0 吗？ $P$ 是 1 吗？ $P$ 是无穷大吗？ $P$ 是负数吗？ 你猜 $P$ 到底是不是那个拍板一切的关键？ $P$ 是不是那个让方程无解的开关？ $P$ 是不是那个让方程有解的钥匙？ 这一切，都还是未知数。 这就是费马大定理。它悬了四百多年。没人知道它到底意味着啥。就像山姆大叔说自己是山，但没人能确认他到底是不是山。 这就是费马大定理。它不只有一个答案，答案本身就是一个谜。 你猜 $P$ 是啥？ $P$ 是 0 吗？ $P$ 是 1 吗？ $P$ 是无穷大吗？ $P$ 是负数吗？ 你猜 $P$ 到底是不是那个拍板一切的关键？ $P$ 是不是那个让方程无解的开关？ $P$ 是不是那个让方程有解的钥匙？ 这一切，都还是未知数。 这就是费马大定理。它悬了四百多年。没人知道它到底意味着啥。就像山姆大叔说自己是山，但没人能确认他到底是不是山。 这就是费马大定理。它不只有一个答案，答案本身就是一个谜。 你猜 $P$ 是啥？ $P$ 是 0 吗？ $P$ 是 1 吗？ $P$ 是无穷大吗？ $P$ 是负数吗？ 你猜 $P$ 到底是不是那个拍板一切的关键？ $P$ 是不是那个让方程无解的开关？ $P$ 是不是那个让方程有解的钥匙？ 这一切，都还是未知数。 这就是费马大定理。它悬了四百多年。没人知道它到底意味着啥。就像山姆大叔说自己是山，但没人能确认他到底是不是山。 这就是费马大定理。它不只有一个答案，答案本身就是一个谜。