QQ登录

只需要一步,快速开始

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

Goldbach’s problem

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

23

主题

14

听众

2544

积分

升级  18.13%

  • 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)}
    / A- _7 t" d+ ~0 U* L Key words: Germany,Goldbach,even number, Odd number ,prime number, MR (2000) theme classification: 11 P32 Email:suxiaoguong@foxmail. com4 X9 `9 d: ~- U# K9 e
    zan
    转播转播0 分享淘帖0 分享分享0 收藏收藏0 支持支持0 反对反对0 微信微信
    数学1+1        

    23

    主题

    14

    听众

    2544

    积分

    升级  18.13%

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

    [LV.10]以坛为家III

    新人进步奖

                      Goldbach’s problem (pdf)
                           Su Xiaoguang
    3 z0 A9 K9 y1 O3 @     
    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)}

    / W$ D/ l3 Y9 z: f' G; r9 F
    Key words: Germany,Goldbach,even number, Odd number ,prime number,
    MR (2000) theme classification: 11 P32
    Email:suxiaoguong@foxmail. com
    回复

    使用道具 举报

    数学1+1        

    23

    主题

    14

    听众

    2544

    积分

    升级  18.13%

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

    [LV.10]以坛为家III

    新人进步奖

                      Goldbach’s problem0 u2 p9 l+ n: f, O
                        Su Xiaoguang
    # h8 r7 F( V  b$ j+ RAbstract: In the analytic number theory Goldbach problem is an important issue. The authors studied the:
    5 q9 e" t" Q4 g( c, k- r- m+ s0 Z) _
    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.
    6 F! {" G! J/ B7 \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
    2 y0 l8 D! X3 l4 @Deduced9 D3 q' _4 J( K$ {; C& t# {
    D(N)=\sum_{p_{1}+p_{2}=N,p_{1},p_{2}\geq 3}1\wedge
    * W2 a9 M" m3 A6 A2 ?0 O1.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 h5 h5 ^  a  t$ n  ?

    ! D8 F) D, @! `% i# h/ J4 IKey words: Germany,Goldbach,even number, Odd number ,prime number,
    - C# ~3 ~9 j, y% |1 gMR (2000) theme classification: 11 P32 % a- F3 V/ y: Z2 T5 L8 P5 w
    Email:suxiaoguong@foxmail. com
    ( H, u; \, g+ F# F7 f3 U# _§ 1 Introduction
    0 n5 D+ O0 R8 `9 r5 g; q2 h9 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:/ x$ F7 M& u/ z$ e
    (A)For even number N# X  d: T3 X" x, W3 d

    4 t8 Y- N) L: G8 b# AN\geq 6\Rightarrow D(N)=\sum_{p_{1}+p_{2}=N,p_{1},p_{2}Is a prime number}1>0" U3 t4 o+ [1 z7 f1 `
    : R) f5 s) g4 v8 v% ^
    (B)  For odd number N
    # i1 @9 W. L" ^4 L" Z' W7 X8 K
    / D: @" f( z0 }N\geq 9\Rightarrow T(N)=\sum_{p_{1}+p_{2}+p_{3}=N.p_{1},p_{2},p_{3}\geq 3}1>0
      |, t/ x. P  G  t
    & k; u/ R7 M* H2 r6 RThis 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
    * h4 v  f1 h2 H            p/ {, U: b- e% q: \# A
    §2 Correlation set constructor* e4 I6 u# u( S5 S- {7 S
    A_{0}=\left \{ 0+0,0+1,0+2,\cdots  \right \}2 e6 H( ^) |6 \/ C  T; @$ i
    A_{1}=\left \{ 1+0,1+1,1+2,\cdots  \right \}7 K* q3 u/ S- @8 |4 D" ?
    A_{2}=\left \{ 2+0,2+1,2+2,\cdots  \right \}4 F% x8 e  b* R# {. [" [& N, n" J7 @" W
    \cdots3 I! j: k9 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)
    5 r1 |) B& M& @: q8 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)      
    & z% P2 i: `2 z& _  §3    Ready  Theorem
    ; K/ W3 s$ l9 K3 i9 HTheorem 1
    7 Z" @) l+ [% D7 }' tM_{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/ z) {0 N2 a/ g( C
      .Proof: Suppose M_{1},M_{2},\cdots ,M_{N},Is a countable set, M=\bigcup_{i=1}^{N}M_{i}
    3 R' I& x# }9 t* y! W\because M_{1}:x_{1}^{(1)},x_{2}^{(1)},x_{3}^{(1)},\cdots ,x_{i}^{(1)},\cdots) D5 e6 t, i7 Y1 \9 V3 j
    M_{2}:x_{1}^{(2)},x_{2}^{(2)},x_{3}^{(2)},\cdots ,x_{i}^{(2)},\cdots
    " [1 [( ^( y- l2 S9 n% |9 JM_{N}:x_{1}^{(N)},x_{2}^{(N)},x_{3}^{(N)},\cdots ,x_{i}^{(N)},\cdots4 x8 }1 {* G9 j' y! i
    \cdots, e" X6 o3 O) `$ `
    \therefore M:x_{1}^{(1)},x_{1}^{(2)},\cdots ,x_{1}^{(N)},x_{2}^{(1)},x_{2}^{(2)},\cdots ,x_{2}^{(N)},\cdots Countable
    0 X  E7 U3 {) M' L1 U     Theorem 2 (Prime number theorem)
    ! v9 |! `" J3 b9 f+ [
    0 q) O( C. ?/ a" X) [! {\pi (x)\sim \frac{x}{logx}^{\left [ 1 \right ]}
    8 O+ [4 O$ D. x1 {     Theorem 3  For even number x0 u9 A% [/ E2 C9 k
    x>800000\wedge M_{1}=minM(x)\Rightarrow M_{1}(x)=\frac{1}{2}\pi (x)\left [ \pi (x) -1\right ] ) L) B0 c/ W. Z/ N" Q+ o% G2 Q1 N
    Proof: According to Theorem 1, (1)  ! {% h: B- R3 N% B2 a  Z
      \because A_{i},A_{j} Countable,
    4 w+ E8 S* }/ j7 y* H \therefore A Countable\wedge B(x,N)=\frac{1}{2}(N+1)(N+2)
    ( ~; a  Y' c% }7 a; S' k+ t3 bSimilarly, according to Theorem 1, (2), C countable5 v, y% M9 \# B1 U
    Suppose
    : V# t4 _, b2 Y" x+ m! [. `      M_{1}(x)=minM(x)
    / D7 S5 g; ?% C; F4 Y# m2 uaccording to (2), Then we have
    4 D1 b6 @! Q2 t6 q% Y# G. M_{1}(x)=\frac{1}{2}\pi (x)\left [ \pi (x)-1 \right ]
    . _  O) B! y* A/ ~( V% z2 K6 p4 v, j- U Theorem 4  For even number x
    5 f: X2 {! h; @& [5 ]7 Sx>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 [0 J5 h7 C' R
    Proof: According to (2),Then we have
    ' E! ]  U0 _! U2 ^" gM(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}}
      k4 O! f: D5 j& ^) p1 N& b2 |, V     Suppose
    , I5 d; v7 ~( Z/ l) S      M_{2}(x)=maxM(x)5 l( \. N) K; Z" K% @, B
    \therefore M_{2}(x)7 m$ N2 J$ B4 G% Z, @# L
    =\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
    % m' Q& v, z7 h/ S! m=4\pi (x)\pi (\frac{x}{2})-2\pi ^{2}(\frac{x}{2})-3\pi (\frac{x}{2})-\pi ^{2}(x)+\pi (x)  ~1 L  b) E( m& m& ]4 `
    §4 Goldbach's problem end
    6 V, a5 |* x+ S; D, R9 @% B7 KTheorem 5  For evem number N
    * i2 R% q5 `2 ^+ C, ]N> 800000\Rightarrow D(N)\geq 1.8432(1-\frac{1}{logN})\frac{N}{log^{2}(N-2)}
    5 m5 p" `, x, x0 z4 x3 v     Proof: According to Theorem 2
    2 g- ]2 H# Y0 A. h7 d- \# b+ QN> 800000\Rightarrow \alpha \frac{N}{logN}\leq \pi (N)\leq \beta \frac{N}{logN}      (4)8 `2 @  R" X, l$ `
    Let   c_{1}=min(\alpha ,\beta ),- s& Z: x, {- U6 o9 x# C
    According to Theorem 3,Then we have! `% f3 \8 w+ y1 J* f" M2 T
    D_{1}(N)=M_{1}(N)-M_{1}(N-2)
    ( q9 o; G0 R$ X/ I+ UClear3 y  W3 R8 Q; C: d
    D(N)\geq D_{1}(N)3 D7 \: }  {2 x& Q+ _" V
    \because log(1+x)=\int_{0}^{x}\frac{dt}{1+t}=x-\int_{0}^{x}\frac{t}{1+t}dt; {% A: D+ u/ n5 a
    \because x\geq-\frac{1}{2} \Rightarrow log(1+x)=x+o(x^{2})           (5)" Y" X$ C+ _; \: j
    \therefore D_{1}(N)=2c_{1}^{2}(1-\frac{1}{logN})\frac{N}{log^{2}(n-2)}+o(1)
    , z! E# k+ T% K& W' ?. rN\rightarrow \infty ,o(1)\rightarrow 0\Rightarrow
    4 w- E  `2 H" d) q+ G0 lD(N)\geq 1.8432(1-\frac{1}{logN})\frac{N}{log^{2}(N-2)}; N, w7 L5 R2 X) Y1 i$ ]' h1 J
    Theorem 6  For evem number N
    + G1 K4 ?+ @7 k- O" ^4 H  mN> 800000\Rightarrow D(N)\leq " `+ u5 G" a% u" H# {7 Z: k% O6 r
    5.0176\left [ 1+\frac{2}{logN}+o(1) \right ]\frac{N}{log\frac{N-2}{2}log(N-2)}. w% y: T7 S% M" r/ P: y  M$ i
    Proof : According to (4)
    0 y$ F* J; B& P! g4 C/ F, CLet  c_{2}=max(\alpha ,\beta )) _3 z4 e! X! m: W
    According to Theorem 4,Then we have" E! }9 \2 X) x) F8 a
    D_{2}(N)=M_{2}(N)-M_{2}(N-2)+ ?* o* _& A3 x. p& [
    \because D(N)\leq D_{2}(N)
    $ H3 y6 H# ~' C( S1 |9 G0 r0 LAccording to (5), Then we have
    ! R' Z  d0 f3 E$ q9 y- C' W' l( T% ~D(N)\leq
    . s4 \5 H; v; x( j  m0 z5.0176\left [ 1+\frac{2}{logN}+o(1) \right ]\frac{N}{log\frac{N-2}{2}log(N-2)}; h+ N  o; P* K' Z# m; m& s
    Theorem 7 (Goldbach Theorem)  2 K+ Z4 V( f! a9 N6 ]
    For evem number N& n) B: D$ H+ p0 r; y
    N\geq 6\Rightarrow D(N)= \sum_{p_{1}+p_{2}=N,p_{1},p_{2}\geq 3}1\geq 1
    5 u, u# z# o; o' G/ A! c+ mProof : According to Shen Mok Kong verification
    + n. I3 d" {' e3 R' l6\leq N\leq 3.3\times 1000000^{\left [ 3 \right ]}\Rightarrow D(N)\geq 1+ V3 m! n' v" F4 K( y. \) I/ m
    According to Theorem 5, Theorem 6, Then we have: j! R# Q! L+ L( s, r
    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)}
    / g$ b- ^! d: l" E3 N\therefore N\geq 6\Rightarrow D(N)\geq 1
    ; D, o6 R+ p( \Lemma 1 For odd number N
    # A, M0 [$ ?& G6 P9 WN\geq 9\Rightarrow 0 y$ s' @' @& f3 [( R/ u3 c
    T(N)=\sum_{p_{1}+p_{2}+p_{3}=N,p_{1},p_{2},p_{3}\geq 3}1\geq 1( k1 T9 ~' N; p9 L+ \3 o0 F; H
    Proof et  n\geq 4. Z( M& @; V2 U6 k& h* a9 C$ z: Y
    \because 2n+1=2(n-1)+39 {7 o& X) ?7 Q0 V) p* F6 ]" g
    According to Theorem 7,  Then we have
    " x4 k( X: g- `. X/ O0 `: i% JN\geq 9\Rightarrow T(N)\geq 1' `. {( C" l; S5 x* o* o7 }3 Z
    * ~' {& u, B6 S, d

    1 a; `' G8 ^  p9 z- F5 [    References9 S! ~1 H  U6 l& `5 Y
    [1]  Wang yuan,TANTAN SUSHU,Shanghai, Shanghai Education Publishing House(1983),42.0 k& ^: A" I& W( Q" z6 B  ~7 ~
    [2]  U﹒Dudley,Elementary number theory, Shanghai, Shanghai Science and Technology Press,(1980),195.
    $ a& o9 }& e' V[3] Pan Chengdong,Pan Chengbiao,Goldbach conjecture,Beijing,Science Publishing house,(1984),1.
    $ H4 ]: V. }$ f' E& d# B% K( Z3 L* G
    回复

    使用道具 举报

    数学1+1        

    23

    主题

    14

    听众

    2544

    积分

    升级  18.13%

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

    [LV.10]以坛为家III

    新人进步奖

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

    使用道具 举报

    数学1+1        

    23

    主题

    14

    听众

    2544

    积分

    升级  18.13%

  • 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  引言) {# e& I, s4 S* E2 D7 e- p; D
          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相关集的构造
    1 d, l) J* A1 i) h" H
    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    预备定理
    ( A* {: ?' a. v! u
    定理 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) 6 l" o2 G; f4 C* S0 Z5 q+ u
    类似地,根据定理1,
    (2), C可数  # b: ]$ H& Z& l, C7 `/ G8 M
    设      M_{1}(x)=minM(x)
    根据(2),那么我们有.+ Z  }4 R4 s' i% Z
    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),那么我们有
    2 K( `. w7 L# f( U4 a& r  |' 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 终结$ m" t% e5 p9 ^
    定理 5  对于偶数N
    N> 800000\Rightarrow D(N)\geq 1.8432(1-\frac{1}{logN})\frac{N}{log^{2}(N-2)}
        证明: 根据定理2
    ) b, ]' ?" B$ v! e% ^7 | N> 800000\Rightarrow \alpha \frac{N}{logN}\leq \pi (N)\leq \beta \frac{N}{logN}      (4)
    让  c_{1}=min(\alpha ,\beta ),
    根据定理3,然后我们有4 j1 R5 ]7 u$ U3 f1 z7 i: Y* b
          D_{1}(N)=M_{1}(N)-M_{1}(N-2)
    显然
    3 u, v8 o' t% u8 `6 h: a0 j       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,然后我们有
    4 l' @0 Y% F: y. S       D_{2}(N)=M_{2}(N)-M_{2}(N-2)
    \because D(N)\leq D_{2}(N)
    根据(5),那么我们有9 O# `  l- a- Z# b( 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 的验证
    9 U  l! G7 D$ ]. l, \; L& s$ N+ _
          6\leq N\leq 3.3\times 1000000^{\left [ 3 \right ]}\Rightarrow D(N)\geq 1
    根据定理5, 定理 6, 然后我们有
    ; s4 d2 k5 R8 O) A8 R& H7 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,然后我们有4 K0 c: S7 p( L/ O" |7 J+ 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

    听众

    2544

    积分

    升级  18.13%

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

    [LV.10]以坛为家III

    新人进步奖

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

    使用道具 举报

    数学1+1        

    23

    主题

    14

    听众

    2544

    积分

    升级  18.13%

  • 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
    / V  a0 }: P8 y; c" f" ^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)}
      S- z9 }( k" f2 p0 P% l  n6 ?3 {3 O
    回复

    使用道具 举报

    数学1+1        

    23

    主题

    14

    听众

    2544

    积分

    升级  18.13%

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

    [LV.10]以坛为家III

    新人进步奖

    若N>800000,& Y! K5 k5 \6 |
    则   1.83150(1-1/logN)[N/log^2(N-2)]≤D(N) ≤4.36166[1+2/logN +o(1)]×) D1 d1 m4 L) {' d/ R# p  v
    N/{log[(N-2)/2]log(N-2)}
    , H. g3 t0 ^2 `. I6 ^9 d这就是哥德巴赫公式,有兴趣的读者不妨检测一下。
    回复

    使用道具 举报

    11

    主题

    12

    听众

    1728

    积分

    升级  72.8%

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

    [LV.8]以坛为家I

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

    社区QQ达人

    群组数学建模培训课堂1

    群组数模思想方法大全

    回复

    使用道具 举报

    11

    主题

    12

    听众

    1728

    积分

    升级  72.8%

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

    [LV.8]以坛为家I

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

    社区QQ达人

    群组数学建模培训课堂1

    群组数模思想方法大全

    本帖最后由 1300611016 于 2014-1-4 09:08 编辑
    6 e: c! M6 D$ n2 D( a+ r, I- E! @$ M& B5 S; ^
    太烦,可以用一个简明的形式,如·同偶质数对·形式展开详细见http://www.madio.net/thread-202136-1-1.html9 o) ?( M' d; c  C3 F
    一般的用简明浅显的形式表述更容易推广,如能用初等数学表述这一问题,可以尝试一下。但不妨碍专业研究。
    回复

    使用道具 举报

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

    qq
    收缩
    • 电话咨询

    • 04714969085
    fastpost

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

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

    蒙公网安备 15010502000194号

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

    GMT+8, 2026-5-6 00:17 , Processed in 0.450864 second(s), 101 queries .

    回顶部