数学建模社区-数学中国
标题:
人们希望的哥猜结论
[打印本页]
作者:
wangzc1634
时间:
2009-4-16 19:38
标题:
人们希望的哥猜结论
人们希望的哥猜结论
' r5 l9 j( L: [) p7 ^: `6 w
人们希望的是:1、素因子对合数删除后的剩余奇数之和,可以组成连续偶数;2、大偶数的素数对是小偶数素数对的延伸;3、哥德巴赫猜想成立理由。
0 f0 f4 z ^1 ]' j$ G5 m& b: v
一、哥猜小公式
# O, \& h( T' C" m9 l7 h
1、我们知道,素数2对它的倍数的数删除后,在自然数中剩余了奇数,奇数可以表示为2X+1,设大于2的偶数为2N,大于2的偶数可以表示为奇数加奇数,即:2N→(2X+1)+(2X+1);
( n3 k( [1 ?# f+ Z+ l, y+ R! a/ v
2、素数2,3对它们的倍数的数删除后,在自然数中剩余了两个等差数列:6X+1和6X+5。也就是说,大于3的素数只能够存在于这两个等差数列之中。而大于6的偶数,我们可以用3个等差数列表示,即:6N,6N+2,6N+4。偶数数列与剩余奇数数列1+1的对应关系为:
. E" Q0 T6 ]' g1 n; e: W& M/ J. t
6N→(6X+1)+(6X+5);(1)
8 m8 u; @3 i0 w0 w5 u
6N+2→(6X+1)+(6X+1);(2)
# G; |% {% ]6 C6 z! a9 x1 q- c
6N+4→(6X+5)+(6X+5);(3)
5 f$ ^* Y1 A$ L$ x6 _7 ?
如果说,我们对于偶数不按照这种对应关系去寻找素数对,那么,其对应数必然被素数2、3整除(或者说删除)。
1 A, n& _9 _ o1 x5 X9 _7 n
1式所对应的是两个不同的等差数列相加,即双数列相加,我们把这种对应关系视为1(不是哥德巴赫猜想中的1+1的1哈,后同);2式和3式为同1个等差数列相加,即单数列相加,我们把这种对应关系视为0.5。
$ U1 \0 b6 Z0 O+ w, R$ W
3、素数5再上面两个剩余等差数列的基础上,删除素数5的倍数的数后,剩余奇数为8个等差数列:30X+1,30X+7,30X+11,30X+13,30X+17,30X+19,30X+23,30X+29,也就是说,大于5的素数只能够存在于这8个等差数列之中。而大于30的偶数,我们可以表示为15个等差数列:30N+2,30N+4,30N+6,30N+8,……30N+28,30N。这15个偶数等差数列与8个剩余奇数等差数列1+1的对应关系是怎样的呢?
. F- U; w7 O5 Y! y2 N7 {, Z4 u
偶数6N+2等差数列取5项有:2,8,14,20,26;
( \9 i/ o6 T+ N
偶数6N+4等差数列取5项有:4,10,16,22,28;
& T. D7 ], S; s
偶数6N等差数列取5项有:6,12,18,24,30。
0 M7 q% M+ N% ?3 U" t. P
也就是说,这里的15偶数等差数列是前面的3个偶数等差数列的延伸,前面的3个偶数等差数列乘以这里的素数删除因子5,变为15个偶数等差数列。那么,它们的奇数数列1+1是不是前面对应关系的延伸呢?它们又是怎样延伸的呢?有没有一个固定不变的公式呢?
7 R7 @* u. h! ?% Z; E3 S
首先,申明一点:因为,上面3个偶数等差数列的公差为6,公差6不能够被这里的素数删除因子5整除,所以,前面3个等差数列中的任意一个等差数列的5个连续项,分别除以素数删除因子5,其余数必然分别余1,2,3,4,0,这是一个定理(请搜索“素数与等差数列的关系”)。所以,5个连续项中必然有一个项被素数5整除。
( t- u! Z/ r9 w8 ]
我们在此,只举两个延伸的例子,剩余的偶数留给大家去验证。
5 y5 y' r$ s1 u5 n. |
(1)、偶数等差数列30N+20与前面的延伸关系。该等差数列中,30为素数删除因子2*3*5,20为前面偶数6N+2数列中的数,那么,偶数30N+20等差数列为6N+2等差数列的延伸偶数,且20能够被这里的素数删除因子5整除。我们将6N+2→(6X+1)+(6X+1)奇数对应关系延伸5项有:
1 c% E; x7 [2 A! I
1, 7,13,19,25,
( e- H3 n' |. X4 V" n
19,13, 7, 1,25,
4 L# l0 M4 e! U
说明:这里的25+25=50,50-公差30也为20,删除能够被素数整除的25+25对应后,剩余1+19和7+13,组成了30N+20→(30X+1)+(30X+19)和30N+20→(30X+7)+(30X+13)两个双数列对应关系。产生了一个小公式:在对应关系延伸中,能够被素数删除因子K整除的偶数,为前面的对应关系*(K-1)。因为,偶数6N+2的对应关系为单数列相加,我们视为0.5*(5-1)=2,所以,这里变为两个双数列相加;
4 L6 d1 H1 X; D, M, V- f3 ? W/ S
(2)、偶数等差数列30N+18与前面的延伸关系。该等差数列中,30为素数删除因子2*3*5,18为前面偶数6N数列中的数,那么,偶数30N+18等差数列为6N等差数列的延伸偶数,且18不能够被这里的素数删除因子5整除。我们将6N→(6X+1)+(6X+5)奇数对应关系延伸5项有:
- }% ]0 X/ J6 w/ ^* u* M
1, 7,13,19,25,
I( k0 R0 e& Z# o9 e' |
17,11, 5,29,23,
4 ~% N! u0 }/ i; I
说明:这里的19+29=48和25+23=48,48-公差30也为18,删除能够被素数删除因子5整除的25+23和13+5(虽然13+5为素数对,但是30X+5都能够被素数5整除,不可能产生新的素数,即组成公差的素数,我们把它删除)对应后,剩余1+17,7+11和19+29,组成了30N+18→(30X+1)+(30X+17),30N+18→(30X+7)+(30X+11)和30N+18→(30X+19)+(30X+29)三个双数列对应关系,产生了一个小公式:在对应关系延伸中,不能够被素数删除因子K整除的偶数,为前面的对应关系*(K-2)。因为,偶数6N的对应关系为双数列相加,我们视为1*(5-2)=3,所以,这里变为3个双数列相加。
6 u2 y9 t2 H' }! ~/ j0 i
我们再回过头来,看素数3在素数2删除后的对应关系的延伸,素数2删除后,大于2的偶数可以表示为:(2X+1)+(2X+1),为单数列相加,我们视为0.5,6N数列的偶数能够被素数3整除,按公式为:0.5*(3-1)=1为双数列相加,即,6N→(6X+1)+(6X+5);而6N+2和6N+4两个偶数数列,不能够被素数3整除,按公式为:0.5*(3-2)=0.5,即,6N+2→(6X+1)+(6X+1);6N+4→(6X+5)+(6X+5)。这两种类型的偶数仍然为单数列相加。
+ \% j, C( E$ [9 e4 U& d
请不要说这是想当然,只有您能够举出该公式不成立的例子,才有资格指责我的这个公式哈。
2 _0 B' T1 w: t. r2 [" n0 _2 @
二、大偶数的素数对是小偶数的素数对的延伸
, w( w) @* ?. L4 `9 H0 L4 |( S E4 o
我们举一个例子,进行说明,例偶数68。
, x+ d) p- j8 e
①、偶数68对于以6为公差的等差数列来说,因为,68/6余2,适应于:6N+2→(6X+1)+(6X+1);
1 u& V4 z2 B9 K3 L
②、偶数68对于以30为公差的等差数列来说,因为,68/30余8,适应于:
# d+ j; t( }2 f! m/ n
30N+8→(30X+7)+(30X+1);
4 S: V, D* K4 `: E: r% j
30N+8→(30X+19)+(30X+19);
( r5 ~9 X4 i1 p U& b8 ^
因为,68不能够被素数删除因子5整除,故,对于公式有,0.5*(5-2)=1.5,即一个双数列相加,一个单数列相加。
# Q! ]) [% _; U( n+ M h
③、偶数68对于以210为公差的等差数列来说,因为,68/210余68,适应于:
* r! P. G/ U d8 |
对于30N+8→(30X+7)+(30X+1)的延伸有:210N+68→(210X+1)+(210X+67);210N+68→(210X+31)+(210X+37);210N+68→(210X+121)+(210X+157);210N+68→(210X+151)+(210X+127);210N+68→(210X+181)+(210X+97);
# t7 w2 o8 w. k
对于30N+8→(30X+19)+(30X+19)的延伸有:210N+68→(210X+139)+(210X+139);210N+68→(210X+169)+(210X+109);210N+68→(210X+199)+(210X+79);
4 j4 S4 \; j% y, a s
因为,68不能够被素数删除因子7整除,故,对于公式有,1.5*(7-2)=7.5,即7个双数列相加,一个单数列相加。
/ S2 Z% n# _8 j' ]4 U
这里所说的68/6余2,有两层意思:一方面是指偶数不能够被素数3整除,另一方面是指奇数数列配对的来源。
0 q* w/ A, G1 a
这里说的68/30余8,也是两层意思:一方面是指偶数不能够被素数5整除,另一方面是指奇数数列配对的延伸,与具体偶数有关。
8 ]1 k& g8 `: S% O/ _8 H! C
这里说68/210余68,表面上看好象多此一举,但它揭露了小偶数素数对与大偶数素数对的扩展关系,具体是怎样的呢?
1 s7 D* \% y2 }
我们知道:偶数68有两个素数对:7+61,31+37。虽然这两个素数对,都属于(30N+7)+(30+1)中产生的素数对,我们还可以做进一步的分析:
$ |' s B* `$ L
当我们将偶数68分解为以30为公差的偶数时,30N+8,此时的公差为2*3*5,没有素因子7,允许在加数中出现素数7,可以表示为:(30N+7)+(30N+1)的奇数数列组合;
* ^' G4 l' i0 m# U
而当我们将公差视为210时,因为,公差为2*3*5*7,里面有素因子7,那么,在加数中就不允许出现素数7。如果,出现210+7这个数列,当然就毫无意义了,因为,这个等差数列能够被素数7整除,不可能产生新的素数。
" v/ P; Z. v1 _& Z* B; y% G: h
也就是说素数对31+37=68,因为,这里的最小素数为31,所以,我们可以用于以下系列偶数寻找素数对:
* A+ y6 t( {. t/ ^9 M9 `
210N+68→(210X+31)+(210X+37);
6 R% u6 E0 J# M2 c: W' @2 A I* w! K
2310N+68→(2310X+31)+(2310X+37);
* ~: [ C; a: P9 S0 F$ J4 [1 E
30030N+68→(30030X+31)+(30030X+37);
0 R" O1 N" q$ b+ G0 k/ ]+ v+ \/ `6 u
510510N+68→(510510X+31)+(510510X+37);
8 Y( P1 Y2 s6 c, S8 p
9699690N+68→(9699690X+31)+(9699690X+37);
3 N* n4 i/ N. M ]% H. @( m
223092870N+68→(223092870X+31)+(223092870X+37);
/ P4 e* C0 f3 B9 `9 O
9469693230N+68→(9469693230X+31)+(9469693230X+37);
, }# H7 Z# G- j8 `
不可以用于200560490130N+68→(200560490130X+31)+(200560490130X+37);因为,公差200560490130=2*3*5*7*11*13*17*19*23*29*31包含了素因子31,所以,(200560490130N+68)-(200560490130X+37)必然被素数31整除,不可能产生新的素数。
. G1 c& \" Y! _/ C6 O, r w
大偶数的素数对组合是变化无穷的,单说上面这些类型的偶数,我们前面分解到以210为公差时,还有素数对151+127,181+97,139+139,199+79和1+67(这里的1虽然不是素数,但1不能够被任何素因子整除,这种类型的奇数对也是可以发展的),它们都可以作为上面这些大偶数寻找素数对的引导。
; {( e1 c! z& k5 G
理由依据是什么呢?根据素数与等差数列的关系,素数31是不可能被小于它的素数整除的,即素数31不能够被小于31的素数之积组成的公差中的任何素因子整除,所以,以素数31为首项,以小于31的素数之积为公差组成的等差数列,不可能被小于31的素因子整除。对于素数37也是一样,以素数37为首项,以小于37的素数之积为公差组成的等差数列,不可能被小于37的素因子整除。对于这两个素数,我们同时取小于31的素数之积为公差组成的等差数列,都不可能被小于31的素因子整除,偶数也取相同的公差,当然,它们的对应关系成立。我们同样根据素数与等差数列的关系,这些公差不能够被31以上的素数整除,故,这些等差数列的31个连续项,必然有一个项被素数31整除(删除)。
( Z$ @7 `3 h7 O3 x [
反过来说,任何大偶数除以连续素因子之积,必然余数为小偶数,我们可以用这个小偶数的素数对为基础,寻找大偶数的素数对。注意:这种寻找方法,它的素数删除因子为,大于组成公差的最大素数到大偶数平方根以下的素数。
0 u5 e" r) l) P6 F. {
我们任意举一个例子,寻找偶数968的素数对,因968大于2*3*5*7=210,小于2*3*5*7*11=2310。我们可以用210为公差,用968/210之余数128的素数对进行扩展。为了使大家看得清楚点,我们用968/30余8,前面说了:偶数8虽然有素数对3+5,但3和5都属于组成公差30的素因子,不可能延伸,故,我们提一个公差30出来,为偶数38,38=7+31,19+19,
% O" r2 N+ I# ^- \& ]
以7+31的延伸,因为,数列组合为对应组合,所以,我们只须要取对应组合中的一个数列,偶数减去这个数列中的数,必然为另一个数列中的数,我们单看数列7+30N有:
7 o- s* O5 X7 Q. D' d
7,37,67,97,127,157,187,217,247,277,307,337,367,397,427,457,487,517,547,577,607,637,667,697,727,757,787,817,847,877,907,937,967。
% l C* J# x* H
素数7的删除,为两个方面:1是删除素数7的倍数的数(合数);2是删除对应数(31+30N数列能够被素数整除的数),即上面这些数除以素数7与偶数同余的数,其对应数必然被素数对整除(下同)。
6 P6 G; A6 L' [5 H$ Y
因为,公差30不能够被7整除,所以,我们在数列7+30N等差数列中,选择7个连续项为基数,又因968/7余2,故,我们的删除为除以7余2和余0的数即可,只须要在前7项中寻找到这两个数,后面的删除为顺延7项,除以7余0的为1+7N项有:7,217,427,637,847,除以7余2的为2+7N项有,37,247,457,667,877;
0 f9 F; o- ?: w9 `% J' [) t6 d# S
素数11的删除,因968/11余0,而素数11的倍数的数也为除以11余0,故只删除除以11余0的项即可,在7+30N的等差数列中,每11个连续项必然有一个数除以11余0,为7+11N项,有:187,517,847。
/ r: w4 P: Q9 e U
素数13的删除,因968/13小数为0.46,故删除除以13余0和小数为0.46的数即可,余0的为9+13N项有:247,637,小数的0.46为4+13N项有:97,487,877,
7 y# ]2 F$ g2 d6 U
素数17的删除,因968/17为小数0.94,故删除除以17余0和小数为0.94的数即可,余0的为7+17N项有:187,697,小数的0.94为3+17N项有:67,577,
$ P( _, L" a) U3 x. b7 W' `
素数19的删除,因968/19为小数0.94,故删除除以19余0和小数为0.94的数即可,余0的为9+19N项有:247,817,小数的0.94为2+19N项有:37,607,
% `1 L$ @, D: b2 V8 U8 V9 ?1 |
素数23的删除,因968/23为小数0.08,故删除除以23余0和小数为0.08的数即可,余0的为23+23N项有:667,小数的0.08为20+23N项有:577,
4 q* [& n( h6 d8 T9 q4 A% K
素数29的删除,因968/23为小数0.37,故删除除以29余0和小数为0.37的数即可,余0的为29+29N项有:667,小数的0.37为5+29N项有:127,
3 {; A; i5 a9 R; ?3 z2 k/ P
素数31的删除,因968/31为小数0.22,故删除除以31余0和小数为0.22的数即可,余0的为8+31N项有:217,小数的0.22为1+31N项有:7,937,
作者:
wangzc1634
时间:
2009-4-16 19:39
我个人认为,这种方法是比较方便的,对于每一个素数删除因子来说,我们只须要把等差数列按素数删除因子的值分为相同的项数,用偶数除以素数删除因子的余数或小数放在那里,用与素数删除因子相同个数的项的数除以素数删除因子,删除余数为0的和与偶数同余的小数,剩余的必然组成偶数的素数对。
2 b- _( |* U! b5 {+ q
剩余11个数,157,277,307,337,367,397,547,727,757,787,907,必然组成11个素数对,这里是不包括素数删除因子所组成的素数对,故不包括31+937,又因968-967=1,所以,967不能组成偶数的素数对。
/ ]$ X) e% o4 o- @, S+ i* f
素数对19+19,对于968来说,为(30N+19)+(30N+19),为同一等差数列相加,因此,我们只须要取偶数的1/2即可,但素数删除因子仍然为7到31,30N+19有:19,49,79,109,139,169,199,229,259,289,319,349,379,409,439,469,
4 }/ l9 X2 U; C' t
我们按以上方法,进行删除后剩余5个数,109,139,199,229,349,必然组成5个素数对。
Q( q# _) D9 o. ~9 d! z: A
综上所述,一方面是素因子删除后的剩余奇数和,必然组成连续偶数,且有小公式为证:前面的奇数数列之和,乘以后面的素数删除因子-1或-2,为大偶数的奇数数列和个数。说明偶数越大,组成偶数奇数数列1+1的组合越多。另一方面,大偶数的素数对是小偶数的素数对的延伸,况且在延伸中素数对都有相应地增长,只不过偶数素数对的增长速度与偶数是否能够被素数删除因子整除有关。说明哥德巴赫猜想是成立的。
7 Z( X6 l d) }
四川省三台县工商局:王志成
作者:
数学1+1
时间:
2009-6-16 00:14
你错了,哥猜的实质是要证D(N)>0,这应该是大多数业余哥猜作者的通病.
欢迎光临 数学建模社区-数学中国 (http://www.madio.net/)
Powered by Discuz! X2.5