|
楼主 |
发表于 2010-6-10 14:06
|
显示全部楼层
使用齿轮法证明哥德巴赫猜想
[这个贴子最后由huaqingyuan在 2010/06/10 02:23pm 第 1 次编辑]
使用齿轮法证明哥德巴赫猜想(袁工.2010.06.10)
证明思路:
1,使用齿轮来代替筛选摆开数的束缚,
比如,有齿轮2,3,5,7,11,……在齿轮使用点来做标记,在2齿轮做一个0标记.3到其他齿轮做个二点0标记,所有齿轮联成一条线.当转动齿轮时,只要线上有一个0.那么就表示删除掉一个数,齿轮连续转动2*3*5*7*11……次就会重复,
解释,由于M偶数有因子2,所以只做一个0标记,假如M偶数也有因子3,那么三也可以只做一个标记,但是也可以没有因子3,且有余a,那么我门就要在齿轮a处标记.大于三的数也是如此,但是这二点是随意的.要包涵所有的组合情况.
2,证明互素的齿轮A有x个连续的最大0标记,B有y个连续的最大0标记那么齿轮A于B在联合转动中最多能有(x+1)*(y+1)-1个连续含0标记。(其中齿轮A于B最少各有一个非零标记)。
(这个必需使用严格证明)(互素是指无公因子,比如25和63互素.)
3,利用齿轮转动模拟具体的数,如果取一个数M,使用小于数M的所有素数齿轮,如果在重复转动过程中最长的连续含0标记小于M,那么就说明了大于M小于M*M的所有偶数,都可以必然可以表示成二个素数之和。因为无论怎么转动,没有筛选掉大于M的连续空间。
(这个可以用实际实验得到,作为最初的依据)
4,如果3成立条见下,在使用M到M*M之间的素数齿轮重复转动过程中最长的连续含0标记也必然小于M。(可以理解为将1到M*M的素数齿轮从中分开,这样后面的齿轮独自作用。(这个必需使用严格证明)
5,由于小于M的素数齿轮和大于M小于M*M的最长的连续含0标记也小于M,那么连接齿轮最长的连续含0标记也小于M*M,最大为M*M-1{使用最大值M-1.代入为(M-1+1)*(M-1+1)-1}
(前一个齿轮和后一个齿轮是互素的,使用第二条的证明)
6,由于在M为真的情况下,M^2为真,反复代入,得大于M的所有数为真,小于M的数使用计算验证为真.
7,证毕
齿轮来代替筛选有很多优越性摆开数的束缚,而且模拟了所有情况,对于M^2只需要选用小于M的齿轮,因为小于M^2的数被M筛选后都是素数.
|
|