史上最難的奧數競賽題目

史上最難的奧數競賽題目

我們想讓你知道的是

1988年國際數學奧林匹克競賽第6題,是公認史上最精彩也是最困難的競賽題目之一。

玩過奧數或者其他數學競賽的朋友大概都會聽過「傳奇的第6題」,即1988年國際數學奧林匹克競賽(International Mathematical Olympiad,簡稱IMO)第6題,是公認史上最精彩也是最困難的競賽題目。

題目如下:設正整數a, b滿足ab+1可以整除a2+b2,證明(a2+b2)/(ab+1)是某個整數的平方。

例如代入a = 1,b = 1,我們得到 k = (12+12)/(1x1+1) = 1,這顯然是個平方數。跟很多數論問題一樣,這題目很易理解,初中生都可以明白,解答起上來卻出奇地困難。

究竟這題目有多困難呢?或者讓史丹福先簡介一下IMO的題目來源,好讓大家對這比賽有更多的認識。

難倒專家的題目

IMO競賽是讓全世界不同國家的中學生參與的數學比賽,共有6題題目,比賽分兩天,每天做三題,總共時間為9小時。題目基本上都是證明類題目,每題值7分,共42分。試題大致上會分為簡單、中等與困難,第1與第4題屬簡單,第2與第5題屬中等,第3與第6題屬困難。題目由主辦國外的各參賽國提供,由主辦國組成擬題委員會,從提交題目中挑選候選題目。各國領隊在隊員前數天抵達,共同商議出問題及官方答案。

話說當年西德是奧數的超級強隊,曾經於1982與83年獲得總分第一,但之後幾年卻被蘇聯、羅馬尼亞及美國超越了,搶奪了其第一的寶座。有人認為也許是出於復仇心態,西德數學家出了這道精心設計、極盡困難的題目。澳洲數學奧林匹克擬題委員會6個成員都未能解到這問題,於是他們只好向主辦國澳洲4位數論專家求助,委員會希望專家能於6小時內解決問題,令人尷尬的是,專家經過一輪苦戰都未能解出題目。

但擬題委員會竟然夠勇氣把問題寄往國際數學奧林匹克委員會,他們特意在問題旁加上兩顆星,代表超難題目,也許難到不應用作競賽題目。委員會作了長時間的考慮後,又真的斗膽敢採用此題,結果這題目就成了第29屆國際數學奧林匹克競賽的第6題。

委員會有人覺得這可能會成為破紀錄的沒有選手解到的國際奧數問題,然而事實上並非如此,雖然268名選手的平均得分只有0.6分,為IMO舉辦29年以來最低的一題,但這題難倒4位數論專家的題目竟被11位中學生以7分滿分成績解答。

陶哲軒被譽為當今世上最出色的年輕數學家之一。他自小已是數學天才,於10歲、11歲及12歲參加了三次國際數學奧林匹克競賽,分別得了銅獎、銀獎與金獎,是銅獎、銀獎與金獎的最年輕得獎紀錄保持者。他於16歲得到學士學位、21歲得到普林斯大學博士學位,並在24歲成了加州大學洛杉磯分校(University of California, Los Angeles,簡稱UCLA)數學系的終身教授,是該校史上最年輕的終身教授。他於31歲獲得菲爾茲獎。菲爾茲獎是數學界最高的榮譽,由於諾貝爾獎不設數學獎,所以菲爾茲獎基本上就是等同於數學屆的諾貝爾獎。

為何我突然花這麼多的時間介紹陶哲軒呢?因為他參與了1988年的國際數學奧林匹克競賽獲得金獎,他於頭5題都全取7分,最後的第6題卻只有1分。這條超級難題連當今世上其中一位最出色的數學家都破解不了,令題目更添傳奇色彩。

獲特別獎的解題方法

保加利亞選手Emanouil Atanassov卻得到了該題的特別獎。特別獎的得獎者必須用非常漂亮、精彩獨到的方法解題,答案比標準答案更精彩,通常也更簡潔,才有機會得獎,可以說比得到滿分更困難。他用到的方法叫「韋達跳躍」(Vieta jumping)。史丹福找不到文獻記載這條奧數問題出現前有沒有人用過此方法解題,不過可以肯定的是,這方法在該屆IMO之後聲名大噪,現今已是參加數學比賽者訓練時必定會學到的技巧。

「韋達跳躍」的概念其實都只是來自高中數學,沒有甚麼高深,只不過是利用了極盡巧妙的方法,把初等數學的威力發揮得淋漓盡致而已。

這技巧牽涉到兩個重要數學,一是韋達定理(Vieta’s theorem),一是無窮遞降法(method of infinite descent)。

韋達定理其實就是二次方程中根的和與積及項數的關係,設ax2+bx+c=0有根α與β,α+β = -b/a,αβ=c/a。這應該是DSE高中數學第一課的內容,廣為人知(雖然課程沒有用到韋達定理這個很專業的名稱)。

至於無窮遞降法是一種反證法,用的是「沒有最小,只有更小」的概念。如果我們假設一方程式有一正整數解,那麼應該有一最小的解。然後我們再證明「如果有一解,必有另一個更小的解」,也就是說「沒有最小,只有更小」,這與方程式有最小解互相矛盾,由此推論出唯一可能就是我們的假設出錯,因此方程式根本上沒有解。 這個方法最先由大數學家費馬使用,證明了x4+y4=z4沒有正整數解,也就是費馬大定理中n=4的情況。歐拉也用無窮遞降法證明過每個除4的餘數為1的質數都可以表達為兩個平方之和,值得一提的是這定理也是由費馬最先提出的,雖然他沒有提出證明。

言歸正傳,我們就試試用這方法解開傳奇的第6題吧!