数学中国

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

基础理论中的两个重要定理的证明

[复制链接]
发表于 2026-3-26 23:29 | 显示全部楼层 |阅读模式
本帖最后由 ysr 于 2026-3-31 16:47 编辑

     命题1(产生新素数的定理):设p1和p2是相邻素数,若相邻素数的差p2-p1>=2,则在p2+2与3*p2(或2*p2+1)之间必然会有新的素数产生,新的素数的间距又是大于等于2的,所以此过程是无穷的,故,只要有一对相邻素数的差为2则新的素数就会无穷无尽出现。(证明也可参见我的《数论探秘》)
    证:
奇素因子p第一次出现时本身是个素数,第一次出现就是在第一个周期内,所以,各素因子的第一个周期是其占位最多的情况,而每一个素因子在其一个周期内只能占一个位置,若相邻素数的差p2-p1>=2,由于各素因子周期不同,节拍错位,在p2的第二个周期内必然有重复占位的,比如3p2就是3和p2重复占位了(比如2p2就是2和p2重复占位了),则在p2+2与3p2(或2*p2+1)之间必有一个空缺位置,就是旧素因子不能占位了,必然会产生一个新素数。这是必然的。
     而新素数和p2的差是从2到该数内的理论最大值(比如小于p或者小于√p,精确的理论值目前还没有人确定)之间的某个值(需要注意一点的是,除了2、3和5这一组以外,差为2的素数对,后面不会紧跟一个差为2的素数,但是间隔一个或几个其他差值的素数后就又会出现差为2的素数对了),所以,该间距又是大于等于2的。
    因此,下一个周期就又会必然产生新的素数,过程是无穷的,所以,素数是无穷的。
随着素数p的增大理论上的某数内的最大间距是不断增长的,所以,素数会越来越稀。而一旦出现了一次理论上的某数内的最大间距,则在下一个周期内又会出现一个小的间距甚至会出现多个素数,这是必然的,所以,素数又是疏密相间的。命题1成立,证毕。

     命题2(产生素数对的定理):对应项差为2(或者2m)的两个等差数列中,这两个数列还必须是素数的几率公式(比如6n+3就不行,是个合数公式),只要出现差大于等于4的相邻素因子(相邻素因子指数列中全体素因子中的相邻素数,不一定是全体素数中的相邻素数,比如数列30n+1中就没有2,3和5 这3个素数)就必然产生孪生素数对(或者差为2m的素数对)。(产生2生素数对即差为2m的素数对的充分条件也是这个,就是只要存在差大于等于4的相邻素数对就必然产生2生素数对)(证明也可参见我的《数论探秘》)
     证明:前面两个数列中,若相邻素数 p2-p1>=4,则在 p2 的下一个周期由于节拍错位,
必有至少一对素因子重复占位,如 3p2,就是 3 和 p2 重复占位了。则比前一个周期多出一个
空缺位置,就是素数对的位置,则必然产生至少一对孪生素数对,因为一个素因子最多占两
个位置。如 11-7=4>2,在 11 的下一个周期的 33 就是 3 和 11 重复占位了,次位的 31 和对
应项 29 构成孪生素数对。而 17-13=4,也大于 2 了,在 17 的下一个周期最大的数是 3*17=51,
在这个周期内有 43,41 一对,与 51 是不接近不是次一位,而 13 和 11 不在这个周期,因为
是从 19 开始到 51 结束的。而 19 和 17 又是一对孪生素数对。为啥素数 p2 的下一个周期最
大的必然是 3p2 呢?这个容易理解,因为素因子第一次出现的时候是素数,后面出现的就是
其倍数,倍数是从低到高出现的,奇数数列中去掉了偶数,所以没有 2 倍数了,所以下一次
就必然是 3 倍数,所以必然是 3p2。3 和 p2 必然是重复占位,就是占了同一个位置,节约了
一个位置,就是产生一对孪生素数对是必然的,因为空缺位置不能被前面的素因子占位,且
是对应项都不能被占位了,必然是素数对位置。这就是定理,这就是充分条件,证毕!
由于,素数越来越稀,大于等于 4 的相邻素数的差有无穷多,所以,孪生素数对无穷
多。(这个是多年研究才弄明白的,这个是产生素数的本质原因,也是产生素数对的本质原
因,所以,差为2m的素数对也是无穷多的。其实这是命题1的推论)
而要产生4生素数组呢?充分条件就是只要存在大于等于6的相邻素数差就必然会产生
4 生素数组(当然要有前提条件,就是有个必要条件)。

     由于,素数越来越稀,大于等于4的相邻素数的差有无穷多,所以,孪生素数对无穷多,差为2m的素数对也是无穷多的。

    有了这俩定理就可以推导和证明出来:素数有无穷多,素数差定理(差为2m的素数对都有无穷多)、哥德巴赫猜想和孪生素数猜想都是成立的,而且是远远成立的!



 楼主| 发表于 2026-3-28 13:23 | 显示全部楼层
本帖最后由 ysr 于 2026-4-1 03:34 编辑

在10000内的差值为6的3个连续素数组成的素数组有58 组: (每一组中间没有其他素数了)
(47   53   59 )  
(151   157   163 )  
(167   173   179 )  
(251   257   263 )  
(257   263   269 )  
(367   373   379 )  
(557   563   569 )  
(587   593   599 )  
(601   607   613 )  
(647   653   659 )  
(727   733   739 )  
(941   947   953 )  
(971   977   983 )  
(1097   1103   1109 )  
(1117   1123   1129 )  
(1181   1187   1193 )  
(1217   1223   1229 )  
(1361   1367   1373 )  
(1741   1747   1753 )  
(1747   1753   1759 )  
(1901   1907   1913 )  
(2281   2287   2293 )  
(2411   2417   2423 )  
(2671   2677   2683 )  
(2897   2903   2909 )  
(2957   2963   2969 )  
(3301   3307   3313 )  
(3307   3313   3319 )  
(3631   3637   3643 )  
(3727   3733   3739 )  
(4007   4013   4019 )  
(4451   4457   4463 )  
(4591   4597   4603 )  
(4651   4657   4663 )  
(4987   4993   4999 )  
(5101   5107   5113 )  
(5107   5113   5119 )  
(5297   5303   5309 )  
(5381   5387   5393 )  
(5387   5393   5399 )  
(5557   5563   5569 )  
(5801   5807   5813 )  
(6067   6073   6079 )  
(6257   6263   6269 )  
(6311   6317   6323 )  
(6317   6323   6329 )  
(6361   6367   6373 )  
(6367   6373   6379 )  
(6857   6863   6869 )  
(6971   6977   6983 )  
(7517   7523   7529 )  
(7577   7583   7589 )  
(7817   7823   7829 )  
(8111   8117   8123 )  
(8707   8713   8719 )  
(8741   8747   8753 )  
(9391   9397   9403 )  
(9467   9473   9479 )

命题:公差为6且中间没有其他素数的3生素数组有无穷多组。
回复 支持 反对

使用道具 举报

 楼主| 发表于 2026-3-30 15:23 | 显示全部楼层
在10000内的差值为6和8的3个连续素数组成的素数组有31 组:
(83   89   97 )  
(353   359   367 )  
(383   389   397 )  
(443   449   457 )  
(677   683   691 )  
(977   983   991 )  
(1103   1109   1117 )  
(1187   1193   1201 )  
(1367   1373   1381 )  
(1433   1439   1447 )  
(1553   1559   1567 )  
(1973   1979   1987 )  
(2207   2213   2221 )  
(2693   2699   2707 )  
(2837   2843   2851 )  
(2903   2909   2917 )  
(3203   3209   3217 )  
(3617   3623   3631 )  
(4283   4289   4297 )  
(4937   4943   4951 )  
(5393   5399   5407 )  
(5807   5813   5821 )  
(6323   6329   6337 )  
(6977   6983   6991 )  
(7013   7019   7027 )  
(7523   7529   7537 )  
(8363   8369   8377 )  
(8663   8669   8677 )  
(8693   8699   8707 )  
(8747   8753   8761 )  
(9533   9539   9547 )
每一组中间都没有其他素数了
回复 支持 反对

使用道具 举报

 楼主| 发表于 2026-3-30 15:31 | 显示全部楼层
本帖最后由 ysr 于 2026-3-31 09:47 编辑

在10000内的差值为8和6的3个连续素数组成的素数组有30 组: (每一组中间没有其他素数了)
(359   367   373 )  
(719   727   733 )  
(743   751   757 )  
(983   991   997 )  
(1109   1117   1123 )  
(1733   1741   1747 )  
(1979   1987   1993 )  
(2003   2011   2017 )  
(2273   2281   2287 )  
(2459   2467   2473 )  
(2663   2671   2677 )  
(2843   2851   2857 )  
(3623   3631   3637 )  
(3719   3727   3733 )  
(4349   4357   4363 )  
(4583   4591   4597 )  
(4943   4951   4957 )  
(5399   5407   5413 )  
(5813   5821   5827 )  
(6029   6037   6043 )  
(6203   6211   6217 )  
(6329   6337   6343 )  
(6983   6991   6997 )  
(7229   7237   7243 )  
(7673   7681   7687 )  
(7919   7927   7933 )  
(8513   8521   8527 )  
(8699   8707   8713 )  
(9173   9181   9187 )  
(9803   9811   9817 )  
回复 支持 反对

使用道具 举报

 楼主| 发表于 2026-4-1 08:42 | 显示全部楼层
在10000内的这样的素数组有1 组:
(3   11   19 )  
除了这一组没有其他的p,p+8,p+16的素数组

在10000内的这样的素数组有1 组:
(3   13   23 )  
除了这一组没有其他的p,p+10,p+20的素数组

在10000内的这样的素数组有1 组:
(3   17   31 )  
除了这一组没有其他的p,p+14,p+28的素数组

没有p,p+16,p+32这样的素数组
回复 支持 反对

使用道具 举报

 楼主| 发表于 2026-4-1 09:06 | 显示全部楼层
在10000内的这样的素数组有25 组:
(7   11   13   17 )  
(13   17   19   23 )  
(37   41   43   47 )  
(97   101   103   107 )  
(103   107   109   113 )  
(223   227   229   233 )  
(307   311   313   317 )  
(457   461   463   467 )  
(853   857   859   863 )  
(877   881   883   887 )  
(1087   1091   1093   1097 )  
(1297   1301   1303   1307 )  
(1423   1427   1429   1433 )  
(1483   1487   1489   1493 )  
(1867   1871   1873   1877 )  
(1993   1997   1999   2003 )  
(2683   2687   2689   2693 )  
(3457   3461   3463   3467 )  
(4513   4517   4519   4523 )  
(4783   4787   4789   4793 )  
(5227   5231   5233   5237 )  
(5647   5651   5653   5657 )  
(6823   6827   6829   6833 )  
(7873   7877   7879   7883 )  
(8287   8291   8293   8297 )  
差为4,2,4的素数组,每一组中间都没有其他素数了
回复 支持 反对

使用道具 举报

 楼主| 发表于 2026-4-1 09:09 | 显示全部楼层
在10000内的这样的素数组有18 组:
(11   19   23   31 )  
(59   67   71   79 )  
(89   97   101   109 )  
(389   397   401   409 )  
(479   487   491   499 )  
(1439   1447   1451   1459 )  
(1559   1567   1571   1579 )  
(1601   1609   1613   1621 )  
(2531   2539   2543   2551 )  
(2699   2707   2711   2719 )  
(3209   3217   3221   3229 )  
(3449   3457   3461   3469 )  
(3911   3919   3923   3931 )  
(5639   5647   5651   5659 )  
(5849   5857   5861   5869 )  
(7529   7537   7541   7549 )  
(8081   8089   8093   8101 )  
(8669   8677   8681   8689 )  
差为8,4,8的素数组,每一组中间还可能有其他素数
回复 支持 反对

使用道具 举报

 楼主| 发表于 2026-4-1 09:11 | 显示全部楼层
在10000内的这样的素数组有42 组:
(7   17   19   29 )  
(19   29   31   41 )  
(31   41   43   53 )  
(61   71   73   83 )  
(127   137   139   149 )  
(229   239   241   251 )  
(271   281   283   293 )  
(337   347   349   359 )  
(409   419   421   431 )  
(421   431   433   443 )  
(631   641   643   653 )  
(1009   1019   1021   1031 )  
(1039   1049   1051   1061 )  
(1279   1289   1291   1301 )  
(1471   1481   1483   1493 )  
(1597   1607   1609   1619 )  
(1867   1877   1879   1889 )  
(2017   2027   2029   2039 )  
(2131   2141   2143   2153 )  
(2371   2381   2383   2393 )  
(2677   2687   2689   2699 )  
(2719   2729   2731   2741 )  
(3517   3527   3529   3539 )  
(3571   3581   3583   3593 )  
(3907   3917   3919   3929 )  
(4219   4229   4231   4241 )  
(4231   4241   4243   4253 )  
(4261   4271   4273   4283 )  
(4327   4337   4339   4349 )  
(4999   5009   5011   5021 )  
(5647   5657   5659   5669 )  
(5839   5849   5851   5861 )  
(5857   5867   5869   5879 )  
(6079   6089   6091   6101 )  
(6121   6131   6133   6143 )  
(6679   6689   6691   6701 )  
(6781   6791   6793   6803 )  
(6949   6959   6961   6971 )  
(7477   7487   7489   7499 )  
(7537   7547   7549   7559 )  
(8209   8219   8221   8231 )  
(8221   8231   8233   8243 )  
差为10,2,10的素数组,每一组中间还可能有其他素数
回复 支持 反对

使用道具 举报

 楼主| 发表于 2026-4-1 09:14 | 显示全部楼层
在10000内的这样的素数组有110 组:
(5   17   29 )  
(7   19   31 )  
(17   29   41 )  
(19   31   43 )  
(29   41   53 )  
(47   59   71 )  
(59   71   83 )  
(89   101   113 )  
(127   139   151 )  
(139   151   163 )  
(167   179   191 )  
(199   211   223 )  
(227   239   251 )  
(239   251   263 )  
(257   269   281 )  
(269   281   293 )  
(397   409   421 )  
(409   421   433 )  
(419   431   443 )  
(467   479   491 )  
(479   491   503 )  
(607   619   631 )  
(619   631   643 )  
(727   739   751 )  
(797   809   821 )  
(929   941   953 )  
(997   1009   1021 )  
(1009   1021   1033 )  
(1039   1051   1063 )  
(1277   1289   1301 )  
(1279   1291   1303 )  
(1427   1439   1451 )  
(1447   1459   1471 )  
(1459   1471   1483 )  
(1487   1499   1511 )  
(1499   1511   1523 )  
(1559   1571   1583 )  
(1597   1609   1621 )  
(1697   1709   1721 )  
(1709   1721   1733 )  
(1777   1789   1801 )  
(1877   1889   1901 )  
(1889   1901   1913 )  
(1987   1999   2011 )  
(2087   2099   2111 )  
(2129   2141   2153 )  
(2269   2281   2293 )  
(2399   2411   2423 )  
(2609   2621   2633 )  
(2647   2659   2671 )  
(2659   2671   2683 )  
(2687   2699   2711 )  
(2707   2719   2731 )  
(2729   2741   2753 )  
(2777   2789   2801 )  
(2999   3011   3023 )  
(3037   3049   3061 )  
(3307   3319   3331 )  
(3319   3331   3343 )  
(3347   3359   3371 )  
(3517   3529   3541 )  
(3547   3559   3571 )  
(3559   3571   3583 )  
(3907   3919   3931 )  
(3919   3931   3943 )  
(3989   4001   4013 )  
(4217   4229   4241 )  
(4219   4231   4243 )  
(4229   4241   4253 )  
(4259   4271   4283 )  
(4397   4409   4421 )  
(4639   4651   4663 )  
(4679   4691   4703 )  
(4789   4801   4813 )  
(4919   4931   4943 )  
(4987   4999   5011 )  
(4999   5011   5023 )  
(5407   5419   5431 )  
(5419   5431   5443 )  
(5507   5519   5531 )  
(5557   5569   5581 )  
(5827   5839   5851 )  
(5857   5869   5881 )  
(6067   6079   6091 )  
(6089   6101   6113 )  
(6287   6299   6311 )  
(6299   6311   6323 )  
(6679   6691   6703 )  
(6779   6791   6803 )  
(6947   6959   6971 )  
(6959   6971   6983 )  
(7297   7309   7321 )  
(7309   7321   7333 )  
(7517   7529   7541 )  
(7537   7549   7561 )  
(7549   7561   7573 )  
(7817   7829   7841 )  
(7829   7841   7853 )  
(8069   8081   8093 )  
(8167   8179   8191 )  
(8209   8221   8233 )  
(8219   8231   8243 )  
(8419   8431   8443 )  
(8669   8681   8693 )  
(8707   8719   8731 )  
(8807   8819   8831 )  
(8837   8849   8861 )  
(9467   9479   9491 )  
(9619   9631   9643 )  
(9859   9871   9883 )  
公差为12的素数组,每一组中间还可能有其他素数
回复 支持 反对

使用道具 举报

 楼主| 发表于 2026-4-1 09:15 | 显示全部楼层
在10000内的这样的素数组有114 组:
(5   23   41 )  
(11   29   47 )  
(23   41   59 )  
(43   61   79 )  
(53   71   89 )  
(61   79   97 )  
(71   89   107 )  
(113   131   149 )  
(131   149   167 )  
(163   181   199 )  
(193   211   229 )  
(233   251   269 )  
(313   331   349 )  
(331   349   367 )  
(383   401   419 )  
(421   439   457 )  
(431   449   467 )  
(443   461   479 )  
(641   659   677 )  
(673   691   709 )  
(683   701   719 )  
(691   709   727 )  
(733   751   769 )  
(751   769   787 )  
(821   839   857 )  
(911   929   947 )  
(1013   1031   1049 )  
(1033   1051   1069 )  
(1051   1069   1087 )  
(1213   1231   1249 )  
(1283   1301   1319 )  
(1453   1471   1489 )  
(1531   1549   1567 )  
(1583   1601   1619 )  
(1601   1619   1637 )  
(1723   1741   1759 )  
(1741   1759   1777 )  
(1871   1889   1907 )  
(1913   1931   1949 )  
(1993   2011   2029 )  
(2063   2081   2099 )  
(2143   2161   2179 )  
(2203   2221   2239 )  
(2251   2269   2287 )  
(2381   2399   2417 )  
(2423   2441   2459 )  
(2441   2459   2477 )  
(2503   2521   2539 )  
(2521   2539   2557 )  
(2671   2689   2707 )  
(2693   2711   2729 )  
(2713   2731   2749 )  
(2731   2749   2767 )  
(2801   2819   2837 )  
(2843   2861   2879 )  
(2861   2879   2897 )  
(3001   3019   3037 )  
(3371   3389   3407 )  
(3511   3529   3547 )  
(3673   3691   3709 )  
(3691   3709   3727 )  
(3761   3779   3797 )  
(3911   3929   3947 )  
(4093   4111   4129 )  
(4253   4271   4289 )  
(4373   4391   4409 )  
(4603   4621   4639 )  
(4621   4639   4657 )  
(4933   4951   4969 )  
(4951   4969   4987 )  
(5003   5021   5039 )  
(5153   5171   5189 )  
(5261   5279   5297 )  
(5381   5399   5417 )  
(5413   5431   5449 )  
(5483   5501   5519 )  
(5623   5641   5659 )  
(5821   5839   5857 )  
(5843   5861   5879 )  
(5861   5879   5897 )  
(6011   6029   6047 )  
(6211   6229   6247 )  
(6343   6361   6379 )  
(6361   6379   6397 )  
(6563   6581   6599 )  
(6673   6691   6709 )  
(6701   6719   6737 )  
(6983   7001   7019 )  
(7193   7211   7229 )  
(7211   7229   7247 )  
(7333   7351   7369 )  
(7481   7499   7517 )  
(7523   7541   7559 )  
(7541   7559   7577 )  
(7603   7621   7639 )  
(7681   7699   7717 )  
(7723   7741   7759 )  
(7883   7901   7919 )  
(7901   7919   7937 )  
(8293   8311   8329 )  
(8563   8581   8599 )  
(8663   8681   8699 )  
(8803   8821   8839 )  
(8831   8849   8867 )  
(8933   8951   8969 )  
(9091   9109   9127 )  
(9203   9221   9239 )  
(9221   9239   9257 )  
(9403   9421   9439 )  
(9461   9479   9497 )  
(9613   9631   9649 )  
(9643   9661   9679 )  
(9661   9679   9697 )  
(9931   9949   9967 )  
公差为18的素数组,每一组中间还可能有其他素数
回复 支持 反对

使用道具 举报

您需要登录后才可以回帖 登录 | 注册

本版积分规则

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

GMT+8, 2026-4-19 04:35 , Processed in 0.146894 second(s), 15 queries .

Powered by Discuz! X3.4

Copyright © 2001-2020, Tencent Cloud.

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