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

大傻8888888

下面引用由歌德三十年在 2010/11/11 00:22pm 发表的内容：
回26楼：您的改动 如“2º-1. 若当 k = m∈CN+｛2ij+i+j/i,j∈N+｝时
则（k+2） =（1+2m ） +｛3+2（m-m）｝
             素数         素数                 成立”
不成立。因为k=m=1∈CN+｛2ij+i+j/i,j　...

你说的很对，是不成立。是我疏忽了，（k+2）前面漏掉了2，应为2（k+2）。谢谢你的指正！

歌德三十年

回31楼：谢谢您的真诚。即使纠正为2（k+2）您的改动也不必要。因为我文中2°的假设已隐含此意。
请三思，谢谢。

大傻8888888

下面引用由歌德三十年在 2010/11/11 06:04pm 发表的内容：
回31楼：谢谢您的真诚。即使纠正为2（k+2）您的改动也不必要。因为我文中2°的假设已隐含此意。
请三思，谢谢。

问题就在这里，你文中2°的假设，经我改动后就是定理了。如下：
当 k = m∈CN+｛2ij+i+j/i,j∈N+｝时
则2（k+2） =（1+2m ） +｛3+2（m-m）｝
             素数         素数                 一定成立
剩下只要能用归纳法证明当  k=d=(2ij+i+j)∈｛2ij+i+j/i,j∈N+｝时
    2（k+2） =（1+2m ） +｛3+2（d-m）｝
               素数         素数              也成立就可证明哥德巴赫猜想。

歌德三十年

回33楼：我的论文中在2°中（2°-1,2°-2（2°-2-1,2°-2-2））已经推导出来
2（（k+1）+2）可表二素数之和。由2°及1°知哥德巴赫猜想得证。您的改动建议无助于哥猜的证明。我还是不能接受您的建议。
谢谢。

大傻8888888

下面引用由歌德三十年在 2010/11/11 10:34pm 发表的内容：
回33楼：我的论文中在2°中（2°-1,2°-2（2°-2-1,2°-2-2））已经推导出来
2（（k+1）+2）可表二素数之和。由2°及1°知哥德巴赫猜想得证。您的改动建议无助于哥猜的证明。我还是不能接受您的建议。
谢谢。

为了大家看的更清楚一些，现在把“歌德三十年”先生的证明摘要如下：
1.当n=1∈CN+｛2ij+i+j/i,j∈N+｝时
  2（n+2）= 2（1+2）=｛1+2•1｝+｛3+ 2（1-1）｝
                     素数        素数          命题成立。
  当 n = 2*1*1+1+1=4∈｛2ij+i+j/i,j∈N+｝时
  2（n+2）= 2（4+2）=｛1+2•2｝+｛3+2（4-2）｝
                    素数       素数            命题成立。
2..假设当n =k时  命题成立。即能够找到一个不大于k的正整数m∈CN+｛2ij+i+j/i,j∈N+｝
  使得 2（n+2）=2（k+2）= ｛1+2m｝+ ｛3+2（k-m）｝
                         素数        素数              成立
3. 若当 k = m∈CN+｛2ij+i+j/i,j∈N+｝时
则（k+2）-2 = m  ∴｛3+2（（k+1）-2）｝=｛ 1+2m ｝
由假设知｛ 1+2m ｝为素数  ∴｛3+2（（k+1）-2）｝为素数J
故2（（k+1）+2）=｛1+2•2｝+｛3+2((k+1)-2)｝
                   素数         素数                  成立。（这一步证明在最后结论时不知为什么把m换成2——大傻8888888）
4.若当  k=(2ij+i+j)∈｛2ij+i+j/i,j∈N+｝时
  2((k+1)+2) =｛1+2•3｝+｛3+2((k+1)-3)｝
               素数         素数                 成立 （这个证明不一定成立，故证明过程省略——大傻8888888）
根据以上四点“歌德三十年”先生认为哥德巴赫猜想得到证明。
现举两个例子证明第四步的结论不成立，如下：
1. 17=2*2*3+2+3∈｛2ij+i+j/i,j∈N+｝
   2((17+1)+2) =｛1+2•3｝+｛3+2((17+1)-3)｝
               素数         不是素数      
2. 32=2*2*6+2+6∈｛2ij+i+j/i,j∈N+｝
   2((32+1)+2) =｛1+2•3｝+｛3+2((32+1)-3)｝
               素数         不是素数      

歌德三十年

回35楼：您在本版面所提问题与在数学中国所提问题相同。我已在数学中国版面作了回答。恕不再重复。
谢谢。

歌德三十年

大傻8888888：您好。我已在数学中国版面对您的质疑重新作了解答。特此告知。
再见。

王成5

下面引用由大傻8888888在 2010/11/12 02:24pm 发表的内容：
为了大家看的更清楚一些，现在把“歌德三十年”先生的证明摘要如下：
1.当n=1∈CN+｛2ij+i+j/i,j∈N+｝时
  2（n+2）= 2（1+2）=｛1+2•1｝+｛3+ 2（1-1）｝
                     素数        素数        ...

     大傻8888888先生点到了楼主的死穴，其实楼主的证明在假设推论2就错了
     楼主的原文是：
           2º.假设当n =k时  命题成立。即能够找到一个不大于k的正整数m∈CN+｛2ij+i+j/i,j∈N+｝@4+a
使得 2（n+2）=2（k+2）= ｛1+2m｝+ ｛3+2（k-m）｝n
                         素数        素数              成立。
  2º-2.  若当  k=(2ij+i+j)∈｛2ij+i+j/i,j∈N+｝时 则有二假设推论：
  假设推论② 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）｝表奇合数j}
故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的素数.
  证毕
      上面的证明｛1+2（m+3q｝只能表大于9的素数，实际上是错误的
    因为 当n=k时 此时k已经取定，k就是一个定值，相应的i,j也是定值
      由 k=2ij+i+j  可推出
       k=2ij+i+j≠m+3q  即 2ij+i+j≠m+3q
     只能说明 k≠m+3q ，不能说明 ｛1+2(m+3q)｝一定是素数  
      

歌德三十年

王成5：您好，欢迎您的光临。您说“ 因为 当n=k时 此时k已经取定，k就是一个定值，相应的i,j也是定值n
     由 k=2ij+i+j  可推出
      k=2ij+i+j≠m+3q  即 2ij+i+j≠m+3q
    只能说明 k≠m+3q ，不能说明 ｛1+2(m+3q)｝一定是素数“
那是您的思维逻辑---与我创新的思维逻辑不同。我论文中k，i，j，q，m都是相对变量。不服，请举出实际反例来。
另，请问”一个大于9的奇数，不是不小于9的奇合数，那必是大于9的奇素数”这句话用数学语言如何表述？
再见。

王成5

当k=2152时   2(k+2)=4308
  按照你2°-2-2的证明
如果  m+3q＜k=2ij+i+j＜m+3（q+1）  
则k必为（m+3q+1）、（m+3q+2）两数之一  且由于｛1+2k｝=｛1+2（2ij+i+j）｝=｛(2i+1)(2j+1)｝表不小于9的奇合数，∴｛1+2（m+3q+1）｝、｛1+2（m+3q+2）｝两数中至少有一个表不小于9的奇合数 恰好，由假设推论②知｛1+2（m+3q）｝表不小于9的素数
    ∴｛1+2（m+3q+1）｝、｛1+2（m+3q+2）｝两数中必存在一个不小于9的奇合数
    ∵两数中必有一个能被3整除
  按照你的推理 2k+1必是含有素因子3的奇合数，所以 2k+1=4305  ,并且按照你的推理
      可得  2(m+3q)+1=4301 应该是素数
      但  4301=391*11 是合数