QQ登录

只需要一步,快速开始

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

Goldbach’s problem

[复制链接]
字体大小: 正常 放大
数学1+1        

23

主题

14

听众

2548

积分

升级  18.27%

  • TA的每日心情
    开心
    2026-6-7 10:45
  • 签到天数: 849 天

    [LV.10]以坛为家III

    新人进步奖

    跳转到指定楼层
    1#
    发表于 2013-12-6 12:27 |只看该作者 |正序浏览
    |招呼Ta 关注Ta
    Goldbach’s problem                    Su XiaoguangAbstract: In the analytic number theory Goldbach problem is an important issue. The authors studied the:[code]<SPAN style="FONT-FAMILY: Arial; COLOR: #333333; FONT-SIZE: 12pt; mso-font-kerning: 0pt; mso-ansi-language: EN" lang=EN></SPAN>[/code]A= \bigcup_{i=0}^{\infty }A_{i},A_{i}=\left \{ i+0,i+1,i+2,\cdots \right \}\Rightarrow B(x,N)=\sum_{N\leqslant x,B(N)\neq 0}1,B(N)=\sum_{n+m=N,0\leq n,m\leq N}1.C=\bigcup_{i=0}^{\infty }C_{i},C_{i}=\left \{ p_{i}+p_{0},p_{i}+p_{1},p_{i} +p_{i},\cdots \right \}\wedge N> 800000\Rightarrow M(x)=\sum_{N\leq x,D(N)\neq 0}1DeducedD(N)=\sum_{p_{1}+p_{2}=N,p_{1},p_{2}\geq 3}1\wedge 1.8432(1-\frac{1}{logN})\frac{N}{log^{2}(N-2)}\leq D(N)\leq 5.0176\left [ 1+log\frac{2}{N}+o(1) \right ]\frac{N}{log\frac{N-2}{2}log(N-2)}: N- H( _. u: B3 Q  i
    Key words: Germany,Goldbach,even number, Odd number ,prime number, MR (2000) theme classification: 11 P32 Email:suxiaoguong@foxmail. com
    ! A$ N* A  O& ^1 `/ ]
    zan
    转播转播0 分享淘帖0 分享分享0 收藏收藏0 支持支持0 反对反对0 微信微信
    数学1+1        

    23

    主题

    14

    听众

    2548

    积分

    升级  18.27%

  • TA的每日心情
    开心
    2026-6-7 10:45
  • 签到天数: 849 天

    [LV.10]以坛为家III

    新人进步奖

    1300611016:
    5 t- ~0 V" M: G$ R7 E0 N      你如果能多读几本数论方面的著作,你就能理解哥德巴赫猜想,理解哥德巴赫猜想中D(N)表示什么?也就不感觉烦了。
    回复

    使用道具 举报

    11

    主题

    12

    听众

    1730

    积分

    升级  73%

  • TA的每日心情
    开心
    2016-6-3 20:54
  • 签到天数: 300 天

    [LV.8]以坛为家I

    自我介绍
    菩提本无树,明镜亦非台。本来无一物,何处惹尘埃。

    社区QQ达人

    群组数学建模培训课堂1

    群组数模思想方法大全

    本帖最后由 1300611016 于 2014-1-4 09:08 编辑 " [* I: f. Z1 H" l0 R. N' o

    ) v" }4 @% R7 y& w太烦,可以用一个简明的形式,如·同偶质数对·形式展开详细见http://www.madio.net/thread-202136-1-1.html  F. x: t) ]$ i+ c3 {; U2 y
    一般的用简明浅显的形式表述更容易推广,如能用初等数学表述这一问题,可以尝试一下。但不妨碍专业研究。
    回复

    使用道具 举报

    11

    主题

    12

    听众

    1730

    积分

    升级  73%

  • TA的每日心情
    开心
    2016-6-3 20:54
  • 签到天数: 300 天

    [LV.8]以坛为家I

    自我介绍
    菩提本无树,明镜亦非台。本来无一物,何处惹尘埃。

    社区QQ达人

    群组数学建模培训课堂1

    群组数模思想方法大全

    回复

    使用道具 举报

    数学1+1        

    23

    主题

    14

    听众

    2548

    积分

    升级  18.27%

  • TA的每日心情
    开心
    2026-6-7 10:45
  • 签到天数: 849 天

    [LV.10]以坛为家III

    新人进步奖

    若N>800000,& a) D) Z2 B5 B# P" C8 D
    则   1.83150(1-1/logN)[N/log^2(N-2)]≤D(N) ≤4.36166[1+2/logN +o(1)]×7 z  e  e- \; U" D' o4 z5 V* `
    N/{log[(N-2)/2]log(N-2)}
    9 }% _! [* u8 ]. x* |这就是哥德巴赫公式,有兴趣的读者不妨检测一下。
    回复

    使用道具 举报

    数学1+1        

    23

    主题

    14

    听众

    2548

    积分

    升级  18.27%

  • TA的每日心情
    开心
    2026-6-7 10:45
  • 签到天数: 849 天

    [LV.10]以坛为家III

    新人进步奖

    D(N)=\sum_{p_{1}+p_{2}=N,p_{1},p_{2}\geq 3}1\wedge 3 k0 h6 q9 x' _
    1.83150(1-\frac{1}{logN})\frac{N}{log^{2}(N-2)}\leq D(N)\leq 4.36166\left [ 1+log\frac{2}{N}+o(1) \right ]\frac{N}{log\frac{N-2}{2}log(N-2)}
    % a$ o% A. l: y0 T
    回复

    使用道具 举报

    数学1+1        

    23

    主题

    14

    听众

    2548

    积分

    升级  18.27%

  • TA的每日心情
    开心
    2026-6-7 10:45
  • 签到天数: 849 天

    [LV.10]以坛为家III

    新人进步奖

    我国数学家华罗庚,闵嗣鹤均对M(x)的下界做过研究,潘承洞,潘承彪对D(N)的上界做过研究,他们留下了遗憾,也留下了经验.
    回复

    使用道具 举报

    数学1+1        

    23

    主题

    14

    听众

    2548

    积分

    升级  18.27%

  • TA的每日心情
    开心
    2026-6-7 10:45
  • 签到天数: 849 天

    [LV.10]以坛为家III

    新人进步奖

                      Goldbach’s problem
                        Su Xiaoguang
    摘要:哥德巴赫问题是解析数论的一个重要问题。作者研究
    A= \bigcup_{i=0}^{\infty }A_{i},A_{i}=\left \{ i+0,i+1,i+2,\cdots \right \}\Rightarrow B(x,N)=\sum_{N\leqslant x,B(N)\neq 0}1,B(N)=\sum_{n+m=N,0\leq n,m\leq N}1.
    C=\bigcup_{i=0}^{\infty }C_{i},C_{i}=\left \{ p_{i}+p_{0},p_{i}+p_{1},p_{i} +p_{i},\cdots \right \}\wedge N> 800000\Rightarrow M(x)=\sum_{N\leq x,D(N)\neq 0}1
    Deduced
    D(N)=\sum_{p_{1}+p_{2}=N,p_{1},p_{2}\geq 3}1\wedge
    1.8432(1-\frac{1}{logN})\frac{N}{log^{2}(N-2)}\leq D(N)\leq 5.0176\left [ 1+log\frac{2}{N}+o(1) \right ]\frac{N}{log\frac{N-2}{2}log(N-2)}
    Key words: Germany,Goldbach,even number, Odd number ,prime number,
    MR (2000) theme classification: 11 P32
    Email:suxiaoguong@foxmail. com
    § 1  引言6 q2 }6 I; i0 A# q! _- r+ {. l
          1742年,德国数学家Christian Goldbach提出了关于正整数和素数之间关系的两个推测,用分析的语言表述为:
    (A)对于偶数N
    N\geq 6\Rightarrow D(N)=\sum_{p_{1}+p_{2}=N,p_{1},p_{2}Is a prime number}1>0
    (B)  对于奇数N
    N\geq 9\Rightarrow T(N)=\sum_{p_{1}+p_{2}+p_{3}=N.p_{1},p_{2},p_{3}\geq 3}1>0
            这就是著名的哥德巴赫猜想,如果命题(A)真,那么命题(B)真,所以,只要我们证明命题(A),立即推出猜想(B)是正确的
             
    §2相关集的构造( e6 b- P5 {  c! ^, R" Y* a' z7 e
    A_{0}=\left \{ 0+0,0+1,0+2,\cdots  \right \}
    A_{1}=\left \{ 1+0,1+1,1+2,\cdots  \right \}
    A_{2}=\left \{ 2+0,2+1,2+2,\cdots  \right \}
    \cdots
    A=\bigcup_{i=0}^{\infty }A_{i}\Rightarrow B(N)=\sum_{n_{1}+n_{2}=N.0\leq n _{1},n_{2}\leq N}1,B(x,N)=\sum_{N\leq x,B(N)\neq 0}1      (1)
    p_{0}=2,p_{1}=3,p_{2}=5,\cdots C_{0}=\left \{ p_{0} +p_{0},p_{0}+p_{1},p_{0}+p_{2},\cdots \right \} C_{1}=\left \{ p_{1} +p_{0},p_{1}+p_{1},p_{1}+p_{2},\cdots \right \} C_{2}=\left \{ p_{2} +p_{0},p_{2}+p_{1},p_{2}+p_{2},\cdots \right \} C=\bigcup_{i=0}^{\infty }C_{i}\Rightarrow D(N)=\sum_{p_{1}+p_{2}=N.p_{1},p_{2}\geq 3}1\wedge M(x)=\sum_{N\leq x,D(N)\neq 0}  (2)      
      §3    预备定理6 e. f) ]' c% n8 `- x, D
    定理 1
    M_{i}=(x_{1}^{(i)},x_{2}^{(i)},\cdots ,x_{i}^{(i)},\cdots ),Is a countable set\Rightarrow M=\bigcup_{i=1}^{N}M_{i},Is a countable set
      .Proof: Suppose M_{1},M_{2},\cdots ,M_{N},Is a countable set, M=\bigcup_{i=1}^{N}M_{i}
    \because M_{1}:x_{1}^{(1)},x_{2}^{(1)},x_{3}^{(1)},\cdots ,x_{i}^{(1)},\cdots
    M_{2}:x_{1}^{(2)},x_{2}^{(2)},x_{3}^{(2)},\cdots ,x_{i}^{(2)},\cdots
    M_{N}:x_{1}^{(N)},x_{2}^{(N)},x_{3}^{(N)},\cdots ,x_{i}^{(N)},\cdots
    \cdots
    \therefore M:x_{1}^{(1)},x_{1}^{(2)},\cdots ,x_{1}^{(N)},x_{2}^{(1)},x_{2}^{(2)},\cdots ,x_{2}^{(N)},\cdots Countable
         定理2 (素数定理)
    \pi (x)\sim \frac{x}{logx}^{\left [ 1 \right ]}
          定理3  对于偶数x
    x>800000\wedge M_{1}=minM(x)\Rightarrow M_{1}(x)=\frac{1}{2}\pi (x)\left [ \pi (x) -1\right ]
    证明 根据定理1, (1)  
      \because A_{i},A_{j} Countable,
    \therefore A Countable\wedge B(x,N)=\frac{1}{2}(N+1)(N+2)
    ) z4 G- _) q' _类似地,根据定理1,
    (2), C可数  
    7 `  w& c) K- f* z: k3 B
    设      M_{1}(x)=minM(x)
    根据(2),那么我们有.
    - ?: s* u0 {5 n3 B M_{1}(x)=\frac{1}{2}\pi (x)\left [ \pi (x)-1 \right ]
    定理4  对于偶数x
    x>800000\wedge M_{2}(x)=maxM(x)\Rightarrow M_{2}(x)=4\pi (\frac{x}{2})\pi (x)-2\pi ^ {2}(\frac{x}{2})-3\pi (\frac{x}{2})-\pi ^{2}(x)+\pi (x)                        3
    证明: 根据(2),那么我们有* A! `3 h9 q6 I0 ], E: m, T& x
      M(x)=\sum_{N\leq x,D(N)\neq 0}1< \sum_{3\leq p_{1},p_{2}\leq \frac{x}{2}}1+\sum_{3\leq p_{1}\leq \frac{x}{2},\frac{x}{2}< p_{2}< x}+\sum_{\frac{x}{2}<p _{1}< x,3\leq p_{2}\leq \frac{x}{2}}
         设   M_{2}(x)=maxM(x)
    \therefore M_{2}(x)
    =\frac{1}{2}\cdot 2\pi (x)\left [ 2\pi (\frac{x}{2})-1 \right ]-\frac{1}{2}\left [ 2\pi (\frac{x}{2})-\pi (x) \right ]\left [ 2\pi (\frac{x}{2})-\pi (x) +1\right ]\cdot 2
    =4\pi (x)\pi (\frac{x}{2})-2\pi ^{2}(\frac{x}{2})-3\pi (\frac{x}{2})-\pi ^{2}(x)+\pi (x)
    §4 Goldbach's problem 终结
    ( o" N/ N0 X$ h9 r定理 5  对于偶数N
    N> 800000\Rightarrow D(N)\geq 1.8432(1-\frac{1}{logN})\frac{N}{log^{2}(N-2)}
        证明: 根据定理27 ^/ D6 q, M! G9 [1 _1 P
    N> 800000\Rightarrow \alpha \frac{N}{logN}\leq \pi (N)\leq \beta \frac{N}{logN}      (4)
    让  c_{1}=min(\alpha ,\beta ),
    根据定理3,然后我们有
    ; O8 e& `, X% q$ }+ b+ Q/ l2 [      D_{1}(N)=M_{1}(N)-M_{1}(N-2)
    显然
    # ^6 I4 g7 s: s4 w# y, d( l- U9 {       D(N)\geq D_{1}(N)
    \because log(1+x)=\int_{0}^{x}\frac{dt}{1+t}=x-\int_{0}^{x}\frac{t}{1+t}dt
    \because x\geq-\frac{1}{2} \Rightarrow log(1+x)=x+o(x^{2})           (5)
    \therefore D_{1}(N)=2c_{1}^{2}(1-\frac{1}{logN})\frac{N}{log^{2}(n-2)}+o(1)
    N\rightarrow \infty ,o(1)\rightarrow 0\Rightarrow
    D(N)\geq 1.8432(1-\frac{1}{logN})\frac{N}{log^{2}(N-2)}
    定理6  对于偶数N
    N> 800000\Rightarrow D(N)\leq
    5.0176\left [ 1+\frac{2}{logN}+o(1) \right ]\frac{N}{log\frac{N-2}{2}log(N-2)}
    证明: 根据(4)
    让  c_{2}=max(\alpha ,\beta )
    根据定理4,然后我们有- b; g2 c6 Y% s' S
           D_{2}(N)=M_{2}(N)-M_{2}(N-2)
    \because D(N)\leq D_{2}(N)
    根据(5),那么我们有" ^- f0 P  f' P& C& l
           D(N)\leq
    5.0176\left [ 1+\frac{2}{logN}+o(1) \right ]\frac{N}{log\frac{N-2}{2}log(N-2)}
    定理7 (Goldbach Theorem)  
    对于偶数N
    N\geq 6\Rightarrow D(N)= \sum_{p_{1}+p_{2}=N,p_{1},p_{2}\geq 3}1\geq 1
    证明: 根Shen Mok Kong 的验证
    0 l; v3 i( h& n+ D
          6\leq N\leq 3.3\times 1000000^{\left [ 3 \right ]}\Rightarrow D(N)\geq 1
    根据定理5, 定理 6, 然后我们有% U  ?5 w3 t1 |* z! K9 K
          N> 800000\Rightarrow 1.8432(1-\frac{1}{logN})\frac{N}{log^{2}(N-2)}\leq D(N)\leq 5.0176\left [ 1+\frac{2}{logN}+o(1) \right ]\frac{N}{log\frac{N-2}{2}log(N-2)}
    \therefore N\geq 6\Rightarrow D(N)\geq 1
    引理1 对于奇数N
    N\geq 9\Rightarrow
    T(N)=\sum_{p_{1}+p_{2}+p_{3}=N,p_{1},p_{2},p_{3}\geq 3}1\geq 1
    证明: 让 n\geq 4
    \because 2n+1=2(n-1)+3
    根据定理7,然后我们有3 v8 x) J( v; Y
          N\geq 9\Rightarrow T(N)\geq 1
        References
    [1]  Wang yuan,TANTAN SUSHU,Shanghai, Shanghai Education Publishing House(1983),42.
    [2]  U﹒Dudley,Elementary number theory, Shanghai, Shanghai Science and Technology Press,(1980),195.
    [3] Pan Chengdong,Pan Chengbiao,Goldbach conjecture,Beijing,Science Publishing house,(1984),1.
    回复

    使用道具 举报

    数学1+1        

    23

    主题

    14

    听众

    2548

    积分

    升级  18.27%

  • TA的每日心情
    开心
    2026-6-7 10:45
  • 签到天数: 849 天

    [LV.10]以坛为家III

    新人进步奖

    阅读本帖需具备阅读LATEX文件的知识,作者有一word文件上传,有兴趣的读者可下载阅读。
    回复

    使用道具 举报

    数学1+1        

    23

    主题

    14

    听众

    2548

    积分

    升级  18.27%

  • TA的每日心情
    开心
    2026-6-7 10:45
  • 签到天数: 849 天

    [LV.10]以坛为家III

    新人进步奖

                      Goldbach’s problem, g8 r$ ^  z6 q$ ]' t
                        Su Xiaoguang: O! l' ~$ [5 z$ r! _- `& f# f. h
    Abstract: In the analytic number theory Goldbach problem is an important issue. The authors studied the:% V8 u( ]# [+ G' k

    4 p0 J/ g0 n3 Q# O* o- H" K. o0 k" GA= \bigcup_{i=0}^{\infty }A_{i},A_{i}=\left \{ i+0,i+1,i+2,\cdots \right \}\Rightarrow B(x,N)=\sum_{N\leqslant x,B(N)\neq 0}1,B(N)=\sum_{n+m=N,0\leq n,m\leq N}1.
    4 g1 H( f" i. V6 ^0 CC=\bigcup_{i=0}^{\infty }C_{i},C_{i}=\left \{ p_{i}+p_{0},p_{i}+p_{1},p_{i} +p_{i},\cdots \right \}\wedge N> 800000\Rightarrow M(x)=\sum_{N\leq x,D(N)\neq 0}1; K# R9 K6 o& s" W- y( d( C
    Deduced
    / J0 n! y* j9 QD(N)=\sum_{p_{1}+p_{2}=N,p_{1},p_{2}\geq 3}1\wedge
    , o  [# ~, q$ A4 w8 q( O" G1.8432(1-\frac{1}{logN})\frac{N}{log^{2}(N-2)}\leq D(N)\leq 5.0176\left [ 1+log\frac{2}{N}+o(1) \right ]\frac{N}{log\frac{N-2}{2}log(N-2)}
    . V* m& B0 I+ a% b& \5 _4 h( G0 w. C" n! \' i4 t  n# o  ~
    Key words: Germany,Goldbach,even number, Odd number ,prime number,
    4 j6 L1 v) d6 u  v4 VMR (2000) theme classification: 11 P32 4 S: c! n* u) u: E
    Email:suxiaoguong@foxmail. com; f. c1 M, {! E1 N; y
    § 1 Introduction' q, Z+ i& B/ Y) i" Q
              In 1742, the German mathematician Christian Goldbach (1690-1764), Put forward two speculated about the relationship between positive integers and prime number,using analytical language expressed as:
      H! V* P* s) I8 B! s" o(A)For even number N: q3 t( n: g: r& n5 K& |
      v% `4 G, H+ {+ B8 A
    N\geq 6\Rightarrow D(N)=\sum_{p_{1}+p_{2}=N,p_{1},p_{2}Is a prime number}1>0
    7 W" S9 a, Q# T; J5 J8 ?7 u0 t# P' }& a& y: h: M
    (B)  For odd number N/ W6 l3 I0 b$ i  }' z* Q% E, S
    ) z( o+ P5 h$ A! ^, X' |# \0 t# x
    N\geq 9\Rightarrow T(N)=\sum_{p_{1}+p_{2}+p_{3}=N.p_{1},p_{2},p_{3}\geq 3}1>0$ p6 I% ^8 Z3 @; _1 P/ K  y8 l( s
    ( `2 G: O) @$ T0 _$ @
    This is the famous GOldbach conjecture。If the proposition (A) true, then the proposition (B) True。So, as long as we prove Proposition (A), Launched immediately conjecture (B) is correct' U1 ^/ L9 \8 q$ l+ V  m9 S
              ) r3 k- V3 [" J; Z4 ^9 ~6 d
    §2 Correlation set constructor
    + d/ \- A) x) P: pA_{0}=\left \{ 0+0,0+1,0+2,\cdots  \right \}
    + V$ J9 T% ^: r& H7 ~ A_{1}=\left \{ 1+0,1+1,1+2,\cdots  \right \}2 l2 D3 ~  Z8 _3 P! I0 i" h
    A_{2}=\left \{ 2+0,2+1,2+2,\cdots  \right \}) E9 i6 N: A3 z( e& N/ a& A
    \cdots( Q0 G2 ^, N- b0 E8 Y
    A=\bigcup_{i=0}^{\infty }A_{i}\Rightarrow B(N)=\sum_{n_{1}+n_{2}=N.0\leq n _{1},n_{2}\leq N}1,B(x,N)=\sum_{N\leq x,B(N)\neq 0}1      (1)
    # ?9 o( [- Z& o$ L# u: Y' Mp_{0}=2,p_{1}=3,p_{2}=5,\cdots C_{0}=\left \{ p_{0} +p_{0},p_{0}+p_{1},p_{0}+p_{2},\cdots \right \} C_{1}=\left \{ p_{1} +p_{0},p_{1}+p_{1},p_{1}+p_{2},\cdots \right \} C_{2}=\left \{ p_{2} +p_{0},p_{2}+p_{1},p_{2}+p_{2},\cdots \right \} C=\bigcup_{i=0}^{\infty }C_{i}\Rightarrow D(N)=\sum_{p_{1}+p_{2}=N.p_{1},p_{2}\geq 3}1\wedge M(x)=\sum_{N\leq x,D(N)\neq 0}  (2)      6 g! b# m% }' W
      §3    Ready  Theorem$ q+ H5 C' Y( O' B
    Theorem 14 i: a; T3 X; P$ k7 r/ M/ i
    M_{i}=(x_{1}^{(i)},x_{2}^{(i)},\cdots ,x_{i}^{(i)},\cdots ),Is a countable set\Rightarrow M=\bigcup_{i=1}^{N}M_{i},Is a countable set
    - k, }. j& B+ h  .Proof: Suppose M_{1},M_{2},\cdots ,M_{N},Is a countable set, M=\bigcup_{i=1}^{N}M_{i}9 j  y8 F. s, M1 j" F$ d6 p+ _- W
    \because M_{1}:x_{1}^{(1)},x_{2}^{(1)},x_{3}^{(1)},\cdots ,x_{i}^{(1)},\cdots8 T5 `! n5 z/ ~
    M_{2}:x_{1}^{(2)},x_{2}^{(2)},x_{3}^{(2)},\cdots ,x_{i}^{(2)},\cdots
    8 W' p3 t/ `# i5 L7 r* dM_{N}:x_{1}^{(N)},x_{2}^{(N)},x_{3}^{(N)},\cdots ,x_{i}^{(N)},\cdots
    2 B6 U% f- H5 W$ _) \& x: Z\cdots% r8 z7 X* b5 f9 P, ?
    \therefore M:x_{1}^{(1)},x_{1}^{(2)},\cdots ,x_{1}^{(N)},x_{2}^{(1)},x_{2}^{(2)},\cdots ,x_{2}^{(N)},\cdots Countable+ j0 @6 e1 y# C9 h
         Theorem 2 (Prime number theorem)
    9 q% X8 _: J* P" y% K$ W) E) F/ G& Z1 t  P: r' ?( C
    \pi (x)\sim \frac{x}{logx}^{\left [ 1 \right ]}
    # y' k6 r1 D! @# u. u  B; s7 L     Theorem 3  For even number x" E* w3 l2 {/ k* v6 R+ h& j) M
    x>800000\wedge M_{1}=minM(x)\Rightarrow M_{1}(x)=\frac{1}{2}\pi (x)\left [ \pi (x) -1\right ]
    ' Q9 j2 b+ l5 a1 j- Q* g6 y" \Proof: According to Theorem 1, (1)  
    - h5 j2 U6 X# Z- h2 ~+ e  \because A_{i},A_{j} Countable,6 S/ O5 S0 Q- h8 \: T
    \therefore A Countable\wedge B(x,N)=\frac{1}{2}(N+1)(N+2) + `  W' n/ r) d# ]2 l/ l
    Similarly, according to Theorem 1, (2), C countable7 c" `1 p9 b0 l  P, I( `0 `
    Suppose
    , Q& N5 p" u6 _' [! s7 R4 G      M_{1}(x)=minM(x)2 m, o& G0 \- A/ U% I* p
    according to (2), Then we have
    " U9 x4 t* F/ b. S: r. M_{1}(x)=\frac{1}{2}\pi (x)\left [ \pi (x)-1 \right ], g  ?- Q2 G, o9 O
    Theorem 4  For even number x0 z8 a% {, j" G! v' e
    x>800000\wedge M_{2}(x)=maxM(x)\Rightarrow M_{2}(x)=4\pi (\frac{x}{2})\pi (x)-2\pi ^ {2}(\frac{x}{2})-3\pi (\frac{x}{2})-\pi ^{2}(x)+\pi (x)                        (3)1 N: \1 s# f# N5 p8 I$ ?
    Proof: According to (2),Then we have( p* ]- C4 m; T0 I
    M(x)=\sum_{N\leq x,D(N)\neq 0}1< \sum_{3\leq p_{1},p_{2}\leq \frac{x}{2}}1+\sum_{3\leq p_{1}\leq \frac{x}{2},\frac{x}{2}< p_{2}< x}+\sum_{\frac{x}{2}<p _{1}< x,3\leq p_{2}\leq \frac{x}{2}}% r  u0 ^7 B6 s& ~3 C( W$ _3 Z
         Suppose- Y. G0 T1 A1 e
          M_{2}(x)=maxM(x)
    & R/ @4 I" j" O/ t" W# v+ X\therefore M_{2}(x)
    3 `; h/ X! H8 q0 ^=\frac{1}{2}\cdot 2\pi (x)\left [ 2\pi (\frac{x}{2})-1 \right ]-\frac{1}{2}\left [ 2\pi (\frac{x}{2})-\pi (x) \right ]\left [ 2\pi (\frac{x}{2})-\pi (x) +1\right ]\cdot 2
    9 N  @8 m, d, c$ A, I7 ~=4\pi (x)\pi (\frac{x}{2})-2\pi ^{2}(\frac{x}{2})-3\pi (\frac{x}{2})-\pi ^{2}(x)+\pi (x)
    2 `+ o2 k9 {) v  w# G. p" \§4 Goldbach's problem end
    3 P" P% T2 Q0 q# Y+ r2 v6 ^+ aTheorem 5  For evem number N1 B! G( G( X- o, ]0 C! h2 E7 [
    N> 800000\Rightarrow D(N)\geq 1.8432(1-\frac{1}{logN})\frac{N}{log^{2}(N-2)}! }7 Z" x/ j. i! H9 _! V
         Proof: According to Theorem 2
    0 b6 S7 J8 m4 E4 T7 l7 |N> 800000\Rightarrow \alpha \frac{N}{logN}\leq \pi (N)\leq \beta \frac{N}{logN}      (4)8 e( C# c! S1 W: j- n8 A2 z1 ~
    Let   c_{1}=min(\alpha ,\beta ),5 j/ R+ o7 f. Z0 [4 r' ~
    According to Theorem 3,Then we have% c. Z" v6 ~- X. u% m( P
    D_{1}(N)=M_{1}(N)-M_{1}(N-2)# p% _" X/ P8 R) D" f* |+ L* T
    Clear7 k3 u6 \( t+ K
    D(N)\geq D_{1}(N)/ R' r. f0 I$ G; f
    \because log(1+x)=\int_{0}^{x}\frac{dt}{1+t}=x-\int_{0}^{x}\frac{t}{1+t}dt
      m3 A8 s7 |5 h, a/ g" o3 @* y\because x\geq-\frac{1}{2} \Rightarrow log(1+x)=x+o(x^{2})           (5)& N0 A( ]+ R+ y3 @9 g( r8 {
    \therefore D_{1}(N)=2c_{1}^{2}(1-\frac{1}{logN})\frac{N}{log^{2}(n-2)}+o(1)
    ! j4 ]$ A6 p5 u: t$ AN\rightarrow \infty ,o(1)\rightarrow 0\Rightarrow 0 n1 H+ v) r" c8 t
    D(N)\geq 1.8432(1-\frac{1}{logN})\frac{N}{log^{2}(N-2)}# A6 ^" p5 p0 C, `$ l  u, b
    Theorem 6  For evem number N3 v$ ^: |5 b7 N7 F- t3 W
    N> 800000\Rightarrow D(N)\leq . U! h% o  z; e& \" Z/ e
    5.0176\left [ 1+\frac{2}{logN}+o(1) \right ]\frac{N}{log\frac{N-2}{2}log(N-2)}' y, a6 Y9 @% S8 x
    Proof : According to (4)
    " y, I# Y0 o; K1 _Let  c_{2}=max(\alpha ,\beta )
    + o& N  l* m3 s8 b4 R: P& @$ W8 {According to Theorem 4,Then we have- n( W) k8 @9 C2 T1 z0 R+ `
    D_{2}(N)=M_{2}(N)-M_{2}(N-2)
    + z  L- E; _  ^- u" Y: L: u\because D(N)\leq D_{2}(N)
    8 |8 `2 _+ _! Z/ N  d8 ^According to (5), Then we have" F0 Y, A* O) K  y4 z  F# C
    D(N)\leq
    2 o) Y" R" r8 f+ _1 r3 ]( U  m5.0176\left [ 1+\frac{2}{logN}+o(1) \right ]\frac{N}{log\frac{N-2}{2}log(N-2)}# Y  H0 F8 x, E! R- p# v; w" p
    Theorem 7 (Goldbach Theorem)  
    " W$ F. I! X0 ZFor evem number N
    # I! P7 a: g# l( t. {4 VN\geq 6\Rightarrow D(N)= \sum_{p_{1}+p_{2}=N,p_{1},p_{2}\geq 3}1\geq 1
    5 D( A% I4 e8 ~4 {7 u6 b" x4 YProof : According to Shen Mok Kong verification
    9 L5 G0 O/ J$ N! C7 h6\leq N\leq 3.3\times 1000000^{\left [ 3 \right ]}\Rightarrow D(N)\geq 1; W" P& U/ c" p8 W0 U6 v
    According to Theorem 5, Theorem 6, Then we have) P3 p7 f; i4 K4 {: q, s
    N> 800000\Rightarrow 1.8432(1-\frac{1}{logN})\frac{N}{log^{2}(N-2)}\leq D(N)\leq 5.0176\left [ 1+\frac{2}{logN}+o(1) \right ]\frac{N}{log\frac{N-2}{2}log(N-2)}: }  R. s6 y! z. F. l
    \therefore N\geq 6\Rightarrow D(N)\geq 11 O) r! t4 x) M/ E' d
    Lemma 1 For odd number N  @- t% Y, y8 k0 u0 t9 G
    N\geq 9\Rightarrow   x1 F& \4 y3 C7 H
    T(N)=\sum_{p_{1}+p_{2}+p_{3}=N,p_{1},p_{2},p_{3}\geq 3}1\geq 1
    9 N9 H" K1 U: z' l* a) q1 T: e  K. x" ?Proof et  n\geq 4; v0 W4 o6 M# n2 {  @
    \because 2n+1=2(n-1)+3; s# h; ^, G! s# a% S+ |7 Z( ~- e- n
    According to Theorem 7,  Then we have) o( R* ?$ ?# T6 o7 H* b
    N\geq 9\Rightarrow T(N)\geq 1
    7 Q& X$ D+ x. a- B/ ^7 a6 `; ~3 H# y  _  y/ D' a3 g$ L

    / u/ ^! f! r: K: D    References
    ; X9 a, x) Z/ g' w  h$ f, ]; ^[1]  Wang yuan,TANTAN SUSHU,Shanghai, Shanghai Education Publishing House(1983),42.) I* M; ?( d1 ^1 Q, G$ @
    [2]  U﹒Dudley,Elementary number theory, Shanghai, Shanghai Science and Technology Press,(1980),195.+ H# Z8 k! r( ~9 E/ M& }
    [3] Pan Chengdong,Pan Chengbiao,Goldbach conjecture,Beijing,Science Publishing house,(1984),1.7 q! \9 _- p2 H9 F9 }0 T# _

    ' r; C/ T+ k& C4 A( w
    回复

    使用道具 举报

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

    qq
    收缩
    • 电话咨询

    • 04714969085
    fastpost

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

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

    蒙公网安备 15010502000194号

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

    GMT+8, 2026-6-14 08:17 , Processed in 0.545716 second(s), 101 queries .

    回顶部