QQ登录

只需要一步,快速开始

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

Goldbach’s problem

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

23

主题

14

听众

2545

积分

升级  18.17%

  • TA的每日心情
    开心
    2026-5-2 14:34
  • 签到天数: 848 天

    [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)}( ^4 X- m5 z8 g0 P, L+ u
    Key words: Germany,Goldbach,even number, Odd number ,prime number, MR (2000) theme classification: 11 P32 Email:suxiaoguong@foxmail. com* T& ]7 j1 s3 x
    zan
    转播转播0 分享淘帖0 分享分享0 收藏收藏0 支持支持0 反对反对0 微信微信
    数学1+1        

    23

    主题

    14

    听众

    2545

    积分

    升级  18.17%

  • TA的每日心情
    开心
    2026-5-2 14:34
  • 签到天数: 848 天

    [LV.10]以坛为家III

    新人进步奖

                      Goldbach’s problem (pdf)
                           Su Xiaoguang
    0 d7 Y6 Z6 ]2 L7 Q& b) H' `     
    Abstract: In the analytic number theory Goldbach problem is an important issue. The authors studied the:
    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)}
    + b2 \% {4 N# ?' T! y2 n* X
    Key words: Germany,Goldbach,even number, Odd number ,prime number,
    MR (2000) theme classification: 11 P32
    Email:suxiaoguong@foxmail. com
    回复

    使用道具 举报

    数学1+1        

    23

    主题

    14

    听众

    2545

    积分

    升级  18.17%

  • TA的每日心情
    开心
    2026-5-2 14:34
  • 签到天数: 848 天

    [LV.10]以坛为家III

    新人进步奖

                      Goldbach’s problem2 K- c5 M6 C7 K) b8 G& ~
                        Su Xiaoguang  a7 U6 l; S- z' r
    Abstract: In the analytic number theory Goldbach problem is an important issue. The authors studied the:
    % ?$ ]% _' c8 J0 M, Z& u0 w* v) M; c# l9 T% m  ~4 |5 ~- b
    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.' h0 T2 _- Y9 O1 F7 D/ p+ I
    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
    6 q4 c) a6 J. C  ]Deduced2 Y1 ?5 j" M+ V/ ?& O' x& t
    D(N)=\sum_{p_{1}+p_{2}=N,p_{1},p_{2}\geq 3}1\wedge 3 L0 U% b' V+ m- O5 _, w
    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)}9 x& G- s4 ?  {9 D# K
    3 R2 P8 x6 [( P7 N! V
    Key words: Germany,Goldbach,even number, Odd number ,prime number, - K/ D. K/ B  O! \- Q1 @
    MR (2000) theme classification: 11 P32
    : f1 ?  k1 O9 JEmail:suxiaoguong@foxmail. com
    $ A8 O! G0 V' g§ 1 Introduction2 _; Q* }! y2 w+ 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  `, |& j2 M! O; ^! h* h2 Z
    (A)For even number N
    ( k+ h+ A+ H9 E' C6 c/ {$ o7 H! S5 v
    N\geq 6\Rightarrow D(N)=\sum_{p_{1}+p_{2}=N,p_{1},p_{2}Is a prime number}1>0" i3 J; u- c4 I( ?# f

    9 G  P% r- F' a5 Z( m(B)  For odd number N
    ' ?; a  p1 @$ g4 \- ]: f
    4 y* {& R; w6 s  h0 |5 q+ t: CN\geq 9\Rightarrow T(N)=\sum_{p_{1}+p_{2}+p_{3}=N.p_{1},p_{2},p_{3}\geq 3}1>0, x# w* m! l! ~" ?5 I

    % z2 u4 f$ z" e! l8 V9 V8 ?/ ?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
    1 L& a, d$ G; h( t3 D$ |) ?         
    7 ~3 }$ [5 D: a" S5 O/ r" z5 \§2 Correlation set constructor' P: O; m5 l' E! d7 d, u
    A_{0}=\left \{ 0+0,0+1,0+2,\cdots  \right \}: g8 C2 l+ |0 i' O6 n6 p' G  m
    A_{1}=\left \{ 1+0,1+1,1+2,\cdots  \right \}
    ) i9 `) P) P; F1 v A_{2}=\left \{ 2+0,2+1,2+2,\cdots  \right \}. ~7 K* q  u7 n1 i* A2 ^
    \cdots! ~' ~  r- w" O0 @% r8 G  L: z4 J
    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)6 O+ B( b9 _* b8 H' `$ o. y
    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)      2 s' L3 r' U, S9 N2 i
      §3    Ready  Theorem( z- {3 ?. ?+ ~) ?
    Theorem 1
    ( C5 R! W8 ^0 d- d2 s0 OM_{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
    ' w& x* X* I1 j" B' S8 [  .Proof: Suppose M_{1},M_{2},\cdots ,M_{N},Is a countable set, M=\bigcup_{i=1}^{N}M_{i}
    7 i6 S$ l6 `; E  L4 j) P\because M_{1}:x_{1}^{(1)},x_{2}^{(1)},x_{3}^{(1)},\cdots ,x_{i}^{(1)},\cdots+ d6 [) J$ x5 ]5 S
    M_{2}:x_{1}^{(2)},x_{2}^{(2)},x_{3}^{(2)},\cdots ,x_{i}^{(2)},\cdots
    ; S' `1 c' P9 R# DM_{N}:x_{1}^{(N)},x_{2}^{(N)},x_{3}^{(N)},\cdots ,x_{i}^{(N)},\cdots
    2 f) U: ?& c3 C+ _\cdots
    9 N8 u! M* h) @* Z\therefore M:x_{1}^{(1)},x_{1}^{(2)},\cdots ,x_{1}^{(N)},x_{2}^{(1)},x_{2}^{(2)},\cdots ,x_{2}^{(N)},\cdots Countable
    3 v2 p) T- R: [8 ~% B2 M     Theorem 2 (Prime number theorem)
    % S* Q6 ?" U7 d0 ~+ e
    8 N  Z4 v2 `/ P2 u" H" n\pi (x)\sim \frac{x}{logx}^{\left [ 1 \right ]}$ ^( Y  ~( G; L7 M9 Z
         Theorem 3  For even number x
    % H9 R% B1 W" P" j' _6 Bx>800000\wedge M_{1}=minM(x)\Rightarrow M_{1}(x)=\frac{1}{2}\pi (x)\left [ \pi (x) -1\right ]
    6 i3 U  O8 W. dProof: According to Theorem 1, (1)  / B" |# G, n) s0 M; D3 I! o3 n' C) T
      \because A_{i},A_{j} Countable,0 ]; {+ Y7 o1 U# X; _* h; w
    \therefore A Countable\wedge B(x,N)=\frac{1}{2}(N+1)(N+2)
    ; s+ }6 l& L) _& dSimilarly, according to Theorem 1, (2), C countable1 J! L3 T5 l! ]- @" p
    Suppose' S+ K0 Y) Y% k7 S$ s, O
          M_{1}(x)=minM(x)
    6 B5 `! B8 O# p  qaccording to (2), Then we have! M  x0 k; s) ^3 q' C5 _
    . M_{1}(x)=\frac{1}{2}\pi (x)\left [ \pi (x)-1 \right ]
    8 s. g, Q% o: r% p# \. J" _- C; c$ M Theorem 4  For even number x+ z* a1 X1 m& V: L" a
    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)5 n6 [* N7 ], A# ~. w
    Proof: According to (2),Then we have5 I2 p  _3 s7 K
    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}}7 J- M* _6 J6 z/ P' ~- Y. }( A  j
         Suppose* Q! Z: V0 c. U8 J4 e# m2 g. q" Z$ j( K
          M_{2}(x)=maxM(x)
    9 @) }5 o0 D+ L  }/ q1 O, R0 w\therefore M_{2}(x)* d: g) c, \# g; h8 @
    =\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$ |& H/ p4 c4 b; b' q
    =4\pi (x)\pi (\frac{x}{2})-2\pi ^{2}(\frac{x}{2})-3\pi (\frac{x}{2})-\pi ^{2}(x)+\pi (x)" }% c" ?- j8 I2 J# w
    §4 Goldbach's problem end' A# r$ k/ `4 ^0 P
    Theorem 5  For evem number N
    9 c" Q' f5 R: [- Q+ |- N1 H$ J/ @N> 800000\Rightarrow D(N)\geq 1.8432(1-\frac{1}{logN})\frac{N}{log^{2}(N-2)}# K* O/ B0 T/ N/ q( ]
         Proof: According to Theorem 2
    7 {+ f; V- c! @# z  S' b: @N> 800000\Rightarrow \alpha \frac{N}{logN}\leq \pi (N)\leq \beta \frac{N}{logN}      (4)9 O0 [8 O- N7 D# Q
    Let   c_{1}=min(\alpha ,\beta ),! p2 y" U* f* L( @4 \; J  b% ^& h
    According to Theorem 3,Then we have* F0 g3 J7 r3 z$ ]/ u- L
    D_{1}(N)=M_{1}(N)-M_{1}(N-2). n2 O* i* G  H  q# k' `& ?  t
    Clear
    # o, g6 o3 n$ ^D(N)\geq D_{1}(N)
    9 Y. X' h* n; W: [) `! b\because log(1+x)=\int_{0}^{x}\frac{dt}{1+t}=x-\int_{0}^{x}\frac{t}{1+t}dt
    $ C7 K8 X; ]/ S# N% v\because x\geq-\frac{1}{2} \Rightarrow log(1+x)=x+o(x^{2})           (5)/ g) T5 s( K% D* W! z
    \therefore D_{1}(N)=2c_{1}^{2}(1-\frac{1}{logN})\frac{N}{log^{2}(n-2)}+o(1)
    1 R1 x' I- ]+ l9 q$ N- u) @N\rightarrow \infty ,o(1)\rightarrow 0\Rightarrow
    ! `% e% k8 e  z' D" JD(N)\geq 1.8432(1-\frac{1}{logN})\frac{N}{log^{2}(N-2)}
    7 C+ T) m0 [: C& P Theorem 6  For evem number N
    : P+ B' e- r& v, i3 SN> 800000\Rightarrow D(N)\leq
    0 _# G3 v5 B2 x0 E$ K5.0176\left [ 1+\frac{2}{logN}+o(1) \right ]\frac{N}{log\frac{N-2}{2}log(N-2)}' y6 Z4 r! m! }, v% o$ X
    Proof : According to (4)# u+ p6 f2 S  r/ |8 X/ C
    Let  c_{2}=max(\alpha ,\beta )
    & h5 t- d1 k/ D! B7 Q9 _: [( lAccording to Theorem 4,Then we have1 y3 V8 _5 Y" L( ~; s. s: I
    D_{2}(N)=M_{2}(N)-M_{2}(N-2)- r4 s1 k$ w- p. v( N# I
    \because D(N)\leq D_{2}(N)$ |/ `# m( s" p& O  m1 R  t3 B
    According to (5), Then we have
    $ X( b: n) Y, e# d0 k  l  }D(N)\leq
    0 l5 D7 l1 _3 v* i5.0176\left [ 1+\frac{2}{logN}+o(1) \right ]\frac{N}{log\frac{N-2}{2}log(N-2)}
    + K5 {- N0 @% k9 B+ j. TTheorem 7 (Goldbach Theorem)  ' a- X$ L; T# R  l5 G1 `/ o
    For evem number N# L. N: B( M8 f8 M
    N\geq 6\Rightarrow D(N)= \sum_{p_{1}+p_{2}=N,p_{1},p_{2}\geq 3}1\geq 1
    5 b: X! P3 y! a8 pProof : According to Shen Mok Kong verification
    0 F" {% @$ V/ R6\leq N\leq 3.3\times 1000000^{\left [ 3 \right ]}\Rightarrow D(N)\geq 1. M1 }7 {) y# Q3 B8 y  _
    According to Theorem 5, Theorem 6, Then we have6 y) {# x3 d. @. v3 A  |8 ~: D8 Y$ z* |
    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)}
    : t2 A2 B, Q3 j0 T$ _9 U\therefore N\geq 6\Rightarrow D(N)\geq 1
    + J+ Q) G1 H4 g" H5 R- r/ c. ?Lemma 1 For odd number N& A6 k  d/ r/ ]2 I) ]' x; H
    N\geq 9\Rightarrow
    ; @' c, a+ @4 r( M; p4 V6 ?, GT(N)=\sum_{p_{1}+p_{2}+p_{3}=N,p_{1},p_{2},p_{3}\geq 3}1\geq 1
    3 D  e# Z  J2 t' H: J4 SProof et  n\geq 4* K& @* _5 q/ D0 R" o" k5 I& a
    \because 2n+1=2(n-1)+3! V& W+ e& a! D$ j
    According to Theorem 7,  Then we have
    2 O) E7 [5 L( X, g0 W# FN\geq 9\Rightarrow T(N)\geq 1) X# ~( A3 K# {7 B

    7 P# m" d# R, t* S* y6 R7 Q- |+ `( E$ g, x
        References5 j. J) Z4 x* x1 o8 ]) u; I% _
    [1]  Wang yuan,TANTAN SUSHU,Shanghai, Shanghai Education Publishing House(1983),42.' N% R) b" R% v! Q. R+ J
    [2]  U﹒Dudley,Elementary number theory, Shanghai, Shanghai Science and Technology Press,(1980),195.
    # y- j# G/ F3 m[3] Pan Chengdong,Pan Chengbiao,Goldbach conjecture,Beijing,Science Publishing house,(1984),1.
    / o: K# b5 b( d3 _6 ^% z: V- Y; d! a9 M
    回复

    使用道具 举报

    数学1+1        

    23

    主题

    14

    听众

    2545

    积分

    升级  18.17%

  • TA的每日心情
    开心
    2026-5-2 14:34
  • 签到天数: 848 天

    [LV.10]以坛为家III

    新人进步奖

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

    使用道具 举报

    数学1+1        

    23

    主题

    14

    听众

    2545

    积分

    升级  18.17%

  • TA的每日心情
    开心
    2026-5-2 14:34
  • 签到天数: 848 天

    [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  引言* W' l- m" X- {' l4 b$ u5 g
          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相关集的构造2 o( P% |' l# C. |* W
    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    预备定理
    $ w7 x4 G4 x) E; A0 Z
    定理 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) , B9 t: h4 {+ y1 b
    类似地,根据定理1,
    (2), C可数  
    ' E: }* L, ?) u$ \4 p
    设      M_{1}(x)=minM(x)
    根据(2),那么我们有.5 E8 X, `* s- v  Q! w8 d4 n: g
    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),那么我们有
    : _8 v, A6 w9 `1 l4 x# i9 l# M  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 终结9 z# J) _" a, c
    定理 5  对于偶数N
    N> 800000\Rightarrow D(N)\geq 1.8432(1-\frac{1}{logN})\frac{N}{log^{2}(N-2)}
        证明: 根据定理2
    3 X' P4 d, ?* @& `3 ]% I- ?6 P, d N> 800000\Rightarrow \alpha \frac{N}{logN}\leq \pi (N)\leq \beta \frac{N}{logN}      (4)
    让  c_{1}=min(\alpha ,\beta ),
    根据定理3,然后我们有( N- f2 C" F* o
          D_{1}(N)=M_{1}(N)-M_{1}(N-2)
    显然
    ! R7 X% n9 q, d+ @* B       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,然后我们有
    # ]0 U" e; G: T       D_{2}(N)=M_{2}(N)-M_{2}(N-2)
    \because D(N)\leq D_{2}(N)
    根据(5),那么我们有
    ; h2 G( k0 q# U2 ^       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 的验证
    6 O' q9 {1 z3 W. ~" ]6 k) d4 X
          6\leq N\leq 3.3\times 1000000^{\left [ 3 \right ]}\Rightarrow D(N)\geq 1
    根据定理5, 定理 6, 然后我们有# ^4 ]  T# L7 A. O2 J. {
          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,然后我们有" x0 G9 i, a$ r2 D8 i7 a( H% ~7 r
          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

    听众

    2545

    积分

    升级  18.17%

  • TA的每日心情
    开心
    2026-5-2 14:34
  • 签到天数: 848 天

    [LV.10]以坛为家III

    新人进步奖

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

    使用道具 举报

    数学1+1        

    23

    主题

    14

    听众

    2545

    积分

    升级  18.17%

  • TA的每日心情
    开心
    2026-5-2 14:34
  • 签到天数: 848 天

    [LV.10]以坛为家III

    新人进步奖

    D(N)=\sum_{p_{1}+p_{2}=N,p_{1},p_{2}\geq 3}1\wedge
      _5 D) q% q1 [# w$ h; Z8 \2 E1.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)}% i. D; r5 W0 R. e3 Y4 k
    回复

    使用道具 举报

    数学1+1        

    23

    主题

    14

    听众

    2545

    积分

    升级  18.17%

  • TA的每日心情
    开心
    2026-5-2 14:34
  • 签到天数: 848 天

    [LV.10]以坛为家III

    新人进步奖

    若N>800000,
    & B! W, I; y" j4 f3 a则   1.83150(1-1/logN)[N/log^2(N-2)]≤D(N) ≤4.36166[1+2/logN +o(1)]×
    $ d5 y; u/ e3 ?" N! \N/{log[(N-2)/2]log(N-2)}
    " D2 T! u' s  v; f这就是哥德巴赫公式,有兴趣的读者不妨检测一下。
    回复

    使用道具 举报

    11

    主题

    12

    听众

    1729

    积分

    升级  72.9%

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

    [LV.8]以坛为家I

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

    社区QQ达人

    群组数学建模培训课堂1

    群组数模思想方法大全

    回复

    使用道具 举报

    11

    主题

    12

    听众

    1729

    积分

    升级  72.9%

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

    [LV.8]以坛为家I

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

    社区QQ达人

    群组数学建模培训课堂1

    群组数模思想方法大全

    本帖最后由 1300611016 于 2014-1-4 09:08 编辑
    * l; c' Z+ h  A- m' w
    # }' s+ M% Z  m2 p1 ~3 n太烦,可以用一个简明的形式,如·同偶质数对·形式展开详细见http://www.madio.net/thread-202136-1-1.html6 E* n( t9 i/ M" x) k, M
    一般的用简明浅显的形式表述更容易推广,如能用初等数学表述这一问题,可以尝试一下。但不妨碍专业研究。
    回复

    使用道具 举报

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

    qq
    收缩
    • 电话咨询

    • 04714969085
    fastpost

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

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

    蒙公网安备 15010502000194号

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

    GMT+8, 2026-5-26 17:27 , Processed in 0.743073 second(s), 100 queries .

    回顶部