【摘要】用G(2n)表兩個奇素數之和等于2n的表發個數.命前r個奇素數P
【關鍵詞】孫子定理;逐步淘汰原則;對數函數;黎曼ζ函數
1.介紹和歷史背景
1742年德國數學家哥德巴赫提出了關于整數與素數之間的兩個推測.其中推測(B)也是核心推測:每一個不小于6的偶數都是兩個奇素數之和.
2.證明思路
素數的分布是所有素數的核心問題.對于推測(B)也是一樣.先簡單介紹一下素數的分布:
命 ω(x,r)表不大于x且不為前r個素數2,3,5,…,Pr(Pr≤x)所整除的整數個數.
ω(x,r)=x2-∑1
ω(x,r)~x2-∑x2Pi+∑x2PiPj……=x2∏1-1Pr.
以上證明還可以理解為 ω(x,r)是n減去所有不大于n且滿足x≡0(mod Pr)的元素后剩余元素的個數.
3.兩奇素數之和等于2n的表法個數
我們有x為不大于n的整數,且有前r個素數2,3,…,Pr(Pr≤2n).
定理 當x±n(mod Pr)時,則n+x,n-x同為素數,且(n+x)+(n-x)=2n.
證明 當且僅當xn(mod Pr)x-n(mod Pr)n-x0(mod Pr)n+x0(mod Pr)
2×10731011
4.G(2n)的進一步討論
推論1 ∏1-2Pk>∏1-1Pk2∏1-1P2k.
證明 1-2Pk21-1P2k=1-2Pk-2P3k+1P4k-2P3k+1P4k<0∏1-2Pk>∏1-1Pk2∏1-1P2.
推論2 當(n,r)=1時,
證明 G(2n)~12nπ2ln22n>n2∏1-1Pk2∏1-1P2k.
因黎曼ζ函數∏1-1Pk-1=∑1[n]~ln[n],因黎曼ζ函數及貝努里數∏1-1P2-1=∑1[n]2=π26,
故G(2n)>n2*1ln2n*6π2=n2*4ln2n*6π2=12nπ2ln22n.
推論3 當(n,Pφv)=Pφv時,G(2n)>12nπ2ln2(2n).
證明 ∵當(n,Pφv)=Pφv時,G(2n)~n2∏n|Pφv1 顯然∏1-1Pφv∏1-2Pβu>∏1 由以上推論可以得到結論:任意偶數(2n)至少可以有“12nπ2ln2(2n)”個兩個素數之和的形式. 注:本文中所涉及到的圖表、注解、公式等內容請以PDF格式閱讀原文