QQ登录

只需要一步,快速开始

 注册地址  找回密码
查看: 2973|回复: 3
打印 上一主题 下一主题

同素理论与哥德巴赫猜想

[复制链接]
字体大小: 正常 放大

3

主题

5

听众

64

积分

升级  62.11%

  • TA的每日心情

    2012-10-21 20:28
  • 签到天数: 12 天

    [LV.3]偶尔看看II

    自我介绍
    爱好数学
    跳转到指定楼层
    1#
    发表于 2012-9-4 21:00 |只看该作者 |倒序浏览
    |招呼Ta 关注Ta
    同素理论与哥德巴赫猜想
    : b% H- F6 w/ S4 g杨天生
    7 \9 ^2 ~+ b$ K% B- D* ZQQ:784177725
    : y% f3 w0 D) T) F* h# u  O邮箱:yangtiansheng68@sina.com
    1 G! I8 u& C! v- p8 z- r; ]摘要:1同素理论:一个自然数a和另一个自然数b,如果有a+2m与b-2m[或a+(2m-1)与b-(2m-1)]同时为素数,我们就称a和b关于m同素;
    , ?  i( B  A; K$ t2、对于自然数a(a+2<b)如果与另一个同奇(同偶)的自然数b,有M(a,b),则M(a+2,b)也成立。
    9 u$ g/ @, x& k1 l# l- s) `3、对于奇数a,b(a<b),如果存在非负整数m,使得(a+2m)与(b+2m)同时为素数,则称a,b关于m增同素;
    9 o' u" ?4 \8 M( ^: V9 b6 L4、对于两个奇自然数a,b(a<b),若M+(a,b)成立,则M+(a+2,b)也成立。当a≠1时,其逆也真。9 C- Q  v' v4 L& X9 ?2 V
    主要方法:数学归纳法
    9 o6 W! ^4 H; g' R4 L& C关键词: 同素   增同素  同素定理  增同素定理
    6 w7 e+ P7 N, q) E) ~' O2 P# e5 i
    4 g- {0 a) j- e; @  X% S  L正文:
    9 \7 k8 T- _: q2 ?. T) U# `- a我们在日常生活中经常和自然数打交道。于是人们对自然数进行了深入的研究,认识了自然数的整除性,奇偶性,总结了许多规律。其实,自然数还有一类重要特性——同素性。3 r4 z# M2 u3 F5 z# e" D1 U$ L
    一、同素的相关定义
    $ b( ~5 |% h1 y8 _/ c8 e  R: E观察下列关于自然数的算式:
    0 d7 |/ V+ t1 A4 x5 ~给定奇数1和45,有:% g: f, V* r" T  y
    1+2x8=17(素数)、45-2x8=29(素数)6 E  p3 E* N4 L/ L" a! J' r
    给定奇数9和123,有:
    7 H  J2 b+ o9 b) k9+2x11=31(素数)、123-2x11=101(素数)! X3 g2 ?+ Y; y
    给定偶数数12和94,有:) @* s$ V8 m- k  X; ]$ E
    12+(2x6-1)=23(素数)、94-(2x6-1)=83(素数)+ e: S5 J: r7 _0 H! @( b& `% D/ s
    ……
    $ x$ w9 ]. D' a/ W定义1、一个自然数a和另一个自然数b(a,b同奇或同偶,a≤b),如果有a+2m与b-2m[或a+(2m-1)与b-(2m-1)]同时为素数(m为非负整数),我们就称a和b关于m同素,记为M(a,b),m称为a和b的同素模,a=b时称为本同素,a≠b时称为异同素,a、b均为素数时称为素同素。显然素同素最小的同素模为0,同素模有可能是一个或多个。
    " |0 w6 p, _- J6 G特别规定:M(1,1),M(1,3),M(2,2)没有意义,即M(1,1),M(1,3),M(2,2)不存在。
    ! |) E) I2 r& h另外,在M(a,b)中,M代表同素变换,不代表任何具体数,m为一具体数,但不固定唯一。
    2 d/ [& H5 o6 I3 V/ m我们根据同素的定义,容易理解M(a,b)成立时,M(a+2n,b-2n)或M(a-2n*,b+2n*)(n<b/2、n*<a/2)也成立。
    & P' o3 I4 e5 k3 m0 T! z$ e定义2、对于同奇或同偶的自然数a,b(a≤b),如果存在非负整数m,使得(a+2m)与(b+2m)或【a+(2m+1)】与【b+(2m-1)】同时为素数,则称a,b关于m增同素,记为M+(a,b)。m称为a,b的增同素模。下文中提到的增同素M+(a,b)成立时,均满足a≤b的要求,不再特别注明。
    ! X8 o* x7 e# u1 d例如对于奇数1和5,1+2*1=3(素数),5+2*1=7(素数)
    8 \$ m+ p8 @! C6 |3 A( Y% K. q所以有M+(1,5);对于奇数15和43,15+2*2=19(素数),43+2*2=47(素数)所以有M+(15,43)。
    + h' H( H8 D- o! h* c由于素数有无穷多个,显然任何奇数本身满足增同素,两个素数永远满足增同素,其最小同素模为0。
    . p! B+ i% }6 p* h. Q3 a2 J4 ?根据增同素的定义,容易理解当增同素模大于1时,如果M+(a,b)成立,则M+(a+2,b+2)或也成立,其增同素模为(m-1), M+(a-2,b-2)也成立,其增同素模为(m+1)。
    2 Q$ ~/ J' Z) ?4 D9 \2 k+ f; \: Z定义3、给定素数a,b(a<b),如果b-a=2,则称a,b为孪生素数。' O0 [0 e' s6 I! C- F
    定义4、给定素数a,b,c(a<b<c),如果c-b=b-a=2,则称a,b,c为三生素数。  L; R" h0 T8 A& i+ b
    定义5、给定素数a,b,c,d(a<b<c<d),如果d-c=c-b=b-a=2,则称a,b,c,d为多生素数。
    4 x/ e1 [$ i3 C7 x4 e二、同素的性质) ~) R! I+ ]- t& K, d" V/ z# b
    自然数同素有许多有趣的性质,下面举出几例。. O) F1 s8 a; s. D5 T: x, L
    1、同素定理:对于奇(偶)自然数a(a+2<b)如果与另一个同奇(同偶)的自然数b,有M(a,b)成立,则M(a+2,b)也成立。
    # i" K+ t) o) z; ?# F4 Q. G证明:先证明同奇的情形。为了叙述的方便,我们不妨先讨论a=1的情况。
    8 T8 d; u: h; A- G- a1 y. a①、容易验证:据M(1,5)有M(1+2,5);据M(1,7)有M(1+2,7);……   ,据M(3,5)有M(3+2,5);……。1 I5 I0 ~5 [, |
    ②、假设当a=2k-1时,上面定理成立。即M(2k-1,b)成立时,有M(2k+1,b)成立。那么当a=2k+1时,有:9 ~6 T$ F( J% n  _
    ∵M(2k+1,b)
    ; E9 ~3 V# @+ H* m2 z∴M(2k-1,b+2)
    ' L; l8 Q9 k0 o) j0 o9 m0 k& _" b∴M(2k+1,b+2)  h  G$ N: Z! r( `5 n9 a% D
    ∴M(2k+3,b)
    . w) M; [5 F, [0 g! Q即当M(2k+1,b)成立时,有M(2k+3,b)成立。8 V7 ]5 s$ v/ k/ h$ O+ c+ {
    综合①、②,由k的任意性可知,对于奇数a(a+2<b),如果与另一个奇数b,有M(a,b)成立,则M(a+2,b)也成立。' f* X! |& v' o* q1 m
    同理可以推出a,b同为偶数的情形。
    , ?& v6 L/ {7 `综上所述,对于所有自然数,如果M(a,b)成立,即M(a,b)有意义,则M(a+2,b)也成立。
    3 |% J5 j9 N) x; f1 V' S6 X2、增同素定理:对于两个奇自然数a,b(a<b),若M+(a,b)成立,则M+(a+2,b)也成立。
    # ~5 G5 ^- t. F& e1 b' b5 K9 ^7 S证明:(1)、显然由M+(1,5)有M+(3,5);由M+(1,7)有M+(3,7),……;由M+(3,5)有M+(5,5),M+(3,7)有M+(5,7)……;
    , @% g1 @9 u! R# T* z1 p% L9 |(2)、假设a =2k-1时上述定理成立,即M+(2k-1,b)成立时,M+(2k+1,b)也成立,那么当a =2k+1时,显然由M+(2k+1,b)可以得到:! L8 r0 }7 E0 a, x- N' z0 Q0 @
    ∵M+(2k+1,b)9 |( V' w: G6 {" p
    ∴M+(2k-1,b-2)4 H" B( h8 C0 T" o2 K" `  T" K
    ∴M+(2k+1,b-2)
    6 c; L& z+ U% a+ _: E∴M+(2k+3,b)0 C/ _  W# N/ Q0 F
    0 l4 l) \. P7 _
    由于素数有无穷多个,那么选取适当的素数c(c>2k-1),在小于(2k-1)的范围内任取一素数d,显然M+(d, c)成立,根据假设,有:M+(d+2, c),M+(d+4, c)……,M+(2k-1, c)也成立。
    - r4 `0 ]( ^# _$ U) w由M+(2k-1, c)得:
      s* K2 f  p+ K# BM+(2k-3, c-2)
    $ K# J) G4 V; D7 f$ v' P/ g9 U∴M+(2k-1, c-2)
    " c* G# x% B! n2 R4 }, |∴M+(2k+1, c)
    ) N9 ?( r4 B/ C. n0 e0 c4 S由k的任意性知,对于两个奇自然数a,b(a<b),若M+(a,b)成立,则M+(a+2,b)也成立。) W' L- n3 \, @( Y/ L4 I6 z
    下面我们再来证明当a≠1时,其逆也真。% @3 ~, s) _( R3 v/ ~+ S- W) M
    (1)、容易验证,当M+(3,5)成立,可得M+(1,5)也成立;当M+(3,7)成立,可得M+(1,7)也成立;……当M+(15,27)成立,可得M+(13,27)也成立;……' b- q( s8 v* q4 M' }
    (2)、假设当M+(2k-1,2k+x)(x为奇数,x≥1,k>2)成立,可得M+(2k-3,2k+x)也成立,那么当于是M+(2k+1,2k+y)(y为奇数,y≥3)有:( j( ]$ g& X# J
    M+(2k+1-2,2k+y-2)即M+(2k-1,2k+y-2),根据假设有:
    , K- k. h; T( b. r9 [M+(2k-3,2k+y-2),而k>2,故2k-3≠1,7 G! b& I2 ~$ ~# t, S+ ^* z  _. {
    ∴M+(2k-1,2k+y)! j: P, Q3 A! ^+ K! S& K9 |7 R3 n$ g
    由k的任意性知,当a≠1时,其逆也真。3 O% F: Y, {& ], x
    推论:自然数中,所有同奇数或同偶的自然数两两增同素。/ A& n- Q, B" [* [7 u1 g, G
    证明:先证同为奇数的情形:: J" [% f7 e+ @! N1 u6 \! l! z7 Z+ G
    (1)容易验证,M+(1,3),M+(1,5)……成立。
    9 J6 C* d2 E6 G( X; q+ G(2)假设M+(1,2k-1)成立,那么根据增同素定理有:  R5 K! P8 g7 k2 P6 k
    M+(3,2k-1)M+(5,2k-1)……M+(2k-1,2k-1)也成立。而M+(1,2k-1)成立,故M+(3,2k+1)成立,
    & y# A0 V( t' a! H2 a% e∴M+(1,2k+1)3 ?# _, q' O$ A; d
    ∴M+(3,2k+1)% l, _, F5 @3 h) B. w8 y
    ……6 b. W1 h. b" H$ e8 N: r( S
    ∴M+(2k-1,2k+1)
    1 e: X9 D% w7 }$ N+ I, e又∵奇数本身永远满足增同素0 A' z' _/ [8 o2 C
    ∴M+(2k+1,2k+1)
    0 x* [7 J1 a: K2 ~由k的任意性知,自然数中,所有奇数两两增同素。
    . S  `6 _$ [  a2 Q+ C同理可证同为偶数的情形。
    3 o" r8 P4 b7 _9 [. Z, V) z( W$ `三、同素理论的运用举例
    6 i. d; _: k6 \" N) G  k1、任何大于4的偶数可以写成两个奇素数的和。
    & _8 g) i- g& |( E9 ?已知:2n(n>2)
    3 O) a3 Y1 }/ a3 o2 \求证:2n=p+q(p、q为奇素数)
    ! e3 V5 E& `: q2 M# I' j/ a证明:∵2n=1+b(b为奇数,b>3)& u& W, T( r# k3 `) f
          M(1,b)成立
    " a- M4 B* C4 p& o      即1+2m与b-2m同时为素数& |8 e% `! [8 R* F
    ∴2n=(1+2m)+(b-2m)
    " E( I* e( d( d1 G' K令p=1+2m,q=b-2m,有:! l* J  ~1 D. X" k% O" N* b
    2n= p+q(p、q为奇素数)# a( V, `, w; ?% q* \% ?
    推论:任何大于7的奇数都可以写成3个奇素数的和。, i; ^3 K8 Z+ B# b- J) Z3 _: `
    事实上,任何一个大于7的奇数,一定能写成一个奇素数和一个大于4的偶数之和,而所有大于4的偶数都可以写成两个奇素数的和,故推论成立。
    ! J$ d1 I4 S* _" @5 G4 A( {2、孪生素数有无穷多对。. R8 p: e3 K& N; S2 w, [; Q
    证明:假设孪生素数仅有有限对,那么取大于最后一组孪生素数较大数以后的两个连续奇数a,b(a<b),$ v! B. m; V& [2 r! O! M& \7 h
    ∵M+(a,b),故存在m>1,使得:/ d. Z. N4 u, o: J+ Z" }: x8 C
    ∴(a+2m)与(b+2m)同时为素数
    + ]! z  o  a! G! K; ]而(a+2m)-(b+2m)=2
    " [" i* m! s  @" B% {9 I' V9 p∴(a+2m)与(b+2m)是孪生素数。
    + C9 n  k- p5 Z4 h  H显然与假设矛盾。故孪生素数有无穷多对。
    4 d, g- f: |" u推论1:三生素数只有3、5、7一组,多生素数不存在。. v# a; F) i# ]! J
    假设除3、5、7外,还有另外一组三生素数a,b,c,1 F+ P7 F! m5 J7 }1 B
    则a被3整除余数只能为1或者2。如果余数为1,则b能被3整除,与a,b,c是三生素数相矛盾;如果余数为2,则c能被3整除,与a,b,c是三生素数相矛盾。因此,除3,5,7外,没有其他的三生素数。# e  `, ^2 }! {" x+ x! X( K
    同理可得,多生素数不存在。
    + v* L% ?0 b: l1 I% v推论2、所有的偶数都可以写成两个奇素数的差。
    ! W6 Y4 e4 |; Q0 s8 b% ?' O3 h证明:任意给定偶数2n
    0 v  i  _. A( Z( [1 a4 G∵M+(1,2n+1)成立;: b6 s; }# V5 J& D  P
    ∴1+2m和2n+1+2m同时为奇素数
    9 {* }, H- w/ j' C* d3 D有(2n+1+2m)-(1+2m)=2n
    1 t3 M' t' T. _& r9 c. x6 D7 B  c+ e: c3 f0 |
    参考书目:1、《中国大百科全书》数学卷,华罗庚、苏步青等主编,1988年11月中国大百科全书出版社出版,P628-P629。
    ' O# u- T, o0 c" t, h1 e7 s          2、陈景润《初等数论》。% F/ P. n& W* X. j: G4 b
    zan
    转播转播0 分享淘帖0 分享分享0 收藏收藏0 支持支持0 反对反对0 微信微信

    3

    主题

    5

    听众

    64

    积分

    升级  62.11%

  • TA的每日心情

    2012-10-21 20:28
  • 签到天数: 12 天

    [LV.3]偶尔看看II

    自我介绍
    爱好数学
    回复

    使用道具 举报

    茉稀        

    0

    主题

    5

    听众

    66

    积分

    升级  64.21%

  • TA的每日心情
    无聊
    2012-9-10 07:54
  • 签到天数: 11 天

    [LV.3]偶尔看看II

    自我介绍
    希望能和对数学感兴趣的朋友多交流。
    回复

    使用道具 举报

    3

    主题

    5

    听众

    64

    积分

    升级  62.11%

  • TA的每日心情

    2012-10-21 20:28
  • 签到天数: 12 天

    [LV.3]偶尔看看II

    自我介绍
    爱好数学
    同素理论:一个自然数a和另一个自然数b,如果有a+2m与b-2m[或a+(2m-1)与b-(2m-1)]同时为素数,我们就称a和b关于m同素;
    - H2 \: a# c$ {; N" d
    回复

    使用道具 举报

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

    qq
    收缩
    • 电话咨询

    • 04714969085
    fastpost

    关于我们| 联系我们| 诚征英才| 对外合作| 产品服务| QQ

    手机版|Archiver| |繁體中文 手机客户端  

    蒙公网安备 15010502000194号

    Powered by Discuz! X2.5   © 2001-2013 数学建模网-数学中国 ( 蒙ICP备14002410号-3 蒙BBS备-0002号 )     论坛法律顾问:王兆丰

    GMT+8, 2025-11-8 08:46 , Processed in 0.678765 second(s), 71 queries .

    回顶部