|
讲完了插曲我们继续回到主线部分。到了1839年，法国数学家拉梅证明了n=7的情形，而到了1847年，拉梅宣布他完全证明了费马猜想。 等等，那n=6的情形是谁证的呢？我还有机会么？ 大哥，欧拉证明完了n=3的情形，还需要证明n为3的倍数的情形么？！ 所以数学还没解决的问题就分两类：一类是谁都解决不了的，一类是已经解决了但是可能你不知道或者大家都不屑做的。 拉梅应该是费马猜想证明历史中第一个说我的证明过程中还有一点小问题，但是很容易可以解决的知名数学家，只不过他最后失败了；第二个就是最后的赢家，他成功了，我们后面会提到这位英雄的名字。 拉梅当时在法国科学院会议上侃侃而谈，说这都是时间问题，而且还很客气地表示，这里有相当一部分想法是他同事刘维尔告诉他的。 刘维尔这时候体现出了自己情商不太高的样子，直接就说了大哥我和你没那么熟，而且这个方法不是我原创，是欧拉干的。以及你的证明不对，根本不可能修补当中的漏洞。 而柯西，是的，就是那个高等数学中经常提到的把伽罗华手稿弄丢的柯西出来打圆场，他认为拉梅会成功，而且他自己去年也提出过一种思路，只不过太忙没空做完。 柯西是数学界出名的快枪手，文章又快又多又长。而且他听个数学报告觉得这方法管用的话就会开搞，然后往往比提出方法的人做得更好，实在是很招人恨。柯西最牛叉的工作就是把微积分变成了严格的数学，要知道在柯西之前人们是根本不在乎级数是否收敛的。结果柯西讲完了级数收敛以后，大数学家拉普拉斯就跑步回家检查自己的巨著《天体力学》中用过的级数是否收敛。 柯西还在复变、代数、理论物理、光学等多个数学和物理的主要分支上有着极高的造诣，说了这么多就是为了下一个但是——但是他在费马猜想上却是折戟沉沙了。 刘维尔和拉梅也不知道什么深仇大恨，公开diss完了之后还补上了一刀。他公开了德国数学家库默尔的信，宣告了拉梅的方法彻底是行不通的。 你说行不通就行不通啊？ 是的，库默尔人狠话不多，直接说了当n=23时，拉梅的方法就爆了。所以你要在数学上说明什么方法是不对的，只要一个反例就够了，就像前面说的费马质数一样。至于后面还有没有不对的已经不是那么重要了，当然要研究也是可以的，只不过不像第一个意义那么重大。 库默尔对费马猜想的证明有着巨大的贡献，这些贡献的细节已经不是普通人能听懂的了，所以就不多作描述了。但是如果你以后和别人谈论费马猜想的时候能够说出库默尔这个名字而对方恰好又是懂行的，绝对会认为你是个行家。 在库默尔之后，费马猜想的证明就陷入了停滞，这一停滞就停了一百多年。甚至到了1978年，人们证明了对于n不超过125000的奇质数费马猜想都是对的。 黎明前的黑暗总是特别的黑，就当人们都觉得还得再等一百年才有可能被解决的时候，曙光就悄然而至了。
|
|
|
