同偶质数对与哥德巴赫猜想的关系（二）

1300611016

在《同偶质数对与哥德巴赫猜想的关系（一） ...23》贴中有些不尽之处，故再来唠叨几句。

  o8 b3 q( u" h5 a  {$ E

1300611016

接《质数的基本性质有那些？》贴，中未完的话题，
http://www.madio.net/forum.php?m ... 5212&fromuid=779013
6 L! ^& F* m" D8 ^将P(n)-1≤n（n+1)/2整理得P(n)≤n（n+1)/2+1.
4 @5 @2 O. `+ v% w( z2 L得到该不等式的结果与过程具有同样重要的意义。
下面仍然以射线作工具来探讨：任何在射线上的一点都可以将一条射线分成两部分（o点除外）。那么任意一个偶数M+α会将质数分成两部分（即为偶数M+α必居于两个质数之间α∈N）令邻近M+α的两个质数分别为P(n)，P(n+1)；则有P(n)≤M+α≤P(n+1).质数区间【P(0)，P(n)】，【P(n+1)，∞）其中【P(0)，P(n)】为偶数M+α质数和相关区间，【P(n+1)，∞）为偶数M+α质数和无关区间。（证明从略）。对哥德巴赫猜想来说如果P(n)≤M+α≤P(n+1).中所有M+α的偶数都能被【P(0)，P(n)】区间内的质数全部以和的形式表示出来，那么哥德巴赫猜想就是被证明。笔者说哥德巴赫猜想作为一个问题提出，在质数的基本性质：延和拓，清楚的现在已经完全解决了，根据质数的性质：延和拓，在【P(0)，P(n)】中任意取两个质数组成偶数的集合中，以P(n+1)为界点在偶数区间【2P(0)，2P(n)】中【P(0)，P(n+1)-1】为充分完全表达区间，【P(n+1)+1，2P(n)】为非充分完全表达区间。可以用反证法来验证质数延拓性对哥德巴赫猜想的证明；假设偶数M+α满足P(n)≤M+α≤P(n+1)，并哥德巴赫猜想在此不成立，由质数延拓性可知将质数区间【P(0)，P(n)】内的质数组成偶数，若假设成立，则有M+α∈【P(n+1)+1，2P(n)】，这与假设所给的条件矛盾，因此假设错误，故哥德巴赫猜想成立。若要更精细与具体，将射线上质数区间【P(0)，P(n)】，顺时针旋转90°得另一【P(0)，P(n)】区间把新得的区间上的每一个质数与原来的质数区间【P(0)，P(n)】每一个质数分别构成偶数，得到一张表，该表笔者把它命名为《同偶质数对分布表》，具体在《同偶质数对分布表》                                                                            http://www.madio.net/forum.php?mod=viewthread&tid=219431&fromuid=779013
2 ^' J0 M1 Y5 h$ }此时，不等式P(n)≤n（n+1)/2+1获得了新的意义。因为在《同偶质数对分布表》 中2P(0)——2P(n)的P(n)个偶数有n（n+1)/2+1个质数对与其对应，由抽屉原理可知，一定存在一个偶数多于两个质数对的现象，从表面看不等式P(n)≤n（n+1)/2+1是导致同偶质数对现象的原因，其更深层次的原因是质数的延拓性。
: x5 a+ R0 J; x* A" n。


0 g! Y, h6 R7 y/ ?4 w" L

1300611016

) {; a) L5 e1 h: L& k兴趣使笔者进入质数及其相关问题，当笔者对它失去兴趣时，笔者发现笔者已经离不开它。一直以来，它是最能引起笔者的情感跌宕起伏的事物之一。
4 J/ b; Q% L0 h
9 R. N8 g3 d# p, Z

1300611016

1300611016 发表于 2015-2-11 08:16
7 O3 o" i4 [1 {3 M接《质数的基本性质有那些？》贴，中未完的话题，
http://www.madio.net/forum.php?m ... 5212&fromuid=77 ...

( S$ l! l/ e; g) W$ \  m7 D不知道，王元教授看到此贴有何感想。
* b. u* w1 `+ E4 [- @

1300611016

% T% c% @" H" z; N6 c

1300611016 发表于 2015-2-11 08:16
3 q+ O  p" T3 |* [5 D接《质数的基本性质有那些？》贴，中未完的话题，
2 j1 B7 V; Z! b7 S' s3 thttp://www.madio.net/forum.php?m ... 5212&fromuid=77 ...

8 u7 O  R+ C! Y5 C不知道，王元教授看到此贴有何感想。让那些未尽的话题放在句号里开始新的话题——相邻质数关系。

7 e+ U9 W3 G. Y' e5 @