Andricasconjecture素数分布定理.pptVIP

* 素数分布定理 与 系列猜想证明 谭善光 内容 （1）素数分布定理 （2）哥德巴赫猜想 （3）Legendres conjecture （4）Oppermanns conjecture （5）Mills‘ 常数计算 （6）Brocards conjecture （7）Andricas conjecture 素数分布定理（主定理） 存在一个有限正整数n0，使得任何大于2n0?的偶数2n可以表示为两个奇素数之和，其中一个小于 ? ，另一个大于 。 证明思路（１－２） （1）对于任何一个大于30的偶数2n，取小于 ? 的一组奇素数{q}，则此偶数可以表示为一个奇素数q和一个奇数d=2n-q之和。 （2）如果所有奇数d都是合数，则任一个奇数d可表示为一个奇数与小于 ? 的此组奇素数{q}中某个不等于q的奇素数之乘积，从而可形成一组线性代数方程。并且此线性代数方程组的期望解，就应该是此组奇素数{q}。 证明思路（３－４） （3）通过分析上述线性代数方程组及其解的性质，以及通过变换矩阵和证明三个引理，可以证明：存在一个有限正整数n0，当nn0时，此线性代数方程组的实际解，并不等于此组奇素数{q}。 （4）由此矛盾，证明了“所有奇数d都是合数”这一假设不成立。因此，当nn0时，至少有一个奇数d不是合数，而是大于 ? 的奇素数。从而证明了素数分布定理。 定义一组奇素数 (1) 定义不大于n的奇素数集合P (2) 定义n的奇素数因子集合Ps (3) 定义集合Q=P\Ps={q1,q2,…,qm} (4) 取Q中小于 的前r个元素, 定义集合Qr ={q1,q2,…,qr} ，r满足不等式 qr qr+1.? 定义线性代数方程组 (1) qi+di=2n, i=1,2,…,r (2) 将di表示为di=aijqj_{i} (3) 因此有:qi+aijqj_{i}=2n (4) 令xi=qi,则有xi+aijxj=2n。 可以证明：aij＞ 。 交换行列，变换矩阵 xi+aijxj=2n 由此线性代数方程组的特点，通过交换行列，可变换为三种形式之一的矩阵。每种矩阵均包含至少一个如下子矩阵（第一种形式） xi+ai,i-1xi-1=2n 因此，不失一般性，将以此矩阵进行分析。 变换矩阵的第一种形式 定义：a1=a2,1,a2=a3,2,…,ar=a1,r 变换矩阵的第二种形式 其中，子矩阵As为第一种形式。 变换矩阵的第三种形式 其中，各子矩阵Ai为第一或第二种形式。 引理1--线性代数方程组的解 引理2--当n趋于无限大时 可以证明： 因此有 由于xi不能是n的素因子，所以不能为整数。 引理3--当n为有限值时（1） 定义误差： 则有 对于任意小于 的正值 ,存在一个正整数 , 使得当 时，至少有一个下列不等式成立 因此当 时，必至少有一个xi不等于qi。 引理3--当n为有限值时（2） 定义集合 S={n|xi-qi=0 for i=1,2,…,r} 由上所述 0，因此正整数 n0=max S 为有限值。当nn0时，必至少有一个xi不等于qi。 素数分布定理证明 由“所有奇数d都是合数”这一假设，应有 S={n|xi-qi=0 for i=1,2,…,r} 为无限集合。但由引理(1-3)，S为有限集合，二者矛盾。因此，“所有奇数d都是合数”这一假设不成立。所以当nn0时，必至少有一个di为大于 的奇素数。 哥德巴赫猜想 （1）素数对称分布定理：对于大于4的任意偶数2n，至少存在一对关于n对称的奇素数。证明：当nn0时，可由主要定理推出，其余可验证。由计算，n0=31637。 （2）定理（哥德巴赫猜想）：对于大于4的任意偶数，至少可以表示为一对奇素数之和。 证明：可由素数对称分布定理推出。 *