破解「xn+yn=zn獎70萬美元

codya

諾貝爾獎中並不包括數學獎，但數學界有兩個大獎普遍被視為「數學界諾貝爾獎」，分別是每4年頒發一次，只授予40歲以下數學家的菲爾茲獎（Fields Medal）以及每年頒發的阿貝爾獎（Abel Prize）。

今年阿貝爾獎得主，是曾經花7年時間證明費馬最後定理的懷爾斯（Andrew Wiles）。在懷爾斯於1994年交出完整證明前，數學家已花費近360年嘗試證明該定理。雖然證明本身非常複雜，甚至被數學家康威（John Conway）稱作「世紀證明」，但定理的內容卻是小學生也能明白。

事實上，懷爾斯第一次接觸費馬最後定理時才不過10歲。當時他在放學回家的路上進了圖書館，然後讀到一本提及該定理的書，並驚訝那麼容易明白的猜想卻未有人能夠證明。當時他立志要證明費馬最後定理，後來發現自己知識有限後放棄，直至他33歲。


無人見過的「絕妙證明」


相信讀者都曾經在中學見過畢氏定理（古代中國稱為勾股定理）︰



假如一個直角三角形的邊長為a, b, c，則a2+b2=c2。



在古代，巴比倫、希臘、中國及印度的數學家都發現，符合畢氏定理的整數有無限組，例如 (3,4,5)、(5,12,13)、(8,15,17)……這代表我們能夠畫製無限多個邊長為整數的直角三角形。

1637年當數學家費馬（Pierre de Fermat）閱讀古希臘數學家丟番圖（Diophantus of Alexandria）的《算術》時，剛好讀到丟番圖解說如何把一個平方數寫成兩個有理數之和（有理數是指可以寫成分數的數字），書中例子是把16 (=42)分拆成(16/5)2+(12/5)2。

費馬認為，對於任何立方數、4次方以至更高的次方，都不可能類似地分拆。以符號來說，就是對於任何大過2的整數n，我們均無法找到整數 x, y, z，使得 xn + yn = zn。費馬在他那本《算術》的頁邊寫道︰「我發現了一個絕妙的證明，但這個頁邊太窄，寫不下」。

codya

最後一個猜想


然而後人在整理費馬的遺稿時，未有發現他所指的「絕妙證明」，其眉批成為數學界懸而未決的猜想。終其一生，費馬曾有很多斷言未提供證明（或已經遺失），但當中不少斷言被後來的數學家證明為真，除了上述那個。




這個猜想因此被稱為「費馬最後定理」或「費馬大定理」，成為不少數學家嘗試攻克的難題。費馬本身有另一個證明，可以推論出n=4時其猜想成立，餘下來就只需要證明，當n是任何大於2的質數p，費馬的猜想成立（原因可參考維基百科）。

猜想出現後兩世紀，數學界仍只能證明多三個特例︰當n是3、5或7時猜想成立。而在19世紀，數學家熱爾曼（Sophie Germain）及庫默爾（Ernst Kummer）分別證明了猜想對於某類質數成立，然而無法推廣至所有質數。

在20世紀，有數學家推廣庫默爾的證明至2521以下的質數，其後又有人推廣至12萬5千以下的質數。直到1993年時，數學界已經知道費馬的猜想對於400萬以下的質數皆成立。


另一個猜想


不過質數有無限多個，即使用電腦驗證至10億、10兆甚至更大的數字時猜想成立，數學界仍不會視猜想已被證明。

1993年6月21日至23日，懷爾斯在劍橋大學的牛頓研究所用上三天時間，向數學界解說他對「谷山—志村猜想」的證明，這個猜想的名字來自兩位日本數學家谷山豐和志村五郎。兩人於1957年提出猜想，把模形式（modular form）及有理數域上的橢圓曲線拉上關係。

1986年，數學家弗雷（Gerhard Frey）證明，假如費馬的猜想不成立——也就是說我們可以找到4個整數 x,y,z,n 使得 xn + yn = zn（當中的n大於2）——這個反例可以用來證明谷山—志村猜想同樣不成立。

反過來說就是，假如谷山—志村猜想成立，則費馬猜想成立。弗雷的推論還需要一條定理，在同一年被證明成立。

codya

完成習題


懷爾斯得悉此事後，便決定要證明谷山—志村猜想。懷爾斯曾憶述他在10歲時讀到的那本數學書中，作者居然叫讀者把費馬最後定理當作習題。恐怕作者也不曾料到，真的有讀者能把這道「習題」完成。


當懷爾斯決定要證明谷山—志村猜想後，用了7年時間孤軍作戰，而外界一直沒有人知道他正挑戰這道世紀難題。直到1993年他要向數學界解說證明前，才有傳言指他已經證明谷山—志村猜想。

懷爾斯解說的最後一日，房間內坐滿了人。「我想，我會在這兒結束。」懷爾斯的演講就此完結，他的證明成為了數學界頭等大事，甚至上了《紐約時報》。


填補漏洞


接下來懷爾斯把論文寫好，寄去期刊讓同行審查。然而期間評審發現了證明中有一個漏洞，懷爾斯無法補好的漏洞。雖然懷爾斯大部份的結果不受影響——證明的其他部份仍然非常重要及創新——但這個漏洞會使他未能證明谷山—志村猜想。

懷爾斯找來他以前的學生泰勒（Richard Taylor），兩人花了一年時間嘗試解決這個問題。1994年9月14日，懷爾斯突然想到他以前放棄過的一個方法，經修改後可以解決證明中的漏洞。同年10月，他寄出兩份論文手稿，其中一份跟泰勒合著，修補了原本的漏洞。

論文通過審查並於1995年5月刊出，現時數學界普遍接受懷爾斯的證明成立。由於他用上大量現代數學的工具，才能證明這個三百多年的猜想，一般認為費馬的「絕妙證明」根本不存在。

codya

獲頒阿貝爾獎


1998年的國際數學家大會上，懷爾斯獲頒發一個特別獎。菲爾茲獎也是在每4年一度的大會開幕禮中頒發，由於懷爾斯在完成證明時已超過40歲，因此無法獲獎。懷爾斯證明費馬最後定理的工作得到廣泛肯定，獲頒多個大獎，包括費馬獎、沃爾夫獎（Wolf Prize）及邵逸夫獎等。

是次懷爾斯獲頒發的阿貝爾獎，由挪威政府在2002年挪威數學家阿貝爾（Niels Henrik Abel）誕生200周年時設立，授予的數學家均須對數學界有非凡深度及影響力之貢獻。

負責頒發獎項的挪威科學與文學院於表示，懷爾斯獲獎是因為他對費馬最後定理令人驚嘆的證明，而該證明讓數論進入了新時代。新聞稿指懷爾斯是少數——如非唯一——證明數學定理能上國際報章頭版的數學家。委員會認為在數學史上，很少數學結果能像費馬最後定理般有如此豐富的歷史，以及戲劇性的證明。

頒獎禮在5月24日於奧斯陸舉行，屆時懷爾斯會得到600萬挪威克朗（約60萬歐元或70萬美元）。

codya

Simple and best practice solution for xn+yn=zn equation. Check how easy it is, and learn it for the future. Our solution is simple, and easy to understand, so don`t hesitate to use it as a solution of your homework.
If it's not what You are looking for type in the equation solver your own equation and let us solve it.

Equation:       
SOLVE
Solution for xn+yn=zn equation:

Simplifying
xn + yn = zn

Solving
nx + ny = nz

Solving for variable 'n'.

Move all terms containing n to the left, all other terms to the right.

Add '-1nz' to each side of the equation.
nx + ny + -1nz = nz + -1nz

Combine like terms: nz + -1nz = 0
nx + ny + -1nz = 0

Factor out the Greatest Common Factor (GCF), 'n'.
n(x + y + -1z) = 0

Subproblem 1
Set the factor 'n' equal to zero and attempt to solve:

Simplifying
n = 0

Solving
n = 0

Move all terms containing n to the left, all other terms to the right.

Simplifying
n = 0

codya

Factor out the Greatest Common Factor (GCF), 'n'.
n(x + y + -1z) = 0

Subproblem 1
Set the factor 'n' equal to zero and attempt to solve:

Simplifying
n = 0

Solving
n = 0

Move all terms containing n to the left, all other terms to the right.

Simplifying
n = 0

Combine like terms: y + -1y = 0
0 + -1z = -1x + -1y
-1z = -1x + -1y

Add 'z' to each side of the equation.
-1z + z = -1x + -1y + z

Combine like terms: -1z + z = 0
0 = -1x + -1y + z

Simplifying
0 = -1x + -1y + z

The solution to this equation could not be determined.

This subproblem is being ignored because a solution could not be determined.
Solution
n = {0}