运用双筛法证明： 哥德巴赫猜想（1+1）

cuikun-186

埃拉托色尼筛选法(the Sieve of Eratosthenes)简称埃氏筛法，是古希腊数学家埃拉托色尼(Eratosthenes 274B.C.～194B.C.)提出的一种筛选法。 是针对自然数列中的自然数而实施的，用于求一定范围内的质数，它的容斥原理之完备性条件是p=H~。
埃拉托斯特尼筛法，简称埃氏筛或爱氏筛，是一种由希腊数学家埃拉托斯特尼所提出的一种简单检定素数的算法。要得到自然数n以内的全部素数，必须把不大于根号n的所有素数的倍数剔除，剩下的就是素数。

cuikun-186

算式：
要得到自然数n以内的全部素数，必须把不大于 的所有素数的倍数剔除，剩下的就是素数。[1]
给出要筛数值的范围n，找出以内的素数。先用2去筛，即把2留下，把2的倍数剔除掉；再用下一个质数，也就是3筛，把3留下，把3的倍数剔除掉；接下去用下一个质数5筛，把5留下，把5的倍数剔除掉；不断重复下去......。

cuikun-186

步骤
详细列出算法如下：
列出2以后的所有序列：
2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25
标出序列中的第一个素数，也就是2，序列变成：
2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25
将剩下序列中，划掉2的倍数，序列变成：
2 3 5 7 9 11 13 15 17 19 21 23 25
如果这个序列中最大数小于最后一个标出的素数的平方，那么剩下的序列中所有的数都是素数，否则回到第二步。
本例中，因为25大于2的平方，我们返回第二步：
剩下的序列中第一个素数是3，将主序列中3的倍数划掉，主序列变成：
2 3 5 7 11 13 17 19 23 25
我们得到的素数有：2，3
25仍然大于3的平方，所以我们还要返回第二步：
序列中第一个素数是5，同样将序列中5的倍数划掉，主序列成了：
2 3 5 7 11 13 17 19 23
我们得到的素数有：2，3，5 。
因为23小于5的平方，跳出循环.
结论：2到25之间的素数是：2 3 5 7 11 13 17 19 23。

cuikun-186

数学共轭意思是按一定规律相配的一对，通俗讲是孪生，也是两向量间的一种特殊关系。
共轭数列AB中的A数列与B数列互逆对称

cuikun-186

真实剩余比：实际上素数包括偶素数2和奇素数，
第一：用偶素数2双筛任何偶数都没有剩余，即素数2的真实剩余比=0
第二：由于每个偶数N都没有共同的奇素因子，那么每个奇素数p双筛偶数N都有剩余即m>0。
1：当素数p能够整除偶数N时，素数p的真实剩余比m=1-1/p>0
2：当素数p不能够整除偶数N时，素数p的真实剩余比m>0

cuikun-186

真实剩余比：
是用不超过√N的奇素数对偶数N进行"双筛"，
筛后所剩正整数个数与筛前正整数个数之比值，
N为每个大于等于6的偶数。
例如10，不超过过√10的奇素数：3
数列A:
1,3,5,7,9
互逆数列B:
9,7,5,3,1
该共轭数列有5项，
用3双筛后，剩余3项，
即奇素数3的真实剩余比是m=3/5
根据崔坤真值公式：r2(N)=(N/2)∏mr
则r2(10)=(10/2)*3/5=3

cuikun-186

有人说1不能参入双筛，显然这个观点是错误的。
根据定义素数：除了1和它本身，显然每个素数都有1，所以1起到用来筛掉素数本身上1的作用。

cuikun-186

观点新颖才有看头！！！

cuikun-186

独树一帜方得始终！

cuikun-186

是啊，现在有双筛法给出了真值公式：r2(N)=(N/2)∏mr，


再结合素数定理，r2(N)的下限值顺利成章为：r2(N)≥[N/(lnN)^2]