数学中国

 找回密码
 注册
搜索
热搜: 活动 交友 discuz
查看: 138819|回复: 1071

验证10的1000次方的大偶数哥德巴赫猜想成立

  [复制链接]
发表于 2015-1-12 10:29 | 显示全部楼层 |阅读模式
验证10的1000次方的大偶数哥德巴赫猜想成立
   设有偶数,它的哥德巴赫分拆数定义为它能够表示成两个质数相加之和的方法的个数,也就是集合中元素的个数:

   哥德巴赫猜想就等于是说,每个大于等于6的偶数的哥德巴赫分拆数都大于0。如果能够找到哥德巴赫分拆数的表达式,或者找到它的某个严格大于0的下限,就能够证明哥德巴赫猜想了。
    本人用WHS筛法和数论,推导出>这个数学式,即[8。N]区间的任何偶数的哥德巴赫分拆数都大于数学式的计算值。又6=3+3,即每个大于等于6的偶数的哥德巴赫分拆数都大于0。证明了哥德巴赫猜想成立。

    证明运用了函数的单调性和增函数的性质,因此不论大于等于8的偶数的哥德巴赫分拆数的数值多么不规律,但对大于或等于8的任何偶数都有哥德巴赫分拆数大于数学式的计算值的结果。(n=8时,数学式的计算值为最小值=0.925)
且随N值的增加,数学式的计算值也增加。(证明运用WHS筛法及相关推导出的引理,文

件太大,网上无法贴出)
在前面的帖子中本人做了大量的验证,如对几位数,十几位数,97位数的偶数的验证,
在所有的验证中,没有发现偶数哥德巴赫猜想的反例。
   对10的1000次方的大偶数.如[100800……000002.100800……252001] (……代表989个0,数字即1001位数)区间随机选取109个奇数,模拟为109个素数.为便于书写前995位数字用e代表,模拟的109个素数如下:
e000031        e046679        e097507        e142577        e187061        e234893
e000089        e048283        e098171        e142771        e189817        e238753
e003863        e051299        e102119        e146249        e192551        e239849
e005263        e052441        e102259        e146863        e195817        e243529
e008969        e056117        e106381        e150827        e196859        e243671
e009829        e057499        e107249        e151903        e201007        e247949
e013853        e061697        e110911        e155039        e201047        e247999
e015193        e0e62107        e111209        e157051        e205553        e251407
e018137        e065897        e115303        e159371        e206083        e251537
e019993        e066919        e115439        e161083        e210667       
e023567        e070043        e119903        e164237        e210803       
e025999        e070963        e120151        e166633        e215569       
e027869        e074507        e124471        e168569        e215687       
e030607        e075469        e124721        e171091        e220099       
e033911        e079621        e129253        e173171        e220439       
e035389        e079757        e129269        e176089        e225401       
e038513        e088453        e133369        e177863        e225433       
e039649        e089459        e133523        e180637        e229393       
e042551        e093169        e137803        e182609        e230189       
e043579        e093959        e138329        e184963        e234247       
    模拟的109个1001位的大素数和[3,504001]区间41833个小素数组合,筛出[e250002,e504000]区间126000个1001位连续偶数的素数对构成,结果如下:
    能被6整除的42000个偶数素数对数的总合为1105921个,偶数素数对数平均值为26.3,偶数素数对数最小值是7,最大值为51.
    不能被6整除的84000个偶数素数对数的总合为1116328个,偶数素数对数平均值为13.28,偶数素数对数最小值是1(2个偶数),最大值为36个。
几个1001位偶数的素数对:
e372004               
               
e225401        +        146603
e210803        +        161201
e201047        +        170957
e192551        +        179453
e177863        +        194141
e173171        +        198833
e159371        +        212633
e133523        +        238481
e119903        +        252101
e038513        +        333491
e023567        +        348437
e018137        +        353867
e003863        +        368141
               

e372006               
               
e008969        +        363037
e009829        +        362177
e013853        +        358153
e018137        +        353869
e038513        +        333493
e062107        +        309899
e079757        +        292249
e088453        +        283553
e102119        +        269887
e107249        +        264757
e115439        +        256567
e137803        +        234203
e146863        +        225143
e155039        +        216967
e161083        +        210923
e164237        +        207769
e184963        +        187043
e210667        +        161339
e215569        +        156437
e215687        +        156319
e238753        +        133253
e239849        +        132157
e243529        +        128477


               
e372008               
               
e220099        +        151909
e210667        +        161341
e195817        +        176191
e176089        +        195919
e142771        +        229237
e133369        +        238639
e120151        +        251857
e102259        +        269749
e052441        +        319567
e043579        +        328429

               
   下面是区间[e252002.e504000]的子区间[e372010,e372608]的300个1001位连续大偶数的素数对数量表
e372010        18                e372012        27                e372014        10
e372016        15                e372018        28                e372020        12
e372022        15                e372024        20                e372026        11
e372028        11                e372030        36                e372032        11
e372034        8                e372036        25                e372038        13
e372040        17                e372042        29                e372044        10
e372046        10                e372048        24                e372050        23
e372052        7                e372054        26                e372056        8
e372058        16                e372060        24                e372062        11
e372064        6                e372066        26                e372068        6
e372070        18                e372072        22                e372074        11
e372076        17                e372078        25                e372080        18
e372082        16                e372084        23                e372086        12
e372088        13                e372090        32                e372092        15
e372094        10                e372096        28                e372098        13
e372100        13                e372102        21                e372104        12
e372106        13                e372108        14                e372110        11
e372112        10                e372114        21                e372116        17
e372118        9                e372120        41                e372122        17
e372124        11                e372126        31                e372128        14
ee372130        16                e372132        24                e372134        11
e372136        13                e372138        35                e372140        14
e372142        18                e372144        22                e372146        13
e372148        13                e372150        35                e372152        13
e372154        13                e372156        25                e372158        8
e372160        16                e372162        26                e372164        11
e372166        13                e372168        27                e372170        20
e372172        9                e372174        19                e372176        10
e372178        15                e372180        32                e372182        18
e372184        10                e372186        24                e372188        12
e372190        16                e372192        29                e372194        11
e372196        16                e372198        27                e372200        16
e372202        6                e372204        25                e372206        13
e372208        21                e372210        37                e372212        11
e372214        12                e372216        22                e372218        9
e372220        14                e372222        29                e372224        6
e372226        22                e372228        17                e372230        19
e372232        14                e372234        26                e372236        14
e372238        18                e372240        36                e372242        9
e372244        9                e372246        28                e372248        12
e372250        16                e372252        32                e372254        7
e372256        12                e372258        21                e372260        20
e372262        11                e372264        16                e372266        17
e372268        11                e372270        31                e372272        11
e372274        13                e372276        24                e372278        9
e372280        19                e372282        16                e372284        11
e372286        17                e372288        28                e372290        22
e372292        11                e372294        29                e372296        16
e372298        9                e372300        33                e372302        17
e372304        10                e372306        27                e372308        8
e372310        16                e372312        25                e372314        10
e372316        9                e372318        21                e372320        11
e372322        14                e372324        31                e372326        13
e372328        12                e372330        29                e372332        10
e372334        13                e372336        32                e372338        11
e372340        20                e372342        28                e372344        11
e372346        15                e372348        28                e372350        19
e372352        18                e372354        20                e372356        10
e372358        15                e372360        30                e372362        10
e372364        10                e372366        24                e372368        10
e372370        18                e372372        35                e372374        12
e372376        21                e372378        28                e372380        13
e372382        7                e372384        28                e372386        15
e372388        13                e372390        33                e372392        14
e372394        12                e372396        22                e372398        11
e372400        12                e372402        26                e372404        9
e372406        14                e372408        26                e372410        20
e372412        10                e372414        24                e372416        15
e372418        17                e372420        20                e372422        9
e372424        8                e372426        28                e372428        18
e372430        15                e372432        29                e372434        13
e372436        10                e372438        24                e372440        16
e372442        14                e372444        20                e372446        11
e372448        11                e372450        30                e372452        12
e372454        9                e372456        30                e372458        8
e372460        26                e372462        24                e372464        14
e372466        11                e372468        28                e372470        20
e372472        12                e372474        24                e372476        16
e372478        10                e372480        28                e372482        13
e372484        11                e372486        32                e372488        13
e372490        23                e372492        27                e372494        10
e372496        9                e372498        26                e372500        12
e372502        16                e372504        17                e372506        8
e372508        14                e372510        30                e372512        14
e372514        8                e372516        30                e372518        6
e372520        25                e372522        26                e372524        7
e372526        10                e372528        24                e372530        16
e372532        17                e372534        19                e372536        15
e372538        16                e372540        34                e372542        17
e372544        13                e372546        31                e372548        12
e372550        20                e372552        23                e372554        12
e372556        19                e372558        27                e372560        12
e372562        10                e372564        17                e372566        16
e372568        7                e372570        39                e372572        6
e372574        12                e372576        22                e372578        6
e372580        17                e372582        29                e372584        16
e372586        16                e372588        26                e372590        21
e372592        12                e372594        20                e372596        15
e372598        15                e372600        34                e372602        12
e372604        7                e372606        25                e372608        10
说明:
1)按素数定理π(x)~x/lnx,当x→ 素数平均间隔值约为lnx,本例ln10^1000=2302.6,在[e250002,e504000]区间,约有252000/2302.6=109个素数,本例模拟选出109个素数。
2)当然可做多个模拟选择,本人做过6次模拟,结果基本相同,筛出126000个连续偶数和150000连续偶数,每个偶数都能找到1个以上(或1个)的素数对,当然这是模拟,但可以肯定对真素数组结果也基本相同。
3)  王元说 “充分大是一个界线,大于这个界线的数则为充分大。...... 在这里,文献资料显示,这个充分大可以算出来,是10的1000多次方,在此,我申明如果有人能提供这样的大素数组,用WHS筛法可以(容易)验证10的1000多次方大的偶数哥德巴赫猜想成立。但没人(或研究机构)能给出这样的大素数组,目前计算机技术还做不到,因此,只能模拟验证,
4)本例模拟要占用110*2*84000个(18480000)以上单元格,文件大小达180M以上,126000个偶数找到2222249个素数对,要全部在网上展示不大可能,即使展示126000个偶数素数对数量,文件也大了,因此只给出300个偶数的素数对数。本例给出的配对的小素数可保证正确,无遗漏,无重复。可以接受任何检查。
5)只要扩大大素数组区间,就可以扩大大偶数的验证范围.因此即使个别素数间隔值很大,克莱姆猜想提出最大素数间隔值为lnx的平方,也可以通过扩大大素数组区间,验证该最大素数间隔值内的全部偶数哥德巴赫猜想成立。
6)如有兴趣,可以选[e250002,e504000]区间的任何1个或多个偶数,我可以给出它们的素数对数值,可保证配对的小素数数值是正确的,且无遗漏,
发表于 2015-1-12 11:46 | 显示全部楼层
L(2n)=[8+12(√8-1)]/16
        =[8+(12×1.8)]/16
        =2         
                                   (1,7),(3,5).

      即:   1+7=8,3+5=8.

L(100)=[100+12(√100-1)]/8(2log100+0.25)
         =[208/34]
         =6
                    (3,97),(11,89),(17,83),(29,71),(41,59),(47,53)

楼主值得思考!
发表于 2015-2-14 14:56 | 显示全部楼层
楼主最好能把证明这个素数对是正确的例子列出来吧。这样大家看着也方便点。
发表于 2015-2-14 15:32 | 显示全部楼层
kris 发表于 2015-2-14 14:56
楼主最好能把证明这个素数对是正确的例子列出来吧。这样大家看着也方便点。

例如e372592 e372594 e372596
e500000 e500002 e500004
 楼主| 发表于 2015-2-15 09:31 | 显示全部楼层
你在回复中提出的6个大偶数(模拟1001位数)的素数对构成如下,你可以下载primenumber.exe软件,帮助你检查配对的数是否是素数。如还有问题,欢迎提出。


e372592                12
               
               
e003863        +        368729
e042551        +        330041
e089459        +        283133
e133523        +        239069
e168569        +        204023
e177863        +        194729
e182609        +        189983
e187061        +        185531
e205553        +        167039
e230189        +        142403
e234893        +        137699
e247949        +        124643



e372594                20
               
               
e019993        +        352601
e033911        +        338683
e052441        +        320153
e070043        +        302551
e074507        +        298087
e079621        +        292973
e079757        +        292837
e097507        +        275087
e098171        +        274423
e119903        +        252691
e120151        +        252443
e124721        +        247873
e137803        +        234791
e142577        +        230017
        e        159371        +        213223
e184963        +        187631
e187061        +        185533
e192551        +        180043
e195817        +        176777
e243671        +        128923



e372596                15
               
               
e039649        +        332947
e057499        +        315097
e062107        +        310489
e102259        +        270337
e115303        +        257293
e129253        +        243343
e146863        +        225733
e166633        +        205963
e184963        +        187633
e189817        +        182779
e195817        +        176779
e225433        +        147163
e234247        +        138349
e238753        +        133843
e251407        +        121189



e500000                17
               
               
e000031        +        499969
e005263        +        494737
e057499        +        442501
e110911        +        389089
e115303        +        384697
e120151        +        379849
e133369        +        366631
e142771        +        357229
e146863        +        353137
e151903        +        348097
e157051        +        342949
e166633        +        333367
e184963        +        315037
e201007        +        298993
e243529        +        256471
e247999        +        252001
e251407        +        248593



e500002                13
               
               
e000059        +        499943
e027869        +        472133
e033911        +        466091
e051299        +        448703
e111209        +        388793
e124721        +        375281
e133523        +        366479
e155039        +        344963
e173171        +        326831
e177863        +        322139
e187061        +        312941
e192551        +        307451
e196859        +        303143



e500004                16
               
               
E000031        +        499973
E018137        +        481867
E030607        +        469397
E065897        +        434107
E079621        +        420383
e115303        +        384701
e120151        +        379853
e124471        +        375533
e124721        +        375283
e150827        +        349177
e159371        +        340633
e187061        +        312943
e189817        +        310187
e234247        +        265757
e238753        +        261251
e251407        +        248597
发表于 2015-2-15 10:33 | 显示全部楼层
本帖最后由 zhangzhong 于 2015-2-15 02:46 编辑

    许多前人曾用验证的方法, 发现哥德巴赫猜想是成立的, 但由验证哥德巴赫猜想成立, 毕竟还不能代替从理论上证明哥德巴赫猜想成立. 反之,如果有人能找出一个偶数不能表为两奇素数之和, 则可否定哥德巴赫猜想. 故从這意义上來讲, 去找一个比一个大的偶数来验证哥德巴赫猜想似乎意义已不大了. 请楼主三思!
    又: 可看得出楼主对哥德巴赫猜想很感兴趣, 同时对计算机的编程也有一定的造诣, 我很希望能得到你的帮助, 不知可否?
 楼主| 发表于 2017-2-14 17:10 | 显示全部楼层
     不管是找出一个素数,还是  找出一组素数,WHS筛法都不是用程序单独完成的,而是用一组程序模块构成的数学模型,中间还有手工操作共同完成。因此,比较复杂,繁琐,无法在网上讲清楚。我在文中提到,4)本例模拟要占用110*2*84000个(18480000)以上单元格,文件大小达180M以上,126000个偶数找到2222249个素数对,要全部在网上展示不大可能,即使展示126000个偶数素数对数量,文件也大了,其复杂,繁琐可见一斑。
      该模拟结果是否正确,只能检查配对的小素数是否对,这容易做到,关键是找出一组充分大素数,个人做不到,科学院数学所能否做到?我非常希望和数学所共同努力来完成王元院士提出的数学难题。
    
    
发表于 2017-2-15 16:58 | 显示全部楼层
我有四个公式轻松求任意偶数的素数对近似值,楼主若感兴趣,验证下怎么样?
D(1000000002)=50847534^2/[(1000000002-12)]/30*24=3231839(对)
D(1000000004)=50847534^2/[(1000000004-14)]/30*48=1615919
.......

点评

类平均GD(10000000042)=3679092,误差率:-5.23%。你的误差率:7.56%。  发表于 2022-3-20 19:14
1000000002是可被6整除的偶数,则计算类偶数平均素数对个数的系数要高一些,计算结果是:D(1000000002)=3496205;平均G(1000000002)=2328539;下限infD(1000000002)=1164270;  发表于 2022-3-20 19:09
真实D(1000000004)=1747858;平均G(1000000004)=2328539;下限infD(1000000004)=1164270;类平均GD(1000000004)=1839546,误差率:-5.25%。你所误差率:-7.55%。  发表于 2022-3-20 15:06
 楼主| 发表于 2017-2-16 19:43 | 显示全部楼层
发表于 2017-2-15 08:58 | 只看该作者
我有四个公式轻松求任意偶数的素数对近似值,楼主若感兴趣,验证下怎么样?
D(1000000002)=50847534^2/[(1000000002-12)]/30*24=3231839(对)
D(1000000004)=50847534^2/[(1000000004-14)]/30*48=1615919
.......
D(1000000004)计算是否有误。
 楼主| 发表于 2017-2-17 09:35 | 显示全部楼层

本帖最后由 zhangzhong 于 2015-2-15 02:46 编辑


    许多前人曾用验证的方法, 发现哥德巴赫猜想是成立的, 但由验证哥德巴赫猜想成立, 毕竟还不能代替从理论上证明哥德巴赫猜想成立. 反之,如果有人能找出一个偶数不能表为两奇素数之和, 则可否定哥德巴赫猜想. 故从這意义上來讲, 去找一个比一个大的偶数来验证哥德巴赫猜想似乎意义已不大了. 请楼主三思!

其实用验证的方法, 发现哥德巴赫猜想是成立的,和找出一个偶数不能表为两奇素数之和来否定哥德巴赫猜想.,二者没有区别,其实都是在做大量的验证工作。从验证中可以找到数学规律,从数学规律中找到猜想是否成立的数学式。我认为数论问题,不管是猜想或定理,都应该能被反复验证,比如陈氏定理1+2,就应该能用计算值和实际值比对来验证。
您需要登录后才可以回帖 登录 | 注册

本版积分规则

Archiver|手机版|小黑屋|数学中国 ( 京ICP备05040119号 )

GMT+8, 2024-3-29 17:17 , Processed in 0.092773 second(s), 19 queries .

Powered by Discuz! X3.4

Copyright © 2001-2020, Tencent Cloud.

快速回复 返回顶部 返回列表