- 在线时间
- 17 小时
- 最后登录
- 2016-8-29
- 注册时间
- 2009-1-19
- 听众数
- 3
- 收听数
- 0
- 能力
- 0 分
- 体力
- 423 点
- 威望
- 0 点
- 阅读权限
- 30
- 积分
- 178
- 相册
- 0
- 日志
- 0
- 记录
- 0
- 帖子
- 100
- 主题
- 20
- 精华
- 0
- 分享
- 0
- 好友
- 8
升级   39% TA的每日心情 | 开心 2016-8-29 17:02 |
|---|
签到天数: 18 天 [LV.4]偶尔看看III
 |
论哥德巴赫猜想的正确性
' ?( [5 E) } m) C 该证明通俗易懂,请具有中学以上文化程度的老师和学者认真审查、充分验证。主要从审题、客观规律的揭示、结论的充分验证(目前的计算机这样先进,要进行验证并不难)后,才能下决论某人是否证明了哥德巴赫猜想。- s' f; @! y6 K K& ?5 z
首先申明:哥德巴赫猜想是“1+1”,“1+1+1”是否成立。所以,本文只对1+1是否成立进行论证。不受题意以外的思路及方法的干扰和影响。
. _6 i' ?" V2 t7 u8 [" j" m* o 论点:哥德巴赫猜想“1+1”,“1+1+1”是永远存在的。$ x5 Y' u; e' W# y% Z
论证,设大于6的偶数为M,本文用“√”符号表示根号,√M>1,小于√M的素数为M内的素数删除因子,当偶数≥16时,偶数(不包括素数删除因子组成的素数对)的素数对≥(√M)/4,即≥1个素数对;当偶数M的值增大时,√M的值也随之增大,偶数M(不包括素数删除因子组成的素数对)的素数对将>(√M)/4的两倍、三倍、四倍、…………。从而证明哥德巴赫猜想是正确的。
2 v$ @0 X# p9 X1 r7 r3 E: h$ f4 m 论据:《素数与等差数列的关系》和分数乘法、除法;不与偶数同余的素数必然组成偶数的素数对,反过来,除素数删除因子组成的素数对外,能够组成偶数素数对的素数必然不能与偶数同余。
! |- E* s& u- o 一、哥德巴赫猜想基本概念- n/ d8 W j5 A( n6 I' A. n3 }
哥德巴赫猜想命题1:大于6的偶数可以表示为两个奇素数之和。意思是说,大于或等于6的偶数都可以表示为两个奇素数之和。人们把两个奇素数之和,简称为1+1,这里的“1”是指1个奇素数的意思,“1”区别于2,3,4,……。2是指两个素数的乘积;3是指3个素数的乘积;4是指4个素数的乘积;……。
* j" X: J5 u4 k6 ?$ d/ R 哥德巴赫猜想命题2、大于9的奇数可以表示为三个奇素数之和。人们把三个奇素数之和,简称为1+1+1。7 F9 y8 [/ s) ?( u
特别说明:' ?1 U! A. x, B9 l- b, Z- M
(1)、哥德巴赫猜想原意,就是要证明大于6的偶数都可以表示为两个奇素数之和,大于9的奇数可以表示为三个奇素数之和。并没有什么附加条件,增加不必要的附加条件,就等于改变了题意。任意增加一个附加条件,都必然增加该猜想的难度。1 P: ?2 y3 F. g# e$ Y! i
(2)、哥德巴赫猜想出台后,为了证明该猜想的成立,针对命题1,人们先后出现了三种证明思路:①、从9+9到1+1逐渐缩小包围圈的方法,从9+9到1+2都属于哥德巴赫猜想题意以外的论证,只能是人们的一种解题思路而已,与本题题意没有实质上的关系,所以,本文的1+1,不能受9+9到1+2的干扰和影响;②、人们从偶数6开始,由小到大寻找偶数是否都有素数对的存在,看偶数素数对的变化情况,看有没有逐渐消失的现象出现。由此又出现了两个现象:一方面相邻的偶数素数对多少不一(后面我们再解释),另一方面随着偶数的逐渐增大,素数对逐渐增多。从这两个现象,只能够说明人们对可及的偶数有素数对的存在,无法有力地证明无限的偶数都有素数对的存在。③、人们想给偶数素数对的变化寻找一个系数,这种设想是最不科学的,因为,从客观规律上讲,偶数素数对的变化是由偶数的素数删除因子个数、偶数与素数删除因子的关系,两个方面决定的,变化是无穷的,并不是固定的,所以,不可能出现一个固定的常数,反过来说,取任何一个固定的常数,它的适用范围是有局限性的。再有,这些方法、现象又能够说明什么呢?增加的原因、理由、依据又在哪里呢?* f4 ]& H3 r5 H3 d" v2 g! w* \
(3)、只要我们尊重科学,尊重题意,尊重事物的客观发展规律,哥德巴赫猜想其实是一个人人都看得懂、看得明白的、简单的数学题,并非是什么世界著名数学难题。我们的探索,我们的结论,具有严格的来源依据,所有依据都经得起推敲,经得起人们对每一个偶数的检验,尤其是现代电脑高科技的快速检验。敬请人们对本文的依据和结论进行广泛、认真地检验,并提出宝贵的意见。9 |4 t( N$ b7 s% \' o9 g; Y
二、素数
: H; }; U6 d) b( d8 r 由于,哥德巴赫猜想不论是命题1,还是命题2,都与素数有关。所以,我们必须从素数开始探索。
% L+ h6 Q- t5 ?' N7 N 素数的定义:只能够被1和自身数整除的整数,叫素数,(自身数≠1)。, o) Q6 U# r0 X0 |, D
说明:我在这一定义后面增加了“自身数≠1”,在定义中1和自身数,本来就应该是两个不同的数,如果不增加这么一条,人们就会把自然1纳入素数,如果把1纳入素数,许多方面就不好理解和探讨。如素数不可能被其它素数整除,而所有素数都能够被1整除。而事实上,人们早就把1划定为:既不是素数,也不是合数了。* @- [! Z+ S+ T; n7 Y: O, W0 F
1、素数的判定2 z! n: P: d* ~0 U# ?$ \8 S
从素数的定义,只能够被1和自身数整除的整数,意思是说:除了“1和自身数”这两个数外,不能够被其它任何数整除,其它任何数无限多,具体是其它哪些数?) n5 ? [) Z. r0 z* X$ c$ v
(1)、任何一个整数,不可能被大于它的整数整除,我们排除大于它的整数。
/ k" ^2 p u5 q" m. d (2)、如果一个整数能够被其它整数整除时,必然有一个约数小于或等于这个数根号以下的整数,我们把它归结于小于或等于这个数根号以下的数,我们把大于这个数根号以下的数,可以放在一边不考虑。
4 q% ^. q2 g' z9 N (3)、如果一个整数能够被这个数根号以下的合数整除,那么,这个数必然能够被组成这个合数的素数整除(这里的组成是由素数相乘之积组成合数之意)。于是,就形成了人们所说的:能够被它根号以下素数整除的数,叫合数;不能够被小于或等于它根号以下所有素数整除的数,叫素数。这就是素数的判定方法。
+ U/ X1 x' B* B* |1 {% g 对于任意数M范围之内的素数的判定,我们不可能对M之内的每一个数,都求出它根号以内的素数,来判定这些数是否是素数。我们知道素数是不能够被其它素数整除的,素数多被几个素数试除,它仍然是素数。所以,我们对M之内的数是否是素数,可以统一用能否被≤√M的素数整除来进行判定。我们将≤√M的素数,叫做素数删除因子。/ M6 n S: b5 f2 m( T) P( F" Q$ E' ?
2、素数是否永远存在
! a& j8 m5 F0 ?* v5 Z 对于这个问题,虽然人们早就证实了。但是,对于同一个问题来说,不同的探索者各有各的解题思路,我们再度涉及这个问题,有利益我们更好地了解素数是否永远存在,有利益从中得到破解哥德巴赫猜想的方法。
; p6 F; H9 x; ]6 m; [( K0 Z 我们首先做一个试验,寻找120之内的素数。因为,√120≈10.95,即素数删除因子为:2,3,5,7。
- ~" L! j0 F: `1 v 首先申明:在探索中,为了把问题说清楚,我们不可能走捷径,请在这里不要认为烦琐,后面我们会告诉大家简便方法的。
- `" k; i) h) V (1)、我们先把120之内的数用草稿纸全部写出来,对于素数删除因子来说,我们由小到大,把能够被它们整除的数进行删除,能够被素数2整除的数为60个,占总数的1/2,我们把它们删除,删除后剩余60个数;素数3在剩余的60个数中,删除能够被3整除的数为30个,即60的1/3,剩余60的2/3为40个;素数5在素数2、3删除后的剩余数40个数中,删除能够被素数5整除的数8个数,即40的1/5,剩余40的4/5为32个数;素数7在素数2、3、5删除后的剩余数32个数中,删除能够被素数7整除的数5个,即32的1/7应为4.57个,剩余32的6/7应该27.42,实际剩余27个。我们将这一删除后的剩余过程用一个算式表达为:120*(1/2)*(2/3)*(4/5)*(6/7)=27.42。# Z, i: B \- v$ e+ w
(2)、我们按素数删除因子由大到小的顺序,对这120个自然数,将能够被它们整除的数删除:素数7删除120的1/7应为17.14,实际删除17个,应该剩余120的6/7为102.85个,实际剩余103个;素数5应该删除103的1/5为20.6个,实际删除21个,应该剩余103的4/5为82.4个,实际剩余82个;素数3应该删除82的1/3为27.33,实际删除28个,应该剩余82的2/3为54.66,实际剩余54个;素数2应该删除54的1/2为27个,实际删除27个,剩余54的1/2为27个,实际剩余27个。我们将这一删除后的剩余过程也用一个算式表达为:120*(6/7)*(4/5)*(2/3)*(1/2)=27.42。
8 R) O; ]" t; G4 r( Y; p 说明:: {2 ~( O2 \. D+ o
①、上面的这种删除方法,是把素数删除因子自身给删除了的,也就是说在120之内,不能够被素数删除因子整除的数为27个,这27个中包括自然数1,即在120之内不包括素数删除因子2,3,5,7有26个素数,包括素数删除因子为30个素数。
' D1 y- v& U3 K! {, |0 w ②、因为,自然数是公差为1的等差数列,该公差不能被大于2的整数整除,设N为大于2的任意整数,那么,自然数的N个连续项,分别除以N其余数必然为:0,1,2,3,4,……,N-1。如果N为素数,我们在寻找新的素数时,要删除的是除以N余0的这一项,余下其它项作为寻找新素数的选项。从上面我们还可以看出:哪个素数删除因子在先,哪个素数删除因子在后,其实删除后的最终效果是一样的。
/ p9 {5 e: o. x; k, p ③、请不要认为我只是凭这样一个简单的例子,就盲目地下这样的结论。请搜索《公理与素数计算》。小素数删除后的剩余数,都可以组成等差数列。再根据《素数与等差数列的关系》,等差数列的公差不能够被素数删除因子N整除时,那么,该等差数列的N个连续项必然有一个项,被素数删除因子N整除(删除)。! l- y2 z, A) q L, M, j8 s
这就说明,在自然数中,删除能够被素数删除因子A、B、C、D整除的数后,剩余的数除以另外的素数删除因子F,分别余0,1,2,3,4,……,F-1的概率仍然是一样的。合数不删除,是因为除以合数为0的数,被组成该合数的素数,所代替删除了的。如果,在我们在组成合数的素数没有删除之前,用这些数除以合数E,分别余0,1,2,3,4,……,E-1的概率是一样的;如果说,我们先用组成合数E的任何一个素数,将除以这个素数余0的数删除后,再用剩余数除以合数E,必然只有分别余1,2,3,4,……,E-1的数,没有余0的数,我们可以认为合数不参与删除。7 W- l2 j2 E/ ]1 n
③、我们再看一个分数题,[(N-1)/N]*……*(8/9)*(7/8)*(6/7)*(5/6)*(4/5)*(3/4)*(2/3)*(1/2)=1/N。! U* {' f" \: L; w
我们设所取的自然数范围为M,且√M≈N,即最大的素数删除因子为N时,自然数范围M≥N*N,自然数M范围内,不包括素数删除因子的素数近似计算式为:( ~7 V' k$ {3 S1 A' y, c) y
M*[(N-1)/N]*……*(16/17)*(12/13)*(10/11)*(6/7)*(4/5)*(2/3)*(1/2)为(1)式;
# R2 e# {3 e. A! l8 Y f1 x! K3 ]. I 合数是不参与删除的,如果我们把合数也视为删除因子,代入上式,上式变为:
( G l' ?# h0 E7 }4 F9 FM*[(N-1)/N]*……*(16/17)*(15/16)*(14/15)*(13/14)*(12/13)*(11/12)*(10/11)*(9/10)*(8/9)*(7/8)*(6/7)*(5/6)*(4/5)*(3/4)*(2/3)*(1/2)=M*1/N 为(2)式;/ D% t$ q, _9 t6 f
我们把M≥N*N,代入(2)式为:N*N*(1/N)≥N。为(3)式;
/ \1 Z' c: h0 q( r: v6 V9 ?' [- a6 ` 从(3)式说明了:当我们所取自然数范围增大时,√M≈N也随之增大,素数也随之增加的道理,即素数永远存在。- k' @( a4 [, m2 G8 h. h7 }) z' K) Z
我们知道,合数是不进行删除的,增加合数删除的(2)式,(3)式的值,必然小于(1)式。因为(1)式接近实际素数个数。那么,在什么情况下,实际素数个数为(3)式的2倍,什么情况下,实际素数个数为(3)式的3倍,4倍,5倍,…………。也就是说自然数M范围内,不包括素数删除因子的素数个数是最大素数删除因子的2倍,3倍,4倍,5倍,……呢?
5 \$ I0 I3 Y8 s2 x; X, w (2)式在(1)式的基础上,增加了不该增加的合数删除,乘以了这些数的积,得到(3)式。那么,我们要恢复(1)式,也就是恢复素数的近似公式。必须除以这些不该增加的数的乘积的倒数。当乘以合数删除剩余积小于2的倒数时,我们除去这个乘数积相乘,它的积即为未除去的2倍;当其乘以合数删除剩余积小于3的倒数时,我们除去这个乘数积相乘,它的积即为未除去的3倍,以此类推。* b. L; J* U; H* Y# Q/ ] O- Q
对于合数剩余积,我们有:(3/4)*(5/6)*(7/8)*(8/9)≈0.48<1/2=0.5,即所取自然数范围大于9*9=81时,不包括素数删除因子的素数,大于最大的合数分母9的2倍。+ Y. T4 a+ Q+ H( k& ^0 w- l
我们有:(3/4)*(5/6)*(7/8)*(8/9)*(9/10)*(11/12)*(13/14)*(14/15)*(15/16)≈0.32<1/3,即所取自然数范围大于16*16=256时,不包括素数删除因子的素数,大于最大的合数分母16的3倍。/ x8 |" K& B9 q& s) H
我们有:(3/4)*(5/6)*(7/8)*(8/9)*(9/10)*(11/12)*(13/14)*(14/15)*(15/16)*(17/18)*(19/20)*(20/21)*(21/22)*(23/24)*(24/25)≈0.24<1/4,即所取自然数范围大于25*25=625时,不包括素数删除因子的素数,大于最大的合数分母25的4倍。
* n2 H) N' N9 ?, p$ B 我们有:(3/4)*(5/6)*(7/8)*(8/9)*(9/10)*(11/12)*(13/14)*(14/15)*(15/16)*(17/18)*(19/20)*(20/21)*(21/22)*(23/24)*(24/25)*(25/26)*(26/27)*(27/28)*(29/30)*(31/32)*(32/33)≈0.19<1/5,即所取自然数范围大于33*33=1089时,不包括素数删除因子的素数,大于最大的合数分母33的5倍。
/ R9 i/ m+ f8 n0 H' ]5 l- o: t+ F …………。
L. |2 h7 k; h+ [/ u 也就是说:随着我们取自然数M的范围进行增大时,√M的值也随之增大,√M内的合数也随着增多,(合数-1)/合数与(合数-1)/合数的乘积随之减小,它的倒数随之增大。该范围的素数(不包括素数删除因子)的个数≥它的倒数*√M。这就更加有力地说明素数永远存在的道理。0 g8 j8 k- _. L A7 X4 q0 {
3、素数是完美无缺的,从素数生成线路图看:素数总线路除以2余1;在总线路的基础上产生第一分支,第一分支分为除以3余1,除以3余2;在第一分支的基础上产生第二分支,在前面两个分支的基础上,又分为除以5余1,除以5余2,除以5余3,除以5余4;在第二分支的基础上产生第三分支,在前面的8个分支的基础上,每个分支又分为除以7余1,除以7余2,除以7余3,除以7余4,除以7余5,除以7余6;……。就这样永远地分下去,没有一种分支上不产生素数。按本人的这种说法,如除以2余1,除以3余2,除以5余2,除以7余3,除以11余6,除以13余4的代表数为17,而这几个素数的乘积:2*3*5*7*11*13=30030,那么,17+30030N等差数列所产生的素数都满足这些条件,也只有该等差数列所产生的素数才能够完全满足这些条件。你可以无休止地对不同余数分支进行检验。只能够说在某一个范围之内,对于某一个分支可能暂无素数,不可能在扩大范围之后,这个分支仍然无素数。素数的完美无缺性也说明素数是永远存在的。
9 [2 C8 G( t4 P9 `6 e& \: b' ^ 4、本段暂不证明哥德巴赫猜想,我只在此做个小实验供大家参考。
9 L# k) V/ Q `9 j (1)、大于2的素数为奇素数,我们用两根皮尺,上面只标奇数,把皮尺上面的素数做上标记,一根皮尺正面放,一根皮尺反向放,使其两根皮尺的数字相对应。那么,皮尺上的所有对应数之和都等于同一个偶数。2 e! Q6 P8 ]; A0 |( }9 n
(2)、两根皮尺的对应数之和,除以6(因素数2*3=6)余数只能是0,2,4三种结果中的一种,假设余数为2。因为,大于3的素数除以6只有两种结果,余1或5。因为,对应数之和的偶数除以6余2,所以,只有余1的素数所对应的才有可能是素数,除以6余5的素数所对应的数必然是合数。除以6余1的素数,如果说,该偶数只有素数删除因子2和3,那么,除以6余1的素数所对应的数必然是素数;如果说该偶数的素数删除因子还有5和7,那么,除以6余1的素数必然有(3/4)*(5/6)所对应的是素数。
( r; o. ~ l3 ` (3)、两根皮尺的对应数之和的偶数,除以30(因素数2*3*5=30)余数只能是0,2,4,6,8……28,这15种结果中的一种,我们也假设余数为02。因为,大于5的素数除以30只有8种结果,余1,7,11,13,17,19,23,29。那么,余数只有1+1=02,13+19=32,且32-30=02,从素数来说,只有余数为1,13,19的素数,所对应的才有可能是素数。除以30余7,11,17,23,29的素数,所对应的数必然是合数。除以30余1,13,19的素数,如果说,该偶数只有素数删除因子2,3,5,那么,除以30余1,13,19的素数所对应的数必然是素数;如果说该偶数的素数删除因子还有7和11,那么,除以30余1,13,19的素数必然有(5/6)*(9/10)所对应的是素数。
% s# r. q! n" F+ x% a ………………
4 _8 I& p. U* G3 S- u( B; H( | 小结:任何一个数,只要不能够被小于或等于该数根号下的素数整除,那么,它就是素数。不论是从素数删除因子删除后的剩余数看,还是从素数的完美无缺性看,素数都永远存在。
: T9 g/ \; k0 v# F 5、下面谈一下素数的具体寻找方法,请各位老师将该方法与现有教科书的方法相对照,看是否具有先进性和可取性。
. B X& T; M5 U$ w# L 寻找300之内的素数,√300≈17,即素数删除因子为:2,3,5,7,11,13,17。3 B+ B5 s1 H1 Z' { l# P% e. n
1、素数删除因子2的删除,在2之内删除能够被2整除的2后,剩余1,即每2个自然数中必然剩余1个数,不能够被素数2整除;
6 c7 D( y$ c+ S5 E9 f$ A 2、素数删除因子3的删除,按上面的剩余数数列1+2N,在2*3=6之内有1,3,5,删除能够被3整除的3(也就是素数删除因子3乘以上面的剩余数1)后,剩余1和5,即每6个自然数中必然剩余2个数,不能够被素数2、3分别整除;* p$ U, a9 N* L e0 T% A4 B
3、素数删除因子5的删除,因2*3*5=30,按上面的剩余数数列,1+6N在30之内有:1,7,13,19,25;5+6N在30之内有:5,11,17,23,29。删除能够被5整除的5和25(也就是素数删除因子5乘以上面的剩余数1和5)后,剩余:1,7,11,13,17,19,23,29。即每30个自然数中必然剩余8个数,不能够被素数2、3、5分别整除% U, Y, D8 r( R/ }" Z/ L
4、素数删除因子7的删除,因2*3*5*7=210,上面的剩余数分别加上30N在210之内的有:
5 E' B9 C5 P& S+ m$ Y( J! p3 S 1+30N有:1,31,61,91,121,151,181,
: O- q4 v& G. R! u4 I 7+30N有:7,37,67,97,127,157,187,
6 s+ v' @6 B/ A0 c% y' B7 r 11+30N有:11,41,71,101,131,161,191,
) r- L& d1 X2 f1 z% [/ H/ z2 T 13+30N有:13,43,73,103,133,163,193,
0 ^8 q9 ^2 y4 t+ a7 }" O0 i3 ~ 17+30N有:17,47,77,107,137,167,197,
D# Y6 ?1 Q- @) \ 19+30N有:19,49,79,109,139,169,199,8 q( Z* ^0 j7 z3 w; H
23+30N有:23,53,83,113,143,173,203,: `; m! c/ o$ j
29+30N有:29,59,89,119,149,179,209。- J O0 q: ^4 C
删除能够被7整除的:也就是素数删除因子7乘以上面的剩余数1,7,11,13,17,19,23,29,得删除数为:7,49,77,91,119,133,161,203的数后,剩余48个数。因300-210=90,这里素数7删除后的剩余数中,小于90的数有:1, 11,13,17,19,23,29,31, 37,41, 43,47,53,59,61,67,71,73,79,83,89,分别加上210为:211,221,223,227,229,233,239,241,247,251,253,257,263,269,271,277,281,283,289,293,299,为21个数,合计在300之内有69个数不能够被素数2,3,5,7整除,( E' S$ A. N2 z: l: E
5、素数删除因子11的删除,因300/11≈27,用素数11乘以上面4中在27之内的剩余数1,11,13,17,19,23得11,121,143,187,209,253,为素数删除因子11的删除数;0 f. Z# C1 T; K) e
6、素数删除因子13的删除,因300/13≈23,用素数13乘以上面5中在23之内的剩余数1,13,17,19,23得13,169,221,247,299;4 d: I- A2 A! v( P( v' z* O5 O
7、素数删除因子17的删除,因300/17≈17,用素数17乘以上面6中在17之内的剩余数1,17,得17,289。
) j- V+ B. q O; l( g 在4中剩余的69个数中,素数11,13,17共删除13个数,减去删除数,再减去自然数1,剩余55个数,加上素数删除因子7个数,在300之内共计有62个素数。如果要知道删除数的计算和删除数寻找方面的更多知识,请搜索《公理与素数计算》。' S9 n8 z- t3 y+ @5 O8 J" w# f$ e
三、哥德巴赫猜想的证明
6 U) f! s+ \2 \2 k& V 1、哥德巴赫猜想命题1成立的条件:
; z' s' D, A. W3 y3 n6 e1 i (1)、条件一、偶数内必须有足够的素数。偶数内不能够被素数删除因子(指小于或等于偶数平方根的素数)删除的数为素数。即偶数内不能够被所有素数删除因子整除的数为素数,前面我们已经说过,随着偶数的增大,最大的素数删除因子也随着增大,随着素数删除因子的增大,素数也相应增加。偶数内具有足够素数的条件成立。" P4 h* i! h' e7 w) T) E- ^, B" D) q
(2)、条件二、偶数内哪些素数的对称数是素数?8 J" n3 D1 b6 d i; S
这里使用的方面,以我们寻找素数的方法一样,仍然只有采取排除法,即排除对称数不是素数的素数后,剩余的素数的对称数必然是素数。当素数除以素数删除因子的余数与偶数除以素数删除因子的余数相同时,该素数的对称数(偶数减去素数的差,称为素数的对称数)必然被素数删除因子整除,为合数。反过来,素数除以素数删除因子的余数与偶数除以素数删除因子的余数不同时,该素数的对称数必然不能够被素数删除因子整除,对称数不能够被所有素数删除因子整除的,必然是素数。即,不能与偶数同余的素数,必然组成偶数的素数对。我们按排除法,排除对称数不是素数的数后,剩余的素数的对称数必然是素数,素数加上对称素数组成偶数的素数对,哥德巴赫猜想1成立。那么,排除后,是否能够保证所有偶数都有素数与对称数也是素数的存在呢?7 _ T7 o4 R9 U% N0 C0 b
设偶数为M,素数删除因子为2,3,5,7,11,……,N。N≤√M的最大素数。
# @1 a0 R" D6 W ①、素数删除因子2,因为,偶数除以2余数都为0,而大于2的素数都是奇素数,奇素数除以2都余1,故偶数除以2的余数不与大于2的素数除以2的余数相同,所以,大于2的素数的对称数不能够被素数2整除(删除),素数删除因子2不影响大于2的素数组成偶数的素数对;5 e, O9 I% s& b6 ?8 Z/ O2 Z8 S
②、素数删除因子3,偶数除以3余数有三种情况:余0,余1和2。当偶数除以3余0时,与上面①相同,素数删除因子3不影响大于3的素数组成偶数的素数对;
. e1 @; s* e3 I 当偶数除以3余1时,我们知道:大于3的素数除以3只有两种结果,余1,余2,各种余数的概率基本上是一样的。大于3除以3余1的素数的对称数,必然被素数3整除(删除),即素数删除因子3影响大于3的1/2(除以3余1)的素数组成偶数的素数对,必然剩余大于3的1/2(除以3余2)的素数作为组成偶数素数对的基础;同理,当偶数除以3余2时,素数删除因子3影响大于3的1/2(除以3余2)的素数组成偶数的素数对,必然剩余大于3的1/2(除以3余1)的素数作为组成偶数素数对的基础。从这里开始,就给偶数的素数对的存在留下了余地。- X9 @# p, p# K$ z
③、素数删除因子5,偶数除以5余数有5种情况:余0,余1,余2,余3,余4。当偶数除以5余0时,与上面①相同,素数删除因子5不影响大于5的素数组成偶数的素数对;. w+ A+ _; b4 }/ l8 e7 ~
当偶数除以5余1时,我们知道:大于5的素数除以5只有4种结果,余1,余2,余3,余4,各种余数的概率基本上是一样的。大于5除以5余1的素数的对称数,必然被素数5整除(删除),即素数删除因子5影响大于5的1/4(除以5余1)的素数组成偶数的素数对;当偶数除以5余2时,大于5有1/4的素数除以5余2,即这些素数的对称数必然被素数5整除,当偶数除以5余3,4时,同理,素数删除因子5影响大于5的1/4的素数组成偶数的素数对。必然剩余大于5的前面②剩余素数的3/4的素数作为组成偶数素数对的基础。. ?* N% o& f B' p1 F3 e$ \
④、素数删除因子7,偶数除以7余数有7种情况:余0,余1,余2,余3,余4,余5,余6。当偶数除以7余0时,与上面①相同,素数删除因子7不影响大于7的素数组成偶数的素数对;
3 C% _0 F( J0 @# R+ q 当偶数除以7余1时,我们知道:大于7的素数除以7只有6种结果,余1,余2,余3,余4,余5,余6,各种余数的概率基本上是一样的。大于7除以7余1的素数的对称数,必然被素数7整除(删除),即素数删除因子7影响大于7的1/6的素数组成偶数的素数对;当偶数除以7分别余2,余3,余4,余5,余6时,同理,素数删除因子7影响大于7的1/6的素数组成偶数的素数对。必然剩余大于7的前面③剩余素数的5/6的素数作为组成偶数素数对的基础。
, w- d, c7 g) v2 y, u {7 d$ i …………
2 ? S: ]! A$ v; S" I ⑤、素数删除因子N,偶数除以N余数有N种情况:余0,余1,余2,余3,余4,余5,余6,……,余N-1。当偶数除以N余0时,与上面①相同,素数删除因子N不影响大于N的素数组成偶数的素数对;
/ a1 ]1 P! V9 @' Z. B 当偶数除以N余5时,我们知道:大于N的素数除以N只有N-1种结果,余1,余2,余3,余4,余5,余6,……,余N-1。各种余数的概率基本上是一样的,大于N除以N余5的素数的对称数,必然被素数N整除(删除),即素数删除因子N影响大于N的1/(N-1)的素数组成偶数的素数对;当偶数除以N余1,余2,余3,余4,余6,……,余N-1时,同理,素数删除因子N影响大于N的1/(N-1)的素数组成偶数的素数对。必然剩余大于N的前面剩余素数的(N-2)/(N-1)的素数作为组成偶数素数对的基础。: J9 J8 G* V% J
结论:偶数与素数同时除以所有素数删除因子,不与偶数同余的素数,必然组成偶数的素数对。反过来,除由素数删除因子组成的素数对外,其它能够组成偶数素数对的素数,除以素数删除因子的余数,必然不与偶数除以素数删除因子的余数相同。. S! D8 ?) |- Y
3、偶数内存在素数的对称数是素数吗?
, S7 I! s u _2 j- ~" B" P 不论我们是在对素数的探索中,还是在“偶数内哪些素数的对称数是素数”的探索中,都是把素数删除因子给删除了的,所以,我们在对“偶数内是否有素数的对称数是素数”的探索中,仍然不包含由素数删除因子所组成的素数对。这就相应地给哥德巴赫猜想增加了难度,但这也是没有办法的事。
6 Q4 A7 `. R* X9 b& b 设偶数为M,素数删除因子为2,3,5,7,11,……,N。N≤√M的最大素数。" F7 S" K" d- I- V. r
前面说过,偶数内不包括素数删除因子的素数为:M*[(N-1)/N]*……(12/13)*(10/11)*(6/7)*(4/5)*(2/3)*(1/2)-1,这里的减去1为自然数1。当然,随着偶数的增大,减1可以忽略不计。. V+ [" [* m) j+ e, r" v: j% v
上面,我们在“偶数内哪些素数的对称数是素数”的探索中,得知:偶数如果能够被某一个素数删除因子整除,该素数删除因子不影响素数组成偶数的素数对;偶数如果不能够被素数删除因子N整除,那么,素数删除因子N必然阻止1/(N-1)的素数组成偶数素数对,剩余(N-2)/(N-1)的素数作为组成偶数素数对的基础。由此可见,不能够被所有奇素数删除因子整除的偶数的素数对,必然少于能够被部份素数删除因子整除的偶数的素数对。也就是说,我们在此选择不能够被所有奇素数删除因子整除的偶数进行探讨,如果说,它们都有素数对的存在,那么,其它偶数更应该有素数对的存在。
' u6 S0 M k2 ?( d 不能够被所有奇素数删除因子整除的偶数,偶数内不包含素数删除因子,即大于素数删除因子的素数的对称数也是素数的计算为:(N-2)/(N-1)*……(11/12)*(9/10)*(5/6)*(3/4)*(1/2)
: m7 a5 X- l# L: y& ^8 t 我们将偶数内不包括素数删除因子的素数与素数的对称数也是素数的计算相乘为:M*[(N-1)/N]*……(12/13)*(10/11)*(6/7)*(4/5)*(2/3)*(1/2)*[(N-2)/(N-1)]*……(11/12)*(9/10)*(5/6)*(3/4)*(1/2)
8 | V( i% C) M: m3 G: h/ F =M*[(N-1)/N]*[(N-2)/(N-1)]*……*(12/13)*(11/12)*(10/11)*(9/10)*(6/7)*(5/6)*(4/5)*(3/4)*(2/3)*(1/2)*(1/2)
* o& M+ y( Q6 [/ w# ^7 N& i 这里只能说明偶数内有多少素数可以组成偶数的素数对,我们知道,一个素数对为两个素数,我们把上式再除以2,即乘以1/2为偶数内不包括素数删除因子所组成的素数对为:
, I/ B Y; Z2 S) A- S; X7 R7 V0 { M*[(N-1)/N]*[(N-2)/(N-1)]*……*(12/13)*(11/12)*(10/11)*(9/10)*(6/7)*(5/6)*(4/5)*(3/4)*(2/3)*(1/2)*(1/4)为(1)式,
! B1 B7 |$ v! _( [ 因为,M≥N*N,我们把它代入有:N*N*[(N-1)/N]*[(N-2)/(N-1)]*……*(12/13)*(11/12)*(10/11)*(9/10)*(6/7)*(5/6)*(4/5)*(3/4)*(2/3)*(1/2)*(1/4)
' C) c1 _, i& r+ q0 r 我们知道,从素数3到最大的素数删除因子N之间的奇数中存在奇合数,奇合数是不参与对合数的删除,也不参与对素数对称数是合数的删除,故在上式中缺少合数的删除。所以,[(N-1)/N]*[(N-2)/(N-1)]*……*(12/13)*(11/12)*(10/11)*(9/10)*(6/7)*(5/6)*(4/5)*(3/4)*(2/3)*(1/2)≥1/N,这里的大于,是在3到N之间没有奇合数参与删除的前题下。那么,我们增加不该增加的奇合数的删除,上式变为N*N*[(N-1)/N]*[(N-2)/(N-1)]*……*(12/13)*(11/12)*(10/11)*(9/10)*(8/9)*(7/8)*(6/7)*(5/6)*(4/5)*(3/4)*(2/3)*(1/2)*(1/4)=N*N*[(N-2)/N]……(11/13)*(9/11)*(7/9)*(5/7)*(3/5)*(1/3)*(1/4)=N/4。为(2)式,( U+ d' ^. D, O5 p2 M
(1)式为偶数(不包括素数删除因子组成的素数对)素数对的近似计算公式,(2)式因为增加了奇合数的删除,所以,(2)式的值明显低于(1)式。
% P1 Y* B4 z3 S 从(2)式的N/4可以看出:最大的素数删除因子N≥4,即,偶数≥16时,偶数不包含由素数删除因子组成的素数对≥1对,哥德巴赫猜想命题1成立。 f, a* G0 J% c% _) C* f
实际上,当偶数≥6时,哥德巴赫猜想命题1,就有不包括由素数删除因子组成的素数对存在。所以,哥德巴赫猜想命题1是成立的。 . q4 @: y& T1 W9 W
4、实践,有些方面必须从具体实践中,才能够得出结论。/ N" K( q# @" C. ^2 N
(1)、偶数6,√6≈2.44,即只有素数删除因子2,6/2=3,不考虑素数删除因子,删除2之内的数,只剩余一个数3,3既不能够被2整除,也不能够与偶数6除以2的余数相同,所以,3能够组成偶数6的素数对。即6=3+3;$ s1 y1 o- c9 r/ W
(2)、通过人们对上面结论:当偶数≥16时,偶数的素数对≥N/4的充分检验,只有一位老师提出了一个异议,偶数68,我们知道,偶数68有两个素数对:7+61和31+37。但这里说的是不包括由素数删除因子组成的素数对,(√68)/4≈2.06,即,不包括由素数删除因子所组成的素数对应该大于2对,而实际上只有31+37这一个素数对,其实不然,这里存在1+67不能是加数,还是被加数,都不够被所有素数删除因子整除,而素数删除因子3到7中间没有奇合数,大于是不能成立,只能够说等于。而素数对不可能涉及小数,只能够取整数,如果是取小数,把素数与合数相加看为半个素数对,那就太没有意思了。所以说,该结论仍然应该算是正确的。
. V% i5 R+ B: _. t3 W( ?7 U" }. \ 偶数68属于M/3余2的偶数,对于M/3余2的偶数和M/3余0的偶数来说,自然数1的对称数都有可能是素数。那么,在什么情况下,M/3余2的偶数,在偶数不能够被素数删除因子整除的情况下,不包括素数删除因子组成的素数对,不包括自然数1的对称数是素数,它的素数对才能大于(√M)/4呢?我们设这类偶数为M,根据计算得出(说明:170虽然不是不能够被素数删除因子整除的偶数,这里提出来主要是以它为分界线):√170≈13,素数删除因子为:2,3,5,7,11,13,按素数对的近似公式计算有:
4 d4 ~9 ^: y% {2 @9 k5 k 170*(11/13)*(9/11)*(5/7)*(3/5)*(1/3)*(1/4)≈4.2,
- @" e. @' q( S9 f" y8 [ 而按素数对的粗糙计算为:(√170)/4≈3.25。
8 L0 e, H% S4 p1 D6 ~$ w" i 即不能够被素数删除因子整除的偶数,当它们大于170时,我们把自然数1与对称数是素数这种情况,在近似公式与(√M)/4相比较中,进行了抵消,所以,当偶数大于170后,使用偶数的素数对>(√M)/4是成立的。敬请各位老师继续进行检验,继续提出异议!以便我们共同探讨。- Z( ?, q7 [$ g6 w) X4 |- [) R
下面我们继续进行讨论:' R5 y" i& o7 d! S
(3)、寻找偶数512的素数对。√512≈22.62,素数删除因子为:2,3,5,7,11,13,17,19。512/2=256,我们看在256内有哪些素数,可以组成除素数删除因子以外的素数对。
' r1 P/ T7 R1 A" w8 F3 j+ C- w6 p" u0 V* d 素数2,3的删除,因2*3=6,在6之内不能够分别被素数2和3整除的数有1,5。因512/2余0,这两个数除以2都不余0,故这两个数的对称数不能够被素数2整除,素数2不再删除这两个数;又因512/3余2,5/3余2与偶数同余,我们把它删除后,剩余1; H: F7 A5 I" ^0 a$ m
素数5的删除,因2*3*5=30,1+6N(这里的6为上面2*3=6,下同)在30之内有:1,7,13,19,25。删除能够被5整除的25,偶数512/5余2,因7/5余2与偶数同余删除,剩余1,13,19。
/ X8 O0 q& j3 g8 c# Q7 Y 素数7的删除,因2*3*5*7=210,1+30N在210之内有:1,31,61,91,121,151,181;13+30N在210之内有:13,43,73,103,133,163,193;19+30N在210之内有:19,49,79,109,139,169,199。删除能够被7整除的91,133,49。偶数512/7余1,除以7余1的有:1,43,169,它们与偶数同余删除,剩余31,61,121,151,181;13,73,103,163,193;19,79,109,139,199。
* e7 D7 S- V, ]4 ]. ?2 w/ m 因256-210=46,上面删除后小于46的数有:13,19,31。我们增加这三个数加上210,为:223,229,241,共18个数。即在偶数的1/2内,不能够分别被素数删除因子2,3,5,7整除的数只有这18个数,且这18个数的对称数也不能够被素数删除因子2,3,5,7分别整除。还剩余素数删除因子11到19的删除。/ f, o2 P% Y0 e9 _5 X5 ~4 ?
素数删除因子11的删除,因512/11小数为0.54,除以11小数为0.54的有:61,193;能被11整除的有121。我们把它们删除。3 S' M; K) z$ n: ]" J* T
素数删除因子13的删除,因512/13小数为0.38,除以13小数为0.38的有:31,109;能被13整除的有素数13。我们把它们删除。
' L8 ^4 {" c/ }0 g4 u! G+ Y 素数删除因子17的删除,因512/17小数为0.11,除以17小数为0.11的有:19,223;我们把它们删除。无能被17整除的。5 X7 U1 [+ |9 f/ d+ z5 F; t
素数删除因子19的删除,因512/19小数为0.94,除以19小数为0.94的有:151;我们把它们删除。无能被19整除的数。3 g$ V7 @( s: O/ N" n7 t2 W
剩余9个数:181,73,103,163,79,139,199,229,241,必然组成偶数512的9个素数对(不包括素数删除因子所组成的素数对)。
7 P- S' ?! P$ r4 H2 B1 v8 X7 [ 如果按粗糙计算:(√512)/4≈5.65,即5个素数对,实际素数对大于计算数。0 ]- p7 Z% P" p6 ]0 F2 S
如果按素数对近似公式:512*(17/19)*(15/17)*(11/13)*(9/11)*(5/7)*(3/5)*(1/3)*(1/4)≈9.99,这里不包括素数删除因子组成的实际素数对略小于计算数的。这也说明偶数的近似计算公式还是比较准确的哈。2 y: N( l7 w& k# {1 K
说明:设素数删除因子为N,素数删除因子N正面,寻求素数的删除为1/N,剩余(N-1)/N,对称面的删除在N-1的基础上删除1/N,合计剩余N-2。它们的乘积为[(N-1)/N]*[(N-2)/(N-1)]=(N-2)/N,这里直接采用的(N-2)/N进行计算。当然,还有一些问题,由于偶数较小看不出来,我们继续探讨。& J' P( v/ S- r k# T
(4)、寻找偶数1024的素数对。√1024=32,素数删除因子为:2,3,5,7,11,13,17,19,23,29,31。1024/2=512,我们看在512内,有哪些数可以组成除素数删除因子以外的素数对。
. O$ f# g* A7 k" H 素数2,3的删除,因2*3=6,在6之内不能够分别被素数2和3整除的数有1,5。因1024/2余0,这两个数除以2都不余0,故这两个数的对称数不能够被素数2整除,素数2不再删除这两个数;又因1024/3余1,1/3余1与偶数同余,我们把它删除后,剩余5;
4 x, I( A1 O8 b6 T& @0 \9 r& E 素数5的删除,因2*3*5=30,5+6N在30之内有:5,11,17,23,29。删除能够被5整除的5,偶数1024/5余4,因29/5余4与偶数同余删除,剩余11,17,23。
5 d; }. `7 o3 u2 x0 k9 x' o2 h 素数7的删除,因2*3*5*7=210,11+30N在210之内有:11,41,71,101,131,161,191;17+30N在210之内有:17,47,77,107,137,167,197;23+30N在210之内有:23,53,83,113,143,173,203。删除能够被7整除的161,77,203。偶数1024/7小数为0.28,除以7小数为0.28的有:107,191,23,它们与偶数同余删除,剩余11,41,71,101,131,17,47,137,167,197;53,83,113,143,173,1 b( u* a! S7 [/ N
上面的剩余数分别加上210N,在512之内的有:11,221,431,41,251,461,71,281,491,101,311,131,341,17,227,437,47,257,467,137,347,167,377,197,407,53,263,473,83,293,503,113,323,143,353,173,383。为512之内不能够分别被素数删除因子2,3,5,7整除,这些数分别除以素数删除因子2,3,5,7,与偶数除以这些素数删除因子的余数不同。
2 K5 K. O5 S1 T R! t# U 素数11的删除,因偶数1024/11的小数为0.09,有221,353除以11的小数为0.09;能被11整除的有11,341,407,473,143,从上面剩余数中将它们删除。
2 }; p! t2 L9 |. X; d6 H$ ?& s 素数13的删除,因偶数1024/13的小数为0.76,有491,101,257除以13的小数为0.76;能被13整除的有377,从上面剩余数中将它们删除。, f9 I) l+ N- K! o6 ?1 W/ k
素数17的删除,因偶数1024/17的小数为0.23,有293除以17的小数为0.23;能被17整除的有17,323,从上面剩余数中将它们删除。6 h$ U/ B: b* J n
素数19的删除,因偶数1024/19的小数为0.89,有131除以19的小数为0.89;能被19整除的有437,从上面剩余数中将它们删除。8 i; [! P2 P4 A
素数23的删除,因偶数1024/23的小数为0.52,有311,173除以23的小数为0.52,从上面剩余数中将它们删除;因23*23=529,大于512,没有能够被23整除的数(下同)。
/ ?) z+ k4 k5 X; o& z; g4 K7 q 素数29的删除,因偶数1024/29的小数为0.31,没有除以29的小数为0.31的数。
2 t# H( a. M; b% o/ e 素数31的删除,因偶数1024/31的小数为0.03,没有除以31的小数为0.03的数。; V3 L; U! b0 s9 Q/ g5 z ]% B/ m
删除后剩余19个数,它们与对称数,可以组成偶数1024(不包括由素数删除因子组成的素数对)的19个素数对。
, M4 e, S% z) l1 T' j% x4 b 如果按粗糙计算:(√1024)/4≈5.75对,实际素数对大于这种计算方法。4 F y( X- u9 G5 N# ~
如果按素数对近似公式:1024*(29/31)*(27/29)*(21/23)*(17/19)*(15/17)*(11/13)*(9/11)*(5/7)*(3/5)*(1/3)*(1/4)≈15.89对。也小于实际素数对。这是为什么呢?/ m/ Q+ a6 `" H. H# l3 f# C5 A
说明:& r9 @' ]6 O' [/ }
①、我们可以看到,如果说,按素数删除因子的删除乘积计算,上面小素数删除因子的删除数,应该严格地大于大素数删除因子的删除数。而某些素数删除因子的删除数,却并非如此,这是为什么呢?因为,这里的删除不同于寻找素数的删除,寻找素数的删除是所有前面的剩余数列全部参战,而这里只是部份剩余数列参加删除。这是一个数列与数列之间的乘除问题,如我们对A数列上的合数的删除:A数列的合数除如果能够被B数列的数整除,必然得C数列的数;A数列的合数如果能够被D数列的数整除,必然为E数列的数;……。如果B、C数列的数都属于素数删除因子,那么,两个数列上的素数删除因子的删除必然一个在前,一个在后,它们的共同删除数,必然被这两个数列上的素数删除因子分割。如果,只存在D数列上的素数删除因子,又没有涉及E数列上的素数删除因子,那么,D、E数列的共同删除,必然由D数列的素数删除因子单独承担。我们只须综合地看总删除数,不会大于近似计算公式的计算数就行了。详情请搜索《解除三大误区建立三个参数》中的三个参数。
% C, V( e+ h, h3 _. L ②、从上面的偶数1024看,素数删除因子应该是31以内的素数,我们在近似计算公式中,是针对这以内的数按删除比例进行通盘地计算的,而实际上,当中间的素数删除因子23的平方大于1024/2时,正面就不删除了,当删除因子为29和31时,对称面也无删除数。对于大偶数来说,这是经常出现的正常现象,所以说,大偶数的实际素数对大于近似计算公式的计算数。
5 ^( R$ B$ G0 Y ③、我们不能够单独地看M/2以前的剩余数,按M/2看前面的素数删除因子应该是多少?把M/2之前的剩余数与M/2之后的对称数分割开来看。因为,不论是M/2前的剩余数,还是M/2后的对称数,它们都是前面素数删除因子删除后的剩余数。用M的素数删除因子进行通盘看,乘以删除剩余比例是不精确,但是影响并不太大,实际素数对与近似计算公式的计算数相比,当偶数大于256时,误差不会超过30%,这里只是说的近似计算公式,并不是说粗糙计算公式哈,这里也没有涉及到能够被素数删除因子整除的偶数哈。0 J* ~4 H2 g. P' `. D+ P6 C$ E
那么,粗糙公式与近似计算公式有什么区别呢?我们继续进行探讨。( V) G( u; O) h5 }( b# D1 F
大家可能早就看出这样一个问题:因为,M内的素数删除因子为√M内的素数。设最大的素数删除因子为N,那么,M/N>√M,所以,M*[(N-2)/N]……(11/13)*(9/11)*(7/9)*(5/7)*(3/5)*(1/3)*(1/4)>[(√M)/4]*……*15/13*9/7。即(√M)/4乘以最大的素数删除因子之内的奇合数除以(奇合数减2)之乘积。也就是说,我们在(√M)/4的基础上乘以不该增加的奇合数删除剩余数的倒数的乘积时,该式的积永远小于素数对的近似计算公式。$ I6 y5 M5 Z; K M
下面,我们仍然设偶数为M,以不能够被所有素数删除因子整除的偶数为基数,求偶数素数对与(√M)/4的比值:5 {( r M; z; h. _
(1)、因为,(7/9)*(13/15)*(19/21)*(23/25)*(25/27)*(31/33)≈0.48<0.58 E. q& t$ v& E4 ~# V) V0 d
即<1/2,所以,[(√M)/4]/0.48的值,大于(√M)/4的2倍。也就是当偶数大于33*33,大于1089时,偶数的素数对大于(√M)/4的2倍。
& ]2 |2 ~' M3 z9 ^: B" F (2)、因为,(7/9)*(13/15)*(19/21)*(23/25)*……*(67/69)≈0.32<0.338 Q+ G5 K/ o1 t: \- M& v
即<1/3,所以,[(√M)/4]/0.32的值,大于(√M)/4的3倍。也就是当偶数大于69*69,大于4761时,偶数的素数对大于(√M)/4的3倍。
7 H6 T* V7 I9 V8 A4 i# Q (3)、因为,(7/9)*(13/15)*(19/21)*(23/25)*……*(113/115)≈0.24<0.257 S+ t2 l* S( r" v+ {
即<1/4,所以,[(√M)/4]/0.24的值,大于(√M)/4的4倍。也就是当偶数大于115*115,大于13225时,偶数的素数对大于(√M)/4的4倍。
3 R% r0 c9 G5 W (4)、因为,(7/9)*(13/15)*(19/21)*(23/25)*……*(163/165)≈0.19<0.209 p X4 G' h% X4 ?1 u
即<1/5,所以,[(√M)/4]/0.19的值,大于(√M)/4的5倍。也就是当偶数大于165*165,大于27225时,偶数的素数对大于(√M)/4的5倍。
! a8 S# C. W5 J# l' y! U3 V …………。4 `9 k' n3 ^7 n3 [
有了上面这些比值,我们就能够知道任意偶数的素数对,不低于多少了。下面我们进行举例说明吧:
- J( h# D" o. b1 ~5 c) @1 s 例1、偶数1632的素数对不低于多少?3 l" E! B6 w; @5 w2 W0 E% \ B9 [
第一步,最低素数对,因1632>1089,它的素数对不低于(√1632)/4的2倍,即20对。
9 e. ]8 W I3 e8 `3 t( I 第二步,√1632≈40,素数删除因子为40以下的素数,因1632能够被40以下的奇素数3、17整除,我们在删除素数对称数时,如针对素数删除因子N对素数对称数的删除时,多删除了(N-2)/(N-1),在这里在乘以(N-1)/(N-2),即20*[(3-1)/(3-2)]*[(17-1)/(17-2)]≈42对。偶数1632(不包括素数删除因子组成)的实际素数对不低于42对。. y1 \5 V8 k9 W8 t- u5 u$ x
该偶数(不包括素数删除因子组成)的实际素数对为54对,大于这里计算的42对。. A, P5 E4 z7 J) s
而按素数对近似计算公式:因√1632≈40,奇素数删除因子为3到37的奇素数。该偶数能够被奇素数3和17整除,所以,素数3的删除为1/3,剩余2/3,素数19的删除为1/19,剩余18/19。其它奇素数删除因子都为剩余(N-2)/N。代入素数对的近似计算公式为:
3 j1 x( }' q, X5 y1 t7 _1632*(35/37)*(29/31)*(27/29)*(21/23)*(17/19)*(16/17)*(11/13)*(9/11)*(5/7)*(3/5)*(2/3)*(1/4)≈51对。与(不包括素数删除因子组成)的实际素数对为54对接近。
2 I; B5 k. \' b; c+ ^& [ 该偶数还有素数删除因子:5,11,13,19,23,31组成的素数对,实际素数对为60对。
( M7 |% g4 x( o; I 例2、偶数1634的素数对不低于多少?& u& q7 o, q- T* y
第一步,最低素数对,因1634>1089,它的素数对不低于(√1634)/4的2倍,即20对。! n0 c9 Q) Y0 _* ~' o
第二步,√1632≈40,素数删除因子为40以下的素数,因1634能够被40以下的奇素数19整除,我们在删除素数删除因子N的对称数时,多删除了(N-2)/(N-1),在这里在乘以(N-1)/(N-2),即20*[(19-1)/(19-2)]≈21对。偶数1634(不包括素数删除因子组成)的实际素数对不低于21对。
; b& \: U3 t7 d' j 该偶数(不包括素数删除因子组成)的实际素数对为24对,大于这里计算的21对。
9 i' w% X N9 G, q 而按素数对近似计算公式:因√1634≈40,奇素数删除因子为3到37的奇素数。该偶数能够被奇素数19整除,所以,素数19的删除为1/19,剩余18/19。其它奇素数删除因子都为剩余(N-2)/N。代入素数对的近似计算公式为:
' F- I5 Q$ y, w9 `$ I" h$ _2 j1632*(35/37)*(29/31)*(27/29)*(21/23)*(18/19)*(15/17)*(11/13)*(9/11)*(5/7)*(3/5)*(1/3)*(1/4)≈25对。与(不包括素数删除因子组成)的实际素数对为24对接近。
3 b! j( V! o# o" `" \# \' l 该偶数还有素数删除因子:7,13,37组成的素数对,实际素数对为27对。
. l2 N& i; a( U# \ 偶数的素数对多与少,并不完全取决于偶数的大小。偶数的大于决定素数删除因子的多与少,按素数对粗糙公式(√M)/4看,当偶数大于170时,偶数(不包括素数删除因子组成)的实际素数对大于(√M)/4,而从偶数6到偶数170都有素数对的存在。偶数越大√M的值也越大,(√M)/4的值也越大,当√M的值增大时,小于√M的奇数中就存在奇合数,而奇合数是不参与删除的,我们在得到偶数素数对的粗糙公式的过程中,包含了奇合数的删除,如果我们在素数对的粗糙公式中去掉奇合数的删除,那么,当偶数大于1089时,偶数的素数对大于(√M)/4的2倍;大于4761时,偶数的素数对大于(√M)/4的3倍;大于13225时,偶数的素数对大于(√M)/4的4倍;大于27225时,偶数的素数对大于(√M)/4的5倍;…………。在这种基础上,还取决于偶数能否被素数删除因子整除,如偶数1632<1634,而偶数1632能够被素数删除因子3和17整除,它的素数对又大于(√M)/4的2倍的(2/1)*(16/15)倍,即大于(√M)/4的2倍的2.13倍;而偶数1634只能被素数删除因子19整除,它的素数对只能大于(√M)/4的2倍的(18/17),即大于(√M)/4的2倍的1.05倍。这也就是1632的素数对大于1634素数对的真正原因。看到这里,你在把连续偶数的素数对列出来,每三个偶数有一个能够被3整除,能被3整除的偶数素数对比相邻两个偶数要多些;每5个偶数有一个能够被5整除,能被5整除的偶数素数对比相邻4个偶数次多些;每7个偶数有一个能够被7整除,能被7整除的偶数素数对比相邻6个偶数再次多些;…………。! R+ N& `& o! m1 a
在实际计算中,如果偶数能够被3个以上素数删除因子整除,我们乘以(N-1)/(N-2),存在重复优惠。如某偶数能够被奇素数删除因子3,5,7整除,我们用[(√M)/4]*(2/1)*(4/3)*(6/5)将大于偶数(不包括素数删除因子组成)的实际素数对。所以,我们在这种情况下,取能够整除的2个最小素数删除因子,[(√M)/4]*(2/1)*(4/3)的值仍然小于偶数(不包括素数删除因子组成)的实际素数对。( T3 P% ~9 k4 E
综上所述,哥德巴赫猜想命题1是永远成立的。
: N+ M: I& h' A& B- V 那么,哥德巴赫猜想命题2呢?5 I7 L, L6 e( D# P
因为,大于6的偶数都可以表示为两个奇素数之和。
6 s) {( r/ {; s2 U$ _ 所以,大于9的奇数,可以表示为素数3+大于6的偶数对素数对;
3 b* ~0 N- V) H- h" v 大于11的奇数,可以表示为素数5+大于6的偶数对素数对;
+ u3 E, {4 y$ K( e! a0 r" L$ j 大于13的奇数,可以表示为素数7+大于6的偶数对素数对;8 J# S4 R, F1 b( B
大于19的奇数,可以表示为素数11+大于6的偶数对素数对;
7 a, p( x0 `% C …………。5 o/ A) R& D% c
由此得之,哥德巴赫猜想2也是成立的。
. Q: w. P3 w& B$ x5 E. e 四川省三台县工商局:王志成 |
zan
|