数学建模社区-数学中国

标题: Goldbach’s problem [打印本页]

---

作者: 数学1+1    时间: 2013-12-6 12:27
标题: Goldbach’s problem
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)}
$ B0 s! `) o& ~% R$ j Key words: Germany，Goldbach，even number, Odd number ，prime number, MR (2000) theme classification: 11 P32 Email:suxiaoguong@foxmail. com
; m9 r; A0 ~+ a

---

作者: 数学1+1    时间: 2013-12-6 13:21

                  Goldbach’s problem (pdf)

                       Su Xiaoguang
* m. W4 u% f8 p1 D" 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)}

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

MR (2000) theme classification: 11 P32

Email:suxiaoguong@foxmail. com

---

作者: 数学1+1    时间: 2013-12-9 10:43
                  Goldbach’s problem
                    Su Xiaoguang
Abstract: In the analytic number theory Goldbach problem is an important issue. The authors studied the：

1 q5 j2 C& l( ^1 d8 z  TA= \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
: w# U7 J% t. @2 L+ mD(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,
5 w0 W5 ?6 B- F$ f; XMR (2000) theme classification: 11 P32
" j2 J7 W! B& |/ G. m& m( |Email:suxiaoguong@foxmail. com
% \6 R  z* [5 v! l9 K- `§ 1 Introduction
          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:
（A）For even number N
/ N( k0 d7 c6 e! ^9 x$ X; n2 l/ I
N\geq 6\Rightarrow D(N)=\sum_{p_{1}+p_{2}=N,p_{1},p_{2}Is a prime number}1>0

1 L4 G. q* }! K8 Q% x, K(B)  For odd number N
7 Z+ t0 E2 Z6 L0 X: I
9 J8 {) O% U6 T. p7 ~N\geq 9\Rightarrow T(N)=\sum_{p_{1}+p_{2}+p_{3}=N.p_{1},p_{2},p_{3}\geq 3}1>0

' X2 E" b* f* A( P- x8 [* }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
         
§2 Correlation set constructor
5 m4 q) }: {& ^- k. s- ]" mA_{0}=\left \{ 0+0,0+1,0+2,\cdots  \right \}
2 s+ w0 Y( j# F& r A_{1}=\left \{ 1+0,1+1,1+2,\cdots  \right \}
A_{2}=\left \{ 2+0,2+1,2+2,\cdots  \right \}
9 S3 h4 |* _" \0 _! _8 [* } \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    Ready  Theorem
Theorem 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}
, x! ~0 T5 T6 ~; V\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
5 k2 u* e( w' ]6 }1 Y- ^, a! OM_{N}:x_{1}^{(N)},x_{2}^{(N)},x_{3}^{(N)},\cdots ,x_{i}^{(N)},\cdots
\cdots
( o7 r# ~" N" d) K  Y2 t\therefore M:x_{1}^{(1)},x_{1}^{(2)},\cdots ,x_{1}^{(N)},x_{2}^{(1)},x_{2}^{(2)},\cdots ,x_{2}^{(N)},\cdots Countable
     Theorem 2 (Prime number theorem)
. S* {) M9 B. W
\pi (x)\sim \frac{x}{logx}^{\left [ 1 \right ]}
& D( H* V. c( @3 M# J     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 ]
- U$ g. P* N3 K: T; @: MProof: 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)
Similarly, according to Theorem 1, (2), C countable
2 z0 m2 u! Z& v5 Y" ~% ~5 L Suppose
+ F4 j4 V8 |" ]* _) ]& |; t      M_{1}(x)=minM(x)
/ s: A7 g" b" eaccording to （2）, Then we have
. M_{1}(x)=\frac{1}{2}\pi (x)\left [ \pi (x)-1 \right ]
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）
9 Z" R; Y- p. Q8 V, T, F1 q; r0 iProof: According to (2)，Then we have
8 W: ]' y% u$ e% x6 t7 uM(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}}
$ ]$ Q$ n" J2 T     Suppose
      M_{2}(x)=maxM(x)
4 Q0 d9 s7 {' d) b' q8 \# N$ I' F! @\therefore M_{2}(x)
( l8 Z; F8 d9 a1 T) X2 }4 t+ U=\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)
" J1 N! S6 }- `; X0 U§4 Goldbach's problem end
- r. t$ E- M! X4 F0 C1 b, uTheorem 5  For evem number N
3 v/ k6 O  B) ZN> 800000\Rightarrow D(N)\geq 1.8432(1-\frac{1}{logN})\frac{N}{log^{2}(N-2)}
     Proof: According to Theorem 2
" m5 _- B4 r( jN> 800000\Rightarrow \alpha \frac{N}{logN}\leq \pi (N)\leq \beta \frac{N}{logN}      (4)
Let   c_{1}=min(\alpha ,\beta ),
5 P$ r) _7 g6 C7 ]; ?0 mAccording to Theorem 3,Then we have
D_{1}(N)=M_{1}(N)-M_{1}(N-2)
Clear
" T  ~8 }. t' U) W/ \, rD(N)\geq D_{1}(N)
2 P& n: e8 I3 b5 M- s# ?\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)
  b) Y: Q9 j* b5 S9 d\therefore D_{1}(N)=2c_{1}^{2}(1-\frac{1}{logN})\frac{N}{log^{2}(n-2)}+o(1)
) t' o* j( \- O4 ]5 m, {  MN\rightarrow \infty ,o(1)\rightarrow 0\Rightarrow
3 D6 o/ r( C! T+ g+ h, z1 w5 TD(N)\geq 1.8432(1-\frac{1}{logN})\frac{N}{log^{2}(N-2)}
. b! ~1 S; Y6 P) Z. p) r) a/ i Theorem 6  For evem number N
% j( S, x4 e) X+ y$ ~- f/ e3 _' o% aN> 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)}
- G" c1 P1 \: J  uProof : According to (4)
Let  c_{2}=max(\alpha ,\beta )
. T7 K" Y3 n2 XAccording to Theorem 4,Then we have
D_{2}(N)=M_{2}(N)-M_{2}(N-2)
. n' d/ W# I9 X% m8 x. K\because D(N)\leq D_{2}(N)
According to (5), Then we have
$ [( [$ H" S- z- H( YD(N)\leq
% M2 ~* ^9 }3 U, u9 m" S: w' ?" A5.0176\left [ 1+\frac{2}{logN}+o(1) \right ]\frac{N}{log\frac{N-2}{2}log(N-2)}
( _; Z0 o0 \3 q; b7 xTheorem 7 (Goldbach Theorem)  
For evem number N
: F# |0 c+ w& ?N\geq 6\Rightarrow D(N)= \sum_{p_{1}+p_{2}=N,p_{1},p_{2}\geq 3}1\geq 1
! T& L. M% \, R+ y! x5 ^1 mProof : According to Shen Mok Kong verification
/ b8 }- b* R0 S& q# T6\leq N\leq 3.3\times 1000000^{\left [ 3 \right ]}\Rightarrow D(N)\geq 1
( D! h9 g8 n$ N; G2 n7 f1 {1 QAccording to Theorem 5, Theorem 6, Then we have
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)}
. a6 Z* G8 E! j; Z7 t# [/ N\therefore N\geq 6\Rightarrow D(N)\geq 1
& U& h" h5 L$ _5 k) @2 u0 SLemma 1 For odd number N
5 M% V: c$ F& X. V# l( ]2 x: H$ jN\geq 9\Rightarrow
T(N)=\sum_{p_{1}+p_{2}+p_{3}=N,p_{1},p_{2},p_{3}\geq 3}1\geq 1
8 j4 A- P) @" z, a0 @9 @- OProof et  n\geq 4
\because 2n+1=2(n-1)+3
  ?% i1 c9 R: M# k: V% P+ nAccording to Theorem 7,  Then we have
N\geq 9\Rightarrow T(N)\geq 1

. q2 R% K: \! q9 B4 O- l5 w
: l4 f! @6 t' C7 `* f9 C8 d    References
- F4 }5 K$ O" J$ a9 B3 `0 s[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.
( I* `( W  m% f% X8 K
; a2 U/ |1 }0 C& b6 X  J  B- ]0 S6 I

---

作者: 数学1+1    时间: 2013-12-9 11:45
阅读本帖需具备阅读LATEX文件的知识，作者有一word文件上传，有兴趣的读者可下载阅读。

---

作者: 数学1+1    时间: 2013-12-9 13:04

                  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  引言
$ Y) l/ M5 c: T  v7 G# Q3 j+ b      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相关集的构造
; |$ _# p9 ~' u' \* e  J8 y 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    预备定理
' G; `3 V* u) \% p3 A定理 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可数  
, ?$ j# z$ j% b2 `2 m

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

根据（2），那么我们有.
% B* F# u+ u6 k/ [$ n 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
N> 800000\Rightarrow \alpha \frac{N}{logN}\leq \pi (N)\leq \beta \frac{N}{logN}      (4)

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

根据定理3，然后我们有
2 i- o- e0 I/ S- z6 L' w: x      D_{1}(N)=M_{1}(N)-M_{1}(N-2)

显然
       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，然后我们有
9 {2 |7 ~: Y) ?# |       D_{2}(N)=M_{2}(N)-M_{2}(N-2)

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

根据(5)，那么我们有
       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\leq N\leq 3.3\times 1000000^{\left [ 3 \right ]}\Rightarrow D(N)\geq 1

根据定理5, 定理 6, 然后我们有
# @! Q9 i4 W3 J4 e: I% V/ i  V0 b      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 K. |- O, Z2 s: w' I7 D      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    时间: 2013-12-9 13:56
我国数学家华罗庚，闵嗣鹤均对M(x)的下界做过研究，潘承洞，潘承彪对D(N)的上界做过研究，他们留下了遗憾，也留下了经验.

---

作者: 数学1+1    时间: 2013-12-13 15:32
D(N)=\sum_{p_{1}+p_{2}=N,p_{1},p_{2}\geq 3}1\wedge
7 l& u: e* X0 G9 @1 h& u- {, {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    时间: 2013-12-14 11:37
若N＞800000，
+ B* h1 b. N( F: z则   1.83150（1－1／logN）[N／log^2(N-2)]≤D(N) ≤4.36166[1+2／logN +o(1)]×
N／{log[(N-2)／2]log(N-2)}
这就是哥德巴赫公式，有兴趣的读者不妨检测一下。

---

作者: 1300611016    时间: 2013-12-28 18:21
楼主的帖子怎么样？赶紧试试这里的快速回复给楼主点评论

---

作者: 1300611016    时间: 2013-12-28 18:31

2 W% e! M; X) N& i* }2 Q" I
太烦，可以用一个简明的形式，如·同偶质数对·形式展开详细见http://www.madio.net/thread-202136-1-1.html
, }% K* |. f. q/ ^一般的用简明浅显的形式表述更容易推广，如能用初等数学表述这一问题，可以尝试一下。但不妨碍专业研究。

---

作者: 数学1+1    时间: 2013-12-29 21:30
1300611016:
9 n. `) P# x8 n8 k* q* `/ |) Y0 X      你如果能多读几本数论方面的著作，你就能理解哥德巴赫猜想，理解哥德巴赫猜想中D(N)表示什么？也就不感觉烦了。

---

欢迎光临 数学建模社区-数学中国 (http://www.madio.net/)

Powered by Discuz! X2.5