孪生素数猜想证明简述
孪生素数猜想
孪生素数猜想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是一个单数字无个位孪生素数。
当然表面上看只有第一类、第二类孪生素数可以用一个数字表示（实际上第三类也可以）。
为什么一定要去掉个位呢？可将自然数变成互为补集的两类：孪生素数和非孪生素数。
并利用一种简单的筛法，将自然数中的非孪生素数及其补集孪生素数分开。
而且这个筛法所要得到的是非孪生素数。
关于孪生素数猜想的证明
关于孪生素数猜想的证明关于孪生素数猜想的证明Һ吴国胜㊀（安徽省电子器材公司，安徽㊀合肥㊀２３００６１）㊀㊀ʌ摘要ɔ本文的目的在于用筛法㊁解析方法等基础理论证明在自然数中存在无穷对孪生素数，并给出孪生素数分布的下界．ʌ关键词ɔ孪生素数猜想；定义及推论；误差值引㊀言两个相差２的素数称作一对孪生素数．在自然数中存在无穷对孪生素数的猜想是古希腊人提出来的，迄今大约有二千年的历史了，它和１７４２年德国人提出的Ｇｏｌｄｂａｃｈ猜想被人们喻为姐妹问题．德国杰出的数学家Ｈｉｌｂｅｒｔ１９００年在巴黎召开的第二届国际数学家代表大会上提出二十三个著名问题，孪生素数猜想是其中第八个问题的一部分．本文的目的在于对以下定理给出详细证明．定理命ω（ｘ）表示不超过ｘ的孪生素数组数，对于充分大的Ｎ，存在无穷多个整数点Ｍｉɪ［Ｎ，＋ɕ），有ω（Ｍｉ）ȡ０．３７Ｍｉｌｎ２Ｍｉ．有简单推论，对于任意ｘȡＮ，总有ω（ｘ）ȡ０．３７ｌｎｘ（ｌｎｌｎｘ）２．孪生素数猜想成立．一㊁定义及推论定义１㊀命２，３为原素数，不再以Ｐ表示．素数以Ｐｉ表示，其中Ｐ１＝５，Ｐ２＝７，Ｐ３＝１１， ，以此类推．相应地，孪生素数从５，７开始计算．定义２㊀Ｚｊ＝ᵑｊｉ＝１Ｐｉ．定义３㊀命６ｎ－１与６ｎ＋１为一对孪生组，ｎ为正整数．推论１㊀命Ｄ（ｘ）表示［０，ｘ］间孪生组的组数，则Ｄ（ｘ）＝ｘ－１６[]，１ɤｘ，０，０ɤｘ＜１．æèçç定义４㊀Ｂ（ｘ，Ｐｊ）为［０，ｘ］间一方含Ｐｊ因子而双方均与Ｚｊ－１互素的孪生组的组数，称作ｘ内Ｐｊ的孪生类数．（ｘȡＰｊ）．推论２㊀ω（ｘ）－ω（ｘ）＝Ｄ（ｘ）－ðｐ１ɤｐｊɤｘＢ（ｘ，Ｐｊ）．定义５㊀当（６，ｋｎ）＝（ｋ，ｎ）＝１定义Ｔ（ｋ，ｎ）ʉ（ｋｎ）２＋６ｋｑ（ｍｏｄ６ｋｎ），其中ｑ满足３ｋｑʉ１（ｍｏｄｎ），特别地，Ｔ（ｋ，１）ʉｋ２（ｍｏｄ６ｋ）．定义６㊀Ｂ∗（ｘ，Ｐｊ）＝２ＤｘＰｊ()－２ðＰ１ɤＰｉɤＰｊ－１ＢｘＰｊ，Ｐｉ()，为二倍于０，ｘＰｊ[]间不小于Ｐｊ孪生类的孪生组数．（ｘȡＰ２ｊ）．（注：本文［α］，｛α｝分别表示α的整数与分数部分，并将［α＋β］＋［α－β］简记作［αʃβ］，将｛α＋β｝＋｛α－β｝简记作｛αʃβ｝，将ｓｉｎ（α＋β）＋ｓｉｎ（α－β）简记作ｓｉｎ（αʃβ）．）二㊁第一类误差关系式的建立引理１㊀Ｂ（ｘ，Ｐｊ）＝ðｎ｜ｚｊ－１ｍ｜ｚｊ－１（ｍ，ｎ）＝１μ（ｍｎ）(ｘ＋Ｔ（Ｐｊｍ，ｎ）－２６Ｐｊｍｎéëêùûú＋ｘ－Ｔ（Ｐｊｍ，ｎ）６Ｐｊｍｎéëêùûú＋１)（ｘȡＰｊ）．证：当（ｍ，ｎ）＝（６Ｐｊ，ｍｎ）＝１时，由定义５有Ｔ（Ｐｊｍ，ｎ）ʉ０（ｍｏｄＰｊｍ），１（ｍｏｄ６）．{Ｔ（Ｐｊｍ，ｎ）－２ʉ０（ｍｏｄｎ），－１（ｍｏｄ６）．{故Ｔ（Ｐｊｍ，ｎ）与Ｔ（Ｐｊｍ，ｎ）－２为分别由Ｐｊｍ与ｎ因子组成的孪生组，后者为６Ｋ－１型，同样Ｔ（ｎ，Ｐｊｍ）与Ｔ（ｎ，Ｐｊｍ）－２为另一组分别由Ｐｊｍ与ｎ因子组成的孪生组，后者为６Ｋ－１型，且－Ｔ（Ｐｊｍ，ｎ）ʉＴ（ｎ，Ｐｊｍ）－２（ｍｏｄ６Ｐｊｍｎ）．根据剩余系互补的性质，当（ｍ，ｎ）＝（６Ｐｊ，ｍｎ）＝１，对于任意ｘȡＰｊ，在［０，ｘ］间一方含Ｐｊｍ因子，另一方含ｎ因子的孪生组数：Ｄ（ｘ，Ｐｊｍ，ｎ）＝ｘ＋Ｔ（ｐｊｍ，ｎ）－２６Ｐｊｍｎéëêùûú＋ｘ－Ｔ（Ｐｊｍ，ｎ）６Ｐｊｍｎéëêùûú＋１．由定义４和Ｂｒｕｎ的包含排除定理（文献［６］第一章ɦ７定理１），即得引理．又当（ｍ，ｎ）＞１时，恒有μ（ｍｎ）＝０，故引理中（ｍ，ｎ）＝１的条件可以不必要．证毕．引理２㊀（Ⅰ）Ｂ∗（ｘ，Ｐｊ）＝ðｎ｜ｚｊ－１ｍ｜ｚｊ－１μ（ｍｎ）æèççｘＰｊ＋Ｔ（ｍ，ｎ）－２６ｍｎéëêêêùûúúú＋ｘＰｊ－Ｔ（ｍ，ｎ）６ｍｎéëêêêùûúúú＋１öø÷÷－１（ｘȡＰ２ｊ）．（Ⅱ）若用Ｔ（Ｐｊｍ，ｎ）代替Ｔ（ｍ，ｎ），上式亦成立．证：当ｍ＝ｎ＝１时，Ｔ（１，１）ʉ１（ｍｏｄ６），μ（１）＝１，ʑｘＰｊ＋Ｔ（１，１）－２６éëêêêùûúúú＋ｘＰｊ－Ｔ（１，１）６éëêêêùûúúú＋１－１＝２ｘＰｊ－１６éëêêêùûúúú＝２ＤｘＰｊ()，又Ｔ（ｍ，ｎ）－２ʉ－Ｔ（ｎ，ｍ）（ｍｏｄ６ｍｎ）．由定义６和引理１即得（Ⅰ）成立．ȵ（Ｐｊ，ｍｎ）＝（Ｐｊ，Ｚｊ－１）＝１，ʑＴ（Ｐｊｍ，ｎ）ʉＴ（ｍ，ｎ）（ｍｏｄ６ｍｎ）．又Ｔ（Ｐｊ，１）ʉＰ２ｊʉ１（ｍｏｄ６），ʑｘＰｊ＋Ｐ２ｊ－２６éëêêêùûúúú＋ｘＰｊ－Ｐ２ｊ６éëêêêùûúúú＋１－１＝２ｘＰｊ－１６éëêêêùûúúú＝２ＤｘＰｊ()，故（Ⅱ）亦成立，证毕．引理３㊀Ｂ（ｘ，Ｐｊ）－Ｂ∗（ｘ，Ｐｊ）ɤｈ（ｘ，Ｐｊ）＋Ｏ（１）（ｘȡＰ２ｊ），ｈ（ｘ，Ｐｊ）＝ðｄ｜Ｚｊ－１（ｄ＜４ｘ２）μ（ｄ）２ｖ（ｄ）ðɕｎ＝１２ｎπｓｉｎｎπｘ３Ｐｊｄ㊃ｃｏｓｎπＴ（Ｋξ）３Ｐｊｄ－ｃｏｓｎπＴ（Ｋξ）３ｄæèçöø÷，其中Ｔ（Ｋξ）＝ＴＰｊＫξ，Ｚｊ－１Ｋξæèçöø÷，Ｋξ为Ｋｉ｜Ｚｊ－１之某一值，ｖ（ｄ）表示ｄ的不同素因子的个数，ｖ（１）＝０．证：命φ表示Ｋｉ｜Ｚｊ－１的集合，因Ｚｊ－１无重复素因子，故对于任一Ｚｊ－１，Ｋｉ之集合有且仅有ðｊ－１ｋ＝１Ｃｋｊ－１＝２ｊ－１个元素组成，当（ｌ１，ｌ２）＝（ｌ１，６Ｐｊｍｎ）＝（ｌ２，６Ｐｊｍｎ）＝１，有Ｔ（ｌ１Ｐｊｍ，ｌ２ｎ）ʉＴ（Ｐｊｍ，ｎ）（ｍｏｄ６Ｐｊｍｎ）．由引理１，２即可得到：Ｂ（ｘ，Ｐｊ）－Ｂ∗（ｘ，Ｐｊ）＝ðＫｉ｜Ｚｊ－１１２ｊ－１ðｄ｜Ｚｊ－１μ（ｄ）２ｖ（ｄ）㊃æèççｘ＋Ｔ（Ｋｉ）－２６Ｐｊｄéëêùûú＋ｘ－Ｔ（Ｋｉ）６Ｐｊｄéëêùûú－ｘＰｊ＋Ｔ（Ｋｉ）－２６ｄéëêêêùûúúú－ｘＰｊ－Ｔ（Ｋｉ）６ｄéëêêêùûúúúöø÷÷＋１，（１）现估计（１）式中第一㊁三两项中消去－２后所产生的误差Ｒ＝Ｒ１＋Ｒ３，命Ａｉ＝ｘ＋Ｔ（Ｋｉ）有：Ａｉ－２６Ｐｊｄéëêùûú＝［Ａｉ］－２６Ｐｊｄéëêùûú＝Ａｉ６Ｐｊｄéëêùûú－１，当［Ａｉ］ʉ０或１（ｍｏｄ６Ｐｊｄ），Ａｉ６Ｐｊｄéëêùûú，其他．ìîíïïïï故知只有当［Ａｉ］＝６ＰｊＭｉＤｉ＋δ（δ＝０或１，其中Ｄｉ｜Ｚｊ－１）时才产生误差，根据同余的性质有：ðｄ｜Ｄｉμ（ｄ）２ｖ（ｄ）＝１，ｖ（Ｄｉ）为偶数或０，－１，ｖ（Ｄｉ）为奇数，{ʑＲ１ɤ１２ｊ－１ðＫｉ｜Ｚｊ－１１＝１，同样可证得｜Ｒ３｜ɤ１．ʑ｜Ｒ｜ɤ｜Ｒ１｜＋｜Ｒ３｜ɤ２，故由（１）式知必定存在某一Ｋξ｜Ｚｊ－１，使得：Ｂ（ｘ，Ｐｊ）－Ｂ∗（ｘ，Ｐｊ）ɤｈ（ｘ，Ｐｊ）＋Ｏ（１），其中ｈ（ｘ，Ｐｊ）＝ðｄ｜Ｚｊ－１μ（ｄ）２ｖ（ｄ）æèççｘʃＴ（ｋξ）６Ｐｊｄéëêùûú－ｘＰｊʃＴ（Ｋξ）６ｄéëêêêùûúúúöø÷÷，ȵＰｊＫξ｜Ｔ（Ｋξ），Ｚｊ－１Ｋξ｜Ｔ（Ｋξ）－２，（注：以下将Ｔ（Ｋξ）简记作Ｔ）ʑｄ｜Ｚｊ－１｜Ｔ（Ｔ－２）．因ｄ无重复素因子，故知对于任意ｄ，当ｄȡ４ｘ２可分解为ｄ＝ｄ１ｄ２，其中ｄ２ȡｄ１ȡ１，使ｄ２｜Ｔ或者ｄ２｜（Ｔ－２）两者之一成立．显然ｄ２ȡ２ｘ＞ｘ＋２Ｐｊ（ｘȡＰ２ｊ），如ｄ２｜Ｔ成立，有０＜ｘｄ２＝β＜１，Ｔｄ２＝Ｌ，显然（６，Ｌ）＝１，因而－Ｌ６ｑ[]＝－１－Ｌ６ｑ[]（ｑ为正整数），故有：ｘʃＴ６Ｐｊｄ[]－ｘＰｊʃＴ６ｄéëêêêùûúúú＝βʃＬ６Ｐｊｄ１[]－βʃＰｊＬ６Ｐｊｄ１éëêùûú＝ʃＬ６Ｐｊｄ１[]－ʃＬ６ｄ１[]＝０，同样如ｄ２｜（Ｔ－２），则有０＜ｘ＋２ｄ２＝β１＜１，０＜ｘ－２ｄ２＝β２＜１，０＜ｘ＋２Ｐｊｄ２＝β３＜１，０＜ｘ－２Ｐｊｄ２＝β４＜１，Ｔ－２ｄ２＝Ｌ，则（６，Ｌ）＝１，即有ｘʃＴ６Ｐｊｄ[]－ｘＰｊʃＴ６ｄéëêêêùûúúú＝β１＋Ｌ６Ｐｊｄ１éëêùûú＋β２－Ｌ６Ｐｊｄ１éëêùûú－β３＋ＰｊＬ６Ｐｊｄ１éëêùûú－β４－ＰｊＬ６Ｐｊｄ１éëêùûú＝ʃＬ６Ｐｊｄ１[]－ʃＬ６ｄ１[]＝０，ʑｈ（ｘ，Ｐｊ）＝ðｄ｜Ｚｊ－１（ｄ＜４ｘ２）μ（ｄ）２ｖ（ｄ）ｘʃＴ６Ｐｊｄ[]－ｘʃＰｊＴ６Ｐｊｄéëêùûúæèçöø÷＝ðｄ｜Ｚｊ－１（ｄ＜４ｘ２）μ（ｄ）２ｖ（ｄ）ｘʃＰｊＴ６Ｐｊｄ{}－ｘʃＴ６Ｐｊｄ{}æèçöø÷，（２）由Ｆｏｕｒｉｅｒ展开式，当｛α｝ʂ０时有：｛α｝＝－ðɕｎ＝１１ｎπｓｉｎ（２ｎπα）＋１２，（３）ȵＰｊ｜Ｔ，ʑ只需取ｘ，当Ｐｊ｜ｘ，即有（２）式中任意一项｛αｉ｝ʂ０均适用于（３）式，故（２）式又可表示为：ｈ（ｘ，Ｐｊ）＝ðｄ｜Ｚｊ－１（ｄ＜４ｘ２）μ（ｄ）２ｖ（ｄ）ðɕｎ＝１２ｎπｓｉｎｎπｘ３Ｐｊｄ(ｃｏｓｎπＴ３Ｐｊｄ－ｃｏｓｎπＴ３ｄ)，证毕．三、第一类误差值的计算引理４㊀用Ｍ［Ｆ１（ｙ）］表示函数Ｆ１（ｙ）的Ｍｅｌｌｉｎ变换式，若有Ｍ［Ｆ１（ｙ）］＝ðｄ｜Ｚｊ－１（ｄ＜４ｘ２）μ（ｄ）２ｖ（ｄ）ｄｓ－２（ζ（２－ｓ）－１）（ｓ－１），取σ＝ＲｅＳ＝１－１ｌｎｙ，当ｙ＞Ｐｊ时，必有｜Ｆ１（ｙ）｜＝Ｏｌｎ２Ｐｊｙｌｎｙæèçöø÷．证：σ＝１－１ｌｎｙ＞１－１ｌｎＰｊ＞０．首先证明Ｍ［Ｆ１（ｙ）］绝对收敛．令Ｈ（ｓ）＝ðｄ｜Ｚｊ－１（ｄ＜４ｘ２）μ（ｄ）２ｖ（ｄ）ｄｓ－２，（４）则Ｈ（ｓ）ɤðｄ｜Ｚｊ－２｜μ（ｄ）｜２ｖ（ｄ）｜ｄｓ－２｜＝ᵑＰ｜Ｚｊ－１（１＋２Ｐσ－２），ʑｌｎ｜Ｈ（ｓ）｜ɤｌｎᵑＰ｜Ｚｊ－１（１＋２Ｐσ－２）＝ðＰ１ɤＰɤＰｊ－１ｌｎ（１＋２Ｐ－１－１ｌｎｙ）ɤðＰ１ɤＰɤＰｊ－１２Ｐ－１＝２ｌｎｌｎＰｊ＋Ｏ（１）．（参见文献［２］第七章ɦ３Ｍｅｒｔｅｎｓ公式）ʑ｜Ｈ（ｓ）｜＝Ο（ｌｎ２Ｐｊ）绝对收敛．又Ｒｅ（２－ｓ）＝１＋１ｌｎｙ＞１，令ｂ１（ｕ）＝｛ｕ｝－１２，有ζ（２－ｓ）＝１１－ｓ＋１２－（２－ｓ）ʏɕ１ｂ１（ｕ）ｕ３－ｓｄｕ＝－１ｓ－１＋１＋ʏɕ１｛ｕ｝ｄｕｓ－２，（参考文献［１］第八章ɦ２）ʏɕ１｛ｕ｝ｄｕｓ－２为｛ｕ｝ʂ０时的瑕积分，记作Ｐ㊃Ｖ．Ｐ㊃Ｖʏɕ１｛ｕ｝ｄｕｓ－２＝｛ｕ｝ｕｓ－２ɕ１－Ｐ㊃Ｖʏɕ１ｕｓ－２ｄ｛ｕ｝＝－Ｐ㊃Ｖʏɕ１ｕｓ－２ｄ｛ｕ｝ｄｕｄｕ，当｛ｕ｝ʂ０，由（３）式有ｄ｛ｕ｝ｄｕ＝－２ðɕｎ＝１ｃｏｓ（２ｎπｕ）＝－ｌｉｍλңɕｓｉｎλ＋１２()２πｕｓｉｎπｕ＋１，（参考文献［７］（３．６．１）式）综上即得：Ｑ＝（ζ（２－ｓ）－１）（ｓ－１）＝－１＋（ｓ－１）Ｐ㊃Ｖʏɕ１ｕｓ－２ｌｉｍλңɕｓｉｎλ＋１２()２πｕｓｉｎπｕ－１æèççöø÷÷ｄｕ＝－１＋Ｐ㊃Ｖʏɕ１（ｌｉｍλңɕｓｉｎλ＋１２()２πｕｓｉｎπｕ－１）ｄｕｓ－１＝Ｐ㊃Ｖʏɕ１ｌｉｍλңɕｓｉｎλ＋１２()２πｕｓｉｎπｕｄｕｓ－１，ʑ｜Ｑ｜ɤＰ㊃Ｖʏɕ１｜ｌｉｍλңɕｓｉｎλ＋１２()２πｕｓｉｎπｕ｜㊃｜ｄｕｓ－１｜＝｜ｌｉｍλңɕｓｉｎλ＋１２()２πξｓｉｎπξ｜ʏɕ１ｄｕ－１ｌｎｙ｜ɤ１ｓｉｎπξ＜＋ɕ（｛ξ｝ʂ０），ʑＭ［Ｆ１（ｙ）］绝对收敛．令ʏ（σ）＝ｌｉｍＡңɕʏσ＋ｉＡσ－ｉＡ，由文献［１］第十二章ɦ１引理１有：Ｆ１（ｙ）＝１２πｉʏ（σ）Ｍ［Ｆ１（ｙ）］ｙ－ｓｄｓ＝１２πｉʏ（σ）Ｈ（ｓ）（ζ（２－ｓ）－１）（ｓ－１）ｙ－ｓｄｓ＝－１２πｉʏ（σ）Ｈ（ｓ）（ζ（２－ｓ）－１）ｄｙ－ｓ＋１ｄｙｄｓ＝ｉ２πʏ（σ）Ｈ（ｓ）（ζ（２－ｓ）－１）ｄｓｄｙｄｙ－ｓ＋１．ȵζ（２－ｓ）－１＝ðɕｎ＝２１ｎ２－ｓ，ʑ｜ζ（２－ｓ）－１｜ɤðɕｎ＝２１ｎ１＋１ｌｎｙ＝ʏɕ１ｄｕｕ１＋１ｌｎｙ＋Ｏ（１）＝－ｌｎｙ㊃ｕ－１ｌｎｙɕ１＋Ｏ（１）＝ｌｎｙ＋Ｏ（１），ｄｓｄｙ＝ｄ１ｌｎｙｄｙ＝１ｙｌｎ２ｙ，｜ｙｉｔ｜＝｜ｅｉｔｌｎｙ｜＝１，ｙ－σ＋１＝ｙ１ｌｎｙ＝ｅ．当ｙ＞Ｐｊ，ｌｎｙ＞ｌｎＰｊ≫１，ʑ｜Ｆ１（ｙ）｜ɤʏ（σ）｜Ｈ（ｓ）｜｜ζ（２－ｓ）－１｜ｄｓｄｙ｜ｄｙ－ｓ＋１｜ɤʏ（σ）Ｏ（ｌｎ２Ｐｊ）（ｌｎｙ＋Ｏ（１））１ｙｌｎ２ｙｄｙ１ｌｎｙ＝Ｏｌｎ２Ｐｊｙｌｎｙæèçöø÷，证毕．引理５㊀对于充分大的ｘ，恒有Ｂ（ｘ，Ｐｊ）－Ｂ∗（ｘ，Ｐｊ）ɤＯｘｌｎ３ＰｊＰ２ｊæèçöø÷＋Ｏ（１），当Ｐｊɤｘ１２时，误差项Ｏ（１）可以不计．证：（Ⅰ）当Ｐｊɤ６ｌｎｘ时，ȵðɕｎ＝１２ｎπｓｉｎｎπαｃｏｓｎπβɤ１，又ｖ（Ｐ）＝１，由引理３有：ｈ（ｘ，Ｐｊ）ɤ２ðｄ｜Ｚｊ－１｜μ（ｄ）｜２ｖ（ｄ）＝２ᵑＰ｜Ｚｊ－１（１＋２ｖ（Ｐ））＝２㊃３ｊ－１．由素数定理得ｊ＝π（Ｐｊ）＝ＰｊｌｎＰｊ１＋Ｏ１ｌｎＰｊ()()．ʑＢ（ｘ，Ｐｊ）－Ｂ∗（ｘ，Ｐｊ）ɤ２㊃３ｊ－１＋Ｏ（１）＜３ｊɤ３７ｌｎｘｌｎｌｎｘ＝ｘ７ｌｎ３ｌｎｌｎｘ＜ｘ１２≪ｘｌｎ３ＰｊＰ２ｊ．（Ⅱ）当ｘ１２＜Ｐｊɤｘ，显然有Ｂ（ｘ，Ｐｊ）－Ｂ∗（ｘ，Ｐｊ）＝Ｂ（ｘ，Ｐｊ）＝１，Ｐｊ与Ｐｊ＋２为孪生素数，０，其他．{（Ⅲ）现着重讨论６ｌｎｘ＜Ｐｊɤｘ１２的情形．由引理３我们有：㊀ｈ（ｘ，Ｐｊ）＝ðｄ｜Ｚｊ－１（ｄ＜４ｘ２）μ（ｄ）２ｖ（ｄ）ðɕｎ＝１４ｎπ㊃ｎπｄ㊃ｓｉｎｎπｘ３ＰｊｄʏＴ６Ｔ６Ｐｊｓｉｎ２ｎπｑｄｄｑ＝ʏＴ６Ｔ６Ｐｊðｄ｜Ｚｊ－１（ｄ＜４ｘ２）μ（ｄ）２ｖ（ｄ）ðɕｎ＝１２ｄ(ｃｏｓｑ－ｘ６Ｐｊｄ２ｎπ－ｃｏｓｑ＋ｘ６Ｐｊｄ２ｎπ)ｄｑ＝ʏＴ６Ｔ６Ｐｊʏｑ＋ｘ６Ｐｊｑ－ｘ６Ｐｊ(ðｄ｜Ｚｊ－１（ｄ＜４ｘ２）μ（ｄ）２ｖ（ｄ）ðɕｎ＝１４ｎπｄ２ｓｉｎ２ｎπｄｙ)ｄｙｄｑ＝ʏＴ６Ｔ６Ｐｊʏｑ＋ｘ６Ｐｊｑ－ｘ６ＰｊＦ（ｙ）ｄｙｄｑ．由积分不等式，当ｂ＞ａȡ０时，若在区间［ａ，ｂ］上ｆ（ｘ），ｇ（ｘ）可积，｜ｆ（ｘ）｜ɤ｜ｇ（ｘ）｜，则有ʏｂａｆ（ｘ）ｄｘɤʏｂａ｜ｆ（ｘ）｜ｄｘɤʏｂａ｜ｇ（ｘ）｜ｄｘ．又Ｆ（ｙ）可积，则有：ｈ（ｘ，Ｐｊ）ɤʏＴ６Ｔ６Ｐｊʏｑ＋ｘ６Ｐｊｑ－ｘ６ＰｊＦ（ｙ）ｄｙｄｑ，（５）Ｆ（ｙ）是实连续函数，ｙ＞０（见（９）式），我们可对其取Ｍｅｌｌｉｎ变换，令ＲｅＳ＝１－１ｌｎｙ，当α＞０时，Ｍ［ｓｉｎαｘ］＝ʏɕ０ｓｉｎαｘ㊃ｘｓ－１ｄｘ＝α－ｓΓ（ｓ）ｓｉｎπｓ２，ʑＭ［Ｆ（ｙ）］＝ðｄ｜Ｚｊ－１（ｄ＜４ｘ２）μ（ｄ）２ｖ（ｄ）ðɕｎ＝１（ｎπ）１－ｓ２２－ｓΓ（ｓ）ｄｓ－２ｓｉｎπｓ２，（６）ðɕｎ＝１ｎ１－ｓ＝ζ（ｓ－１），Γ（ｓ）＝（ｓ－１）Γ（ｓ－１）（文献［５］第二章ɦ２定理２），ｓｉｎπｓ２＝ｃｏｓπ（ｓ－１）２．根据ＲｉｅｍａｎｎＺｅｔａ函数解析开拓的性质（文献［３］第二篇第二章ɦ２定理２．１）有ζ（１－ｓ）＝２１－ｓπ－ｓｃｏｓπｓ２Γ（ｓ）ζ（ｓ）普遍成立．ʑ由（６）式和（４）式有：Ｍ［Ｆ（ｙ）］＝ζ（ｓ－１）Γ（ｓ－１）（ｓ－１）π１－ｓ２２－ｓＨ（ｓ）㊃ｃｏｓπ（ｓ－１）２＝ζ（２－ｓ）（ｓ－１）Ｈ（ｓ），令Ｆ（ｙ）＝Ｆ１（ｙ）＋Ｆ２（ｙ），则Ｍ［Ｆ（ｙ）］＝Ｍ［Ｆ１（ｙ）］＋Ｍ［Ｆ２（ｙ）］，其中Ｍ［Ｆ１（ｙ）］＝（ζ（２－ｓ）－１）（ｓ－１）Ｈ（ｓ），（７）Ｍ［Ｆ２（ｙ）］＝（ｓ－１）Ｈ（ｓ），相应地，ｈ（ｘ，Ｐｊ）＝ｈ１（ｘ，Ｐｊ）＋ｈ２（ｘ，Ｐｊ），首先证明ｈ２（ｘ，Ｐｊ）＝０．ȵＰｊＫξＴ，Ｚｊ－１Ｋξ（Ｔ－２）（见引理３），ʑＴȡＰｊＫξ，Ｔ－２ȡＺｊ－１Ｋξ，Ｔ２＞Ｔ（Ｔ－２）ȡＰｊＫξ㊃Ｚｊ－１Ｋξ＝ＰｊＺｊ－１＝Ｚｊ，Ｔ＞Ｚｊ（注：当ｘȡＰ２ｊ，必有ｄ通过所有ＰɤＰｊ－１，故（５）式中Ｔ不变．）由文献［１］第三章ɦ１定理２契贝谢夫θ函数性质有：ｌｎＴ＞１２ｌｎＺｊ＞１２－ε()Ｐｊȡ１２－ε()６ｌｎｘ＞２．８ｌｎｘ，即有１ｌｎＴ＝Ｏ１Ｐｊ()，（８）及Ｔ＞ｘ２．８，又ｘȡＰ２ｊ，由（５）式知ｙȡｑ－ｘ６ＰｊȡＴ－ｘ６Ｐｊ＞ｘ２．８－ｘ６ｘ≫ｘ２．２≫４ｘ２，（９）ｈ２（ｘ，Ｐｊ）＝ʏＴ６Ｔ６Ｐｊʏｑ＋ｘ６Ｐｊｑ－ｘ６ＰｊＦ２（ｙ）ｄｙｄｑ＝(ʏɕＴ－ｘ６Ｐｊ－ʏɕＴ－ｘＰｊ６－ʏɕＴ＋ｘ６Ｐｊ＋ʏɕＴ＋ｘＰｊ６)ʏɕφＦ２（η）ｄηｄφ，由Ｍｅｌｌｉｎ变换公式（文献［８］５８１页），若Ｍ［ｆ（ｙ）］＝Ｍ（ｓ），则有：Ｍ［ʏɕｙｆ（φ）ｄφ］＝Ｍ（ｓ＋１）ｓ成立，由此推出：Ｍ［ʏɕｙʏɕφｆ（η）ｄηｄφ］＝Ｍ（ｓ＋２）（ｓ＋１）ｓ成立．令Ｕ（ｙ）＝ʏɕｙʏɕφＦ２（η）ｄηｄφ，由Ｍ［Ｆ２（ｙ）］＝（ｓ－１）Ｈ（ｓ）得到Ｍ［Ｕ（ｙ）］＝（ｓ＋２－１）Ｈ（ｓ＋２）（ｓ＋１）ｓ＝１ｓＨ（ｓ＋２），由（９）式ｙ≫４ｘ２，即σ＝１－１ｌｎｙ＞０，因而｜Ｍ［Ｕ（ｙ）］｜＝１σ＋ｉｔＨ（２＋σ＋ｉｔ）ɤðｄ｜Ｚｊ－１｜μ（ｄ）｜２ｖ（ｄ）ｄσ１σ＋ｉｔ＝１σ２＋ｔ２ðｄ｜Ｚｊ－１｜μ（ｄ）｜２ｖ（ｄ）ｄσ＜＋ɕ绝对收敛．即有：Ｕ（ｙ）＝１２πｉʏσ＋ｉɕσ－ｉɕＭ［Ｕ（ｙ）］ｙ－ｓｄｓ＝１２πｉʏσ＋ｉɕσ－ｉɕðｄ｜Ｚｊ－１（ｄ＜４ｘ２）μ（ｄ）２ｖ（ｄ）１ｓｄｙ()ｓｄｓ，根据Ｍｅｌｌｉｎ变换表（文献［８］５８２页）有１２πｉʏσ＋ｉɕσ－ｉɕ１ｓαｙ()ｓｄｓ＝１（ｙ＜α），０（ｙ＞α），{（σ＞０）由（９）式得ｙ＞４ｘ２＞ｄ，ʑＵ（ｙ）＝０，即可得到ｈ２（ｘ，Ｐｊ）的各项积分均为０，ʑｈ２（ｘ，Ｐｊ）＝０．又Ｆ１（ｙ）满足引理４的条件，由（５）式有：ｈ（ｘ，Ｐｊ）＝ｈ１（ｘ，Ｐｊ）ɤＯʏＴ６Ｔ６Ｐｊʏｑ＋ｘ６Ｐｊｑ－ｘ６Ｐｊｌｎ２Ｐｊｙｌｎｙｄｙｄｑæèçöø÷＝Ｏｌｎ２ＰｊʏＴ６Ｔ６Ｐｊｌｎｌｎｑ＋ｘ６Ｐｊ()ｌｎｑ－ｘ６Ｐｊ()ｄｑæèçççöø÷÷÷＝Ｏｘｌｎ２ＰｊＰｊʏＴ６Ｔ６Ｐｊｄｑｑｌｎｑæèçöø÷＝Ｏｘｌｎ２ＰｊＰｊｌｎｌｎＴ６ｌｎＴ６Ｐｊæèçççöø÷÷÷＝Ｏｘｌｎ３ＰｊＰｊｌｎＴæèçöø÷＝Ｏｘｌｎ３ＰｊＰ２ｊæèçöø÷．注１：上式中，ｌｎｌｎｑ＋ｘ６Ｐｊ()ｌｎｑ－ｘ６Ｐｊ()＝ｌｎｌｎｑ＋ｌｎ１＋ｘ６ｑＰｊ()ｌｎｑ＋ｌｎ１－ｘ６ｑＰｊ()＝Ｏｌｎ１＋１ｌｎｑｌｎ１＋ｘ６ｑＰｊ()()()＝Ｏ１ｌｎｑｌｎ１＋ｘ６ｑＰｊ()()＝Ｏ１ｌｎｑ㊃ｘ６ｑＰｊ()＝ＯｘＰｊｑｌｎｑ()．注２：上式中，ｌｎｌｎＴ６ｌｎＴ６ｑＰｊ＝ｌｎｌｎＴ６ｌｎＴ６＋ｌｎ１Ｐｊ＝ｌｎ１１－ｌｎＰｊｌｎＴ６＝Ｏｌｎ１＋ｌｎＰｊｌｎＴ６æèççöø÷÷æèççöø÷÷＝ＯｌｎＰｊｌｎＴæèçöø÷．最后一步用到（８）式，综上即得到引理．证毕．四㊁函数Ｇ（ｕ）的性质引理６若Ｇ（ｕ）满足方程Ｇ（ｕ）＝１ｕ２，㊀㊀㊀㊀㊀㊀１ɤｕɤ２，㊀㊀㊀㊀（１０）（ｕ２Ｇ（ｕ））ᶄ＝２ｕＧ（ｕ－１），ｕ＞２，（１１）{则Ｇ（ｕ）为连续函数，对于任意ｕȡ１，恒有１４ɤＧ（ｕ）ɤ１．证：令Ｇ（ｕ）＝Ｇ１（ｕ）＋Ｇ２（ｕ），其中Ｇ１（ｕ），Ｇ２（ｕ）满足方程：Ｇ１（ｕ）＝１ｕ２，Ｇ２（ｕ）＝０，㊀１ɤｕɤ２，（ｕ２Ｇ１（ｕ））ᶄ＝２ｕＧ２（ｕ－１），（ｕ２Ｇ２（ｕ））ᶄ＝２ｕＧ１（ｕ－１），ｕ＞２，{解之即知Ｇ１（ｕ），Ｇ２（ｕ）均为连续函数，故Ｇ（ｕ）为连续函数．由（１０）式知，当１ɤｕɤ２时，有１４ɤＧ（ｕ）ɤ１成立．用数学归纳法证明，当ｕ＞２时，也有１４ɤＧ（ｕ）ɤ１．由（１１）式即得：ｕ２Ｇ（ｕ）－２２Ｇ（２）＝２ʏｕ２ｔＧ（ｔ－１）ｄｔɤ２ʏｕ２ｔｄｔ＝ｕ２－２２，ʑＧ（ｕ）ɤ１－３ｕ２ɤ１．又ｕ２Ｇ（ｕ）－２２Ｇ（２）＝２ʏｕ２ｔＧ（ｔ－１）ｄｔȡ１２ʏｕ２ｔｄｔ＝１４（ｕ２－２２）＝１４ｕ２－１，ʑＧ（ｕ）ȡ１４．证毕．五、定理的反证１．在假设基础上得到的结果（第二类误差值的计算）引理７㊀对于充分大的Ｎ，当ｙȡＮ时，假设恒有ω（ｙ）＜Ｃｙｌｎ２ｙ㊀（１２）成立，Ｃ＝０．３７，则当ｘ１２ȡＰｊȡｌｎｘȡＮ时，恒有Ｂ（ｘ，Ｐｊ）＜２ＣＧ（ｕ）ｘＰｊｌｎ２Ｐｊ＋ＯｘＰｊｌｎ３Ｐｊæèçöø÷成立，其中Ｐｊ＝ｘ１ｕ＋１，即ｕ＝ｌｎｘｌｎＰｊ－１．证：用数学归纳法证明．当Ｎ充分大，ＰｊȡＮ时，有Ｐｊȡｌｎ７Ｐｊ，故有ｘＰ２ｊｌｎ３ＰｊɤｘＰｊｌｎ４Ｐｊ．当ｘ１２ȡＰｊȡｘ１３（１ɤｕɤ２）时，由（１２）式，引理５，定义６及推论２有：Ｂ（ｘ，Ｐｊ）ɤＢ∗（ｘ，Ｐｊ）＋ＯｘＰ２ｊｌｎ３Ｐｊæèçöø÷＝２ωｘＰｊ()－２ω（Ｐｊ－１）＋ＯｘＰｊｌｎ４Ｐｊæèçöø÷＜２ＣｘＰｊｌｎ２ｘＰｊ()＋ＯｘＰｊｌｎ４Ｐｊæèçöø÷＝２ＣｘＰｊ（ｌｎｘｕｕ＋１）２＋ＯｘＰｊｌｎ４Ｐｊæèçöø÷＝２Ｃｘｕ２Ｐｊｌｎ２Ｐｊ＋ＯｘＰｊｌｎ３Ｐｊæèçöø÷，即知当１ɤｕɤ２时，Ｇ（ｕ）＝１ｕ２，引理成立．若ｘ１ｋ－１ȡＰｊȡｘ１ｋ，ｋȡ３（即ｋ－２ɤｕɤｋ－１），引理成立，则当ｘ１ｋȡＰｊȡｘ１ｋ＋１，ｋ－１ɤｕɤｋ时由引理５及推论２有：Ｂ（ｘ，Ｐｊ）ɤＢ∗（ｘ，Ｐｊ）＋ＯｘＰ２ｊｌｎ３Ｐｊæèçöø÷＝２ðＰｊɤＰｉɤｘＰｊ()１２ＢｘＰｊ，Ｐｉ()＋２ωｘＰｊ()－２ωｘＰｊ()１２()＋ＯｘＰｊｌｎ４Ｐｊæèçöø÷．此处着重说明：在以上递推计算中每项都有一个差式，如记作ω＋ｉ－ω－ｉ，易见对于每个差式，恒有ω＋ｉȡω－ｉȡω（Ｐｊ），故参加递推和式计算之ω（ｔ）均符合引理假设的条件，即：ωｘＰｊ()ȡω（ｔ）ȡω（Ｐｊ）ȡω（ｌｎｘ）ȡω（Ｎ）．又ｘ１ｋ＋１ɤＰｊ，ʑｘɤＰｋ＋１ｊ，即有ｘＰｊ()１ｋɤＰｊɤＰｉɤｘＰｊ()１２．因而可由已知递推得：Ｂ（ｘ，Ｐｉ）＜４ＣðＰｊɤＰｉɤｘＰｊ()１２ＧｌｎｘＰｊｌｎＰｉ－１æèççöø÷÷ｘＰｊＰｉｌｎ２Ｐｉ＋ＯðＰｊɤＰｉɤｘＰｊ()１２２ｘＰｊＰｉｌｎ３Ｐｉæèçöø÷＋２ＣｘＰｊｌｎ２ｘＰｊ()＋ＯｘＰｊｌｎ４Ｐｊæèçöø÷，（１３）用Ａｂｅｌ恒等式计算：Ω＝ðＰｊɤＰｉɤｘＰｊ()１２ＧｌｎｘＰｊｌｎＰｉ－１æèççöø÷÷１Ｐｉｌｎ２Ｐｉ，在文献［１］第三章ɦ１引理２中取Ａ（ｔ）＝ðＰɤｔｌｎＰＰ，当ｔȡＰｊȡｌｎｘ充分大时，由文献［１］第四章命题（Ｃ）式有：Ａ（ｔ）＝ðｎɤｔΛ（ｎ）ｎ－ðｍȡ２ðＰɤｔ１ｍｌｎＰＰｍ＝ｌｎｔ－γ＋Ｏ（１）－Ｅ（ｔ），其中γ为Ｅｕｌｅｒ常数，Ｅ（ｔ）＝ðｍȡ２ðＰｌｎＰＰｍ－ðｍȡ２ðＰ＞ｔ１ｍｌｎＰＰｍ＝α１＋Ｏʏɕｔｌｎｑｑ２ｄｑæèçöø÷＝α１＋Ｏｌｎｔｔæèçöø÷＝α１＋Ｏ（１），ʑＡ（ｔ）＝ｌｎｔ－α＋Ｏ（１），ȵα１，γ均为与ｔ无关的常数，ʑα亦为与ｔ无关之常数．令Ｈ（ｔ）＝ｌｎｔ，ｒ（ｔ）＝－α＋Ｏ（１），ｆ（ｔ）＝ＧｌｎｘＰｊｌｎｔ－１æèççöø÷÷１ｌｎ３ｔ．ȵＨ（ｔ）连续可微，及１４ɤＧ（ｕ）ɤ１，由文献［１］第三章ɦ１引理２即可得到：Ω＝ʏｘＰｊ()１２ＰｊＧｌｎｘＰｊｌｎｔ－１æèççöø÷÷ｄｔｔｌｎ３ｔ＋ＲｘＰｊ()１２，Ｐｊ()其中ＲｘＰｊ()１２，Ｐｊ()＝ｒｘＰｊ()１２()ｆｘＰｊ()１２()－ｒ（Ｐｊ）ｆ（Ｐｊ）－ʏｘＰｊ()１２Ｐｊｒ（ｔ）ｆᶄ（ｔ）ｄｔ＝ＯｆｘＰｊ()１２()＋Ｏ（ｆ（Ｐｊ））＋ＯʏｘＰｊ()１２Ｐｊｆᶄ（ｔ）ｄｔ()＝Ｏ１ｌｎ３Ｐｊæèçöø÷．故由（１３）式即有：Ｂ（ｘ，Ｐｉ）＜４ＣｘＰｊʏｘＰｊ()１２ＰｊＧｌｎｘＰｊｌｎｔ－１æèççöø÷÷ｄｔｔｌｎ３ｔ＋ＯｘＰｊｌｎ３Ｐｊæèçöø÷＋ＯｘＰｊʏｘＰｊ()１２Ｐｊ２ｔｌｎ４ｔæèçöø÷ｄｔ＋２ＣｘＰｊｌｎ２ｘＰｊ()＋ＯｘＰｊｌｎ４Ｐｊæèçöø÷＝４ＣｘＰｊｌｎ２ｘＰｊ()ʏｘｕ２（ｕ＋１）ｘ１ｕ＋１ＧｌｎｘＰｊｌｎｔ－１æèççöø÷÷㊃ｌｎｘＰｊｌｎｔæèççöø÷÷３ｄｌｎｔｌｎｘＰｊæèççöø÷÷＋ＯｘＰｊｌｎ３Ｐｊæèçöø÷＋ＯｘＰｊʏ１２ｌｎｘＰｊｌｎＰｊ２τ４ｄτæèçöø÷＋２Ｃｘｕ２Ｐｊｌｎ２Ｐｊ＋ＯｘＰｊｌｎ４Ｐｉæèçöø÷＝２Ｃｘｕ２Ｐｊｌｎ２Ｐｊʏｕ２２βＧ（β－１）ｄβ＋Ｏ２ｘ３Ｐｊｌｎ３Ｐｊæèçöø÷＋ＯｘＰｊｌｎ３Ｐｊæèçöø÷＋２Ｃｘｕ２Ｐｊｌｎ２Ｐｊ＝２Ｃｘｕ２Ｐｊｌｎ２Ｐｊ［β２Ｇ（β）］ｕ２＋ＯｘＰｊｌｎ３Ｐｊæèçöø÷＋２Ｃｘｕ２Ｐｊｌｎ２Ｐｊ＝２ＣＧ（ｕ）ｘＰｊｌｎ２Ｐｊ＋ＯｘＰｊｌｎ３Ｐｊæèçöø÷，其中２２Ｇ（２）＝１，故引理亦成立．证毕．２．由正态分布及其误差值计算所得到的结果引理８㊀当１００ｌｎｘȡＰｊȡｌｎｘȡＮ时，有Ｂ（ｘ，Ｐｊ）＞０．７５ｘＰｊｌｎ２Ｐｊ．证：由引理１即可得到：Ｂ（ｘ，Ｐｊ）＝ðｍ｜Ｚｊ－１ｎ｜Ｚｊ－１μ（ｍｎ）２ｘ６Ｐｊｍｎ＋Ｏ（３ｊ）＝ｘ３Ｐｊðｄ｜Ｚｊ－１μ（ｄ）２ｖ（ｄ）ｄ＋Ｏ（３ｊ）＝ｘ３ＰｊᵑＰ｜Ｚｊ－１１－２Ｐ()＋Ｏ（３ｊ）（参见文献［３］１５页）ᵑＰ｜Ｚｊ－１１－２Ｐ()＝ᵑＰ｜Ｚｊ－１（Ｐ－１）２Ｐ２ᵑＰ｜Ｚｊ－１Ｐ（Ｐ－２）（Ｐ－１）２＝ᵑＰ｜Ｚｊ－１Ｐ－１Ｐ()２ᵑＰ｜Ｚｊ－１１－１（Ｐ－１）２æèçöø÷，由Ｍｅｒｔｅｎｓ公式（文献［２］第七章ɦ３）有ᵑＰ｜Ｚｊ－１Ｐ－１Ｐ()＝３㊃（２－１）（３－１）２㊃３ᵑＰ｜Ｚｊ－１Ｐ－１Ｐ＝３ｅ－ｒｌｎＰｊ１＋Ｏ１ｌｎＰｊ()()，又１＞ᵑＰ｜Ｚｊ－１１－１（Ｐ－１）２æèçöø÷＞ᵑＰ１－１（Ｐ－１）２æèçöø÷＞（３２－１）ᵑ（Ｐ２－１）３２ᵑＰ２＝４３（２２－１）（３２－１）ᵑ（Ｐ２－１）２２㊃３２ᵑＰ２éëêêùûúú＝４３ðɕｎ＝１１ｎ２æèçöø÷－１＝４３π２６()－１＝８π２＞０．８１．由素数定理，当ｌｎｘ充分大时，有ｊɤ１．１ＰｊｌｎＰｊɤ１１０ｌｎｘｌｎｌｎｘ＜１２ｌｎｘ，ʑＯ（３ｊ）＝Ｏ（３１２ｌｎｘ）＝Ｏ（ｘｌｎ３２）＝Ｏ（ｘ０．６）．综上即得Ｂ（ｘ，Ｐｊ）＝ｘ３Ｐｊ㊃９ｅ－２ｒｌｎ２Ｐｊ１＋Ｏ１ｌｎＰｊ()()２㊃ᵑＰ｜Ｚｊ－１１－１（Ｐ－１）２æèçöø÷＋Ｏ（ｘ０．６）＞３ｅ－２ｒ（１－０．０１）２０．８１ｘＰｊｌｎ２Ｐｊ＋Ｏ（ｘ０．６）＞０．７５０７ｘＰｊｌｎ２Ｐｊ＋Ｏ（ｘ０．６）＞０．７５ｘＰｊｌｎ２Ｐｊ，证毕．三㊁结㊀论当１００ｌｎｘȡＰｊȡｌｎｘȡＮ时，由引理７又有：Ｂ（ｘ，Ｐｊ）＜２ＣＧ（ｕ）ｘＰｊｌｎ２Ｐｊ＋ＯｘＰｊｌｎ３Ｐｊæèçöø÷ɤ２ＣｘＰｊｌｎ２Ｐｊ＋ＯｘＰｊｌｎ３Ｐｊæèçöø÷＜（２Ｃ＋ε）ｘＰｊｌｎ２Ｐｊ＜０．７５ｘＰｊｌｎ２Ｐｊ，这就与引理８的结果相矛盾，因此引理７的假设不能成立．因引理７计算中的ω（ｔ）均为：ω（ｘ）ȡω（ｔ）ȡω（ｌｎｘ）ȡω（Ｎ），故可推出至少存在一点ξ，ｘȡξȡｌｎｘ，有：ω（ξ）ȡ０．３７ξｌｎ２ξ成立．故有：ω（［ξ］）＝ω（ξ）ȡ０．３７ξｌｎ２ξȡ０．３７［ξ］ｌｎ２［ξ］．（１４）即可推出在［Ｎ，ｅＮ］之间至少有一个整数点ｍ１使（１４）式成立，同样在［ｍ１，ｅｍ１］之间至少有一个整数点ｍ２使（１４）式成立，如此等等，依次类推，就证明了定理的真实性．由上述我们立即可以得到一个简单的推论：对于任意ｘȡＮ，总有：ω（ｘ）ȡ０．３７ｌｎｘ（ｌｎｌｎｘ）２成立．孪生素数猜想得证．定理证毕．ʌ参考文献ɔ［１］潘承洞，潘承彪．素数定理的初等证明［Ｍ］．上海：上海科学技术出版社，１９８８．［２］潘承洞，潘承彪．哥德巴赫猜想［Ｍ］．北京：科学出版社，１９８１．［３］闵嗣鹤．数论的方法（上册）［Ｍ］，北京：科学出版社，１９８１．［４］闵嗣鹤，严士健．初等数论（第二版）［Ｍ］．北京：人民教育出版社，１９８２．［５］［苏］Ａ．Ａ．卡拉楚巴著，潘承彪，张南岳译．解析数论基础（中译本）［Ｍ］．北京：科学出版社，１９８４．［６］华罗庚．数论导引［Ｍ］．北京：科学出版社，１９７９．［７］Ｇ．Ｈ．哈代，Ｗ．Ｗ．洛戈辛斯基著，徐瑞云，王斯雷译．富里埃级数（中译本）［Ｍ］．上海：上海科学技术出版社，１９７８．［８］‘数学手册“编写组．数学手册［Ｍ］．北京：人民教育出版社，１９７９．［９］潘承洞．素数分布与哥德巴赫猜想［Ｍ］．济南：山东科学技术出版社，１９７９．。
孪生素数有无穷多对的简单证明
孪生素数有无穷多对的简单证明大于1的正整数，如果仅有1和自身两个因子，则称它为素数，否则为合数，以p n表示第n个素数，例如，p1=2，p2=3，p3=5……p168=997，…。
令d n=P n+1-P n，则d1=1，d2=2…。
人们自然地提出一个问题，是不是有无穷多个d n=2？这是一个尚未解决的问题。
1、序号筛法Eratosthenes筛法即给定一个正整数x，把不超过x的一切正整数按大小关系排成一串，1，2，3，4，5，……x，记p x是不大于X1/2的最大素数，从上述数串中，首先划去1，然后逐项的划去。
22+2n32+3n52+5n……（n=1，2，3，4……）最后该数串留下的数都是素数，显然对任何给定的正整数串，用上面的方法，也可以找出其中的素数。
令大写字母表示集合，N表示自然数集合，P表示所有素数的集合，P1表示从P中去掉2，3，后的集合，即P1={5，7，11，13，17，19……}对任何P∈P1，P的型式不为6K-1，就为6L+1，其中K，L为某个整数，对任何P∈P1，引入一个关联的伴生数，q，使得|p-q|=2，我们不妨约定，若p=6k-1，取q=6k+1，若p=6k+1，取q=6k-1，q可以是素数，也可以合数。
例如：p=5，7，11，13，17，19，23，29，31……q=7，5，13，11，19，17，25，31，29…令N0={0}UN={0。
1，2，3，4，5……}，对任何P∈P1记显然（p2-1）/6和（pq+1）/6都是整数，Lp、Sp、L及S都是N的子集，N与L、N与S的差集分别简记为。
引理1，若a∈L p，则6a-1为合数，若b∈S p，则6b-1为合数。
证明：对任何P∈P1，若a∈L P，则存在一个n∈N0。
使得a=(P2-1)/6+np；若n∈S p，则存在一个m∈N0，使得b=(pq+1)/6+mp，由此有等式6a+1=p （p+6n）及6b-1=p（q+6m）为合数。
孪生素数猜想研究(一)
分步积分
x
udu ln t ln(u 2) (u 2)
2 x
x/t
x
ud u 2 ln u ln(u 2) (u 2)
2 /
x/t
x u u (u 2)du 2 2 6 ln u ln(u 2) x / t ln u ln(u 2) (u 2) u ln(u 2)du 2 2 x/t ln u ln(u 2)2 ln x ln(x 2) ln x / t ln(x / t 2) x x/t
生素数猜想。许多人认为已经证明了这一猜想，但本人以为该猜想 依然是猜想。英国数学家哈代和李德伍兹曾给出过一个猜测，如果 2 ( x) 代表不大于x的孪生素数个数，则有： x dt 2 ( x) 2c2 2 2 ln t
p( p 2) 0.6601611.... C2 2 p3 ( p 1)
(x)
x ln x a n
（其中 an 是指任意条件下满足上式的值）结合（13）
再结合 Abel 中的 (n 2) (n 3) 可以使 cn 变为一个可微分连续函数， 恒等式可以使 2 (x) 有界，并可以估算出其上界。但计算和证明较复 杂，这里不再赘述。
参考资料： [1]卢昌海个人主页《孪生素数猜想》2003 年 4 月 6 日纽约 [2]潘承洞 潘承彪《素数定理的初等证明》上海科学技术出版社 1988 年第 8 页 [3]潘承洞 潘承彪《素数定理的初等证明》上海科学技术出版社 1988 年第 59 页
又因为
( x ) v ( n ) ，设 b x , t 2, x , 而
“哥德巴赫猜想”及“孪生素数猜想”证明(精简版)
“哥德巴赫猜想”及“孪生素数猜想”的证明王若仲 1 谭谟玉2贵州省务川自治县实验学校王若仲（王洪）贵州省务川自治县农业局谭谟玉摘要：我闲遐之余，喜好研究数学问题，我在一次偶然探究中，发现了“哥德巴赫猜想”的简捷证明方法，即就是不具体研究单个素数的位置如何，也不研究设定区域内素数的数量如何，而是利用集合的概念，设置一定的条件，在宽泛的前提下探讨整体情形，即假设偶数6，8，10，…，（2m-2），（2m）（m≧3）；它们均可表为两个奇素数之和。
设奇合数a1，a2，a 3，…，at均为不大于偶数2m的全体奇合数，（ai＜aj，i＜j，i、j=1，2，3，…，t），t∈N。
则集合{1，（2m-1）}∪{（2m-a1），（2m-a2），（2m-a3），…，（2m-at）}∪{a1，a2，a3，…，a t }有缺项。
利用前面已知情形，证明集合{（2m-a1），（2m-a2），（2m-a3），…，（2m-at）}∪{（a1+2），（a2+2），（a3+2），…，（at+2）}有缺项；利用该结论以及前面已知情形，证明集合{（2m-a1），（2m-a2），（2m-a3），…，（2m-at）}∪{（a1-2），（a2-2），（a3-2），…，（at-2）}也有缺项；假设偶数（2m+2）不能表为两个奇素数之和，设奇合数a1，a2，a3，…，ar均为不大于偶数（2m+2）的全体奇合数，（ai ＜aj，i＜j，i、j=1，2，3，…，r），r∈N。
则集合{1，（2m+2-1）}∪{（2m+2-a1），（2m+2-a2），（2m+2-a3），…，（2m+2-at）}∪{a1，a2，a3，…，ar}没有缺项。
该集合中的元素均分别减去2后所得集合{（2m-a1），（2m-a2），（2m-a3），…，（2m-at）}∪{（a1-2），（a2-2），（a3-2），…，（at-2）}仍然没有缺项。
这与前面所得结论产生矛盾，说明偶数（2m+2）能表为两个奇素数之和。
孪生素数
目录[隐藏]∙ 1 序列∙ 2 性质∙ 3 多元组∙ 4 猜测与证明∙ 5 参见∙ 6 外部链接[∙收敛性∙结构∙定理∙统计分析统计分析所有小于 4.35 · 1015的孪生素数，可以得到小于x的素数对的个数是 x·f(x)/(log x)2。
当x较小时，f(x) 大约为 1.7，当x较大时大约为 1.3。
f(x) 的值和孪生素数常数（twin prime constant）相近：[编辑]多元组孪生素数的概念可以扩展到多元组，即由多个间隔为2的素数构成的序列。
由于三个相邻整数总有一个能被3整除，不可能是素数，因此(3, 5, 7) 是唯一的孪生素数三元组。
而且由于更多元素构成的孪生素数多元组必定包含三元组的结构，因此多于三个元素的孪生素数多元组不存在。
[编辑]猜测与证明1921年，英国数学家哈代和李德伍兹曾猜测，如果：代表不大于x的孪生素数个数，则有：，其中：查看∙条目∙讨论∙编辑本页∙历史∙大陆简体∙港澳繁體∙马新简体∙台灣正體个人工具∙试用测试版∙登录／创建账户搜索导航∙首页∙分类索引∙特色内容∙新闻动态∙最近更改∙随机页面帮助∙帮助∙社区入口∙方针与指引∙互助客栈∙询问处∙字词转换∙联系我们∙关于维基百科∙资助维基百科工具箱∙链入页面∙链出更改∙上传文件∙特殊页面∙可打印版∙永久链接∙引用此文其他语言∙ةيبرعلا∙Català∙Česky∙Dansk∙Deutsch∙Ελληνικά∙English∙Esperanto∙Español∙Suomi∙Français∙תירבע∙Magyar∙Italiano∙日本語∙한국어∙Ripoarisch∙Монгол∙Plattdüütsch∙Nederlands∙N orsk (bokmål)∙Polski∙Português∙Русский∙Slovenščina∙Svenska∙தமிழ்∙Türkçe∙Українська∙Bân-lâm-gú∙本页面最后修订于2010年2月17日 (星期三) 06:14。
关于孪生素数猜想的一个证明
关于孪生素数猜想的一个证明作者：张跃来源：《科技视界》2015年第28期【摘要】根据计算机的整数取值有限，本文提出了一个基本假设。
在此假设的基础上，利用C语言编程，证明了：对应于无穷多个素数p，存在无穷多个p+2的素数；即孪生素数猜想。
【关键词】孪生素数；假设；C语言程序【Abstract】In accord with the limitation of the integer taken by a computer， an assumption is suggested， and on the basis of it， using the program of C language， the paper proves that corresponding to infinite primes p， there are infinite p+2 being primes； namely， the conjecture of pair primes.【Key words】Pair primes； Assumption； Program of C language0 引言目前，数论中尚未解决的难题有两个，一个是偶数情形的哥德巴赫猜想，另一个是孪生素数的哥德巴赫猜想（孪生素数猜想）[1]。
从一些有关数学的期刊上可以发现，关于孪生素数的猜想，一直是国内外数学界关注和研究的一个重要课题。
迄今为止，数学家陈景润已经证明：存在无穷多个素数p，使p+2为不超过两个素数的乘积[2]。
国内外还没有人能够做到利用纯粹的数学理论方法证明这一猜想。
本文将设计C语言的程序证明孪生素数的猜想。
如果用Q （p）表示无穷多个素数p组成的集合，Q（p+2）是相应的无穷多个p+2的素数组成的集合，并且假设计算机二进制的数码的位数没有限制，则通过C程序的运算可以由Q（p）的所有元素得到Q（p+2）的所有元素。
从数学的观点看，可以将C程序的运算视为由Q（p）到Q（p+2）的一个映射M（mapping）[3]，表示为M： Q（p）→Q（p+2）。
孪生素数有无穷多对的证明
关于孪生素数有无穷多对的证明论题：有多少对相邻的奇数都是素数，如：3和5，5和7，11和13，17和19，29和31，···这样相距为2的一对素数，称为孪生素数。
孪生素数是否有无穷多对呢？我的结论是孪生素数有无穷多对，并予以证明。
一、假素数(一)素数有无穷多个用自然数n表示素数从小到大的顺序，用Pn 表示这种有顺序的素数，即P1=2，P 2=3， P3=5， P4=7，···将不大于素数Pn的素数组成的集合，记作In，In={2，3，5，7，··· Pn} 。
将不大于Pn 的所有素数之积，记作Tn,Tn=2×3×5×7×···×Pn定义一假素数：若某自然数不是任意一个不大于Pn 的素数的倍数，将此自然数称作Pn 的假素数。
Pn 的假素数记作An现用d表示整倍数的意思。
现用Gn 表示不大于Pn的素数，即 In={ Gn}根据定义，x∈{An }（x∈N）的充要条件是 x≠ Gnd因为1不是任何素数的倍数，故它是任何一个素数Pn的假素数。
P n 的假素数和素数的区别,Pn假素数里面不包含不大于 Pn的素数，却包含了大于 Pn的素数。
在这里引进假素数的概念，研究假素数的性质，，以及相互联系，是为了更好的研究素数的性质。
(二)假素数保持定理定义二保持部：将整个自然数列，以Tn 为单位长，从小到大逐一划分成无穷多个首尾相连的单元，将这样的单元，称作Pn 的保持部。
（h－1）Tn 是 Pn的第h 个保持部的首端，（h－1／2）Tn是其中点， h Tn是尾端。
定理（一）假素数保持定理：素数Pn 的假素数，在其任意两个保持部里个数相等且分布一致。
所谓分布一致，是指两个保持部里，其假素数一一对应，且每对对应的假素数与其首端的距离相等。
换成精确的数学语言，在 Pn的任意一个保持部里的任意一个假素数，设与其首端的距离为 y (y＜ Tn,且y∈N )，即（h－1）Tn＋y∈{An },如果在Pn的另外任意一个保持部里，与其首端为y 的数,( h′－1）Tn＋y∈{An }也成立，则 Pn的假素数在其任意两个保持部里分布一致。
孪生素数谁被证明出来了
张益唐数学的发展可以说是世界上最严密的一门学科，他的每一次进步都拥有无比自洽逻辑。
现代数学家们认为，数学是研究数量、结构、变化、空间以及信息等概念的一门学科，它对于人类的发展有着不可替代的作用，科学的突破和技术的进步完全离不开数学。
可以这么说，科学改变世界，数学改变科学。
而在数学领域，最有趣的问题莫过于关于质数（素数）的研究。
数学家认为，素数在数中的地位就像是原子物理学中的基本粒子，素数是数中的基本单元。
小学的时候我们就学习过素数的定义：一个大于1的自然数，除了1和它自身外，不能被其他自然数整除的数叫做质数。
而关于素数的猜想与研究，最著名的莫过于哥德巴赫猜想了。
哥德巴赫猜想这个名词大家一定不陌生，这是一个关于质数问题的世纪难题，是数论领域甚至整个数学界的王冠。
今天我们不讲哥德巴赫猜想，我们聊一个和哥德巴赫猜想一个研究方向的问题：孪生素数问题。
和哥德巴赫猜想相比，其难度没有那么大，这也就导致关于它的研究进展相比于哥德巴赫猜想快了不少。
什么是孪生素数呢？数学家们是这样定义的：孪生素数就是指相差2的素数对，例如3和5，5和7，11和13，29和31。
孪生素数猜想正式由希尔伯特在1900年国际数学家大会的报告上第8个问题中提出。
我们知道素数的个数是无限的，而随着素数的增大，下一个素数与上一个素数之间的差应该越来越大。
古希腊数学家欧几里得猜想，存在无穷多对素数，他们只相差2，例如3和5，5和7，29和31，(2003663613×2^195000)-1和(2003663613×2^195000)+1等等。
其数学语言是：存在无穷多个素数p，使得p + 2是素数，素数对（p, p + 2）称为孪生素数，那p的取值数量是无限的吗？将这个问题进行推广，比如差值为4的素数对，如3和7，7和11这样的素数对是不是也有无限多个，继续推广，比如差值为6的素数对，如7和13，11和17，这样的素数对是不是也是无限的呢？推广到一般形式：对所有自然数k，存在无穷多个素数对（p, p + 2k）。
孪生素数猜想
此我们可以通过等价的原理加以诠释：
将整数数轴：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 等等，
最后可得到素数在整数中的占比约为：
哎，我坚信，这个级数 欧拉肯定也想过。
常见方法
筛理论 ： 1920年，挪威的维果·布朗（Viggo Brun）证明了2能表 示成两个最多有9个素数因子的数的差。 这个结论已经有些近似于孪生素数猜想了。可以看到， 只要将这个证明中的“最多有9个素数因子的数”改进 到“最多有1个素数因子的数”，就可以证明孪生素数 猜想了。
著名数学家。被称为“几何之 父”，他最著名的著作《几何 原本》是欧洲数学的基础，提 出五大公设，欧几里得几何， 被广泛的认为是历史上最成功 的教科书。
几何原本
人人皆知： 在数论研究中，他用天才的简洁反证法证明了素数无穷多； 可惜，没法证明孪生素数无穷多。
猜想内容
一千年间： 无人敢提，销声匿迹。
1849年：
=1-∑1/P+∑1/pq-∑1/pqr+…±∑1/∏P
（1）
(式中所有素数为奇素数，分母为偶数个素数积时取和，为奇数
时取差)
关于该新颖级数的求和不在此演示。不过它是发散的(其值应该
不为0)，该级数本身足以说明了孪生素数的无穷多。
常见方法
LiKe数列3（级数类比）：
针对级数公式（1）求解的复杂性，很多人也许看不出端倪。至
1-1/3-(1/5-1/15)-(1/7-1/21-1/35+1/105)-(1/11-1/3*11-1/5*11-...+...)-...
张益唐孪生素数猜想证明过程
张益唐孪生素数猜想证明过程张益唐近照，由新罕布什尔大学提供张益唐是个对数字“极其敏感”的人，他能把大学同班同学的出生日期背得“滚瓜烂熟”，并在每个人过生日时发去一封祝福邮件。
同为恢复高考后北京大学数学系第一批学生，美国普渡大学数学系教授沈捷就享受过这样的“待遇”。
但他发现，七八年前张益唐突然“消失”了。
因为，从那时起，他再没收到过张的生日祝福，“给他发邮件也没再回过”。
5月16日，张益唐的邮件突然来了，只有一个单词：“谢谢”。
在接受中国青年报记者采访时，沈捷回忆说，此前一天，他和夫人就张益唐在孪生素数方面取得的突破向他发去邮件道贺。
5月14日，《自然》（Nature）杂志在线报道张益唐证明了“存在无穷多个之差小于7000万的素数对”，这一研究随即被认为在孪生素数猜想这一终极数论问题上取得了重大突破，甚至有人认为其对学界的影响将超过陈景润的“1+2”证明。
在此之前，“年近6旬”的张益唐在数学界可以说是个名不见经传的人。
多年前曾与张益唐接触过的浙江大学数学系教授蔡天新也以为“他早从数学圈消失”了，蔡说已经“近30年没他的消息了”，没曾想“他突然向孪生素数猜想走近了一大步”——素数是指正因数只有1和本身即只能被自身和1整除的正整数，“孪生素数”则是指两个相差为2的素数，例如3和5，17和19等。
而随着素数的增大，下一个素数离上一个素数应该越来越远，故古希腊数学家欧几里得猜想，存在无穷多对素数，他们只相差2，例如3和5，5和7，×2195000-1和×2195000+1等等。
这就是所谓的孪生素数猜想，它和黎曼猜想、哥德巴赫猜想一样，让无数数论者着迷。
数学家需要做的是一个证明！然而，人们甚至不知道它的“弱形式”是否成立，用《数学文化》主编、香港浸会大学理学院院长汤涛的话说就是——能不能找到一个正数，使得有无穷多对素数之差小于这个给定正数，在孪生素数猜想中，这个正数就是2。
张益唐找到的正数是“7000万”。
孪生素数猜想的证明
孪生素数猜想的证明
叶雉鸠
【期刊名称】《西昌学院学报（自然科学版）》
【年(卷),期】2014(000)004
【摘要】采用数学归纳法证明了一类缺项同余式方程组恒无解。
若这一类缺项同余式方程组恒无解则孪生素数猜想成立，即自然数域中存在无穷多对孪生素数，孪生素数猜想是成立的。
%No solution of a class of lack of congruence equations with constant is proved by mathematical induction, which twin prime conjecture is established. The infinitely many prime twins exist in natural number field. The twin prime conjecture is correct.
【总页数】5页(P27-30,33)
【作者】叶雉鸠
【作者单位】陕西财经职业技术学院，陕西咸阳 712000
【正文语种】中文
【中图分类】O156.1;O156.2
【相关文献】
1.孪生素数猜想的证明 [J], 张友财;
2.关于孪生素数猜想的一个证明 [J], 张跃
3.孪生素数猜想的一个简单证明 [J], 叶雉鸠
4.孪生素数猜想证明的一个突破 [J], 吴振奎
5.关于孪生素数猜想的证明 [J], 吴国胜
因版权原因，仅展示原文概要，查看原文内容请购买。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
孪生素数猜想证明简述
一：逻辑证明（最简单，但逻辑思维要求高）
根据素数新定义：从祖素数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矩阵及其行封闭性研究）
具体思路构想及证明逻辑参见下图：
孪生素数猜想证明逻辑图。