|

楼主 |
发表于 2008-10-20 12:03
|
显示全部楼层
哥猜难题圆满破解
主楼文章的与众不同:(四)
为省篇幅,文中一些简单结论未做详细说明。例如自然复筛后如有等和数对留下,则一定是素数对的结论,文中用“容易证明”一带而过,结果许多网友弄不明白,希望我给出证明。现在这里简证如下(请对照原文看):
1)首先说明:自然复筛法不是新东西,它实质上是爱氏(Eratosthenes)筛法的变形运用。当偶数N=2n>=4时,筛选因子是小于(2n)平方根的全部素数。爱氏筛法是在
[1,N]区间筛选,每个筛选因子P只从头到尾筛一次,除去1,留素数,筛去P的倍数;自然复筛法是将数列[1,N]变换为,区间缩小一半的复合数列,即折n数列[1,n],它构成
n个等和数对,其和都是2n.一筛规则和爱氏筛法完全一样,但只在[1,n]区间进行。二筛的作用就是把每个筛选因子在爱氏筛法中对区间[n,N]的筛选等效转换为在自然复筛中同一个筛选因子对区间[1,n]的筛选。(如果我们把折n数列的隐含数据全部写出来,就不必要这种转换了,转换的目的是为了方便、直观),不同的是在自然复筛中为了方便,我们把“1”也当成“素数”对待,求哥猜素数对时不用1就行了。
下面我们导出公式(2):R=2n(modP),其中R是二筛P时的消项参数。
设P是筛选因子,它在区间[n,N]应消去的倍数为k*P,和k*P组成等和数对的数是在[1,n]区间的N-k*P,在这一对数中,消去任何一个,这一对数都将不复存在,所以把消k*P等效转换为消N-k*P,其结果是一样的:这一对数不复存在。
N-k*P的R值是: R=(N-k*P)(modP)=N(modP)=2n(modP)……(2)
由于筛选后留下的都是素数,所以筛后留下的等和数对一定是“等和素数对”。
说明:我不会输入“三横”的“同余”符号,故R后的同余符号我以“=”号代之。 |
|