什么是數學猜想？盤點改變數學歷史的著名未解難題與傳奇故事

在數學中，猜想（Conjecture）是數學家提出但尚未被證明的命題(Proposition)或結論(conclusion)。這些命題雖然看起來很可能是正確的，但還缺乏嚴格的數學證明。

一些著名的猜想，如黎曼猜想（Riemann hypothesis）或費馬猜想（Fermat's conjecture，現已成為定理，由安德魯·懷爾斯于1995年證明），對數學史產生了深遠影響，它們推動了新數學領域的發展，因為數學家們正是為了證明這些猜想而開辟新的研究方向。

猜想的解決方式 證明：將猜想轉變為定理

數學是建立在嚴格證明基礎上的學科。即使有成千上萬的例子支持一個猜想，也不足以證明它適用于所有情況。只要找到一個反例，整個猜想就會被推翻。

哥德巴赫猜想就是"每個大于2的偶數都可以表示為兩個質數之和"，如果能找到一個不能拆分為兩個質數之和的偶數，這個存在了近300年的猜想就會立即坍塌。

有時候，數學期刊會發表研究團隊在尋找可能反例方面的進展。比如考拉茲猜想（也稱為"3n+1問題"），它關注一個特定的數學規則是否總能把任何正整數最終變為1。研究者已經驗證了高達1.2萬億的所有整數都符合這一猜想，但這仍然不是證明——因為該猜想可能在更大的數字中存在反例。

盡管尚未被完全證明，數學家們通常會根據各種證據判斷一個猜想的可信度。這些證據可能包括：驗證猜想的特殊情況、猜想與已知結果的聯系、猜想的各種推論被證實等。

一個猜想只有在被證明邏輯上不可能為假時，才被認為是已被證明。數學證明有多種方法，包括直接證明、反證法、歸納法等。

當可能的反例只有有限數量時，一種稱為"暴力法"（brute force）的證明方法是可行的：這種方法會窮盡檢查所有可能的情況，證明沒有一種情況會產生反例。在某些問題中，可能的情況數量龐大，需要借助計算機算法進行檢驗。四色定理的證明就是一個著名例子，它在1976年由肯尼思·阿佩爾和沃爾夫岡·哈肯使用計算機完成，并在2005年通過定理證明軟件得到最終確認。

當一個猜想被證明后，它就晉升為定理（theorem）。許多數學中的重要定理最初都是猜想，如解決了龐加萊猜想的幾何化定理、費馬大定理等。

反證：找到猜想的反例

如果找到了反例，猜想就被證明是錯誤的，這類被推翻的猜想有時被稱為假猜想（false conjectures）。著名的例子包括波利亞猜想(Pólya conjecture)和歐拉猜想(Euler's sum of powers conjecture)。

既不能證明也不能反駁的猜想

有些猜想既不能被證明為真，也不能被證明為假，這是因為它們獨立于當前的數學公理系統。連續統假設（continuum hypothesis）就是這樣一個例子，它試圖確定實數集合的基數與自然數集合的基數之間的關系。庫爾特·哥德爾和保羅·科恩證明了這個假設既不能從標準集合論（ZFC公理系統）中被證明，也不能被反駁。

這意味著我們可以選擇接受或拒絕這個假設作為一個新的公理，兩種選擇都能產生自洽的數學體系。這類似于歐幾里德幾何中的平行公設——我們可以接受它（得到歐幾里德幾何）或拒絕它（得到非歐幾里德幾何）。

在這種情況下，如果一個證明依賴于這類獨立命題，數學家通常會尋找不依賴于這些命題的替代證明。在實踐中，選擇公理（axiom of choice）是一個例外，大多數數學家會自由使用它，除非他們專門研究公理本身。

有條件證明：基于未證明猜想的理論發展

有些猜想被頻繁用作其他結果證明中的假設，此時它們常被稱為假設（hypothesis）。黎曼猜想就是一個典型例子，它對素數分布做出預測。雖然尚未被證明，但大多數數論學家都相信它是正確的。

基于這種信心，一些數學家甚至發展了以黎曼猜想為前提的進一步理論和結果。這些被稱為條件證明（conditional proofs）：它們的有效性取決于猜想最終被證明為真。

許多關于素數分布的精確結果都以"假設黎曼猜想成立"為前提。這些結果提供了深刻的見解，但如果黎曼猜想最終被證明是錯誤的，這些結果也將失效。

正因如此，驗證這些核心猜想的真假對數學界至關重要。

改變數學歷史的重要猜想 費馬大定理：從猜想到定理的漫長旅程

在數論中，費馬大定理（曾被稱為費馬猜想）指出：對于任何大于2的整數 ，方程 沒有正整數解。

這個定理的故事始于1637年，當時皮埃爾·德·費馬在閱讀丟番圖的《算術》時，在書頁邊緣寫下了這個猜想，并聲稱自己有一個"精妙的證明"，但頁邊空白太小無法寫下。這個簡短的注記引發了長達358年的數學探索。

費馬大定理最終于1994年被英國數學家安德魯·懷爾斯證明。他的證明融合了現代數學的多個前沿領域，涉及代數數論、橢圓曲線和模形式等復雜理論。證明如此深奧，以至于只有少數專家能完全理解。在被證明前，它被《吉尼斯世界紀錄》列為"最難數學問題"。

四色定理：第一個使用計算機證明的重要定理

四色定理是關于地圖著色的一個經典問題：任何平面地圖都可以用四種或更少的顏色著色，使得任何兩個共享邊界的區域顏色不同。

這個看似簡單的問題首次被法蘭西斯·古德里在1852年提出，當時他在為英格蘭郡地圖著色時注意到四種顏色似乎總是足夠的。五色定理（五種顏色足夠）較容易證明，并在19世紀末被解決，但證明四色足夠則困難得多。

四色定理最終在1976年由肯尼思·阿佩爾和沃爾夫岡·哈肯證明，他們的證明使用計算機檢查了1,936種不同的地圖構形。這是第一個依賴計算機的重要數學定理證明，開創了計算機輔助證明的先河。

這種方法當時引起了爭議，因為證明中的計算部分太過龐大，人類無法手動驗證。然而，隨著計算機科學的發展，這種驗證方法逐漸獲得了更廣泛的接受。2005年，使用定理證明軟件對該證明進行了正式驗證，進一步確認了結果的正確性。

主猜想：被反駁的重要猜想

主題：主猜想

幾何拓撲中的主猜想（德語為Hauptvermutung，意為"主要猜想"）認為任何兩個可三角剖分空間的三角剖分都有一個公共細分。這個猜想由施泰尼茨和蒂策在1908年提出，嘗試建立拓撲空間的組合表示的唯一性。

有趣的是，這個看似合理的猜想最終被證明是錯誤的。約翰·米爾諾在1961年使用代數拓撲中的雷杰米斯特撓率/解析撓率（Reidemeister torsion）構造了反例，證明了非流形情況下猜想不成立。

盡管在一般情況下不成立，主猜想在低維流形（維度不超過3）的特殊情況下是正確的。這些結果分別由蒂博爾·拉多（2維情況）和埃德溫·莫伊斯（3維情況）在20世紀中期證明。

韋伊猜想：數學深度聯系的典范

安德烈·韋伊在1949年提出的猜想關注代數幾何與數論的深層聯系。具體來說，他研究了計算代數簇在有限域上的點數所導出的生成函數（稱為局部ζ函數）。

韋伊猜測這些函數應該滿足三個性質：它們是有理函數；滿足特定形式的函數方程；其零點位置受到限制（類似于黎曼假設）。這些猜想影響深遠，為代數幾何與數論之間建立了橋梁。

韋伊猜想的三個部分分別由不同數學家證明：有理性由伯納德·德沃克（1960年）證明；函數方程由亞歷山大·格羅滕迪克（1965年）證明；零點位置限制（即有限域上曲線的黎曼假設類比）由皮埃爾·德利涅（1974年）證明。

▲ 皮埃爾·德利涅(1944年10月3日—)

德利涅因這一突破性工作獲得了1978年的菲爾茲獎，展示了解決重要猜想對數學家職業生涯的影響，也凸顯了如何通過分解復雜問題逐步接近解決方案。

龐加萊猜想：幾何拓撲中的里程碑

龐加萊猜想是由法國數學家亨利·龐加萊在1904年提出的，關于三維空間的基本性質。簡單來說，它斷言每個"單連通的閉三維流形"都與三維球面同胚（拓撲等價）——它們在拓撲結構上沒有本質差別。

這個猜想是拓撲學中最著名的問題之一，也是七個千禧年數學問題之一。它的高維版本（維度大于等于5）在20世紀60年代就已解決，四維情況在1982年解決，但三維情況——也是原始猜想——被證明尤為困難。

經過近一個世紀的努力，俄羅斯數學家格里戈里·佩雷爾曼在2002-2003年發表的三篇論文中最終完成了證明。他的工作基于理查德·漢密爾頓開創的使用里奇流（Ricci flow）的方法，這是一種幾何分析中的強大技術。

佩雷爾曼因這一成就被授予菲爾茲獎和千禧年獎金，但他出人意料地拒絕了這兩項榮譽，成為數學史上的傳奇人物。

黎曼猜想：數學中的"圣杯"

主題：黎曼猜想

黎曼猜想由德國數學家伯恩哈德·黎曼于1859年提出，被許多人認為是當今數學中最重要的未解決問題。它關注黎曼ζ函數（zeta function）的零點位置，具體而言，猜想認為所有非平凡零點的實部均為1/2。

這個看似抽象的問題與素數分布有著深刻聯系。如果黎曼猜想成立，我們將獲得關于素數分布的精確信息，遠超目前所知。正是因為這種聯系，黎曼猜想被視為數論研究的核心問題。

黎曼猜想是千禧年七大數學問題之一，克雷數學研究所為其解決方案提供了100萬美元獎勵。盡管許多優秀數學家努力攻克這個問題，它至今仍未被證明或反駁。

P/NP問題：計算復雜性的核心問題

P/NP問題是計算機科學中的根本問題，簡單來說，它詢問：是否所有能夠快速驗證答案正確性的問題也能夠被快速解決？

這里的P指"多項式時間可解決"的問題集合，而NP指"多項式時間可驗證"的問題集合。問題是：這兩個集合是否相同？即P=NP是否成立？大多數專家認為P≠NP，但這尚未被證明。

一個形象的例子是拼圖：驗證一個完成的拼圖是否正確很容易（NP問題），但從零開始解決一個復雜拼圖可能非常困難。P=NP問題本質上在問：是否存在某種算法，使得解決拼圖和驗證拼圖一樣容易？

這個問題由斯蒂芬·庫克在1971年的論文《定理證明程序的復雜性》中正式提出，但早在1956年，庫爾特·哥德爾就在給約翰·馮·諾依曼的信中提到了類似問題。

P/NP問題不僅是理論計算機科學的核心，也對密碼學、人工智能、優化理論等領域有重大影響。它同樣是千禧年七大數學問題之一，解決者將獲得100萬美元獎勵。

其他重要猜想

數學中還有許多其他重要猜想，每個都開辟了新的研究方向：

• 哥德巴赫猜想（Goldbach's conjecture）：每個大于2的偶數都可以表示為兩個素數之和。這可能是數論中最古老的未解決問題之一。

• 孿生素數猜想（Twin prime conjecture）：存在無窮多對相差為2的素數（如3和5，11和13等）。

• 考拉茲猜想（Collatz conjecture）：對任何正整數，重復應用"偶數除以2，奇數乘3加1"的規則，最終會得到1。

• 馬寧猜想（Manin conjecture）：關于代數簇上有理點分布的預測。

• 馬爾達西那猜想（Maldacena conjecture）：理論物理中的一個重要猜想，關于弦理論和量子場論之間的對應關系。

• 哈代-李特爾伍德猜想（Hardy-Littlewood conjectures）：一對關于素數分布的猜想。有趣的是，已經證明這兩個猜想不能同時為真，但尚不知道哪一個是錯誤的。

• 朗蘭茲綱領（Langlands program）：一個雄心勃勃的研究項目，旨在連接數論、表示論和代數幾何等數學領域。它包含許多深刻的猜想，其中一些已經被證明。

原內容及圖片源自維基百科(Conjecture)，遵循CC BY-SA 4.0協議。 【遇見數學】譯制，并補充部分內容/圖片

來源：遇見數學

編輯：子木

轉載內容僅代表作者觀點

不代表中科院物理所立場

如需轉載請聯系原公眾號