QQ登录

只需要一步,快速开始

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

同素理论与哥德巴赫猜想

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

3

主题

5

听众

64

积分

升级  62.11%

  • TA的每日心情

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

    [LV.3]偶尔看看II

    自我介绍
    爱好数学
    跳转到指定楼层
    1#
    发表于 2012-9-4 21:00 |只看该作者 |倒序浏览
    |招呼Ta 关注Ta
    同素理论与哥德巴赫猜想
    # Q) W- Z- ~. T1 Y杨天生
    1 z+ E4 N9 b" NQQ:784177725
    7 m. k& G1 U0 S$ v5 x邮箱:yangtiansheng68@sina.com
    2 B/ I* V) Q# t# O% y: t. F( u摘要:1同素理论:一个自然数a和另一个自然数b,如果有a+2m与b-2m[或a+(2m-1)与b-(2m-1)]同时为素数,我们就称a和b关于m同素;
    9 s- p# e  Z. ]% V' H2、对于自然数a(a+2<b)如果与另一个同奇(同偶)的自然数b,有M(a,b),则M(a+2,b)也成立。! B/ x/ v6 b; R# `. _9 P+ J. }
    3、对于奇数a,b(a<b),如果存在非负整数m,使得(a+2m)与(b+2m)同时为素数,则称a,b关于m增同素;: m$ g$ ?  D5 K- f2 J, ?) }
    4、对于两个奇自然数a,b(a<b),若M+(a,b)成立,则M+(a+2,b)也成立。当a≠1时,其逆也真。
    ' y3 ~/ k: ~1 z& w主要方法:数学归纳法
    * x2 Q- @6 z9 d+ j/ V. H4 A关键词: 同素   增同素  同素定理  增同素定理) a/ v) g" _+ v$ {# n6 g

    7 r' k& n: O2 E正文:' x( y: D9 |5 F) d: n4 ^
    我们在日常生活中经常和自然数打交道。于是人们对自然数进行了深入的研究,认识了自然数的整除性,奇偶性,总结了许多规律。其实,自然数还有一类重要特性——同素性。; A/ `8 N7 b% d7 w. a8 W, U0 x
    一、同素的相关定义2 Q7 n. I0 ]3 G8 e: H
    观察下列关于自然数的算式:  v2 e8 b- o# K- Y
    给定奇数1和45,有:
    2 T8 @' d/ W# X" l' G1+2x8=17(素数)、45-2x8=29(素数)
    + N3 W. a" R$ |5 O* L0 j给定奇数9和123,有:2 p- O) w  }" w: u' C
    9+2x11=31(素数)、123-2x11=101(素数)
    9 K. f9 c0 J5 w1 ?8 j- t" C0 C给定偶数数12和94,有:0 l$ w  U0 ^# q& s; G2 v6 \! w. L
    12+(2x6-1)=23(素数)、94-(2x6-1)=83(素数)! {5 W) s) }# c% x/ S4 T$ _/ L1 t1 l. {
    ……
    0 f# Z/ f7 ]: Z% k2 _定义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,同素模有可能是一个或多个。1 A4 D5 J8 g5 R% r4 B+ o( \7 @% u
    特别规定:M(1,1),M(1,3),M(2,2)没有意义,即M(1,1),M(1,3),M(2,2)不存在。! Z9 B! B; V4 O1 [6 F& N$ K
    另外,在M(a,b)中,M代表同素变换,不代表任何具体数,m为一具体数,但不固定唯一。) {! s8 [2 h* `: i' R" o% h
    我们根据同素的定义,容易理解M(a,b)成立时,M(a+2n,b-2n)或M(a-2n*,b+2n*)(n<b/2、n*<a/2)也成立。
    ; p$ m% u( D0 ]) @: r定义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的要求,不再特别注明。
    $ U( S7 @5 ?0 Y; X' y% ]7 o/ l& q例如对于奇数1和5,1+2*1=3(素数),5+2*1=7(素数): k, |' S; K+ a( o: o3 l1 t
    所以有M+(1,5);对于奇数15和43,15+2*2=19(素数),43+2*2=47(素数)所以有M+(15,43)。2 N1 H! j: j% {3 }. }
    由于素数有无穷多个,显然任何奇数本身满足增同素,两个素数永远满足增同素,其最小同素模为0。& N7 {; v& B! x+ Z7 L# e, `
    根据增同素的定义,容易理解当增同素模大于1时,如果M+(a,b)成立,则M+(a+2,b+2)或也成立,其增同素模为(m-1), M+(a-2,b-2)也成立,其增同素模为(m+1)。' u% Q; E+ d: Z" [* `
    定义3、给定素数a,b(a<b),如果b-a=2,则称a,b为孪生素数。
    ) C3 n1 B! b- Z2 ]4 ~定义4、给定素数a,b,c(a<b<c),如果c-b=b-a=2,则称a,b,c为三生素数。
    . r2 W9 d  U; N定义5、给定素数a,b,c,d(a<b<c<d),如果d-c=c-b=b-a=2,则称a,b,c,d为多生素数。
    ' u8 K/ y# {9 A% j. V二、同素的性质; s9 S- p. K% K6 h2 i0 J: X: i
    自然数同素有许多有趣的性质,下面举出几例。
    " A) b( a% u% r: V; C2 u1、同素定理:对于奇(偶)自然数a(a+2<b)如果与另一个同奇(同偶)的自然数b,有M(a,b)成立,则M(a+2,b)也成立。
    - A! `$ k' V! Q证明:先证明同奇的情形。为了叙述的方便,我们不妨先讨论a=1的情况。0 T3 b5 ~9 e$ [% Z3 n! Z
    ①、容易验证:据M(1,5)有M(1+2,5);据M(1,7)有M(1+2,7);……   ,据M(3,5)有M(3+2,5);……。* v: Y4 @4 R) x+ k% N
    ②、假设当a=2k-1时,上面定理成立。即M(2k-1,b)成立时,有M(2k+1,b)成立。那么当a=2k+1时,有:8 i$ Z3 K7 H% S/ U' e( G
    ∵M(2k+1,b)
    * B# \3 {! u8 \∴M(2k-1,b+2)
    * P1 V& F8 B8 `) D- R5 o2 A∴M(2k+1,b+2)3 F5 u5 N: f' ]3 T5 z
    ∴M(2k+3,b)( J4 h* \( c, E- v4 ]
    即当M(2k+1,b)成立时,有M(2k+3,b)成立。
    * L5 T, I! F; }, q, t, B4 B- w9 s综合①、②,由k的任意性可知,对于奇数a(a+2<b),如果与另一个奇数b,有M(a,b)成立,则M(a+2,b)也成立。1 ^+ Z) Q7 i% Q2 v5 G1 S
    同理可以推出a,b同为偶数的情形。! x  d: a% I5 G! _, O1 O
    综上所述,对于所有自然数,如果M(a,b)成立,即M(a,b)有意义,则M(a+2,b)也成立。% G  P0 n, {- e* ~$ S+ i6 C
    2、增同素定理:对于两个奇自然数a,b(a<b),若M+(a,b)成立,则M+(a+2,b)也成立。
    : G6 @! Z0 J& f1 G5 }8 [证明:(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)……;9 z4 m& N9 m' T, K) Q) g
    (2)、假设a =2k-1时上述定理成立,即M+(2k-1,b)成立时,M+(2k+1,b)也成立,那么当a =2k+1时,显然由M+(2k+1,b)可以得到:
    / \% n: S% P! t! l* K0 q∵M+(2k+1,b)( S2 _) r6 M# N3 Y9 ~
    ∴M+(2k-1,b-2)
    ! R7 P) [# h5 X+ l; _7 X( U∴M+(2k+1,b-2). K2 t$ t1 t% O/ o# [  b- F/ w
    ∴M+(2k+3,b)4 @) ]9 D: _1 X. F: \0 c3 V8 Q3 |" H

    6 E- B. ]  w( Q- x由于素数有无穷多个,那么选取适当的素数c(c>2k-1),在小于(2k-1)的范围内任取一素数d,显然M+(d, c)成立,根据假设,有:M+(d+2, c),M+(d+4, c)……,M+(2k-1, c)也成立。
    5 c9 s; x3 a3 f& T$ d由M+(2k-1, c)得:
    & y! f2 e; T  Z% j/ R, UM+(2k-3, c-2)
    % @" ~, n9 g9 U. J3 q* Y∴M+(2k-1, c-2)
    6 Q2 G7 ]6 u& v0 R7 T( I& y∴M+(2k+1, c)$ k3 h4 t, B# R& F) Q( F, H) w7 T+ i
    由k的任意性知,对于两个奇自然数a,b(a<b),若M+(a,b)成立,则M+(a+2,b)也成立。! \- Q; ]& W. K/ A1 _9 V; W9 r
    下面我们再来证明当a≠1时,其逆也真。
    ( V! `9 W6 Y2 g7 o1 r# }(1)、容易验证,当M+(3,5)成立,可得M+(1,5)也成立;当M+(3,7)成立,可得M+(1,7)也成立;……当M+(15,27)成立,可得M+(13,27)也成立;……4 D* f' L5 U" I' g/ s6 p
    (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 g2 E9 O+ H/ z, g) ^' @3 n7 b. \
    M+(2k+1-2,2k+y-2)即M+(2k-1,2k+y-2),根据假设有:% l. i/ n- r( a
    M+(2k-3,2k+y-2),而k>2,故2k-3≠1,
    / S: E' [/ ~, E' E4 F% K∴M+(2k-1,2k+y)
    + t8 j9 e6 u; C( @' j9 X* c由k的任意性知,当a≠1时,其逆也真。
    ( i% l+ S! C  T, V$ ^. q推论:自然数中,所有同奇数或同偶的自然数两两增同素。9 E0 U) l; Q+ N$ k: L, R
    证明:先证同为奇数的情形:9 E& x/ R: i1 [  g0 i. M
    (1)容易验证,M+(1,3),M+(1,5)……成立。
    ( R6 M* i/ _: w4 s$ l' ]( ?, i8 h4 r9 u(2)假设M+(1,2k-1)成立,那么根据增同素定理有:$ K" k* y  Q+ r0 H  P  f: P
    M+(3,2k-1)M+(5,2k-1)……M+(2k-1,2k-1)也成立。而M+(1,2k-1)成立,故M+(3,2k+1)成立,  u+ h# M- A- v4 V% n( C+ Z. _
    ∴M+(1,2k+1)* @- o! c5 l$ ~* g' W/ x7 |
    ∴M+(3,2k+1)
    6 G! g* B  r, a……
    ' c7 P4 Y% }  j$ y( S∴M+(2k-1,2k+1)9 @+ L: c9 b4 g4 F+ s
    又∵奇数本身永远满足增同素
    & m0 N1 i; q& r. a/ @$ O! H∴M+(2k+1,2k+1)/ Z/ L  r1 L8 q* w& L
    由k的任意性知,自然数中,所有奇数两两增同素。
    0 c3 w5 Q* h- U% d同理可证同为偶数的情形。6 b0 ]. V( G" y/ O/ i
    三、同素理论的运用举例
    ' d" d- ^3 H( y! z. i1、任何大于4的偶数可以写成两个奇素数的和。
    ( [: {. M$ e. \, t9 b" I0 J已知:2n(n>2)
    8 F' |: `6 p/ q. w8 z  `  B' E求证:2n=p+q(p、q为奇素数)
      `& p, {6 q. d6 H6 |  H" {证明:∵2n=1+b(b为奇数,b>3)/ k7 O. A5 p9 W  x
          M(1,b)成立
    $ Q& i+ p; N* O; s1 e, P' w      即1+2m与b-2m同时为素数
    2 X6 M# L3 E$ T* Z( U∴2n=(1+2m)+(b-2m)
      ?  `3 S5 Z% |* i, o令p=1+2m,q=b-2m,有:! }( w+ Z7 U! o6 l  ^5 R5 g0 S/ X# Q1 F
    2n= p+q(p、q为奇素数)
    8 m( {: P9 ]6 L6 s% O- s5 J, Y# V. B推论:任何大于7的奇数都可以写成3个奇素数的和。" e" m+ n8 _( n/ e, J8 o
    事实上,任何一个大于7的奇数,一定能写成一个奇素数和一个大于4的偶数之和,而所有大于4的偶数都可以写成两个奇素数的和,故推论成立。
    ; o9 z$ t/ Z8 g: c& d8 Q0 g9 u- U2、孪生素数有无穷多对。0 R# o, l$ ~3 m/ N
    证明:假设孪生素数仅有有限对,那么取大于最后一组孪生素数较大数以后的两个连续奇数a,b(a<b),, o9 [9 ?& [; M: W% S5 `
    ∵M+(a,b),故存在m>1,使得:1 T' }9 [% k; K1 b; J8 R1 n+ R; N! O
    ∴(a+2m)与(b+2m)同时为素数
    : i; i) P3 n5 U% G7 F0 R" k' p而(a+2m)-(b+2m)=2
    & ]5 v. ~/ d7 H* m∴(a+2m)与(b+2m)是孪生素数。7 K' D# L" o. [( e3 D: e* |  o
    显然与假设矛盾。故孪生素数有无穷多对。& P' R8 T( @/ |2 Z
    推论1:三生素数只有3、5、7一组,多生素数不存在。! R( F' G7 Y% b
    假设除3、5、7外,还有另外一组三生素数a,b,c,
    5 V" ~+ g" a' m( ~3 f$ g8 G则a被3整除余数只能为1或者2。如果余数为1,则b能被3整除,与a,b,c是三生素数相矛盾;如果余数为2,则c能被3整除,与a,b,c是三生素数相矛盾。因此,除3,5,7外,没有其他的三生素数。% t# l; @* {, U' _3 P( S' q
    同理可得,多生素数不存在。
      e( @* N, j5 t' e2 C  t, ]" T2 I推论2、所有的偶数都可以写成两个奇素数的差。
    6 U. R  U; {4 |6 l证明:任意给定偶数2n8 {2 c% g0 I$ F# j7 R
    ∵M+(1,2n+1)成立;+ n$ }/ x7 a  ?0 V$ i2 h
    ∴1+2m和2n+1+2m同时为奇素数7 j- e5 P5 Q9 Y0 W* n
    有(2n+1+2m)-(1+2m)=2n
    4 I$ H; M9 w7 D4 o! T( g# K) B. G
    : D7 @/ o3 d9 g# j1 n参考书目:1、《中国大百科全书》数学卷,华罗庚、苏步青等主编,1988年11月中国大百科全书出版社出版,P628-P629。
    0 F4 V1 u7 J5 a' ?          2、陈景润《初等数论》。1 w+ M) Q! C9 y; |
    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同素;
    # g1 m/ ~! Y6 v- G9 d
    回复

    使用道具 举报

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

    qq
    收缩
    • 电话咨询

    • 04714969085
    fastpost

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

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

    蒙公网安备 15010502000194号

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

    GMT+8, 2025-11-7 18:53 , Processed in 0.409382 second(s), 66 queries .

    回顶部