哥德巴赫猜想 哥德巴赫猜想（Goldbach's conjecture）是数论中存在最久的未解问题之一。这个猜想最早出现在1742年普鲁士数学家克里斯蒂安·哥德巴赫与瑞士数学家莱昂哈德·欧拉的通信中。用现代的数学语言，哥德巴赫猜想可以陈述为： 这个猜想与当时欧洲数论学家讨论的整数分拆问题有一定联系。整数分拆问题是一类讨论“是否能将整数分拆为某些拥有特定性质的数的和”的问题，比如能否将所有整数都分拆为若干个完全平方数之和，或者若干个完全立方数的和等。而将一个给定的偶数分拆成两个质数之和，则被称之为此数的哥德巴赫分拆。例如， 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的偶数都是哥德巴赫数——可表示成两个质数之和的数。哥德巴赫猜想也是二十世纪初希尔伯特第八问题中的一个子问题。 其实，也有一部分奇数可以用两个质数的和表示，大多数的奇数无法用两个质数的和表示，例如：15=2+13、19=2+17，而23、35等数则无法用两质数的和表示。 哥德巴赫猜想在提出后的很长一段时间内毫无进展，直到二十世纪二十年代，数学家从组合数学与解析数论两方面分别提出了解决的思路，并在其后的半个世纪里取得了一系列突破。目前最好的结果是中国数学家陈景润在1973年发表的陈氏定理（也被称为“1+2”）。 哥德巴赫猜想另一个较弱的版本（也称为弱哥德巴赫猜想）是猜想大于5的奇数都可以表示成3个质数之和。这个猜想可以从哥德巴赫猜想推出。1937年，苏联数学家伊万·维诺格拉多夫证明了每个的奇数都可以表示成3个质数之和；2013年，秘鲁数学家哈洛德·贺欧夫各特完全证明了弱哥德巴赫猜想。 起源. 1742年6月7日，普鲁士数学家克里斯蒂安·哥德巴赫在写给瑞士数学家莱昂哈德·欧拉的通信中，提出了以下的猜想： 任一大于2的整数都可以写成三个质数之和。 上述与现今的陈述有所出入，原因是当时的哥德巴赫遵照的是“1也是素数”的约定。现今数学界已经不使用这个约定了。哥德巴赫原初猜想的现代陈述为： 任一大于5的整数都可写成三个质数之和。 欧拉在6月30日的回信中注明此一猜想可以有另一个等价的版本： formula_1 任一大于2的偶数都可写成两个质数之和。 并将此一猜想视为一定理，但他却无法证明。今日常见的猜想陈述为欧拉的版本，亦称为“强哥德巴赫猜想”或“关于偶数的哥德巴赫猜想”。 从关于偶数的哥德巴赫猜想，可推出： formula_2 任一大于5的奇数都可写成三个质数之和 的猜想。后者称为“弱哥德巴赫猜想”或“关于奇数的哥德巴赫猜想”。若关于偶数的哥德巴赫猜想是对的，则关于奇数的哥德巴赫猜想也会是对的。1937年时前苏联数学家维诺格拉多夫已经证明充分大的奇质数都能写成三个质数的和，也称为“哥德巴赫-维诺格拉多夫定理”或“三素数定理”。2013年，秘鲁数学家哈洛德·贺欧夫各特等人将维诺格拉多夫的结论进一步加强，并验证了较小的奇质数的情况，宣称完全证明了弱哥德巴赫猜想。 进展. 一百六十余年的沉寂. 证明哥德巴赫猜想相当困难。直至今日，数学家对于哥德巴赫猜想的完整证明没有任何头绪。事实上，从1742年这个猜想正式出现，到二十世纪初期，在超过160年的时间里，尽管许多数学家对这个猜想进行了研究，但没有取得任何实质性的进展，也没有获得任何有效的研究方法。二十世纪以前对哥德巴赫猜想的研究，仅限于做一些数值上的验证工作，提出一些等价的关系式，或对之做一些进一步的猜测。1900年，希尔伯特在第二届国际数学家大会上提出的著名的二十三个希尔伯特问题之中的第八个问题，就包括了哥德巴赫猜想和与它类似的孪生素数猜想。希尔伯特的问题引发了数学家的极大兴趣，但对于哥德巴赫猜想的研究仍旧毫无进展。1912年第五届国际数际数学家大会上，德国数论专家爱德蒙·朗道曾经说过，即使要证明每个偶数能够表示成"K"个质数的和，不管"K"是多少，都是数学家力所不及的。1921年，英国数学家戈弗雷·哈罗德·哈代曾经在哥本哈根数学会议的一次演讲中声称：“哥德巴赫猜想的困难程度可以与任何一个已知的数学难题相比”。 第一次重大突破. 哈代和朗道做出以上的看法时，对哥德巴赫猜想的研究已经踏在了突破的门槛上。关于哥德巴赫猜想的第一次重大突破正是出现在二十世纪20年代。这次突破与十九世纪至二十世纪初欧洲数学家们在数论与函数论方面取得的辉煌成就是分不开的。欧拉、高斯、黎曼、狄利克雷、阿达马等人的成果为后来的研究提供了强有力的工具和深厚的积累，打下了牢固的基础。1920年左右，英国数学家哈代和约翰·伊登斯尔·利特尔伍德极大地发展了解析数论，建立起了“圆法”等研究数论问题的有力工具。他们在1923年合作发表的论文中使用“圆法”证明了：在假设广义黎曼猜想成立的前提下，每个充分大的奇数都能表示为三个质数的和以及几乎每一个充分大的偶数都能表示成两个质数的和。当然，“几乎每一个”与“每一个”之间仍然有巨大的技术鸿沟。 大约于此同时，挪威数学家布朗提供了另外一种证明的思路。1919年，他使用推广后的“筛法”证明了：所有充分大的偶数都能表示成两个数之和，并且两个数的质因数个数都不超过9个。这个方法的思路是：如果能将其中的“9个”缩减到“1个”，就证明了哥德巴赫猜想。布朗证明的命题可以被记作“9+9”，以此类推，哥德巴赫猜想就是“1+1”。 注意：以下数学公式中的符号formula_3等都表示质数。 圆法. 从1920年开始，哈代和利特尔伍德合作陆续发表了七篇总标题为《“整数拆分”的几个问题》的论文，系统地发展出了堆垒数论中一个新的分析方法。这个新方法的思想在1918年哈代与印度数学家拉马努金合写的论文《组合分析的渐进公式》中就有表现。应用到哥德巴赫猜想上的话，圆法的思想是：对于非零整数formula_4，沿着单位圆为路径的环路积分 formula_5 当且只当整数formula_6的时候，上面的积分才等于1。因此，如果考虑积分式： formula_7 其中formula_8，那么这个积分式实际上等于： formula_9 上式中第二项等于0，所以 formula_10方程“formula_11”的解formula_12的个数。 所以，关于偶数的哥德巴赫猜想其实等于是说对于所有大于等于6的偶数formula_13，单位圆上的环路积分式formula_14。同理，关于奇数的哥德巴赫猜想等价于环路积分式： formula_15 因此，研究哥德巴赫猜想可以归结为研究积分式formula_16 和 formula_17 中以质数为变数的三角多项式formula_18。哈代和利特尔伍德猜测，当变量formula_19接近于分母“比较小”的既约分数时，formula_20的值会“比较大”，而当formula_19接近于分母“比较大”的既约分数时，formula_20的值会“比较小”。也就是说，积分formula_16的主要部分其实是单位圆上分母“比较小”的那些既约分数附近的积分，其它的部分上积分则没那么重要，可以忽略掉了。因此，可以将整个单位圆分成两个部分：一部分是单位圆上分母“比较小”的那些既约分数附近包括的一些区间，哈代和利特尔伍德称其为“优弧”（-- ，与平面几何中的“优弧”不同），其余的部分则称为“劣弧”（-- ）。将整个积分 formula_16 分成优弧上的积分formula_25 与劣弧上积分 formula_26 之和，然后证明 formula_26 相比起 formula_25 可以忽略，而 formula_29，这就是圆法的主要思想。哈代和利特尔伍德在1923年的论文中证明了，如果存在正数formula_30，使得所有的狄利克雷L函数的全体零点都在半平面formula_31上，那么充分大的奇数formula_32一定满足formula_33，也就是说能够表示成三个素数的和。他们还给出了formula_17的渐进式：在formula_32趋于无穷大的时候， formula_36 其中 formula_37 他们还证明了，在假设广义黎曼猜想成立的情况下，如果用formula_38表示formula_13以内无法写成两个质数之和的偶数的个数，那么对任意的正数formula_40，都有 formula_41 这说明了，不能写成两个质数之和的偶数占所有偶数的比例是可以忽略的。 筛法与布朗方法. 布朗使用的“筛法”，其原型为埃拉托斯特尼筛法，早在公元前250年就出现在古希腊。原始的筛法可以用来寻找一定范围内（比如说2到100）的质数：先将第一个数2留下，将它的倍数全部划掉；再将剩余数中最小的3留下，将它的倍数全部划掉；继续将剩余数中最小的5留下，将它的倍数全部划掉……以此直至划无可划为止。这个过程就好像一遍又一遍的筛掉不需要的数字，故名筛法。布朗用到的推广筛法也是基于同样的理念：给定一个需要筛选的集合formula_42，一个用来作为筛选标准的“筛孔”，即一系列质数的集合formula_43，以及一个范围formula_44。记 formula_45 那么可以定义筛函数： formula_46 表示集合formula_42里所有与formula_48互质的数的个数，也就是筛去了formula_49内小于formula_44的质数的所有倍数之后还剩下的数字的个数。 布朗的方法是弱化哥德巴赫猜想中“质数”的要求，将它改为所谓的“殆质数”，即“由不太多的质因数相乘得到的合数”，布朗在1919年证明了，每个充分大的偶数都可以写成两个数之和，并且这两个数每个都是不超过九个质因数的乘积。这个命题可以转变为用筛函数来表达。假设有充分大的偶数formula_13，令集合为formula_52，formula_49为所有素数的集合，formula_54，那么筛函数formula_55就是满足 formula_56 的数对formula_57的个数。其中的formula_58和formula_59都与formula_60互质，也就是说它们的质因数都要大于等于formula_61，因此它们的质因数个数至多有formula_62 个。所以对于formula_63来说筛函数大于0，等价于命题“a+a”成立。如果能证明formula_64的时候筛函数大于0，就等于证明了关于偶数的哥德巴赫猜想。 弱哥德巴赫猜想的解决. 这两种思路都在二十世纪中得到了极大的发展。1933年，苏联数学家同样基于筛法证明了：存在某个整数K，使得每个偶数能够表示成K个质数的和，弥补了朗道的遗憾。史尼尔曼给出的K的上限是800000，不久后罗曼诺夫证明了这个K不会超过2208。1936年，朗道和把结果改进到71，一年后意大利数学家又将结果改良为67。1956年，Sharpio证明了K不超过20，1956年尹文霖证明了K不超过18。1976年，英国数学家证明了K小于等于6。 1937年是弱哥德巴赫猜想的研究取得重大突破的一年。首先，T·艾斯特曼证明了：每个充分大的奇数都可以表示成两个奇质数和一个不超过两个质数的乘积的数的和： formula_65 或 formula_66 同一年，维诺格拉多夫在使用圆法的基础上，去掉了哈代和利特尔伍德的成果中对于黎曼猜想的依赖。也就是说，维诺格拉多夫证明了：每个充分大的奇数都能表示为三个质数的和，以及几乎每一个充分大的偶数都能表示成两个质数的和。维诺格拉多夫的证明使用到了他独创的方法来对以质数为变数的指数和 formula_67 做出更细致的估计，也就是说更好地划分优弧和劣弧并直接估计出劣弧上的积分可以忽略，而不用到广义黎曼猜想。唯一的不足是：维诺格拉多夫并没有给出“足够大”的下限。后来波罗斯特金在1956年给出了一个可计算的下限：formula_68，也就是说大于formula_69的整数都可以写成三个质数的和。1946年，苏联数学家沿着哈代和利特尔伍德的道路前进，使用函数论的方法同样证明了维诺格拉多夫的结果。然而，维诺格拉多夫的定理中的下限对于实际应用来说仍然太大了。formula_70写出来有6846168位数字，要验证之前的偶数都能写成两个质数的和，计算量仍然太大。1989年陈景润与王元将这个下限减低到1043000.5，2001年廖明哲及王天泽进一步将下限降至e3100≈101346.3，但仍然与实际验证过的范围（4×1014）有很大距离。而如果假设广义黎曼猜想正确的话，等人在1998年证明了：每个大于等于7的奇数都可以写成三个质数的和（即弱哥德巴赫猜想在广义黎曼猜想正确的假设下的完全证明）。 1938年，华罗庚证明了弱哥德巴赫猜想的一个推广：任意给定一个整数k，每个充分大的奇数都可以表示p1 + p2 + p3k的形式。当k = 1的时候，就是弱哥德巴赫猜想。 由于维诺格拉多夫估计formula_67 时使用的方法本质上是筛法，所以数学家也希望用类似圆法的分析方法取代它。1945年，林尼克发展出估计狄利克雷L函数零点密度的方法，并用其证明了劣弧上的积分可以忽略，从而用纯粹的分析方法证明了弱哥德巴赫猜想。这个证明十分复杂，此后几位数学家各自提出了更简化的证明，1975年沃恩提出了首个不依赖估计L函数零点密度的方法，1977年潘承洞得到了仅利用L函数初等性质的简易证明。 2013年5月13日，法国国家科学研究院和巴黎高等师范学院的数论领域的研究员哈洛德·贺欧夫各特，在线发表了论文《论哥德巴赫定理的优弧》（-- ）宣布彻底证明了弱哥德巴赫猜想。贺欧夫各特生于1977年，秘鲁籍，2003年获得普林斯顿大学博士学位。2010年开始担任法国国家科学研究院和巴黎高等师范学院的研究员。2012年5月，贺欧夫各特发表论文《论哥德巴赫问题的劣弧》（-- ）中给出了劣弧积分估计的一个更优上界。在这个更优估计的基础上，贺欧夫各特在2013年的论文中将优弧估计的条件放宽，把维诺格拉多夫定理中的下限降低到了1029左右，贺欧夫各特和同事David Platt用计算机验证在此之下的所有奇数都符合猜想，从而完成了弱哥德巴赫猜想的全部证明。 强哥德巴赫猜想：布朗方法与陈氏定理. 弱哥德巴赫猜想已经基本得到解决，对于偶数的哥德巴赫猜想，数学家们则主要将希望放在布朗的方法上。而二十世纪中叶，数学家们沿着布朗的思路，得到了不少改进后的成果。1924年证明了“7+7”，1932年艾斯特曼证明了“6+6”，苏联数学家布赫希塔布在1938年和1940年分别证明了 “5+5”与“4+4”。孔恩在1941年提出了“加权筛法”的概念，能在同样的筛函数上界和下界条件下取得更好的结果，他在1954年证明了“a+b”（a+b