《证明哥氏猜想的“双筛舍余消筛法”五百字文》

fb75

《证明哥氏猜想的“双筛舍余消筛法”五百字文》
http://sea3000.net/fengjungang网站中的《“舍余消筛计算法”证明哥德巴赫猜想》一文独辟蹊径，将“翻倍双筛淘汰法”与“舍余消筛计算法”有机结合起来，开辟了一条证明哥德巴赫猜想的捷径。它通过n次单、双筛，建立了计算偶数2a“双素数”数目的理论计算式；又在进一步推导该式的不足近似值计算式过程之中，约分掉了小于Pn的全部Pi，将用n层筛网的筛除，转化成了用1层筛网的单筛。从而，它既利用了筛法的理论价值；又回避了筛法计算中，因n层筛点的离散、重叠而产生的极难估算的离散误差。
该证明方法，舍弃了求全责备的思路。在理论上，它以求解构成偶数2a “1+1”的“双素数”数目真值为目标；在具体计算中，它又以舍弃求其全值、只求其一个极弱下界作为代价，换得了一个化解“误差估算难题”的契机。使计算出来的“双素数”数目下界，既是其线性计算值之下界，也是其真值之下界，这一点已经被“素数定理”所证实。所以，“舍余消筛计算法”是中国古老哲学思想——“舍得”哲理的又一个应用案例。
    如此算得的“双素数”数目真值之下界，等于【偶数2a平方根之半再减2】，它是偶数2a的一个单调递增函数。仅此，已足以证明，不小于64的所有偶数2a，都一定能够写成为两个奇素数之和。
为简明扼要、提纲携领地领会该证明方法之思路，现有五百字文如下：

“双一”①绝非在“天外”，
对折数轴滚滚来；
追根溯源探秘踪，  
喜见“源头活水来”！
*  *  *
欲证“猜想”先分割，
半偶数点轴对折②；
重叠数对和相等，
皆为偶数“整分割”。
*  *  *
奇分割、偶分割，
连续间隔排列着；
用2单筛分割对，
齐整除尽偶分割。
*  *  *
素分割、合分割，
半边合数混分割；
用Pi③筛尽后两者，
有余即是素分割。
*  *  *
用Pi筛除奇数对，
须分单筛和双筛④；
单筛筛掉合数对，
双筛只缘混分割。
*  *  *
偶数能被Pi整除，
单筛即刻达目的；
偶数不被Pi整除，
翻倍双筛才可以。
*  *  *
单筛筛掉Pi分之一，
双筛的数目翻一倍；
单筛只是筛合数，
双筛株连其配对。
*  *  *
单筛、双筛相配合，
筛掉的已比欲筛多；
全部的Pi都双筛，
合数对皆被两次筛。
*  *  *
任意偶数2a勿分辨，
全部的Pi都双筛；
幸亏Pi都大于2，
双筛率2/Pi小于1。
*  *  *
最小的Pi等于3，
最大的Pi称为Pn；
可喜Pn它有上界，
小于2a的平方根。
*  *  *
整数经过n次筛，
只剩部分素分割；
剩余素数有几何？
其值定比a/Pn多⑤！
*  *  *
计算剩余凭技巧，
求其下界何惧小！
缩减分子舍余数，
顿悟筛网被消掉⑥。
*  *  *
“无意插柳柳成荫”，
“柳暗花明又一村”；
n层筛网化单层，
纷乱筛点变单纯。
*  *  *
一步一个Pn筛点⑦，
没了重叠大麻烦；
离散误差小于1，
明碉暗堡化云烟。
*  *  *
筛法本是数论经典，
惟独误差估算难；
难点源于重叠筛点，
釜底抽薪渡难关。
*  *  *
“舍余消筛”显奇效，
一箭双雕排干扰；
连乘式变成a/Pn，
离散误差变明瞭。
*  *  *
Pn再用2a方根代，
“双一”下界旋即来；
它随2a单调增，
百年谜题终解开。
*  *  *
“舍余消筛”有哲理，
“舍得”相背又相依；
“素数定理”是佐证，
舍弃赢得新契机！
注：①“双一”：指“1+1”，即指任意偶数都可写成一个素数加一个素数的“素分割对”。
②半偶数点轴对折：若用2a表示任意偶数，将数轴绕其上a点对折，由相互重叠的每对整数，构成的偶数2a的“整分割对”便直观地展现出来。它们共有a对。
③Pi：Pi表示0到偶数2a平方根之间的、从小到大排列的第i个素数，即P1=2；P2=3…这里i从2取到n； Pn表示不大于偶数2a平方根的最大素数。
④单筛和双筛：单筛筛除率为1/Pi、存留率为（Pi–1）/ Pi ；双单筛筛除率为2/Pi、存留率为（Pi–2）/ Pi 。
⑤其值定比（a/Pn）多：其值，指用线性公式算得的、偶数2a的“双素数”数目。该数目大于Pn除a 。计算过程见http://sea3000.net/fengjungang中《“舍余消筛计算法”证明哥德巴赫猜想》一文式（21）。
⑥缩减分子舍余数，忽觉筛网被消掉：取“双素数”数目不足近似值时，将其双筛计算式分子中的（Pi+1–2）因子，总是用不大于它的Pi 代换，以便舍去Pi除分子的余数，后发现这样代换后，算式分子、分母中小于Pn的Pi全部被约掉了。
⑦一步一个Pn筛点：“双素数”数目真值下界a/Pn ，就等于Pn在（0，2a]区间上筛点数目的一半。所以，要计算它只需用Pn单筛，并统计出Pn筛点数目即可。这里指Pn筛点，是以Pn为步长的等间距均匀离散分布点，且只有实筛点，不再有重复筛除点的问题。