哥德巴赫猜想

哥德巴赫猜想（Goldbach's conjecture）是數論中存在最久的未解問題之一。這個猜想最早出現在1742年普魯士數學家克里斯蒂安·哥德巴赫與瑞士數學家萊昂哈德·歐拉的通信中。用現代的數學語言，哥德巴赫猜想可以陳述為：

“

任一大於2的偶數，都可表示成兩個質數之和。

”

此條目頁的主題是數學中的哥德巴赫猜想。關於徐遲的報告文學，請見「哥德巴赫猜想 (報告文學)」。

將一個偶數用兩個質數之和表示的方法，等於同一橫線上，藍線和紅線的交點數。

這個猜想與當時歐洲數論學家討論的整數分拆問題有一定聯繫。整數分拆問題是一類討論「是否能將整數分拆為某些擁有特定性質的數的和」的問題，比如能否將所有整數都分拆為若干個完全平方數之和，或者若干個完全立方數的和等。而將一個給定的偶數分拆成兩個質數之和，則被稱之為此數的哥德巴赫分拆。例如，

4 = 2 + 2

6 = 3 + 3

8 = 3 + 5

10 = 3 + 7 = 5 + 5

12 = 5 + 7

14 = 3 + 11 = 7 + 7

16 = 3 + 13 = 5 + 11

…

換句話說，哥德巴赫猜想主張每個大於等於4的偶數都是哥德巴赫數——可表示成兩個質數之和的數^[1]。哥德巴赫猜想也是二十世紀初希爾伯特第八問題中的一個子問題。

其實，也有一部分奇數可以用兩個質數的和表示，大多數的奇數無法用兩個質數的和表示，例如：15=2+13、19=2+17，而23、35等數則無法用兩質數的和表示。

哥德巴赫猜想在提出後的很長一段時間內毫無進展，直到二十世紀二十年代，數學家從組合數學與解析數論兩方面分別提出了解決的思路，並在其後的半個世紀裏取得了一系列突破。目前最好的結果是中國數學家陳景潤在1973年發表的陳氏定理（也被稱為「1+2」）。

哥德巴赫猜想另一個較弱的版本（也稱為弱哥德巴赫猜想）是猜想大於5的奇數都可以表示成3個質數之和^[2]。這個猜想可以從哥德巴赫猜想推出。1937年，蘇聯數學家伊萬·維諾格拉多夫證明了每個充分大（英語：Eventually (mathematics)）的奇數都可以表示成3個質數之和；2013年，秘魯數學家哈洛德·賀歐夫各特完全證明了弱哥德巴赫猜想。

起源

哥德巴赫信件的手稿，原文用德文和拉丁文寫成。

1742年6月7日，普魯士數學家克里斯蒂安·哥德巴赫在寫給瑞士數學家萊昂哈德·歐拉的通信中^[3]，提出了以下的猜想：

任一大於2的整數都可以寫成三個質數之和。

上述與現今的陳述有所出入，原因是當時的哥德巴赫遵照的是「1也是質數」的約定。現今數學界已經不使用這個約定了。哥德巴赫原初猜想的現代陳述為：

任一大於5的整數都可寫成三個質數之和。

歐拉在6月30日的回信中註明此一猜想可以有另一個等價的版本：

${\displaystyle (A):}$ 任一大於2的偶數都可寫成兩個質數之和。

並將此一猜想視為一定理，但他卻無法證明^[4][5]。今日常見的猜想陳述為歐拉的版本，亦稱為「強哥德巴赫猜想」或「關於偶數的哥德巴赫猜想」。

從關於偶數的哥德巴赫猜想，可推出：

${\displaystyle (B):}$ 任一大於5的奇數都可寫成三個質數之和

的猜想。後者稱為「弱哥德巴赫猜想」或「關於奇數的哥德巴赫猜想」。若關於偶數的哥德巴赫猜想是對的，則關於奇數的哥德巴赫猜想也會是對的^[5]。1937年時前蘇聯數學家維諾格拉多夫已經證明充分大的奇質數都能寫成三個質數的和，也稱為「哥德巴赫-維諾格拉多夫定理」或「三質數定理」^[5]。2013年，秘魯數學家哈洛德·賀歐夫各特等人將維諾格拉多夫的結論進一步加強，並驗證了較小的奇質數的情況，宣稱完全證明了弱哥德巴赫猜想。^[6][7]

進展

一百六十餘年的沉寂

證明哥德巴赫猜想相當困難。直至今日，數學家對於哥德巴赫猜想的完整證明沒有任何頭緒。事實上，從1742年這個猜想正式出現，到二十世紀初期，在超過160年的時間裏，儘管許多數學家對這個猜想進行了研究，但沒有取得任何實質性的進展，也沒有獲得任何有效的研究方法。二十世紀以前對哥德巴赫猜想的研究，僅限於做一些數值上的驗證工作，提出一些等價的關係式，或對之做一些進一步的猜測^[8]。1900年，希爾伯特在第二屆國際數學家大會上提出的著名的二十三個希爾伯特問題之中的第八個問題，就包括了哥德巴赫猜想和與它類似的孿生質數猜想^[8]。希爾伯特的問題引發了數學家的極大興趣，但對於哥德巴赫猜想的研究仍舊毫無進展。1912年第五屆國際數際數學家大會上，德國數論專家愛德蒙·朗道曾經說過，即使要證明每個偶數能夠表示成K個質數的和，不管K是多少，都是數學家力所不及的。1921年，英國數學家戈弗雷·哈羅德·哈代曾經在哥本哈根數學會議的一次演講中聲稱：「哥德巴赫猜想的困難程度可以與任何一個已知的數學難題相比」^[8]。

第一次重大突破

哈代和朗道做出以上的看法時，對哥德巴赫猜想的研究已經踏在了突破的門檻上。關於哥德巴赫猜想的第一次重大突破正是出現在二十世紀20年代^[9]。這次突破與十九世紀至二十世紀初歐洲數學家們在數論與函數論方面取得的輝煌成就是分不開的。歐拉、高斯、黎曼、狄利克雷、阿達馬等人的成果為後來的研究提供了強有力的工具和深厚的積累，打下了牢固的基礎^[9]。1920年左右，英國數學家哈代和約翰·伊登斯爾·李特爾伍德極大地發展了解析數論，建立起了「圓法」等研究數論問題的有力工具。他們在1923年合作發表的論文中使用「圓法」證明了：在假設廣義黎曼猜想成立的前提下，每個充分大的奇數都能表示為三個質數的和以及幾乎每一個充分大的偶數都能表示成兩個質數的和^[9][10]。當然，「幾乎每一個」與「每一個」之間仍然有巨大的技術鴻溝。

大約於此同時，挪威數學家布朗提供了另外一種證明的思路。1919年，他使用推廣後的「篩法」證明了：所有充分大的偶數都能表示成兩個數之和，並且兩個數的質因數個數都不超過9個^[9]。這個方法的思路是：如果能將其中的「9個」縮減到「1個」，就證明了哥德巴赫猜想。布朗證明的命題可以被記作「9+9」，以此類推，哥德巴赫猜想就是「1+1」。

圓法

注意：以下數學公式中的符號${\displaystyle \scriptstyle p,\,p_{1},\,p_{2},\cdots }$等都表示質數。

從1920年開始，哈代和李特爾伍德合作陸續發表了七篇總標題為《「整數拆分」的幾個問題》的論文，系統地發展出了堆壘數論中一個新的分析方法^[5]。這個新方法的思想在1918年哈代與印度數學家拉馬努金合寫的論文《組合分析的漸進公式》中就有表現^[11]。應用到哥德巴赫猜想上的話，圓法的思想是：對於非零整數${\displaystyle m}$，沿着單位圓為路徑的環路積分

${\displaystyle {\begin{aligned}\int _{0}^{1}e^{2\pi imt}\mathrm {d} t=0.\end{aligned}}}$

當且只當整數${\displaystyle m=0}$的時候，上面的積分才等於1。因此，如果考慮積分式：

${\displaystyle D(N)=\int _{0}^{1}S^{2}(t,N)e^{-2\pi iNt}\mathrm {d} t.}$

其中${\displaystyle S(t,N)=\sum _{2<p\leq N}e^{2\pi ipt}}$，那麼這個積分式實際上等於：

${\displaystyle {\begin{aligned}D(N)&=\int _{0}^{1}\sum _{2<p_{1},p_{2}\leqslant N}e^{2\pi i(p_{1}+p_{2})t}e^{-2\pi iNt}\mathrm {d} t\quad =\sum _{2<p_{1},p_{2}\leqslant N}\int _{0}^{1}e^{2\pi i(p_{1}+p_{2})t}e^{-2\pi iNt}\mathrm {d} t\\&=\sum _{2<p_{1},p_{2}\leqslant N \atop {p_{1}+p_{2}=N}}\int _{0}^{1}e^{2\pi i(p_{1}+p_{2}-N)t}\mathrm {d} t\quad +\sum _{2<p_{1},p_{2}\leqslant N \atop {p_{1}+p_{2}\neq N}}\int _{0}^{1}e^{2\pi i(p_{1}+p_{2}-N)t}\mathrm {d} t\\&=\operatorname {Card} \{(p_{1},p_{2})\,\,|2<p_{1},p_{2}\leqslant N,\,p_{1}+p_{2}=N\}\quad +\sum _{2<p_{1},p_{2}\leqslant N \atop {p_{1}+p_{2}\neq N}}\int _{0}^{1}e^{2\pi i(p_{1}+p_{2}-N)t}\mathrm {d} t\end{aligned}}}$

上式中第二項等於0，所以

${\displaystyle D(N)=}$方程「${\displaystyle p_{1}+p_{2}=N}$」的解${\displaystyle (p_{1},p_{2})}$的個數。

所以，關於偶數的哥德巴赫猜想其實等於是說對於所有大於等於6的偶數${\displaystyle N}$，單位圓上的環路積分式${\displaystyle D(N)>0}$。同理，關於奇數的哥德巴赫猜想等價於環路積分式：

${\displaystyle T(N)=\int _{0}^{1}S^{3}(t,N)e^{-2\pi iNt}\mathrm {d} t>0}$

因此，研究哥德巴赫猜想可以歸結為研究積分式${\displaystyle D(N)}$ 和 ${\displaystyle T(N)}$ 中以質數為變數的三角多項式${\displaystyle e^{2\pi ipt}}$。哈代和李特爾伍德猜測，當變量${\displaystyle t}$接近於分母「比較小」的最簡分數時，${\displaystyle S(t,N)}$的值會「比較大」，而當${\displaystyle t}$接近於分母「比較大」的最簡分數時，${\displaystyle S(t,N)}$的值會「比較小」。也就是說，積分${\displaystyle D(N)}$的主要部分其實是單位圓上分母「比較小」的那些最簡分數附近的積分，其它的部分上積分則沒那麼重要，可以忽略掉了。因此，可以將整個單位圓分成兩個部分：一部分是單位圓上分母「比較小」的那些最簡分數附近包括的一些區間，哈代和李特爾伍德稱其為「優弧」（major arc，與平面幾何中的「優弧」不同），其餘的部分則稱為「劣弧」（minor arc）。將整個積分 ${\displaystyle D(N)}$ 分成優弧上的積分${\displaystyle D_{1}(N)}$ 與劣弧上積分 ${\displaystyle D_{2}(N)}$ 之和，然後證明 ${\displaystyle D_{2}(N)}$ 相比起 ${\displaystyle D_{1}(N)}$ 可以忽略，而 ${\displaystyle D_{1}(N)>0}$，這就是圓法的主要思想^[5]。哈代和李特爾伍德在1923年的論文中證明了，如果存在正數${\displaystyle \theta <{\frac {3}{4}}}$，使得所有的狄利克雷L函數的全體零點都在半平面${\displaystyle {\mathit {Re}}(z)\leq \theta }$上，那麼充分大的奇數${\displaystyle N}$一定滿足${\displaystyle T(N)>0}$，也就是說能夠表示成三個質數的和^[5]。他們還給出了${\displaystyle T(N)}$的漸進式：在${\displaystyle N}$趨於無窮大的時候^[10]，

${\displaystyle T(N)\sim {\frac {1}{2}}{\mathfrak {S}}_{3}(N){\frac {N^{2}}{\ln ^{3}(N)}}.}$

其中

${\displaystyle {\mathfrak {S}}_{3}(N)=\prod _{p|N}\left(1-{\frac {1}{(p-1)^{2}}}\right)\prod _{p\,\nmid N}\left(1+{\frac {1}{(p-1)^{3}}}\right)}$

他們還證明了，在假設廣義黎曼猜想成立的情況下，如果用${\displaystyle E(N)}$表示${\displaystyle N}$以內無法寫成兩個質數之和的偶數的個數，那麼對任意的正數${\displaystyle \epsilon }$，都有

${\displaystyle E(N)<N^{{\frac {1}{2}}+\epsilon }}$

這說明了，不能寫成兩個質數之和的偶數佔所有偶數的比例是可以忽略的^[12][13]。

篩法與布朗方法

布朗使用的「篩法」，其原型為愛拉托散尼篩法，早在公元前250年就出現在古希臘。原始的篩法可以用來尋找一定範圍內（比如說2到100）的質數：先將第一個數2留下，將它的倍數全部劃掉；再將剩餘數中最小的3留下，將它的倍數全部劃掉；繼續將剩餘數中最小的5留下，將它的倍數全部劃掉……以此直至劃無可劃為止。這個過程就好像一遍又一遍的篩掉不需要的數字，故名篩法。布朗用到的推廣篩法也是基於同樣的理念：給定一個需要篩選的集合${\displaystyle {\mathfrak {A}}}$，一個用來作為篩選標準的「篩孔」，即一系列質數的集合${\displaystyle {\mathit {P}}={p_{1},p_{2},\cdots ,p_{n},\cdots }}$，以及一個範圍${\displaystyle z}$。記

${\displaystyle P(z)=\prod _{p_{k}<z}p_{k}}$

那麼可以定義篩函數：

${\displaystyle S\left({\mathfrak {A}},{\mathit {P}},z\right)=\sum _{a\in {\mathfrak {A}}}\mathbf {1} _{\{(a,P(z))=1\}}(a)}$

表示集合${\displaystyle {\mathfrak {A}}}$里所有與${\displaystyle P(z)}$互質的數的個數，也就是篩去了${\displaystyle {\mathit {P}}}$內小於${\displaystyle z}$的質數的所有倍數之後還剩下的數字的個數^[5]。

布朗的方法是弱化哥德巴赫猜想中「質數」的要求，將它改為所謂的「殆質數」，即「由不太多的質因數相乘得到的合數」，布朗在1919年證明了，每個充分大的偶數都可以寫成兩個數之和，並且這兩個數每個都是不超過九個質因數的乘積。這個命題可以轉變為用篩函數來表達。假設有充分大的偶數${\displaystyle N}$，令集合為${\displaystyle {\mathfrak {A}}=\left\{n(N-n),\,2<n<N\right\}}$，${\displaystyle {\mathit {P}}}$為所有質數的集合，${\displaystyle z=N^{1/\lambda },\lambda >0}$，那麼篩函數${\displaystyle S\left({\mathfrak {A}},{\mathit {P}},z\right)}$就是滿足

${\displaystyle (n,\prod _{p_{k}^{\lambda }<N}p_{k})=(N-n,\prod _{p_{k}^{\lambda }<N}p_{k})=1}$

的數對${\displaystyle (n,N-n)}$的個數^[14]。其中的${\displaystyle n}$和${\displaystyle N-n}$都與${\displaystyle \prod _{p_{k}^{\lambda }<N}p_{k}}$互質，也就是說它們的質因數都要大於等於${\displaystyle N^{1/\lambda }}$，因此它們的質因數個數至多有${\displaystyle a=\lceil \lambda \rceil -1}$ 個。所以對於${\displaystyle \lambda }$來說篩函數大於0，等價於命題「a+a」成立。如果能證明${\displaystyle \lambda =2}$的時候篩函數大於0，就等於證明了關於偶數的哥德巴赫猜想^[14]。

弱哥德巴赫猜想的解決

這兩種思路都在二十世紀中得到了極大的發展。1933年，蘇聯數學家列夫·傑里科維奇·史尼爾曼（俄語：Шнирельман, Лев Генрихович）同樣基於篩法證明了：存在某個整數K，使得每個偶數能夠表示成K個質數的和，彌補了朗道的遺憾^[9]。史尼爾曼給出的K的上限是800000，不久後羅曼諾夫證明了這個K不會超過2208。1936年，朗道和彼得·希爾克（德語：Peter Scherk）把結果改進到71，一年後意大利數學家吉奧凡尼·里奇（德語：Giovanni Ricci (Mathematiker)）又將結果改良為67。1956年，Sharpio證明了K不超過20，1956年尹文霖證明了K不超過18。1976年，英國數學家羅伯特·查爾斯·沃恩（英語：Bob Vaughan）證明了K小於等於6^[5]。

1937年是弱哥德巴赫猜想的研究取得重大突破的一年。首先，T·艾斯特曼證明了：每個充分大的奇數都可以表示成兩個奇質數和一個不超過兩個質數的乘積的數的和：

${\displaystyle 2N+1=p_{1}+p_{2}+p_{3}p_{4}}$ 或 ${\displaystyle 2N+1=p_{1}+p_{2}+p_{3}}$^[5]

同一年，維諾格拉多夫在使用圓法的基礎上，去掉了哈代和李特爾伍德的成果中對於黎曼猜想的依賴。也就是說，維諾格拉多夫證明了：每個充分大的奇數都能表示為三個質數的和，以及幾乎每一個充分大的偶數都能表示成兩個質數的和。維諾格拉多夫的證明使用到了他獨創的方法來對以質數為變數的指數和 ${\displaystyle S(t,N)}$ 做出更細緻的估計，也就是說更好地劃分優弧和劣弧並直接估計出劣弧上的積分可以忽略，而不用到廣義黎曼猜想。唯一的不足是：維諾格拉多夫並沒有給出「足夠大」的下限。後來波羅斯特金在1956年給出了一個可計算的下限：${\displaystyle e^{e^{16.038}}}$，也就是說大於${\displaystyle e^{e^{16.038}}}$的整數都可以寫成三個質數的和^[15]。1946年，蘇聯數學家尤里·弗拉基米羅維奇·林尼克（俄語：Линник, Юрий Владимирович (математик)）沿着哈代和李特爾伍德的道路前進，使用函數論的方法同樣證明了維諾格拉多夫的結果^[15]。然而，維諾格拉多夫的定理中的下限對於實際應用來說仍然太大了。${\displaystyle e^{e^{16.038}}}$寫出來有6846168位數字，要驗證之前的偶數都能寫成兩個質數的和，計算量仍然太大。1989年陳景潤與王元將這個下限減低到10^43000.5[16]，2001年廖明哲及王天澤進一步將下限降至e³¹⁰⁰≈10^1346.3[11]，但仍然與實際驗證過的範圍（4×10¹⁴）有很大距離。而如果假設廣義黎曼猜想正確的話，讓-馬克·德蘇耶（英語：Jean-Marc Deshouillers）等人在1998年證明了：每個大於等於7的奇數都可以寫成三個質數的和（即弱哥德巴赫猜想在廣義黎曼猜想正確的假設下的完全證明）^[17]。

1938年，華羅庚證明了弱哥德巴赫猜想的一個推廣：任意給定一個整數k，每個充分大的奇數都可以表示p₁ + p₂ + p₃^k的形式。當k = 1的時候，就是弱哥德巴赫猜想^[5]。

由於維諾格拉多夫估計${\displaystyle S(t,N)}$ 時使用的方法本質上是篩法，所以數學家也希望用類似圓法的分析方法取代它。1945年，林尼克發展出估計狄利克雷L函數零點密度的方法，並用其證明了劣弧上的積分可以忽略，從而用純粹的分析方法證明了弱哥德巴赫猜想。這個證明十分複雜，此後幾位數學家各自提出了更簡化的證明，1975年沃恩提出了首個不依賴估計L函數零點密度的方法，1977年潘承洞得到了僅利用L函數初等性質的簡易證明^[5]。

2013年5月13日，法國國家科學研究院和巴黎高等師範學院的數論領域的研究員哈洛德·賀歐夫各特，在線發表了論文《論哥德巴赫定理的優弧》（Major arcs for Goldbach's theorem）宣佈徹底證明了弱哥德巴赫猜想^[7][6]。賀歐夫各特生於1977年，秘魯籍，2003年獲得普林斯頓大學博士學位。2010年開始擔任法國國家科學研究院和巴黎高等師範學院的研究員。2012年5月，賀歐夫各特發表論文《論哥德巴赫問題的劣弧》（Minor arcs for Goldbach's problem）中給出了劣弧積分估計的一個更優上界^[7]。在這個更優估計的基礎上，賀歐夫各特在2013年的論文中將優弧估計的條件放寬，把維諾格拉多夫定理中的下限降低到了10²⁹左右，賀歐夫各特和同事David Platt用計算機驗證在此之下的所有奇數都符合猜想，從而完成了弱哥德巴赫猜想的全部證明。^[18][6]

強哥德巴赫猜想：布朗方法與陳氏定理

弱哥德巴赫猜想已經基本得到解決，對於偶數的哥德巴赫猜想，數學家們則主要將希望放在布朗的方法上。而二十世紀中葉，數學家們沿着布朗的思路，得到了不少改進後的成果。1924年漢斯·拉代馬海爾（英語：Hans Rademacher）證明了「7+7」，1932年艾斯特曼證明了「6+6」，蘇聯數學家布赫希塔布在1938年和1940年分別證明了 「5+5」與「4+4」。孔恩在1941年提出了「加權篩法」的概念，能在同樣的篩函數上界和下界條件下取得更好的結果，他在1954年證明了「a+b」（a+b<7^{[ref 1]}）。阿特勒·塞爾伯格利用求二次型極值的方法極大地改進了布朗的篩法，對篩函數的上界和下界做出了更精確的估計，從而出現了更優的結果：維諾格拉多夫在1956年證明了「3+3」，王元在1956年證明了「3+4」，並在1957年證明了「3+3」和「a+b」（a+b<6）以及「2+3」^[5]。

以上的結果中，沒有能夠證明偶數分拆成的兩個數中一定有一個是質數的。1932年，埃斯特曼證明了，在假設廣義黎曼猜想成立的前提下，「1+6」成立。1948年，倫伊·阿爾弗雷德（英語：Alfréd Rényi）利用林尼克創造的「大篩法」，證明了「1+b」的結果^{[ref 2]}。1956年，王元與維諾格拉多夫則證明了在同樣的假定之下，「1+4」成立。1961年，蘇聯數學家巴爾巴恩證明了一個可以用來代替廣義黎曼猜想的公式的弱化版。1962年，潘承洞也獨立證明了此公式的另一個弱化版本，並得到「1+5」。而王元則指出潘承洞的結果其實可以推出「1+4」。潘承洞在同年用加強的結論得到了「1+4」的簡化的證明，1963年巴爾巴恩也得到了同樣的結果。1965年布赫希塔布則用同樣的版本證明了「1+3」。與此同時，恩里科·邦別里與維諾格拉多夫也獨立地用更簡潔的方法證明了「1+3」^[5]。

使用布朗方法的最好結果是陳景潤得到的。他在1973年發表了「1+2」的證明，其中對篩法作出了重大的改進，提出了一種新的加權篩法^[19]。因此「1+2」也被稱作是陳氏定理。現今數學家們普遍認為，陳景潤使用的方法已經將篩法發揮到了極致，以篩法來證明最終的「1+1」的可能性已經很低了。布朗方法似乎在最後的一步上停止了下來。如今數學界的主流意見認為：證明關於偶數的哥德巴赫猜想，還需要新的思路或者新的數學工具，或者在現有的方法上進行重大的改進^[5]，也有認為僅僅基於現有的方法上的改進無法證明偶數哥德巴赫猜想^[20]。

哥德巴赫分拆數

1000000以下的偶數的哥德巴赫分拆數

對於哥德巴赫猜想的實際驗證表明，至少${\displaystyle \scriptstyle 4\cdot 10^{14}}$以下的偶數都能表示成兩個質數的和。很多時候，偶數表示成兩個質數和的方法還不止一種，比如${\displaystyle 18=5+13=7+11}$，${\displaystyle 64=3+61=5+59=11+53=17+47=23+41}$，等等。設有偶數${\displaystyle N}$，它的哥德巴赫分拆數${\displaystyle G_{2}(N)}$定義為它能夠表示成兩個質數相加之和的方法的個數，也就是集合${\displaystyle \left\{(p_{1},p_{2})\left|p_{1}+p_{2}=N,p_{1}\leqslant p_{2}\right.\right\}}$中元素的個數：

${\displaystyle G_{2}(N)=\operatorname {Card} \left\{(p_{1},p_{2})\left|p_{1}+p_{2}=N,p_{1}\leqslant p_{2}\right.\right\}}$

哥德巴赫猜想就等於是說，每個大於等於6的偶數的哥德巴赫分拆數都大於0。如果能夠找到哥德巴赫分拆數的表達式，或者找到它的某個嚴格大於0的下限，就能夠證明哥德巴赫猜想了。因此，有不少關於哥德巴赫分拆數的範圍的猜測。1923年，英國數學家哈代和李特爾伍德猜測^[13]：

${\displaystyle G_{2}(N)\sim 2\prod _{p>2}\left(1-{\frac {1}{(p-1)^{2}}}\right)\prod _{p|N,p>2}\left({\frac {p-1}{p-2}}\right){\frac {N}{\ln ^{2}(N)}}}$

數值驗證

與不少數學猜想一樣，數值上的驗證也是哥德巴赫猜想的重要一環。

• 1938年，尼爾斯·皮平（Nils Pipping）驗證了所有小於${\displaystyle \scriptstyle 10^{5}}$的偶數^[21]。
• 1964年，M·L·斯坦恩和P·R·斯坦恩驗證了小於${\displaystyle \scriptstyle 10^{7}}$的偶數^[22]。
• 1989年，A·格蘭維爾將驗證範圍擴大到${\displaystyle \scriptstyle 2\times 10^{10}}$^[23]。
• 1993年，Matti K. Sinisalo驗證了${\displaystyle \scriptstyle 4\times 10^{11}}$以內的偶數^[24]。
• 2000年，Jörg Richstein驗證了${\displaystyle \scriptstyle 4\times 10^{14}}$以內的偶數^[25]。

截至2014年，數學家已經驗證了${\displaystyle \scriptstyle 4\times 10^{18}}$以內的偶數^[26]，在所有的驗證中，沒有發現偶數哥德巴赫猜想的反例。

類似猜想和定理

在數論中，有一些類似於哥德巴赫猜想的命題，其中有一些已經被證明，其餘的仍然屬於猜想，如哥德巴赫猜想一樣。

• 李維猜想（勒穆瓦納猜想），由法國數學家埃米勒·勒穆瓦納（英語：Émile Lemoine）於1895年提出。命題為：所有大於5的奇數n 都能寫成一個質數和另一個質數的兩倍的和，

  ${\displaystyle n=p_{1}+2p_{2}}$ ^[27]

• 華林-哥德巴赫問題（英語：Waring–Goldbach problem）：對於任何一個正整數n，是否存在一個數k，使得每個充分大的整數都可以寫成k個質數的n次冪的和？

  ${\displaystyle N=p_{1}^{n}+p_{2}^{n}+\cdots +p_{k}^{n}}$

華林-哥德巴赫問題在1938年被華羅庚解決。他證明了對每個n，上述所說的k都存在^[28]。此後數學家們轉而研究對於特定的n與k時相關的猜想。

• 孿生質數猜想：哥德巴赫猜想是關於整數表達成質數之和的猜想，相對應的，也有整數表達成質數之差的猜想。孿生質數問題是其中最自然的一個：是否有無窮個質數對(p₁, p₂)，滿足

  ${\displaystyle p_{1}-p_{2}=2}$ ^[29]

相關文化

• 1978年，散文家、詩人徐遲應《人民文學》月刊雜誌邀請寫作了以陳景潤證明「1+2」命題為主題的報告文學《哥德巴赫猜想》。文章在《人民文學》上發表後，產生了很大反響，也令中國大陸普通民眾對哥德巴赫猜想留下印象^[30]。哥德巴赫猜想是中國民間科學愛好者熱衷研究的數學問題之一。在徐遲的報告文學影響下，不少民間科學愛好者對哥德巴赫猜想產生興趣，許多人自稱在此問題上取得了進展，甚至自稱證明了哥德巴赫猜想。中國科學院每年都收到「幾麻袋」的討論或聲稱證明了哥德巴赫猜想的來信來稿。不少報章也刊登過哥德巴赫猜想被民間科學愛好者證明的消息。許多數學家都認為，缺乏專業的學科知識和系統的訓練的人，是無法在哥德巴赫猜想上做出進展的，甚至不可能理解此方面的研究。數學家建議，相關愛好者在研究哥德巴赫猜想之前至少應當「系統掌握相應的數學知識，以免走不必要的彎路」^[31]。中國科學院數學與系統科學研究院研究員陸柱家稱「業餘研究者是無法證明這個猜想（哥德巴赫猜想）的，除非世界一流的數學家，否則無法求證」、「哥德巴赫猜想是一個艱深的數論難題，證明它所需要的數學能力和突出的思維能力，都並非普通數學愛好者所能企及」^[32]。中國科學院已聲明不會審理來自科學共同體之外的任何自稱證明了哥德巴赫猜想的文章^[33]。
• 希臘作家阿波斯托洛斯·佐克西亞季斯的小說《彼得羅斯大叔和哥德巴赫猜想》於2000年出版。其中講述了一個年輕人和他的叔叔，一個致力於研究哥德巴赫猜想的數學研究者的故事。英國費伯出版社和美國布盧姆斯伯里出版社在出版這本小說時懸賞一百萬美元，獎勵能在小說出版後兩年之內能夠證明哥德巴赫猜想的人。然而獎金無人獲得^[31]。

參見

• 質數
• 愛拉托散尼篩法
• 質數判定法則
• 孿生質數

註釋

1. 表示命題「每個偶數都可以寫成兩個數之和，使得它們各自的質因數個數加起來的總和小於7」
2. 存在某個正整數b使得 「1+b」成立，但無法確定 b 的值

參考資料

1. Weisstein, Eric W. (編). Goldbach Number. at MathWorld--A Wolfram Web Resource. Wolfram Research, Inc. （英語）.
2. Helfgott, Harald Andrés. The ternary Goldbach problem. 2015. arXiv:1501.05438  [math.NT].
3. www.math.dartmouth.edu，手稿影印本，1742，第43号信件 (PDF). [2008-05-01]. （原始內容存檔 (PDF)於2006-06-13）.
4. www.math.dartmouth.edu，手稿影印本，1742，第44號信件 （頁面存檔備份，存於互聯網檔案館），第135頁倒數第5-8行.
5. 潘承洞，潘承彪. 《哥德巴赫猜想》第一版. 科學出版社. 1981.，引言
6. H. A. Helfgott. Major arcs for Goldbach’s theorem (PDF). [2013-06-24]. （原始內容存檔 (PDF)於2017-07-30） （英語）.
7. H. A. Helfgott. Minor arcs for Goldbach’s problem (PDF). [2013-06-24]. （原始內容存檔 (PDF)於2017-07-30） （英語）.
8. 王元. The Goldbach Conjecture. World Scientific Publishing Company 第2版. 2002年12月. ISBN 978-9812381590.第1頁
9. 王元. The Goldbach Conjecture. World Scientific Publishing Company 第2版. 2002年12月. ISBN 978-9812381590.第2頁
10. Hardy, G. H. and Littlewood, J. E. Some Problems of Partitio Numerorum (III): On the expression of a number as a sum of primes. Acta Mathematica. 1923年, 44: 1–70頁.
11. 王元. The Goldbach Conjecture. World Scientific Publishing Company 第2版. 2002年12月. ISBN 978-9812381590.第3頁
12. 王元. The Goldbach Conjecture. World Scientific Publishing Company 第2版. 2002年12月. ISBN 978-9812381590.第5頁
13. Hardy, G. H. and Littlewood, J. E. Some Problems of Partitio Numerorum (V): A Further Contribution to the Study of Goldbach's Problem. Proc. London Math. Soc. 1923年, 22: 46–56頁.
14. 潘承洞，潘承彪. 《哥德巴赫猜想》第一版. 科學出版社. 1981.第148-149頁.
15. 王元. Goldbach Conjecture. World Scientific Publishing Company 第2版. 2002年12月. ISBN 978-9812381590.第8頁
16. J M Deshouillers, G Effinger, H Te Riele, D Zinoviev. A Complete Vinogradov 3-Prime Theorem under the Riemann Hypothesis. Electronic Research Announcements Of The American Mathematical Society: 99–104｜issn =10796762. ISSN 1079-6762. doi:10.1090/S1079-6762-97-00031-0.
17. J. -M. Deshouillers, H. J. J. te Riele and Y. Saouter. New experimental results concerning the Goldbach conjecture. Lecture Notes in Computer Science. 1998年,. 1423/1998: 第204–215頁. doi:10.1007/BFb0054863.
18. 两项证明激荡数论研究”作者：张冬冬《中国科学报》 2013-05-27 第3版. [2022-04-15]. （原始內容存檔於2021-10-06）.
19. J. R. Chen, On the representation of a larger even integer as the sum of a prime and the product of at most two primes. Sci. Sinica 16 (1973), 157–176.
20. 王元. The Goldbach Conjecture. World Scientific Publishing Company 第2版. 2002年12月. ISBN 978-9812381590.第18頁
21. Pipping, Nils (1890-1982), "Die Goldbachsche Vermutung und der Goldbach-Vinogradovsche Satz." Acta. Acad. Aboensis, Math. Phys. 11, 4–25, 1938.
22. M. L. Stein and P. R. Stein. Experimental Results on Additive 2-Bases (PDF). Math. Comp.: 427–434頁. [2012-03-03]. （原始內容存檔 (PDF)於2014-02-22）.
23. A. Granville, J. van de Lune, and H. J. J. te Riele. Checking the Goldbach conjecture on a vector computer (PDF). Number Theory and Applications,R. A. Mollin (ed.) Kluwer Academic Press. 1989年: 423–433頁 [2012-03-03]. （原始內容存檔 (PDF)於2015-09-23）.
24. Matti K. Sinisalo, Checking the Goldbach conjecture up to 4·10^11, Mathematics of Computation, vol. 61, no. 204, pp. 931-934, October 1993.
25. Jörg Richstein, Verifying the Goldbach conjecture up to 4·10^14 （頁面存檔備份，存於互聯網檔案館）, Mathematics of Computation, vol. 70, no. 236, pp. 1745-1749, July 2000.
26. Tomás Oliveira e Silva; Siegfried Herzog; Silvio Pardi. Empirical verification of the even Goldbach conjecture and computation of prime gaps up to ${\displaystyle \scriptstyle 4\times 10^{18}}$ (PDF). Math. Comp. 83: 2033–2060. 2014. doi:10.1090/S0025-5718-2013-02787-1.
27. H. Levy. "On Goldbach's Conjecture". Math. Gaz.. 1963年, 47: 274頁.
28. G. J. Rieger. Solution of the Waring-Goldbach problem for algebraic number fields. Bull. Amer. Math. Soc.: 234–236頁.
29. Richard E. Crandall, Carl Pomerance. "Prime numbers: a computational perspective". Springer. 2005年: 第14頁. ISBN 9780387252827.
30. 周明，《徐遲與<哥德巴赫猜想>》，《人民文學》2008年01期.
31. 新華網，哥德巴赫猜想 還要「猜」多久 （頁面存檔備份，存於互聯網檔案館），新華社，2002年8月20日.
32. 悬赏期限将至 哥德巴赫猜想百万巨奖无人能拿？. 北京青年報. 2002-03-17 [2012-04-10]. （原始內容存檔於2013-05-13）.
33. 田松. 《论民间科学爱好者为什么不能取得科学意义上的成功？》. 《科學技術與辯證法》: 108–112頁.

相關書籍

1. 徐遲介紹陳景潤的報告文學《哥德巴赫猜想》（《人民文學》1978年第1期）
2. 潘承洞、潘承彪. 《哥德巴赫猜想》. 科學出版社. 1981年.
3. 王元. 《王元论哥德巴赫猜想》. 山東教育出版社. 1999年. ISBN 9787532828333.

外部連結

• 哥德巴赫和歐拉的通信. [2015-04-23]. （原始內容存檔於2014-07-22）. （英文）
• Hazewinkel, Michiel (編), Goldbach problem, 数学百科全书, Springer, 2001, ISBN 978-1-55608-010-4
• Goldbach's original letter to Euler — PDF format (in German and Latin)（頁面存檔備份，存於互聯網檔案館）
• Goldbach's conjecture（頁面存檔備份，存於互聯網檔案館）, part of Chris Caldwell's Prime Pages.
• Goldbach conjecture verification（頁面存檔備份，存於互聯網檔案館）, Tomás Oliveira e Silva's distributed computer search.