QQ登录

只需要一步,快速开始

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

同素理论与哥德巴赫猜想

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

3

主题

5

听众

64

积分

升级  62.11%

  • TA的每日心情

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

    [LV.3]偶尔看看II

    自我介绍
    爱好数学
    跳转到指定楼层
    1#
    发表于 2012-9-4 21:00 |只看该作者 |倒序浏览
    |招呼Ta 关注Ta
    同素理论与哥德巴赫猜想
    & Q1 E# Q& l6 b! P' U  a( t* I杨天生
    0 N7 `" g5 @, T: s% d( W& w  r) A% dQQ:784177725: O: D7 _- a  l4 k: Y7 c1 d
    邮箱:yangtiansheng68@sina.com  c, Y5 [5 ?, ^1 I' S; x8 B
    摘要:1同素理论:一个自然数a和另一个自然数b,如果有a+2m与b-2m[或a+(2m-1)与b-(2m-1)]同时为素数,我们就称a和b关于m同素;: u+ z+ }% Y9 _. M4 p
    2、对于自然数a(a+2<b)如果与另一个同奇(同偶)的自然数b,有M(a,b),则M(a+2,b)也成立。
    1 x2 a" S0 H5 G; u3、对于奇数a,b(a<b),如果存在非负整数m,使得(a+2m)与(b+2m)同时为素数,则称a,b关于m增同素;
    ' P  b9 _5 l/ q. s0 @4、对于两个奇自然数a,b(a<b),若M+(a,b)成立,则M+(a+2,b)也成立。当a≠1时,其逆也真。
    1 x( s+ o) Y! D8 B  N1 Q8 t2 i主要方法:数学归纳法
    1 y9 l" g( q' B) x关键词: 同素   增同素  同素定理  增同素定理) W# _' m: J9 Z9 z8 C% I+ G! m

    6 o3 [4 Z" V  \9 G正文:
    ' Y6 i/ E* K" M8 L, g我们在日常生活中经常和自然数打交道。于是人们对自然数进行了深入的研究,认识了自然数的整除性,奇偶性,总结了许多规律。其实,自然数还有一类重要特性——同素性。9 D% U. a( T# I6 V% B, A$ r$ H
    一、同素的相关定义( b, ?1 o" R' \+ ?6 Y
    观察下列关于自然数的算式:
    ( m5 |! d0 M2 B% \, v% \9 x给定奇数1和45,有:1 b) n8 W  p1 M8 v+ q) {
    1+2x8=17(素数)、45-2x8=29(素数)
    / N. q$ w& [5 F; m, D& r+ H给定奇数9和123,有:
    * T  ~8 d; v) R* v, @7 ~6 f. \  Z9+2x11=31(素数)、123-2x11=101(素数)
    : I& f' K; n8 z给定偶数数12和94,有:
    5 I8 d: [, j& f% u12+(2x6-1)=23(素数)、94-(2x6-1)=83(素数)8 X4 t9 B! t% C
    ……0 K6 O9 q  y: t, M! u0 ~
    定义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,同素模有可能是一个或多个。* D/ J& J  ?( [# k9 l  d
    特别规定:M(1,1),M(1,3),M(2,2)没有意义,即M(1,1),M(1,3),M(2,2)不存在。
    ( Z. o# u2 M: `7 I另外,在M(a,b)中,M代表同素变换,不代表任何具体数,m为一具体数,但不固定唯一。
    ) a( j( Q& b5 n3 |9 \我们根据同素的定义,容易理解M(a,b)成立时,M(a+2n,b-2n)或M(a-2n*,b+2n*)(n<b/2、n*<a/2)也成立。
    - x2 s5 ]# H, g" F, E! `9 s* Z定义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的要求,不再特别注明。; U3 G1 {6 r" p# G1 J7 ~2 R" S
    例如对于奇数1和5,1+2*1=3(素数),5+2*1=7(素数)
    4 @/ I$ j; z# Q2 S& k2 _所以有M+(1,5);对于奇数15和43,15+2*2=19(素数),43+2*2=47(素数)所以有M+(15,43)。
    3 H, }" G4 ^; j7 O+ W由于素数有无穷多个,显然任何奇数本身满足增同素,两个素数永远满足增同素,其最小同素模为0。
    . b" x3 M3 S7 o: l( S. F, }根据增同素的定义,容易理解当增同素模大于1时,如果M+(a,b)成立,则M+(a+2,b+2)或也成立,其增同素模为(m-1), M+(a-2,b-2)也成立,其增同素模为(m+1)。
    $ Z3 u3 y: S4 O( T: T; ^* }/ P定义3、给定素数a,b(a<b),如果b-a=2,则称a,b为孪生素数。
    ; _3 T# h8 J( r& i定义4、给定素数a,b,c(a<b<c),如果c-b=b-a=2,则称a,b,c为三生素数。0 Y2 b: J, s9 u
    定义5、给定素数a,b,c,d(a<b<c<d),如果d-c=c-b=b-a=2,则称a,b,c,d为多生素数。7 d" E7 o5 n! y. y, F! x- k% {
    二、同素的性质4 l# D5 i  Z6 ~6 Y4 Q
    自然数同素有许多有趣的性质,下面举出几例。
    + U8 x0 v5 ]  w: z9 }. f1、同素定理:对于奇(偶)自然数a(a+2<b)如果与另一个同奇(同偶)的自然数b,有M(a,b)成立,则M(a+2,b)也成立。) n! |5 F0 t5 b" n% k3 R' F  q3 H$ Q
    证明:先证明同奇的情形。为了叙述的方便,我们不妨先讨论a=1的情况。! n& o: z' f5 I* q7 s. R
    ①、容易验证:据M(1,5)有M(1+2,5);据M(1,7)有M(1+2,7);……   ,据M(3,5)有M(3+2,5);……。
    & D8 F( N( R; x: z+ _0 c②、假设当a=2k-1时,上面定理成立。即M(2k-1,b)成立时,有M(2k+1,b)成立。那么当a=2k+1时,有:
    " [) l1 P! h( P3 J7 t∵M(2k+1,b)
    3 M& x, d& j: c8 A9 F, ?∴M(2k-1,b+2)
    $ s3 O8 N. X4 C8 R! v, K∴M(2k+1,b+2)7 E! q# R) s. e. a2 V
    ∴M(2k+3,b)3 r$ C, a$ Q% J( s" l# u3 `
    即当M(2k+1,b)成立时,有M(2k+3,b)成立。9 q1 {; i  r! i& B" w; k, J
    综合①、②,由k的任意性可知,对于奇数a(a+2<b),如果与另一个奇数b,有M(a,b)成立,则M(a+2,b)也成立。
    # Z' Z+ Y+ F1 N1 I! ~( }; I) l同理可以推出a,b同为偶数的情形。" V$ ?; W1 L- S5 E2 N7 e* I
    综上所述,对于所有自然数,如果M(a,b)成立,即M(a,b)有意义,则M(a+2,b)也成立。: _. m6 j$ y+ y/ L& W2 V! \
    2、增同素定理:对于两个奇自然数a,b(a<b),若M+(a,b)成立,则M+(a+2,b)也成立。9 o" @8 ?* {. x/ u2 \5 M
    证明:(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)……;
    5 J, @. H) d1 v6 m' N8 e(2)、假设a =2k-1时上述定理成立,即M+(2k-1,b)成立时,M+(2k+1,b)也成立,那么当a =2k+1时,显然由M+(2k+1,b)可以得到:
    4 S% Y* E1 `4 P5 n$ C  V" h" k1 {∵M+(2k+1,b)
    & S% F5 c% b; l. j4 `; @∴M+(2k-1,b-2)
    * R7 D1 s# P- r3 {) Q1 A∴M+(2k+1,b-2); a4 |9 u2 Y, Z; w! k
    ∴M+(2k+3,b)  h$ D9 ~7 L1 G1 n/ B
    4 P7 T8 k' L" |) N9 H% i7 B( Y
    由于素数有无穷多个,那么选取适当的素数c(c>2k-1),在小于(2k-1)的范围内任取一素数d,显然M+(d, c)成立,根据假设,有:M+(d+2, c),M+(d+4, c)……,M+(2k-1, c)也成立。) ?% a% ?; S( j& P2 j3 K0 u
    由M+(2k-1, c)得:4 g, ~! k2 n& N
    M+(2k-3, c-2)
    / ?) Y. {" i8 v) A' k∴M+(2k-1, c-2)/ t1 `0 U) X7 H: K
    ∴M+(2k+1, c)
    ( d2 _) F' x( l7 d由k的任意性知,对于两个奇自然数a,b(a<b),若M+(a,b)成立,则M+(a+2,b)也成立。
    5 J1 k+ \. f4 e: n# f" e) Q6 l下面我们再来证明当a≠1时,其逆也真。
    ) u$ }& n% u6 @! e1 `(1)、容易验证,当M+(3,5)成立,可得M+(1,5)也成立;当M+(3,7)成立,可得M+(1,7)也成立;……当M+(15,27)成立,可得M+(13,27)也成立;……
    + e% B  U; I2 j& {(2)、假设当M+(2k-1,2k+x)(x为奇数,x≥1,k>2)成立,可得M+(2k-3,2k+x)也成立,那么当于是M+(2k+1,2k+y)(y为奇数,y≥3)有:2 A6 G7 Z0 c7 G2 z0 m6 k2 ?
    M+(2k+1-2,2k+y-2)即M+(2k-1,2k+y-2),根据假设有:6 G2 x8 Q4 _5 ]' B
    M+(2k-3,2k+y-2),而k>2,故2k-3≠1,
    , V0 y: m- k+ u" K6 S% ]1 O) M6 k4 u∴M+(2k-1,2k+y)$ d4 v$ D, y8 e2 D8 v: w; F
    由k的任意性知,当a≠1时,其逆也真。
    4 e* t0 p8 s% X推论:自然数中,所有同奇数或同偶的自然数两两增同素。( ~  J4 z% O3 x4 \
    证明:先证同为奇数的情形:7 y1 E8 o. _9 Y% X- M
    (1)容易验证,M+(1,3),M+(1,5)……成立。! D+ r( I0 E5 _5 a
    (2)假设M+(1,2k-1)成立,那么根据增同素定理有:1 K; `  R& F" U8 B3 b4 ]9 u
    M+(3,2k-1)M+(5,2k-1)……M+(2k-1,2k-1)也成立。而M+(1,2k-1)成立,故M+(3,2k+1)成立,* Y7 v0 k8 O1 g: O/ o0 d1 C1 r
    ∴M+(1,2k+1)
    ! {# ]- P: V- Z1 S∴M+(3,2k+1); N/ l8 n! [8 D
    ……
    5 _, U* A2 D2 t" y∴M+(2k-1,2k+1)
    8 u. C% e, O2 |1 t1 p又∵奇数本身永远满足增同素& P/ a" w" M: H9 k5 T3 V
    ∴M+(2k+1,2k+1)
    1 Z: j4 q& A) s& w3 z+ R5 u2 p由k的任意性知,自然数中,所有奇数两两增同素。4 P6 y( p3 ]* N6 h8 O
    同理可证同为偶数的情形。# ]6 O" R" w) h/ X/ V
    三、同素理论的运用举例8 `0 m- k6 `6 y# j
    1、任何大于4的偶数可以写成两个奇素数的和。
    3 I$ U+ D" {6 R" _5 O! X0 _! i+ ^& _3 Z已知:2n(n>2)$ k. A$ s/ c) {/ t& h
    求证:2n=p+q(p、q为奇素数)
    , P2 l) S, s7 M# Q+ _: [证明:∵2n=1+b(b为奇数,b>3)* M9 t. `. y: m
          M(1,b)成立# q& F5 F+ {( c* Z8 \1 @5 }! Z
          即1+2m与b-2m同时为素数
    6 F0 ?+ R$ \- g∴2n=(1+2m)+(b-2m)
    * L# x" ~6 l4 n! H$ U令p=1+2m,q=b-2m,有:$ ]1 {& \- z, i1 s* D% C! X
    2n= p+q(p、q为奇素数)+ X4 m- y. C9 J
    推论:任何大于7的奇数都可以写成3个奇素数的和。1 Q; s3 R5 L0 |7 Z- I. g0 S9 x  M+ ^
    事实上,任何一个大于7的奇数,一定能写成一个奇素数和一个大于4的偶数之和,而所有大于4的偶数都可以写成两个奇素数的和,故推论成立。4 {8 V* e4 X2 ~; {4 f5 h' W
    2、孪生素数有无穷多对。
    7 w5 S. n5 g" M9 P* t证明:假设孪生素数仅有有限对,那么取大于最后一组孪生素数较大数以后的两个连续奇数a,b(a<b),% q* {% n, B/ a5 o+ T6 I2 J8 J
    ∵M+(a,b),故存在m>1,使得:
    , R. f- _+ b: a9 n' n. P∴(a+2m)与(b+2m)同时为素数1 N! d- ^2 P$ B, s6 {1 f& L; @
    而(a+2m)-(b+2m)=2* b7 x' l: g: |
    ∴(a+2m)与(b+2m)是孪生素数。
    % d! N. i7 M( |. F" l  @4 ?" I  E显然与假设矛盾。故孪生素数有无穷多对。
    # `8 {2 n+ @1 y5 S# j推论1:三生素数只有3、5、7一组,多生素数不存在。5 I  X+ P8 W/ ^, E* R, y3 a
    假设除3、5、7外,还有另外一组三生素数a,b,c,
    ! r2 y. h6 M, U4 e% l2 R则a被3整除余数只能为1或者2。如果余数为1,则b能被3整除,与a,b,c是三生素数相矛盾;如果余数为2,则c能被3整除,与a,b,c是三生素数相矛盾。因此,除3,5,7外,没有其他的三生素数。! r1 r( [5 }$ o; [/ i
    同理可得,多生素数不存在。
    1 c' e" d  q# X# e推论2、所有的偶数都可以写成两个奇素数的差。7 g- x/ G" A1 R8 f+ v
    证明:任意给定偶数2n. R" b8 S  v" b5 e, ^9 l# }$ U
    ∵M+(1,2n+1)成立;
    $ J$ j$ ~* s. j+ O# n$ P∴1+2m和2n+1+2m同时为奇素数
    4 G: `8 W: f! {( X有(2n+1+2m)-(1+2m)=2n
    9 O  ?9 k$ R6 y! P
    8 b8 ^' X% F- M6 r/ a6 D参考书目:1、《中国大百科全书》数学卷,华罗庚、苏步青等主编,1988年11月中国大百科全书出版社出版,P628-P629。' R* t! T/ u/ P" `- `) A
              2、陈景润《初等数论》。3 ]4 c, g2 b( ?; q) U
    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同素;, }8 t" [  h3 U5 h8 `! t
    回复

    使用道具 举报

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

    qq
    收缩
    • 电话咨询

    • 04714969085
    fastpost

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

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

    蒙公网安备 15010502000194号

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

    GMT+8, 2026-5-6 04:44 , Processed in 0.365483 second(s), 67 queries .

    回顶部