著名物理学家爱因斯坦的老师闵可夫斯基说过:“如果把科学比作国王,那么数学就是他的王后,数论就是王后的王冠,哥德巴赫猜想就是王冠上一颗璀璨的明珠。”这一猜想是现今数学领域中一朵乌云,众多数学家想要解决它,但最后无一例外的以失败告终。
杂乱无章却又井然有序的数学
这一猜想是1742年,著名数学家哥德巴赫在自己与欧拉的通信中提到的一个猜想:任何一个大偶数都可以写成两个质数的和的形式。举个很简单的例子:4=2 2,8=3 5,20=3 17等等。欧拉在数学界可谓是人挡*人,佛挡*佛,一年800页优质论文的他,一时对这个问题页毫无头绪。最主要的一个原因,是因为偶数有无限多个,质数也有无限多个,你甚至可以通过不懈的努力验证一千一万个偶数都满足这样的猜想,但你却不能保证所有偶数都有这样的性质
德国数学家哥德巴赫
这一数学难题一经提出,便有无数数学家为之疯狂,但它自身特殊的属性决定了这些数学家们最终会毫无收获。同时期还有费马提出的费马猜想,格斯里提出的四色猜想。人们把这两个猜想与哥德巴赫猜想并成为数学界三大猜想。然而随着时间的流逝,费马猜想已经得到了非常完整的证明,四色猜想也在计算机做了无数验证后被宣告证明。而这数学界王冠上的明珠,却还像一朵乌云般漂浮在数学大厦之上。
直到上一世纪,这个问题总算有了一些进展,yu挪威的数学家布朗证明了:一个大偶数可以分解成九个质数乘积与九个质数乘积的和的形式。这实际上就是后来著名的9 9
如果我们能够不断地减少这个乘积的数量,直到减少的1 1,那么哥德巴赫猜想就宣布证明完毕。借着这个思路,世界各国各地的著名数学家在上一世纪20年代到60年代,对这个问题展开了围攻:
1920年,挪威的数学家布朗证明了“9 9”。
1924年,德国的拉特马赫证明了“7 7”。
1932年,英国的埃斯特曼证明了“6 6”。
1937年,意大利的蕾西先后证明了“5 7”, “4 9”, “3 15”和“2 366”。
1938年,苏联的布赫夕太勃证明了“5 5”。
1940年,苏联的布赫夕太勃证明了“4 4”。
1956年,中国的王元证明了“3 4”。稍后证明了 “3 3”和“2 3”。
1948年,匈牙利的瑞尼证明了“1 c”,其中c是一很大的自然数。
1962年,中国的潘承洞和苏联的巴尔巴恩证明了“1 5”, 中国的王元证明了“1 4”。
1965年,苏联的布赫 夕太勃和小维诺格拉多夫,及意大利的朋比利证明了“1 3 ”。
1966年,中国的陈景润证明了 “1 2 ”。
年少时期的陈景润
至此,人们已经知道了,一个很大的偶数一定可以分解为一个质数与两个质数乘积的和的形式。这一定理也被数学家们称之为陈氏定理。但之后怎么从1 2变为1 1,在之后的近60年里,又变得寂静无声了。
证明陈氏定理的论文中的一部分
这一猜想到底到什么时候才能够被完全攻破,谁也不好说,或许它正在等待一位超级数学家的横空出世,来彻底地驱散这团困扰数学界200余年的乌云。