|
|
[这个贴子最后由任在深在 2012/04/28 08:22pm 第 2 次编辑]
证
因为
由中华单位个数定理知
____
Mn+12(√Mn-1)
(1)π(Mn)=----------------
Am
因此 ____
nˇ2+12[√nˇ2-1]
(2)π(nˇ2)=-------------------
Am
__________
(n+1)ˇ2+12[√(n+1)ˇ2-1]
(3)π[(n+1)ˇ2]=--------------------------------
Am
所以
当n=1时
d1=π[(n+1)ˇ2]-π(nˇ2)
_________ ____
(n+1)ˇ2+12[√(n+1)ˇ2-1] nˇ2+12[√nˇ2-1]
=------------------------------- - --------------------
Am Am
nˇ2+2n+1+12n-nˇ2-12n+12
=---------------------------- Mn≤10,Am=6
6
2n+13 2×1+13
=------- =[---------] =2 区间[1,4],P1=2,P2=3
6 6
当n=i i→∞时,假设di=2,则也成立。
那么当n=i+1时,d(i+1)=2,则定理得证
由中华单位个数定理的定义域知 当Am为最大值时 Am=An=2n+1=√Mn-1
因此
limd(i+1)=limπ[(i+2)ˇ2]-limπ[(i+1)ˇ2]
i→∞ i+2→∞ i+1→∞
__________ ________
(i+2)ˇ2+12[√(i+2)ˇ2-1] ( i+1)ˇ2+12[√(i+1)ˇ2-1]
=lim[------------------------------]- lim[---------------------------]
i+2→∞ √(i+2)ˇ2-1 i+1→∞ √(i+1)ˇ2-1
iˇ2+16i+4 iˇ2+14i+1
=lim[------------- ]- lim[-------------] 分式上下分别除以i得
i+2→∞ i+1 i+1→∞ i
iˇ2/i+16i/i+4/i iˇ2/i+14i/i+1/i
=lim[-----------------]-lim[--------------------]
i+2→∞ i/i +1/i i+1→∞ i/i
=lim(i+16)-lim(i+14)
i+2→∞ i+1→∞
=i+16-i-14
=2.
因为 当n=1时, d1=2, (1,3)
n=i时, di=2,
n=i+1时,d(i+1)=2 (2n-1,2n+1)
又中华单位论已经证明当2N→∞时,仅有一对哥猜解,而且这一对是最大的孪生素数单位对!
Pn=2n-1
Qn=2n+1.
Qn-Pn=2n+1-(2n-1)
=2.
Pn+Qn=2n-1+2n+1
=4n. 4n∈2N, [2,2N], N→∞.
因此在区间[n²,(n+1)²]至少有两个素数单位!
证毕。
谢谢楼下的给与纠正!(2012.4.28) |
|