哥德巴赫猜想真理性之证明

歌德三十年

各位网友：
有人说“哥猜命题的证明采用数学归纳法。这绝对是行不通的！！”。
我以为，那只是说者个人的主观认识，并非客观实际。我的哥猜命题：形如2（n+2）能够找到一个不大于n的正整数m使得2（n+2）={1+2m}（素数}+{3+2（n-m）}（素数）成立，正是我在理论上对客观实际的数理描述，那么的简洁明了，甚至高中生都看得懂。说白了就是：只要您给定一个不小于6的偶数，我就能使之可表二奇素数之和。哥猜无反例就是我上述理论的依据。我的这个哥猜命题，其唯一的证明方法就是数学归纳法。当然不是普通的归纳法，而是经过改进创新的“马氏分流归纳法”。该法不违数学归纳法定理的规范。将正整数集N+分解为CN+｛2ij+i+j/i,j∈N+｝和｛2ij+i+j/i,j∈N+｝不相交而互补的两个子集，这种创新分类法是我的“马氏分流归纳法”的理论基础。马氏法是在数归法证题第二步2°中，在假设n=k时命题成立后，再将k分解为k=m和k=2ij+ij两种情况并分别证明其在n=k+1时命题也成立。马法扩充了经典法证题的功能，绝对是"新思想新方法”。前所未见，前所未闻。请详见本吧《哥德巴赫猜想真理性之证明》一文。正因为我的论文是新生事物，人们一时不理解是很正常的。但我坚信，只要不是自以为是而是尊重客观、理性思维的人士，就会很快理解的。

HXW-L

下面引用由歌德三十年在 2011/03/21 11:08am 发表的内容：我的哥猜命题：形如2（n+2）能够找到一个不大于n的正整数m使得2（n+2）={1+2m}（素数}+{3+2（n-m）}（素数）成立...

找到有屁用，要证！！！！

ysr

复杂了,那么多关系,怎么证?

vfbpgyfk

由于哥猜成立是板上钉钉的事，所以，“只要您给定一个不小于6的偶数，我就能使之可表二奇素数之和”等于没有说。下面给个代数式，并加有推演过程，其结果则是必然的，只是需要进一步地给出各未知字母的代表意义即可。
D(2n)=a-b+c
则有：D(2n)+b=a+c
∴a+c>b
∴a+c-b≥1
即：D(2n)≥1
这就是板上钉钉的原因。

歌德三十年

心有一只歌等无脸人：
我文“2º-2.       若当       k=(2ij+i+j)∈｛2ij+i+j/i,j∈N+｝时 则有二假设推论
假设推论① 2ij+i+j＞m>1 所假设的两个素数｛1+2m｝>3、
｛3+2(k-m)｝=｛3+2（（2ij+i+j）-m）>3
证 ：
由假设及最小奇素数为3的事实知：｛1+2m｝≥3,｛3+2(k-m)｝≥3
则k≥m≥1
当k=2ij+i+j时，由于｛1+2k｝=｛1+2（2ij+i+j)｝=｛（2i+1）(2j+1)｝
表不小于9的奇合数，而由假设知｛1+2m｝为素数
∴2ij+i+j≠m 再由上知k=2ij+i+j＞m
另由假设知｛3+2（k-m）｝=｛3+2（（2ij+i+j）-m）｝表素数
而｛3+2（（2ij+i+j）-1）｝=｛（2i+1）(2j+1)｝表奇合数
故，当k=2ij+i+j时，m≠1否则与假设相矛盾 ∴m＞1
∴ k=2ij+i+j＞m＞1
∴｛1+2m｝＞3，｛3+2（k-m）｝=｛3+（（2ij+i+j）-m）｝＞3
证毕 .
假设推论② 2ij+i+j≠m+3q q∈N+       ｛1+2(m+3q)｝表大于9的素数
证 ：
由假设推论①知｛3+2（k-m）｝=｛3+2((2ij+i+j)-m)｝表大于3的素数，而｛3+（（m+3q）-m）｝=｛3（1+2q）｝表奇合数
故2ij+i+j≠m+3q，而｛1+2（2ij+i+j）｝=｛（2i+1）(2j+1)｝表不小于9的奇合数，而由于2ij+i+j≠m+3q
∴｛1+2（m+3q）}不能表不小于9的奇合数 故｛1+2（m+3q｝只能表大于9的素数
证毕 .”
以上两个假设推论是建立在我文“2°假设n=k时命题成立 即能够找到一个不大于k的正整数m 使得2（n+2）=2（k+2）={1+2m}（素数）+{3+2（k-m）}（素数）成立”之命题假设理论基础之上的。
而您的所谓反例“反例：比如m＝9，2m+1=19，k＝9+3*12+1=46，2k+1=93，2((k+1)+2)=98，3+2((k+1)-3)=91。m=9、2m+1＝19、k=46、2k+1=93均满足k=m+3q+1时的相关条件，但结果98=7+91不符合命题。”是建立在命题假设理论的基础之上吗？请问“m＝9，2m+1=19，k＝9+3*12+1=46......”是怎么来的？您能说“假设n=k=46 m=9时命题成立”--这样不合逻辑的话吗？每一个具体值都是客观的实在，它只能代表本身，不能代表别的数值，不能出现在理论的假设中；而代数式（例如2ij+i+j）则不同，它可代表所属集内所有元素值，因此它可出现在在理论的假设中。由理论假设推导出的推论就只能称其为假设推论，不能称其为定理或公式。假设推论是不能用具体值来验证的，只能看其是否符合数理逻辑来检验。
我举一实例来反驳您的反例以说明我哥猜命题的正确。当n=k=46时2（n+2）=2（k+2）=2（46+2）={1+2*3）（素数）+{3+2（46-3）}（素数）成立。
理论就是理论，数理逻辑与其不悖，实例具体值对其无奈。她可能与您的感性思维不符，那谁也没有办法。一个惯于在纯理论推导中将代数式与具体数值相联系感性思维的人是难于理解理论的抽象的。您太缺乏“悟性”了。
别再不懂装懂了，丢尽您八代祖宗的人了！！！

歌德三十年

回222楼HXW-L、224楼vfbpgyfk先生：不客气地说，您二人对数学归纳法定理一无所知。

vfbpgyfk

手持两件宝，逐户把门敲，喜歌不会唱，痴想填腹饱。

HXW-L

数学归纳法的证明
http://zh.wikipedia.org/w/index.php?title=%E6%95%B0%E5%AD%A6%E5%BD%92%E7%BA%B3%E6%B3%95%E7%9A%84%E8%AF%81%E6%98%8E&variant=zh-sg
维基百科，自由的百科全书
证明
一个简化的证明方法在下面给出。这个证明为了能让那些没有经过太多数学训练的读者也能够读懂，没有用到“存在(there exists)”和“对所有元素而言(all)”的数学符号。这个证明的关键思路是自然数减法和反证法。
假设：(1) P(0)
和
(2) 对所有的n ≥ 0, P(n) ⇒ P(n + 1)
这两个命题成立。
考虑如下命题：
(3) 对所有的 m ≥ 0, P(m)成立
就是说对所有m的整数值，P皆为真。
假设此命题为假，即等价于
(4) 存在能使非P(m)成立的m。
此证明试图证明若(1)，(2)为真，可推出(4)为假，从而得出命题(3)成立。
假设(1)，(2)，(4)命题成立。
由命题(4)，令m′为能使非P(m′)成立的最小值。
显然，m′不能为0，因为这样做会立即导致一个矛盾：(P(0) & 非 P(0)) with P(0) - 与命题(1)矛盾。
假设m′>0
由m′的定义可知，P(m′ - 1)成立，因此由(2)，P(m′)成立。这也有矛盾：P(m′) & 非 P(m′)同时成立。
因此得出，由(1)，(2)命题只能推出非(4)成立，即前面所述的命题(3)成立。
因此，有：
(1) P(0)
及
(2) P(n) ⇒ P(n + 1)
成立，可推出（有小小的换元）
(3) 对于所有的 n ≥ 0, P(n)成立。
这个即为数学归纳法原理。

歌德三十年

会228楼：您的帖子所引述的不是“数学归纳法原理”而是数归法定理。
数学归纳法所根据的原理是自然数的一个最基本的性质---最小数原理.
(最小数原理）定理 任意一个非空集中，必有一个最小数.
证
设N是一个自然数的非空集.在N中任意取出一个数m.从1到m共有m个自然数，所以N中不超过m的数最多有m个.因为这是有限个数，所以其中有一个最小数.用k表示这个最小数.k对于N中不超过m的数来说是最小的，而N中其余的数都比m大.所以k就是N中的最小数.
证毕
（数学归纳法原理）定理 设有一个与自然数n有关的命题.如果
1°当n=1时命题成立；
2°假定n=k时成立。则n=k+1时命题也成立；那么这个命题对于一切自然数n都成立.
证（反证法）略.
供大家参考.

歌德三十年

各位网友：
有人说“数学归纳法是针对连续的自然数而言!”---说的没错。不过，数学归纳法原理定理中所说“ 2°假定n=k时命题成立 则n=k+1时命题也成立”---就是假定n等于某一自然数k时命题成立 则n=k+1时命题也成立---详见人民教育出版社1979年再版的张禾瑞 郝鈵新编《高等代数》上册第14页第13行文字。既然k是某一自然数，当然k就可以分流为---k=m∈CN+{2ij+i+j|i，j∈N+}和k=（2ij+i+j）∈{2ij+i+j|i，j∈N+}两种情况，并分别论证两种情况下n=k+1时命题都成立。所以说我的“马氏分流归纳法”不韪数学归纳法原理定理的规范。
将正整数集N+创新地分解为{2ij+i+j|i，j∈N+}和CN+{2ij+i+j|i，j∈N+}这两个不相交而互补的子集是“马氏分流归纳法”的理论基础。“马法”只是对经典数学归纳法的改造与创新，是数学归纳法的一个变种。她扩充了经典数学归纳法证题的功能。她在我的论文《哥德巴赫猜想真理性之证明》中得到成功的运用。
“马法”亦可应用于用经典法即可圆满证明的命题---不过那是“牛刀杀鸡---大材小用”，是“脱了裤子放屁---白费了一道手续”罢了。请详见《马氏分流归纳法证题示例》一文。
诚请斧正。