聊聊費馬猜想那點事兒（三）_風聞

首發於公眾號“賊叉”

如果沒有費馬猜想，單憑其他的那些成果也足夠讓費馬在數學史上留下自己的名字，但是由於他搞出了費馬猜想，情況就完全不同了——可以晉升為神一樣的數學家的行列了。

1637年，費馬在閲讀丟番圖的名著《算術》時，看到勾股定理的那一頁空白處寫下了每個數學人都會背的傳世經典，同時也造就了人類歷史上最牛逼的一頁空白：

但是一個立方數不能拆成兩個立方數，一個四次方數不能拆成兩個四次方數。一般來説，除平方外，任何次冪不能分拆成兩個同次冪，我發現了一個真正奇妙的證明，但書上的空白太小，我寫不下。

如果説裝X有段位，這個我打滿分。

首先，提出了數論史上能排進前三的猜想；其次，我會證；第三，我不告訴你，就是玩兒。

見過皮的，沒見過這麼皮的。

因為費馬這段話實在過於斬釘截鐵，所以給了人們很多瞎（是的，不是遐）想的空間。甚至在紐約地鐵站著名的塗鴉牆上都有這麼一句向費馬猜想致敬的話：x^n+y^n=z^n沒有非零整數解，我發現了一個真正奇妙的證明，可是我現在沒有時間寫出來，因為地鐵來了。

要是其他人説我發現了一個真正奇妙的證明，比如我，那麼大家都會哈哈大笑。但是説話的是費馬那就不一樣了，畢竟他自己用首創的無窮下降法證明了n=4的情況。正是因為費馬威名太盛，以至於大家都認為他確實發現了這個證明。

那麼這個證明在哪裏呢？

費馬的娃在他去世後整理了所有的費馬手稿，都沒有發現這個證明。但是這句話實在給人很多的想象空間：書的空白太窄，我寫不下，那説明也就是幾頁紙能打發的事情，而且你費馬再牛叉，那個年代的數學工具就這點，我窮舉一遍不就完了？

於是無數的數學家和數學愛好者就被費馬坑慘了。因為他們堅信費馬在數學上的造詣，而且如果用的草稿紙超過三頁就會相當不自信，用了五頁就會另起爐灶——費馬你再聰明，也不可能在腦海裏打掉十七八頁的草稿，所以那麼多人就被限定在費馬的頁面空白裏無法自拔，一個個戴着手銬腳鐐在立錐之地上踮起腳尖跳舞。

費馬可真是個磨人的小妖精。

在被他折磨了將近兩百年之後，大多數數學家形成了共識：費馬這孫子騙了大家，他應該是搞錯了，人類不可能用已有的數學知識在三五頁草稿紙內把這個問題解決掉。不知道那些已經曾經為了費馬猜想而廢寢忘食的已故的數學家在底下會不會和費馬掐起來。。。我覺得如果我是其中一員的話，哪怕費馬投胎了我也要跟着追殺過去。。。

如果你以為這樣算是坑人那可真的是太小看坑人二字了。事實上，由於這個猜想的本身實在過於淺顯易懂，小學生都能明白咋回事，所以它和哥德巴赫猜想、孿生質數猜想、熱力學第二定律、相對論成了民科最喜歡禍害的問題。這些問題最大的共性就是通俗易懂，一般來説只要有初中文化都能明白問題在説什麼，但是想搞定這些問題用到的工具是非常的高深。