phpifbetween有名的哥德巴赫料想到底在猜什么

制作：铸雪

监制：中国科学院打算机网络信息中央

编者注：阅读本文时，可以跳过公式，不会影响理解。

自1742年提出至今，哥德巴赫猜想（Goldbach's conjecture）已经困扰数学界长达三个世纪之久。
作为数论领域存在韶光最久的未解难题之一，哥德巴赫猜想俨然成为一壁旗帜，勉励着无数数学家向着真理的彼岸前行。

对不少人来说，知道哥德巴赫猜想，离不开两个人，陈景润和徐迟。
后者那篇著名的报告文学，让很多人知道了有位中国数学家，用了几大麻袋演算纸，将哥德巴赫猜想的证明往前推进了一步。

但陈景润究竟在这个领域取得了多大的进展呢？让我们从哥德巴赫猜想本身提及。

一个大于1的自然数，如果除了1与其自身外，无法被其他自然数整除，那么称这个自然数为素数（又称质数）；大于1的自然数若不是素数，则称之为合数。

本日故事的发轫，便是这类被称为"素数"的数字。
早在古埃及时代，人们彷佛就已经意识到了素数的存在[1]。
而古希腊的数学家们很早就已经开始对素数进行系统化的研究。
例如欧几里得在《几何原来》中就已经证明了无限多个素数的存在[2]以及算术基本定理（即正整数的唯一分解定理，指出任何大于1的自然都可以唯一地写成多少个质数的乘积）[3]。
而埃拉托斯特尼提出的筛法则为找出一定范围内所有的素数供应了可行的思路[4]。

图片来源：wikipedia

古希腊数学家、"几何学之父"欧几里得（左）与数学家、地理学家、天文学家埃拉托斯特尼（右）。
前者在其著作《几何原来》中提出五大公设，成为欧洲数学的根本。
后者设计出了经纬度系统，并打算出地球的直径。

图片来源：wikipedia

埃拉托斯特尼筛法。
筛法的事理十分大略，打算者从2开始，将每个素数的倍数筛出，记作合数。
埃拉托斯特尼筛法是列出所有小素数最有效的方法之一。

随着对素数理解的深入，素数的诸多奇特性子被人们发掘出来。
1742年6月7日，普鲁士数学家克里斯蒂安·哥德巴赫在写给瑞士数学家莱昂哈德·欧拉的信中，提到了自己有关素数的一个创造：任一大于2的整数都可以写成三个质数之和。
值得一提的是，当时欧洲数学界约定1也是素数。
以是换成当代的数学措辞，即"任一大于5的整数都可写成三个质数之和"。

图片来源：wikipedia

将偶数表示为两个素数的和。
截至2012年4月，数学家已履历证了4乘以10的18次方以内的偶数，没有创造哥德巴赫猜想的反例[5]。

哥德巴赫无法确认这一创造的普适性，以是他寄希望于欧拉可以给出证明。
欧拉在6月30日的复书中肯定了哥德巴赫的创造，并给 出了猜想的等价版本:

任一大于2的偶数，都可表示成两个素数之和。

这也是现在哥德巴赫猜想的常日表述办法，其亦称为"强哥德巴赫猜想"或"关于偶数的哥德巴赫猜想"。
欧拉认为可以将这一猜想视为定理，只可惜他也无法给出猜想的证明。

哥德巴赫信件的手稿 图片来源：www.mscs.dal.ca

由"强哥德巴赫猜想"，可以推出：

任一大于5的奇数都可写成三个素数之和。

这也称为"弱哥德巴赫猜想"或"关于奇数的哥德巴赫猜想"。
当然如果"强哥德巴赫猜想"可以被证明，"弱哥德巴赫猜想"也就迎刃而解。

哥德巴赫猜想的困难程度可以与任何一个已知的数学难题比较。

——戈弗雷·哈罗德·哈代

哥德巴赫猜想一贯以来都深受业余数学爱好者的青睐，一个很主要的缘故原由便是其表述十分简洁易懂。
然而猜想的证明实际上是极为困难的。
自1742年猜想被正式提出后的160余年里，数学家苦苦探寻，都没有取得任何本色性的进展，更多的只是提出一些等价的命题，或者是对猜想进行数值验证。

1900年，著名数学家希尔伯特在第二届国际数学家大会上提出的著名的二十三个问题，个中第八个问题就涉及三个有关素数的猜想：黎曼猜想、哥德巴赫猜想和孪生素数猜想。
至今上述三个猜想的研究虽然较20世纪初已经有了长足的进展，乃至有弱化的情形已经被证明，但三个问题本身均仍未被办理。

图片来源：The Oberwolfach Photo Collection

参加学术会议的希尔伯特。
1900年，希尔伯特在巴黎举行的第二届国际数学家大会上作了题为《数学问题》的演讲，提出了23个最主要的数学问题。
希尔伯特问题在相称一段韶光内勾引了天下数学研究的方向，有力地推动了20世纪数学的发展。
在许多数学家努力下，希尔伯特问题中的大多数在20世纪中得到理解决。

然而这长达160余年的探索并非毫无成果。
由于欧拉、高斯、黎曼、狄利克雷、阿达马等数学家在数论与函数论领域的打破性研究，为之后以哥德巴赫为代表的数论研究打下了坚实的根本。

数学是科学中的皇后，而数论是数学中的皇后。

——卡尔·弗雷德里希·高斯

问题真正的本色性进展涌如今二十世纪20年代。
当时涌现了两种代表性的思路，一种是英国数学家哈代与李特尔伍德在1923年论文中利用的"哈代-李特尔伍德圆法"[6]，另一种是挪威数学家布朗（Viggo Brun）利用的"布朗筛法"[7,8]。

图片来源：wikipedia、U of St And

哈代（左）、李特尔伍德（中）与布朗（右）。
哈代，英国数学家，二十世纪英国剖析学派的代表人物，其研究对后世剖析学和数论的发展有深刻的影响。
李利特尔伍德，英国数学家，研究领域涵盖数论和数学剖析，与哈代有着长达35年的互助。
布朗，挪威数学家，其在数论领域的事情极大地推动了哥德巴赫猜想和孪生素数猜想等的研究。

借助上述方法，哈代和李特尔伍德在1923年的论文中证明了"在假设广义黎曼猜想成立的条件下，每个充分大的奇数都能表示为三个素数的和以及险些每一个充分大的偶数都能表示成两个素数的和"[6]。
这里的"广义黎曼猜想"，指的是用狄利克雷L函数代替黎曼猜想中的黎曼ζ函数，其他表述不变。
哈代和李特尔伍德的事情使哥德巴赫猜想的证明向前迈进了一大步。

利用上述方法，布朗在1919年证明，"每个充分大的偶数都可以写成两个数之和，并且这两个数每个都是不超过9个素因数的乘积"[7]，以是上述结论也被记作"9+9"。
按照布朗的思路，如果终极可以将素因数的个数缩减至1个，即终极证明"1+1"，那么也就意味着证明了哥德巴赫猜想。

陈景润的每一项事情，都彷佛是在喜马拉雅山山巅上行走。

——安德烈·韦伊

上文提到的两种思路都在二十世纪都得到了极大的发展。
这也极大地推动了哥德巴赫猜想和弱哥德巴赫猜想的证明事情。
1937年苏联数学家维诺格拉多夫（Ivan Vinogradov）在对付弱哥德巴赫猜想研究中取得了重大的打破[10]。
他在圆法的根本上，去掉了哈代和李特尔伍德证明中对付广义黎曼猜想的依赖，完备证明了"充分大的奇素数都能写成三个素数的和"，即"哥德巴赫-维诺格拉多夫定理"。
不过维诺格拉多夫无法给出"充分大"的下限，以是找到这一下限便成为了弱哥德巴赫猜想研究的紧张方向。
2013年秘鲁数学家哈洛德·贺欧夫各特（Harald Andrés Helfgott）成功将维诺格拉多夫"充分大"的下限缩小至10的29次方旁边，通过打算机验证在此之下的所有奇数，结果无一例外都符合猜想，从而终极完成了弱哥德巴赫猜想的证明[11]。

图片来源：wikipedia

维诺格拉多夫（左）与哈洛德·贺欧夫各特（右）。
伊万·马特维耶维奇·维诺格拉多夫，苏联解析数论专家，斯捷克洛夫数学研究所所长。
哈洛德·贺欧夫各特，秘鲁数学家，法国国家科学研究院和巴黎高档师范学院研究员。

比较较而言，强哥德巴赫猜想的研究困难相对更大。
不过二十世纪上半叶以来，数学家遵照布朗筛法的研究思路，也取得了长足的进展。
在布朗证明"9+9"后不久，1924年德裔美籍数学家拉德马赫（Hans Adolph Rademacher）成功证明了"7+7"[12]，1932年德国数学家埃斯特曼（Theodor Estermann）证明了"6+6"[13]，苏联数学家布赫希塔布（Alexander. A. Buchstab）于1938年和1940年证明了分别证明了"5+5"与"4+4"[10]。

拉德马赫 图片来源：Math Gene Proj

埃斯特曼 图片来源：Oxford Univ. Press

布朗筛法较以往的数论方法而言有很强的组合数学特色，运用起来比较繁芜。
以是在研究的过程中，数学家不断对原有的筛法进行改进。
考虑到以往的证明中，总是将命题"a+b"与对一个筛函数的估计直接联系起来，得到的结果相对较弱。
1941年，库恩（P. Kuhn）提出了"加权筛法"，借此我们可以在同样的筛函数上、下界估计的根本上得到强结果。
例如库恩于1954年就给出了"a+b<7"[8]，即每个偶数都可以写成两个数之和，使得它们各自的素因数个数加起来的总和小于7。
而1950年前后挪威数学家阿特勒·塞尔伯格（Atle Selberg）提出的"塞尔伯格筛法"[15]则使得哥德巴赫猜想的研究提高了一大步。
塞尔伯格利用求二次型极值的方法极大地改进了筛法，由此法可以得到筛函数的上界估计，结合布赫希塔布恒等式可以得到筛函数的下界估计。
在此根本上，维诺格拉多夫、王元等数学家先后完成了"3+3"、"a+b"（a+b<6）以及"2+3"的证明[10]。

塞尔伯格 图片来源：wikipedia

布赫希塔布 图片来源：liveinternet.ru

阿特勒·塞尔伯格，挪威数学家。
研究方向涵盖解析数论，以及自守形式理论。
得到1950年的菲尔兹奖和1986年的沃尔夫数学奖。
亚历山大·布赫希塔布，苏联数论专家，以其对筛法的研究而有名。

以上的结果中，比较遗憾的是无法证明偶数分拆成的两个数中一定有一个是素数。
紧张缘故原由就在于要证明形如"1+x"的命题时，须要估计筛函数S(A,P,z)的上界和下界时，须要估计主项与余项，并证明余项相对付主项可以忽略。
这有点类似圆法的思路。
不过"1+x"的估计涉及到算术级数中素数分布的均值定理，须要利用较为繁芜的解析数论手段。

最早取得打破的是匈牙利数学家阿尔弗雷德·伦伊（Alfréd Rényi）[16]。
他率先定性地证明了命题"1+x"，但却没能给出x的详细值。
而在这一领域里，我国老一辈数学家取得了卓越的成绩。
1962年潘承洞利用伦伊的思路成功证明了"1+5"，同年王元指出潘承洞的结论实则可以推出"1+4"。

中国解析数论学派：华罗庚，王元，潘承洞与潘承彪 图片来源：U of St And、财新网

"中国解析数论学派"指以华罗庚为代表的数论学派，该学派对付质数分布与哥德巴赫猜想作出了许多重大贡献。
华罗庚，中国科学院院士，美国国家科学院外籍院士。
他是我国解析数论、范例群、矩阵几何、自守函数论与多元复变函数等领域研究的创始人与奠基者，也是中国在世界上最具影响力的数学家之一。
王元，中国科学院院士。
他首先将解析数论中的筛法用于哥德巴赫猜想的研究。
潘承洞，中科院院士，以哥德巴赫猜想的研究有名。
他首先确定命题"1+x"中x的详细数值，并证明命题"1+5"和"1+4"成立。
潘承彪，中科院院士，著名数论学家，潘承洞胞弟，亦是数论学家张益唐在北京大学时的研究生导师。

而利用筛法的最好结果是由我国数学家陈景润得到的。
1966年，陈景润在《科学通报》上揭橥了有关"1+2"的证明，即"任何一个充分大的偶数都可以表示成两个素数的和或者一个素数及一个2次殆素数的和"[17]。
换言之，对付任给一个大偶数N，总可以找到奇素数p',p''或p1,p2,p3，使得下列两式至少有一个成立：

1973年，陈景润给出了"1+2"的详细证明，同时改进了1966年研究的数值结果。
是年4月，中国科学院主理的《中国科学》上，公开拓表了陈景润的论文《大偶数表为一个素数及一个不超过两个素数的乘积之和》[18]。
在这一证明中，陈景润对筛法作出了重大的改进，提出了一种新的加权筛法。
因此"1+2"也被称为陈氏定理。

上面仅仅是对付陈景润"1+2"证明思路的大略梳理，事实上其证明过程十分繁琐，而且须要很高的技巧性。
能够终极得出"1+2"的证明，陈景润无愧于数论大师之名。

图片来源：财新网

陈景润，福建福州人，大学毕业于厦门大学数学系。
1953年到1954年被分配至北京市第四中学任教，后被"停职还乡养病"。
1954年，调回厦大任资料员，同时开展数论研究，次年担当助教。
1957年9月，华罗庚安排把陈景润调入中国科学院数学研究所。
1966年，证明了"1+2"（陈氏定理）。

陈景润后来不断改进自己的结果，从某种意义上来说已经将筛法的威力发挥到了极致。
但很可惜的是，陈景润的加权筛法要证明终极哥德巴赫猜想（"1+1"）须要在加权筛中取x=2，而这将导致估计主项和余项变得难以实现。
以是如今数学界的主流见地认为，终极证明哥德巴赫猜想，还须要新的思路或者新的数学工具，或者在现有的方法上进行颠覆性的改进。
但无论如何，陈景润已经走在了哥德巴赫猜想研究的最前沿。

王元（左）、陈景润（中）与潘承洞（右） 图片来源：财新网

哥德巴赫猜想为国人所熟知，很大程度上要归功于当代作家徐迟的报告文学《哥德巴赫猜想》[19]。
在当时分外的历史期间，这篇报告文学使全体社会为之一震，同时也推动了我国"报告文学"这一文学题材的繁荣。
可惜的是也正是由于这篇报告文学，使得不少没有受过正规数学演习的数学爱好者投入到哥德巴赫猜想的"研究"之中。
听说中科院在相称长的一段韶光里，每年都会收到"几麻袋"的谈论或声称证明了哥德巴赫猜想的来信来稿。
而笔者写作本文的缘故原由之一，也是希望粗略回顾和先容哥德巴赫猜想与陈景润的"陈氏定理"。
同时希望读者可以多多少少理解"1+2"、"1+1"之类的命题的真正内涵，而不至于望文生义，把哥德巴赫猜想视为一道通俗俗通的课后习题。

数学家与画家和墨客一样，是模式的创造者。
——戈弗雷·哈罗德·哈代

近年来，数论这一学科的研究中央彷佛也在逐步转移，哥德巴赫猜想的研究热度相对上个世纪中叶也有所低落。
不过数学家对付以哥德巴赫猜想为代表的素数干系问题的研究从来没有停滞。
比较著名的有前面提到的黎曼猜想以及孪生素数猜想。

回望哥德巴赫猜想的发展进程，其发轫彷佛是数学家心血来潮的胡思乱想。
事实上许多历史上大名鼎鼎的猜想皆是如此。

如今不少人谈数学而色变，不仅对付普通人，对付很多科技事情者来说也是这样，希望千方百计地绕开数学这匹"猛兽"。
为此不少数学家绞尽脑汁，要找出数学和日常生活的各类联系。

实在，一方面数学本就与天下的发展密不可分，另一方面快节奏的时期追求"经世致用"本也无可非议。
只不过笔者此处更希望从数学本身来看待其存在的意义。
如哈代所言，"数学家与画家和墨客一样，是模式的创造者"，数学本身是有其美感存在的。
数学界追求真理的旅行，便是创造和创造美的旅行。
中科院物理所的曹则贤老师曾在他的书里提到，"读数学、物理书和看小说一样，并非完备能看懂的便是好的"[2]。
但愿本文的读者也不会被文中偶尔蹦出来的公式吓到，而是可以透过这些繁杂的演算得到属于自己的思考。

"人是一株会思考的芦苇。
"没有了思考，人类终将失落去存在的意义。

参考文献：

[1] Gillings, R. J. (1974). The Recto of the Rhind mathematical papyrus how did the ancient Egyptian scribe prepare it. Archive for History of Exact Sciences, 12(4), 291-298.

[2] 曹则贤 (2019). 惊艳一击：数理史上的绝妙证明. 北京：外语传授教化与研究出版社.

[3] Stillwell, J . (2010) Mathematics and its history. New York: Springer-Verlag.

[4] Pomerance, Carl (1982). The Search for Prime Numbers. Scientific American. 247 (6): 136–147.

[5] Weisstein, Eric W. "Goldbach Conjecture." From MathWorld--A Wolfram Web Resource. https:// mathworld.wolfram.com/ Goldbach Conjecture.html.

[6] Hardy, G. H. and Littlewood, J. E. (1923). Some Problems of Partitio Numerorum (III): On the expression of a number as a sum of primes. Acta Mathematica. 44: 1–70.

[7] Viggo Brun (1919). "La série 1/5 + 1/7 + 1/11 + 1/13 + 1/17 + 1/19 + 1/29 + 1/31 + 1/41 + 1/43 + 1/59 + 1/61 + ..., où les dénominateurs sont nombres premiers jumeaux est convergente ou finie". Bulletin des Sciences Mathématiques. 43: 100–104, 124–128.

[8] 王元 (1984). The Goldbach Conjecture. New Jersey: World Scientific.

[9] Halberstam, Heini and Richert, Hans-Egon. Sieve Methods. London Mathematical Society Monographs 4. London-New York: Academic Press. 1974.

[10] 潘承洞，潘承彪 (1981). 哥德巴赫猜想. 北京：科学出版社.

[11] Helfgott, H. A. (2013). Major arcs for Goldbach's problem. arXiv preprint arXiv:1305.2897.

[12] Rademacher, H. (1924, December). Beiträge zur viggo brunschen methode in der zahlentheorie. In Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg (Vol. 3, No. 1, pp. 12-30). Springer-Verlag.

[13] Estermann, T. (1932). Eine neue Darstellung und neue Anwendungen der Viggo Brunschen Methode. Journal für die reine und angewandte Mathematik, 1932(168), 106-116.

[14] Kuhn, P. (1941). Zur Viggo Brun'schen Siebmethode. I. Norske Vid. Selsk. Forh., Trondhjem, 14, 145-148.

[15] Selberg, A. (1984). On an elementary method in the theory of primes. In Goldbach Conjecture (pp. 151-154).

[16] "On the representation of even numbers as sums of a prime and an almost prime number,"Izv. Akad. Nauk. SSSR Ser. Mat., Vol. 12 (1948), pp. 57-78. (In Russian.)

[17] 陈景润. On the representation of a large even integer as the sum of a prime and the product of at most two primes. 科学通报（英文版）. 1966, (9): 385–386.

[18] 陈景润. 大偶数表为一个素数及一个不超过二个素数的乘积之和. 中国科学A辑. 1973, (2): 111–128.

[19] 徐迟. 哥德巴赫猜想. 公民文学. 1978, (1): 53–68.

[20] https://asone.ai/polymath/ index.php?title=Bounded _gaps _between_primes.

文章仅代表作者不雅观点，不代表中国科普博览态度