全世界最聪明的一群数学家，被一行没头没尾的留言困了整整358年。
这事的源头离谱到你想破头都猜不到。
17世纪法国有个本职当法官的费马，平时断案之余闲得发慌，没事就啃数学玩，水平高到能和帕斯卡联手搞出概率论，属于业余选手吊打99%专业数学家的狠人。
那天他翻古希腊数学家丢番图写的《算术》，看到勾股定理那页，随手把平方改成了n次方，在页边空白处写了一行字：当n≥3时，xⁿ+yⁿ=zⁿ没有正整数解。
末了还补了句：我已经想出了绝妙的证明方法，可惜这页空白太小，写不下。
就这一行没头没尾的话，成了之后三百年整个数学界的噩梦。
你说气人不气人？
这公式简单到什么程度？刚学完幂运算的中学生都能把题目念明白，可就是没人能拿出完整的证明。
费马毕竟是公职法官，平时做人信誉拉满，没人觉得他是瞎编的。
无数数学家前赴后继往这坑里跳，跳一个折一个，这道题直接得了个外号：数学家杀手。
欧拉，数学界神一样的存在，双目失明之后都能在脑子里算复杂公式的狠人，啃了半天，才把n=3的情况证出来，这才迈出了三百年里的第一步。
后来19世纪有个叫热尔曼的女数学家，当时社会根本不让女性碰高等教育，她全靠自学啃数学，憋出了一套全新思路，后来的人顺着她的思路，先后把n=5、n=7的情况证了出来。
结果到这就彻底卡壳了。
这题邪门就邪门在，没有通用解法，每换一个n，就得想一套全新的证明逻辑，数学家们卡在这里，整整一百多年没往前挪一步。
后来计算机发明了，所有人都疯了一样拿超级计算机去试，试到天文数字级别的数，愣是找不出一组符合条件的正整数解。
可计算机就算把所有能算的数都试完，也碰不到无穷大的边，根本不算真正的证明。
谁也没想到，困住人类三百年的难题，最后居然是被一个八竿子打不着的猜想给破了。
1955年两个日本数学家谷山和志村，闲着没事提出了个“谷山-志村猜想”，说所有椭圆曲线都能和模形式一一对应，当时没人觉得这玩意能和费马大定理扯上半毛钱关系。
更唏嘘的是，猜想提出没几年，谷山就自杀了，这个研究直接搁浅了二十年。
直到1984年德国数学家弗雷跳出来，用反证法甩了个王炸：只要谷山-志村猜想成立，费马大定理就绝对成立。
等于直接把横在数学家面前三百年的大山，偷偷换成了另一道没人当回事的题。
最后接盘的人，是英国数学家怀尔斯，普林斯顿的教授，一辈子研究的正好就是椭圆曲线。
他直接把自己关在家里，偷偷摸摸研究了整整六年，连身边同事都不知道他在干嘛。
眼看就要到最后一步，他发现自己一个人搞不定海量的计算，才找了同事卡茨帮忙。
为了给卡茨讲明白自己六年的研究成果，他想了个绝招：直接开一门课，上课的时候一步步往黑板上写推导过程。
底下选课的学生越听越懵，这内容跟大纲半毛钱关系都没有，听着听着全跑光了，最后整个教室就剩卡茨一个人坐着听。
就这么讲了好几个月，卡茨终于把所有逻辑捋顺了，俩人凑一块算了不到一年，眼看就要把最后一块拼图拼上。
1993年，怀尔斯贴出公告要开一场主题完全保密的讲座。
第一天来的人都是好奇凑数的，隐约觉得他可能要搞个大新闻。
第二天礼堂就挤不下了，不少人嗅到了费马大定理的味道。
第三天，全世界最顶尖的数学家几乎全赶来了。
当怀尔斯在台上说出“我证明了费马大定理”的时候，全场所有人集体站起来鼓掌，消息当天就炸遍了全球所有头版头条。
可命运偏要跟他开个玩笑。
数学界派来的审核专家，很快就在他的证明里找出了一个致命漏洞。
怀尔斯直接从云端摔进泥地里，好几年的心血眼看就要打水漂，他咬着牙又熬了一年半，硬生生把那个漏洞给补上了。
1995年，完整的证明论文正式发表，折磨了人类358年的“数学家杀手”，终于被彻底干掉了。
后来有记者采访怀尔斯，问他解开难题是什么感受。
他说：“我其实一点都不开心，我这辈子最执念的快乐，从此消失了。”
很多人到现在都想问，费马大定理证明了有啥用？既不能当饭吃，也不能帮你涨工资。
可恰恰是这些看起来完全没用的执念，才是人类文明最奢侈的东西。
今天你觉得没用的基础研究，谁也不知道三五百年之后，会变成支撑整个时代的底层逻辑。
要是没人愿意为这些“没用”的事耗上一辈子，等哪天要用的时候再回头找，我们说不定还要再等上三百年。
你说，这些看起来傻得冒泡的数学家，到底值不值？
![这就是数学运算的魅力……[并不简单]](http://videoimg.ws.126.net/cover/20261012/4ASz85VLg_cover.jpg)
热门跟贴