论坛 › 数论 › 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：<SPAN style="FONT-FAMILY: Arial; COLOR: #333333; FONT-SIZE: 12pt; mso-font-kerning: 0pt; mso-ansi-language: EN" lang=EN></SPAN>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)}
Key words: Germany，Goldbach，even number, Odd number ，prime number, MR (2000) theme classification: 11 P32 Email:suxiaoguong@foxmail. com

数学1+1 发表于 2013-12-6 13:21

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

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 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\geq 6\Rightarrow D(N)=\sum_{p_{1}+p_{2}=N,p_{1},p_{2}Is a prime number}1>0

(B)  For odd number 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

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
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    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}
\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
     Theorem 2 (Prime number theorem)

\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 ]
Proof: 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
Suppose
      M_{1}(x)=minM(x)
according 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）
Proof: 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}}
     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
=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 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)}
     Proof: According to Theorem 2
N> 800000\Rightarrow \alpha \frac{N}{logN}\leq \pi (N)\leq \beta \frac{N}{logN}      (4)
Let   c_{1}=min(\alpha ,\beta ),
According to Theorem 3,Then we have
D_{1}(N)=M_{1}(N)-M_{1}(N-2)
Clear
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)}
Theorem 6  For evem number 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)}
Proof : According to (4)
Let  c_{2}=max(\alpha ,\beta )
According to Theorem 4,Then we have
D_{2}(N)=M_{2}(N)-M_{2}(N-2)
\because D(N)\leq D_{2}(N)
According to (5), Then we have
D(N)\leq
5.0176\left [ 1+\frac{2}{logN}+o(1) \right ]\frac{N}{log\frac{N-2}{2}log(N-2)}
Theorem 7 (Goldbach Theorem)  
For evem number N
N\geq 6\Rightarrow D(N)= \sum_{p_{1}+p_{2}=N,p_{1},p_{2}\geq 3}1\geq 1
Proof : According to Shen Mok Kong verification
6\leq N\leq 3.3\times 1000000^{\left [ 3 \right ]}\Rightarrow D(N)\geq 1
According 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)}
\therefore N\geq 6\Rightarrow D(N)\geq 1
Lemma 1 For odd number 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
Proof :Let  n\geq 4
\because 2n+1=2(n-1)+3
According to Theorem 7,  Then we have
N\geq 9\Rightarrow T(N)\geq 1


    References
  Wang yuan,TANTAN SUSHU,Shanghai, Shanghai Education Publishing House(1983),42.
  U﹒Dudley,Elementary number theory, Shanghai, Shanghai Science and Technology Press,(1980),195.
Pan Chengdong,Pan Chengbiao,Goldbach conjecture,Beijing,Science Publishing house,(1984),1.

数学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}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)} Key words: Germany，Goldbach，even number, Odd number ，prime number, MR (2000) theme classification: 11 P32 Email:suxiaoguong@foxmail. com§ 1  引言
      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相关集的构造
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 \} \cdotsA=\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    预备定理
定理 1M_{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)},\cdotsM_{2}:x_{1}^{(2)},x_{2}^{(2)},x_{3}^{(2)},\cdots ,x_{i}^{(2)},\cdotsM_{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  对于偶数xx>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），那么我们有.
M_{1}(x)=\frac{1}{2}\pi (x)\left [ \pi (x)-1 \right ] 定理4  对于偶数xx>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  对于偶数NN> 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，然后我们有
      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  对于偶数NN> 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)，那么我们有
       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)  对于偶数NN\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, 然后我们有
      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 对于奇数NN\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  Wang yuan,TANTAN SUSHU,Shanghai, Shanghai Education Publishing House(1983),42.  U﹒Dudley,Elementary number theory, Shanghai, Shanghai Science and Technology Press,(1980),195. 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
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，
则   1.83150（1－1／logN）≤D(N) ≤4.36166×
N／{log[(N-2)／2]log(N-2)}
这就是哥德巴赫公式，有兴趣的读者不妨检测一下。

1300611016 发表于 2013-12-28 18:21

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

1300611016 发表于 2013-12-28 18:31

本帖最后由 1300611016 于 2014-1-4 09:08 编辑

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

查看完整版本: Goldbach’s problem