QQ登录

只需要一步,快速开始

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

同素理论与哥德巴赫猜想

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

3

主题

5

听众

64

积分

升级  62.11%

  • TA的每日心情

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

    [LV.3]偶尔看看II

    自我介绍
    爱好数学
    跳转到指定楼层
    1#
    发表于 2012-9-4 21:00 |只看该作者 |倒序浏览
    |招呼Ta 关注Ta
    同素理论与哥德巴赫猜想& \  }. P+ M+ T' A0 C+ v/ l- j6 }
    杨天生
    / f) Q+ a6 I5 z) X4 |" M- jQQ:784177725$ a7 l/ E9 z- @; u# O
    邮箱:yangtiansheng68@sina.com
    # p4 ?# p5 b0 e) s' F3 F0 @7 p! X摘要:1同素理论:一个自然数a和另一个自然数b,如果有a+2m与b-2m[或a+(2m-1)与b-(2m-1)]同时为素数,我们就称a和b关于m同素;- x9 X: j/ o2 c- W$ s$ E
    2、对于自然数a(a+2<b)如果与另一个同奇(同偶)的自然数b,有M(a,b),则M(a+2,b)也成立。
    0 m* }* B, S5 r2 i% p& L3、对于奇数a,b(a<b),如果存在非负整数m,使得(a+2m)与(b+2m)同时为素数,则称a,b关于m增同素;
    - d" R+ e5 Y3 H) f4、对于两个奇自然数a,b(a<b),若M+(a,b)成立,则M+(a+2,b)也成立。当a≠1时,其逆也真。/ K5 s, m7 j( ^7 W! N
    主要方法:数学归纳法
    ) l0 {0 L1 k( n5 T关键词: 同素   增同素  同素定理  增同素定理
    , y: e( L$ }6 K+ ]% r& H- U9 [3 N
    正文:+ d! ?' X7 K3 ]! |. n
    我们在日常生活中经常和自然数打交道。于是人们对自然数进行了深入的研究,认识了自然数的整除性,奇偶性,总结了许多规律。其实,自然数还有一类重要特性——同素性。3 i; ~. W8 w- u, F! ?
    一、同素的相关定义
    : g, n5 Q! _. N2 l观察下列关于自然数的算式:
    - _0 L1 U' H- \8 t- x4 p* R! Y给定奇数1和45,有:
    , c$ ~6 j' m1 L4 L: A# W# k1+2x8=17(素数)、45-2x8=29(素数)
    . D" l& h/ B) a+ R; M, Q4 F+ ~- j给定奇数9和123,有:
    , t1 G7 B4 ~# T7 V7 x$ u! B9+2x11=31(素数)、123-2x11=101(素数)
    / ^; K0 h, s/ @0 ~6 ]给定偶数数12和94,有:
    8 X8 z1 ]) @' }# }$ L/ e% j12+(2x6-1)=23(素数)、94-(2x6-1)=83(素数)
    ! ~, s9 C* K, u! S……
    " r0 j: D( p: d/ T6 T+ N定义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,同素模有可能是一个或多个。
    " B6 T0 _4 Q3 z! w8 H2 `! ?特别规定:M(1,1),M(1,3),M(2,2)没有意义,即M(1,1),M(1,3),M(2,2)不存在。! Y9 D0 p) _( a2 |8 S
    另外,在M(a,b)中,M代表同素变换,不代表任何具体数,m为一具体数,但不固定唯一。. o9 z8 {  [$ _* t
    我们根据同素的定义,容易理解M(a,b)成立时,M(a+2n,b-2n)或M(a-2n*,b+2n*)(n<b/2、n*<a/2)也成立。* k: h- f( J% B& Q
    定义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的要求,不再特别注明。
    6 r/ j6 W" \9 n& A/ @! K  _例如对于奇数1和5,1+2*1=3(素数),5+2*1=7(素数)/ y1 d5 g+ |) E8 R; T
    所以有M+(1,5);对于奇数15和43,15+2*2=19(素数),43+2*2=47(素数)所以有M+(15,43)。
    5 s: C5 w3 k& S) x, x4 W由于素数有无穷多个,显然任何奇数本身满足增同素,两个素数永远满足增同素,其最小同素模为0。
    ! N. N3 m2 t8 {7 b* a; D/ `6 }根据增同素的定义,容易理解当增同素模大于1时,如果M+(a,b)成立,则M+(a+2,b+2)或也成立,其增同素模为(m-1), M+(a-2,b-2)也成立,其增同素模为(m+1)。
    5 r8 R4 j# _6 h定义3、给定素数a,b(a<b),如果b-a=2,则称a,b为孪生素数。1 s( o/ M# ], i1 f
    定义4、给定素数a,b,c(a<b<c),如果c-b=b-a=2,则称a,b,c为三生素数。$ |( C' S2 l6 s
    定义5、给定素数a,b,c,d(a<b<c<d),如果d-c=c-b=b-a=2,则称a,b,c,d为多生素数。
    ) N, ?0 T. x& O' ~二、同素的性质
    - \& n- |* ~+ u* t( y自然数同素有许多有趣的性质,下面举出几例。- L+ x+ V- Q) B  o1 L( ]
    1、同素定理:对于奇(偶)自然数a(a+2<b)如果与另一个同奇(同偶)的自然数b,有M(a,b)成立,则M(a+2,b)也成立。
    # o5 |7 \$ D/ T证明:先证明同奇的情形。为了叙述的方便,我们不妨先讨论a=1的情况。
    ) D' f- V/ r! J6 H% K①、容易验证:据M(1,5)有M(1+2,5);据M(1,7)有M(1+2,7);……   ,据M(3,5)有M(3+2,5);……。  _. s0 U! ?" Y) P7 _4 y: b  _
    ②、假设当a=2k-1时,上面定理成立。即M(2k-1,b)成立时,有M(2k+1,b)成立。那么当a=2k+1时,有:: |- Y1 I5 z# s  ]+ z8 q
    ∵M(2k+1,b)
    0 g+ _2 W5 x. f) _∴M(2k-1,b+2)
    0 R. c8 X6 b+ r% ~/ S∴M(2k+1,b+2)2 Q; R5 w) U+ F. r& l) I# I
    ∴M(2k+3,b)4 v* a3 r! O( j. `
    即当M(2k+1,b)成立时,有M(2k+3,b)成立。' }! a; Q2 l" w4 z; A6 f' m9 |$ w
    综合①、②,由k的任意性可知,对于奇数a(a+2<b),如果与另一个奇数b,有M(a,b)成立,则M(a+2,b)也成立。
    $ h, U- [2 D5 {0 G- [同理可以推出a,b同为偶数的情形。
    3 b9 G+ _7 N/ D& v综上所述,对于所有自然数,如果M(a,b)成立,即M(a,b)有意义,则M(a+2,b)也成立。3 |  B; f6 R" i
    2、增同素定理:对于两个奇自然数a,b(a<b),若M+(a,b)成立,则M+(a+2,b)也成立。
    7 x% [8 [2 i$ q) U% s0 ^) r证明:(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)……;
    % z9 ]6 N+ G5 V7 F7 }(2)、假设a =2k-1时上述定理成立,即M+(2k-1,b)成立时,M+(2k+1,b)也成立,那么当a =2k+1时,显然由M+(2k+1,b)可以得到:  n7 M$ N+ t, N$ O+ C1 T5 o1 R) F! Q( Z
    ∵M+(2k+1,b)
    ( x! L, N' n8 }3 V% o∴M+(2k-1,b-2)
    3 [1 d/ M3 J9 L+ U3 k: H  e∴M+(2k+1,b-2)
    ! ?% H  }' l- a( K∴M+(2k+3,b)
    $ Y1 }1 ~! {! z6 H5 I3 V2 ]
    " K5 R/ \! Y. `1 y! R由于素数有无穷多个,那么选取适当的素数c(c>2k-1),在小于(2k-1)的范围内任取一素数d,显然M+(d, c)成立,根据假设,有:M+(d+2, c),M+(d+4, c)……,M+(2k-1, c)也成立。
    ) R) I5 C, H+ f1 v2 l1 y0 V! p; J2 p由M+(2k-1, c)得:
    & f+ f& B3 q& CM+(2k-3, c-2)
    * ]3 F& B% H; j3 w) W∴M+(2k-1, c-2)
    $ i' V# b6 v4 `; z& ], I! ]∴M+(2k+1, c)
    * I& R1 ]+ r' T9 V, T: v由k的任意性知,对于两个奇自然数a,b(a<b),若M+(a,b)成立,则M+(a+2,b)也成立。
    . u% y* J3 O9 H& ^$ S下面我们再来证明当a≠1时,其逆也真。4 B3 p" u# b6 W5 a5 ?' Y
    (1)、容易验证,当M+(3,5)成立,可得M+(1,5)也成立;当M+(3,7)成立,可得M+(1,7)也成立;……当M+(15,27)成立,可得M+(13,27)也成立;……7 q0 c6 N# z2 u9 g: R5 R: Y
    (2)、假设当M+(2k-1,2k+x)(x为奇数,x≥1,k>2)成立,可得M+(2k-3,2k+x)也成立,那么当于是M+(2k+1,2k+y)(y为奇数,y≥3)有:
    6 s# }* y  {; iM+(2k+1-2,2k+y-2)即M+(2k-1,2k+y-2),根据假设有:
    & Z) U" ]) i3 O( CM+(2k-3,2k+y-2),而k>2,故2k-3≠1,
    5 W2 Q8 y' n) w# C, i& ]  N∴M+(2k-1,2k+y)! r) L0 V" h2 @2 F7 b1 R
    由k的任意性知,当a≠1时,其逆也真。6 t- o. [5 t6 N7 J* R. j/ P; K
    推论:自然数中,所有同奇数或同偶的自然数两两增同素。
    ( Z" g+ u3 H4 K2 g8 ]证明:先证同为奇数的情形:
    0 j  E5 ?% c5 J2 E2 D(1)容易验证,M+(1,3),M+(1,5)……成立。! A( k. z  g; c' e
    (2)假设M+(1,2k-1)成立,那么根据增同素定理有:8 c* s& f. J# w$ K* d, |1 @6 ^
    M+(3,2k-1)M+(5,2k-1)……M+(2k-1,2k-1)也成立。而M+(1,2k-1)成立,故M+(3,2k+1)成立,
    # o0 J3 O5 n; b, w! m∴M+(1,2k+1)
    + C( b& m" ?% o8 Y' r! z' C2 X∴M+(3,2k+1)
    ( ]# A1 F* O. a2 L1 x1 V( Z2 [……* ]: }+ ~1 N; N' ?
    ∴M+(2k-1,2k+1)
      l" ~3 S& N; j" h& T* B2 b又∵奇数本身永远满足增同素  ^9 Y! ~6 k8 n9 Y6 n
    ∴M+(2k+1,2k+1)* k+ X0 B) [, T' G& B
    由k的任意性知,自然数中,所有奇数两两增同素。
    ! T( `- ^7 |1 @+ X" w. v+ ^5 O  S% g同理可证同为偶数的情形。4 x, Q% s% j2 w" y1 g$ F5 U
    三、同素理论的运用举例# {' n7 w$ V  T1 a5 _- u# r+ ]% _
    1、任何大于4的偶数可以写成两个奇素数的和。( F9 c6 R9 D" \- w
    已知:2n(n>2)
    9 R, L0 s' A& s0 a9 }/ ]求证:2n=p+q(p、q为奇素数)
    % b; k& h. k1 H: s  z证明:∵2n=1+b(b为奇数,b>3)
      \. t3 O% q, B" H; I; R      M(1,b)成立0 g1 ?& ^3 F) ]3 b3 }' b2 h
          即1+2m与b-2m同时为素数: X& U/ n$ T* W: q
    ∴2n=(1+2m)+(b-2m)
    3 H' ]' z7 p* C/ X* E2 L% ~令p=1+2m,q=b-2m,有:* {4 w  I3 R, B1 i9 Z; A
    2n= p+q(p、q为奇素数)
    . {2 J5 z* z8 _" M, B: Q: |推论:任何大于7的奇数都可以写成3个奇素数的和。% k0 ?. @$ R& {; x
    事实上,任何一个大于7的奇数,一定能写成一个奇素数和一个大于4的偶数之和,而所有大于4的偶数都可以写成两个奇素数的和,故推论成立。- N, e2 m- [; Z% J
    2、孪生素数有无穷多对。
    & G4 g+ a! W; k# B: ?0 X证明:假设孪生素数仅有有限对,那么取大于最后一组孪生素数较大数以后的两个连续奇数a,b(a<b),
    / l" s! O6 p; j7 G∵M+(a,b),故存在m>1,使得:
    8 D4 F4 k9 [5 y- c. t9 }1 r& i∴(a+2m)与(b+2m)同时为素数
    2 q9 N+ U) \: |4 i+ T8 o2 s6 l而(a+2m)-(b+2m)=2
    3 R: j! ^5 S/ V4 x∴(a+2m)与(b+2m)是孪生素数。+ l3 \. Q* S2 z6 y2 Y2 J" R" Z
    显然与假设矛盾。故孪生素数有无穷多对。
    9 s3 }/ F# T7 c& t1 S推论1:三生素数只有3、5、7一组,多生素数不存在。
    8 p8 W' ?9 T+ ]! b& a假设除3、5、7外,还有另外一组三生素数a,b,c,. w0 r( |9 X3 F+ W
    则a被3整除余数只能为1或者2。如果余数为1,则b能被3整除,与a,b,c是三生素数相矛盾;如果余数为2,则c能被3整除,与a,b,c是三生素数相矛盾。因此,除3,5,7外,没有其他的三生素数。, i, S; V+ t/ g# N& B1 I
    同理可得,多生素数不存在。" J2 I2 [" r0 P( h9 n* }: ^3 Q
    推论2、所有的偶数都可以写成两个奇素数的差。
    1 w. U; \7 c+ ~3 _证明:任意给定偶数2n3 W) k% f8 ]" G" J+ m! G  x0 Z
    ∵M+(1,2n+1)成立;7 D/ O( L1 w# b
    ∴1+2m和2n+1+2m同时为奇素数3 q# e) X( T2 I! D/ |& f4 K, y. ?
    有(2n+1+2m)-(1+2m)=2n$ h% N- d) Y+ y5 F) z

    9 P9 n" f0 P2 _6 ]$ c# Q6 {8 M参考书目:1、《中国大百科全书》数学卷,华罗庚、苏步青等主编,1988年11月中国大百科全书出版社出版,P628-P629。7 `- U% V0 K5 M5 w; K( {+ j5 B7 m
              2、陈景润《初等数论》。
    6 V' }  r9 C& \2 ?: ?
    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同素;
    ! N2 F6 i# Z. ~. E  o  M/ _+ h
    回复

    使用道具 举报

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

    qq
    收缩
    • 电话咨询

    • 04714969085
    fastpost

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

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

    蒙公网安备 15010502000194号

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

    GMT+8, 2026-5-5 22:02 , Processed in 1.352990 second(s), 67 queries .

    回顶部