再谈用数学归纳法证明：每个大于等于9的奇数都是3+两个奇素数之和

cuikun-186

非常感谢波斯猫猫先生的指导，
我为论坛有这样的好老师而骄傲！
努力吧！哥猜路上我们无怨无悔！
努力！努力！再努力！
一切荣耀都属于我们大家的！

cuikun-186

欢迎大家光临指导！

波斯猫猫

谁的成果谁骄傲，谁的成果谁荣耀。这是规矩。

波斯猫猫

还真拿我是块菜啊？鄙人豆芽一根！

cuikun-186

因为恒等其实是一种等价关系，而任何等价关系具有自反性，对称性和传递性

cuikun-186

希望在第九届世界华人数学家大会上能够传播崔坤定理

cuikun-186

科学的列车绝对不会误点，

我坚信不疑！

cuikun-186

科学的列车绝对不会误点，我坚信不疑！！！！

cuikun-186

在Qk+2=3+qk1+qk2+2中，

由于2只能一次与qk1相加，或者与qk2相加，

故只要讨论了(qk1+2)不为素数，或者只讨论了（qk2+2）不为素数也就够了。

而算式Qk+2≠3+(qk1+2)+(qk2+2)

故(qk1+2)与（qk2+2）同时不为素数的情形无需讨论。

但在叙述中，为了严谨，讨论一下也未尝不可。

cuikun-186

数学归纳法的逻辑是：
一、a1正确；
二、假设an正确（这里只是假设，不是证明）；
三、导出a(n+1)正确。
第三步是第二步的导出。不能再用假设（等待证明的结论）了。
如果你认为第三步是对的，你的证明就是正确的。
请看：
一、a1正确：第一步：当n=1时 ，Q1=9 时 ，Q1=9=3+q1+q2=3+3+3，成立
二、假设an正确（这里只是假设，不是证明）；
第二步：假设 ：n=k时，Qk=3+qk1+qk2成立,（奇素数：qk1≥3，qk2≥3）
三、导出a(n+1)正确。
第三步：当n=k+1时,Q（k+1）=Qk+2=3+qk1+qk2+2,
此时有且仅有2种情况：
A情况:qk1+2不为素数，或者qk2+2不为素数，再或者(qk1+2)与(qk2+2)同时不为素数时，
Qk+2=Q（k+1）=5+qk1+qk2
即每个大于等于11的奇数都是5+两个奇素数之和，
而这个结论与“每个大于等于9的奇数都是3+两个奇素数之和”是等价的
即Qk+2=3+qk1+qk2+2=5+qk1+qk2=3+qk3+qk4，（奇素数：qk3≥3，qk4≥3）
B情况:
(1)若qk1+2为qk1的孪生素数P,
则：Qk+2=3+P+qk2,即每个大于等于11的奇数都是3+两个奇素数之和
(2) 若qk2+2为qk2的孪生素数P”,
则：Qk+2=3+P”+qk1，即每个大于等于11的奇数都是3+两个奇素数之和
总结：
综上所述，对于任意正整数n命题均成立，
即：每个大于等于9的奇数都是3+两个奇素数之和
结论：每个大于等于9的奇数都是3+两个奇素数之和，
Q=3+q1+q2，（奇素数q1≥q2≥3，奇数Q≥9）
参考文献：
[1] Major Arcs for Goldbach's Theorem. Arxiv [Reference date 2013-12-18]
[2] Minor arcs for Goldbach's problem．Arxiv [Reference date 2013-12-18]