【简洁版】运用数学归纳法证明：每个大于等于9的奇数都是3+两个奇素数之和

cuikun-186

我们运用数学归纳法做如下证明：

给出首项为9，公差为2的等差数列：Qn=7+2n：{9,11,13,15,17,.....}

Q1= 9

Q2= 11

Q3= 13

Q4= 15
.......

Qn=7+2n=3+q1+q2,(其中奇素数q1≥q2≥3，奇数Qn≥9，n为正整数）

数学归纳法：

第一步：当n=1时 ，Q1=9 时 ，Q1=9=3+q1+q2=3+3+3成立

第二步：假设 ：n=k时，Qk=3+qk1+qk2，奇素数：qk1≥3，qk2≥3,成立。

第三步：当n=k+1时,Q（k+1）=Qk+2=3+qk1+qk2+2=5+qk1+qk2

即：Qk+2=Q（k+1）=5+qk1+qk2

即每个大于等于11的奇数都是5+两个奇素数之和，


从而每个大于等于6的偶数都是两个奇素数之和。

而这个结论与“每个大于等于9的奇数都是3+两个奇素数之和”是等价的

即：Qk+2=3+qk1+qk2+2=5+qk1+qk2=3+qk3+qk4,奇素数：qk3≥3，qk4≥3

故：Qk+2=3+qk3+qk4,奇素数：qk3≥3，qk4≥3

综上所述，对于任意正整数n命题均成立，


即：每个大于等于9的奇数都是3+两个奇素数之和

同时，每个大于等于11的奇数Q=3+p1+p2=5+p3+p4,(p1,p2,p3,p4均为奇素数）

结论：每个大于等于9的奇数都是3+两个奇素数之和，


Q=3+q1+q2，（奇素数q1≥q2≥3，奇数Q≥9）

cuikun-186

支持你，是因为你给出了没有误差的偶数表法个数的表达式，打破了历史上很多人“不存在没有误差的偶数表法个数表达式”的说法。

cuikun-186

因为公式是严谨的，有且仅有没有反例存在的公式才是有价值的。

cuikun-186

所以对于研究哥猜而言科学的偶数分类是：
符合定义域内的偶数N≥6分类如下：
把全体偶数按照 底数N≥6（x>0取自然数变量,N^x）分类:
6,6^2，6^3,6^4,6^5....,6^x；
8,8^2，8^3,8^4,8^5....,8^x；
10,10^2，10^3,10^4,10^5....,10^x；
...................

***************

因为任何大于等于6的偶数N的N^x都包含了（自然数x≥1)所有的哥猜定义域内的偶数了，
况且已经证明了r2(N^x)是增函数。

cuikun-186

r2(N)≥[N/(lnN)^2]的推导：

根据双筛法及素数定理可进一步推得：

r2（N）=（N/2)∏mr≥[ N/(lnN)^2 ]≥1

对于共轭互逆数列A、B:

A:｛1,3,5,7,9,……,（N-1）｝

B:｛（N-1）,……,9,7,5,3,1｝

显然N=A+B

根据埃氏筛法获得奇素数集合{Pr}：｛1，3，5，…，Pr｝,Pr<√N、

为了获得偶数N的(1+1)表法数，按照双筛法进行分步操作：

第1步：将互逆数列用3双筛后得到真实剩余比m1

第2步：将余下的互逆数列再用5双筛后得到真实剩余比m2

第3步：将余下的互逆数列再用7双筛后得到真实剩余比m3
…
依次类推到：

第r步：将余下的互逆数列再用Pr双筛后得到真实剩余比mr

这样就完成了对偶数N的求双筛法（1+1）表法数，根据乘法原理有：

r2(N)=（N/2）*m1*m2*m3*…*mr

即r2(N)=(N/2)∏mr

分析双筛法r2(N)的下限值：

双筛法本质上第一步:先对A数列筛选，根据素数定理，A中至少有[N/lnN ]≥1个奇素数，

即此时的共轭互逆数列AB中至少有[ N/lnN ]个奇素数

第二步:再对B数列进行筛选，筛子是相同的[ 1/lnN ]，

则根据乘法原理由此推得共轭数列AB中至少有:r2(N)≥[N/(lnN)^2]≥1个奇素数

这里是逻辑分析给出的：r2(N)≥[N/(lnN)^2]