数学建模社区-数学中国
标题:
素数及相关问题的探讨
[打印本页]
作者:
wangzc1634
时间:
2010-3-22 22:07
标题:
素数及相关问题的探讨
素数及相关问题的探讨
K" a e E: Q
这是中国人在
2009
年前,对素数、孪生素数、素数等差数列、哥德**猜想的论证,供各位数学爱好者茶余饭后,进行欣赏。
" I8 t1 N) L$ Y7 ]7 T- m
精彩片段:有人把哥德**猜想与孪生素数看为相同的对称性问题,只要解决了一个,另一个就应该解决,事实上并非如此:
* J8 {. `, |' h& ~# F v
哥德**猜想是大于
6
的偶数可以表示为两个素数之和。意味着,表示为偶数之和的两个素数与偶数而对称,即两个素数与偶数有相应的对称关系,如任意三个连续偶数中有两个偶数,分别除以
3
余
1
和余
2
,组成这两个偶数的素数对中的素数,最多有一个素数是相同的(素数
3
),其余的素数都是不相同的:除以
3
余
1
的偶数的素数“
1+1
”
适应于除以
3
余
2
的奇素数;除以
3
余
2
的偶数的素数“
1+1
”
适应于除以
3
余
1
的奇素数。这充分说明了组成偶数素数对的素数与偶数有关。
' E4 s8 U" L `0 |6 L% Z- w7 V; G
孪生素数是间隔距离较近的,相同距离的两个素数,间隔相同距离的两个素数是客观存在的,客观存在的孪生素数与我们所取的范围,而范围本身并不影响孪生素数的存在,范围与孪生素数的存在没有直接因果关系,如不论我们取
32
,
34
,
36
,还是
40
,这之内的孪生素数组:(
5
,
7
),(
11
,
13
),(
17
,
19
),(
29
,
31
)都是不变的,这充分说明了范围不干预范围之内的孪生素数的诞生,不影响孪生素数的存在。而孪生素数只是素数等差数列的一个方面。
0 N7 u) s$ | Y8 ?* V- B% u9 R9 }
不论是素数,还是孪生素数、素数等差数列、哥德**猜想都是研究素数与素数之间的关系,素数的分布和素数的结构问题。
9 u) F9 ~: P: B5 i0 P
哥德**猜想,分为两个命题:
2 m5 _* V- r3 L5 M7 _' \0 `
命题
1
,大于
6
的偶数可以表示为两个奇素数之和;
2 J# L' k# w! M7 l# r2 F$ Z
命题
2
,大于
9
的奇数可以表示为
3
个奇素数之和。只要解决了命题
1
,命题
2
就不攻自破了。
# f/ h) h- D/ n, n, t
一、证明思路
! l$ t! k" \: H
因为,哥德**猜想涉及素数,所以,我们得从素数开始说起。
$ f9 X% B2 n/ z8 A
1
、素数,只能够被
1
和自身数整除的数,叫素数。(自身数
≠1
)。
) J8 [) }! |" u, M* ?( Z
素数的形成线路,就是素数的分布。素数有两种计算方法,计算结果是一样的,一种计算方法,说明素数随着所取自然数范围的扩大而变稀疏;另一种计算方法,说明随着所取自然数范围的扩大素数个数,会不断地增加。
" s% O# M& H3 e1 z
2
、孪生素数,属于素数的个性关系,它的分布也与素数的分布大同小异。同样有两种计算方法,计算结果是一样的,一种计算方法,说明孪生素数随着所取自然数范围的扩大而变稀疏;另一种计算方法,说明随着所取自然数范围的扩大孪生素数个数,会不断地增加。
6 G$ G8 z2 m2 y
3
、哥德**数,人们把能够组成偶数素数对(
1+1
)的素数,称为哥德**数。它的分布也与素数的分布大同小异。同样有两种计算方法,计算结果是一样的,一种计算方法,说明哥德**数随着偶数的扩大而变稀疏;另一种计算方法,说明随着偶数的扩大哥德**数个数,会不断地增加。
/ d& ~# z1 N8 U/ W; t$ H A$ N
所不同的是,哥德**数与素数、孪生素数的区别在于:素数和孪生素数个数是取自然数范围;哥德**数是取具体的偶数。范围没有个性与共性之分;而偶数有个性和共性之分。我们把不能够被所有素数删除因子整除的偶数,称为偶数的共性;把能够被部份素数删除因子整除的偶数,称为偶数的个性。共性说明偶数的基本素数对,随着偶数的增大而增多;个性反映偶数素数对参差不齐的原因:是共性偶数素数对的多少倍。
! i8 G1 ~& Y) a4 ?' {: D0 L9 l
哥德**猜想与孪生素数还有一个区别:相差
2
的,不能够被素数
2
和
3
整除的奇数组,每
6
个自然数就有一组;而不能够被奇素数
3
整除的偶数,不能够被素数
2
和
3
整除的奇数对,即素数
2
和素数
3
删除后,平均每
12
个自然数剩余一组奇数对。由此,造成了取不能够被所有素数删除因子整除的偶数作为自然数范围时,孪生素数对是不能够被奇素数删除因子整除的偶数的两倍,相当于只能够被素数
3
整除的偶数的素数对。
* I" F- c# T& }0 e1 }
二、素数
! h- x8 w. [+ b) l6 y
素数,只能够被
1
和自身数整除的数,叫素数。(自身数
≠1
)。
4 b; r* E0 A0 X1 V- ]
(一)、素数的分布
. e) v! j* `! M& V( z
素数的分布,又叫素数形成线路图。它的分布是以除以素数删除因子的余数而定的。素数删除因子是指小于所取自然数范围平方根的素数。素数的分布图为:
$ j8 k# L9 J8 j% A) i( r* p
1
、第
1
个素数删除因子为
2
,以素数
2
的删除形成了素数总线路,素数总线路为除以
2
余
1
。我们把它用等差数列表示为:
1+2N
,即大于
2
的素数存在于
1+2N
这个等差数列之中。
' k- \$ ]) }0 `1 D7 z& n7 j
2
、第
2
个素数删除因子为
3
,以素数
2
、
3
的删除形成了第
1
分支。我们在总线路
1+2N
等差数列中,取与素数
3
相同个数的连续项
3
项有:
1
,
3
,
5
。删除能够被
3
整除的
3
后,剩余
1
和
5
。因素数删除因子
2*3=6
,我们就以
6
为公差,形成第一分支的两条线路:
1+6N
和
5+6N
,即大于
3
的素数存在于
1+6N
和
5+6N
这两个等差数列之中。
7 T, j, s6 G- @% z/ }% [( H/ a9 n
3
、第
3
个素数删除因子为
5
,以素数
2
、
3
、
5
的删除形成了第
2
分支。我们在第一分支的两条线路:
1+6N
和
5+6N
两个等差数列中,各取与素数
5
相同个数的连续项
5
项,
1+6N
有:
1
,
7
,
13
,
19
,
25
;
5+6N
有:
5
,
11
,
17
,
23
,
29
。删除能够被素数
5
整除的
5
,
25
后,剩余
1
,
7
,
13
,
19
和
11
,
17
,
23
,
29
。因素数删除因子
2*3*5=30
,我们以
30
为公差,形成第二分支的
8
条线路:
1+30N
,
7+30N
,
13+30N
,
19+30N
和
11+30N
,
17+30N
,
23+30N
,
29+30N
,即大于
5
的素数存在于这
8
个等差数列之中。
$ o5 Z9 U. G2 ?6 L/ e
4
、第
4
个素数删除因子为
7
,以素数
2
、
3
、
5
、
7
的删除形成了第
3
分支。我们在第二分支的
8
条线路:
1+30N
,
7+30N
,
13+30N
,
19+30N
和
11+30N
,
17+30N
,
23+30N
,
29+30N
等差数列中,各取与素数
7
相同个数的连续项
7
项:
6 A: D- Y" t* D. h6 Z
1+30N
有:
1
,
31
,
61
,
91
,
121
,
151
,
181
;
3 D1 [0 l1 N; H$ y
7+30N
有:
7
,
37
,
67
,
97
,
127
,
157
,
187
;
4 U# s/ V$ A0 Y8 P( J' k% n
13+30N
有:
13
,
43
,
73
,
103
,
133
,
163
,
193
;
; g& I& T6 [2 \4 A
19+30N
有:
19
,
49
,
79
,
109
,
139
,
169
,
199
;
[: V9 v' g, P
11+30N
有:
11
,
41
,
71
,
101
,
131
,
161
,
191
;
% v# H D3 R" x2 A; Z1 z4 l
17+30N
有:
17
,
47
,
77
,
107
,
137
,
167
,
197
;
. M0 M* A8 ]7 r* E) a5 \
23+30N
有:
23
,
53
,
83
,
113
,
143
,
173
,
203
;
1 ]8 P7 P- O( \) B7 O
29+30N
有:
29
,
59
,
89
,
119
,
149
,
179
,
209
。
9 v! b$ `/ W' h$ Q& J5 `, P6 R
用
8
个等差数列的首项
1
,
7
,
13
,
19
,
11
,
17
,
23
,
29
乘以素数删除因子
7
,得到素数删除因子
7
,在这
8
个等差数列在
2*3*5*7=210
之内的删除数为:
7
,
49
,
91
,
133
,
77
,
119
,
161
,
203
。删除后剩余
48
个数,因素数删除因子
2*3*5*7=210
,我们以
210
为公差,以删除后剩余的
48
个数为首项,组成素数形成线路的第四分支的
48
条线路,即大于
7
的素数存在于这
48
个等差数列之中。
. Z" V, R, ^ |0 h! f4 G B: \% u$ g
………………
。
7 [& Z* E9 V$ `* V! @
当我们把这里的素数形成线路,第一分支稼接到总线路上,再把第二分支稼接到第一分支,把第三分支稼接到第二分支,把第四分支稼接到第三分支,
………
,就这样一直稼接下去。从而形成了一棵巨大的素数形成大树,这就是美丽的素数诞生树,也是素数分布图。
. ?1 W2 |- A( ~- }" d
说到这里,有些问题还得在这里说清楚:
$ ~% Y, E. I) g6 l
(
1
)、这里的
48
条素数形成线路,说明大于
7
的素数必须存在于这
48
条线路之中,无一例外。并不是说这
48
个等差数列的数都是素数。
# T( y1 D; O0 h: U+ Q3 ]
(
2
)、这里的
48
条线路中有:
121
,
143
,
187
,
209
,
169
并不是素数,我们以
121+210N
为例,它表示除以
2
余
1
,除以
3
余
1
,除以
5
余
1
,除以
7
余
2
这一房素数,在这里是不可以缺少的。只有当
121+210N
等差数列取
11
项:
121
,
331
,
541
,
751
,
961
,
1171
,
1381
,
1591
,
1801
,
2011
,
2221
,素数
11
删除时删除了
121
,
121
才完成了它的历史使命。如果说,我们在这里删除了
121
,就等于删除了
121+210N
,那么,就漏掉了
331
,
541
,
751
,
961
,
1171
,
1381
,
1591
,
1801
,
2011
,
2221
这些数
+2310N
这
10
个等差数列,这
10
个等差数列都是可以产生素数的。我们换一句话说:在素数形成线路中,只有当这个数能够被组成等差数列的公差中的素因子整除时,这个数才算完成了它发展素数的使命。
% G$ a2 I, P8 }
(
3
)、素数形成线路图与合数数列
作者:
wangzc1634
时间:
2010-3-22 22:08
①、素数2的删除形成了两个等差数列:1+2N和2+2N,两个数列平分自然数。1+2N我们把它作为能够产生素数的数列,2+2N我们把它作为合数数列,2+2N除素数2外不会诞生新的素数;
/ ?' w$ l. N5 P& x' Y: a2 L- x
②、1+2N数列,由于素数3的删除,分成了3个数列:1+6N,5+6N,3+6N,3个等差数列平分了不能够被素数2整除的奇数,1+6N和5+6N我们把它作为能够产生素数的数列,3+6N我们把它作为合数数列,3+6N除素数3外不会诞生新的素数;
* r# r( {* Z" L
③、1+6N和5+6N数列,由于素数5的删除,分成了10个数列:1+30N,7+30N,13+30N,19+30N,25+30N;5+30N,11+30N,17+30N,23+30N,29+30N,10个等差数列平分了不能够被素数2、3整除的数,我们把1+30N,7+30N,13+30N,19+30N,11+30N,17+30N,23+30N,29+30N作为能够产生素数的数列,25+30N和5+30N我们把它作为合数数列,25+30N和5+30N除素数5外不会诞生新的素数;
4 u- ? X3 ?7 K3 Q% W% q0 `0 \8 ]
…………
2 A& b# Q0 f3 O6 S1 J
一方面,从合数数列不会产生新的素数,而产生素数的数列不断分离出新的合数数列。因为,随着我们所取自然数M范围的扩大,√M的值会增大,素数删除因子会增多,造成素数形成线路的分支增多,分离出来的合数数列也会增多。说明素数的密度,随着自然数范围的扩大而变稀少;另一方面,从素数的形成线路永远存在,说明素数永远存在。
2 N2 m1 } s* [% A$ v
从素数形成线路图,诞生了素数计算方法。素数的计算分为两个方面:对素数个数的计算和对具体素数的寻找。
/ h) B5 E& e" Y: p, R5 n/ B
素数个数的计算又分为两种:一种反映随着我们所取自然数范围的扩大,素数的密度越来越稀少;另一种反映随着我们所取自然数范围的扩大,素数个数会越来越多。两种计算方法的结果是一样的。
+ V6 P& \) v. ]% ~1 m: w
(二)、素数的计算
0 q, ]( m7 Z" n5 \& t! y( ?# y
1、素数个数的计算方法1。
3 y& ]" {# u1 ?8 _0 F
设所取的自然数范围为M,我们以“√”表示根号,√M≥N,N为M的最大素数删除因子,那么,M的素数删除因子为:2,3,5,7,11,13,……N。
5 t6 O. ]: P, X: U7 I6 Z& D/ Q
因为,从前面的素数形成线路图,我们可以看出:任意素数删除因子N删除自然数的1/N,必然剩余(N-1)/N;每个素数删除因子在删除中是把素数删除因子自己给删除了的,根据这一原理,我们得出不包括素数删除因子的素数个数的计算方法为:
! q" o, e- e3 O) f+ r% J u& P
M内的素数个数为:M*(1/2)*(2/3)*(4/5)*(6/7)*(10/11)*(12/13)*……*(N-1)/N+素数删除因子个数-1。这里最后减去的1,为自然数1,因为,自然数1不能被所有素数整除,但它又不是素数。另一方面,当我们所取的自然数范围扩大时,对于这个自然数1的问题,我们也可以忽略不计。从实践中得之,这种计算方法是相当准确的。
$ d3 q& F# g6 I- G& \9 [& V5 f
我们从乘数(1/2)*(2/3)*(4/5)*(6/7)*(10/11)*(12/13)*……*(N-1)/N可以看出:
& ], Y! o' a1 T' x
(1)、只有素数删除因子对合数进行删除,而小于√M的合数是不直接参与对合数的删除的,小于√M的合数的删除是由组成合数的素数的删除所代替了的。
+ J2 x ^" m1 r/ k9 r
(2)、素数删除因子N,对合数的删除为自然数的1/N,或者前面删除后剩余数的1/N,剩余(N-1)/N的数不能够被素数删除因子N删除(整除)。因为(N-1)/N<1,当M增大时,素数删除因子N的个数会增加。故,当M增大时,素数删除因子N的个数增多时,(1/2)*(2/3)*(4/5)*(6/7)*(10/11)*(12/13)*……*(N-1)/N的值会变少,所以,当M的范围无限扩大时,素数的密度会变稀少。
; d& o' h8 v+ D, N7 I D9 F
2、素数个数的计算方法2。
- e, }2 |5 t+ @) R- p+ E2 b. M
因为,根据分数计算式(1/2)*(2/3)*(3/4)*(4/5)*(5/6)*(6/7)*……*(N-1)/N=1/N。
' C- f- L: N! x( W+ H
我们在上面的计算方法中,增加不参与删除的合数的删除,上面的计算方法就变为:
5 ~& I, {, r* j. S/ c
M*(1/2)*(2/3)*(3/4)*(4/5)*(5/6)*(6/7)*……*(N-1)/N+素数删除因子个数。我们把(1/2)*(2/3)*(3/4)*(4/5)*(5/6)*(6/7)*……*(N-1)/N=1/N代入,M*(1/2)*(2/3)*(3/4)*(4/5)*(5/6)*(6/7)*……*(N-1)/N+素数删除因子个数=M*1/N+素数删除因子个数。
. H" E5 D9 E) |; t
如果要叫M*1/N+素数删除因子个数恢复原来的近似计算,在这里乘以了合数删除的剩余数,恢复必须乘以合数删除剩余数的倒数。
7 Y) q1 k9 u: D2 \4 l$ T) z
我们按合数剩余数(N-1)/N的乘积:(3/4)*(5/6)*(7/8)*(8/9)*……*(N-1)/N有:
- R/ j$ q$ A, `: L* V
(1)、当合数N≥9时,(3/4)*(5/6)*(7/8)*(8/9)<1/2,即当最大的素数删除因子大于9时,M内不包括素数删除因子的个数≥最大的素数删除因子的2倍;
2 U* D- ^- I, C2 F+ A
(2)、当合数N≥16时,(3/4)*(5/6)*(7/8)*(8/9)*……*(N-1)/N<1/3,即当最大的素数删除因子大于16时,M内不包括素数删除因子的个数≥最大的素数删除因子的3倍;
. B5 j& {$ h6 n& I$ K
(3)、当合数N≥25时,(3/4)*(5/6)*(7/8)*(8/9)*……*(N-1)/N<1/4,即当最大的素数删除因子大于25时,M内不包括素数删除因子的个数≥最大的素数删除因子的4倍;
' P+ a. ^7 p* |0 H" h% x) z
(4)、当合数N≥33时,(3/4)*(5/6)*(7/8)*(8/9)*……*(N-1)/N<1/5,即当最大的素数删除因子大于33时,M内不包括素数删除因子的个数≥最大的素数删除因子的5倍;
8 r) m U4 w# }. ^: F y" y
(5)、当合数N≥45时,(3/4)*(5/6)*(7/8)*(8/9)*……*(N-1)/N<1/6,即当最大的素数删除因子大于45时,M内不包括素数删除因子的个数≥最大的素数删除因子的6倍;
. r# X& h+ j9 y; J( o' P
(6)、当合数N≥51时,(3/4)*(5/6)*(7/8)*(8/9)*……*(N-1)/N<1/7,即当最大的素数删除因子大于51时,M内不包括素数删除因子的个数≥最大的素数删除因子的7倍;
0 h N- F! j0 |: }
(7)、当合数N≥60时,(3/4)*(5/6)*(7/8)*(8/9)*……*(N-1)/N<1/8,即当最大的素数删除因子大于60时,M内不包括素数删除因子的个数≥最大的素数删除因子的8倍;
+ D/ B8 t6 |/ L- g0 T3 g. Q" ?" @
(8)、当合数N≥70时,(3/4)*(5/6)*(7/8)*(8/9)*……*(N-1)/N<1/9,即当最大的素数删除因子大于70时,M内不包括素数删除因子的个数≥最大的素数删除因子的9倍;
: G3 S8 T; g( F; J+ p7 f
(9)、当合数N≥80时,(3/4)*(5/6)*(7/8)*(8/9)*……*(N-1)/N<1/10,即当最大的素数删除因子大于80时,M内不包括素数删除因子的个数≥最大的素数删除因子的10倍;
" [: A4 l( U# V f- T& H
(10)、当合数N≥90时,(3/4)*(5/6)*(7/8)*(8/9)*……*(N-1)/N<1/11,即当最大的素数删除因子大于90时,M内不包括素数删除因子的个数≥最大的素数删除因子的11倍;
& o% @4 u1 r! O5 Q& ?+ a
(11)、当合数N≥99时,(3/4)*(5/6)*(7/8)*(8/9)*……*(N-1)/N<1/12,即当最大的素数删除因子大于99时,M内不包括素数删除因子的个数≥最大的素数删除因子的12倍;
3 n2 o0 b& b( Q O+ G6 t/ W
………………。
; W( r) C! t5 K }2 A" H
这里的N,指我们所取自然数的范围为M时,M开平方的值,也就是说:M≥N*N。上面素数的个数≥M*1/N,当M的范围增大时,N的值也随之增大,M*1/N也随着增大,素数个数会增多;上面还说明,当M的范围增大时,N之内的合数会增多,合数删除剩余乘积会变小,当合数剩余乘积小于1/K时,M内不包括素数删除因子的素数个数≥最大的素数删除因子N*K的值会增大,这充分说明了素数永远存在的道理。
9 b! g5 t2 x# Q, J* s9 K
3、素数的具体寻找,请搜索《公理与素数计算》。该计算方法的特点:除素数删除因子外,不会漏掉任何一个素数;优点是:随着所取自然数范围的扩大,将寻找的范围按自然数的比率随之缩小,改删除由与素数删除因子试除,为与素数删除因子相乘,达到了删除的准确性,减化了计算步骤。比如按试除法,要寻找一个大于10000的素数,必须用这个数除以小于100的26个素数删除因子,方能确定这个数是不是素数。而用相乘法,只对前面删除后的剩余合数做一个乘法题就可以删除,所有合数删除后剩余的自然就是素数,如果您不信的话,您可以体验一下就知道了哈。
: S- x+ s$ b5 l: H8 b
三、素数等差数列
2 I5 h0 f3 r v+ P- s% K
素数等差数列,指等差数列的各项都是素数的数列,人们的探索都是指这些数列有多少项,这里我们来共同进行探讨。
. g; P% o# L9 k8 R
1、因为,大于2的素数,存在于1+2N这个等差数列之中,这个数列的公差2不能够被素数3整除,故相差2的等差数列,每3项必然有1项被素数3整除(删除),所以,相差2的素数等差数列,如果首项不是素数3,最多只能够存在2项的素数等差数列。如果首项是素数3,最多只能够存在相差2的3个项的素数等差数列。因为,大于3的素数删除因子,没有形成对于素数3删除之间剩余的2个项必须删除1个项的删除要求,所以,相差2的2个项的素数等差数列必然存在。
作者:
wangzc1634
时间:
2010-3-22 22:09
2、前面说了,大于3的素数存在于等差数列1+6N和5+6N之中,这两个数列的公差为6,6=2*3,因为,首项1和5不能够被组成6的素数2和3分别整除,所以,这两个数列的各项都不能够被素数2和3整除。
- S: j; `: Z1 o8 ?8 h2 V
又因为,这两个数列的公差6不能够被素数删除因子5整除,故,这两个等差数列的每5个连续项,必然有一个项能够被素数5整除(删除)。即这两个等差数列的首项如果不是素数5,最多只能够存在相差6的5-1=4个项的素数等差数列,如果首项是素数5,最多只能够存在相差6的5个项的素数等差数列。因为,大于5的素数删除因子,没有形成对于素数5删除之间剩余的4个项必然删除1个项的删除要求,所以,相差6的4个项的素数等差数列必然存在。
: H1 W4 ?$ A% O. p
3、大于5的素数存在于等差数列1+30N,7+30N,11+30N,13+30N,17+30N,19+30N,23+30N,29+30N这8个等差数列之中,这8个数列的公差为30,30=2*3*5,因为,首项1,7,11,13,17,19,23,29不能够被组成30的素数2,3,5分别整除,所以,这8个数列的各项都不能够被素数2,3,5分别整除。
, U1 ~6 p5 B! |+ R$ g% T
又因为,这8个数列的公差30不能够被素数删除因子7整除,故,这8个等差数列的每7个连续项,必然有一个项能够被素数7整除(删除)。即这8个等差数列的首项如果不是素数7,最多只能够存在相差30的7-1=6个项的素数等差数列,如果首项是素数7,最多只能够存在相差30的7个项的素数等差数列。因为,大于7的素数删除因子,没有形成对于素数7删除之间剩余的6个项必然删除1个项的删除要求,所以,相差30的6个项的素数差等数列必然存在。
+ Q G/ z$ p& h( R2 C; c: u& d& f
………………。
7 T4 Z$ h2 E; g& S7 j% e
因为,大于N的素数存在于1*2*4*6*10*……*(N-1)个,以2*3*5*7*11*13*……*N为公差的等差数列之中,这些数列的各个项都不能够被素数删除因子2,3,5,7,11,13,……N分别整除,设大于N的第一个素数为K,公差2*3*5*7*11*13*……*N必然不能够被素数删除因子K整除,那么,这些等差数列的K个连续项必然有一个项被素数K整除(删除),对于这些等差数列中的任意一个数列,如果首项不是素数K,最多只能够存在K-1项素数等差数列,如果首项是素数K,最多只能够存在K项素数等差数列。
1 d, R# ^ F! x3 ~
定义:设大于素数N的素数为K,公差只能够被2,3,5,7,11,……,N连续素数删除因子的乘积整除的等差数列,素数等差数列的项数:如果首项是素数K,最多只能够存在K个项的素数等差数列;如果首项不是素数K,最多只能够存在K-1个项的素数等差数列。
# S- j" [1 Y$ q+ ]
数学家陶哲轩发现的23个数的素数等差数列,因为,首项不是23,而且有23项,所以,该等差数列的公差必然能够被素数删除因子2,3,5,7,11,13,17,19,23整除,即被2*3*5*7*11*13*17*19*23=223092870整除。又因为首项不是23,所以,该素数等差数列的首项不可能被素数删除因子2,3,5,7,11,13,17,19,23分别整除。只能够被这些连续素数乘积整除的公差,所构成的素数等差数列,如果首项不是素数29,最多只能存在29-1个项。
! w( T* l! V4 z) h# O
四、孪生素数
/ c2 c+ l) F( \3 {) b W
孪生素数,指诞生距离较近的素数。
) |# ^+ i5 b( Z4 `+ h* a3 f( |
1、诞生距离最近的孪生素数,只有一对。那就是素数2,3。它们的间隔距离只有1。为什么只有一对呢?因为,素数2的删除是每两个自然数必须删除一个,素数2删除了除2以外所有的偶数。所以,只有偶素数2与第一个奇素数3之间的间隔距离相差1,其它与奇素数相差1的偶数都是偶合数。
3 q" X1 }) {4 K, P, g
2、相差2的孪生素数,我们知道:大于2的素数存在于等差数列1+2N之中,因为,公差2不能够被素数3整除,故,素数3对于等差数列1+2N的每3个连续项必然删除一个项(能够被素数3整除的项),删除项与删除项之间的两个剩余项,这两个剩余项之间的间隔为2;又因为等差数列1+2N的公差2不能够被大于3的素数删除因子整除,设大于3的素数删除因子为K,K对于1+2N等差数列的K个连续项必然删除1项,但素数删除因子K没有构成对素数3删除后,删除项与删除项之间的两个剩余项必然删除一个项的删除条件。只是偶然删除这两个项中的一个项,它对这两个项组成孪生素数起破坏作用。因为,偶然删除,不是必然删除,故,这两个项仍然存在组成孪生素数的可能。即有生成孪生素数的机遇,所以,相差2的孪生素数永远存在!那么,能够具体的量化吗?
# n; J, `: T4 e* b- Z3 r m
3、我们首先说个小插曲:相差2的孪生素数与哥德**猜想的起源区别:
: V( Y/ k3 q, H
孪生素数的起源:
8 F2 N1 W m: r% k/ j: p3 L3 a3 X
①、因为,自然数是相差1的数,可以表示为等差数列1+1N,这里只有一个相差为1的等差数列,公差1不可以被第一个素数2整除,素数2的删除为每隔一个数删除一个数(偶数),每隔一个数剩余一个数(奇数)。剩余的奇数可以表示为1+2N;
7 V# i% |5 Q, ~5 W) V
②、前面剩余的奇数表示为1+2N,这里也只有一个相差为2的等差数列,公差2不可以被第二个素数3整除,素数3的删除为每隔两个数删除一个数(能够被3整除的数),删除数与删除数之间隔两个数,即,相差为2的两个奇数。剩余的奇数可以表示为5+6N和1+6N;
( `7 M6 B3 K( v! S9 H. b! X
③、剩余的奇数表示为5+6N和1+6N,为两个公差为6的等差数列,因为,公差6不可能被≥5的素数删除因子整除,设≥5的素数删除因子为K,那么,素数删除因子K必然对两个等差数列5+6N和1+6N,都坚持每K个连续项必须删除一项(能够被K整除的项),因为,差距2小于K,2不能够被K整除,素数删除因子K的删除起点都是从0开始计算,基于这三个方面,故,素数删除因子K不可能同时删除相差2的孪生奇数组。所以,素数删除因子K,只能删除相差2的孪生奇素数组的2/K,剩余孪生奇数组的(K-2)/K。这是没有变化的固定数。孪生素数的产生相对于哥德**猜想素数对来说,是相对固定和稳定的。
4 i4 L& w! x- y) J9 \! n
哥德**猜想的起源:
4 ]5 E5 s/ j' E% J( f) @* ~, E# R
①、因为,在哥德**猜想中,两数之和与偶数对称,删除数与剩余数是分正面与反面(对称)。素数2的删除,正面从0开始,素数2删除能够被2整除的偶数,反面是从偶数开始,反向数删除与偶数对称的偶数,因为,偶数能够被素数删除因子2整除,所以,素数2的删除正面与反面是完全重合的,即删除偶数对,剩余奇数对,剩余数不管是从正面,还是从反面都可以用1+2N表示;
9 `7 j1 x" @& g0 x/ W
②、素数3的删除分为两个方面:
' h& I7 U% ]+ g4 [$ d4 ~
一方面,每三个连续偶数中,有一个偶数能够被素数3整除,素数3的删除正面与反面的删除是完全重合的,即删除奇数对的1/3,剩余奇数对的2/3。
8 ?; x, W# [2 \! Z- y% M+ N
另一方面,每三个连续偶数中,有一个偶数除以3余1,有一个偶数除以3余2,素数3的删除正面与反面的删除是完全不重合的,即删除奇数对的2/3,剩余奇数对的1/3。
! _/ s' _. i5 U2 D# t
③、设≥5的素数删除因子为K,一方面,每K个连续偶数中,有一个偶数能够被素数K整除,素数K的删除正面与反面的删除是完全重合的,即删除奇数对的1/K,剩余奇数对的(K-1)/K。
. G- N8 C8 T2 j+ y L
另一方面,每K个连续偶数中,有(K-1)个偶数不能够被素数K整除,素数K的删除正面与反面的删除是完全不重合的,即删除奇数对的2/K,剩余奇数对的(K-2)/K个奇数对。哥德**猜想素数对的产生相对于孪生素数来说,是不固定和稳定的。如我们取孪生素数的范围与哥偶**猜想偶数为同一个数时,有素数对只有孪生素数组一半的,也有比孪生素数组还要多的时候,哥德**猜想素数对的活性较大,它的活性受什么影响呢?后面再说。
" g1 H% N% Z6 `: B- {
即,孪生奇数组,素数2,3删除后,每6个连续自然数中剩余一组;哥德**猜想奇数对,对于不能够被素数3整除的偶数来说,素数2,3删除后,平均每12个连续自然数中剩余一对,这就是相差2的孪生素数与哥德**猜想的起源区别。
* M: ], G+ [4 `6 `
4、孪生素数个数的计算方法
7 k# p6 a/ @+ t: v7 z# l) @
哪些素数+2不可以形成相差2的孪生素数?
0 {8 W! k0 M% t N% n; j. V; x
(1)、大于3的素数,存在于等差数列1+6N和5+6N之中,这两个数列平分了大于3的素数。因为,等差数列(1+6N)+2=3+6N,3+6N数列的每一个项都能够被素数3整除,3+6N等差数列除素数3外,不可能形成新的素数,故大于3的素数有一半的素数+2,不可能形成相差2的孪生素数组。即删除1/(3-1),剩余(3-2)/(3-1)的素数有可能组成孪生素数组。
b2 _% {- L6 C8 D
(2)、大于5的素数,存在于1+30N,7+30N,11+30N,13+30N,17+30N,19+30N,23+30N,29+30N,这8个等差数列之中,这8个数列平分了大于5的素数。因为,等差数列(13+30N)+2=15+30N,(23+30N)+2=25+30N,这两个数列的每一个项都能够被素数5整除,不可能形成新的素数,故大于5的素数有1/4的素数+2,不可能形成相差2的孪生素数组。即删除1/(5-1),剩余(5-2)/(5-1)的素数有可能组成孪生素数组。
( B T& h+ E8 x: b9 U
(3)、大于7的素数,存在于以210为公差的48个等差数列之中,其中19+210N,47+210N,61+210N,89+210N,131+210N,103+210N,173+210N,187+210N这8个等差数列+2,能够被素数7整除,不可能形成新素数。故大于7的素数有1/6的素数+2,不可能形成相差2的孪生素数。即删除1/(7-1),剩余(7-2)/(7-1)的素数有可能组成孪生素数组。
4 X* I+ N7 s8 R2 K
………………。
作者:
wangzc1634
时间:
2010-3-22 22:10
这就形成了孪生素数组的计算方法:
$ }2 M6 W& G( @6 z$ n0 |" ^8 p; T# M
设所取的自然数为M,M内的奇素数为P,M内的奇素数删除因子为3,5,7,11,13,………N。那么,M内的孪生素数个数为:
, D7 v7 H& Q9 w, M4 t! W9 O
P*(1/2)*(3/4)*(5/6)*(9/10)*(11/12)*………*(N-2)/(N-1)个。
; U: Q/ T2 v1 t$ @! b! `* N* D
又因为,M内的素数为:M*(1/2)*(2/3)*(4/5)*(6/7)*(10/11)*(12/13)*……*(N-1)/N+素数删除因子个数。
/ I# k- d: k) i. C) W) t1 r
说到这里,我不得不说一下M内素数删除因子与素数的比率问题了:
, S9 i P0 x3 x" K$ f. h: r6 y
当M为10时,√M≈3,素数删除因子占总素数的1:2;
% V! H6 C+ p: j, l, K3 A
当M为100时,√M≈10,素数删除因子占总素数的2:6.5;
* m! g1 E; d1 y) U( r8 S" ?
当M为10000时,√M≈100,素数删除因子占总素数的1:47.27;
2 v( I4 [. u5 {1 Q/ j
即随着我们所取自然数范围的无限扩大,素数删除因子可以忽略不计。正因为如此,所以,我们对这里的孪生素数组的计算方法,不要看小范围,要看大的范围是否正确。不能够被素数删除因子整除的小范围涉及(1,3),自然数1不是素数。
' g- S% x, b: V! n- f; \
那么,M内的孪生素数个数就近似于:
) l# m$ T- Q) p# G1 k6 D
M*(1/2)*(2/3)*(4/5)*(6/7)*(10/11)*(12/13)*……*(N-1)/N*(1/2)*(3/4)*(5/6)*(9/10)*(11/12)*………*(N-2)/(N-1)
c/ O7 b! v9 i2 X: [
=M*(1/2)*(1/2)*(2/3)*(3/4)*(4/5)*(5/6)*(6/7)*(9/10)*(10/11)*(11/12)*(12/13)*………*[(N-2)/(N-1)][(N-1)/N]
/ H& }2 V; O8 I9 F/ e
=M*(1/2)*[(1/2)*(2/3)]*[(3/4)*(4/5)]*[(5/6)*(6/7)]*[(9/10)*(10/11)]*[(11/12)*(12/13)]*………*[(N-2)/(N-1)][(N-1)/N]
& f" i$ b/ l" L. I2 y% F/ O
=M*(1/2)*(1/3)*(3/5)*(5/7)*(9/11)*(11/13)*………*(N-2)/N。
1 N+ `1 g; t9 E$ d5 D
该式中的(1/3)*(3/5)*(5/7)*(9/11)*(11/13)*………*(N-2)/N,也说明只有素数删除因子N,参与删除,删除前面素数删除因子删除后剩余的2/N的数,剩余前面剩余的(N-2)/N,因为(N-2)/N<1,当M增大时,素数删除因子N的个数会增加。故,当M无限增大时,素数删除因子N的个数增多时,(1/3)*(3/5)*(5/7)*(9/11)*(11/13)*………*(N-2)/N的值会变少,所以,当M的范围无限扩大时,孪生素数的密度会变稀少。
8 O5 [+ \7 @7 \6 x. h! ^
(4)、我们在上式中增加不该增加的奇合数的删除,上式变为:
4 ^% t7 Q2 D: b& ?+ g" y4 P5 h
M*(1/2)*(1/3)*(3/5)*(5/7)*(7/9)*(9/11)*(11/13)*(13/15)………*(N-2)/N
* x+ h1 g5 q- [& [/ H5 V% A, Y3 M+ w6 `
=M*(1/2)*(1/N)=M/2N,按M内的删除因子的计算方法,M≥N*N,但当M无限扩大时,M>N*N的大于,可以忽略不计,我们把M≈N*N代入上式为:M内的孪生素数个数≈M/2N=N/2,该式的计算取整数。
5 v5 r1 O8 a- ]3 x$ Z6 G" K- f* {
因为,孪生素数的个数≈N/2,是在增加了不该增加的奇合数的删除的前提下取得的,要恢复该式的原来计算值,必须除以不该增加的奇合数删除乘积,我们有奇合数删除乘积为:
- q0 @( w% z/ x: m7 Q$ L
①、因为(7/9)*(13/15)*(19/21)*(23/25)*(25/27)*(31/33)≈0.488,0.488<1/2。所以,当自然数>33*33,即M大于1089时,M内的孪生素数组按理来说应该大于2*33/2,因为,素数删除因子的删除参差不齐,我们只能说:不包括素数删除因子组成的孪生素数组近似于33个。这里所说的近似是指:孪生素数组的个数,在自然数大于1089时,实际个数与这里和下面的计算正付误差不超过20%。
5 Y, H: b* R4 `; b2 [4 z
②、因为,(7/9)*(13/15)*(19/21)*(23/25)*(25/27)*(31/33)*……*113/115<1/4。所以,当自然数>115*115,即M大于13225时,M内的孪生素数组大于4*115/2,即不包括素数删除因子组成的孪生素数组≈230个;
" O" C7 s9 d/ `; {0 P) n% O
③、因为,(7/9)*(13/15)*(19/21)*(23/25)*(25/27)*(31/33)*……*327/329<1/8。所以,当自然数>329*329,即M大于108241时,M内的孪生素数组大于8*329/2,即不包括素数删除因子组成的孪生素数组≈1316个;
9 o- r+ t+ c* B0 E6 Z
④、因为,(7/9)*(13/15)*(19/21)*(23/25)*(25/27)*(31/33)*……*589/591<1/12。所以,当自然数>591*591,即M大于349281时,M内的孪生素数组大于12*591/2,即不包括素数删除因子组成的孪生素数组≈3546个;
+ D6 ^0 x7 o" g1 d# ~: i
⑤、因为,(7/9)*(13/15)*(19/21)*(23/25)*(25/27)*(31/33)*……*893/895<1/16。所以,当自然数>895*895,即M大于801025时,M内的孪生素数组大于16*895/2,即不包括素数删除因子组成的孪生素数组≈7160个;
2 L0 |# D/ b/ q) |+ h- G; W3 O
⑥、因为,(7/9)*(13/15)*(19/21)*(23/25)*(25/27)*(31/33)*……*1209/1211<1/20,所以,当自然数>1211*1211,即M大于1466521时,M内的孪生素数组大于20*1211/2,即不包括素数删除因子组成的孪生素数组≈12110个,实际孪生素数组与这里的计算值正付误差不超过20%;敬请各位老师进行检验,也欢迎按这里的方法延伸进行检验。
, X7 ~) H- P. z5 O% C$ i# w
………………。
& O. Y! w- `7 Y- v& K5 H) ]/ ]. P, W2 M
这里的N,指我们所取自然数的范围为M时,M开平方的值,也就是说:M≥N*N。上面孪生素数的个数≈N/2,当M的范围增大时,N的值也随之增大,N/2也随着增大,孪生素数个数会增多;还说明,当M的范围增大时,N之内的奇合数会增多,奇合数删除剩余乘积会变小,当奇合数剩余乘积小于1/K时,M内孪生素数个数≈KN/2的值会增大,这充分说明了孪生素数永远存在的道理。
" r8 y( K9 w2 Q5 ]& L a% L
5、相差4的孪生素数
: [6 g# c. ~7 }- K; W8 X
因为,大于3的素数存在于6N+1和6N+5两个等差数列之中,我们有:
) B/ R- g- @, w% b# b
(1)、(6N+5)+4=6N+9,相当于6N+3的等差数列,该数列的各个项都能够被素数3整除,不可能生成素数,故6N+5的等差数列的素数与(6N+5)+4不可能组成相差4的孪生素数。
; a; R6 s" E3 Y J4 O$ ]) V; }) [9 S
(2)、(6N+1)+4=6N+5,即6N+1的等差数列可以生成素数,6N+5的等差数列也可以生成素数,6N+1的数列与6N+5的数列都是素数时,可以组成相差4的孪生素数,具体个数与前面相差2的孪生素数的计算方法基本上一样,结果也基本上一样。
/ P5 H4 U+ V! q ^7 v/ r
6、相差6的孪生素数
' T1 J8 Z& x0 |$ }# Y4 G$ ?
因为,大于3的素数存在于6N+1和6N+5两个等差数列之中,我们有:
+ S9 q$ p) u! a2 Y# v
(1)、因为,(6N+1)+6=6(N+1)+1,相当于6N+1的数列,即存在于本数列之中。
, ~; Z5 R" \. D! \# j
(2)、因为,(6N+5)+6=6(N+1)+5,相当于6N+5的数列,即存在于本数列之中。
+ _0 W+ @) ]1 j4 W7 s; g4 E
因为,它有两个组成条件,比相差2和相差4多一个组成条件,按理来说:应该是前面相差2的孪生素数个数的两倍。但是,这里存在这样一个特殊条件,前面涉及了这方面的内容,这里我们再把它说清楚一点。这是前面所没有的:这两个等差数列的公差为6,6=2*3,公差6能够被最小的两个素数删除因子整除,因为,首项不能够被素数删除因子整除,所以,这两个等差数列的每一项都不能够被素数删除因子2和3整除,而大于3的素数删除因子都大于或等于5,即删除间隔为4个项及以上,必然存在4个连续项都是素数的情况,如素数41,47,53,59。素数47与41是相差为6的孪生素数,素数47与53也是相差为6的孪生素数,素数53与47是相差为6的孪生素数,素数53与59也是相差为6的孪生素数,如果是算3个相差为6的孪生素数组,那么,相差6的孪生素数个数,就比前面相差2的孪生素数的两倍还要多。
2 v4 A9 C. s1 ~; C, n; n, Z) |; s) `
这里,我也就不对这个问题进行探索了,我在此,留给数学爱好者们2个题:
) W" X2 J' d! d" w/ x5 _ ~2 b2 t" J
(1)、在任意自然数范围之内,相差6的4个数都是素数的素数等差数列有多少个?
% o6 f0 B8 w. W* D7 ?$ `' p7 d
(2)、在任意自然数范围之内,相差30的6个数都是素数的素数等差数列有多少个?
作者:
wangzc1634
时间:
2010-3-22 22:11
五、哥德**猜想
. Y: H4 _9 F* W0 Z- p
哥德**猜想,分为两个命题:命题1,大于6的偶数可以表示为两个奇素数之和;命题2,大于9的奇数可以表示为3个奇素数之和。只要解决了命题1,命题2就不攻自破了。下面讨论哥德**猜想命题1:
. H1 E4 @2 y+ q9 l1 q
我们在此,把两个素数之和等于偶数,称为偶数的素数对,简称为素数对。
/ U9 V: o( d3 A/ p8 j
按照本人对哥德**猜想命题1的定义:在偶数内的素数,除以素数删除因子的余数不与偶数除以素数删除因子余数相同,必然组成偶数的素数对。简称不与偶数同余的素数必然组成偶数的素数对。我们又把能够组成偶数素数对的素数称为哥德**数。
7 P. c0 }# B: y1 |& H6 ~
根据这一定义,我们不难知道:不同的偶数适应的素数生成线路不同。如任意的三个相邻偶数,它们之间的相差距离为2,如果前一个偶数除以素数3余2,它适应于1+6N线路所形成的素数,那么,第二个偶数必然除以素数3余1,它适应于5+6N线路所形成的素数,第三个偶数则必然除以素数3余0,它适应于1+6N和5+6N两条线路所形成的素数。偶数除以不同的素数删除因子余数又不同,它适应的素数也不同,为了说明这个问题,我们还是给大家一个哥德**数形成线路图吧!
' g1 R( w2 p* @/ N0 a
(一)、哥德**数形成线路图
+ ]3 E/ u6 J: `$ Y+ k% X! X
偶数不同于前面所说的范围(区域),范围只有大小之分;而偶数不仅有大小之分,它还有自己的个性之分,所谓个性是指它是否能够被哪些素数删除因子整除。偶数的大小之分决定偶数的最少素数对个数,偶数的个性决定该偶数的素数对比最少素数对偶数多的比率。
. q( o% m/ ~6 ~; [
设偶数为M,素数删除因子为2,3,5,7,11,……,N。N≤√M的最大素数。
! a; ]! S5 p2 b+ j- H+ z2 l
①、素数删除因子2,因为,偶数除以2余数都为0,而大于2的素数都是奇素数,奇素数除以2都余1,故偶数除以2的余数不与大于2的素数除以2的余数相同,所以,大于2的素数的对称数不能够被素数2整除(删除),素数删除因子2不影响大于2的素数组成偶数的素数对;
6 ?7 {" r: L8 s+ U( c
②、素数删除因子3,偶数除以3余数有三种情况:余0,余1和2。当偶数除以3余0时,与上面①相同,素数删除因子3不影响大于3的素数组成偶数的素数对;
+ h q$ U( ~( n2 Z
当偶数除以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)的素数作为组成偶数素数对的基础。从这里开始,就给偶数的素数对的存在留下了余地。
. h# Q7 y2 s8 h+ @+ I# N" Y% V
③、素数删除因子5,偶数除以5余数有5种情况:余0,余1,余2,余3,余4。当偶数除以5余0时,与上面①相同,素数删除因子5不影响大于5的素数组成偶数的素数对;
8 t: |- a* y' K
当偶数除以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的素数作为组成偶数素数对的基础。
1 [; T0 j9 i+ R- Z; t
④、素数删除因子7,偶数除以7余数有7种情况:余0,余1,余2,余3,余4,余5,余6。当偶数除以7余0时,与上面①相同,素数删除因子7不影响大于7的素数组成偶数的素数对;
% L' G( t+ @5 H
当偶数除以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的素数作为组成偶数素数对的基础。
9 G) w. |, C8 Y) D; J% M( N# @6 m$ d" b
…………
8 m7 W0 C8 i, H% }1 ~
⑤、素数删除因子N,偶数除以N余数有N种情况:余0,余1,余2,余3,余4,余5,余6,……,余N-1。当偶数除以N余0时,与上面①相同,素数删除因子N不影响大于N的素数组成偶数的素数对;
' e8 P4 \8 O6 X! 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)的素数作为组成偶数素数对的基础。
, D3 l4 s, U- S, M
即哥德**数形成线路图因偶数而异:在前面的素数生成线路图的基础上,如果偶数能够被奇素数删除因子K整除,奇素数删除因子K不改变前面的素数生成线路图;如果偶数不能够被奇素数删除因子K整除,奇素数删除因子K在前面的素数生成线路图中,删除与偶数除以K余数相同的素数生成线路,剩余(K-2)/(K-1)条哥德**数生成线路。因为,(K-2)/(K-1)≠0,所以,永远有哥德**生成线路存在。
" f0 }. j1 R [7 G& y: E
小结:用偶数内的素数,偶数与素数同时除以所有素数删除因子,不与偶数同余的素数,必然组成偶数的素数对。反过来,除由素数删除因子组成的素数对外,其它能够组成偶数素数对的素数,除以素数删除因子的余数,必然不与偶数除以素数删除因子的余数相同。
% ^ H" u! ^$ A" J
因为,偶数既分为是否能够被哪些素数删除因子整除,又分为除以各素数删除因子的余数不同,决定偶数的素数对适应哪些素数,不适应哪些素数。对于每一个具体的偶数,哥德**数的形成线路不同,我就不将偶数的哥德**数形成线路图进行具体的描述,如果哪位老师要将它绘制出来的话,只有选择一个具体的偶数。
2 H9 z: I3 d9 q; G. Q8 J9 M
(二)、最低素数对偶数的素数对计算
+ y. N+ n! W# R
最低素数对偶数,是指不能够被所有奇素数删除因子整除的偶数。
! J9 _) m0 ]3 X0 L8 G
设偶数为M,素数删除因子为2,3,5,7,11,……,N。N≤√M的最大素数。
, c" W( K9 v; y1 @1 v
偶数内不包括素数删除因子的素数为:M*[(N-1)/N]*……(12/13)*(10/11)*(6/7)*(4/5)*(2/3)*(1/2)-1,这里的减去1为自然数1。当然,随着偶数的增大,减1可以忽略不计。
# O- N" q5 F- `7 i+ j. V$ K
上面,我们在“偶数内哪些素数的对称数是素数”的探索中,得知:偶数如果能够被某一个素数删除因子整除,该素数删除因子不影响素数组成偶数的素数对;偶数如果不能够被素数删除因子N整除,那么,素数删除因子N必然阻止1/(N-1)的素数组成偶数素数对,剩余(N-2)/(N-1)的素数作为组成偶数素数对的基础。由此可见,不能够被所有奇素数删除因子整除的偶数的素数对,必然少于能够被部份素数删除因子整除的偶数的素数对。也就是说,我们在此选择不能够被所有奇素数删除因子整除的偶数进行探讨,如果说,它们都有素数对的存在,那么,其它偶数更应该有素数对的存在。
8 H6 v! H% C) i9 C2 G4 _. g
不能够被所有奇素数删除因子整除的偶数,偶数内不包含素数删除因子组成的素数对,即大于素数删除因子的素数的对称数也是素数的计算为:(N-2)/(N-1)*……(11/12)*(9/10)*(5/6)*(3/4)*(1/2)
, ?- g1 J! f; y' u
我们将偶数内不包括素数删除因子的素数,与素数的对称数也是素数的计算相乘,得哥德**猜想数为: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)
) U6 P2 w9 w G
=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)
' n0 R/ R% b6 f( ~; c f
=M*(N-2)/N*……*(11/13)*(9/11)*(5/7)*(3/5)*(1/3)*(1/2)
$ u) E P: f3 H- N8 I
素数对的计算方法一:
* ^6 |2 A" A$ ^1 l
上面,只能说明偶数内有多少素数可以组成偶数的素数对,我们知道,一个素数对为两个素数,我们把上式再除以2,即乘以1/2为偶数内不包括素数删除因子所组成的素数对为:
, b6 I$ E/ P: G' c( ]9 c6 O
M*(1/2)*(N-2)/N*……*(11/13)*(9/11)*(5/7)*(3/5)*(1/3)*(1/2)
+ w% Z! j# O) ~# b* `$ f# F
因为,M≥N*N,我们把它代入有:(N*N/4)*(N-2)/N*……*(11/13)*(9/11)*(5/7)*(3/5)*(1/3)。
. D6 V( k6 D, S4 ~% ~
因为,(N-2)/N<1,当偶数M的值无限增大时,√M的值也随着增大,素数删除因子的个数也随着增多,(N-2)/N*……*(11/13)*(9/11)*(5/7)*(3/5)*(1/3)的值随着减小,说明了偶数M内能够组成偶数素数对的数的比率,即哥德**数与偶数的比率随着偶数的增大而变小。
作者:
wangzc1634
时间:
2010-3-22 22:12
这里有两点要进行说明:
, v* s& D- z% ]4 d1 h# F
1、这里的计算,按理来说,偶数内的最大素数删除因子N≤√M,该计算结果应该≥偶数的实际素数对。(1)、N≤√M,有N<√M的时候,当然也有N=√M的时候;(2)、当N<√M时,因为,随着偶数的无限增大,这里的小于之差与偶数之比是微不足道,几乎可以忽略不计,所以,不能够冒险运用大于符号。(3)、探索者们都知道:不论对合数的删除,还是素数对称合数的删除,比例都是相对的,而不是绝对的,所以,这种计算方法只能是近似值,而不是绝对值。这种近似程度到底是多少呢?经本人的多次验算,当偶数大于270时,偶数的素数对计算数与实际素数对的正付误差不会超过10%,最低素数对偶数我们不说正付误差10%,说个保守一点的数字,当偶数大于270时,就打算正付误差20%,偶数的实际素数对也不会低于4个素数对,更不用说在下面向大偶数推进的计算中,正付误差20%更有素数对的存在。
8 b# J) n" g* Z7 d
素数对的计算方法二:
( e ?3 }( w; T1 g) ?& l. N
我们知道,从素数3到最大的素数删除因子N之间的奇数中存在奇合数,奇合数是不直接参与对合数的删除,也不参与对素数对称合数的删除,故在上式中缺少合数的删除。所以,(N-2)/N*……*(11/13)*(9/11)*(5/7)*(3/5)*(1/3)≥1/N,这里的大于,是在3到N之间没有奇合数参与删除的前题下。那么,我们增加不该增加的奇合数的删除,上式变为(N*N/4)(N-2)/N*……*(11/13)*(9/11)*(7/9)*(5/7)*(3/5)*(1/3)=N/4。为素数对的计算方法二。
0 ]1 q3 ]: q/ m$ O" {+ L/ N
说到这里,当看到“偶数的最低素数对≈N/4”时,可能有的老师又会列举个别小偶数,说这种证明方法有误。如偶数68,(√68)/4≈2.06。为什么不包括素数删除因子组成的素数对,只有31+37。对于偶数68来说:一方面最大的奇素数删除因子,只能够是小于偶数开平方的奇素数7,而不应该理解为√68≈8.24。奇合数都不直接参与删除,更不用说小数了。按7/4=1.75,素数对不可能是小数,只能够取整数;另一方面不能够被素数删除因子整除的奇数对,还有1+67。要彻底买过不能够被素数删除因子整除的1+(M-1)这个奇数对,偶数得大于270之后。最好是请各位老师从以下偶数的近似素数对≈K(√M)/4去检验,即下面的推理为不能够被所有素数删除因子整除的素数对的近似值,这里所说的近似值指计算数与实际数误差不超过(保守数)20%。
" V7 R1 w. M4 O/ \* o4 A6 O' p
因为,最低素数对偶数的素数对≈N/4,是在增加了不该增加的奇合数删除的前提下取得的,要恢复该式的原来计算值,必须除以不该增加的奇合数删除乘积,我们有奇合数删除乘积为:
+ M) Z9 G5 r1 d( ~2 ]1 W8 T
1、因为,(7/9)*(13/15)*(19/21)*(23/25)*(25/27)*(31/33)≈0.488,0.488<1/2。所以,当偶数>33*33,即偶数大于1089,最低素数对偶数,不包括由素数删除因子组成的素数对≈2(√M)/4。这里说的是偶数的实际素数对与计算数误差不超过20%,误差有正付误差,就打算实际数低于计算数的20%,有2*33/4(1-20%)=13.2。即不低于13对。如果我们按计算数,素数对与偶数的比≈16.5:1089≈1:66。
( `% E: h9 C& P% V/ |' P: {
2、因为,(7/9)*(13/15)*(19/21)*(23/25)*(25/27)*(31/33)*……*67/69<1/3。所以,当偶数>69*69,即偶数大于4761,最低素数对偶数,不包括由素数删除因子组成的素数对≈3(√M)/4;
" m* ]4 W! p; p% W# s
3、因为,(7/9)*(13/15)*(19/21)*(23/25)*(25/27)*(31/33)*……*113/115<1/4。所以,当偶数>115*115,即偶数大于13225,最低素数对偶数,不包括由素数删除因子组成的素数对≈4(√M)/4;
9 Z- r/ m; b/ E( w
4、因为,(7/9)*(13/15)*(19/21)*(23/25)*(25/27)*(31/33)*……*157/159<1/5。所以,当偶数>159*159,即偶数大于25281,最低素数对偶数,不包括由素数删除因子组成的素数对≈5(√M)/4;
+ O- ]& }/ L' N6 Z& G+ \+ e
5、因为,(7/9)*(13/15)*(19/21)*(23/25)*(25/27)*(31/33)*……*211/213<1/6。所以,当偶数>213*213,即偶数大于45369,最低素数对偶数,不包括由素数删除因子组成的素数对≈6(√M)/4;
" P! u+ G# P0 O: r
6、因为,(7/9)*(13/15)*(19/21)*(23/25)*(25/27)*(31/33)*……*265/267<1/7。所以,当偶数>267*267,即偶数大于71289,最低素数对偶数,不包括由素数删除因子组成的素数对≈7(√M)/4;
" B; q' U9 v% M$ E, w
7、因为,(7/9)*(13/15)*(19/21)*(23/25)*(25/27)*(31/33)*……*327/329<1/8。所以,当偶数>329*329,即偶数大于108241,最低素数对偶数,不包括由素数删除因子组成的素数对≈8(√M)/4;
$ |- w a C2 Q/ ^2 s
8、因为,(7/9)*(13/15)*(19/21)*(23/25)*(25/27)*(31/33)*……*391/393<1/9。所以,当偶数>393*393,即偶数大于154449,最低素数对偶数,不包括由素数删除因子组成的素数对≈9(√M)/4;
4 n" j; g R8 v7 N
9、因为,(7/9)*(13/15)*(19/21)*(23/25)*(25/27)*(31/33)*……*457/459<1/10。所以,当偶数>459*459,即偶数大于210681,最低素数对偶数,不包括由素数删除因子组成的素数对≈10(√M)/4;
7 u' |' j* E P: |5 J" n- m! v
10、因为,(7/9)*(13/15)*(19/21)*(23/25)*(25/27)*(31/33)*……*531/533<1/11。所以,当偶数>533*533,即偶数大于284089,最低素数对偶数,不包括由素数删除因子组成的素数对≈11(√M)/4;
% U! H) H: Y; f# I: q
11、因为,(7/9)*(13/15)*(19/21)*(23/25)*(25/27)*(31/33)*……*589/591<1/12。所以,当偶数>591*591,即偶数大于349281,最低素数对偶数,不包括由素数删除因子组成的素数对≈12(√M)/4;
7 Q* U% o6 f3 u
12、因为,(7/9)*(13/15)*(19/21)*(23/25)*(25/27)*(31/33)*……*669/671<1/13。所以,当偶数>671*671,即偶数大于450241,最低素数对偶数,不包括由素数删除因子组成的素数对≈13(√M)/4;
. Y8 H: M2 C, Q- a6 p2 Y3 G8 h
13、因为,(7/9)*(13/15)*(19/21)*(23/25)*(25/27)*(31/33)*……*735/737<1/14。所以,当偶数>737*737,即偶数大于543169,最低素数对偶数,不包括由素数删除因子组成的素数对≈14(√M)/4;
0 @6 z) d8 S+ h2 {8 S
14、因为,(7/9)*(13/15)*(19/21)*(23/25)*(25/27)*(31/33)*……*811/813<1/15。所以,当偶数>813*813,即偶数大于660969,最低素数对偶数,不包括由素数删除因子组成的素数对≈15(√M)/4;
. C" A% {+ H/ `; z% @ z0 _
15、因为,(7/9)*(13/15)*(19/21)*(23/25)*(25/27)*(31/33)*……*893/895<1/16。所以,当偶数>895*895,即偶数大于801025,最低素数对偶数,不包括由素数删除因子组成的素数对≈16(√M)/4;
/ P9 j% K, s/ f* j0 N p
16、因为,(7/9)*(13/15)*(19/21)*(23/25)*(25/27)*(31/33)*……*963/965<1/17。所以,当偶数>965*965,即偶数大于931225,最低素数对偶数,不包括由素数删除因子组成的素数对≈17(√M)/4;
/ s3 b- \6 y& }# x3 l
17、因为,(7/9)*(13/15)*(19/21)*(23/25)*(25/27)*(31/33)*……*1053/1055<1/18。所以,当偶数>1055*1055,即偶数大于1113025,最低素数对偶数,不包括由素数删除因子组成的素数对≈18(√M)/4;
* W$ ~, N% G' Y- x( A- c3 E
18、因为,(7/9)*(13/15)*(19/21)*(23/25)*(25/27)*(31/33)*……*1135/1137<1/19。所以,当偶数>1137*1137,即偶数大于1292769,最低素数对偶数,不包括由素数删除因子组成的素数对≈19(√M)/4;
2 i: O& Q, S# j# y. @5 F
19、因为,(7/9)*(13/15)*(19/21)*(23/25)*(25/27)*(31/33)*……*1209/1211<1/20。所以,当偶数>1211*1211,即偶数大于1466521,最低素数对偶数,不包括由素数删除因子组成的素数对≈20(√M)/4;
+ G6 @. n1 d9 g/ h" N, {
20、因为,(7/9)*(13/15)*(19/21)*(23/25)*(25/27)*(31/33)*……*1303/1305<1/21。所以,当偶数>1305*1305,即偶数大于1703025,最低素数对偶数,不包括由素数删除因子组成的素数对≈21(√M)/4;
8 H4 o' G% ~1 u( ^1 Q0 s
21、因为,(7/9)*(13/15)*(19/21)*(23/25)*(25/27)*(31/33)*……*1383/1385<1/22。所以,当偶数>1385*1385,即偶数大于1918225,最低素数对偶数,不包括由素数删除因子组成的素数对≈22(√M)/4;
作者:
wangzc1634
时间:
2010-3-22 22:12
22、因为,(7/9)*(13/15)*(19/21)*(23/25)*(25/27)*(31/33)*……*1439/1441<1/23。所以,当偶数>1441*1441,即偶数大于2076481,最低素数对偶数,不包括由素数删除因子组成的素数对≈23(√M)/4;
* Q% ~$ Z9 o( {' O8 C; _( S& g
23、因为,(7/9)*(13/15)*(19/21)*(23/25)*(25/27)*(31/33)*……*1563/1565<1/24。所以,当偶数>1565*1565,即偶数大于2449225,最低素数对偶数,不包括由素数删除因子组成的素数对≈24(√M)/4;
8 X" G) {' w2 G* V* s9 m
24、因为,(7/9)*(13/15)*(19/21)*(23/25)*(25/27)*(31/33)*……*1653/1655<1/25。所以,当偶数>1655*1655,即偶数大于2739025,最低素数对偶数,不包括由素数删除因子组成的素数对≈25(√M)/4;
) A8 A& G0 O1 L) ?9 h
25、因为,(7/9)*(13/15)*(19/21)*(23/25)*(25/27)*(31/33)*……*1707/1707<1/26。所以,当偶数>1707*1707,即偶数大于2913849,最低素数对偶数,不包括由素数删除因子组成的素数对≈26(√M)/4;
) n6 v2 P) _. J, P0 m: r% {6 [. {
26、因为,(7/9)*(13/15)*(19/21)*(23/25)*(25/27)*(31/33)*……*1793/1795<1/27。所以,当偶数>1795*1795,即偶数大于3222025,最低素数对偶数,不包括由素数删除因子组成的素数对≈27(√M)/4;
' M' |; R7 n' L7 p, F! d: D
27、因为,(7/9)*(13/15)*(19/21)*(23/25)*(25/27)*(31/33)*……*1885/1887<1/28。所以,当偶数>1887*1887,即偶数大于3560769,最低素数对偶数,不包括由素数删除因子组成的素数对≈28(√M)/4;
( X+ n: {& j. v8 L6 S& N0 N
28、因为,(7/9)*(13/15)*(19/21)*(23/25)*(25/27)*(31/33)*……*1965/1967<1/29。所以,当偶数>1967*1967,即偶数大于3869089,最低素数对偶数,不包括由素数删除因子组成的素数对≈29(√M)/4;
! W& R2 ?( u' p/ v$ p2 M
29、因为,(7/9)*(13/15)*(19/21)*(23/25)*(25/27)*(31/33)*……*2063/2065<1/30。所以,当偶数>2065*2065,即偶数大于4264225,最低素数对偶数,不包括由素数删除因子组成的素数对≈30(√M)/4;
3 h+ W! x0 U w+ j
30、因为,(7/9)*(13/15)*(19/21)*(23/25)*(25/27)*(31/33)*……*2161/2163<1/31。所以,当偶数>2163*2163,即偶数大于4678569,最低素数对偶数,不包括由素数删除因子组成的素数对≈31(√M)/4;
# i- t' C) s. v# Y+ f
31、因为,(7/9)*(13/15)*(19/21)*(23/25)*(25/27)*(31/33)*……*2251/2253<1/32。所以,当偶数>2253*2253,即偶数大于5076009,最低素数对偶数,不包括由素数删除因子组成的素数对≈32(√M)/4;
# ]8 f+ f; w) `0 |; s# V
32、因为,(7/9)*(13/15)*(19/21)*(23/25)*(25/27)*(31/33)*……*2353/2355<1/33。所以,当偶数>2355*2355,即偶数大于5546025,最低素数对偶数,不包括由素数删除因子组成的素数对≈33(√M)/4;
% I, ?+ p* g9 s F& V# v
33、因为,(7/9)*(13/15)*(19/21)*(23/25)*(25/27)*(31/33)*……*2413/2415<1/34。所以,当偶数>2415*2415,即偶数大于5832225,最低素数对偶数,不包括由素数删除因子组成的素数对≈34(√M)/4;
; L* x; O9 ?( i7 d' d
34、因为,(7/9)*(13/15)*(19/21)*(23/25)*(25/27)*(31/33)*……*2505/2507<1/35。所以,当偶数>2507*2507,即偶数大于6285049,最低素数对偶数,不包括由素数删除因子组成的素数对≈35(√M)/4;
/ v+ w% S! a% r' G
35、因为,(7/9)*(13/15)*(19/21)*(23/25)*(25/27)*(31/33)*……*2597/2599<1/36。所以,当偶数>2599*2599,即偶数大于6754801,最低素数对偶数,不包括由素数删除因子组成的素数对≈36(√M)/4;
0 a( E' ?1 s5 ^. S7 {+ {
36、因为,(7/9)*(13/15)*(19/21)*(23/25)*(25/27)*(31/33)*……*2695/2697<1/37。所以,当偶数>2697*2697,即偶数大于7273809,最低素数对偶数,不包括由素数删除因子组成的素数对≈37(√M)/4;
- Q/ P ~0 C5 E9 F" w5 f. V2 e2 u9 n/ n
37、因为,(7/9)*(13/15)*(19/21)*(23/25)*(25/27)*(31/33)*……*2803/2805<1/38。所以,当偶数>2805*2805,即偶数大于7868025,最低素数对偶数,不包括由素数删除因子组成的素数对≈38(√M)/4;
" }; j! F2 _- v8 b, `* S
38、因为,(7/9)*(13/15)*(19/21)*(23/25)*(25/27)*(31/33)*……*2897/2899<1/39。所以,当偶数>2899*2899,即偶数大于8404201,最低素数对偶数,不包括由素数删除因子组成的素数对≈39(√M)/4;
9 ]9 c! W0 t2 a" J2 ~
39、因为,(7/9)*(13/15)*(19/21)*(23/25)*(25/27)*(31/33)*……*2991/2993<1/40。所以,当偶数>2993*2993,即偶数大于8958049,最低素数对偶数,不包括由素数删除因子组成的素数对≈40(√M)/4;这里说的是偶数的实际素数对与计算数误差不超过20%,误差有正付误差,就打算实际数低于计算数的20%,有[40*2993/4](1-20%)=23944。即不低于23944对。如果我们按计算数,素数对与偶数的比≈29930:8958049≈1:299。
& ^/ o( ]9 J" S' y2 H+ c
40、因为,当(7/9)*(13/15)*(19/21)*(23/25)*(25/27)*(31/33)*……*(R-2)/R<1/K时。设:偶数>R*R,最低素数对偶数,不包括由素数删除因子组成的素数对≈[K(√M)/4]*80%;
/ |( h; [; b- H6 E/ `
从上面对最低素数对偶数的素数对的近似计算,我们可以看出正反两个方面的问题:一方面当偶数从大于1089增加到大于8958049时,素数对从16对增加到29930,说明最低素数对偶数的素数对随偶数的增加而增加,小于或等于计算数的80%(绝对值);另一方面素数对与偶数的比从1:66减少到1:299。这充分地反映了随着偶数的增大,偶数内素数的密度减小,也反映了随着偶数的增大,偶数内能够组成偶数的素数对的素数的比率在减小,这完全符合客观规律。从最低素数对偶数的素数对的近似计算,完全可以证明哥德**猜想成立!
& E! c8 F8 A- D
(三)、较多素数对偶数的计算方法
1 r! p8 C1 s# c$ h3 V% A
上面为在某一个区域内,最低素数对偶数的素数对不低于计算数的20%。我们知道偶数的素数对参差不齐,这是由偶数的个性决定的。比如说,3个连续偶数中有一个偶数能够被素数3整除,它的素数对多于相邻2个偶数;5个连续偶数中有一个偶数能够被素数5整除,它的素数对次多于相邻4个偶数;7个连续偶数中有一个偶数能够被素数7整除,它的素数对再次多于相邻6个偶数;……。这一性质就决定了偶数的素数对多与少的问题,为了解决这个问题,我们设偶数能够被奇素数删除因子N整除,就在上面的结论中乘以(N-1)/(N-2),如:偶数能够被奇素数3整除,就在上面最低素数对偶数的基础上乘以(3-1)/(3-2)=2;又如偶数能够被奇素数删除因子3和5整除,就在上面最低素数对偶数的基础上乘以(3-1)/(3-2)和(5-1)/(5-2),即乘以8/3;再如偶数能够被奇素数删除因子3,5,7整除,就在上面最低素数对偶数的基础上乘以(3-1)/(3-2),(5-1)/(5-2),(7-1)/(7-2),即乘以16/5。
+ _; n4 \ Z/ P0 _# t- N) B
如偶数1090,该偶数>33*33,即>1089,按最低素数对偶数看近似素数对应该为2*33*1/4。因√1090≈33,而偶数1090能够被小于33的奇素数5整除,那么,该偶数的近似素数对为[2*35*1/4]*(5-1)/(5-2)≈22对,它不包括素数删除因子组成的素数对不低于22*20%≈17对。又如偶数1260,该偶数>33*33,即>1089,小于69*69,即偶数小于4761,该偶数最低素数对近似数应该为2*33*1/4。因√1260≈35,而偶数1260能够被小于35的奇素数3,5,7整除,就在上面最低素数对偶数的基础上乘以(3-1)/(3-2),(5-1)/(5-2),(7-1)/(7-2),即不包括素数删除因子组成的素数对近似计算为:[2*35*1/4]*[(3-1)/(3-2)]*[(5-1)/(5-2)]*[(7-1)/(7-2)]≈56。该偶数的素数对为:66*80%≈45对。该偶数不包括素数删除因子组成的素数对:应该在56对的正付误差的80%之内。至于偶数能否被素数删除因子整除,这只是体现偶数的素数对多于不能够被素数删除因子整除的K倍的问题,这属于偶数素数对的相对值。
作者:
wangzc1634
时间:
2010-3-22 22:13
前面说了,因为,自然数1不是素数,1又不能够被所有素数删除因子整除。所以,我们在使用这种素数对的近似计算方法时,当1的对称数也不能够被素数删除因子整除,为假素数对。造成了偶数68不包括素数删除因子组成的素数对少于计算数。如果,我们按偶数68开始,用偶数的素数对不低于[(√68)/4]*80%≈1.65,那么,我们知道,这1个假素数对的份量,应该占据多大。所以,我们设偶数为M,当M≥270时,仍然按最低素数对偶数的素数对的近似计算为:[(√M)/4]*80%,当偶数≥1089之后,按上面的(7/9)*(13/15)*(19/21)*(23/25)*(25/27)*(31/33)*……*(N-2)/N<1/K。所以,当偶数>R*R,最低素数对偶数,不包括由素数删除因子组成的素数对≥[K(√M)/4]*80%;如果偶数还能够被小于√M的奇素数整除,设偶数能够被奇素数删除因子N整除,再在上面的结论中乘以(N-1)/(N-2)作为该偶数的近似素数对。
' B; H- J: X* J$ v
有人问我:为什么喜欢使用(√M)/4?我的回答是:不是喜欢与不喜欢的问题,是任何东西,我们必须从事物的客观发展规律出发,才能够真正认识和了解事物。
6 _, ?/ q: M- m4 d
(四)、证明
: Z' }: Y/ E5 }* Y- ^7 k
证明1,哥德**猜想命题1
, z/ {' p2 D1 ~8 L- E
因为,偶数的素数对近似计算为(√M)/4,当偶数M≥16时,(√M)/4≥1,证明偶数有1+1的素数对存在,事实上当偶数M≥16时,都有不包括素数删除因子所组成的素数对存在。
+ u2 l+ x S& a5 G, x
当偶数M≥270时,最低素数对偶数的素数对的近似计算为:[(√M)/4]*80%;至于偶数M≥1089之后,按上面的(7/9)*(13/15)*(19/21)*(23/25)*(25/27)*(31/33)*……*(N-2)/N<1/K。最低素数对偶数,不包括由素数删除因子组成的素数对≈[K(√M)/4]*80%,说明偶数越大,小于√M的奇合数越多,K的值越大,能够说明最低素数对偶数的素数对值[K(√M)/4]*80%越大,偶数的素数对越多;至于偶数能够被大于√M)的奇素数删除因子整除,设偶数能够被奇素数删除因子N整除,再在上面的结论中乘以(N-1)/(N-2)作为该偶数的最低素数对。因(N-1)/(N-2)>1,再次说明,能够被素数删除因子整除的偶数的素数对大于不能够被素数删除因子整除的偶数的素数对。
: I, C; d6 h4 @8 {
又因为,当偶数≥6,至270,还是1088,我们都知道偶数有素数对的存在。当偶数≥1089时,偶数的素数对≈[2(√M)/4]*80%,即≈[(√M)/2]*80%,≈[(√1089)/2]*80%,≈13对,也说明有素数对的存在。我们考虑偶数270,居于两个方面:一方面考虑了偶数的素数对避开了由1与M-1所组成的奇数,造成没有不包括素数删除因子所组成的素数对的现象;另一方面,我们也考虑了最低素数对偶数不低于计算数的80%两种因素,敬请各位老师进行验证哈!
4 r2 W5 l% f6 S" C2 H- }
当偶数>115*115,即偶数大于13225,最低素数对偶数,不包括由素数删除因子组成的素数对≈4(√M)/4;即偶数的素数对≈[4(√M)/4]*80%,≈(√M)*80%;当偶数>2993*2993时,即偶数大于8958049,最低素数对偶数,不包括由素数删除因子组成的素数对≈40(√M)/4,≈10(√M)*80%,说明大于8958049的偶数有素数对的存在,这里说明随着偶数的增大,√M的值会增大,偶数的素数对会增多,(19/21)*(23/25)*(25/27)*(31/33)*……*(R-2)/R会减小,[R(√M)/4]*80%的值会增大,说明偶数的素数对会增多;再有一个方面,随着偶数的增大,素数3至√M的素数删除因子会增加,偶数能够被奇素数删除因子整除的机遇会增加,设偶数能够被素数删除因子N整除,能够被素数删除因子整除的偶数的素数对是不能够被素数删除因子整除的偶数的素数对的(N-1)/(N-2)倍,也证明偶数的素数对永远存在。所以,大于6的偶数,有1+1的素数对存在,哥德**猜想命题1成立。
3 Z* Y6 {- S, d8 N0 ?0 D, {1 O
证明2,哥德**猜想命题2,
& P( l! n, |: s
因为,大于6的偶数可以表示为1+1的素数对,所以,大于9的奇数,可以表示为3+大于6的偶数的素数对;
l1 P Y( K7 V( [. I
因为,大于6的偶数可以表示为1+1的素数对,所以,大于11的奇数,可以表示为5+大于6的偶数的素数对;
0 r2 Q R; u8 q# Z
因为,大于6的偶数可以表示为1+1的素数对,所以,大于13的奇数,可以表示为7+大于6的偶数的素数对;
) Z8 u2 l; ?' |) \2 ?+ x& x: W
因为,大于6的偶数可以表示为1+1的素数对,所以,大于17的奇数,可以表示为11+大于6的偶数的素数对;
% b/ V5 m) I5 K$ U/ h9 I% b
………………
, z, ~ {' x) k
所以,哥德**猜想命题2成立。
) \, t, b% B+ n) w. b
(五)、哥德**猜想与孪生素数的区别
1 \; E$ B8 _$ d$ X
孪生素数指的是区域内的孪生素数组的个数,在某一个区域内孪生素数组的个数是固定的;而哥德**猜想指的是具体偶数的素数对,由于不同的偶数除以素数删除因子的余数不同,决定组成偶数素数对的素数不同,又由于偶数是否能够被素数删除因子整除,决定偶数的素数对的多与少。但不能够被所有素数删除因子整除的偶数的素数对,是该偶数区域内相差2的孪生素数个数的1/2。
. f4 r1 h. M' P: F
总结:素数的分布、孪生素数、素数等差数列、哥德**猜想都是探讨素数的分布和结构的,其目的是为了人们充分、全面地认识和了解素数。
' p; M4 b3 a. R u, V0 Y h4 k
本人能够写出本文的内容,说明了两点:
5 j+ ]! f- B( q7 M) H8 ]4 H# O1 y6 O
1、本人的文化水平低,不能够看懂前人的文章,出牌不可能按照前人的导路出牌,我是“**”时期的高中生,相当于现在的小学文凭。
e* Y$ }7 I- H* `/ ^
2、哥德**猜想,本来就不是什么难题,只是被人们神化了而已。
2 ?$ r7 Y( r( G+ G! B% B9 R, h
探索者:四川省三台县工商局:王志成。
/ e7 A& `+ R4 d a; [: _9 X
2009年12月30日
作者:
clanswer
时间:
2010-3-22 22:16
这个好长,看完需要一些耐心,呵呵
作者:
wangzc1634
时间:
2010-3-23 20:23
附件一、素数的计算方法
9 E- M9 k( Z$ L4 u: a8 M' F; e6 N
例计算300之内的素数,因√300≈17,故素数删除因子为:2,3,5,7,11,13,17。
5 ]+ [ E6 | T3 K8 }
1、 素数2的删除,在自然数2之内,删除2,剩余1,即剩余等差数列1+2N作为寻找素数的基础;
% p1 {& j2 M! O6 K0 j3 }$ e: l
2、 素数3的删除,在自然数2*3=6之内,也就是等差数列1+2N取与素数3相同的项3项有:1,3,5。删除能被3整除的3后,剩余1和5,用2*3=6为公差组成等差数列:1+6N和5+6N两个数列,作为发展素数的基础;
( M% a; a% b* X4 p2 b
3、 素数5的删除,在自然数2*3*5=30之内,也就是上面的两个数列各取与素数5相同的项5项有:1+6N为:1,7,13,19,25;5+6N有:5,11,17,23,29。用首项乘以5得删除数为:5,25,我们把它们删除后,剩余1,7,11,13,17,19,23,29。以这些数为首项,2*3*5=30为公差组成8个等差数列;
; ~. b/ w8 ^3 C2 P* u0 v8 b
4、 素数7的删除,在自然数2*3*5*7=210之内,也就是上面8个等差数列中各取与7相同的项7项有:
: p; u5 T2 N H
1+30N为:1,31,61,91,121,151,181,
; Z7 m7 l) h, y9 i, H8 F" V) p
7+30N为:7,37,67,97,127,157,187,
5 F' Y4 @6 V& U- R- \; H. O0 f4 H
11+30N为:11,41,71,101,131,161,191,
2 t( i6 d: G @: k
13+30N为:13,43,73,103,133,163,193,
7 I% G, ^/ e. d- w& d8 b
17+30N为:17,47,77,107,137,167,197,
- ^" G8 Y/ m5 `5 o
19+30N为:19,49,79,109,139,169,199,
) `0 E' b2 [6 T* l3 _2 l9 K* `
23+30N为:23,53,83,113,143,173,203,
' t0 s) a* s, C3 t# P
29+30N为:29,59,89,119,149,179,209。
) F1 Y: s- P7 r5 P& K& s# i
用素数7乘以首项得删除数为:7,49,77,91,119,133,161,203,我们把它们删除;
+ ^- y; y5 a! E* O; |! F. M
5、素数11的删除,因300小于2*3*5*7*11=2310,我们不能按上面的方法继续。又因300-210=90。上面删除后的剩余数与我们用210分别加上上面删除后在90之内的剩余数有:1,11,13,17,19,23,29,31,37,41,43,47,53,59,61,67,71,73,79,83,89,97,101,103,107,109,113,121,127,131,137,139,143,149,151,157, 163,167,169,173,179,181,187,191,193,197,199,209;211,221,223,227,229,233,239,241,247,251,253,257,263,269,271,277,281,283,289,293,299。
* U& H, x0 U# v' r) d, z. ?
因300/11≈27,我们用11分别乘以这里的27之内的数,得素数11的删除数为:11,121,143,187,209,253,我们把它们删除;
) c9 \ Q1 k$ e0 B2 G
6、素数13的删除,上面删除后剩余:
# V9 l; Y3 [0 Y |2 h0 V' ^
1, 13,17,19,23,29,31,37,41,43,47,53,59,61,67,71,73,79,83,89,97,101,103,107,109,113, 127,131,137,139, 149,151,157, 163,167,169,173,179,181, 191,193,197,199, 211,221,223,227,229,233,239,241,247,251, 257,263,269,271,277,281,283,289,293,299。
1 B$ H6 ^0 y. \! l
因300/13≈23,我们用13分别乘以这里的23之内的数,得素数13的删除数为:13,169,221,247,299,我们把它们删除;
q# l5 c# U4 n9 J d* ]" ]
7、素数17的删除,上面删除后剩余:
, R8 |8 N) {% t& Z
1, 17,19,23,29,31,37,41,43,47,53,59,61,67,71,73,79,83,89,97,101,103,107,109,113, 127,131,137,139, 149,151,157, 163,167, 173,179,181, 191,193,197,199, 211, 223,227,229,233,239,241, 251, 257,263,269,271,277,281,283,289,293。
, Y8 k. X& ?6 Q+ a( L8 p5 v8 a
因300/17≈17,我们用17分别乘以这里的17之内的数,得素数17的删除数为:17,289我们把它们删除后剩余:
1 F$ m% W3 W+ ~4 \1 J
1,19,23,29,31,37,41,43,47,53,59,61,67,71,73,79,83,89,97,101,103,107,109,113, 127,131,137,139, 149,151,157, 163,167, 173,179,181, 191,193,197,199, 211, 223,227,229,233,239,241, 251, 257,263,269,271,277,281,283, 293。
: ^ a0 `9 R: {5 G
这些剩余数中删除自然数1,再加上素数删除因子2,3,5,7,11,13,17。就是自然数300之内的全部素数。
4 b9 @5 w1 X3 J& U/ B1 e# C7 K
如果我们用前面所说的计算方法有:
i& E" O! Q+ y o8 x, D% l& n
300*(1/2)*(2/3)*(4/5)*(6/7)*(10/11)*(12/13)*(16/17)+7=61个素数。实际数为62个,略大于计算数。
& T0 T L9 z+ W9 C" L7 y
须要说明的是:这是严格按照素数形成线路图进行计算的,在素数形成线路图上看来好象是随着自然数范围的扩大,素数形成线路越来越多,但实际上,大家都能看得出来:这里的值是从开头就是,1/2,2/3,4/5,6/7,…,(N-1)/N,一直在减少,这就是自然数与素数形成的客观规律。当然,永远存在的道理,前面已经说了,这里不在说了。
作者:
luyi1967314
时间:
2010-3-26 04:37
你写的真好!希望常联系:你能帮我找到更多的数论朋友吗?如果你是或你以后找到了请用电子邮箱联系,我的电子邮箱:
luyi1967314@126.com
作者:
wangzc1634
时间:
2010-3-28 09:06
附件二、孪生素数的计算方法
9 r7 n% G9 `4 W& B8 N, b
计算500之内的孪生素数组,因√500≈22。即素数删除因子应为:2,3,5,7,11,13,17,19。而根据孪生素数起源于(5,7),是素数2,3删除后的第一组,因此,素数删除因子从素数5开始。
1 e: i5 k. _" r% t3 Z7 @5 D- O
1、 素数5的删除,按素数2,3删除后的等差数列5+6N,我们取与素数5相同的5个项有:
3 v2 v8 X. r5 a3 ~" T# R5 j3 v
5,11,17,23,29.在这5个项中必然有一个项能被5整除,有一个项+2能被5整除,这两个项为5,23,我们把它们删除,剩余11,17,29。以2*3*5=30为公差组成三个等差数列:11+30N,17+30N,29+30N
3 M# Q" F& Z9 v8 z: p
2、 素数7的删除,我们将上面三个数列各取与素数相同的7个项有:
9 t0 q) P3 r2 C9 P% Y* T+ W0 V" H
11+30N有:11,41,71,101,131,161,191,
! x' U7 i; _$ @. H
17+30N有:17,47,77,107,137,167,197,
9 G& d8 D8 @& `9 B- C4 P
29+30N有:29,59,89,119,149,179,209,
6 n' |3 h3 p& X
每个数列的7个连续项必然有一个项被素数7整除,必然有一个项+2被素数7整除,有77,119,161,131,89,47,我们把它们删除。因为,这里不是全部数列,我们不可能象寻找素数删除数那样进行寻找。;
( {9 i( y& {7 v0 r
3、 素数11的删除,我们以上面删除后的剩余数为首项,以2*3*5*7=210为公差得500之内的数有:11,17,29,41,59,71,101,107,137,149,167,179,191,197,209,221,227,239,251,269,281,311,317,347,359,377,389,401,407,419, 431, 437, 449, 461, 479, 491,我们删除能被素数11整除的数11,209,407,删除+2能被素数11整除的数251,317,449。
3 i- |8 f- ]( P
4、素数13的删除,我们在上面删除后的剩余数: 17,29,41,59,71,101,107,137,149,167,179,191,197, 221,227,239, 269,281,311, 347,359,377,389,401,419, 431, 437, 461, 479, 491,删除能被素数13整除的数221,377,删除+2能被素数13整除的数167,401,479,
0 O7 N1 a( M0 }( _- ?
5、素数17的删除,我们在上面删除后的剩余数:17,29,41,59,71,101,107,137,149, 179,191,197, 227,239, 269,281,311, 347,359, 389, 419, 431, 437, 461,491,删除能被素数17整除的数17,删除+2能被素数17整除的数389,491。
. Q; ?0 }; X4 N4 m
6、素数19的删除,我们在上面删除后的剩余数: 29,41,59,71,101,107,137,149, 179,191,197, 227,239, 269,281,311, 347,359, 419, 431, 437, 461,删除能被素数19整除的数437,删除+2能被素数19整除的数359,
- e/ R# W' A% a+ t2 z! r3 B; z$ U
删除后剩余29,41,59,71,101,107,137,149, 179,191,197, 227,239, 269,281,311, 419, 431, 437, 461,加上素数删除因子5,11,17。共可以组成23个孪生素数组。
, I0 A- f9 q8 g o: Z
计算:
8 G+ ?2 l% h7 k% q$ j- a
我们知道:第一组孪生素数为(5,7)。这是素数2,3删除之后的产物,意味着第6个自然数中有一个相差为2的奇数组,不可能被素数2和3删除。那么,自然数500之内孪生素数组(不包括素数删除因子所组成的孪生素数组)的计算为:
. ^' @' G, ~. ~ b9 R: h# |$ w% M
(500/6)*(3/5)*(5/7)*(9/11)*(11/13)*(15/17)*(17/19)
- x$ V% g5 u9 X0 F
≈19.52,
8 w$ P/ a4 q- z! B" v, {1 d
实际数为20个孪生素数组,与计算基本上一致。这种计算方法也是按事物的客观发展规律制作的,所以,它非常接近实际数。
作者:
wangzc1634
时间:
2010-4-3 16:36
附件三、哥德**猜想的再次探讨
# W% t0 j- Z1 e+ b W5 k) I
我们在此,探讨的是事物发展的客观规律。既然说是事物发展的客观规律,那么,寻找能够组成偶数素数对的素数就不能有误,寻找就不能走弯路,寻找方法要有可取性,可操作性;寻找方法,按照客观规律能制作模型;按照客观规律能计算近似值;按照客观规律,能够说明哥德**猜想必然成立的道理;按照客观规律说明在偶数内最少取什么数,必然能够寻找到能够组成偶数素数对的素数,为什么?
/ t" W* U' F# c8 R1 Y! m
下面寻找偶数素数对的目的:是探索一种解决问题的方法,而不单纯是寻找。
C* A. \4 V2 v; o
我们选择2个相邻偶数,它们可以代表偶数3个大类中的2个大类,偶数770,772。
+ f1 c& U6 X7 g7 |; _
(一)、寻找偶数770的素数对
7 O2 k S% \: L
1、直接寻找法:因√770≈27,素数删除因子为:2,3,5,7,11,13,17,19,23。因偶数的素数对是前1/2的素数与后1/2的素数相加,故我们只寻找前1/2的哥德**数。770/2=385。
2 b8 Y3 h+ q7 X+ e+ G' u% L
(1)、素数2的删除,因偶数除以素数2余0,与偶数除以素数2的余数相同(下面简称与偶数同余),我们只考虑素数2的正面删除就行了。素数2在自然数2之内,删除能被2整除的2,剩余1,我们用素数删除因子2作公差组成等差数列:1+2N,意味着自然数中每两个数有一个数不能被2整除(删除)。
3 Q& i& }" z" F. H- \$ a5 i2 B6 L
(2)、素数3的删除,因770/3余2。我们将前面剩余数列,取与素数删除因子3相同的项3项,1+2N取3项为:1,3,5。这三个数中,因为3能被3素数整除,不能把它作为发展新素数的基础,但偶数除以素数3的余数不与3/3的余数相同,我们不排除素数3有组成偶数素数对的可能,所以,我们暂时把素数3放在一边,如果说偶数除以其它素数删除因子的余数有一个是余3,那么,素数3就不可能组成该偶数的素数对。删除除以3与偶数除以3余数相同的5(下面简称与偶数同余),剩余1,我们以素数2*3=6为公差,作为寻找能够组成该偶数素数对的素数的数列为:1+6N;
# S# _- U! f( E$ G
(3)、素数5的删除,因770/5余0,我们将前面剩余数列1+6N,取与素数删除因子5相同的项5项:1,7,13,19,25。因770/5余0,故在这5个数中只有25既能被素数5整除,也属于与偶数同余的数,我们把它删除。剩余1,7,13,19,我们用这些剩余数为首项,以2*3*5=30为公差,组成4个等差数列。
( y1 `1 t4 X W' k7 O
(4)、素数7的删除,我们将前面的剩余数列,取与素数删除因子7相同的项7项:
# b, A4 Z$ J5 k4 m% C( r* h
1+30N有:1,31,61,91,121,151,181,
) T; E6 X1 _" Y- q! e" I' W
7+30N有:7,37,67,97,127,157,187,
2 Y( h M5 F- B9 |1 T
13+30N有:13,43,73,103,133,163,193,
/ F/ e: _/ F4 F5 E, j
19+30N有:19,49,79,109,139,169,199。
, Q, _2 o3 O: g" m5 {! m% H6 H
同理,因770/7余0,我们只能删除能被素数7整除的数为:7,49,91,133。当然,这些数也是与偶数同余的数。
2 I0 q/ \3 A$ a/ k# E- }
(5)、素数11的删除,因偶数小于2*3*5*7*11=2310,我们改变上面的寻找方法,用385-210=175,即上面的剩余数、剩余数中的175之内的数+210、还有前面不与偶数同余的素因子3,总共为:1,3,13,19,31,37,43,61,67,73,79, 97,103,109,121,127,139,151,157,163,169,181,187,193,199,211,223,229,241,247,253,271,277,283,289,307,313,319,331,337,373,349,361,367,379。因770/11余0,我们删除能被素数11整除的数:121,187,319,当然,这些数也是与偶数同余的数。因自然数1不是素数,我们也把它删除。
5 ]3 |' S: e `! ]$ O; C
(6)、素数13的删除,在上面剩余数的基础上删除能被13整除的数(在删除能被素数删除因子整除的数时,不能删除素数删除因子本身13),169,247;因770/13余3,删除除以13余3的数:3,211,289,367,
, u# |" @5 \/ N/ h" F
(7)、素数17的删除,在上面剩余数的基础上删除能被17整除的数:无;因770/17余5,删除除以17余5的数:73,277,379。
5 v# |6 Y9 q; y% ~0 S& W
(8)、素数19的删除,在上面剩余数的基础上删除能被19整除的数,361;因770/19余10,删除除以19余10的数:67,181。
! O) O0 z$ _+ P' y6 w( O- _$ ~
(9)、素数23的删除,在上面剩余数的基础上删除能被23整除的数:无;因770/23余11,删除除以23余11的数:241,103。
. k+ Z- z1 R" K) \# [7 O& `- r
最后剩余素数13, 19, 31,37, 43, 61, 79, 97, 109, 127, 139, 151,157,163, 193, 199, 223, 229, 271, 283, 307, 313, 331,337, 349, 373,必然组成偶数770的素数对。
' ~% k' m! _$ k, l* \+ ^
U" e8 s6 j6 P9 \0 L
2、利用素数寻找法,如果我们知道偶数内的素数,可以利用素数进行寻找,385之内的奇素数有:3,5,7,11,13,17,19,23,29,31,37,41,43, 47,53,59,61,67,71,73,79,83,89,97,101,103,107,109,113,127,131,137,139,149,151,157,163,167,173,179,181,191,193,197,199,211,223,227,229,233,239,241,251,257,263,269,271,277,281,283,293,307,311,313,317,331,337,347,349,353,359,367,373,379,383。
6 V* @6 t; h5 p) N* P: O7 ~
(1)、素数3的删除,因770/3余2,我们删除除以3余2的素数:5,11,17,23,29,41,47,53,59,71,83,89,101,107,113,131,137,149,167,173,179,191,197,227,233,239,251,257,263,269,281,293,311,317,347,353,359,383。
3 c: l+ ~9 J& y& d: a
(2)、素数5,7,11的删除问题,因770除以素数5,7,11都余0,大于这些素数的数,没有一个素数可以被这些素数整除,故这些素数不可能删除被它们整除的数;与偶数同余的素数,也只有素数删除因子本身,我们把它们删除,删除素数7(素数5,11前面已删除)。
) t% r; t' {& h$ u
(3)、素数13的删除,因770/13余3,我们删除除以素数13余3的素数:3,211,367,
. S+ `- F) e$ {4 M; w; m
(4)、素数17的删除,因770/17余5,我们删除除以素数17余5的素数:73,277,379,
4 n+ t1 u# H7 W- j0 ]7 E: `" N% Y
(5)、素数19的删除,因770/19余10,我们删除除以素数19余10的素数:67,181,
7 g! w2 U+ j2 I4 ^& j
(6)、素数23的删除,因770/23余11,我们删除除以素数23余11的素数:103,241。
$ Z' j1 s7 S7 I" I% Y4 k8 N( k. E5 H
删除后剩余的素数13, 19, 31,37, 43, 61, 79, 97, 109, 127, 139, 151,157,163, 193, 199, 223, 229, 271, 283, 307, 313, 331,337, 349, 373,必然组成该偶数的素数对。
& y8 A& X; X2 K/ j8 o/ e
5 a- V1 b& G% O5 [1 c" f7 m
3、利用计算式计算
) K6 y& D2 T$ j* c% d
770*(1/2)*(1/3)*(4/5)*(6/7)*(10/11)*(11/13)*(15/17)*(17/19)*(21/23)*(1/2)=770*(1/2)*(1/3)*(4/5)*(6/7)*(10/13)*(15/19)*(21/23)*(1/2)≈24.4对,取整数为24对。
. v5 z. ] H4 a# W0 K
该式中,因为偶数除以素数删除因子5,7,11都余0,故它们只删除1/N,剩余(N-1)/N。
: G) B* W/ ]" N o2 A/ a( C
这种计算方法,是不包括素数删除因子所组成的素数对,其误差率为1.64%。
8 P0 Q9 R! L3 | P" m
在素数对的直接寻找和利用素数寻找中,要注意的是:
+ E$ w; V1 H$ F- G' u( N0 m
①、能够被素数删除因子本身整除时,不能进行删除,因为,素数删除因子本身就是素数。②、当素数或素数删除因子,与偶数除以素数删除因子的余数相同时,必须将与余数相同的素数或素数删除因子进行删除,因为,与偶数同余的素数或素数删除因子的对称数,必然被该素数删除因子整除。
! Z! f) p' o. O. |, _5 _4 f
; H. q+ [# M) f
(二)、偶数772的素数对。
5 e& E& G' M- L7 k# a( o! r
1、直接进行寻找
+ W5 K/ Y- h+ e# [& `1 m- V M
√772≈27,素数删除因子仍然是:2,3,5,7,11,13,17,19,23。772/2=386,我们仍然只寻找386之内,能够组成偶数素数对的素数。
9 F& z$ R s3 r6 J; }( i
(1)、素数2的删除,所有偶数除以2都余0,素数2只删除1/2的偶数,剩余1+2N的奇数。
! }8 e( T$ v- W- c
(2)、素数3的删除,在1+2N等差数列中,取与素数3相同的项3项:1,3,5,因772/3余1,删除能被3整除的3(3能被3整除,不能发展新的素数,3不与偶数除3同余,暂存);删除与偶数同余的1,剩余5为首项,以2*3=6为公差,组成等差数列5+6N作为发展哥德**数的基础。
/ p1 I% \4 g/ q7 c+ ]- p5 L
(3)、素数5的删除,在5+6N等差数列中,取与素数5相同的项5项: 5,11,17,23,29。因772/5余2,素数5暂存,删除与偶数同余的17,剩余11,23,29为首项,与2*3*5=30为公差,组成三个等差数列,作为发展哥德**数的基础。
1 B5 k9 Z) V! g. p9 t# |. P0 i
(4)、素数7的删除,在上面的3个等差数列中,各取与素数7相同的项7项:
2 P4 b& [/ z3 o: [/ e9 P$ k/ a
11+30N有:11,41,71,101,131,161,191,
% r9 v+ I7 g+ ^& I$ v3 M& O% _
23+30N有:23,53,83,113,143,173,203,
4 Z; }% ]0 o, @+ Y) T r$ s
29+30N有:29,59,89,119,149,179,209,
) f J' T2 h0 |; E- W. I0 N
因772/7余2,即偶数不能被素数删除因子7整除,所以,每个数列的7个连续项中必然有一个项除以7余2,也必然有一个项被素数7整除:161,203,119;除以7余2的数有:191,23,149。我们把它们删除。
4 l8 f+ J- g6 @" e8 G
(5)、素数11的删除,前面删除后剩余:11,29,41,53,59,71,83,89,101,113,131,143,173, 179,209,因386-210=176,我们再用210分别+176之前的数有:221,239,251,263,269,281,293,299,311,323,341,353,383。还有前面暂存的素数3,5。
/ ]9 {& Q$ ~. G: w
当其运行到这里时,我们不在用等差数列进行发展时,我们再回过头来看前面用素数删除因子进行发展时,那些素数删除因子进行了运算,在前面有奇素数3,5,7。偶数除以3的余数为1,这3个数中有7除以3余1,我们把它删除,偶数除以5余2,也只有7,偶数除以7余2,在这在3个数中没有,剩余3和5,我们把它加进上面的剩余数中。这样进行寻找才真实、准确、全面。
4 A- `, d1 b1 S7 p2 ^# s
在这些数中删除能被11整除的数143,209,341;因772/11余2,删除除以11余2的数:101,299,把它们删除,
% l/ K7 ?; ]( ?2 p3 Z
(6)、素数13的删除,删除能被13整除的221;删除除以13余5的数:5,83,239。
! N" Y4 I: G0 o( I4 j; J
(7)、素数17的删除,删除能被17整除的323;删除除以17余7的数41。
1 \5 K" `" q6 z9 G
(8)、素数19的删除,删除能被19整除的数:无;删除除以19余12的数:无。
! _* B- f+ _# s
(9)、素数23的删除,删除能被23整除的数:无;删除除以23余13的数59。
6 i& V* V8 Z7 q Y
删除后,剩余的素数3, 11,29, 53, 71, 89, 113,131, 173, 179, 251,263,269,281,293, 311, 353,383。必然能够组成偶数772的素数对。
2 K3 h! E2 t9 w+ Y& x) E; u
2、利用素数寻找
) n' V+ m: m/ _& R
因,偶数772/2=386,在386内有奇素数:3,5,7,11,13,17,19,23,29,31,37,41,43, 47,53,59,61,67,71,73,79,83,89,97,101,103,107,109,113,127,131,137,139,149,151,157,163,167,173,179,181,191,193,197,199,211,223,227,229,233,239,241,251,257,263,269,271,277,281,283,293,307,311,313,317,331,337,347,349,353,359,367,373,379,383。
2 U) W3 a* d/ K
(1)、素数3的删除,因772/3余1,删除除以3余1的素数:7,13,19,31,37,43,61,67,73,79,97,103,109,127,139,151,157,163,181,193,199,211,223,229,241,271,277,283,307,313,331,337,349,367,373,379,
2 y' s! v" v5 H. x1 }" A- N
(2)、素数5的删除,因772/5余2,删除除以5余2的素数:17,47,107,137,167,197, 227,257,317, 347,
. s5 q. y/ A l' A" d( \- z# Z
(3)、素数7的删除,因772/7余2,删除除以7余2的素数:23,149,191,233,359,
4 T/ U8 v2 K" Q% Z3 v7 L4 v
(4)、素数11的删除,因772/11余2,删除除以11余2的素数:101,
4 m6 W4 u8 ]. q0 T
(5)、素数13的删除,因772/13余5,删除除以13余5的素数:5,83,239,
; {+ ?+ [4 W4 J
(6)、素数17的删除,因772/17余7,删除除以17余7的素数:41,
+ f6 P0 T# P( P0 X, E+ h& B/ C
(7)、素数19的删除,因772/19余12,删除除以19余12的素数:无。
! G7 q) V2 z5 h3 v2 N' w. j% m/ F
(8)、素数23的删除,因772/23余13,删除除以23余13的素数:59,
2 ^. u7 ]' r2 |% ?
删除后,剩余的素数3, 11,29, 53, 71, 89, 113,131, 173, 179, 251,263,269,281,293, 311, 353,383。必然能够组成偶数772的素数对。
% Q: n* b3 f5 l% I7 ^/ O" K
3、利用计算式计算
2 F, J! R6 O9 u* S2 f' R
772*(1/2)*(1/3)*(3/5)*(5/7)*(9/11)*(11/13)*(15/17)*(17/19)*(21/23)*(1/2)=770*(1/2)*(1/7)*(9/13)*(15/19)*(21/23)*(1/2)≈13.76对,取整数为14对。该偶数,不包括素数删除因子的实际素数对为15对,其误差为:正误差9%。
5 G w8 c; U3 d& U6 h
该式中,因为偶数除以所有素数删除因子都不余0,故它们都按删除2/N,剩余(N-2)/N。
欢迎光临 数学建模社区-数学中国 (http://www.madio.net/)
Powered by Discuz! X2.5