“哥德巴赫猜想”,一定有很多人都听说过,但是如果不是数学专业,又把曾经学过的数学知识都忘记了的话,可能对于这个猜想并不太理解。不过既然是一种猜想,那么就是有这个结果,但是还没有一种明确的证明方式,或者说还没有找到一种通用的办法去证明这个猜想,所以只能被称作是猜想,而不是定论。
哥德巴赫1742年给欧拉的信中哥德巴赫提出了以下猜想:任一大于2的偶数都可写成两个质数之和。但是哥德巴赫自己无法证明它,于是就写信请教赫赫有名的大数学家欧拉帮忙证明,但是一直到死,欧拉也无法证明。 [1] 因现今数学界已经不使用“1也是素数”这个约定,原初猜想的现代陈述为:任一大于5的整数都可写成三个质数之和。(n>5:当n为偶数,n=2+(n-2),n-2也是偶数,可以分解为两个质数的和;当n为奇数,n=3+(n-3),n-3也是偶数,可以分解为两个质数的和)欧拉在回信中也提出另一等价版本,即任一大于2的偶数都可写成两个质数之和。今日常见的猜想陈述为欧拉的版本。把命题"任一充分大的偶数都可以表示成为一个素因子个数不超过a个的数与另一个素因子不超过b个的数之和"记作"a+b"。1966年陈景润证明了"1+2"成立,即"任一充分大的偶数都可以表示成二个素数的和,或是一个素数和一个半素数的和"。
今日常见的猜想陈述为欧拉的版本,即任一大于2的偶数都可写成两个素数之和,亦称为“强哥德巴赫猜想”或“关于偶数的哥德巴赫猜想”。
从关于偶数的哥德巴赫猜想,可推出:任一大于7的奇数都可写成三个质数之和的猜想。后者称为“弱哥德巴赫猜想”或“关于奇数的哥德巴赫猜想”。若关于偶数的哥德巴赫猜想是对的,则关于奇数的哥德巴赫猜想也会是对的。2013年5月,巴黎高等师范学院研究员哈洛德·贺欧夫各特发表了两篇论文,宣布彻底证明了弱哥德巴赫猜想。
1742年6月7日,哥德巴赫写信给欧拉,提出了著名的哥德巴赫猜想:随便取某一个奇数,比如77,可以把它写成三个素数之和,即77=53+17+7;再任取一个奇数,比如461,可以表示成461=449+7+5,也是三个素数之和,461还可以写成257+199+5,仍然是三个素数之和。例子多了,即发现“任何大于5的奇数都是三个素数之和。”
1742年6月30日欧拉给哥德巴赫回信。这个命题看来是正确的,但是他也给不出严格的证明。同时欧拉又提出了另一个命题:任何一个大于2的偶数都是两个素数之和。但是这个命题他也没能给予证明。
华罗庚是中国最早从事哥德巴赫猜想的数学家。1936~1938年,他赴英留学,师从哈代研究数论,并开始研究哥德巴赫猜想,验证了对于几乎所有的偶数猜想。
1950年,华罗庚从美国回国,在中科院数学研究所组织数论研究讨论班,选择哥德巴赫猜想作为讨论的主题。参加讨论班的学生,例如王元、潘承洞和陈景润等在哥德巴赫猜想的证明上取得了相当好的成绩。
1956年,王元证明了“3+4”;同年,原苏联数学家阿·维诺格拉朵夫证明了“3+3”;1957年,王元又证明了“2+3”;潘承洞于1962年证明了“1+5”;1963年,潘承洞、巴尔巴恩与王元又都证明了“1+4”;1966年,陈景润在对筛法作了新的重要改进后,证明了“1+2”。
哥德巴赫猜想证明的困难在于,任何能找到的素数,在以下式中都是不成立的。2*3*5*7*。。。。。。*PN*P=PN+(2*3*5*7*。。。。。。*P-1)*PN前面的偶数减去任何一个素数PN的差必是合数。
下一篇:古龙出生