QQ登录

只需要一步,快速开始

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

同素理论与哥德巴赫猜想

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

3

主题

5

听众

64

积分

升级  62.11%

  • TA的每日心情

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

    [LV.3]偶尔看看II

    自我介绍
    爱好数学
    跳转到指定楼层
    1#
    发表于 2012-9-4 21:00 |只看该作者 |倒序浏览
    |招呼Ta 关注Ta
    同素理论与哥德巴赫猜想
    1 E0 h# x. M7 h5 W! a; }6 u杨天生
      s( d" w) n  s4 q  g) GQQ:784177725
    : y. E9 b6 S# x4 M! p* a邮箱:yangtiansheng68@sina.com3 v6 g) m  K; }& l0 E
    摘要:1同素理论:一个自然数a和另一个自然数b,如果有a+2m与b-2m[或a+(2m-1)与b-(2m-1)]同时为素数,我们就称a和b关于m同素;
    + x6 e7 q+ S; d% S9 ^2、对于自然数a(a+2<b)如果与另一个同奇(同偶)的自然数b,有M(a,b),则M(a+2,b)也成立。. G6 V! X% Z. w- O8 I
    3、对于奇数a,b(a<b),如果存在非负整数m,使得(a+2m)与(b+2m)同时为素数,则称a,b关于m增同素;
    ; S" O5 ^  G% U9 r$ g. u" S1 e4 u4、对于两个奇自然数a,b(a<b),若M+(a,b)成立,则M+(a+2,b)也成立。当a≠1时,其逆也真。) T. t3 \0 ?5 \2 O6 P& ?
    主要方法:数学归纳法
    0 n' W- T2 L- z关键词: 同素   增同素  同素定理  增同素定理
    ) K  L7 p8 L4 W6 S9 }6 T8 a! x7 b3 H$ t4 A3 J+ s* M
    正文:: P/ t5 d6 W1 U7 T2 D1 u1 m. \9 S
    我们在日常生活中经常和自然数打交道。于是人们对自然数进行了深入的研究,认识了自然数的整除性,奇偶性,总结了许多规律。其实,自然数还有一类重要特性——同素性。
    9 l* x, Z! l- U2 B$ E( j" H) e一、同素的相关定义
    , J5 Y; @0 X! I: W1 Z7 F7 N观察下列关于自然数的算式:3 n! u: M; b7 ?- m
    给定奇数1和45,有:
    ( ~0 w8 H! K5 r7 h* @' o" P) o1+2x8=17(素数)、45-2x8=29(素数)' v1 @# H. Y6 }/ s3 @7 i4 Y  [- k- m
    给定奇数9和123,有:/ G6 _6 W: v" N3 X- z6 i
    9+2x11=31(素数)、123-2x11=101(素数)
    * H( i8 A0 `. S+ `给定偶数数12和94,有:
    : ]& f# T7 b. w, P12+(2x6-1)=23(素数)、94-(2x6-1)=83(素数)
    * d8 O* O, p+ w5 M……8 O; k) T2 E& i* d3 {5 `0 k
    定义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,同素模有可能是一个或多个。
    3 x0 I9 j* [# X: l5 ~4 g4 R; U% G特别规定:M(1,1),M(1,3),M(2,2)没有意义,即M(1,1),M(1,3),M(2,2)不存在。
      P/ D& P) }. L# S, U" m6 D4 V另外,在M(a,b)中,M代表同素变换,不代表任何具体数,m为一具体数,但不固定唯一。0 C1 K+ I& q& Y0 u
    我们根据同素的定义,容易理解M(a,b)成立时,M(a+2n,b-2n)或M(a-2n*,b+2n*)(n<b/2、n*<a/2)也成立。7 r) v: B2 i/ p0 Z' p3 j) c: X1 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的要求,不再特别注明。. ^# q7 F, o9 T  @1 C+ q
    例如对于奇数1和5,1+2*1=3(素数),5+2*1=7(素数)) i/ e! B: _5 E- C
    所以有M+(1,5);对于奇数15和43,15+2*2=19(素数),43+2*2=47(素数)所以有M+(15,43)。
    5 K- P  l7 _! R- T由于素数有无穷多个,显然任何奇数本身满足增同素,两个素数永远满足增同素,其最小同素模为0。( ^: H- u& m$ s$ v: R, b/ [
    根据增同素的定义,容易理解当增同素模大于1时,如果M+(a,b)成立,则M+(a+2,b+2)或也成立,其增同素模为(m-1), M+(a-2,b-2)也成立,其增同素模为(m+1)。
    7 T6 H( [1 y" h4 [+ S定义3、给定素数a,b(a<b),如果b-a=2,则称a,b为孪生素数。2 Q" ^! l* ?  s
    定义4、给定素数a,b,c(a<b<c),如果c-b=b-a=2,则称a,b,c为三生素数。1 Q9 w5 {! G, \3 l# b
    定义5、给定素数a,b,c,d(a<b<c<d),如果d-c=c-b=b-a=2,则称a,b,c,d为多生素数。% S1 l/ ^5 C6 f" c
    二、同素的性质, {8 x* M# c* F
    自然数同素有许多有趣的性质,下面举出几例。
    # d, g* l( ~3 a& J* q4 V1、同素定理:对于奇(偶)自然数a(a+2<b)如果与另一个同奇(同偶)的自然数b,有M(a,b)成立,则M(a+2,b)也成立。5 g. _# c7 ^( \% F6 C/ N- L! f" @
    证明:先证明同奇的情形。为了叙述的方便,我们不妨先讨论a=1的情况。& h5 m- o+ }3 C! {8 w" ^0 d
    ①、容易验证:据M(1,5)有M(1+2,5);据M(1,7)有M(1+2,7);……   ,据M(3,5)有M(3+2,5);……。. q" H( N2 J/ h* n6 Q; V
    ②、假设当a=2k-1时,上面定理成立。即M(2k-1,b)成立时,有M(2k+1,b)成立。那么当a=2k+1时,有:, E  Q/ [" J/ K  w' L$ G
    ∵M(2k+1,b)
    * s! f9 w9 w: ?0 ?& L# v: A. A1 R∴M(2k-1,b+2)+ O, M. U* i. M; v, y7 c$ R
    ∴M(2k+1,b+2)
    4 _+ r" X& U+ ~, W! R7 N∴M(2k+3,b)7 `1 V- `' Q: K' U- h; ?2 b! A0 g) n( T
    即当M(2k+1,b)成立时,有M(2k+3,b)成立。. X, Y$ ?' K  I& B
    综合①、②,由k的任意性可知,对于奇数a(a+2<b),如果与另一个奇数b,有M(a,b)成立,则M(a+2,b)也成立。
    ) @" x0 T, s( [0 W+ E5 E# Z" s& v! r同理可以推出a,b同为偶数的情形。
    ) g' I* x3 W1 \. p  S/ T" S3 p综上所述,对于所有自然数,如果M(a,b)成立,即M(a,b)有意义,则M(a+2,b)也成立。+ O' b+ V" @5 X3 j3 S7 T% h
    2、增同素定理:对于两个奇自然数a,b(a<b),若M+(a,b)成立,则M+(a+2,b)也成立。* ~" M0 f8 n1 b. U
    证明:(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: ^; l) `: E& E/ T
    (2)、假设a =2k-1时上述定理成立,即M+(2k-1,b)成立时,M+(2k+1,b)也成立,那么当a =2k+1时,显然由M+(2k+1,b)可以得到:. V% Y, ^2 C% ^3 `
    ∵M+(2k+1,b)& `6 b8 L2 T+ p4 M, q
    ∴M+(2k-1,b-2)
    : {! y7 {% p3 |9 N1 s∴M+(2k+1,b-2)
    / n. [" a. k* m+ W∴M+(2k+3,b)
    % q3 N+ y2 V1 h8 x4 Z3 K* G" P* E  {  ]( E- \/ S% t) T6 m' l6 _  z0 X- C
    由于素数有无穷多个,那么选取适当的素数c(c>2k-1),在小于(2k-1)的范围内任取一素数d,显然M+(d, c)成立,根据假设,有:M+(d+2, c),M+(d+4, c)……,M+(2k-1, c)也成立。
    ! ?* G! m/ J% [! |8 l由M+(2k-1, c)得:$ \5 e' M3 e5 T( W0 \
    M+(2k-3, c-2)
    ( b; J& g# ?7 E# t∴M+(2k-1, c-2)
    / s8 J; V0 u) r, Q4 u/ b0 R∴M+(2k+1, c)
    $ @5 ~$ o- u( e6 H3 Z7 C6 Z* ^% }# n9 }由k的任意性知,对于两个奇自然数a,b(a<b),若M+(a,b)成立,则M+(a+2,b)也成立。1 }" \( D3 F# ~4 r" }0 ]6 ^: K
    下面我们再来证明当a≠1时,其逆也真。" e$ n6 h; z) j1 ~5 L2 l) z# H* _9 c
    (1)、容易验证,当M+(3,5)成立,可得M+(1,5)也成立;当M+(3,7)成立,可得M+(1,7)也成立;……当M+(15,27)成立,可得M+(13,27)也成立;……2 x1 n8 D' m8 Y+ R0 i
    (2)、假设当M+(2k-1,2k+x)(x为奇数,x≥1,k>2)成立,可得M+(2k-3,2k+x)也成立,那么当于是M+(2k+1,2k+y)(y为奇数,y≥3)有:
    8 {4 g: i& ~' OM+(2k+1-2,2k+y-2)即M+(2k-1,2k+y-2),根据假设有:6 X; ]  F& J8 n: n$ g  ]1 V
    M+(2k-3,2k+y-2),而k>2,故2k-3≠1,9 M$ _; T; F; G& z6 E  ]
    ∴M+(2k-1,2k+y)) N6 ~8 O" |% n+ |5 C/ B
    由k的任意性知,当a≠1时,其逆也真。
    / W' L. c3 d- \: A0 {( S推论:自然数中,所有同奇数或同偶的自然数两两增同素。  F% K! W9 o! v& h( _! ?
    证明:先证同为奇数的情形:
    $ M* q5 E/ X1 Q3 @(1)容易验证,M+(1,3),M+(1,5)……成立。
    0 j" e7 ~, E; \% V(2)假设M+(1,2k-1)成立,那么根据增同素定理有:
    . X( K5 @3 Y+ T7 h7 x- ?& I7 d9 UM+(3,2k-1)M+(5,2k-1)……M+(2k-1,2k-1)也成立。而M+(1,2k-1)成立,故M+(3,2k+1)成立,
    " F5 i2 j( W& K, _# [∴M+(1,2k+1)
    7 {& w8 m* T- t$ C7 K∴M+(3,2k+1)" p4 y8 w8 e0 f
    ……# D' ]" w9 U* s- S, X, A$ D
    ∴M+(2k-1,2k+1); l. L+ S: s" S' ]( w/ C
    又∵奇数本身永远满足增同素
    9 K% d' u% G( H∴M+(2k+1,2k+1)6 ]& v- T" K* H9 K" M: M" o* H9 g
    由k的任意性知,自然数中,所有奇数两两增同素。6 i  p# D4 p! s; e: i
    同理可证同为偶数的情形。
    2 N/ ]( \2 u, |  `; l: L4 k三、同素理论的运用举例
      e5 A( t/ x# W- q+ u3 Y1、任何大于4的偶数可以写成两个奇素数的和。( Q) M7 M  O/ N$ k* p# X
    已知:2n(n>2)
    4 ]$ m' Y  V, B% }4 L求证:2n=p+q(p、q为奇素数)1 v! M+ I, {8 Y6 J
    证明:∵2n=1+b(b为奇数,b>3)
    1 A3 a: N  _1 X9 v. j( X+ t& N      M(1,b)成立
    * ]" p7 O1 [; x8 Y# C- O+ C      即1+2m与b-2m同时为素数& M) i) z/ K9 @
    ∴2n=(1+2m)+(b-2m)2 i1 V7 |% i- S) u. C
    令p=1+2m,q=b-2m,有:, e3 F" j' \' {& _4 p
    2n= p+q(p、q为奇素数)/ R) _5 k5 x0 y/ y& Z
    推论:任何大于7的奇数都可以写成3个奇素数的和。- O" P8 S# K3 C
    事实上,任何一个大于7的奇数,一定能写成一个奇素数和一个大于4的偶数之和,而所有大于4的偶数都可以写成两个奇素数的和,故推论成立。
    % d: T/ X/ R7 C2、孪生素数有无穷多对。9 J/ Z! R, n: V( |; n" q
    证明:假设孪生素数仅有有限对,那么取大于最后一组孪生素数较大数以后的两个连续奇数a,b(a<b),$ \* Y% u* h7 H) t1 F0 b. B
    ∵M+(a,b),故存在m>1,使得:
    ( O; z# v- e3 N/ B1 Y. {9 L∴(a+2m)与(b+2m)同时为素数
    0 A. M; x7 w3 \/ F6 B) M+ [而(a+2m)-(b+2m)=2
    " }4 X* b6 T; u& e1 h, T2 I" _∴(a+2m)与(b+2m)是孪生素数。6 C; m# A' z8 |* [1 _
    显然与假设矛盾。故孪生素数有无穷多对。
    ( G) K5 ?1 G* G% P推论1:三生素数只有3、5、7一组,多生素数不存在。
    4 m% g: b4 ]3 N+ L0 r. Z3 ?5 q假设除3、5、7外,还有另外一组三生素数a,b,c,
    5 h/ _4 k) H- r" E9 ]则a被3整除余数只能为1或者2。如果余数为1,则b能被3整除,与a,b,c是三生素数相矛盾;如果余数为2,则c能被3整除,与a,b,c是三生素数相矛盾。因此,除3,5,7外,没有其他的三生素数。9 {8 q* i1 l3 D* @' y& M
    同理可得,多生素数不存在。
    ! B4 z9 z2 x5 c# @1 G& R推论2、所有的偶数都可以写成两个奇素数的差。
    / X8 A  I. |3 w6 b6 K证明:任意给定偶数2n; ~: K- [. ?3 w. E; r. v' A) d
    ∵M+(1,2n+1)成立;/ r% Q3 v  m( y) c( }* o. C. L
    ∴1+2m和2n+1+2m同时为奇素数" ]6 \" n0 i2 Z- g! }7 R8 s' v
    有(2n+1+2m)-(1+2m)=2n
    2 ]) i8 J7 S+ X( x" p' w. _/ ?) x; `' [, T$ ^
    参考书目:1、《中国大百科全书》数学卷,华罗庚、苏步青等主编,1988年11月中国大百科全书出版社出版,P628-P629。
    1 Y' m. p; b9 m5 _' \          2、陈景润《初等数论》。
      v3 Z0 w1 l* j) q' H* x! }/ }
    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同素;9 m( k! A9 i+ i5 j3 p
    回复

    使用道具 举报

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

    qq
    收缩
    • 电话咨询

    • 04714969085
    fastpost

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

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

    蒙公网安备 15010502000194号

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

    GMT+8, 2026-6-27 11:20 , Processed in 0.320923 second(s), 67 queries .

    回顶部