Goldbach’s problem

数学1+1

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)}
8 ~4 E1 Q9 Y1 x3 x# [$ M Key words: Germany，Goldbach，even number, Odd number ，prime number, MR (2000) theme classification: 11 P32 Email:suxiaoguong@foxmail. com

数学1+1

                  Goldbach’s problem (pdf)

                       Su Xiaoguang
     

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)}

Key words: Germany，Goldbach，even number, Odd number ，prime number,

MR (2000) theme classification: 11 P32

Email:suxiaoguong@foxmail. com

数学1+1

                  Goldbach’s problem
                    Su Xiaoguang
Abstract: In the analytic number theory Goldbach problem is an important issue. The authors studied the：
- N! p9 k1 c# p( H  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.
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
. Q5 }( l0 V6 B8 Q/ A6 @" p, KDeduced
6 P3 Q. T& M) MD(N)=\sum_{p_{1}+p_{2}=N,p_{1},p_{2}\geq 3}1\wedge
) V  R; ^* T9 W) S1.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)}
1 E; R" ^' Y. i6 p& g( L
Key words: Germany，Goldbach，even number, Odd number ，prime number,
: Q( e+ v5 d# g& P$ h) VMR (2000) theme classification: 11 P32
Email:suxiaoguong@foxmail. com
+ q' s8 t# O: u4 ~0 B: j1 s7 t* d§ 1 Introduction
- t. w4 e7 V9 ~; K          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:
7 h) c- v% Z5 ]2 Q, b（A）For even number N

N\geq 6\Rightarrow D(N)=\sum_{p_{1}+p_{2}=N,p_{1},p_{2}Is a prime number}1>0
% M0 x4 A8 G+ B4 Q( l6 r0 ~. q
(B)  For odd number N
4 {# i- a; |9 ?2 v4 \
N\geq 9\Rightarrow T(N)=\sum_{p_{1}+p_{2}+p_{3}=N.p_{1},p_{2},p_{3}\geq 3}1>0

6 H2 X9 N% H( V; @3 I+ E- b, uThis 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
( ?& c6 K4 O+ c" k7 Q9 Q         
§2 Correlation set constructor
1 w/ j7 u% u& i. bA_{0}=\left \{ 0+0,0+1,0+2,\cdots  \right \}
  G8 j' O/ K1 ]& {0 ~* f' U A_{1}=\left \{ 1+0,1+1,1+2,\cdots  \right \}
5 Q. g; B; t: x+ c4 f A_{2}=\left \{ 2+0,2+1,2+2,\cdots  \right \}
/ {# W, Z! H, ?, S. B7 [ \cdots
) }- b" G9 T4 a$ E; h9 X3 }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）
4 S( d* i8 {( x  Q! V) V' ^! j9 Lp_{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    Ready  Theorem
" K4 V+ H; e* q4 s3 p# _/ @. q7 ]Theorem 1
% z+ C# e% p0 IM_{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
. a/ e8 ~6 T5 R  @8 B7 X8 ]" j  .Proof: Suppose M_{1},M_{2},\cdots ,M_{N},Is a countable set, M=\bigcup_{i=1}^{N}M_{i}
0 v0 U- o4 i1 s3 ?\because M_{1}:x_{1}^{(1)},x_{2}^{(1)},x_{3}^{(1)},\cdots ,x_{i}^{(1)},\cdots
" A& p# b. o; {3 _" Z( L; KM_{2}:x_{1}^{(2)},x_{2}^{(2)},x_{3}^{(2)},\cdots ,x_{i}^{(2)},\cdots
: |' R4 x0 i/ ?6 {6 f( OM_{N}:x_{1}^{(N)},x_{2}^{(N)},x_{3}^{(N)},\cdots ,x_{i}^{(N)},\cdots
\cdots
8 ~5 ?- c5 d1 b$ m\therefore M:x_{1}^{(1)},x_{1}^{(2)},\cdots ,x_{1}^{(N)},x_{2}^{(1)},x_{2}^{(2)},\cdots ,x_{2}^{(N)},\cdots Countable
5 U1 l1 f) c" c2 j5 Q9 C     Theorem 2 (Prime number theorem)

7 R* E. S& [  N5 p" q! ?6 W# L\pi (x)\sim \frac{x}{logx}^{\left [ 1 \right ]}
     Theorem 3  For even number x
x>800000\wedge M_{1}=minM(x)\Rightarrow M_{1}(x)=\frac{1}{2}\pi (x)\left [ \pi (x) -1\right ]
) m( f& \. @& D- Z8 ZProof: According to Theorem 1, (1)  
  \because A_{i},A_{j} Countable,
\therefore A Countable\wedge B(x,N)=\frac{1}{2}(N+1)(N+2)
( H1 \" [5 O; Y+ Q" r4 `/ ]Similarly, according to Theorem 1, (2), C countable
3 `9 |% J1 R0 i, k( z Suppose
9 H. {# o0 X  _( ~' V$ w      M_{1}(x)=minM(x)
4 H/ ?% |8 W/ l% R+ J4 saccording to （2）, Then we have
. M_{1}(x)=\frac{1}{2}\pi (x)\left [ \pi (x)-1 \right ]
; U- F3 A- E% X$ k Theorem 4  For even number 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）
* Z& J& q: e6 _! D# BProof: According to (2)，Then we have
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}}
6 i& ~( J3 U( u     Suppose
      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
( ?8 T! T. h: u/ r( P2 p$ T- w=4\pi (x)\pi (\frac{x}{2})-2\pi ^{2}(\frac{x}{2})-3\pi (\frac{x}{2})-\pi ^{2}(x)+\pi (x)
2 H$ \" t/ T7 S  I, z% P# |/ b§4 Goldbach's problem end
Theorem 5  For evem number N
N> 800000\Rightarrow D(N)\geq 1.8432(1-\frac{1}{logN})\frac{N}{log^{2}(N-2)}
9 ~3 q1 ~4 Q9 b) P4 q: k     Proof: According to Theorem 2
1 J/ J, x* a/ f6 l9 P  v* [' IN> 800000\Rightarrow \alpha \frac{N}{logN}\leq \pi (N)\leq \beta \frac{N}{logN}      (4)
' U5 x/ A) T. w2 M8 v2 CLet   c_{1}=min(\alpha ,\beta ),
8 a. [8 n" y3 t# P) ZAccording to Theorem 3,Then we have
D_{1}(N)=M_{1}(N)-M_{1}(N-2)
Clear
0 s, b7 W: g3 X/ f" C. }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
: R5 z" D# }2 \: t' z( b) ~/ J1 b# o\because x\geq-\frac{1}{2} \Rightarrow log(1+x)=x+o(x^{2})           (5)
7 j0 H3 l9 T% [* ^, O\therefore D_{1}(N)=2c_{1}^{2}(1-\frac{1}{logN})\frac{N}{log^{2}(n-2)}+o(1)
; s6 o9 N9 h1 U: h2 IN\rightarrow \infty ,o(1)\rightarrow 0\Rightarrow
D(N)\geq 1.8432(1-\frac{1}{logN})\frac{N}{log^{2}(N-2)}
* W9 r! M7 m, ?  ^$ [4 n Theorem 6  For evem number N
N> 800000\Rightarrow D(N)\leq
" G6 |  r! @! B& K0 Y0 m: V7 m: j5.0176\left [ 1+\frac{2}{logN}+o(1) \right ]\frac{N}{log\frac{N-2}{2}log(N-2)}
Proof : According to (4)
! v# J& n! _: R9 |# gLet  c_{2}=max(\alpha ,\beta )
According to Theorem 4,Then we have
: e6 ]- X7 ~5 z4 z% k, D( U( l. kD_{2}(N)=M_{2}(N)-M_{2}(N-2)
\because D(N)\leq D_{2}(N)
According to (5), Then we have
& s; A* E3 ^" x* L+ m) ~7 BD(N)\leq
6 c) S/ \7 k3 V5 ^% ]% ^7 P  x5.0176\left [ 1+\frac{2}{logN}+o(1) \right ]\frac{N}{log\frac{N-2}{2}log(N-2)}
# ~% o: l) w+ p  X9 c3 n5 u  q$ p1 VTheorem 7 (Goldbach Theorem)  
" I5 ~6 Y8 d. v1 d( A. sFor evem number N
+ {5 R) @/ f) O" f( LN\geq 6\Rightarrow D(N)= \sum_{p_{1}+p_{2}=N,p_{1},p_{2}\geq 3}1\geq 1
# X3 _; w% Y" e3 q: g0 iProof : According to Shen Mok Kong verification
' z1 V, x7 V0 k1 R  {2 S6\leq N\leq 3.3\times 1000000^{\left [ 3 \right ]}\Rightarrow D(N)\geq 1
According to Theorem 5, Theorem 6, Then we have
* {( b& ]& v: N' pN> 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
Lemma 1 For odd number N
N\geq 9\Rightarrow
: w+ ?. M/ b; q' A7 lT(N)=\sum_{p_{1}+p_{2}+p_{3}=N,p_{1},p_{2},p_{3}\geq 3}1\geq 1
% s5 K. t. C' S, qProof et  n\geq 4
; [+ O2 s  @0 R$ q9 ^  X, I\because 2n+1=2(n-1)+3
' {5 e% D4 J4 I1 XAccording to Theorem 7,  Then we have
! l% a! j! j6 J2 T7 Z7 o: TN\geq 9\Rightarrow T(N)\geq 1
# `  A$ e  b- Z+ @9 z) g$ C

: b) _$ ^! z1 z, ]+ {    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.
! ]) B/ Z: p. O9 f* r6 E& ?[3] Pan Chengdong,Pan Chengbiao,Goldbach conjecture,Beijing,Science Publishing house,(1984),1.
& d) Z3 I# J: U9 Q
8 w4 Q6 c4 h" Y7 E4 Q5 n5 o

数学1+1

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

数学1+1

                  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  引言
5 E  N+ Z" y7 l. O1 E+ |      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相关集的构造
* z; r0 A% g  F: G7 Z$ Z 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    预备定理
定理 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)
类似地，根据定理1, (2), C可数  

设      M_{1}(x)=minM(x)

根据（2），那么我们有.
3 t# ?$ u5 Y+ w% C 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），那么我们有
  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 终结
定理 5  对于偶数N

N> 800000\Rightarrow D(N)\geq 1.8432(1-\frac{1}{logN})\frac{N}{log^{2}(N-2)}

    证明: 根据定理2
; G5 J% T8 h" ?0 E0 ]0 R N> 800000\Rightarrow \alpha \frac{N}{logN}\leq \pi (N)\leq \beta \frac{N}{logN}      (4)

让  c_{1}=min(\alpha ,\beta ),

根据定理3，然后我们有
/ M$ R: x. y/ ]. _  o  {      D_{1}(N)=M_{1}(N)-M_{1}(N-2)

显然
/ p. c, I( M3 n# z. d8 p       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，然后我们有
       D_{2}(N)=M_{2}(N)-M_{2}(N-2)

\because D(N)\leq D_{2}(N)

根据(5)，那么我们有
8 E8 f/ q: J& R. s1 H9 r       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 的验证
- j' n+ J3 P) E$ x4 V; X% A9 M      6\leq N\leq 3.3\times 1000000^{\left [ 3 \right ]}\Rightarrow D(N)\geq 1

根据定理5, 定理 6, 然后我们有
/ K' k9 ^! b! ?1 H      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，然后我们有
      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

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

数学1+1

D(N)=\sum_{p_{1}+p_{2}=N,p_{1},p_{2}\geq 3}1\wedge
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)}

数学1+1

若N＞800000，
则   1.83150（1－1／logN）[N／log^2(N-2)]≤D(N) ≤4.36166[1+2／logN +o(1)]×
* O  A4 ~0 p; e( i: wN／{log[(N-2)／2]log(N-2)}
这就是哥德巴赫公式，有兴趣的读者不妨检测一下。

1300611016

楼主的帖子怎么样？赶紧试试这里的快速回复给楼主点评论

1300611016

太烦，可以用一个简明的形式，如·同偶质数对·形式展开详细见http://www.madio.net/thread-202136-1-1.html
一般的用简明浅显的形式表述更容易推广，如能用初等数学表述这一问题，可以尝试一下。但不妨碍专业研究。