QQ登录

只需要一步,快速开始

 注册地址  找回密码
查看: 3443|回复: 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)}- `5 t+ c  H4 D/ q  a
    Key words: Germany,Goldbach,even number, Odd number ,prime number, MR (2000) theme classification: 11 P32 Email:suxiaoguong@foxmail. com) K' z' j% g6 b6 P7 R; }; S
    zan
    转播转播0 分享淘帖0 分享分享0 收藏收藏0 支持支持0 反对反对0 微信微信
    数学1+1        

    23

    主题

    14

    听众

    2548

    积分

    升级  18.27%

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

    [LV.10]以坛为家III

    新人进步奖

                      Goldbach’s problem (pdf)
                           Su Xiaoguang
    1 ]) y9 {, ]2 ]3 g     
    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)}
    $ _/ b+ R% F9 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

    听众

    2548

    积分

    升级  18.27%

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

    [LV.10]以坛为家III

    新人进步奖

                      Goldbach’s problem
    * W$ X+ ?. _% I1 f  b                    Su Xiaoguang9 g) N+ J) L% Y/ U4 a8 _- }
    Abstract: In the analytic number theory Goldbach problem is an important issue. The authors studied the:0 e( T6 o2 T8 u- T* f. K" V* f

    2 ?$ @( ^, m$ c0 d1 g& hA= \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.
    0 \7 M. R2 _+ o: r: f# h7 Z' XC=\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
    + ~  N8 ^6 ~; aDeduced, l0 k" ?7 X1 @& i
    D(N)=\sum_{p_{1}+p_{2}=N,p_{1},p_{2}\geq 3}1\wedge
    ; t7 ^; {5 D( ~. r1.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 u8 T8 h! u& u6 Q* R& O
    0 L% P( d, d& J& e: q5 x( C4 i
    Key words: Germany,Goldbach,even number, Odd number ,prime number, 0 G  r( t# M$ s; Q7 j' L# ~: }
    MR (2000) theme classification: 11 P32 - _/ a0 W$ ^3 k) A: \1 R
    Email:suxiaoguong@foxmail. com
    + ?. p3 d; @8 r' \! o§ 1 Introduction0 C7 j3 v$ F, o1 R8 Q  W$ J
              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:- V# P# N8 Z, G7 `
    (A)For even number N
    & F- p* @9 N. s6 t: E4 |
    7 b- ~7 P# d5 i; [N\geq 6\Rightarrow D(N)=\sum_{p_{1}+p_{2}=N,p_{1},p_{2}Is a prime number}1>0+ n( e- M- M  ?- F2 ]
    ; M8 K- @9 ^# |% G# x
    (B)  For odd number N/ b& n7 A* h9 @( V$ F: `! A
    % p' d" E: d. B+ v: I+ k+ J' {2 Y" z
    N\geq 9\Rightarrow T(N)=\sum_{p_{1}+p_{2}+p_{3}=N.p_{1},p_{2},p_{3}\geq 3}1>0
    4 U' m# r" |) G$ n- D* _
    5 z5 _' d1 F6 w) \2 S" [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 correct8 d! U  Y2 }$ ?% P0 G8 S  S
             
    5 ~+ {1 e7 \; ~% q/ c/ q§2 Correlation set constructor, E4 \9 }: ~8 y" n
    A_{0}=\left \{ 0+0,0+1,0+2,\cdots  \right \}
    ( ?. W6 `- ~& O, ^  D0 f" _0 F3 `0 } A_{1}=\left \{ 1+0,1+1,1+2,\cdots  \right \}0 M2 V% @8 Z( m* B# w
    A_{2}=\left \{ 2+0,2+1,2+2,\cdots  \right \}9 v1 O+ t% W, z4 v  x# h
    \cdots
    0 k1 D3 n  w1 l5 y8 ?$ N+ [4 yA=\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 B2 p% ]: ]5 [6 K* ]' E" q, }+ W
    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)      
    8 Y) d  Y; E, U9 z3 W  §3    Ready  Theorem$ \# V8 V9 _! G6 z6 j8 m- b% K# T
    Theorem 1
    - n% K. V4 g5 B$ D' lM_{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
    * H5 {$ q) D( T- s: l* p6 t  .Proof: Suppose M_{1},M_{2},\cdots ,M_{N},Is a countable set, M=\bigcup_{i=1}^{N}M_{i}8 X+ u7 l. y/ e# z0 p! a6 j$ }( g
    \because M_{1}:x_{1}^{(1)},x_{2}^{(1)},x_{3}^{(1)},\cdots ,x_{i}^{(1)},\cdots
    & d" f' e1 X3 k7 Y, qM_{2}:x_{1}^{(2)},x_{2}^{(2)},x_{3}^{(2)},\cdots ,x_{i}^{(2)},\cdots
    % I4 z" v7 `0 GM_{N}:x_{1}^{(N)},x_{2}^{(N)},x_{3}^{(N)},\cdots ,x_{i}^{(N)},\cdots
    $ \+ V  S6 r; E5 y" G8 ?' r\cdots
    ; g+ A* F5 p4 o2 i' 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/ A" k6 u) d( A6 G1 ?
         Theorem 2 (Prime number theorem)
    " r  k/ N) ?! W: r, ~" z. r% [! T2 t: d
    \pi (x)\sim \frac{x}{logx}^{\left [ 1 \right ]}
      E/ @  v0 t  T) l, ~3 R; ]) R     Theorem 3  For even number x( I) w. b, f, y5 w* z
    x>800000\wedge M_{1}=minM(x)\Rightarrow M_{1}(x)=\frac{1}{2}\pi (x)\left [ \pi (x) -1\right ] + S# {: z" A8 e3 F6 b/ b( b3 O7 P
    Proof: According to Theorem 1, (1)  
      f4 D+ l1 D# v. U3 w4 I  \because A_{i},A_{j} Countable,
    ; Z3 a4 |/ o* d& e0 w) o \therefore A Countable\wedge B(x,N)=\frac{1}{2}(N+1)(N+2) 5 Q" a/ H; J; I6 n& t& }; [9 t, k
    Similarly, according to Theorem 1, (2), C countable
    ( b7 b! F+ @8 D7 u/ { Suppose9 b8 {( m3 P# }) ~* }: w
          M_{1}(x)=minM(x)$ ~9 y9 O4 J0 _, r/ I6 _
    according to (2), Then we have
    8 p9 m+ H' z9 i. M_{1}(x)=\frac{1}{2}\pi (x)\left [ \pi (x)-1 \right ]1 L$ `, D: n; N5 E9 {
    Theorem 4  For even number x
    8 n) {( [% V! B: n- d! jx>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)' d  Z" ]8 W0 @! G2 W& b/ }
    Proof: According to (2),Then we have
    5 m9 e9 M6 [5 I  ^! yM(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}}: L- _" i2 j' k% p
         Suppose
    ' k8 g" i- Y, C2 E; n      M_{2}(x)=maxM(x)/ F! L7 _+ o2 p8 J
    \therefore M_{2}(x)
    . L% U4 d  Q% ?9 ~1 `& Z/ n=\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* o2 H, P! t2 N$ F/ G
    =4\pi (x)\pi (\frac{x}{2})-2\pi ^{2}(\frac{x}{2})-3\pi (\frac{x}{2})-\pi ^{2}(x)+\pi (x)% {$ a+ J7 D2 x4 ]2 }0 W
    §4 Goldbach's problem end
    : Z8 p$ M* ^" F4 fTheorem 5  For evem number N
    ! {$ Y; t0 g. X$ dN> 800000\Rightarrow D(N)\geq 1.8432(1-\frac{1}{logN})\frac{N}{log^{2}(N-2)}+ N  b' C, |. z1 f. F, N
         Proof: According to Theorem 2
    + `7 U5 k3 p7 {) W* _N> 800000\Rightarrow \alpha \frac{N}{logN}\leq \pi (N)\leq \beta \frac{N}{logN}      (4)% D0 p% a8 {  u+ N
    Let   c_{1}=min(\alpha ,\beta ),
    0 C) V$ Z5 i1 z: DAccording to Theorem 3,Then we have
      O9 v) j$ l$ J+ Q" e' SD_{1}(N)=M_{1}(N)-M_{1}(N-2)
    8 I0 L+ o8 ?! R7 FClear4 O7 ^9 e( W# l" p# d
    D(N)\geq D_{1}(N)' q% U, w2 i) m3 {5 y
    \because log(1+x)=\int_{0}^{x}\frac{dt}{1+t}=x-\int_{0}^{x}\frac{t}{1+t}dt  X/ B, _2 \+ p' @
    \because x\geq-\frac{1}{2} \Rightarrow log(1+x)=x+o(x^{2})           (5)/ W$ U* [1 ^2 a8 z- T9 Y
    \therefore D_{1}(N)=2c_{1}^{2}(1-\frac{1}{logN})\frac{N}{log^{2}(n-2)}+o(1)
    9 a5 p7 o# T$ C# R" UN\rightarrow \infty ,o(1)\rightarrow 0\Rightarrow
    ' Y2 H, P& R" p6 ID(N)\geq 1.8432(1-\frac{1}{logN})\frac{N}{log^{2}(N-2)}; V9 Q& s6 I) g! Z% R
    Theorem 6  For evem number N
    4 x! W# ~) Q8 d" A! w4 c" [N> 800000\Rightarrow D(N)\leq
    ; L( z. z; W) k! f: j3 |) w' H) }5.0176\left [ 1+\frac{2}{logN}+o(1) \right ]\frac{N}{log\frac{N-2}{2}log(N-2)}
    ! c8 o- l3 ?5 b' R% ^: LProof : According to (4)$ M% Z# z; c. l, d- b9 S
    Let  c_{2}=max(\alpha ,\beta )( x9 o4 I( ~% ^) O. w1 S
    According to Theorem 4,Then we have- X& g/ _4 Q/ h9 N/ U! E; I% C0 R
    D_{2}(N)=M_{2}(N)-M_{2}(N-2)$ m' `- Y; d( k
    \because D(N)\leq D_{2}(N)
    / F# {3 W7 r$ g' JAccording to (5), Then we have9 `$ w2 {* H3 t5 k
    D(N)\leq
    ) W! W3 I1 z+ q+ X- S: p1 c( a5.0176\left [ 1+\frac{2}{logN}+o(1) \right ]\frac{N}{log\frac{N-2}{2}log(N-2)}9 S8 i  ]0 x9 X* H; p
    Theorem 7 (Goldbach Theorem)  
    & v* a% R# B6 jFor evem number N
    & V2 o2 F# g2 G7 [7 F1 z9 L5 eN\geq 6\Rightarrow D(N)= \sum_{p_{1}+p_{2}=N,p_{1},p_{2}\geq 3}1\geq 1* o% Q2 ?" [% v. w4 C5 Q0 [; S
    Proof : According to Shen Mok Kong verification9 x# L6 V( T2 R6 p. X9 @
    6\leq N\leq 3.3\times 1000000^{\left [ 3 \right ]}\Rightarrow D(N)\geq 1( s) L& F3 Z- ?5 ~# L
    According to Theorem 5, Theorem 6, Then we have+ U3 b2 X0 o( V* G: D
    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)}8 K- n# c; v1 S$ Y/ i( O1 ]
    \therefore N\geq 6\Rightarrow D(N)\geq 1
    % A. v5 V5 O  b. \- v( N6 Z2 KLemma 1 For odd number N
    1 A+ M/ {5 a/ e8 f- Y# SN\geq 9\Rightarrow   N  H; h, o& x$ X! e
    T(N)=\sum_{p_{1}+p_{2}+p_{3}=N,p_{1},p_{2},p_{3}\geq 3}1\geq 1
    % k$ D4 Z8 m9 z/ h9 X! aProof et  n\geq 4
    ' Z" \% e/ v! x5 o3 t\because 2n+1=2(n-1)+3$ d9 V  u5 J, p1 N( c' A" Z9 @: }
    According to Theorem 7,  Then we have  c( m& A' K, `0 n4 Q$ X; `
    N\geq 9\Rightarrow T(N)\geq 11 O: M5 h, I0 w' S5 H) E

    ) B1 F4 m! }% e0 G" ]' g6 s4 ~" {: `0 V
    # ~9 k( t, Z6 Z$ A1 V  k    References
    * K+ n% Y* l+ F( V  _+ b[1]  Wang yuan,TANTAN SUSHU,Shanghai, Shanghai Education Publishing House(1983),42.
    ' w  p# u) w! i$ A+ c[2]  U﹒Dudley,Elementary number theory, Shanghai, Shanghai Science and Technology Press,(1980),195.
    # J0 `, p: Q0 l7 L2 f+ I- A[3] Pan Chengdong,Pan Chengbiao,Goldbach conjecture,Beijing,Science Publishing house,(1984),1.
    6 e& m2 E6 }/ t" Q
    2 u* |% D- n: I6 Q. r! S; H
    回复

    使用道具 举报

    数学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
                        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  引言: _, z. p5 v2 g6 c' v$ h- Z
          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相关集的构造6 A: @1 ]1 f* x
    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    预备定理
    4 r+ U* `+ I2 \
    定理 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) % ]) m$ M6 s6 a$ p' N; D
    类似地,根据定理1,
    (2), C可数  
    + y$ g: ?" B6 {
    设      M_{1}(x)=minM(x)
    根据(2),那么我们有.
    6 S( }" h/ M; z& ^3 F; f) _! k 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),那么我们有
    7 S  ]% r# t' `# b) r4 V1 Z- W  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 终结% E  M$ f1 j% V3 n- \  y5 j5 O
    定理 5  对于偶数N
    N> 800000\Rightarrow D(N)\geq 1.8432(1-\frac{1}{logN})\frac{N}{log^{2}(N-2)}
        证明: 根据定理2( N3 o, L) L5 `( [0 U. w
    N> 800000\Rightarrow \alpha \frac{N}{logN}\leq \pi (N)\leq \beta \frac{N}{logN}      (4)
    让  c_{1}=min(\alpha ,\beta ),
    根据定理3,然后我们有
    5 m* b9 [! T7 N# J' l$ b      D_{1}(N)=M_{1}(N)-M_{1}(N-2)
    显然* P! w, X: ]' I: `! I9 L2 g9 I
           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,然后我们有+ U. c" ]* ]& u" l: Q- S
           D_{2}(N)=M_{2}(N)-M_{2}(N-2)
    \because D(N)\leq D_{2}(N)
    根据(5),那么我们有1 k0 k/ {0 ]# v, C7 o7 [
           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 的验证5 f5 q+ `( P' C) V  }
          6\leq N\leq 3.3\times 1000000^{\left [ 3 \right ]}\Rightarrow D(N)\geq 1
    根据定理5, 定理 6, 然后我们有5 E& E% E4 \/ L0 ?# ]  [
          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,然后我们有
    7 j- N$ g1 U; R+ f3 K, E* Q7 l+ u* @      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

    新人进步奖

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

    使用道具 举报

    数学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
    + n) T2 k- _& u1.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)}
    + N$ v# {" Y6 [8 H
    回复

    使用道具 举报

    数学1+1        

    23

    主题

    14

    听众

    2548

    积分

    升级  18.27%

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

    [LV.10]以坛为家III

    新人进步奖

    若N>800000,3 ?5 U+ a) W/ o- t
    则   1.83150(1-1/logN)[N/log^2(N-2)]≤D(N) ≤4.36166[1+2/logN +o(1)]×
    # g* n" T: o( CN/{log[(N-2)/2]log(N-2)}1 p4 p) f0 U9 l  L& R
    这就是哥德巴赫公式,有兴趣的读者不妨检测一下。
    回复

    使用道具 举报

    11

    主题

    12

    听众

    1730

    积分

    升级  73%

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

    [LV.8]以坛为家I

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

    社区QQ达人

    群组数学建模培训课堂1

    群组数模思想方法大全

    回复

    使用道具 举报

    11

    主题

    12

    听众

    1730

    积分

    升级  73%

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

    [LV.8]以坛为家I

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

    社区QQ达人

    群组数学建模培训课堂1

    群组数模思想方法大全

    本帖最后由 1300611016 于 2014-1-4 09:08 编辑 ) o& `+ l# _, B
    4 {! l; K% s! d1 g8 k1 L
    太烦,可以用一个简明的形式,如·同偶质数对·形式展开详细见http://www.madio.net/thread-202136-1-1.html! Q. G. l5 k4 i
    一般的用简明浅显的形式表述更容易推广,如能用初等数学表述这一问题,可以尝试一下。但不妨碍专业研究。
    回复

    使用道具 举报

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

    qq
    收缩
    • 电话咨询

    • 04714969085
    fastpost

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

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

    蒙公网安备 15010502000194号

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

    GMT+8, 2026-6-14 21:10 , Processed in 0.506444 second(s), 100 queries .

    回顶部