孪生素数猜想证明简述
孪生素数猜想证明简述
一：逻辑证明（最简单，但逻辑思维要求高）
根据素数新定义：从祖素数2开始，素数倍数后不连续的数即为素数。
易知素数除了2以外全是奇数，所以在奇数数轴上研究素数会有奇效。
奇数数轴：3,5,7,9,11,13,15,17,19,21,23,25,27,29,31......，无数对相差为2（相连）的数；
假设只有3为素数，去掉其倍数后数轴变为：3,5,7,11,13,17,19,23,25,29,31......，只少了一点，但依旧有无穷对素数相差2；
添加5为素数，去掉其倍数后数轴变为3,5,7,11,13,17,19,23,29,31......，少的更少，剩下相差为2的素数对肯定是无穷多；等等；
如此可以无穷下去，但少的越来越少，而且剩余差值为2的素数对肯定是无穷多。
所以孪生素数肯定是无穷多的。
一目了然！！！
当然也很容易看出，P和P+2k的素数对也是无穷多的（波利尼亚克猜想成立）。
（参考文献：奇数轴中素数量与合数宽度的研究）
二：公式证明（难度极大）
在上述的逻辑证明中，我们若将奇数数轴设为单位1；
则3的倍数占比为：1/3
5的倍数占比为：1/5-1/15
7的倍数占比为：1/7-1/21-1/35+1/105
等等，最后可得到孪生素数在奇数中的占比(LiKe级数公式)约为：
1-1/3-(1/5-1/15)-(1/7-1/21-1/35+1/105)-(1/11-1/3*11-1/5*11-...+...)-...
=1-1/3-1/5-1/7-......-1/p+1/15+1/21+......+1/pq-1/105-1/165-......-1/pqr+...-...
=1-∑1/P+∑1/pq-∑1/pqr+…±∑1/∏P （1）
(式中所有素数为奇素数，分母为偶数个素数积时取和，为奇数时取差)
关于该新颖级数的求和不在此演示。
不过它是发散的(其值应该不为0)，该级数本身足以说明了孪生素数的无穷多。
（参考文献：奇数轴中素数量与合数宽度的研究）
三：等价证明
针对级数公式求解的复杂性，很多人也许看不出端倪。
至此我们可以通过等价的
原理加以诠释：
将整数数轴：2,3,4,5,6,7,8,9,10,11,12,13,......中整数个数设为单位1；
根据素数新定义
则2的倍数占比为：1/2
3的倍数占比为：1/3-1/6
5的倍数占比为：1/5-1/10-1/15+1/30
等等，最后可得到素数在整数中的占比约为：
1-1/2-(1/3-1/6)-(1/5-1/10-1/15+1/30)-(1/7-1/2*7-1/3*7-...+…)-…
=1-1/2-1/3-1/5-......-1/p+1/6+1/10+1/15+......+1/pq-1/30-1/42-......-1/pqr+...-...
=1-∑1/P+∑1/pq-∑1/pqr+…±∑1/∏P （2）
(式中分母为偶数个素数积时取和，为奇数时取差)
公式（2）的趋势与（1）完全一致，且素数无穷多早被证明，所以孪生素数肯定是无穷多的(公式也许存瑕疵但相似性无法掩盖)。
（参考文献： LiKe矩阵及其行封闭性研究）
具体思路构想及证明逻辑参见下图：
孪生素数猜想证明逻辑图。
孪生素数猜想
孪生素数猜想1849年，波林那克提出孪生素数猜想（the conjecture of twin primes），即猜测存在无穷多对孪生素数。
孪生素数即相差2的一对素数。
例如3和5 ，5和7，11和13，…，10016957和10016959等等都是孪生素数。
孪生素数是有限个还是有无穷多个?这是一个至今都未解决的数学难题.一直吸引着众多的数学家孜孜以求地钻研.早在20世纪初,德国数学家兰道就推测孪生素数有无穷多.许多迹象也越来越支持这个猜想.最先想到的方法是使用欧拉在证明素数有无穷多个所采取的方法.设所有的素数的倒数和为:s=1/2+1/3+1/5+1/7+1/11+...如果素数是有限个,那么这个倒数和自然是有限数.但是欧拉证明了这个和是发散的,即是无穷大.由此说明素数有无穷多个.1919年,挪威数学家布隆仿照欧拉的方法,求所有孪生素数的倒数和:b=(1/3+1/5)+(1/5+1/7)+(1/11+1/13)+...如果也能证明这个和比任何数都大,就证明了孪生素数有无穷多个了.这个想法很好,可是事实却违背了布隆的意愿.他证明了这个倒数和是一个有限数,现在这个常数就被称为布隆常数:b=1.90216054...布隆还发现,对于任何一个给定的整数m,都可以找到m个相邻素数,其中没有一个孪生素数.1966年，中国数学家陈景润在这方面得到最好的结果：存在无穷多个素数p，使p+2是不超过两个素数之积。
若用p(x)表示小于x的孪生素数对的个数.下表是1011以下的孪生素数分布情况:x p(x)1000 3510000 205100000 12241000000 816910000000 58980100000000 4403121000000000 342450610000000000 27412679100000000000 224376048迄今为止在证明孪生素数猜想上的成果大体可以分为两类。
第一类是非估算性的结果，这一方面迄今最好的结果是一九六六年由已故的我国数学家陈景润(顺便说一下，美国数学学会在介绍Goldston 和Yildirim 成果的简报中提到陈景润时所用的称呼是“伟大的中国数学家陈”) 利用筛法(sieve method) 所取得的。
孪生素数猜想
孪生素数猜想孪生素数是指相差为2的一对素数。
例如，（3，5）、（11，13）和（17，19）都是孪生素数对。
孪生素数猜想是指存在无穷多个孪生素数对的假设。
这个猜想是数论领域的一个重要问题，其解决与否一直备受数学界的关注。
在介绍孪生素数猜想之前，我们先了解一下素数。
素数是只能被1和自身整除的正整数。
例如，2、3、5、7、11、13等都是素数，而4、6、8、9等则不是素数。
素数的分布一直是数论中一个重要的研究方向。
孪生素数猜想的历史可以追溯到18世纪。
法国数学家朗勃朗-皮埃尔·贝努利在1742年的一封信中首次提出了这个猜想。
他认为存在无穷多对形如（p，p+2）的孪生素数。
这个猜想引起了众多数学家的兴趣，并成为数论中一个备受关注的问题。
然而，数学界至今尚未成功证明孪生素数猜想。
尽管在解决素数问题方面取得了重要的进展，但证明孪生素数猜想仍然是一个巨大的挑战。
当前的研究基本上可以证实孪生素数猜想在某些范围内是成立的，但无法给出完整的证明。
在过去几十年中，数学家们通过使用先进的计算机技术和数论方法，对孪生素数猜想进行了大量的研究。
一些重要的数论工具，如素数谐振子方法、亏格筛法等，被用于分析素数的分布规律，给出了孪生素数猜想的一些可行性结果。
虽然孪生素数猜想尚未被证明，但众多数学家们认为这个猜想是成立的。
各种证据表明，孪生素数的分布呈现出一定的规律性。
例如，根据数论领域的研究，人们已经证明了存在无穷多对形如（p，p+2m）的素数对，其中p和m满足特定的条件。
这些结果为孪生素数猜想提供了一定的支持。
除了孪生素数猜想，相似的问题还有孪生素数三元组猜想和孪生素数四元组猜想。
孪生素数三元组猜想是指存在无穷多个形如（p，p+2，p+6）的素数三元组，而孪生素数四元组猜想则是指存在无穷多个形如（p，p+2，p+6，p+8）的素数四元组。
这些猜想与孪生素数猜想有着密切的联系，并且一直在数论领域中被广泛研究。
为了解决孪生素数猜想以及其他相关问题，数学家们需要进一步改进数论的理论和方法。
关于孪生素数猜想的一个证明
科技视界
关于孪生素数猜想的一个证明
张跃 渊湖南师范大学物理系袁湖南 长沙 410081冤
揖摘 要铱根据计算机的整数取值有限袁本文提出了一个基本假设遥 在此假设的基础上袁利用 C 语言编程袁证明了院对应于无穷多个素数 p袁 存在无穷多个 p+2 的素数曰即孪生素数猜想遥
3 冷再生混合料性能验证
采用 F2 配方的乳化沥青袁 按照 叶公路沥青路面再生技术规范曳 渊JTG F41-2008冤中规定的方法袁最终结果见表 5尧表 6遥
表 5 最佳乳化沥青用量及含水量试验结果
混合料类 型
最佳乳化 沥青掺量
渊%冤
最佳含水 率渊%冤
毛体积相 对密度渊g/
cm3冤
实测最大理 论相对密度
在假设中袁显然袁R(k+1)劢R(k)袁R(k+1)原R(k)=k+1袁仅仅多一个 k+1 的数字遥 如果计算机对整数的取值范围没有限制袁可以设 k 为任意大 的整数袁但是不会当 k 大到某一整数之后袁j以i袁因为素数 p 有无穷多 个袁可能成为素数的 k+1 的数也有无穷多个袁故 j逸i 的情形有无穷多遥
由于计算机的二进制运算仅与逻辑电路或者布尔代数有关系袁其 运算规则和结果不因计算机的二进制数码的位数多少而引起变化遥 因 此袁可以作以下假设遥
假设院已知计算机限制的整数的最大取值为 n袁p 为无穷多个素数 p1约p2约噎约pn噎的集合遥 任意取一个整数 k渊k约n冤袁命 R(k)={pr+2} (r=1, 噎, i; pi+2臆k)为所有小于或者等于 k 的 i 个 p+2 的素数组成的集合袁 如果 R(k+1)={pt+2}(t=1,噎,j;pj+2臆k+1)为所有小于或者等于 k+1渊k+ 1臆n冤的 j 个 p+2 的素数组成的集合袁且 j逸i 恒成立袁则表明所有 p+2 的素数组成一个无穷集合遥
孪生素数猜想证明简述
孪生素数猜想证明简述一：逻辑证明（最简单，但逻辑思维要求高）根据素数新定义：从祖素数2开始，素数倍数后不连续的数即为素数。
易知素数除了2以外全是奇数，所以在奇数数轴上研究素数会有奇效。
奇数数轴：3,5,7,9,11,13,15,17,19,21,23,25,27,29,31......，无数对相差为2（相连）的数；假设只有3为素数，去掉其倍数后数轴变为：3,5,7,11,13,17,19,23,25,29,31......，只少了一点，但依旧有无穷对素数相差2；添加5为素数，去掉其倍数后数轴变为3,5,7,11,13,17,19,23,29,31......，少的更少，剩下相差为2的素数对肯定是无穷多；等等；如此可以无穷下去，但少的越来越少，而且剩余差值为2的素数对肯定是无穷多。
所以孪生素数肯定是无穷多的。
一目了然！！！当然也很容易看出，P和P+2k的素数对也是无穷多的（波利尼亚克猜想成立）。
（参考文献：奇数轴中素数量与合数宽度的研究）二：公式证明（难度极大）在上述的逻辑证明中，我们若将奇数数轴设为单位1；则3的倍数占比为：1/35的倍数占比为：1/5-1/157的倍数占比为：1/7-1/21-1/35+1/105等等，最后可得到孪生素数在奇数中的占比(LiKe级数公式)约为：1-1/3-(1/5-1/15)-(1/7-1/21-1/35+1/105)-(1/11-1/3*11-1/5*11-...+...)-...=1-1/3-1/5-1/7-......-1/p+1/15+1/21+......+1/pq-1/105-1/165-......-1/pqr+...-...=1-∑1/P+∑1/pq-∑1/pqr+…±∑1/∏P （1）(式中所有素数为奇素数，分母为偶数个素数积时取和，为奇数时取差)关于该新颖级数的求和不在此演示。
不过它是发散的(其值应该不为0)，该级数本身足以说明了孪生素数的无穷多。
第二孪生素数猜想的证明
第二孪生素数猜想的证明
作者：陈德建
来源：《赤峰学院学报·自然科学版》 2012年第15期
陈德建
（黎明职业大学，福建泉州 362000）
摘要：研究孪生素数的分布，三种形式筛余数的个数，分析孪素表数对的增长规律，最后用数学归纳法证明了命题.
关键词：孪生素数；筛余数；增长规律；数学归纳法
中图分类号：O156.1 文献标识码：A 文章编号：1673-260X（2012）08-0008-02
假定p是素数，而p+2也是素数，我们就称（p，p+2）是一对孪生素数[1].
例如（3，5）,（5，7）,（11，13）,（17，19），（29，31），（41，43），（59，61）,（71，73）,（101，103）,（107，109）,…,（10016957， 10016959），…，
（109+7,109+9）…，都是孪生素数对.
关于孪生素数的猜想，有两种表述，其一是王元的表述：很早以前，人们就问孪生素数对是否有无穷多[2]？我们称之为第一孪生素数猜想，这个问题已经解决了[3].其二是加拿大R．K.盖伊的表述：如果n＞6，在n和2n之间是否必存在孪生素数[4]？我们称之为第二孪生素数猜想.这个问题尚未解决.若证明第二孪生素数猜想，可推出第一孪生素数猜想成立，反之则不然.
参考文献：
〔1〕〔2〕〔5〕王元.谈谈素数[M].上海：上海教育出版社，1983.60，60,43. 〔3〕郭奕欣.孪生素数猜想的证明[J].黑龙江科技信息，2009（26）.
〔4〕R．K．盖伊.数论中未解决的问题[M].北京：科学出版社，2004.29.。
孪生素数猜想证明(王)
“孪生素数猜想”证明务川自治县实验学校王若仲（王洪）贵州564300摘要：对于“孪生素数猜想”，我们探讨一种简捷的初等证明方法，要证明孪生素数对无穷的情形，我们可以把这样的情形转换到间接地利用奇合数的个数来加以理论分析，从而判定孪生素数对是否无穷。
关键词：特异奇数；特异奇合数；孪生素数；孪生素数猜想。
引言孪生素数猜想，最初由古希腊数学家欧几里得提出，表述为：在自然数中，存在无穷多个素数p，有（p+2）也是素数。
正文孪生素数的概念：当两个素数的差为2时，这样的两个素数称为孪生素数。
如：3和5，5和7，11和13，17和19，29和31等等。
现在把由全体奇数组成的集合，称为奇数集合。
记为G。
定义1：奇数集合G中（除1外），不能被3整除的整数，称为特异奇数。
如：5，7，11，13，17，19，23，25，29，……。
定义2：由全体特异奇数组成的集合，称为特异奇数集合。
记为G′。
定理1:任一特异奇数均可表为6k+1或6k－1的形式,k∈N,k＞0。
证明:因为集合G中能被3整除的整数均可表为3(2m-1)的形式，m∈N，m＞0。
则3(2m-1)+2=6m-1,3(2m-1)-2=6(m-1)+1, 对于[6(m-1)+1] ，令 m＞1 。
(6m-1)和[6(m-1)+1]均为不能被3整除的奇数,根据定义1,(6m-1)为特异奇数，[6(m-1)+1]（m＞1）为特异奇数。
故定理1成立。
定义3：我们把既是特异奇数,又是素数的整数,称为特异素数。
如:5，7，11，13，17，19等等。
定义4：我们把既是特异奇数,又是合数的整数,称为特异奇合数。
如:25,35,49,55,77等等。
定理2:对于任一特异奇合数ａ,ａ均可表为下列三种形式之一:(1)ａ=36kh-6k-6h+1，(2)ａ=36kh+6k+6h+1，(3)ａ=36kh+6k-6h-1，其中k∈N,h∈N,k＞0,h＞0。
证明:对于任一特异奇合数ａ,ａ总可以分解为两个特异奇数的乘积,我们令ａ=ｂｃ,根据定理1,ｂ=6k+1或6k－1,k∈N,k＞0,ｃ=6h +1或6h－1,h∈N,h＞0。
小于自然数M内孪生素数的对数一一孪生素数猜想证明的应用
小于自然数M内孪生素数的对数一一孪生素数猜想证明的应用孪生素数都是成对出现的。
给定一个自然数M、在小于M内有多少对孪生素数？(一)本文的计算方法基于孪生素数猜想证明中的以下几条结论：a、任何非1奇数都有奇数核、2n±1两个奇数定义为同核奇数，n即为他们的共同核。
b、同核奇数只可能是三种形态：1、同核的二个奇数皆为合数。
2、同核奇数中一个是合数、另一个是素数。
3、同核的两个奇数都为素数，称为“同核素数〞、也就是学界的孪生素数。
C、根据b、中2、同核奇数中一个是合数另一个是素数得出的推论：单体素数即学界认为除孪生素数外的所有素数、所有单体素数核一定存在于对应的合数核中。
进一步得出的推论是：只要将所有的合数核去除后、则包含在合数核中的单体素数核也同时去除。
d、由c推论：“同核素数”即孪生素数的核一定存在于所有合数核以外的非零自然数N*中，而且有无穷多个。
逻辑如下：非1奇数只可能为合数、单体素数、孪生素数，所以奇合数核也只可能是这三种核；非零自然数N*(1、∞)中每个数均可成为奇数核、全部自然数N*不可能都是合数核、所以自然数N*中去除合数核后、其余的都是孪生素数的核、（因为单体素数的核在去除所有的合数核时也同时被去除）。
一个核产生一对孪生素数。
e、由6列完美等差数列群、可以直接推出、所有素数最终形式为6n±1、孪生素数当然也存在于6n±1之中、6n±1去掉1除以2得出核为3n、即所有孪生素数核一定存在于3n中。
(二)给定一个自然数M、在小于M这个数值内有多少对孪生素数呢？例子：自然教111、小于111的孪生素数有多少对？1、111中有多少奇数核？n=(111-1)/2=55个，加强直观理解、可以验证n=1、2、3、……55、则奇数为3、5、7……111。
2、我们知道所有非零自然数N*都可以成为奇数核，而全部自然数N实质是由3列完美等差数列群组成：3n、3n+1、3n+2(n∈N)，分别对这三列等差数列的性质进行研究、可以得出：3n+1、3n+2、（n∈N*）二列无穷等差数列的每个值全部是合数核的值，(参看以前发表的孪生素数猜想证明的文章)。
孪生素数猜想
研究进展
高斯 欧拉
陈景润
张益唐 是英雄都去敲过门，可惜该问题依旧“没门”！
常见方法
你是不是觉得除了 一个个的找出外， 无从下手！
所以说，还是充充电，补补脑， 爬爬前人的肩膀吧。
常见方法
倒数和： 天才欧拉用下述的公式的发散证明了素数的无穷多。
所以，1919年，挪威数学家布隆仿照欧拉的方法，求 所有孪生素数的倒数和。并希望就此终结该猜想。
孪生素数猜想
千年历程简介
白言（ICIFP） 2018.01.14
目录
猜想来源 猜想内容
研究进展
常见方法 LiKe数列(LiKe级数)
猜想来源
公元前300年：
古希腊数学家欧几 里得猜想：存在无 穷多对素数，他们 只相差2，例如3和 5，5和7，等等。
猜想来源
欧几里得（公元前330年-公元前275年）
感觉好伟大呀，看来能看到 “头” 了。
常见方法
定距离素数对2： 两周后：常数降至6000万； 又两天：降至4200万； 又3天：1300万； 次日：500万； 次日：40万 2014年10月：246， … 可惜到今天也无人把它降到2！！！
看来还是没“头” 了。
常见方法
LiKe数列1： 根据素数新定义：从祖素数2开始，素数倍数后不连续的数即为素数。 易知素数除了2以外全是奇数，所以LiKe认为在奇数数轴上研究素数会有奇效。 在奇数数轴：3,5,7,9,11,13,15,17,19,21,23,25,27,29,31......上， 有无数对相差为2（相连）的数； 假设只有3为素数，去掉其倍数后数轴变为： 3,5,7,11,13,17,19,23,25,29,31......， 只少了一点，但依旧有无穷对素数相差2； 添加5为素数，去掉其倍数后数轴变为 3,5,7,11,13,17,19,23,29,31......， 少的更少，剩下相差为2的素数对肯定是无穷多；等等； 如此可以无穷下去，但少的越来越少，且剩余差值为2的素数对肯定是无穷多。 所以孪生素数肯定是无穷多的。一目了然！！！
孪生素数猜想初等证明详解
孪生素数猜想初等证明详解齐宸孪生素数是指相差2的素数对，例如3和5，5和7，11和13…。
孪生素数猜想正式由希尔伯特在1900年国际数学家大会的报告上第8个问题中提出，可以这样描述：存在无穷多个素数p，使得p + 2是素数。
素数对（p, p + 2）称为孪生素数。
孪生素数由两个素数组成，相差为2。
为了证明孪生素数猜想，无数的数学家曾为之奋斗，但美丽的公主仍然犹抱琵琶半遮面。
1．孪生素数分类及无个位表示方法孪生素数按两个素数个位不同划分3类（不包括10以下的3-5、5-7），分别是：1、孪生素数中两个素数个位为1和3，如11-13，41-43等；2、孪生素数中两个素数个位为7和9，如17-19，107-109等；3、孪生素数中两个素数个位为9和1，如29-31，59-61等。
三类孪生素数中个位为1和3的第一类是我们需要重点研究的，其他两类可以忽略不计。
因为只要第一类孪生素数无限，也就等价于证明了孪生素数猜想。
自有孪生素数概念以来它们就是由两个素数表示的。
若是能简化成一个数字那孪生素数猜想这一世界数学难题也许就向前迈进了一步。
无论这一步是一小步，还是一大步。
但毕竟能将两个素数组成的孪生素数降格成了像素数那样的单个数字。
分析一下个位为1和3的这一类孪生素数，如41-43这对孪生素数。
首先，分别去掉个位1和3后，可以看到剩下了两个数字4和4。
用这两个数字完全可以表示一对孪生素数，当然我们心里要想着在这两个数字后面是有个位1和3的。
其次，这两个去掉个位的数字又是完全相同的，都是一个数字“4”。
这样也就完全可以用一个数字“4”来表示一对孪生素数，也可以说4是一个单数字无个位孪生素数。
当然表面上看只有第一类、第二类孪生素数可以用一个数字表示（实际上第三类也可以）。
为什么一定要去掉个位呢？可将自然数变成互为补集的两类：孪生素数和非孪生素数。
并利用一种简单的筛法，将自然数中的非孪生素数及其补集孪生素数分开。
而且这个筛法所要得到的是非孪生素数。
关于孪生素数猜想的证明
关于孪生素数猜想的证明关于孪生素数猜想的证明Һ吴国胜㊀（安徽省电子器材公司，安徽㊀合肥㊀２３００６１）㊀㊀ʌ摘要ɔ本文的目的在于用筛法㊁解析方法等基础理论证明在自然数中存在无穷对孪生素数，并给出孪生素数分布的下界．ʌ关键词ɔ孪生素数猜想；定义及推论；误差值引㊀言两个相差２的素数称作一对孪生素数．在自然数中存在无穷对孪生素数的猜想是古希腊人提出来的，迄今大约有二千年的历史了，它和１７４２年德国人提出的Ｇｏｌｄｂａｃｈ猜想被人们喻为姐妹问题．德国杰出的数学家Ｈｉｌｂｅｒｔ１９００年在巴黎召开的第二届国际数学家代表大会上提出二十三个著名问题，孪生素数猜想是其中第八个问题的一部分．本文的目的在于对以下定理给出详细证明．定理命ω（ｘ）表示不超过ｘ的孪生素数组数，对于充分大的Ｎ，存在无穷多个整数点Ｍｉɪ［Ｎ，＋ɕ），有ω（Ｍｉ）ȡ０．３７Ｍｉｌｎ２Ｍｉ．有简单推论，对于任意ｘȡＮ，总有ω（ｘ）ȡ０．３７ｌｎｘ（ｌｎｌｎｘ）２．孪生素数猜想成立．一㊁定义及推论定义１㊀命２，３为原素数，不再以Ｐ表示．素数以Ｐｉ表示，其中Ｐ１＝５，Ｐ２＝７，Ｐ３＝１１， ，以此类推．相应地，孪生素数从５，７开始计算．定义２㊀Ｚｊ＝ᵑｊｉ＝１Ｐｉ．定义３㊀命６ｎ－１与６ｎ＋１为一对孪生组，ｎ为正整数．推论１㊀命Ｄ（ｘ）表示［０，ｘ］间孪生组的组数，则Ｄ（ｘ）＝ｘ－１６[]，１ɤｘ，０，０ɤｘ＜１．æèçç定义４㊀Ｂ（ｘ，Ｐｊ）为［０，ｘ］间一方含Ｐｊ因子而双方均与Ｚｊ－１互素的孪生组的组数，称作ｘ内Ｐｊ的孪生类数．（ｘȡＰｊ）．推论２㊀ω（ｘ）－ω（ｘ）＝Ｄ（ｘ）－ðｐ１ɤｐｊɤｘＢ（ｘ，Ｐｊ）．定义５㊀当（６，ｋｎ）＝（ｋ，ｎ）＝１定义Ｔ（ｋ，ｎ）ʉ（ｋｎ）２＋６ｋｑ（ｍｏｄ６ｋｎ），其中ｑ满足３ｋｑʉ１（ｍｏｄｎ），特别地，Ｔ（ｋ，１）ʉｋ２（ｍｏｄ６ｋ）．定义６㊀Ｂ∗（ｘ，Ｐｊ）＝２ＤｘＰｊ()－２ðＰ１ɤＰｉɤＰｊ－１ＢｘＰｊ，Ｐｉ()，为二倍于０，ｘＰｊ[]间不小于Ｐｊ孪生类的孪生组数．（ｘȡＰ２ｊ）．（注：本文［α］，｛α｝分别表示α的整数与分数部分，并将［α＋β］＋［α－β］简记作［αʃβ］，将｛α＋β｝＋｛α－β｝简记作｛αʃβ｝，将ｓｉｎ（α＋β）＋ｓｉｎ（α－β）简记作ｓｉｎ（αʃβ）．）二㊁第一类误差关系式的建立引理１㊀Ｂ（ｘ，Ｐｊ）＝ðｎ｜ｚｊ－１ｍ｜ｚｊ－１（ｍ，ｎ）＝１μ（ｍｎ）(ｘ＋Ｔ（Ｐｊｍ，ｎ）－２６Ｐｊｍｎéëêùûú＋ｘ－Ｔ（Ｐｊｍ，ｎ）６Ｐｊｍｎéëêùûú＋１)（ｘȡＰｊ）．证：当（ｍ，ｎ）＝（６Ｐｊ，ｍｎ）＝１时，由定义５有Ｔ（Ｐｊｍ，ｎ）ʉ０（ｍｏｄＰｊｍ），１（ｍｏｄ６）．{Ｔ（Ｐｊｍ，ｎ）－２ʉ０（ｍｏｄｎ），－１（ｍｏｄ６）．{故Ｔ（Ｐｊｍ，ｎ）与Ｔ（Ｐｊｍ，ｎ）－２为分别由Ｐｊｍ与ｎ因子组成的孪生组，后者为６Ｋ－１型，同样Ｔ（ｎ，Ｐｊｍ）与Ｔ（ｎ，Ｐｊｍ）－２为另一组分别由Ｐｊｍ与ｎ因子组成的孪生组，后者为６Ｋ－１型，且－Ｔ（Ｐｊｍ，ｎ）ʉＴ（ｎ，Ｐｊｍ）－２（ｍｏｄ６Ｐｊｍｎ）．根据剩余系互补的性质，当（ｍ，ｎ）＝（６Ｐｊ，ｍｎ）＝１，对于任意ｘȡＰｊ，在［０，ｘ］间一方含Ｐｊｍ因子，另一方含ｎ因子的孪生组数：Ｄ（ｘ，Ｐｊｍ，ｎ）＝ｘ＋Ｔ（ｐｊｍ，ｎ）－２６Ｐｊｍｎéëêùûú＋ｘ－Ｔ（Ｐｊｍ，ｎ）６Ｐｊｍｎéëêùûú＋１．由定义４和Ｂｒｕｎ的包含排除定理（文献［６］第一章ɦ７定理１），即得引理．又当（ｍ，ｎ）＞１时，恒有μ（ｍｎ）＝０，故引理中（ｍ，ｎ）＝１的条件可以不必要．证毕．引理２㊀（Ⅰ）Ｂ∗（ｘ，Ｐｊ）＝ðｎ｜ｚｊ－１ｍ｜ｚｊ－１μ（ｍｎ）æèççｘＰｊ＋Ｔ（ｍ，ｎ）－２６ｍｎéëêêêùûúúú＋ｘＰｊ－Ｔ（ｍ，ｎ）６ｍｎéëêêêùûúúú＋１öø÷÷－１（ｘȡＰ２ｊ）．（Ⅱ）若用Ｔ（Ｐｊｍ，ｎ）代替Ｔ（ｍ，ｎ），上式亦成立．证：当ｍ＝ｎ＝１时，Ｔ（１，１）ʉ１（ｍｏｄ６），μ（１）＝１，ʑｘＰｊ＋Ｔ（１，１）－２６éëêêêùûúúú＋ｘＰｊ－Ｔ（１，１）６éëêêêùûúúú＋１－１＝２ｘＰｊ－１６éëêêêùûúúú＝２ＤｘＰｊ()，又Ｔ（ｍ，ｎ）－２ʉ－Ｔ（ｎ，ｍ）（ｍｏｄ６ｍｎ）．由定义６和引理１即得（Ⅰ）成立．ȵ（Ｐｊ，ｍｎ）＝（Ｐｊ，Ｚｊ－１）＝１，ʑＴ（Ｐｊｍ，ｎ）ʉＴ（ｍ，ｎ）（ｍｏｄ６ｍｎ）．又Ｔ（Ｐｊ，１）ʉＰ２ｊʉ１（ｍｏｄ６），ʑｘＰｊ＋Ｐ２ｊ－２６éëêêêùûúúú＋ｘＰｊ－Ｐ２ｊ６éëêêêùûúúú＋１－１＝２ｘＰｊ－１６éëêêêùûúúú＝２ＤｘＰｊ()，故（Ⅱ）亦成立，证毕．引理３㊀Ｂ（ｘ，Ｐｊ）－Ｂ∗（ｘ，Ｐｊ）ɤｈ（ｘ，Ｐｊ）＋Ｏ（１）（ｘȡＰ２ｊ），ｈ（ｘ，Ｐｊ）＝ðｄ｜Ｚｊ－１（ｄ＜４ｘ２）μ（ｄ）２ｖ（ｄ）ðɕｎ＝１２ｎπｓｉｎｎπｘ３Ｐｊｄ㊃ｃｏｓｎπＴ（Ｋξ）３Ｐｊｄ－ｃｏｓｎπＴ（Ｋξ）３ｄæèçöø÷，其中Ｔ（Ｋξ）＝ＴＰｊＫξ，Ｚｊ－１Ｋξæèçöø÷，Ｋξ为Ｋｉ｜Ｚｊ－１之某一值，ｖ（ｄ）表示ｄ的不同素因子的个数，ｖ（１）＝０．证：命φ表示Ｋｉ｜Ｚｊ－１的集合，因Ｚｊ－１无重复素因子，故对于任一Ｚｊ－１，Ｋｉ之集合有且仅有ðｊ－１ｋ＝１Ｃｋｊ－１＝２ｊ－１个元素组成，当（ｌ１，ｌ２）＝（ｌ１，６Ｐｊｍｎ）＝（ｌ２，６Ｐｊｍｎ）＝１，有Ｔ（ｌ１Ｐｊｍ，ｌ２ｎ）ʉＴ（Ｐｊｍ，ｎ）（ｍｏｄ６Ｐｊｍｎ）．由引理１，２即可得到：Ｂ（ｘ，Ｐｊ）－Ｂ∗（ｘ，Ｐｊ）＝ðＫｉ｜Ｚｊ－１１２ｊ－１ðｄ｜Ｚｊ－１μ（ｄ）２ｖ（ｄ）㊃æèççｘ＋Ｔ（Ｋｉ）－２６Ｐｊｄéëêùûú＋ｘ－Ｔ（Ｋｉ）６Ｐｊｄéëêùûú－ｘＰｊ＋Ｔ（Ｋｉ）－２６ｄéëêêêùûúúú－ｘＰｊ－Ｔ（Ｋｉ）６ｄéëêêêùûúúúöø÷÷＋１，（１）现估计（１）式中第一㊁三两项中消去－２后所产生的误差Ｒ＝Ｒ１＋Ｒ３，命Ａｉ＝ｘ＋Ｔ（Ｋｉ）有：Ａｉ－２６Ｐｊｄéëêùûú＝［Ａｉ］－２６Ｐｊｄéëêùûú＝Ａｉ６Ｐｊｄéëêùûú－１，当［Ａｉ］ʉ０或１（ｍｏｄ６Ｐｊｄ），Ａｉ６Ｐｊｄéëêùûú，其他．ìîíïïïï故知只有当［Ａｉ］＝６ＰｊＭｉＤｉ＋δ（δ＝０或１，其中Ｄｉ｜Ｚｊ－１）时才产生误差，根据同余的性质有：ðｄ｜Ｄｉμ（ｄ）２ｖ（ｄ）＝１，ｖ（Ｄｉ）为偶数或０，－１，ｖ（Ｄｉ）为奇数，{ʑＲ１ɤ１２ｊ－１ðＫｉ｜Ｚｊ－１１＝１，同样可证得｜Ｒ３｜ɤ１．ʑ｜Ｒ｜ɤ｜Ｒ１｜＋｜Ｒ３｜ɤ２，故由（１）式知必定存在某一Ｋξ｜Ｚｊ－１，使得：Ｂ（ｘ，Ｐｊ）－Ｂ∗（ｘ，Ｐｊ）ɤｈ（ｘ，Ｐｊ）＋Ｏ（１），其中ｈ（ｘ，Ｐｊ）＝ðｄ｜Ｚｊ－１μ（ｄ）２ｖ（ｄ）æèççｘʃＴ（ｋξ）６Ｐｊｄéëêùûú－ｘＰｊʃＴ（Ｋξ）６ｄéëêêêùûúúúöø÷÷，ȵＰｊＫξ｜Ｔ（Ｋξ），Ｚｊ－１Ｋξ｜Ｔ（Ｋξ）－２，（注：以下将Ｔ（Ｋξ）简记作Ｔ）ʑｄ｜Ｚｊ－１｜Ｔ（Ｔ－２）．因ｄ无重复素因子，故知对于任意ｄ，当ｄȡ４ｘ２可分解为ｄ＝ｄ１ｄ２，其中ｄ２ȡｄ１ȡ１，使ｄ２｜Ｔ或者ｄ２｜（Ｔ－２）两者之一成立．显然ｄ２ȡ２ｘ＞ｘ＋２Ｐｊ（ｘȡＰ２ｊ），如ｄ２｜Ｔ成立，有０＜ｘｄ２＝β＜１，Ｔｄ２＝Ｌ，显然（６，Ｌ）＝１，因而－Ｌ６ｑ[]＝－１－Ｌ６ｑ[]（ｑ为正整数），故有：ｘʃＴ６Ｐｊｄ[]－ｘＰｊʃＴ６ｄéëêêêùûúúú＝βʃＬ６Ｐｊｄ１[]－βʃＰｊＬ６Ｐｊｄ１éëêùûú＝ʃＬ６Ｐｊｄ１[]－ʃＬ６ｄ１[]＝０，同样如ｄ２｜（Ｔ－２），则有０＜ｘ＋２ｄ２＝β１＜１，０＜ｘ－２ｄ２＝β２＜１，０＜ｘ＋２Ｐｊｄ２＝β３＜１，０＜ｘ－２Ｐｊｄ２＝β４＜１，Ｔ－２ｄ２＝Ｌ，则（６，Ｌ）＝１，即有ｘʃＴ６Ｐｊｄ[]－ｘＰｊʃＴ６ｄéëêêêùûúúú＝β１＋Ｌ６Ｐｊｄ１éëêùûú＋β２－Ｌ６Ｐｊｄ１éëêùûú－β３＋ＰｊＬ６Ｐｊｄ１éëêùûú－β４－ＰｊＬ６Ｐｊｄ１éëêùûú＝ʃＬ６Ｐｊｄ１[]－ʃＬ６ｄ１[]＝０，ʑｈ（ｘ，Ｐｊ）＝ðｄ｜Ｚｊ－１（ｄ＜４ｘ２）μ（ｄ）２ｖ（ｄ）ｘʃＴ６Ｐｊｄ[]－ｘʃＰｊＴ６Ｐｊｄéëêùûúæèçöø÷＝ðｄ｜Ｚｊ－１（ｄ＜４ｘ２）μ（ｄ）２ｖ（ｄ）ｘʃＰｊＴ６Ｐｊｄ{}－ｘʃＴ６Ｐｊｄ{}æèçöø÷，（２）由Ｆｏｕｒｉｅｒ展开式，当｛α｝ʂ０时有：｛α｝＝－ðɕｎ＝１１ｎπｓｉｎ（２ｎπα）＋１２，（３）ȵＰｊ｜Ｔ，ʑ只需取ｘ，当Ｐｊ｜ｘ，即有（２）式中任意一项｛αｉ｝ʂ０均适用于（３）式，故（２）式又可表示为：ｈ（ｘ，Ｐｊ）＝ðｄ｜Ｚｊ－１（ｄ＜４ｘ２）μ（ｄ）２ｖ（ｄ）ðɕｎ＝１２ｎπｓｉｎｎπｘ３Ｐｊｄ(ｃｏｓｎπＴ３Ｐｊｄ－ｃｏｓｎπＴ３ｄ)，证毕．三、第一类误差值的计算引理４㊀用Ｍ［Ｆ１（ｙ）］表示函数Ｆ１（ｙ）的Ｍｅｌｌｉｎ变换式，若有Ｍ［Ｆ１（ｙ）］＝ðｄ｜Ｚｊ－１（ｄ＜４ｘ２）μ（ｄ）２ｖ（ｄ）ｄｓ－２（ζ（２－ｓ）－１）（ｓ－１），取σ＝ＲｅＳ＝１－１ｌｎｙ，当ｙ＞Ｐｊ时，必有｜Ｆ１（ｙ）｜＝Ｏｌｎ２Ｐｊｙｌｎｙæèçöø÷．证：σ＝１－１ｌｎｙ＞１－１ｌｎＰｊ＞０．首先证明Ｍ［Ｆ１（ｙ）］绝对收敛．令Ｈ（ｓ）＝ðｄ｜Ｚｊ－１（ｄ＜４ｘ２）μ（ｄ）２ｖ（ｄ）ｄｓ－２，（４）则Ｈ（ｓ）ɤðｄ｜Ｚｊ－２｜μ（ｄ）｜２ｖ（ｄ）｜ｄｓ－２｜＝ᵑＰ｜Ｚｊ－１（１＋２Ｐσ－２），ʑｌｎ｜Ｈ（ｓ）｜ɤｌｎᵑＰ｜Ｚｊ－１（１＋２Ｐσ－２）＝ðＰ１ɤＰɤＰｊ－１ｌｎ（１＋２Ｐ－１－１ｌｎｙ）ɤðＰ１ɤＰɤＰｊ－１２Ｐ－１＝２ｌｎｌｎＰｊ＋Ｏ（１）．（参见文献［２］第七章ɦ３Ｍｅｒｔｅｎｓ公式）ʑ｜Ｈ（ｓ）｜＝Ο（ｌｎ２Ｐｊ）绝对收敛．又Ｒｅ（２－ｓ）＝１＋１ｌｎｙ＞１，令ｂ１（ｕ）＝｛ｕ｝－１２，有ζ（２－ｓ）＝１１－ｓ＋１２－（２－ｓ）ʏɕ１ｂ１（ｕ）ｕ３－ｓｄｕ＝－１ｓ－１＋１＋ʏɕ１｛ｕ｝ｄｕｓ－２，（参考文献［１］第八章ɦ２）ʏɕ１｛ｕ｝ｄｕｓ－２为｛ｕ｝ʂ０时的瑕积分，记作Ｐ㊃Ｖ．Ｐ㊃Ｖʏɕ１｛ｕ｝ｄｕｓ－２＝｛ｕ｝ｕｓ－２ɕ１－Ｐ㊃Ｖʏɕ１ｕｓ－２ｄ｛ｕ｝＝－Ｐ㊃Ｖʏɕ１ｕｓ－２ｄ｛ｕ｝ｄｕｄｕ，当｛ｕ｝ʂ０，由（３）式有ｄ｛ｕ｝ｄｕ＝－２ðɕｎ＝１ｃｏｓ（２ｎπｕ）＝－ｌｉｍλңɕｓｉｎλ＋１２()２πｕｓｉｎπｕ＋１，（参考文献［７］（３．６．１）式）综上即得：Ｑ＝（ζ（２－ｓ）－１）（ｓ－１）＝－１＋（ｓ－１）Ｐ㊃Ｖʏɕ１ｕｓ－２ｌｉｍλңɕｓｉｎλ＋１２()２πｕｓｉｎπｕ－１æèççöø÷÷ｄｕ＝－１＋Ｐ㊃Ｖʏɕ１（ｌｉｍλңɕｓｉｎλ＋１２()２πｕｓｉｎπｕ－１）ｄｕｓ－１＝Ｐ㊃Ｖʏɕ１ｌｉｍλңɕｓｉｎλ＋１２()２πｕｓｉｎπｕｄｕｓ－１，ʑ｜Ｑ｜ɤＰ㊃Ｖʏɕ１｜ｌｉｍλңɕｓｉｎλ＋１２()２πｕｓｉｎπｕ｜㊃｜ｄｕｓ－１｜＝｜ｌｉｍλңɕｓｉｎλ＋１２()２πξｓｉｎπξ｜ʏɕ１ｄｕ－１ｌｎｙ｜ɤ１ｓｉｎπξ＜＋ɕ（｛ξ｝ʂ０），ʑＭ［Ｆ１（ｙ）］绝对收敛．令ʏ（σ）＝ｌｉｍＡңɕʏσ＋ｉＡσ－ｉＡ，由文献［１］第十二章ɦ１引理１有：Ｆ１（ｙ）＝１２πｉʏ（σ）Ｍ［Ｆ１（ｙ）］ｙ－ｓｄｓ＝１２πｉʏ（σ）Ｈ（ｓ）（ζ（２－ｓ）－１）（ｓ－１）ｙ－ｓｄｓ＝－１２πｉʏ（σ）Ｈ（ｓ）（ζ（２－ｓ）－１）ｄｙ－ｓ＋１ｄｙｄｓ＝ｉ２πʏ（σ）Ｈ（ｓ）（ζ（２－ｓ）－１）ｄｓｄｙｄｙ－ｓ＋１．ȵζ（２－ｓ）－１＝ðɕｎ＝２１ｎ２－ｓ，ʑ｜ζ（２－ｓ）－１｜ɤðɕｎ＝２１ｎ１＋１ｌｎｙ＝ʏɕ１ｄｕｕ１＋１ｌｎｙ＋Ｏ（１）＝－ｌｎｙ㊃ｕ－１ｌｎｙɕ１＋Ｏ（１）＝ｌｎｙ＋Ｏ（１），ｄｓｄｙ＝ｄ１ｌｎｙｄｙ＝１ｙｌｎ２ｙ，｜ｙｉｔ｜＝｜ｅｉｔｌｎｙ｜＝１，ｙ－σ＋１＝ｙ１ｌｎｙ＝ｅ．当ｙ＞Ｐｊ，ｌｎｙ＞ｌｎＰｊ≫１，ʑ｜Ｆ１（ｙ）｜ɤʏ（σ）｜Ｈ（ｓ）｜｜ζ（２－ｓ）－１｜ｄｓｄｙ｜ｄｙ－ｓ＋１｜ɤʏ（σ）Ｏ（ｌｎ２Ｐｊ）（ｌｎｙ＋Ｏ（１））１ｙｌｎ２ｙｄｙ１ｌｎｙ＝Ｏｌｎ２Ｐｊｙｌｎｙæèçöø÷，证毕．引理５㊀对于充分大的ｘ，恒有Ｂ（ｘ，Ｐｊ）－Ｂ∗（ｘ，Ｐｊ）ɤＯｘｌｎ３ＰｊＰ２ｊæèçöø÷＋Ｏ（１），当Ｐｊɤｘ１２时，误差项Ｏ（１）可以不计．证：（Ⅰ）当Ｐｊɤ６ｌｎｘ时，ȵðɕｎ＝１２ｎπｓｉｎｎπαｃｏｓｎπβɤ１，又ｖ（Ｐ）＝１，由引理３有：ｈ（ｘ，Ｐｊ）ɤ２ðｄ｜Ｚｊ－１｜μ（ｄ）｜２ｖ（ｄ）＝２ᵑＰ｜Ｚｊ－１（１＋２ｖ（Ｐ））＝２㊃３ｊ－１．由素数定理得ｊ＝π（Ｐｊ）＝ＰｊｌｎＰｊ１＋Ｏ１ｌｎＰｊ()()．ʑＢ（ｘ，Ｐｊ）－Ｂ∗（ｘ，Ｐｊ）ɤ２㊃３ｊ－１＋Ｏ（１）＜３ｊɤ３７ｌｎｘｌｎｌｎｘ＝ｘ７ｌｎ３ｌｎｌｎｘ＜ｘ１２≪ｘｌｎ３ＰｊＰ２ｊ．（Ⅱ）当ｘ１２＜Ｐｊɤｘ，显然有Ｂ（ｘ，Ｐｊ）－Ｂ∗（ｘ，Ｐｊ）＝Ｂ（ｘ，Ｐｊ）＝１，Ｐｊ与Ｐｊ＋２为孪生素数，０，其他．{（Ⅲ）现着重讨论６ｌｎｘ＜Ｐｊɤｘ１２的情形．由引理３我们有：㊀ｈ（ｘ，Ｐｊ）＝ðｄ｜Ｚｊ－１（ｄ＜４ｘ２）μ（ｄ）２ｖ（ｄ）ðɕｎ＝１４ｎπ㊃ｎπｄ㊃ｓｉｎｎπｘ３ＰｊｄʏＴ６Ｔ６Ｐｊｓｉｎ２ｎπｑｄｄｑ＝ʏＴ６Ｔ６Ｐｊðｄ｜Ｚｊ－１（ｄ＜４ｘ２）μ（ｄ）２ｖ（ｄ）ðɕｎ＝１２ｄ(ｃｏｓｑ－ｘ６Ｐｊｄ２ｎπ－ｃｏｓｑ＋ｘ６Ｐｊｄ２ｎπ)ｄｑ＝ʏＴ６Ｔ６Ｐｊʏｑ＋ｘ６Ｐｊｑ－ｘ６Ｐｊ(ðｄ｜Ｚｊ－１（ｄ＜４ｘ２）μ（ｄ）２ｖ（ｄ）ðɕｎ＝１４ｎπｄ２ｓｉｎ２ｎπｄｙ)ｄｙｄｑ＝ʏＴ６Ｔ６Ｐｊʏｑ＋ｘ６Ｐｊｑ－ｘ６ＰｊＦ（ｙ）ｄｙｄｑ．由积分不等式，当ｂ＞ａȡ０时，若在区间［ａ，ｂ］上ｆ（ｘ），ｇ（ｘ）可积，｜ｆ（ｘ）｜ɤ｜ｇ（ｘ）｜，则有ʏｂａｆ（ｘ）ｄｘɤʏｂａ｜ｆ（ｘ）｜ｄｘɤʏｂａ｜ｇ（ｘ）｜ｄｘ．又Ｆ（ｙ）可积，则有：ｈ（ｘ，Ｐｊ）ɤʏＴ６Ｔ６Ｐｊʏｑ＋ｘ６Ｐｊｑ－ｘ６ＰｊＦ（ｙ）ｄｙｄｑ，（５）Ｆ（ｙ）是实连续函数，ｙ＞０（见（９）式），我们可对其取Ｍｅｌｌｉｎ变换，令ＲｅＳ＝１－１ｌｎｙ，当α＞０时，Ｍ［ｓｉｎαｘ］＝ʏɕ０ｓｉｎαｘ㊃ｘｓ－１ｄｘ＝α－ｓΓ（ｓ）ｓｉｎπｓ２，ʑＭ［Ｆ（ｙ）］＝ðｄ｜Ｚｊ－１（ｄ＜４ｘ２）μ（ｄ）２ｖ（ｄ）ðɕｎ＝１（ｎπ）１－ｓ２２－ｓΓ（ｓ）ｄｓ－２ｓｉｎπｓ２，（６）ðɕｎ＝１ｎ１－ｓ＝ζ（ｓ－１），Γ（ｓ）＝（ｓ－１）Γ（ｓ－１）（文献［５］第二章ɦ２定理２），ｓｉｎπｓ２＝ｃｏｓπ（ｓ－１）２．根据ＲｉｅｍａｎｎＺｅｔａ函数解析开拓的性质（文献［３］第二篇第二章ɦ２定理２．１）有ζ（１－ｓ）＝２１－ｓπ－ｓｃｏｓπｓ２Γ（ｓ）ζ（ｓ）普遍成立．ʑ由（６）式和（４）式有：Ｍ［Ｆ（ｙ）］＝ζ（ｓ－１）Γ（ｓ－１）（ｓ－１）π１－ｓ２２－ｓＨ（ｓ）㊃ｃｏｓπ（ｓ－１）２＝ζ（２－ｓ）（ｓ－１）Ｈ（ｓ），令Ｆ（ｙ）＝Ｆ１（ｙ）＋Ｆ２（ｙ），则Ｍ［Ｆ（ｙ）］＝Ｍ［Ｆ１（ｙ）］＋Ｍ［Ｆ２（ｙ）］，其中Ｍ［Ｆ１（ｙ）］＝（ζ（２－ｓ）－１）（ｓ－１）Ｈ（ｓ），（７）Ｍ［Ｆ２（ｙ）］＝（ｓ－１）Ｈ（ｓ），相应地，ｈ（ｘ，Ｐｊ）＝ｈ１（ｘ，Ｐｊ）＋ｈ２（ｘ，Ｐｊ），首先证明ｈ２（ｘ，Ｐｊ）＝０．ȵＰｊＫξＴ，Ｚｊ－１Ｋξ（Ｔ－２）（见引理３），ʑＴȡＰｊＫξ，Ｔ－２ȡＺｊ－１Ｋξ，Ｔ２＞Ｔ（Ｔ－２）ȡＰｊＫξ㊃Ｚｊ－１Ｋξ＝ＰｊＺｊ－１＝Ｚｊ，Ｔ＞Ｚｊ（注：当ｘȡＰ２ｊ，必有ｄ通过所有ＰɤＰｊ－１，故（５）式中Ｔ不变．）由文献［１］第三章ɦ１定理２契贝谢夫θ函数性质有：ｌｎＴ＞１２ｌｎＺｊ＞１２－ε()Ｐｊȡ１２－ε()６ｌｎｘ＞２．８ｌｎｘ，即有１ｌｎＴ＝Ｏ１Ｐｊ()，（８）及Ｔ＞ｘ２．８，又ｘȡＰ２ｊ，由（５）式知ｙȡｑ－ｘ６ＰｊȡＴ－ｘ６Ｐｊ＞ｘ２．８－ｘ６ｘ≫ｘ２．２≫４ｘ２，（９）ｈ２（ｘ，Ｐｊ）＝ʏＴ６Ｔ６Ｐｊʏｑ＋ｘ６Ｐｊｑ－ｘ６ＰｊＦ２（ｙ）ｄｙｄｑ＝(ʏɕＴ－ｘ６Ｐｊ－ʏɕＴ－ｘＰｊ６－ʏɕＴ＋ｘ６Ｐｊ＋ʏɕＴ＋ｘＰｊ６)ʏɕφＦ２（η）ｄηｄφ，由Ｍｅｌｌｉｎ变换公式（文献［８］５８１页），若Ｍ［ｆ（ｙ）］＝Ｍ（ｓ），则有：Ｍ［ʏɕｙｆ（φ）ｄφ］＝Ｍ（ｓ＋１）ｓ成立，由此推出：Ｍ［ʏɕｙʏɕφｆ（η）ｄηｄφ］＝Ｍ（ｓ＋２）（ｓ＋１）ｓ成立．令Ｕ（ｙ）＝ʏɕｙʏɕφＦ２（η）ｄηｄφ，由Ｍ［Ｆ２（ｙ）］＝（ｓ－１）Ｈ（ｓ）得到Ｍ［Ｕ（ｙ）］＝（ｓ＋２－１）Ｈ（ｓ＋２）（ｓ＋１）ｓ＝１ｓＨ（ｓ＋２），由（９）式ｙ≫４ｘ２，即σ＝１－１ｌｎｙ＞０，因而｜Ｍ［Ｕ（ｙ）］｜＝１σ＋ｉｔＨ（２＋σ＋ｉｔ）ɤðｄ｜Ｚｊ－１｜μ（ｄ）｜２ｖ（ｄ）ｄσ１σ＋ｉｔ＝１σ２＋ｔ２ðｄ｜Ｚｊ－１｜μ（ｄ）｜２ｖ（ｄ）ｄσ＜＋ɕ绝对收敛．即有：Ｕ（ｙ）＝１２πｉʏσ＋ｉɕσ－ｉɕＭ［Ｕ（ｙ）］ｙ－ｓｄｓ＝１２πｉʏσ＋ｉɕσ－ｉɕðｄ｜Ｚｊ－１（ｄ＜４ｘ２）μ（ｄ）２ｖ（ｄ）１ｓｄｙ()ｓｄｓ，根据Ｍｅｌｌｉｎ变换表（文献［８］５８２页）有１２πｉʏσ＋ｉɕσ－ｉɕ１ｓαｙ()ｓｄｓ＝１（ｙ＜α），０（ｙ＞α），{（σ＞０）由（９）式得ｙ＞４ｘ２＞ｄ，ʑＵ（ｙ）＝０，即可得到ｈ２（ｘ，Ｐｊ）的各项积分均为０，ʑｈ２（ｘ，Ｐｊ）＝０．又Ｆ１（ｙ）满足引理４的条件，由（５）式有：ｈ（ｘ，Ｐｊ）＝ｈ１（ｘ，Ｐｊ）ɤＯʏＴ６Ｔ６Ｐｊʏｑ＋ｘ６Ｐｊｑ－ｘ６Ｐｊｌｎ２Ｐｊｙｌｎｙｄｙｄｑæèçöø÷＝Ｏｌｎ２ＰｊʏＴ６Ｔ６Ｐｊｌｎｌｎｑ＋ｘ６Ｐｊ()ｌｎｑ－ｘ６Ｐｊ()ｄｑæèçççöø÷÷÷＝Ｏｘｌｎ２ＰｊＰｊʏＴ６Ｔ６Ｐｊｄｑｑｌｎｑæèçöø÷＝Ｏｘｌｎ２ＰｊＰｊｌｎｌｎＴ６ｌｎＴ６Ｐｊæèçççöø÷÷÷＝Ｏｘｌｎ３ＰｊＰｊｌｎＴæèçöø÷＝Ｏｘｌｎ３ＰｊＰ２ｊæèçöø÷．注１：上式中，ｌｎｌｎｑ＋ｘ６Ｐｊ()ｌｎｑ－ｘ６Ｐｊ()＝ｌｎｌｎｑ＋ｌｎ１＋ｘ６ｑＰｊ()ｌｎｑ＋ｌｎ１－ｘ６ｑＰｊ()＝Ｏｌｎ１＋１ｌｎｑｌｎ１＋ｘ６ｑＰｊ()()()＝Ｏ１ｌｎｑｌｎ１＋ｘ６ｑＰｊ()()＝Ｏ１ｌｎｑ㊃ｘ６ｑＰｊ()＝ＯｘＰｊｑｌｎｑ()．注２：上式中，ｌｎｌｎＴ６ｌｎＴ６ｑＰｊ＝ｌｎｌｎＴ６ｌｎＴ６＋ｌｎ１Ｐｊ＝ｌｎ１１－ｌｎＰｊｌｎＴ６＝Ｏｌｎ１＋ｌｎＰｊｌｎＴ６æèççöø÷÷æèççöø÷÷＝ＯｌｎＰｊｌｎＴæèçöø÷．最后一步用到（８）式，综上即得到引理．证毕．四㊁函数Ｇ（ｕ）的性质引理６若Ｇ（ｕ）满足方程Ｇ（ｕ）＝１ｕ２，㊀㊀㊀㊀㊀㊀１ɤｕɤ２，㊀㊀㊀㊀（１０）（ｕ２Ｇ（ｕ））ᶄ＝２ｕＧ（ｕ－１），ｕ＞２，（１１）{则Ｇ（ｕ）为连续函数，对于任意ｕȡ１，恒有１４ɤＧ（ｕ）ɤ１．证：令Ｇ（ｕ）＝Ｇ１（ｕ）＋Ｇ２（ｕ），其中Ｇ１（ｕ），Ｇ２（ｕ）满足方程：Ｇ１（ｕ）＝１ｕ２，Ｇ２（ｕ）＝０，㊀１ɤｕɤ２，（ｕ２Ｇ１（ｕ））ᶄ＝２ｕＧ２（ｕ－１），（ｕ２Ｇ２（ｕ））ᶄ＝２ｕＧ１（ｕ－１），ｕ＞２，{解之即知Ｇ１（ｕ），Ｇ２（ｕ）均为连续函数，故Ｇ（ｕ）为连续函数．由（１０）式知，当１ɤｕɤ２时，有１４ɤＧ（ｕ）ɤ１成立．用数学归纳法证明，当ｕ＞２时，也有１４ɤＧ（ｕ）ɤ１．由（１１）式即得：ｕ２Ｇ（ｕ）－２２Ｇ（２）＝２ʏｕ２ｔＧ（ｔ－１）ｄｔɤ２ʏｕ２ｔｄｔ＝ｕ２－２２，ʑＧ（ｕ）ɤ１－３ｕ２ɤ１．又ｕ２Ｇ（ｕ）－２２Ｇ（２）＝２ʏｕ２ｔＧ（ｔ－１）ｄｔȡ１２ʏｕ２ｔｄｔ＝１４（ｕ２－２２）＝１４ｕ２－１，ʑＧ（ｕ）ȡ１４．证毕．五、定理的反证１．在假设基础上得到的结果（第二类误差值的计算）引理７㊀对于充分大的Ｎ，当ｙȡＮ时，假设恒有ω（ｙ）＜Ｃｙｌｎ２ｙ㊀（１２）成立，Ｃ＝０．３７，则当ｘ１２ȡＰｊȡｌｎｘȡＮ时，恒有Ｂ（ｘ，Ｐｊ）＜２ＣＧ（ｕ）ｘＰｊｌｎ２Ｐｊ＋ＯｘＰｊｌｎ３Ｐｊæèçöø÷成立，其中Ｐｊ＝ｘ１ｕ＋１，即ｕ＝ｌｎｘｌｎＰｊ－１．证：用数学归纳法证明．当Ｎ充分大，ＰｊȡＮ时，有Ｐｊȡｌｎ７Ｐｊ，故有ｘＰ２ｊｌｎ３ＰｊɤｘＰｊｌｎ４Ｐｊ．当ｘ１２ȡＰｊȡｘ１３（１ɤｕɤ２）时，由（１２）式，引理５，定义６及推论２有：Ｂ（ｘ，Ｐｊ）ɤＢ∗（ｘ，Ｐｊ）＋ＯｘＰ２ｊｌｎ３Ｐｊæèçöø÷＝２ωｘＰｊ()－２ω（Ｐｊ－１）＋ＯｘＰｊｌｎ４Ｐｊæèçöø÷＜２ＣｘＰｊｌｎ２ｘＰｊ()＋ＯｘＰｊｌｎ４Ｐｊæèçöø÷＝２ＣｘＰｊ（ｌｎｘｕｕ＋１）２＋ＯｘＰｊｌｎ４Ｐｊæèçöø÷＝２Ｃｘｕ２Ｐｊｌｎ２Ｐｊ＋ＯｘＰｊｌｎ３Ｐｊæèçöø÷，即知当１ɤｕɤ２时，Ｇ（ｕ）＝１ｕ２，引理成立．若ｘ１ｋ－１ȡＰｊȡｘ１ｋ，ｋȡ３（即ｋ－２ɤｕɤｋ－１），引理成立，则当ｘ１ｋȡＰｊȡｘ１ｋ＋１，ｋ－１ɤｕɤｋ时由引理５及推论２有：Ｂ（ｘ，Ｐｊ）ɤＢ∗（ｘ，Ｐｊ）＋ＯｘＰ２ｊｌｎ３Ｐｊæèçöø÷＝２ðＰｊɤＰｉɤｘＰｊ()１２ＢｘＰｊ，Ｐｉ()＋２ωｘＰｊ()－２ωｘＰｊ()１２()＋ＯｘＰｊｌｎ４Ｐｊæèçöø÷．此处着重说明：在以上递推计算中每项都有一个差式，如记作ω＋ｉ－ω－ｉ，易见对于每个差式，恒有ω＋ｉȡω－ｉȡω（Ｐｊ），故参加递推和式计算之ω（ｔ）均符合引理假设的条件，即：ωｘＰｊ()ȡω（ｔ）ȡω（Ｐｊ）ȡω（ｌｎｘ）ȡω（Ｎ）．又ｘ１ｋ＋１ɤＰｊ，ʑｘɤＰｋ＋１ｊ，即有ｘＰｊ()１ｋɤＰｊɤＰｉɤｘＰｊ()１２．因而可由已知递推得：Ｂ（ｘ，Ｐｉ）＜４ＣðＰｊɤＰｉɤｘＰｊ()１２ＧｌｎｘＰｊｌｎＰｉ－１æèççöø÷÷ｘＰｊＰｉｌｎ２Ｐｉ＋ＯðＰｊɤＰｉɤｘＰｊ()１２２ｘＰｊＰｉｌｎ３Ｐｉæèçöø÷＋２ＣｘＰｊｌｎ２ｘＰｊ()＋ＯｘＰｊｌｎ４Ｐｊæèçöø÷，（１３）用Ａｂｅｌ恒等式计算：Ω＝ðＰｊɤＰｉɤｘＰｊ()１２ＧｌｎｘＰｊｌｎＰｉ－１æèççöø÷÷１Ｐｉｌｎ２Ｐｉ，在文献［１］第三章ɦ１引理２中取Ａ（ｔ）＝ðＰɤｔｌｎＰＰ，当ｔȡＰｊȡｌｎｘ充分大时，由文献［１］第四章命题（Ｃ）式有：Ａ（ｔ）＝ðｎɤｔΛ（ｎ）ｎ－ðｍȡ２ðＰɤｔ１ｍｌｎＰＰｍ＝ｌｎｔ－γ＋Ｏ（１）－Ｅ（ｔ），其中γ为Ｅｕｌｅｒ常数，Ｅ（ｔ）＝ðｍȡ２ðＰｌｎＰＰｍ－ðｍȡ２ðＰ＞ｔ１ｍｌｎＰＰｍ＝α１＋Ｏʏɕｔｌｎｑｑ２ｄｑæèçöø÷＝α１＋Ｏｌｎｔｔæèçöø÷＝α１＋Ｏ（１），ʑＡ（ｔ）＝ｌｎｔ－α＋Ｏ（１），ȵα１，γ均为与ｔ无关的常数，ʑα亦为与ｔ无关之常数．令Ｈ（ｔ）＝ｌｎｔ，ｒ（ｔ）＝－α＋Ｏ（１），ｆ（ｔ）＝ＧｌｎｘＰｊｌｎｔ－１æèççöø÷÷１ｌｎ３ｔ．ȵＨ（ｔ）连续可微，及１４ɤＧ（ｕ）ɤ１，由文献［１］第三章ɦ１引理２即可得到：Ω＝ʏｘＰｊ()１２ＰｊＧｌｎｘＰｊｌｎｔ－１æèççöø÷÷ｄｔｔｌｎ３ｔ＋ＲｘＰｊ()１２，Ｐｊ()其中ＲｘＰｊ()１２，Ｐｊ()＝ｒｘＰｊ()１２()ｆｘＰｊ()１２()－ｒ（Ｐｊ）ｆ（Ｐｊ）－ʏｘＰｊ()１２Ｐｊｒ（ｔ）ｆᶄ（ｔ）ｄｔ＝ＯｆｘＰｊ()１２()＋Ｏ（ｆ（Ｐｊ））＋ＯʏｘＰｊ()１２Ｐｊｆᶄ（ｔ）ｄｔ()＝Ｏ１ｌｎ３Ｐｊæèçöø÷．故由（１３）式即有：Ｂ（ｘ，Ｐｉ）＜４ＣｘＰｊʏｘＰｊ()１２ＰｊＧｌｎｘＰｊｌｎｔ－１æèççöø÷÷ｄｔｔｌｎ３ｔ＋ＯｘＰｊｌｎ３Ｐｊæèçöø÷＋ＯｘＰｊʏｘＰｊ()１２Ｐｊ２ｔｌｎ４ｔæèçöø÷ｄｔ＋２ＣｘＰｊｌｎ２ｘＰｊ()＋ＯｘＰｊｌｎ４Ｐｊæèçöø÷＝４ＣｘＰｊｌｎ２ｘＰｊ()ʏｘｕ２（ｕ＋１）ｘ１ｕ＋１ＧｌｎｘＰｊｌｎｔ－１æèççöø÷÷㊃ｌｎｘＰｊｌｎｔæèççöø÷÷３ｄｌｎｔｌｎｘＰｊæèççöø÷÷＋ＯｘＰｊｌｎ３Ｐｊæèçöø÷＋ＯｘＰｊʏ１２ｌｎｘＰｊｌｎＰｊ２τ４ｄτæèçöø÷＋２Ｃｘｕ２Ｐｊｌｎ２Ｐｊ＋ＯｘＰｊｌｎ４Ｐｉæèçöø÷＝２Ｃｘｕ２Ｐｊｌｎ２Ｐｊʏｕ２２βＧ（β－１）ｄβ＋Ｏ２ｘ３Ｐｊｌｎ３Ｐｊæèçöø÷＋ＯｘＰｊｌｎ３Ｐｊæèçöø÷＋２Ｃｘｕ２Ｐｊｌｎ２Ｐｊ＝２Ｃｘｕ２Ｐｊｌｎ２Ｐｊ［β２Ｇ（β）］ｕ２＋ＯｘＰｊｌｎ３Ｐｊæèçöø÷＋２Ｃｘｕ２Ｐｊｌｎ２Ｐｊ＝２ＣＧ（ｕ）ｘＰｊｌｎ２Ｐｊ＋ＯｘＰｊｌｎ３Ｐｊæèçöø÷，其中２２Ｇ（２）＝１，故引理亦成立．证毕．２．由正态分布及其误差值计算所得到的结果引理８㊀当１００ｌｎｘȡＰｊȡｌｎｘȡＮ时，有Ｂ（ｘ，Ｐｊ）＞０．７５ｘＰｊｌｎ２Ｐｊ．证：由引理１即可得到：Ｂ（ｘ，Ｐｊ）＝ðｍ｜Ｚｊ－１ｎ｜Ｚｊ－１μ（ｍｎ）２ｘ６Ｐｊｍｎ＋Ｏ（３ｊ）＝ｘ３Ｐｊðｄ｜Ｚｊ－１μ（ｄ）２ｖ（ｄ）ｄ＋Ｏ（３ｊ）＝ｘ３ＰｊᵑＰ｜Ｚｊ－１１－２Ｐ()＋Ｏ（３ｊ）（参见文献［３］１５页）ᵑＰ｜Ｚｊ－１１－２Ｐ()＝ᵑＰ｜Ｚｊ－１（Ｐ－１）２Ｐ２ᵑＰ｜Ｚｊ－１Ｐ（Ｐ－２）（Ｐ－１）２＝ᵑＰ｜Ｚｊ－１Ｐ－１Ｐ()２ᵑＰ｜Ｚｊ－１１－１（Ｐ－１）２æèçöø÷，由Ｍｅｒｔｅｎｓ公式（文献［２］第七章ɦ３）有ᵑＰ｜Ｚｊ－１Ｐ－１Ｐ()＝３㊃（２－１）（３－１）２㊃３ᵑＰ｜Ｚｊ－１Ｐ－１Ｐ＝３ｅ－ｒｌｎＰｊ１＋Ｏ１ｌｎＰｊ()()，又１＞ᵑＰ｜Ｚｊ－１１－１（Ｐ－１）２æèçöø÷＞ᵑＰ１－１（Ｐ－１）２æèçöø÷＞（３２－１）ᵑ（Ｐ２－１）３２ᵑＰ２＝４３（２２－１）（３２－１）ᵑ（Ｐ２－１）２２㊃３２ᵑＰ２éëêêùûúú＝４３ðɕｎ＝１１ｎ２æèçöø÷－１＝４３π２６()－１＝８π２＞０．８１．由素数定理，当ｌｎｘ充分大时，有ｊɤ１．１ＰｊｌｎＰｊɤ１１０ｌｎｘｌｎｌｎｘ＜１２ｌｎｘ，ʑＯ（３ｊ）＝Ｏ（３１２ｌｎｘ）＝Ｏ（ｘｌｎ３２）＝Ｏ（ｘ０．６）．综上即得Ｂ（ｘ，Ｐｊ）＝ｘ３Ｐｊ㊃９ｅ－２ｒｌｎ２Ｐｊ１＋Ｏ１ｌｎＰｊ()()２㊃ᵑＰ｜Ｚｊ－１１－１（Ｐ－１）２æèçöø÷＋Ｏ（ｘ０．６）＞３ｅ－２ｒ（１－０．０１）２０．８１ｘＰｊｌｎ２Ｐｊ＋Ｏ（ｘ０．６）＞０．７５０７ｘＰｊｌｎ２Ｐｊ＋Ｏ（ｘ０．６）＞０．７５ｘＰｊｌｎ２Ｐｊ，证毕．三㊁结㊀论当１００ｌｎｘȡＰｊȡｌｎｘȡＮ时，由引理７又有：Ｂ（ｘ，Ｐｊ）＜２ＣＧ（ｕ）ｘＰｊｌｎ２Ｐｊ＋ＯｘＰｊｌｎ３Ｐｊæèçöø÷ɤ２ＣｘＰｊｌｎ２Ｐｊ＋ＯｘＰｊｌｎ３Ｐｊæèçöø÷＜（２Ｃ＋ε）ｘＰｊｌｎ２Ｐｊ＜０．７５ｘＰｊｌｎ２Ｐｊ，这就与引理８的结果相矛盾，因此引理７的假设不能成立．因引理７计算中的ω（ｔ）均为：ω（ｘ）ȡω（ｔ）ȡω（ｌｎｘ）ȡω（Ｎ），故可推出至少存在一点ξ，ｘȡξȡｌｎｘ，有：ω（ξ）ȡ０．３７ξｌｎ２ξ成立．故有：ω（［ξ］）＝ω（ξ）ȡ０．３７ξｌｎ２ξȡ０．３７［ξ］ｌｎ２［ξ］．（１４）即可推出在［Ｎ，ｅＮ］之间至少有一个整数点ｍ１使（１４）式成立，同样在［ｍ１，ｅｍ１］之间至少有一个整数点ｍ２使（１４）式成立，如此等等，依次类推，就证明了定理的真实性．由上述我们立即可以得到一个简单的推论：对于任意ｘȡＮ，总有：ω（ｘ）ȡ０．３７ｌｎｘ（ｌｎｌｎｘ）２成立．孪生素数猜想得证．定理证毕．ʌ参考文献ɔ［１］潘承洞，潘承彪．素数定理的初等证明［Ｍ］．上海：上海科学技术出版社，１９８８．［２］潘承洞，潘承彪．哥德巴赫猜想［Ｍ］．北京：科学出版社，１９８１．［３］闵嗣鹤．数论的方法（上册）［Ｍ］，北京：科学出版社，１９８１．［４］闵嗣鹤，严士健．初等数论（第二版）［Ｍ］．北京：人民教育出版社，１９８２．［５］［苏］Ａ．Ａ．卡拉楚巴著，潘承彪，张南岳译．解析数论基础（中译本）［Ｍ］．北京：科学出版社，１９８４．［６］华罗庚．数论导引［Ｍ］．北京：科学出版社，１９７９．［７］Ｇ．Ｈ．哈代，Ｗ．Ｗ．洛戈辛斯基著，徐瑞云，王斯雷译．富里埃级数（中译本）［Ｍ］．上海：上海科学技术出版社，１９７８．［８］‘数学手册“编写组．数学手册［Ｍ］．北京：人民教育出版社，１９７９．［９］潘承洞．素数分布与哥德巴赫猜想［Ｍ］．济南：山东科学技术出版社，１９７９．。