|
本帖最后由 愚工688 于 2024-2-4 05:22 编辑
「陈景润证明1+2」的研究,只是把数论家在哥德巴赫猜想研究的一条歧路上走到了极限位置。从“9+9”,一直到“1+2”,始终没有涉及到哥德巴赫猜想的“1+1”的原意问题。原因是他们都把一个偶数拆分成的两个整数分开进行讨论了!
任意偶数2A,拆分成两个整数,都可以写成:2A=(A-x)+(A+x) ,这里明显的是一个变量与偶数半值的对应关系——在什么情况下变量x能够构成素数对的问题。
因此哥德巴赫猜想所要证明的“1+1”的存在问题,就是能够构成素对的变量x是否存在的问题。
依据艾拉托尼筛法(Eratosthenes):x不能被≤√x 的所有素数整除即为素数的定义,偶数M拆分的【A-x,A+x】两个数只要满足不能被≤√M的全部素数整除,那么它们就成为素数对。由于1不是素数,因此更精确的说,偶数M拆分的【A-x,A+x】两个数只要满足不能被≤√(M-2)的全部素数整除即是素数对。
把偶数M拆分的两个数可以表示成A±x,≤√(M-2)的所有素数记为2、3、5、…、r;依据艾氏筛法,其中能够形成素数对的A±x有下面两种情况:
a:满足不能被≤√(M-2)的全部素数整除的素数对 A±x,这样的x值的数量记作 S1(m);
b:满足 A+x 不能被≤√(M-2)的所有素数为2、3、5、 …、r 整除,而 A-x 等于≤√(M-2)的某个奇素数。这样的x值的数量记作 S2(m)。
偶数M拆分为两个素数和的全部分法数,有 S(m)= S1(m)+ S2(m). {式1}
在式1中,我们主要要关注的是满足条件a 时变量x的取值,就是变量x与A在除以√(2A)内的全部素数时的余数不同余的关系。
由于自然数中数在除以任意一个素数的余数呈现周期性变化:
除以2时的余数变化:0、1、0、1、0、1、…;
除以3时的余数变化:0、1、2、0、1、2、…;
除以5时的余数变化:0、1、2、3、4、0、1、2、3、4、…;
……
除以r时的余数变化:0、1、2、…、r-2、r-1、0、…;
而对于任意一个偶数2A,其半值A除以√(2A-2)内的全部素数时的余数可以看作给定偶数2A的附有已知条件,我们记A除以≤√(M-2)的所有素数的余数为:j2、j3、j5、j7、…jr;
那么满足条件a的对应变量x的余数条件则为与A的余数不构成同余关系,即
除以2,余数不等于j2;
除以3,余数不等于j3与(3-j3);
除以5,余数不等于j5与(5-j5);
除以7,余数不等于j7与(7-j7);
……
由于在自然数列中,除以每个素数的周期性变化的余数中,筛除了与A的余数构成同余关系的余数后,必然有筛余的与A的余数不构成同余关系的其它余数。而变量x的取值区域正是一个自然数小区域[0,A-3] 。
在除以√(2A-2)内每个素数的余数时的不与A的余数构成同余关系的余数中,各取一个余数的各个组合,在n=π(r)的连续n个自然数列中具有唯一的最小解值,它们可以由中国余数定理解出,其中处于【0,A-3】范围的数x,则与A构成素对A±x。它们必然满足条件a —— 不能被≤√(M-2)的所有素数2、3、5、…、r 整除。
因此,每个大于5的偶数M,(M=2A),必然能够拆分成两个不能被≤√(M-2)的所有素数整除的素数:M=(A-x)+(A+x)。
而偶数2A的不与A构成同余关系的变量x的数量S1与依据概率的乘法定理的计算值Sp(m)两者在坐标图上值点连线图形是很相似的:
例图一:偶数6——250的满足条件a的变量x的计算值Sp(m)与实际真值S1的折线图形比对:
例图二:偶数250——500的满足条件a的变量x的计算值Sp(m)与实际真值S1的折线图形比对:
由于显示器的屏幕显示度的限制不能显示比较大偶数区域的分法数据图形,但是这个图形的波动变化的规律是不会改变的。
下面把今天日期的十倍的连续偶数202402040的下界素数对计算值的数据贴出,看看其值波动与系数K(m)的同步关系,精度计算了几个,余下略,反正不会低于0.99的;
区域素对下界infS(m) 显示了连续偶数素对基准线,素对真值在此基础上向上波动,波幅为K(m)值。
G(202402040) = 545348;
inf( 202402040 )≈ 540620.8 , Δ≈0.99133 ,infS(m) = 405465.56 , k(m)= 1.33333
G(202402042) = 417750;
inf( 202402042 )≈ 414158.6 , Δ≈0.99140 ,infS(m) = 405465.57 , k(m)= 1.02144
G(202402044) = 892085;
inf( 202402044 )≈ 884652.2 , Δ≈0.99167 ,infS(m) = 405465.57 , k(m)= 2.18182
G(202402046) = 547336;
inf( 202402046 )≈ 543175.7 , Δ≈0.99240 ,infS(m) = 405465.58 , k(m)= 1.33963
G(202402048) = 408322 ;
inf( 202402048 )≈ 405465.6 , Δ≈0.99301 ,infS(m) = 405465.58 , k(m)= 1
G(202402050) = 1091508;
inf( 202402050 )≈ 1083967.7 , Δ≈0.99309 ,infS(m) = 405465.58 , k(m)= 2.67339
G(202402052) = 409489;
inf( 202402052 )≈ 406918.9 , Δ≈0.99372 ,infS(m) = 405465.59 , k(m)= 1.00358
G(202402054) = 408814;
inf( 202402054 )≈ 405715.1 , Δ≈0.99242 ,infS(m) = 405465.59 , k(m)= 1.00062
G(202402056) = 830634;
inf( 202402056 )≈ 824544.3 , jd≈,infS(m) = 405465.6 , k(m)= 2.03357
G(202402058) = 409621;
inf( 202402058 )≈ 406069.9 , jd≈,infS(m) = 405465.6 , k(m)= 1.00149
G(202402060) = 692432;
inf( 202402060 )≈ 686906.4 , jd≈,infS(m) = 405465.6 , k(m)= 1.69412
G(202402062) = 839801;
inf( 202402062 )≈ 834100.7 , jd≈,infS(m) = 405465.61 , k(m)= 2.05714
G(202402064) = 409309;
inf( 202402064 )≈ 405723.7 , jd≈,infS(m) = 405465.61 , k(m)= 1.00064
G(202402066) = 408597;
inf( 202402066 )≈ 405572.6 , jd≈,infS(m) = 405465.62 , k(m)= 1.00026
G(202402068) = 968612;
inf( 202402068 )≈ 961103.7 , jd≈,infS(m) = 405465.62 , k(m)= 2.37037
G(202402070) = 628142;
inf( 202402070 )≈ 623645.5 , jd≈,infS(m) = 405465.62 , k(m)= 1.5381
G(202402072) = 408532;
inf( 202402072 )≈ 405632.1 , jd≈,infS(m) = 405465.63 , k(m)= 1.00041
G(202402074) = 988643;
inf( 202402074 )≈ 980661.1 , jd≈,infS(m) = 405465.63 , k(m)= 2.4186
time start =10:57:48 ,time end =10:58:05 ,time use =
|
本帖子中包含更多资源
您需要 登录 才可以下载或查看,没有帐号?注册
x
|