QQ登录

只需要一步,快速开始

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

同素理论与哥德巴赫猜想

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

3

主题

5

听众

64

积分

升级  62.11%

  • TA的每日心情

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

    [LV.3]偶尔看看II

    自我介绍
    爱好数学
    跳转到指定楼层
    1#
    发表于 2012-9-4 21:00 |只看该作者 |倒序浏览
    |招呼Ta 关注Ta
    同素理论与哥德巴赫猜想
    ( |# Z* m' N2 h! E8 Z杨天生5 M( o. j$ e! o, J, S
    QQ:784177725
    ; a4 u  b# |+ l! M( B邮箱:yangtiansheng68@sina.com( c) h) o& v% H6 g9 M, ]- _# w
    摘要:1同素理论:一个自然数a和另一个自然数b,如果有a+2m与b-2m[或a+(2m-1)与b-(2m-1)]同时为素数,我们就称a和b关于m同素;
    7 ^3 y/ Y; P3 v- ~2、对于自然数a(a+2<b)如果与另一个同奇(同偶)的自然数b,有M(a,b),则M(a+2,b)也成立。: X7 j- E6 x! G& ?9 x+ s
    3、对于奇数a,b(a<b),如果存在非负整数m,使得(a+2m)与(b+2m)同时为素数,则称a,b关于m增同素;
    . `3 O( t* |1 ^) B4、对于两个奇自然数a,b(a<b),若M+(a,b)成立,则M+(a+2,b)也成立。当a≠1时,其逆也真。, i" b. C( S; z, t
    主要方法:数学归纳法
    / I7 q: V- O8 B6 a5 F0 _关键词: 同素   增同素  同素定理  增同素定理7 J( R0 f7 B1 s, Z7 X+ ~9 o
    9 ?3 u/ _- v% n* J
    正文:
    8 u/ T9 L9 P6 b& |& Y. M' r我们在日常生活中经常和自然数打交道。于是人们对自然数进行了深入的研究,认识了自然数的整除性,奇偶性,总结了许多规律。其实,自然数还有一类重要特性——同素性。
    4 h  J0 r" _+ H- @- S; m+ r一、同素的相关定义
    $ h2 P" T5 p/ k2 Z# F5 b& S1 o8 E+ [6 n观察下列关于自然数的算式:
    ! K6 s8 c. D2 W) n1 L给定奇数1和45,有:* h& F. v, U7 Q1 l- Z& D
    1+2x8=17(素数)、45-2x8=29(素数)
    0 }6 t# x/ K" E- A$ F给定奇数9和123,有:& F# e/ a* l, ~
    9+2x11=31(素数)、123-2x11=101(素数)
    1 z2 @' p2 d; D0 Q给定偶数数12和94,有:
    3 u9 {4 s7 v. l! d- a12+(2x6-1)=23(素数)、94-(2x6-1)=83(素数)7 ?+ q" M' K7 G) Z* i# s
    ……
    , \( V( d2 W2 D' N, 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,同素模有可能是一个或多个。0 X/ n$ H7 z$ P; `
    特别规定:M(1,1),M(1,3),M(2,2)没有意义,即M(1,1),M(1,3),M(2,2)不存在。) `8 \+ _+ B" M0 k" M
    另外,在M(a,b)中,M代表同素变换,不代表任何具体数,m为一具体数,但不固定唯一。! ^( `. B! T- ~
    我们根据同素的定义,容易理解M(a,b)成立时,M(a+2n,b-2n)或M(a-2n*,b+2n*)(n<b/2、n*<a/2)也成立。
    $ p- L7 W- w8 }, k" j) b4 B定义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的要求,不再特别注明。1 F" o0 |; H3 G+ S2 |
    例如对于奇数1和5,1+2*1=3(素数),5+2*1=7(素数)) X2 p6 |, R1 v) Q: f! `0 ^0 T
    所以有M+(1,5);对于奇数15和43,15+2*2=19(素数),43+2*2=47(素数)所以有M+(15,43)。
    2 e% R8 O3 f- T. E: c) n$ }由于素数有无穷多个,显然任何奇数本身满足增同素,两个素数永远满足增同素,其最小同素模为0。
    8 `, }+ |3 G) z1 r根据增同素的定义,容易理解当增同素模大于1时,如果M+(a,b)成立,则M+(a+2,b+2)或也成立,其增同素模为(m-1), M+(a-2,b-2)也成立,其增同素模为(m+1)。* a6 Y9 U' c+ j% I
    定义3、给定素数a,b(a<b),如果b-a=2,则称a,b为孪生素数。9 m& r/ e( B, f% Q8 B+ y
    定义4、给定素数a,b,c(a<b<c),如果c-b=b-a=2,则称a,b,c为三生素数。
    5 Y" D$ i/ ^7 `" H- b& ~. i定义5、给定素数a,b,c,d(a<b<c<d),如果d-c=c-b=b-a=2,则称a,b,c,d为多生素数。
    9 e1 w0 G0 j, w9 }  K4 P0 U- }6 r二、同素的性质! R+ _) j) ~! n5 Z8 R, p5 Y* a
    自然数同素有许多有趣的性质,下面举出几例。
    ) d# N5 J/ V- \2 n6 D1、同素定理:对于奇(偶)自然数a(a+2<b)如果与另一个同奇(同偶)的自然数b,有M(a,b)成立,则M(a+2,b)也成立。
    2 i  h/ E8 y$ e8 |. L6 x证明:先证明同奇的情形。为了叙述的方便,我们不妨先讨论a=1的情况。5 s7 l: k, v, L2 t4 k
    ①、容易验证:据M(1,5)有M(1+2,5);据M(1,7)有M(1+2,7);……   ,据M(3,5)有M(3+2,5);……。
    5 S( X' l, q) E: T. W7 l- N! \②、假设当a=2k-1时,上面定理成立。即M(2k-1,b)成立时,有M(2k+1,b)成立。那么当a=2k+1时,有:
    8 O# X8 }/ o+ ]* O& e, F∵M(2k+1,b)$ U' s$ `8 |' q/ S8 q/ U
    ∴M(2k-1,b+2)& K, ?' c9 R, R4 A$ }
    ∴M(2k+1,b+2)% `* K* u- A7 S7 p& [9 s+ ]9 P$ |3 G
    ∴M(2k+3,b)2 t% X$ u; f; Z$ o0 q$ [/ v8 U
    即当M(2k+1,b)成立时,有M(2k+3,b)成立。# \% M: q2 i* W; c- y* G4 C$ |
    综合①、②,由k的任意性可知,对于奇数a(a+2<b),如果与另一个奇数b,有M(a,b)成立,则M(a+2,b)也成立。
    - x. b+ |! |6 i2 Q9 I同理可以推出a,b同为偶数的情形。
    ( N/ A7 |6 O' \$ C& U综上所述,对于所有自然数,如果M(a,b)成立,即M(a,b)有意义,则M(a+2,b)也成立。
    * m/ \: u8 f* @7 H' h6 ?. h- i2 }& @2、增同素定理:对于两个奇自然数a,b(a<b),若M+(a,b)成立,则M+(a+2,b)也成立。
    / ]! |; d" }9 |, 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)……;
    ( ?' X# P, D8 u5 o(2)、假设a =2k-1时上述定理成立,即M+(2k-1,b)成立时,M+(2k+1,b)也成立,那么当a =2k+1时,显然由M+(2k+1,b)可以得到:/ m# }# H; Z% ~! S; a
    ∵M+(2k+1,b): s& _4 K0 c: [# [8 D
    ∴M+(2k-1,b-2)  M+ ~8 \9 I  N8 W5 {; x
    ∴M+(2k+1,b-2)
    " B# W1 B0 [7 T7 v∴M+(2k+3,b)7 {/ Y9 Y' j! r. m

    % j. T1 x* v; o& r7 ~! o由于素数有无穷多个,那么选取适当的素数c(c>2k-1),在小于(2k-1)的范围内任取一素数d,显然M+(d, c)成立,根据假设,有:M+(d+2, c),M+(d+4, c)……,M+(2k-1, c)也成立。
    4 K3 `  F+ F0 o( r  V由M+(2k-1, c)得:& W( @2 L2 ~  @" k1 ~
    M+(2k-3, c-2)
    & y; a  t. a+ v∴M+(2k-1, c-2)
    # c  q  x) a6 F) y6 j/ a% U& I∴M+(2k+1, c)
    1 t1 J+ [7 l% W$ G0 m* _6 Q由k的任意性知,对于两个奇自然数a,b(a<b),若M+(a,b)成立,则M+(a+2,b)也成立。
    + r. l# z  E7 V下面我们再来证明当a≠1时,其逆也真。
    % D  P& {- `7 ?2 e' j4 p0 D% v(1)、容易验证,当M+(3,5)成立,可得M+(1,5)也成立;当M+(3,7)成立,可得M+(1,7)也成立;……当M+(15,27)成立,可得M+(13,27)也成立;……/ _& F2 m2 u) _, F5 T5 ^* B' K
    (2)、假设当M+(2k-1,2k+x)(x为奇数,x≥1,k>2)成立,可得M+(2k-3,2k+x)也成立,那么当于是M+(2k+1,2k+y)(y为奇数,y≥3)有:4 b4 q8 J- V" ^- F& m
    M+(2k+1-2,2k+y-2)即M+(2k-1,2k+y-2),根据假设有:
    ; f  E% G' j, `7 X5 HM+(2k-3,2k+y-2),而k>2,故2k-3≠1,, \% y0 @& o* J( [2 n
    ∴M+(2k-1,2k+y)
    8 ?0 C3 U8 O4 g% G1 |& C" P, ~由k的任意性知,当a≠1时,其逆也真。
    . q" n# p$ m3 C8 l' s) j) v推论:自然数中,所有同奇数或同偶的自然数两两增同素。6 h; J' y) W( k" l$ `6 k6 S
    证明:先证同为奇数的情形:7 G8 W1 Y9 J3 D; W- B" w5 x% p* [
    (1)容易验证,M+(1,3),M+(1,5)……成立。
    % M# b* {  z- [5 C' _% E# m(2)假设M+(1,2k-1)成立,那么根据增同素定理有:1 W" X& E3 X2 N' ?7 e+ E" c- _3 ~1 Z
    M+(3,2k-1)M+(5,2k-1)……M+(2k-1,2k-1)也成立。而M+(1,2k-1)成立,故M+(3,2k+1)成立,
    : J2 W* G2 \" r- s∴M+(1,2k+1)
    ' D: i; s; f1 S/ u1 C3 b- p∴M+(3,2k+1)
    & m7 P8 T) E3 i……
    7 B5 A1 ^# ^5 i! O∴M+(2k-1,2k+1)
    $ B* d8 K* K  Z* k& Q' D) e8 Z又∵奇数本身永远满足增同素
    5 ^6 ^  {" |. I4 _: ^: \∴M+(2k+1,2k+1)8 b+ z- C- `, X. _& u5 {% ?
    由k的任意性知,自然数中,所有奇数两两增同素。
    ; x# f  r! r# M3 ^' x9 v同理可证同为偶数的情形。
    / I* ?, \' c+ H! g9 I三、同素理论的运用举例7 s8 x+ k9 a" t* S+ O5 n9 t6 i
    1、任何大于4的偶数可以写成两个奇素数的和。
    2 |# q1 ~: S5 G; t/ K8 o已知:2n(n>2)
    # g% `. q# R& O求证:2n=p+q(p、q为奇素数)* [2 ^$ D, F; B
    证明:∵2n=1+b(b为奇数,b>3)1 z" j1 x4 _8 x5 ?1 O+ w8 [
          M(1,b)成立
    : j( F! b5 o* Q9 O% J  n      即1+2m与b-2m同时为素数" o! a) T# R* u$ g* C& G: C
    ∴2n=(1+2m)+(b-2m)7 R! p2 P) b* p5 S0 _. N
    令p=1+2m,q=b-2m,有:# }" t" @8 l; M2 s, W8 w8 N5 x3 D/ o; \
    2n= p+q(p、q为奇素数): }* `5 s  w$ R. O( N  l
    推论:任何大于7的奇数都可以写成3个奇素数的和。
    $ F+ A7 n2 d- ]* N7 Y* n7 C2 a事实上,任何一个大于7的奇数,一定能写成一个奇素数和一个大于4的偶数之和,而所有大于4的偶数都可以写成两个奇素数的和,故推论成立。2 o$ g/ p- G$ ^7 k3 l; c
    2、孪生素数有无穷多对。% x' D: T% G% S6 T: H% `6 G
    证明:假设孪生素数仅有有限对,那么取大于最后一组孪生素数较大数以后的两个连续奇数a,b(a<b),
    3 c9 ~, R$ v: c  y- N∵M+(a,b),故存在m>1,使得:- s; Y5 Y; I7 ]& u& b( i
    ∴(a+2m)与(b+2m)同时为素数
    : a2 j% m# R$ `' N: l而(a+2m)-(b+2m)=2
    & [* |- m- h0 ]$ c" C. P: m∴(a+2m)与(b+2m)是孪生素数。
    8 Q, F; C: R- y* g) ?" }, l$ y显然与假设矛盾。故孪生素数有无穷多对。
    ' E  ^' e0 q# ]& B推论1:三生素数只有3、5、7一组,多生素数不存在。
    - M( L1 K& |7 F: ?假设除3、5、7外,还有另外一组三生素数a,b,c,
      G/ k6 [& m2 p则a被3整除余数只能为1或者2。如果余数为1,则b能被3整除,与a,b,c是三生素数相矛盾;如果余数为2,则c能被3整除,与a,b,c是三生素数相矛盾。因此,除3,5,7外,没有其他的三生素数。( B' C- Y; l: ]. W  J
    同理可得,多生素数不存在。/ L- h' U: O. x) Q- E# ?' Q
    推论2、所有的偶数都可以写成两个奇素数的差。
      v! [' @" E. E2 I" L证明:任意给定偶数2n
    , M, y+ ~1 M) \4 |: ~. v  e' K∵M+(1,2n+1)成立;
    + X$ u" r8 h& |1 [" V0 U0 v∴1+2m和2n+1+2m同时为奇素数
    , K9 a9 ~: S7 F# H' r) B有(2n+1+2m)-(1+2m)=2n
    3 ]/ F7 \: C  r3 z: v8 U; L3 }
    % e. v/ }' @) y2 ~参考书目:1、《中国大百科全书》数学卷,华罗庚、苏步青等主编,1988年11月中国大百科全书出版社出版,P628-P629。+ |& ^4 [& e" ~) u* I
              2、陈景润《初等数论》。1 H* W2 A: V- j, @9 j
    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同素;
    1 m3 i3 A8 q3 S6 K$ M  B+ H' p
    回复

    使用道具 举报

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

    qq
    收缩
    • 电话咨询

    • 04714969085
    fastpost

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

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

    蒙公网安备 15010502000194号

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

    GMT+8, 2026-9-16 17:28 , Processed in 0.385604 second(s), 66 queries .

    回顶部