严格的数学证明是指用可信的、符合逻辑的数学语言对观察到的属性进行合理的归纳、演绎、推理过程。
当你厌烦了每次验证后增加的一点点“自信心”后,你就要思考怎么做证明这个事了,因你所做的每次验证只不过是“n=k”的重复,一点新意也没有。
根据观察到的现象,我们便会得出:这个偶数的连表最大数是前一个偶数的连表最大数减1,把这段话的意思用命题来叙述就是引理1。
细细观察体味延长后的表格,某一天,你突然发现一个现象:对于连表最大数I来讲,可以一下增加许多,但减少时却是一个一个减少地,没有发现突然减少的现象。好奇心驱使我们要探出个究竟来,这种现象是规律性的吗?
好在我们已经明白连表最大数的含义了,即连表最大数I就是可以找到的I个符合定义的连续偶数的可表式(从1开始算起)。在后一个偶数如果没有新的连续可表式增加的前提下,即没有新的一对素数出现的情况下,根据观察到的现象,我们便会得出:这个偶数的连表最大数是前一个偶数的连表最大数减1,把这段话的意思用命题来叙述就是定理1。
引理1也可描述成:2(2+N)的连表最大数是I,当2(2+N)+1和2I+1有一个不是素数时,则2(2+N+1)的连表最大数是I-1。
这个引理1解决的是:当2(2+N)+1和2I+1有一个或二个不是素数时,下一个偶数的连表最大数是多少的问题;而当2(2+N)+1和2I+1都是素数时,2(2+N+1)的连表最大数是多少没有解决,即只解决了“2(2+N+1)的连表最大数是多少”这个问题的一半。
引理1带来的喜悦是短暂的,逐渐被以后的困难所冲淡。随着对2(2+N)+1和2I+1都是素数时,偶数2(2+N+1)的连表最大数没有任何公式可言,热情渐渐褪去,好在有一个统计结果,即2+N<3I,想尽各种办法却证明不了。能做的就是把48楼的表格延长,无兴奋感,接下来陷入整天的深思中,但外人看不出来。
讲完2(2+N)+1和2I+1是不是都为素数,是引理1和引理2的根本区别后,就没有多少东西要讲了,只剩下引理3了。从是否证明了哥德巴赫猜想这个角度观察,是引理3在先,归纳法在后,质疑住了引理3也就等于质疑住了我的所谓证明。
引理3采取的是反证法,即假设偶数2(2+N)的连表最大数是0,即偶数2(2+N+1)不可表,根据定义偶数2(2+N)可表,然后找出偶数2(2+N)可能的一对素数表达形式,因1和2(2+N)+1不是一对素数,进而确定偶数2(2+N-1)的连表最大数,按照这个思路,向偶数2(2+N-N)=4逐渐靠近,最后推出悖论,确立引理3的正确。
这个引理3不能告诉我们当2(2+N)+1和2I+1都是素数时,下一个偶数2(2+N+1)的连表最大数是多少,既使有一个统计数据2+N<3I也显得没有充分的说服力。因偶数是无限的,所以我们不可能穷举所有的偶数,只可能找出一小部分,如果引理3成立的话,就是一种逻辑的推论,不需要再找了,再找也只是一种没有新意的验证。
若引理3成立的话,某个偶数的I=-1是不可能的,也就是说不可表偶数在我的定义域内是不存在的。偶数2没有连表最大数,2已不在2(2+N)范围内。










