苏小草：孪生素数猜想的简单证明

苏小草sxc

苏小草：孪生素数猜想的简单证明
                  

我曾在网上刊发过《哥德巴赫猜想实证》的系列文章，沿着同一思路，这篇文章探讨一下孪生素数问题。

孪生素数是指相差为2的两个素数，或者说，当b是合数时，‘b-1’是素数，‘b+1’也是素数，那么，‘b-1’和‘b+1’是一对孪生素数。我们知道，早在2000多年前，古希腊数学家欧几里得便证明了自然数序之中的素数存在无穷多个，但没有给出孪生素数是不是存在无穷多个的答案。当下，这个任务由我们来完成，下面就这一问题展开论证。

自‘1’始，每六数一组，我们可以把自然数序排列成六列数，分别是{6n-5}、{6n-4}、{6n-3}、{6n-2}、{6n-1}、{6n}，六列数，（n属于正整数）。可以知道，除2、3两素数外，其它素数均存在于第一列数{6n-5}和第五列数{6n-1}之中，其它数列中不存在其它素数。关于这一问题的论述，详见本人《哥德巴赫猜想实证》的系列文章，不多做赘述。需要说明的是，当第五列数{6n-1}中的数是‘6a-1’时，与之相差为2的数‘6a+1’一定位于第一列数{6n-5}之中，我把它们称作孪生数，显而易见，两者均是素数时，便是一对孪生素数。

由于自然数序中素数的存在是无穷多的，不难判断，当n足够大时，不可能出现数列{6n-5}和{6n-1}之中均不存在素数的情况，因为，倘若均不存在素数，自然数序中素数的存在不可能无穷多而是有限多。基于此，如果孪生素数是有限多的，当n足够大时，只可能存在以下三种情况。

1、素数均存在于数列{6n-5}中，数列{6n-1}中不存在素数。
2、素数均存在于数列{6n-1}中，数列{6n-5}中不存在素数。（数列{6n-5}中的始数可不计）
3、当数列{6n-1}中的数‘6a-1’是素数时，数列{6n-5}中的孪生数‘6a+1’一定不是素数；当数列{6n-5}中的数‘6a+1’是素数时，数列{6n-1}中的孪生数‘6a-1’一定不是素数。

对于前两种情况而言，无论n值有多大，数列{6n-5}和{6n-1}之中均不可能一方包揽素数一方不存在素数。（数列{6n-5}中的始数可不计）最简单的论据：这两列数中均存在能被5、7整除的合数，且等差存在，它们是相对均衡有序的，其中，任何素数及其合数的出现都是如此，等差存在，它们于两列数中的存在是相对均衡有序的。因此，这两种情况可以被彻底否定。

对于后一种情况而言，当n值足够大时，素数分别存在于数列{6n-5}和{6n-1}之中，但其存在形式无疑出现了更严格的规定性：一对孪生数，倘若一个是素数时，另一个一定不是。由于这两列数之中的素数集存在于其合数集之外，出现这种更严格的规定性只能说明，这两列数中的合数的生成程序也出现了更严格的规定性，两者联动中，合数的生成程序和素数的存在形式均出现更严格的规定性，或者说，这两列数中素数的存在形式与合数的生成程序是一体联动的，只可能互动，不可能一静一动。由于这两列数中合数的生成程序（详见本人《哥德巴赫猜想实证》的系列文章）是明确、清晰和既定的，不可能出现更严格的规定性，那么，其素数的存在形式也不可能出现更严格的规定性。既然这种情况反映出素数的存在形式和合数的生成程序出现相悖反的结论，这种情况也可以被彻底否定。

综上，上述三种情况均不成立，那么，自然数序中‘孪生素数是有限多的’这一命题不成立，孪生素数一定是无穷多的。这就是孪生素数猜想——小哥德巴赫猜想的简单证明。证毕。