QQ登录

只需要一步,快速开始

 注册地址  找回密码
查看: 3723|回复: 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)}
    * S0 A$ ?) I) A# Z) R: C; p Key words: Germany,Goldbach,even number, Odd number ,prime number, MR (2000) theme classification: 11 P32 Email:suxiaoguong@foxmail. com
    ; y- n* [* y/ O2 A+ }
    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 Xiaoguang3 @5 V7 M7 Y. Y8 Z$ ^
         
    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)}
    7 E* `* q5 B" U; i4 U' h2 W
    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
    * q  w" P: K2 j0 T2 P! p                    Su Xiaoguang! H2 ?* t# g" t# y) K7 d
    Abstract: In the analytic number theory Goldbach problem is an important issue. The authors studied the:
    $ I0 W# i  I  a9 F3 g
    8 q0 p0 ^9 f, l/ @4 ]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 E+ g7 O! Q* d3 T
    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# l/ y* U5 D4 Z% q3 U) k. y
    Deduced3 \4 A( c* Z' {& k0 P, D
    D(N)=\sum_{p_{1}+p_{2}=N,p_{1},p_{2}\geq 3}1\wedge
    ' C& T$ A- F& f& q1.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)}8 Q' S5 M! Q4 e8 w  @1 |% s( b+ z
    6 W' h4 A% H1 Y  g
    Key words: Germany,Goldbach,even number, Odd number ,prime number,   s: v- I0 Z" e4 I) h' U9 u3 z
    MR (2000) theme classification: 11 P32 7 Q4 S, K7 `; a) f; C* c
    Email:suxiaoguong@foxmail. com; i& f! u# Z3 e6 S; @  S
    § 1 Introduction/ e" N2 o& ]3 f" C- q5 Y
              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:$ r$ h: I& u/ X9 a, r
    (A)For even number N
    5 z5 O. B, l) G  _9 d3 i. R4 f- `6 ^) j8 `
    N\geq 6\Rightarrow D(N)=\sum_{p_{1}+p_{2}=N,p_{1},p_{2}Is a prime number}1>0
    - q  _. `8 O' A9 w' k0 C5 N6 N) y& H
    (B)  For odd number N
    $ ?9 i$ g2 E" P/ ?
    ) ~4 `. Y0 M3 ~5 {N\geq 9\Rightarrow T(N)=\sum_{p_{1}+p_{2}+p_{3}=N.p_{1},p_{2},p_{3}\geq 3}1>07 \1 @1 R2 T+ R7 q: q9 X: Y
    9 d# x& ?. l8 v. m) a
    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& N. j& M# X, L
              % x) G% P& _9 X6 o; L5 [) V
    §2 Correlation set constructor
    - ^" l# b+ t2 c- |A_{0}=\left \{ 0+0,0+1,0+2,\cdots  \right \}
    , J; _6 P7 Z, q; L2 S" v- n5 R3 c A_{1}=\left \{ 1+0,1+1,1+2,\cdots  \right \}
    2 {$ s3 z5 F8 a4 a+ Z( U A_{2}=\left \{ 2+0,2+1,2+2,\cdots  \right \}2 ?5 h6 F0 j/ K$ t4 L; o
    \cdots  b. P5 ?# {; m: |- B" @, G! I
    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)
    * ?" W/ g( j: L: P1 i2 K3 {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 p' a6 I/ Y: I  §3    Ready  Theorem
    - v) B$ I% Q% e5 ^0 ^7 L7 M; a* PTheorem 1
    / {/ D( _/ Q( s# q4 C# SM_{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
    $ x3 e$ ?0 J+ S# E- S8 \7 A  .Proof: Suppose M_{1},M_{2},\cdots ,M_{N},Is a countable set, M=\bigcup_{i=1}^{N}M_{i}
    : r! u0 {% c- w  L\because M_{1}:x_{1}^{(1)},x_{2}^{(1)},x_{3}^{(1)},\cdots ,x_{i}^{(1)},\cdots8 D8 E3 r, D4 }' q6 V+ e3 a! L
    M_{2}:x_{1}^{(2)},x_{2}^{(2)},x_{3}^{(2)},\cdots ,x_{i}^{(2)},\cdots9 c  r* }: m" @, y, U* j0 Y: I2 h
    M_{N}:x_{1}^{(N)},x_{2}^{(N)},x_{3}^{(N)},\cdots ,x_{i}^{(N)},\cdots
    2 \; E' s, x  ~2 \# h& ^\cdots
    : _4 m: n  e0 J& z( g, s% b\therefore M:x_{1}^{(1)},x_{1}^{(2)},\cdots ,x_{1}^{(N)},x_{2}^{(1)},x_{2}^{(2)},\cdots ,x_{2}^{(N)},\cdots Countable. j* K' I0 J+ I$ h0 ?7 n, D" \
         Theorem 2 (Prime number theorem)
    . f9 o, U8 X2 N3 J  b+ M% @5 w. |8 u- \; D4 j( \" i
    \pi (x)\sim \frac{x}{logx}^{\left [ 1 \right ]}
    0 t% u" ^* ^6 H7 b6 L) j6 m! V     Theorem 3  For even number x2 h" [# k: A, l8 k
    x>800000\wedge M_{1}=minM(x)\Rightarrow M_{1}(x)=\frac{1}{2}\pi (x)\left [ \pi (x) -1\right ] ! J, t& ?/ ^6 p: [
    Proof: According to Theorem 1, (1)  
    . i' I) b* B/ V1 ?9 c! l  \because A_{i},A_{j} Countable,, z& n9 M8 f; G. W& J0 l
    \therefore A Countable\wedge B(x,N)=\frac{1}{2}(N+1)(N+2) % S8 y1 ~( v8 C: @  `
    Similarly, according to Theorem 1, (2), C countable
    1 @0 D/ I" F9 |8 U5 V/ Q Suppose
      u) `2 q% x+ v; O; e      M_{1}(x)=minM(x)% F1 }" Z& W, {* A# X+ l  D$ G+ n
    according to (2), Then we have
    # G6 R$ L! E6 x( p. M_{1}(x)=\frac{1}{2}\pi (x)\left [ \pi (x)-1 \right ]8 W% O. O4 u5 P$ o) Z6 l
    Theorem 4  For even number x
    3 j  @) R; m, [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)
    % _4 y! V* {+ ^" [: e- gProof: According to (2),Then we have: P  O# L+ G6 ^4 ?# e; l# z
    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}}: j8 `& N  _4 _, p/ E5 e" \
         Suppose
    0 }# R7 E. V3 G( ^  G6 Z4 J      M_{2}(x)=maxM(x)
    / v. k% z  ]6 T1 z\therefore M_{2}(x)/ d3 n/ q- i' @" q
    =\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
    0 R5 I* t8 w8 W6 c=4\pi (x)\pi (\frac{x}{2})-2\pi ^{2}(\frac{x}{2})-3\pi (\frac{x}{2})-\pi ^{2}(x)+\pi (x)/ F+ S- w5 d; g& T8 R% L
    §4 Goldbach's problem end' _0 p0 z3 c$ e. e/ c2 F$ ~# B1 ]
    Theorem 5  For evem number N
      _; D. B3 {/ fN> 800000\Rightarrow D(N)\geq 1.8432(1-\frac{1}{logN})\frac{N}{log^{2}(N-2)}
    & b! b2 q+ q) a! T6 v     Proof: According to Theorem 2
    + F7 ~* r2 Q: MN> 800000\Rightarrow \alpha \frac{N}{logN}\leq \pi (N)\leq \beta \frac{N}{logN}      (4)5 A7 S; Y3 G6 C5 g4 x/ u0 b+ p
    Let   c_{1}=min(\alpha ,\beta ),
    1 A3 K% o7 m8 r9 G: `. kAccording to Theorem 3,Then we have
    3 l. s' H+ _( Y% t& F* e/ rD_{1}(N)=M_{1}(N)-M_{1}(N-2)
    ) s6 K, B9 n1 oClear6 _1 ^3 u7 W% |5 C7 G7 G
    D(N)\geq D_{1}(N)
    7 A# _" |! E0 ~1 O- C& C\because log(1+x)=\int_{0}^{x}\frac{dt}{1+t}=x-\int_{0}^{x}\frac{t}{1+t}dt( Z% M0 Z4 A& V' m
    \because x\geq-\frac{1}{2} \Rightarrow log(1+x)=x+o(x^{2})           (5)
    0 Z2 `% \7 q, a5 d$ s& [\therefore D_{1}(N)=2c_{1}^{2}(1-\frac{1}{logN})\frac{N}{log^{2}(n-2)}+o(1)8 t- C; t( A  o9 m) B% n7 ~
    N\rightarrow \infty ,o(1)\rightarrow 0\Rightarrow + D: K0 `& N; ?9 [1 H, N- |
    D(N)\geq 1.8432(1-\frac{1}{logN})\frac{N}{log^{2}(N-2)}( q$ T, z9 D  F9 q
    Theorem 6  For evem number N
    ) Y1 N7 e4 |1 NN> 800000\Rightarrow D(N)\leq
    3 d- P- V* w' O; f* h5.0176\left [ 1+\frac{2}{logN}+o(1) \right ]\frac{N}{log\frac{N-2}{2}log(N-2)}3 r: h. {8 J5 T. h" ^! F$ k7 t
    Proof : According to (4)
    - r3 m! X1 X  b; Z9 C. p6 PLet  c_{2}=max(\alpha ,\beta )- J5 d; v7 X" R4 U/ s; _
    According to Theorem 4,Then we have
    4 q$ T' \7 L3 ~0 X9 CD_{2}(N)=M_{2}(N)-M_{2}(N-2)
    7 }& T. V: V$ H: L5 Q\because D(N)\leq D_{2}(N)! M3 d/ W  ?- w
    According to (5), Then we have& v; w" [7 o: u
    D(N)\leq
    ! l) B  ?6 D. c- W; V: g5.0176\left [ 1+\frac{2}{logN}+o(1) \right ]\frac{N}{log\frac{N-2}{2}log(N-2)}
    2 Z7 x9 P. C! o6 y0 j5 P9 wTheorem 7 (Goldbach Theorem)  - I3 N7 e, C0 ~
    For evem number N  V. T, e/ r( X2 A
    N\geq 6\Rightarrow D(N)= \sum_{p_{1}+p_{2}=N,p_{1},p_{2}\geq 3}1\geq 15 o: l5 F4 i9 H( [6 Z
    Proof : According to Shen Mok Kong verification
    : E% H, R8 f) U) t9 F# [9 j% ?6\leq N\leq 3.3\times 1000000^{\left [ 3 \right ]}\Rightarrow D(N)\geq 1& k/ j1 V" l. A, q
    According to Theorem 5, Theorem 6, Then we have
    . C  O- V9 e6 G: s) t+ W' ]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)}/ \" w3 q# t" ?! V, X
    \therefore N\geq 6\Rightarrow D(N)\geq 1( g! }$ i& r" M- B( d$ ^2 e
    Lemma 1 For odd number N
    1 ?9 T5 Y' n! o2 ^# L+ wN\geq 9\Rightarrow
    " X5 C6 t1 ^* bT(N)=\sum_{p_{1}+p_{2}+p_{3}=N,p_{1},p_{2},p_{3}\geq 3}1\geq 1% S; L3 K" k" L
    Proof et  n\geq 4
    2 g7 y3 N; F+ P0 _2 C3 A* d\because 2n+1=2(n-1)+39 F; H7 _% R2 k1 t
    According to Theorem 7,  Then we have( e& c9 F5 ~% e0 [% b3 T  [
    N\geq 9\Rightarrow T(N)\geq 1
    * d4 T+ B" G+ ?# X$ L% Q9 j& F
    - p7 z( ?( C' p% V! `
    % v" }' e; N( Q& w    References
    3 k) ~5 s3 z. T$ o2 s[1]  Wang yuan,TANTAN SUSHU,Shanghai, Shanghai Education Publishing House(1983),42.2 I, E1 L6 z0 P
    [2]  U﹒Dudley,Elementary number theory, Shanghai, Shanghai Science and Technology Press,(1980),195.
    # V# d7 [2 }& T[3] Pan Chengdong,Pan Chengbiao,Goldbach conjecture,Beijing,Science Publishing house,(1984),1.$ Z8 i1 I2 m3 U9 ^6 `0 E& x' p

    % D1 @/ `1 |, r3 z# A6 P5 p
    回复

    使用道具 举报

    数学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  引言
    8 a8 z4 K8 l5 D' I3 p* @      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相关集的构造: ]* L: L9 L# M% `" R
    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 `, G; ]* {( f: ?
    定理 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) 2 i  k+ m( h9 Y8 l5 n
    类似地,根据定理1,
    (2), C可数  ! ^. r# g& N# g- J5 E- Z
    设      M_{1}(x)=minM(x)
    根据(2),那么我们有.
    2 ^9 V  D1 r7 r! l8 P4 H. U 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),那么我们有
    ' w+ f' l% M1 m! _- 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 终结: k: \* o/ c+ J5 D5 y  ]2 ?) n
    定理 5  对于偶数N
    N> 800000\Rightarrow D(N)\geq 1.8432(1-\frac{1}{logN})\frac{N}{log^{2}(N-2)}
        证明: 根据定理2
    # B0 W! i# \+ }7 S" g) s N> 800000\Rightarrow \alpha \frac{N}{logN}\leq \pi (N)\leq \beta \frac{N}{logN}      (4)
    让  c_{1}=min(\alpha ,\beta ),
    根据定理3,然后我们有
    3 G$ G' ]- Q# x: |9 U2 T! y) I      D_{1}(N)=M_{1}(N)-M_{1}(N-2)
    显然7 z$ T& V! U" d
           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,然后我们有
    1 Z  N' b% Z. X) g! J6 i5 B% N4 E       D_{2}(N)=M_{2}(N)-M_{2}(N-2)
    \because D(N)\leq D_{2}(N)
    根据(5),那么我们有% Q# O" z! k, z1 s
           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 的验证* U. c2 N) M. W* X, V# B' U
          6\leq N\leq 3.3\times 1000000^{\left [ 3 \right ]}\Rightarrow D(N)\geq 1
    根据定理5, 定理 6, 然后我们有
    8 F1 [$ O7 `, \8 S- l
          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,然后我们有
    5 C  O4 B) ^  q8 n      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
    ) g: @# _8 g% q1.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)}
    & M/ ?5 S! C0 y
    回复

    使用道具 举报

    数学1+1        

    23

    主题

    14

    听众

    2548

    积分

    升级  18.27%

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

    [LV.10]以坛为家III

    新人进步奖

    若N>800000,8 G8 W) f; t, P6 J9 R  s: s
    则   1.83150(1-1/logN)[N/log^2(N-2)]≤D(N) ≤4.36166[1+2/logN +o(1)]×: `& m( U% Q- O, ]% w
    N/{log[(N-2)/2]log(N-2)}
    2 h* V8 m7 x4 n1 J: W( E/ w( j! |这就是哥德巴赫公式,有兴趣的读者不妨检测一下。
    回复

    使用道具 举报

    11

    主题

    12

    听众

    1753

    积分

    升级  75.3%

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

    [LV.8]以坛为家I

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

    社区QQ达人

    群组: 数学建模培训课堂1

    群组: 数模思想方法大全

    回复

    使用道具 举报

    11

    主题

    12

    听众

    1753

    积分

    升级  75.3%

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

    [LV.8]以坛为家I

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

    社区QQ达人

    群组: 数学建模培训课堂1

    群组: 数模思想方法大全

    本帖最后由 1300611016 于 2014-1-4 09:08 编辑
    % L7 i- i- t5 x3 y- g
    4 S. O5 l0 V1 {- |1 n太烦,可以用一个简明的形式,如·同偶质数对·形式展开详细见http://www.madio.net/thread-202136-1-1.html
    : L) A% l; ?3 T+ d一般的用简明浅显的形式表述更容易推广,如能用初等数学表述这一问题,可以尝试一下。但不妨碍专业研究。
    回复

    使用道具 举报

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

    qq
    收缩
    • 电话咨询

    • 04714969085
    fastpost

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

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

    蒙公网安备 15010502000194号

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

    GMT+8, 2026-10-12 09:41 , Processed in 3.475497 second(s), 100 queries .

    回顶部