一、爲什麼有些數學題能困住人類幾百年

數學最有魅力的地方在於：絕大多數問題的表述連中學生都能讀懂，但證明卻可能耗盡一代又一代頂級數學家的畢生精力。費馬大定理、哥德巴赫猜想、四色問題、黎曼猜想都是這樣的“百年難題”。它們的共同點是——命題本身極其簡潔，內在結構卻深不見底。瞭解這些故事，不只是爲了考試中那兩三道“數學文化”題，更能讓你看到：數學不是一堆公式的堆砌，而是一場跨越數百年的接力賽。

二、費馬大定理：書邊空白處的“我發現了”

1637 年，法國數學家費馬在讀古希臘數學家丟番圖的《算術》時，在古希臘著作的頁邊寫下了一段話：

“不可能把一個整數的立方分解成兩個立方之和，也不可能把一個四次方分解成兩個四次方之和。一般地，對於任何大於 2 的冪指數，都不可能。我發現了一個真正出色的證明，可惜這裏空白太小，寫不下。”

這個“寫不下”的證明，一“寫不下”就是三百多年。費馬大定理說：當 n 大於 2 時，關於 x、y、z 的方程 xⁿ+yⁿ=zⁿ沒有正整數解。n=2 時大家熟悉——勾股數 3、4、5 就是一組解；n 大於 2 時居然一組解都沒有，看起來不像真的，但確實真的沒有。

歐拉證明了 n=3 的情形，索菲·熱爾曼處理了一類特殊素數，庫默爾開啓了理想數理論——每個進步都推進了數學本身的發展，但完整證明遲遲未現。直到 1995 年，英國數學家安德魯·懷爾斯宣佈證明了費馬大定理。他的證明用了超過 200 頁，還動用了 20 世紀發展出的橢圓曲線和模形式理論——這些工具在費馬那個時代根本不存在。懷爾斯接到導師的一個電話：“我認爲你已經把它證明了。”

這個故事給我們的啓示：一道題的價值，不在於最終答案，而在於追尋答案過程中長出的新數學。費馬大定理的證明過程催生了代數幾何、數論和密碼學的大量新方法。

三、哥德巴赫猜想：一個至今懸而未決的“1+1”

1742 年，德國數學家哥德巴赫在給歐拉的信中提出猜想：任何一個大於 2 的偶數，都可以寫成兩個素數之和。比如 4=2+2、6=3+3、10=3+7、100=17+83。這個設想至今既沒有被證明，也沒有被推翻。形式化地說，任意大的偶數都能寫成兩個素數之和，用數學黑話說就是“1+1”。

“1+1”這個說法容易被人誤解成“證明一加一等於二”——完全是兩回事。哥德巴赫猜想是關於“素數分解”的難題，不是基本算術運算。

中國數學家陳景潤在 1966 年宣佈證明“1+2”——任意一個足夠大的偶數，可以表示爲一個素數加一個爲兩個素數乘積的數。距離“1+1”只差最後一步，但這最後一步至今未跨過。哥德巴赫猜想的困難在於：素數在大數範圍內的分佈規律極其複雜。雖然現代計算機驗證了天文數字級的偶數都滿足猜想，但“驗證”不等於“證明”。

近年在哥德巴赫猜想方向上也有弱哥德巴赫猜想被證明的突破：2013 年，祕魯數學家哈洛德·賀歐夫各特證明了“任意大於 5 的奇數都可以寫成三個素數之和”。這是數論領域近年最重要的成果之一，但強哥德巴赫猜想仍未解決。

四、四色問題：第一道被計算機征服的百年難題

1852 年，英國青年弗蘭西斯·格思裏給地圖塗色時發現：任何一張地圖，只要用四種顏色，就能保證相鄰區域顏色不同，不需要第五種。他把問題交給老師——著名數學家德·摩根，德·摩根又傳給學界，從此四色問題誕生。

看起來非常“接地氣”的問題——你在紙上畫幾個圈就能理解——但證明卻極其困難。數學家們花了超過一百年，始終無法給出一個純人工的證明。1976 年，美國數學家阿佩爾和哈肯宣佈：他們用計算機對近兩千種“不可避免圖”逐一檢查，確認四種顏色足夠。這是人類歷史上第一個依賴計算機證明的著名定理。

四色問題的意義遠不止於地圖。它催生了圖論的發展，並讓人們開始嚴肅思考：計算機證明算不算數學證明？今天，這個問題仍有哲學家和數學家爭論。值得知道的是，地圖的“相鄰”定義是有講究的：只有共享邊界線才叫相鄰，共享一個點不算相鄰。如果點接觸也算相鄰，四色定理就不成立了。

考試類比：圖論中的“染色問題”常在信息學競賽中出現，本質是給圖的頂點染色，使相鄰頂點顏色不同，最少用幾色。這類題關鍵在建圖：把區域抽象成頂點，把“相鄰”抽象成邊。

五、七橋問題：如何從一道散步題誕生一門學科

哥尼斯堡（今俄羅斯加里寧格勒）有條河穿過城市，河中有兩個小島，七座橋連接兩岸與兩島。當地居民熱衷一個遊戲：有沒有可能一次走遍七座橋，每座橋只走一次，最後回到起點？

1736 年，歐拉把兩岸和兩島抽象成四個“點”，把七座橋抽象成連接點的“線”。問題變成：能否從某點出發，一筆畫完所有線且每條線只畫一次，回到起點？歐拉給出結論：一個連通圖存在這樣的迴路的充要條件是——每個點的度（連接的邊數）都是偶數。哥尼斯堡七橋圖中四個點的度數分別爲 3、3、3、5，全是奇數，因此無解。

這道“散步題”直接催生了圖論和拓撲學——現代網絡科學、物流運輸、地圖導航背後的數學基礎。歐拉的處理方式也極具啓發性：把具體問題抽象成結構問題，忽略無關細節。

聯招數學中偶有“一筆畫”題：判斷圖形能否一筆畫成——看奇點（連接奇數條邊的點）的個數。奇點爲 0 或 2 時能一筆畫成；奇點大於 2 時不能。

六、黎曼猜想：千萬裏之外的素數“幽靈”

1859 年，德國數學家黎曼在柏林科學院提交了一篇僅八頁的論文，提出了一個關於素數分佈規律的猜想。素數——也就是隻能被 1 和自身整除的數——看似隨機分佈，但黎曼發現它們可能與某個複雜函數——黎曼ζ函數——的零點位置存在深刻關聯。他猜測：ζ函數的所有非平凡零點都位於複平面的某條直線上。這就是黎曼猜想。

黎曼猜想的重要性超乎想象。數論中超過一千條結論都以“黎曼猜想成立”爲前提——一旦猜想被證明，這些結論全部升級爲定理；一旦被推翻，這些結論將大規模崩塌。1900 年希爾伯特把它列入“23 個世紀難題”，2000 年克雷數學研究所將它列爲“千禧年大獎難題”，懸賞一百萬美元。它至今未被解決，也是幾個千禧年難題中尚未被攻克的一個（龐加萊猜想已被佩雷爾曼證明，但其他多數千禧難題也未解決）。

黎曼猜想之所以困難，是因爲它觸及了素數在自然數中分佈的“深層秩序”。數學界普遍認爲，這個猜想最終會成立——但證明的路徑仍然迷霧重重。

七、這些難題對我們的學習啓示

看這些百年難題，不只是聽故事，還能帶出幾個重要的學習視角：

• 問題的難度與表述長度無關。哥德巴赫猜想一個句子讀完，費馬大定理一句“寫不下”就困住世界三百年。遇到難題不要因爲“題目短”就輕視，也不要因爲“題目長”就害怕。
• 反例是推進數學的關鍵。四色問題曾有人提出反例，後來發現是邊界定義問題；黎曼猜想至今未發現反例，但也不能因此認爲它已證明。數學的世界裏，猜想再美也必須是定理。
• 數學是“接力賽”而非“獨角戲”。懷爾斯能證明費馬大定理，是站在整個 20 世紀數論發展的肩上。學習也是一樣，前面的基礎概念沒打好，後面的內容遲早會“卡殼”。
• 計算機改變了數學的研究方式。四色問題是第一個計算機證明的定理，今天人工智能也開始輔助數學家尋找證明線索。未來數學考試中的計算思維會越來越重要。

八、聯招真題裏的“數學文化”題怎麼考

聯招數學近年偶有結合數學史的題目，通常不是直接考故事，而是把史實轉化爲數學問題。常見考法：

考法一：以“一筆畫”爲背景，給一個圖形判斷能否一筆畫成，考奇點判斷；

考法二：以“勾股定理”爲背景，回顧畢達哥拉斯的證明思路，再進行幾何計算；

考法三：直接給一個數學家的貢獻與數學成果連線，考概念匹配。

真正的歷史細節——比如懷爾斯哪一年發表論文——一般不會考。但概念本身一定要清楚：能判斷一個圖能否一筆畫；能寫出勾股定理及常見勾股數；能說出素數與合數的區分。數學文化題考查的本質，是“用數學的眼光看世界的能力”。

中書院提醒：這些百年難題最大的教育價值不是讓人仰望天才，而是讓人看到——再難的題，都是從一個簡單的問題開始的。學數學不必怕難，把問題拆小，一步一步來。