归纳放大,这也是数学上的老惯例了。
现设n是偶数,虽然不能证明n是两个素数之和,但可以想办法证明它能够写成两个殆素数的和。
也就是首先证明所有偶数都可以写成两个数字的总和,而这两个数字由不超过n和m个素数的乘积组成。
因此,
对于任何偶数m,我们都有:
n=pa*pb*pc*……*pn+pa*pb*pc*……*pm。
举个例子,让n=56,
n=3,
m=2。
我们可以写56,作为三个素数的乘积,加上两个素数的乘积的总和:
56=2*3*5+2*13=30+26。
很明显,如果证明了n和m都是1,那么n即是两个素数pa+pb的和,
即偶数情况下,哥德巴赫猜想成立。
这里殆素数像是一张巨网,而哥德巴赫猜想只是其中的一条小鱼。
思路非常明确:只要不断地收网,就一定可以捞起这条鱼。
现在的问题来了,
怎么收网?
已知,数学上有个很好的筛选素数的方法,即埃拉托斯特尼筛法。
即要得到自然数n以内的全部素数,必须把不大于根号n的所有素数的倍数剔除,剩下的就是素数。
比如n=25,根号5等于5,把从开2开始的数依次除以2、3、4、5,
排除完毕后就得到了25以内的所有素数:
2、3、5、7、11、13、17、19、23。
后来布朗改进了埃拉托斯特尼筛法。
证明了9+9。
即任意一个充分大的偶数,都可以写成不超过9个素数的乘积+不超过9个素数的乘积;
紧接着,塞尔伯格改进布朗筛法,证明了2+3。
后来3位三位数学家,根据研究广义黎曼猜想的成果创造出了大筛法。
利用这种新方法,证明了1+b结构。
一直推到现在的1+3。
…………
“停,今天先到这吧!”
陈一航摆了摆手,让蕾依丽雅退了下去。
揉了揉太阳穴。
难怪搞数学的都是秃头。
他还没进入正题呢!