一百六十余年的沉寂
编辑
证明哥德巴赫猜想相當困難。直至今日，数学家对于哥德巴赫猜想的完整证明没有任何头绪。事实上，从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”。
圆法
编辑
注意：以下数学公式中的符号
p
,
p
1
,
p
2
,
⋯
{\displaystyle \scriptstyle p,\,p_{1},\,p_{2},\cdots }
等都表示质数。
从1920年开始，哈代和利特尔伍德合作陆续发表了七篇总标题为《“整数拆分”的几个问题》的论文，系统地发展出了堆垒数论中一个新的分析方法[5]。这个新方法的思想在1918年哈代与印度数学家拉马努金合写的论文《组合分析的渐进公式》中就有表现[11]。应用到哥德巴赫猜想上的话，圆法的思想是：对于非零整数
m
{\displaystyle m}
，沿着单位圆为路径的环路积分
∫
0
1
e
2
π
i
m
t
d
t
=
0.
{\displaystyle {\begin{aligned}\int _{0}^{1}e^{2\pi imt}\mathrm {d} t=0.\end{aligned}}}
当且只当整数
m
=
0
{\displaystyle m=0}
的时候，上面的积分才等于1。因此，如果考虑积分式：
D
(
N
)
=
∫
0
1
S
2
(
t
,
N
)
e
−
2
π
i
N
t
d
t
.
{\displaystyle D(N)=\int _{0}^{1}S^{2}(t,N)e^{-2\pi iNt}\mathrm {d} t.}
其中
S
(
t
,
N
)
=
∑
2
<
p
≤
N
e
2
π
i
p
t
{\displaystyle S(t,N)=\sum _{2 ，那么这个积分式实际上等于： D ( N ) = ∫ 0 1 ∑ 2 < p 1 , p 2 ⩽ N e 2 π i ( p 1 + p 2 ) t e − 2 π i N t d t = ∑ 2 < p 1 , p 2 ⩽ N ∫ 0 1 e 2 π i ( p 1 + p 2 ) t e − 2 π i N t d t = ∑ 2 < p 1 , p 2 ⩽ N p 1 + p 2 = N ∫ 0 1 e 2 π i ( p 1 + p 2 − N ) t d t + ∑ 2 < p 1 , p 2 ⩽ N p 1 + p 2 ≠ N ∫ 0 1 e 2 π i ( p 1 + p 2 − N ) t d t = Card { ( p 1 , p 2 ) | 2 < p 1 , p 2 ⩽ N , p 1 + p 2 = N } + ∑ 2 < p 1 , p 2 ⩽ N p 1 + p 2 ≠ N ∫ 0 1 e 2 π i ( p 1 + p 2 − N ) t d t {\displaystyle {\begin{aligned}D(N)&=\int _{0}^{1}\sum _{2 上式中第二项等于0，所以 D ( N ) = {\displaystyle D(N)=} 方程“ p 1 + p 2 = N {\displaystyle p_{1}+p_{2}=N} ”的解 ( p 1 , p 2 ) {\displaystyle (p_{1},p_{2})} 的个数。 所以，关于偶数的哥德巴赫猜想其实等于是说对于所有大于等于6的偶数 N {\displaystyle N} ，单位圆上的环路积分式 D ( N ) > 0 {\displaystyle D(N)>0} 。同理，关于奇数的哥德巴赫猜想等价于环路积分式： T ( N ) = ∫ 0 1 S 3 ( t , N ) e − 2 π i N t d t > 0 {\displaystyle T(N)=\int _{0}^{1}S^{3}(t,N)e^{-2\pi iNt}\mathrm {d} t>0} 因此，研究哥德巴赫猜想可以归结为研究积分式 D ( N ) {\displaystyle D(N)} 和 T ( N ) {\displaystyle T(N)} 中以质数为变数的三角多项式 e 2 π i p t {\displaystyle e^{2\pi ipt}} 。哈代和利特尔伍德猜测，当变量 t {\displaystyle t} 接近于分母“比较小”的既约分数时， S ( t , N ) {\displaystyle S(t,N)} 的值会“比较大”，而当 t {\displaystyle t} 接近于分母“比较大”的既约分数时， S ( t , N ) {\displaystyle S(t,N)} 的值会“比较小”。也就是说，积分 D ( N ) {\displaystyle D(N)} 的主要部分其实是单位圆上分母“比较小”的那些既约分数附近的积分，其它的部分上积分则没那么重要，可以忽略掉了。因此，可以将整个单位圆分成两个部分：一部分是单位圆上分母“比较小”的那些既约分数附近包括的一些区间，哈代和利特尔伍德称其为“优弧”（major arc，与平面几何中的“优弧”不同），其余的部分则称为“劣弧”（minor arc）。将整个积分 D ( N ) {\displaystyle D(N)} 分成优弧上的积分 D 1 ( N ) {\displaystyle D_{1}(N)} 与劣弧上积分 D 2 ( N ) {\displaystyle D_{2}(N)} 之和，然后证明 D 2 ( N ) {\displaystyle D_{2}(N)} 相比起 D 1 ( N ) {\displaystyle D_{1}(N)} 可以忽略，而 D 1 ( N ) > 0 {\displaystyle D_{1}(N)>0} ，这就是圆法的主要思想[5]。哈代和利特尔伍德在1923年的论文中证明了，如果存在正数 θ < 3 4 {\displaystyle \theta <{\frac {3}{4}}} ，使得所有的狄利克雷L函数的全体零点都在半平面 R e ( z ) ≤ θ {\displaystyle {\mathit {Re}}(z)\leq \theta } 上，那么充分大的奇数 N {\displaystyle N} 一定满足 T ( N ) > 0 {\displaystyle T(N)>0} ，也就是说能够表示成三个素数的和[5]。他们还给出了 T ( N ) {\displaystyle T(N)} 的渐进式：在 N {\displaystyle N} 趋于无穷大的时候[10]， T ( N ) ∼ 1 2 S 3 ( N ) N 2 ln 3 ( N ) . {\displaystyle T(N)\sim {\frac {1}{2}}{\mathfrak {S}}_{3}(N){\frac {N^{2}}{\ln ^{3}(N)}}.} 其中 S 3 ( N ) = ∏ p | N ( 1 − 1 ( p − 1 ) 2 ) ∏ p ∤ N ( 1 + 1 ( p − 1 ) 3 ) {\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)} 他们还证明了，在假设广义黎曼猜想成立的情况下，如果用 E ( N ) {\displaystyle E(N)} 表示 N {\displaystyle N} 以内无法写成两个质数之和的偶数的个数，那么对任意的正数 ϵ {\displaystyle \epsilon } ，都有 E ( N ) < N 1 2 + ϵ {\displaystyle E(N) 这说明了，不能写成两个质数之和的偶数占所有偶数的比例是可以忽略的[12][13]。 筛法与布朗方法 编辑 布朗使用的“筛法”，其原型为埃拉托斯特尼筛法，早在公元前250年就出现在古希腊。原始的筛法可以用来寻找一定范围内（比如说2到100）的质数：先将第一个数2留下，将它的倍数全部划掉；再将剩余数中最小的3留下，将它的倍数全部划掉；继续将剩余数中最小的5留下，将它的倍数全部划掉……以此直至划无可划为止。这个过程就好像一遍又一遍的筛掉不需要的数字，故名筛法。布朗用到的推广筛法也是基于同样的理念：给定一个需要筛选的集合 A {\displaystyle {\mathfrak {A}}} ，一个用来作为筛选标准的“筛孔”，即一系列质数的集合 P = p 1 , p 2 , ⋯ , p n , ⋯ {\displaystyle {\mathit {P}}={p_{1},p_{2},\cdots ,p_{n},\cdots }} ，以及一个范围 z {\displaystyle z} 。记 P ( z ) = ∏ p k < z p k {\displaystyle P(z)=\prod _{p_{k} 那么可以定义筛函数： S ( A , P , z ) = ∑ a ∈ A 1 { ( a , P ( z ) ) = 1 } ( a ) {\displaystyle S\left({\mathfrak {A}},{\mathit {P}},z\right)=\sum _{a\in {\mathfrak {A}}}\mathbf {1} _{\{(a,P(z))=1\}}(a)} 表示集合 A {\displaystyle {\mathfrak {A}}} 里所有与 P ( z ) {\displaystyle P(z)} 互质的数的个数，也就是筛去了 P {\displaystyle {\mathit {P}}} 内小于 z {\displaystyle z} 的质数的所有倍数之后还剩下的数字的个数[5]。 布朗的方法是弱化哥德巴赫猜想中“质数”的要求，将它改为所谓的“殆质数”，即“由不太多的质因数相乘得到的合数”，布朗在1919年证明了，每个充分大的偶数都可以写成两个数之和，并且这两个数每个都是不超过九个质因数的乘积。这个命题可以转变为用筛函数来表达。假设有充分大的偶数 N {\displaystyle N} ，令集合为 A = { n ( N − n ) , 2 < n < N } {\displaystyle {\mathfrak {A}}=\left\{n(N-n),\,2 ， P {\displaystyle {\mathit {P}}} 为所有素数的集合， z = N 1 / λ , λ > 0 {\displaystyle z=N^{1/\lambda },\lambda >0} ，那么筛函数 S ( A , P , z ) {\displaystyle S\left({\mathfrak {A}},{\mathit {P}},z\right)} 就是满足 ( n , ∏ p k λ < N p k ) = ( N − n , ∏ p k λ < N p k ) = 1 {\displaystyle (n,\prod _{p_{k}^{\lambda } 的数对 ( n , N − n ) {\displaystyle (n,N-n)} 的个数[14]。其中的 n {\displaystyle n} 和 N − n {\displaystyle N-n} 都与 ∏ p k λ < N p k {\displaystyle \prod _{p_{k}^{\lambda } 互质，也就是说它们的质因数都要大于等于 N 1 / λ {\displaystyle N^{1/\lambda }} ，因此它们的质因数个数至多有 a = ⌈ λ ⌉ − 1 {\displaystyle a=\lceil \lambda \rceil -1} 个。所以对于 λ {\displaystyle \lambda } 来说筛函数大于0，等价于命题“a+a”成立。如果能证明 λ = 2 {\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·艾斯特曼证明了：每个充分大的奇数都可以表示成两个奇质数和一个不超过两个质数的乘积的数的和： 2 N + 1 = p 1 + p 2 + p 3 p 4 {\displaystyle 2N+1=p_{1}+p_{2}+p_{3}p_{4}} 或 2 N + 1 = p 1 + p 2 + p 3 {\displaystyle 2N+1=p_{1}+p_{2}+p_{3}} [5] 同一年，维诺格拉多夫在使用圆法的基础上，去掉了哈代和利特尔伍德的成果中对于黎曼猜想的依赖。也就是说，维诺格拉多夫证明了：每个充分大的奇数都能表示为三个质数的和，以及几乎每一个充分大的偶数都能表示成两个质数的和。维诺格拉多夫的证明使用到了他独创的方法来对以质数为变数的指数和 S ( t , N ) {\displaystyle S(t,N)} 做出更细致的估计，也就是说更好地划分优弧和劣弧并直接估计出劣弧上的积分可以忽略，而不用到广义黎曼猜想。唯一的不足是：维诺格拉多夫并没有给出“足够大”的下限。后来波罗斯特金在1956年给出了一个可计算的下限： e e 16.038 {\displaystyle e^{e^{16.038}}} ，也就是说大于 e e 16.038 {\displaystyle e^{e^{16.038}}} 的整数都可以写成三个质数的和[15]。1946年，苏联数学家尤里·弗拉基米罗维奇·林尼克（俄语：Линник, Юрий Владимирович (математик)）沿着哈代和利特尔伍德的道路前进，使用函数论的方法同样证明了维诺格拉多夫的结果[15]。然而，维诺格拉多夫的定理中的下限对于实际应用来说仍然太大了。 e e 16.038 {\displaystyle e^{e^{16.038}}} 写出来有6846168位数字，要验证之前的偶数都能写成两个质数的和，计算量仍然太大。1989年陈景润与王元将这个下限减低到1043000.5[16]，2001年廖明哲及王天泽进一步将下限降至e3100≈101346.3[11]，但仍然与实际验证过的范围（4×1014）有很大距离。而如果假设广义黎曼猜想正确的话，让-马克·德苏耶（英语：Jean-Marc Deshouillers）等人在1998年证明了：每个大于等于7的奇数都可以写成三个质数的和（即弱哥德巴赫猜想在广义黎曼猜想正确的假设下的完全证明）[17]。 1938年，华罗庚证明了弱哥德巴赫猜想的一个推广：任意给定一个整数k，每个充分大的奇数都可以表示p1 + p2 + p3k的形式。当k = 1的时候，就是弱哥德巴赫猜想[5]。 由于维诺格拉多夫估计 S ( t , N ) {\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年的论文中将优弧估计的条件放宽，把维诺格拉多夫定理中的下限降低到了1029左右，賀歐夫各特和同事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以下的偶数的哥德巴赫分拆数 对于哥德巴赫猜想的实际验证表明，至少 4 ⋅ 10 14 {\displaystyle \scriptstyle 4\cdot 10^{14}} 以下的偶数都能表示成两个质数的和。很多时候，偶数表示成两个质数和的方法还不止一种，比如 18 = 5 + 13 = 7 + 11 {\displaystyle 18=5+13=7+11} ， 64 = 3 + 61 = 5 + 59 = 11 + 53 = 17 + 47 = 23 + 41 {\displaystyle 64=3+61=5+59=11+53=17+47=23+41} ，等等。设有偶数 N {\displaystyle N} ，它的哥德巴赫分拆数 G 2 ( N ) {\displaystyle G_{2}(N)} 定义为它能够表示成两个质数相加之和的方法的个数，也就是集合 { ( p 1 , p 2 ) | p 1 + p 2 = N , p 1 ⩽ p 2 } {\displaystyle \left\{(p_{1},p_{2})\left|p_{1}+p_{2}=N,p_{1}\leqslant p_{2}\right.\right\}} 中元素的个数： G 2 ( N ) = Card { ( p 1 , p 2 ) | p 1 + p 2 = N , p 1 ⩽ p 2 } {\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]： G 2 ( N ) ∼ 2 ∏ p > 2 ( 1 − 1 ( p − 1 ) 2 ) ∏ p | N , p > 2 ( p − 1 p − 2 ) N ln 2 ( N ) {\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)}}}