双生素数对 N生素数对及哥德巴赫猜想论文
哥德巴赫猜想证明论文（精品）
哥德巴赫猜想作者姓名：弯国强作者地址：漯河市舞阳县莲花镇第二初级中学E-mail ：**************摘 要：■1.每个不小于6的偶数都可以表示为两个奇素数之和。
■2.每个不小于9的奇数都可以表示为三个奇素数之和。
关键词：素数、素数的个数公式、素数对公式、哥德巴赫猜想 中图分类号：O156.1哥德巴赫猜想现代叙述：大致可以分为两个猜想：■1.每个不小于6的偶数都可以表示为两个奇素数之和；（欧拉命题）■2.每个不小于9的奇数都可以表示为三个奇素数之和。
（哥德巴赫命题） 不难看出，哥德巴赫命题仅仅是欧拉命题的一个简单的推论。
哥德巴赫命题成立并不能保证欧拉命题的成立。
而欧拉命题却可以轻易推出哥德巴赫命题成立。
现在通常把这两个命题统称为哥德巴赫猜想。
证明哥德巴赫猜想成立实质上就是证明欧拉命题的成立。
为了方便，我们把两个奇素数之和叫做素数对。
例如：3+3；3+5；3+7。
3+5和5+3因为所含质数相同，加数位置不同，所以只算一个素数对。
哥德巴赫猜想证明的思路：首先要给出精确的质数的个数公式,这是证明哥德巴赫猜想的基础,没有质数的个数公式就不能很好地证明哥德巴赫猜想,因为离开了质数的个数公式,证明哥德巴赫猜想就是无源之水,就是空中楼阁;而这个问题理论上我们已经成功解决。
具体证明在《质数的个数公式》 定理1：（素数的个数公式）设n 为正整数，12,,m p p p ""为n 的前部素数，m 是前部质数的个数，那么所有不大于n 的素数的个数11()(1)1m m m mmi i j i j k i i j i j k i i n n n n n m n p p p p p p p π=<<<=⎡⎤⎢⎥⎡⎤⎡⎤⎡⎤⎢⎥=+−+−++−−⎢⎥⎢⎥⎢⎥⎢⎥⎢⎥⎢⎥⎣⎦⎣⎦⎣⎦⎢⎥⎣⎦∑∑∑∏"" 其次,要给出精确的哥德巴赫猜想公式,也就是不超过n 的偶数表示成素数对的公式——素数对公式,以及不超过n 的奇数表示成奇数组的公式——素数组公式,这是证明哥德巴赫猜想正确的关键。
简论哥德巴赫猜想与n生素数猜想的分布规律
关于哥德巴赫猜想和 n 生素数猜想的分布问题，人们已经进行了深入的研究与探索，并 取得了重大的成就。但由于对其本质和规律缺乏深刻的认识和全面的掌握，迄今为止，除
Hardy-Littlewood 猜想之外，还没有一个完整、准确的表述结果。本文以全新的思路尝试研究 并初步解决了上述问题。
2．等差级数的拆分问题
18+30M，20+30M，22+30M，24+30M，26+30M，28+30M，30+30M。
-2-
依此类推，当d=dk时，总共可得到dk个与 2+2M 等价的同次等差级数，即将全体偶数分成 了dk类。
3．偶数分拆问题
3.1 分拆定义
对于任一偶数 N，若 x+y=N，x、y 均为奇数，且 x≥3，y≥3，则(x，y)定义为该偶数的一个 哥德巴赫分拆，以下简称分拆。
（15， 5）、（11， 9）、（29，21） （27，23）
（25，25）
11 22+30M （29，23）
（11，11）
（19，3） （17，3）
（15， 7）、（13， 9）、（31，21）
（27，25）
（17，7）、（31，23） 12 24+30M （13，11）
（19，3） （21， 3）、（29，25）
（15， 9） （27，27）
13 26+30M （19， 7）
（13，13）
（23，3）
（21， 5）、（17， 9）、（15，11） （29，27）、（31，25）
14 28+30M （17，11）
（29，29）
（23，5）
（25， 3）、（21， 7）、（19， 9） （15，13）（31，27）
孪生素数与哥德巴赫猜想的证明-2019年精选文档
孪生素数与哥德巴赫猜想的证明Twin prime number and the Goldbach conjecture certificateJiao Hongbin【】Be to apply the vegetable that the author plain establishes to differentiate between law mainly in culture, elementary coming to give a twin out a prime number certificate and Goldbach conjecture correctness having boundless multiple-twin proves that.在本文的论述过程中，除特别规定外，需作出的某些说明，以约定示之。
约定1：本文中所说的数（包括奇根与偶根）都是正整数；素数即质数；奇素数与奇合数都简称为素数与合数；数列是指无重复数的递增无穷正整数列；非负整数集记作N；正整数集记作N+；[X]表示不超过实数X的最大整数；a、b、m、n、u、au∈N+。
引言等差数列（A）：3，5，7，…，其通项公式可写为an=1+2n。
研究数列（A)，创立一种新的素数判定方法，给出孪生素数有无限多对的证明以及哥德巴赫猜想正确性的初等证明，就是本文的主要目的和任务。
本文的主要结果是数学四定理；1.定理1.6；2.定理2.3；3.定理3.13与3.14。
现论述如下：1 定理1.6的证明定义1.1 设数列（A）中的任一个奇数N=1+2n，则n=12（N-1）叫做奇数N的根，或简称为奇根。
记作奇根n或在十分明确的情况下就记作n。
由奇根n确定的奇数N也记作N（n)。
当N是素数时，n叫做素数N的根，或简称为素根。
记作素根n；当N是合数时，n叫做合数N的根，或简称为合根。
记作合根n。
全体奇根组成的数列：1，2，3，…叫做奇根列。
孪生素数猜想证明
根据素数定理，以及就平均而言 p k 1 p k ln p k
3
∴
2 ［ pk , p k21 ) p 2 p k2 2 p k ln p k ln 2 p k ln p k k 1 1 2 2 pk pk p k ln p k p k ln p k
∴
2 ［ pk , p k21 ) p ［ p k2 , p k21 ) p ln p k p ＝ k k (1 ) <2 k psk p sk pk psk pk p sk
e 2 n 2 p 1 Sh(n) ( ) (1 ) 2 2 3 p n p p |a p 2
2n= pu p v 的哥德巴赫猜想解个数 G(2n)
G (2n) (
e 2 n 2 p 1 ) (1 ) 2 2 3 p n p p|n p 2
证明：
2 2 2 2 ∵ n＝3+(8－3)+(24－8)+(48－24)+…+ ( p k 1 p k ) +…+ ( p i 1 p i ) 2 2
∴ 根据引理 1，区间［ p k , p k 1 ）的素数个数可近似表示为
k
2 ( p k21 p k ) (1
j 1
sk
2 2 w(k)= | ( p k 1 p k )
(1 p
j 1
1
j
) －π［ p k2 , p k21 )|
w(S)=|
sk 2 1 2 ( p p ) ) ( n) | k 1 k (1 p k 1 j 1 j i
1 ) pj
2 pk 1 / pk 1 时，p k 到
《关于素数公式,素数定理 ,哥德巴赫猜想的初等证明》
关于素数公式素数定理哥德巴赫猜的初等证明想[原创]2009.10.26山东省莱西市266618。
摘要:素数(亦称质数)，是数论领域极具神秘色彩的数，有关素数的数学难题，则是数论领域，最具挑战性的经典数学难题之一。
本文从最浅显的数学基础理论入手，通过对传统数学理论的继承与创新,采用新颖的数学思想和数学方法,从本质上揭示出了素数在正整数域中,分布变化的内在规律。
并简明的给出了“素数公式”；“准素数定理”以及“哥德巴赫猜想”的初等证明。
进而使得这门古老的数学基础理论----“数论”焕发出新的生机。
关键词：素数，素数公式，准素数定理，哥德巴赫猜想。
引言数论，是一门古老的数学学科分支，他是研究整数性质和相互关系的理论。
素数及其分布，则是数论领域最有趣的一大分支。
关于素数分布问题,可分为三种类型:一:怎样直接计算和表示出(某个、多个以及所有)素数。
亦即“素数公式”问题。
二:怎样得到和准确表示出给定正整数域中，素数的数量及其分布,亦即“准素数定理”问题。
三:怎样得到和表示出所给定正整数域中，具有某种特性的素数的数量及其分布规律.如: “孪生及比孪生素数问题”;“哥德巴赫猜想问题”，“勒让德猜想问题”等等。
对于素数这三个方面的问题,虽然世界上诸多数学精英做了大量的工作.发现并利用大筛法来获得素数,编制了庞大的素数表数据库。
但是,因所引用的基础的理论存在偏差,确切的说，是所引用定理的切于点不到位和不够精准。
所以导致了在理论层面上，不但没能证明出，表达给定整数域中，任意素数的表达式----素数公式；而且，也没能归纳出有关正整数域中，素数数量分布变化的表达式----准素数定理；因此，也就无法最终解决那些具有某种特性的素数，在正整数域中分布变化规律的诸多难题。
所以数百年来在数学界遗憾的错过了对一个极其重要的数学规律的发现及认知。
下面用初等数学方法对“素数公式”问题、“准素数定理”问题、“哥德巴赫猜想”问题、进行论证。
一：素数公式素数:是指在正整数域内，只能表示为1的整数倍数的数。
五年级数学日记300字相关作文
五年级数学日记300字相关作文
今天，我无聊的看着书。
忽然，我眼睛一亮，发现了一个十分有趣的词语：孪生素数猜想。
我十分好奇，也非常纳闷：什么是孪生素数猜想？于是，带着疑问，我来到了网上。
终于，在网上，我找到了答案。
原来，孪生素数猜想是数论中的著名未解决问题。
这个猜想正式由希尔伯特在1900年国际数学家大会的报告上第8个问题中提出，可以被描述为“存在无穷个孪生素数”。
孪生素数即相差2的一对素数。
例如3和5，5和7，11和13，…，10016957和10016959等等都是孪生素数。
素数定理说明了素数在趋于无穷大时变得稀少的趋势。
而孪生素数，与素数一样，也有相同的趋势，并且这种趋势比素数更为明显。
因此，孪生素数猜想是反直觉的。
由于孪生素数猜想的高知名度以及它与哥德巴赫猜想的联系，因此不断有学术共同体外的数学爱好者试图证明它。
有些人声称已经证明了孪生素数猜想。
然而，尚未出现能够通过专业数学工作者审视的证明。
原来，这就是孪生素数猜想呀！看来今天果然是“不虚此行”，终于又了解了一个新的知识点。
希望我以后还能了解更多，同时，我也要努力，争取早早证明孪生素数猜想。
关于孪生素数猜想的证明
关于孪生素数猜想的证明关于孪生素数猜想的证明Һ吴国胜㊀（安徽省电子器材公司，安徽㊀合肥㊀２３００６１）㊀㊀ʌ摘要ɔ本文的目的在于用筛法㊁解析方法等基础理论证明在自然数中存在无穷对孪生素数，并给出孪生素数分布的下界．ʌ关键词ɔ孪生素数猜想；定义及推论；误差值引㊀言两个相差２的素数称作一对孪生素数．在自然数中存在无穷对孪生素数的猜想是古希腊人提出来的，迄今大约有二千年的历史了，它和１７４２年德国人提出的Ｇｏｌｄｂａｃｈ猜想被人们喻为姐妹问题．德国杰出的数学家Ｈｉｌｂｅｒｔ１９００年在巴黎召开的第二届国际数学家代表大会上提出二十三个著名问题，孪生素数猜想是其中第八个问题的一部分．本文的目的在于对以下定理给出详细证明．定理命ω（ｘ）表示不超过ｘ的孪生素数组数，对于充分大的Ｎ，存在无穷多个整数点Ｍｉɪ［Ｎ，＋ɕ），有ω（Ｍｉ）ȡ０．３７Ｍｉｌｎ２Ｍｉ．有简单推论，对于任意ｘȡＮ，总有ω（ｘ）ȡ０．３７ｌｎｘ（ｌｎｌｎｘ）２．孪生素数猜想成立．一㊁定义及推论定义１㊀命２，３为原素数，不再以Ｐ表示．素数以Ｐｉ表示，其中Ｐ１＝５，Ｐ２＝７，Ｐ３＝１１， ，以此类推．相应地，孪生素数从５，７开始计算．定义２㊀Ｚｊ＝ᵑｊｉ＝１Ｐｉ．定义３㊀命６ｎ－１与６ｎ＋１为一对孪生组，ｎ为正整数．推论１㊀命Ｄ（ｘ）表示［０，ｘ］间孪生组的组数，则Ｄ（ｘ）＝ｘ－１６[]，１ɤｘ，０，０ɤｘ＜１．æèçç定义４㊀Ｂ（ｘ，Ｐｊ）为［０，ｘ］间一方含Ｐｊ因子而双方均与Ｚｊ－１互素的孪生组的组数，称作ｘ内Ｐｊ的孪生类数．（ｘȡＰｊ）．推论２㊀ω（ｘ）－ω（ｘ）＝Ｄ（ｘ）－ðｐ１ɤｐｊɤｘＢ（ｘ，Ｐｊ）．定义５㊀当（６，ｋｎ）＝（ｋ，ｎ）＝１定义Ｔ（ｋ，ｎ）ʉ（ｋｎ）２＋６ｋｑ（ｍｏｄ６ｋｎ），其中ｑ满足３ｋｑʉ１（ｍｏｄｎ），特别地，Ｔ（ｋ，１）ʉｋ２（ｍｏｄ６ｋ）．定义６㊀Ｂ∗（ｘ，Ｐｊ）＝２ＤｘＰｊ()－２ðＰ１ɤＰｉɤＰｊ－１ＢｘＰｊ，Ｐｉ()，为二倍于０，ｘＰｊ[]间不小于Ｐｊ孪生类的孪生组数．（ｘȡＰ２ｊ）．（注：本文［α］，｛α｝分别表示α的整数与分数部分，并将［α＋β］＋［α－β］简记作［αʃβ］，将｛α＋β｝＋｛α－β｝简记作｛αʃβ｝，将ｓｉｎ（α＋β）＋ｓｉｎ（α－β）简记作ｓｉｎ（αʃβ）．）二㊁第一类误差关系式的建立引理１㊀Ｂ（ｘ，Ｐｊ）＝ðｎ｜ｚｊ－１ｍ｜ｚｊ－１（ｍ，ｎ）＝１μ（ｍｎ）(ｘ＋Ｔ（Ｐｊｍ，ｎ）－２６Ｐｊｍｎéëêùûú＋ｘ－Ｔ（Ｐｊｍ，ｎ）６Ｐｊｍｎéëêùûú＋１)（ｘȡＰｊ）．证：当（ｍ，ｎ）＝（６Ｐｊ，ｍｎ）＝１时，由定义５有Ｔ（Ｐｊｍ，ｎ）ʉ０（ｍｏｄＰｊｍ），１（ｍｏｄ６）．{Ｔ（Ｐｊｍ，ｎ）－２ʉ０（ｍｏｄｎ），－１（ｍｏｄ６）．{故Ｔ（Ｐｊｍ，ｎ）与Ｔ（Ｐｊｍ，ｎ）－２为分别由Ｐｊｍ与ｎ因子组成的孪生组，后者为６Ｋ－１型，同样Ｔ（ｎ，Ｐｊｍ）与Ｔ（ｎ，Ｐｊｍ）－２为另一组分别由Ｐｊｍ与ｎ因子组成的孪生组，后者为６Ｋ－１型，且－Ｔ（Ｐｊｍ，ｎ）ʉＴ（ｎ，Ｐｊｍ）－２（ｍｏｄ６Ｐｊｍｎ）．根据剩余系互补的性质，当（ｍ，ｎ）＝（６Ｐｊ，ｍｎ）＝１，对于任意ｘȡＰｊ，在［０，ｘ］间一方含Ｐｊｍ因子，另一方含ｎ因子的孪生组数：Ｄ（ｘ，Ｐｊｍ，ｎ）＝ｘ＋Ｔ（ｐｊｍ，ｎ）－２６Ｐｊｍｎéëêùûú＋ｘ－Ｔ（Ｐｊｍ，ｎ）６Ｐｊｍｎéëêùûú＋１．由定义４和Ｂｒｕｎ的包含排除定理（文献［６］第一章ɦ７定理１），即得引理．又当（ｍ，ｎ）＞１时，恒有μ（ｍｎ）＝０，故引理中（ｍ，ｎ）＝１的条件可以不必要．证毕．引理２㊀（Ⅰ）Ｂ∗（ｘ，Ｐｊ）＝ðｎ｜ｚｊ－１ｍ｜ｚｊ－１μ（ｍｎ）æèççｘＰｊ＋Ｔ（ｍ，ｎ）－２６ｍｎéëêêêùûúúú＋ｘＰｊ－Ｔ（ｍ，ｎ）６ｍｎéëêêêùûúúú＋１öø÷÷－１（ｘȡＰ２ｊ）．（Ⅱ）若用Ｔ（Ｐｊｍ，ｎ）代替Ｔ（ｍ，ｎ），上式亦成立．证：当ｍ＝ｎ＝１时，Ｔ（１，１）ʉ１（ｍｏｄ６），μ（１）＝１，ʑｘＰｊ＋Ｔ（１，１）－２６éëêêêùûúúú＋ｘＰｊ－Ｔ（１，１）６éëêêêùûúúú＋１－１＝２ｘＰｊ－１６éëêêêùûúúú＝２ＤｘＰｊ()，又Ｔ（ｍ，ｎ）－２ʉ－Ｔ（ｎ，ｍ）（ｍｏｄ６ｍｎ）．由定义６和引理１即得（Ⅰ）成立．ȵ（Ｐｊ，ｍｎ）＝（Ｐｊ，Ｚｊ－１）＝１，ʑＴ（Ｐｊｍ，ｎ）ʉＴ（ｍ，ｎ）（ｍｏｄ６ｍｎ）．又Ｔ（Ｐｊ，１）ʉＰ２ｊʉ１（ｍｏｄ６），ʑｘＰｊ＋Ｐ２ｊ－２６éëêêêùûúúú＋ｘＰｊ－Ｐ２ｊ６éëêêêùûúúú＋１－１＝２ｘＰｊ－１６éëêêêùûúúú＝２ＤｘＰｊ()，故（Ⅱ）亦成立，证毕．引理３㊀Ｂ（ｘ，Ｐｊ）－Ｂ∗（ｘ，Ｐｊ）ɤｈ（ｘ，Ｐｊ）＋Ｏ（１）（ｘȡＰ２ｊ），ｈ（ｘ，Ｐｊ）＝ðｄ｜Ｚｊ－１（ｄ＜４ｘ２）μ（ｄ）２ｖ（ｄ）ðɕｎ＝１２ｎπｓｉｎｎπｘ３Ｐｊｄ㊃ｃｏｓｎπＴ（Ｋξ）３Ｐｊｄ－ｃｏｓｎπＴ（Ｋξ）３ｄæèçöø÷，其中Ｔ（Ｋξ）＝ＴＰｊＫξ，Ｚｊ－１Ｋξæèçöø÷，Ｋξ为Ｋｉ｜Ｚｊ－１之某一值，ｖ（ｄ）表示ｄ的不同素因子的个数，ｖ（１）＝０．证：命φ表示Ｋｉ｜Ｚｊ－１的集合，因Ｚｊ－１无重复素因子，故对于任一Ｚｊ－１，Ｋｉ之集合有且仅有ðｊ－１ｋ＝１Ｃｋｊ－１＝２ｊ－１个元素组成，当（ｌ１，ｌ２）＝（ｌ１，６Ｐｊｍｎ）＝（ｌ２，６Ｐｊｍｎ）＝１，有Ｔ（ｌ１Ｐｊｍ，ｌ２ｎ）ʉＴ（Ｐｊｍ，ｎ）（ｍｏｄ６Ｐｊｍｎ）．由引理１，２即可得到：Ｂ（ｘ，Ｐｊ）－Ｂ∗（ｘ，Ｐｊ）＝ðＫｉ｜Ｚｊ－１１２ｊ－１ðｄ｜Ｚｊ－１μ（ｄ）２ｖ（ｄ）㊃æèççｘ＋Ｔ（Ｋｉ）－２６Ｐｊｄéëêùûú＋ｘ－Ｔ（Ｋｉ）６Ｐｊｄéëêùûú－ｘＰｊ＋Ｔ（Ｋｉ）－２６ｄéëêêêùûúúú－ｘＰｊ－Ｔ（Ｋｉ）６ｄéëêêêùûúúúöø÷÷＋１，（１）现估计（１）式中第一㊁三两项中消去－２后所产生的误差Ｒ＝Ｒ１＋Ｒ３，命Ａｉ＝ｘ＋Ｔ（Ｋｉ）有：Ａｉ－２６Ｐｊｄéëêùûú＝［Ａｉ］－２６Ｐｊｄéëêùûú＝Ａｉ６Ｐｊｄéëêùûú－１，当［Ａｉ］ʉ０或１（ｍｏｄ６Ｐｊｄ），Ａｉ６Ｐｊｄéëêùûú，其他．ìîíïïïï故知只有当［Ａｉ］＝６ＰｊＭｉＤｉ＋δ（δ＝０或１，其中Ｄｉ｜Ｚｊ－１）时才产生误差，根据同余的性质有：ðｄ｜Ｄｉμ（ｄ）２ｖ（ｄ）＝１，ｖ（Ｄｉ）为偶数或０，－１，ｖ（Ｄｉ）为奇数，{ʑＲ１ɤ１２ｊ－１ðＫｉ｜Ｚｊ－１１＝１，同样可证得｜Ｒ３｜ɤ１．ʑ｜Ｒ｜ɤ｜Ｒ１｜＋｜Ｒ３｜ɤ２，故由（１）式知必定存在某一Ｋξ｜Ｚｊ－１，使得：Ｂ（ｘ，Ｐｊ）－Ｂ∗（ｘ，Ｐｊ）ɤｈ（ｘ，Ｐｊ）＋Ｏ（１），其中ｈ（ｘ，Ｐｊ）＝ðｄ｜Ｚｊ－１μ（ｄ）２ｖ（ｄ）æèççｘʃＴ（ｋξ）６Ｐｊｄéëêùûú－ｘＰｊʃＴ（Ｋξ）６ｄéëêêêùûúúúöø÷÷，ȵＰｊＫξ｜Ｔ（Ｋξ），Ｚｊ－１Ｋξ｜Ｔ（Ｋξ）－２，（注：以下将Ｔ（Ｋξ）简记作Ｔ）ʑｄ｜Ｚｊ－１｜Ｔ（Ｔ－２）．因ｄ无重复素因子，故知对于任意ｄ，当ｄȡ４ｘ２可分解为ｄ＝ｄ１ｄ２，其中ｄ２ȡｄ１ȡ１，使ｄ２｜Ｔ或者ｄ２｜（Ｔ－２）两者之一成立．显然ｄ２ȡ２ｘ＞ｘ＋２Ｐｊ（ｘȡＰ２ｊ），如ｄ２｜Ｔ成立，有０＜ｘｄ２＝β＜１，Ｔｄ２＝Ｌ，显然（６，Ｌ）＝１，因而－Ｌ６ｑ[]＝－１－Ｌ６ｑ[]（ｑ为正整数），故有：ｘʃＴ６Ｐｊｄ[]－ｘＰｊʃＴ６ｄéëêêêùûúúú＝βʃＬ６Ｐｊｄ１[]－βʃＰｊＬ６Ｐｊｄ１éëêùûú＝ʃＬ６Ｐｊｄ１[]－ʃＬ６ｄ１[]＝０，同样如ｄ２｜（Ｔ－２），则有０＜ｘ＋２ｄ２＝β１＜１，０＜ｘ－２ｄ２＝β２＜１，０＜ｘ＋２Ｐｊｄ２＝β３＜１，０＜ｘ－２Ｐｊｄ２＝β４＜１，Ｔ－２ｄ２＝Ｌ，则（６，Ｌ）＝１，即有ｘʃＴ６Ｐｊｄ[]－ｘＰｊʃＴ６ｄéëêêêùûúúú＝β１＋Ｌ６Ｐｊｄ１éëêùûú＋β２－Ｌ６Ｐｊｄ１éëêùûú－β３＋ＰｊＬ６Ｐｊｄ１éëêùûú－β４－ＰｊＬ６Ｐｊｄ１éëêùûú＝ʃＬ６Ｐｊｄ１[]－ʃＬ６ｄ１[]＝０，ʑｈ（ｘ，Ｐｊ）＝ðｄ｜Ｚｊ－１（ｄ＜４ｘ２）μ（ｄ）２ｖ（ｄ）ｘʃＴ６Ｐｊｄ[]－ｘʃＰｊＴ６Ｐｊｄéëêùûúæèçöø÷＝ðｄ｜Ｚｊ－１（ｄ＜４ｘ２）μ（ｄ）２ｖ（ｄ）ｘʃＰｊＴ６Ｐｊｄ{}－ｘʃＴ６Ｐｊｄ{}æèçöø÷，（２）由Ｆｏｕｒｉｅｒ展开式，当｛α｝ʂ０时有：｛α｝＝－ðɕｎ＝１１ｎπｓｉｎ（２ｎπα）＋１２，（３）ȵＰｊ｜Ｔ，ʑ只需取ｘ，当Ｐｊ｜ｘ，即有（２）式中任意一项｛αｉ｝ʂ０均适用于（３）式，故（２）式又可表示为：ｈ（ｘ，Ｐｊ）＝ðｄ｜Ｚｊ－１（ｄ＜４ｘ２）μ（ｄ）２ｖ（ｄ）ðɕｎ＝１２ｎπｓｉｎｎπｘ３Ｐｊｄ(ｃｏｓｎπＴ３Ｐｊｄ－ｃｏｓｎπＴ３ｄ)，证毕．三、第一类误差值的计算引理４㊀用Ｍ［Ｆ１（ｙ）］表示函数Ｆ１（ｙ）的Ｍｅｌｌｉｎ变换式，若有Ｍ［Ｆ１（ｙ）］＝ðｄ｜Ｚｊ－１（ｄ＜４ｘ２）μ（ｄ）２ｖ（ｄ）ｄｓ－２（ζ（２－ｓ）－１）（ｓ－１），取σ＝ＲｅＳ＝１－１ｌｎｙ，当ｙ＞Ｐｊ时，必有｜Ｆ１（ｙ）｜＝Ｏｌｎ２Ｐｊｙｌｎｙæèçöø÷．证：σ＝１－１ｌｎｙ＞１－１ｌｎＰｊ＞０．首先证明Ｍ［Ｆ１（ｙ）］绝对收敛．令Ｈ（ｓ）＝ðｄ｜Ｚｊ－１（ｄ＜４ｘ２）μ（ｄ）２ｖ（ｄ）ｄｓ－２，（４）则Ｈ（ｓ）ɤðｄ｜Ｚｊ－２｜μ（ｄ）｜２ｖ（ｄ）｜ｄｓ－２｜＝ᵑＰ｜Ｚｊ－１（１＋２Ｐσ－２），ʑｌｎ｜Ｈ（ｓ）｜ɤｌｎᵑＰ｜Ｚｊ－１（１＋２Ｐσ－２）＝ðＰ１ɤＰɤＰｊ－１ｌｎ（１＋２Ｐ－１－１ｌｎｙ）ɤðＰ１ɤＰɤＰｊ－１２Ｐ－１＝２ｌｎｌｎＰｊ＋Ｏ（１）．（参见文献［２］第七章ɦ３Ｍｅｒｔｅｎｓ公式）ʑ｜Ｈ（ｓ）｜＝Ο（ｌｎ２Ｐｊ）绝对收敛．又Ｒｅ（２－ｓ）＝１＋１ｌｎｙ＞１，令ｂ１（ｕ）＝｛ｕ｝－１２，有ζ（２－ｓ）＝１１－ｓ＋１２－（２－ｓ）ʏɕ１ｂ１（ｕ）ｕ３－ｓｄｕ＝－１ｓ－１＋１＋ʏɕ１｛ｕ｝ｄｕｓ－２，（参考文献［１］第八章ɦ２）ʏɕ１｛ｕ｝ｄｕｓ－２为｛ｕ｝ʂ０时的瑕积分，记作Ｐ㊃Ｖ．Ｐ㊃Ｖʏɕ１｛ｕ｝ｄｕｓ－２＝｛ｕ｝ｕｓ－２ɕ１－Ｐ㊃Ｖʏɕ１ｕｓ－２ｄ｛ｕ｝＝－Ｐ㊃Ｖʏɕ１ｕｓ－２ｄ｛ｕ｝ｄｕｄｕ，当｛ｕ｝ʂ０，由（３）式有ｄ｛ｕ｝ｄｕ＝－２ðɕｎ＝１ｃｏｓ（２ｎπｕ）＝－ｌｉｍλңɕｓｉｎλ＋１２()２πｕｓｉｎπｕ＋１，（参考文献［７］（３．６．１）式）综上即得：Ｑ＝（ζ（２－ｓ）－１）（ｓ－１）＝－１＋（ｓ－１）Ｐ㊃Ｖʏɕ１ｕｓ－２ｌｉｍλңɕｓｉｎλ＋１２()２πｕｓｉｎπｕ－１æèççöø÷÷ｄｕ＝－１＋Ｐ㊃Ｖʏɕ１（ｌｉｍλңɕｓｉｎλ＋１２()２πｕｓｉｎπｕ－１）ｄｕｓ－１＝Ｐ㊃Ｖʏɕ１ｌｉｍλңɕｓｉｎλ＋１２()２πｕｓｉｎπｕｄｕｓ－１，ʑ｜Ｑ｜ɤＰ㊃Ｖʏɕ１｜ｌｉｍλңɕｓｉｎλ＋１２()２πｕｓｉｎπｕ｜㊃｜ｄｕｓ－１｜＝｜ｌｉｍλңɕｓｉｎλ＋１２()２πξｓｉｎπξ｜ʏɕ１ｄｕ－１ｌｎｙ｜ɤ１ｓｉｎπξ＜＋ɕ（｛ξ｝ʂ０），ʑＭ［Ｆ１（ｙ）］绝对收敛．令ʏ（σ）＝ｌｉｍＡңɕʏσ＋ｉＡσ－ｉＡ，由文献［１］第十二章ɦ１引理１有：Ｆ１（ｙ）＝１２πｉʏ（σ）Ｍ［Ｆ１（ｙ）］ｙ－ｓｄｓ＝１２πｉʏ（σ）Ｈ（ｓ）（ζ（２－ｓ）－１）（ｓ－１）ｙ－ｓｄｓ＝－１２πｉʏ（σ）Ｈ（ｓ）（ζ（２－ｓ）－１）ｄｙ－ｓ＋１ｄｙｄｓ＝ｉ２πʏ（σ）Ｈ（ｓ）（ζ（２－ｓ）－１）ｄｓｄｙｄｙ－ｓ＋１．ȵζ（２－ｓ）－１＝ðɕｎ＝２１ｎ２－ｓ，ʑ｜ζ（２－ｓ）－１｜ɤðɕｎ＝２１ｎ１＋１ｌｎｙ＝ʏɕ１ｄｕｕ１＋１ｌｎｙ＋Ｏ（１）＝－ｌｎｙ㊃ｕ－１ｌｎｙɕ１＋Ｏ（１）＝ｌｎｙ＋Ｏ（１），ｄｓｄｙ＝ｄ１ｌｎｙｄｙ＝１ｙｌｎ２ｙ，｜ｙｉｔ｜＝｜ｅｉｔｌｎｙ｜＝１，ｙ－σ＋１＝ｙ１ｌｎｙ＝ｅ．当ｙ＞Ｐｊ，ｌｎｙ＞ｌｎＰｊ≫１，ʑ｜Ｆ１（ｙ）｜ɤʏ（σ）｜Ｈ（ｓ）｜｜ζ（２－ｓ）－１｜ｄｓｄｙ｜ｄｙ－ｓ＋１｜ɤʏ（σ）Ｏ（ｌｎ２Ｐｊ）（ｌｎｙ＋Ｏ（１））１ｙｌｎ２ｙｄｙ１ｌｎｙ＝Ｏｌｎ２Ｐｊｙｌｎｙæèçöø÷，证毕．引理５㊀对于充分大的ｘ，恒有Ｂ（ｘ，Ｐｊ）－Ｂ∗（ｘ，Ｐｊ）ɤＯｘｌｎ３ＰｊＰ２ｊæèçöø÷＋Ｏ（１），当Ｐｊɤｘ１２时，误差项Ｏ（１）可以不计．证：（Ⅰ）当Ｐｊɤ６ｌｎｘ时，ȵðɕｎ＝１２ｎπｓｉｎｎπαｃｏｓｎπβɤ１，又ｖ（Ｐ）＝１，由引理３有：ｈ（ｘ，Ｐｊ）ɤ２ðｄ｜Ｚｊ－１｜μ（ｄ）｜２ｖ（ｄ）＝２ᵑＰ｜Ｚｊ－１（１＋２ｖ（Ｐ））＝２㊃３ｊ－１．由素数定理得ｊ＝π（Ｐｊ）＝ＰｊｌｎＰｊ１＋Ｏ１ｌｎＰｊ()()．ʑＢ（ｘ，Ｐｊ）－Ｂ∗（ｘ，Ｐｊ）ɤ２㊃３ｊ－１＋Ｏ（１）＜３ｊɤ３７ｌｎｘｌｎｌｎｘ＝ｘ７ｌｎ３ｌｎｌｎｘ＜ｘ１２≪ｘｌｎ３ＰｊＰ２ｊ．（Ⅱ）当ｘ１２＜Ｐｊɤｘ，显然有Ｂ（ｘ，Ｐｊ）－Ｂ∗（ｘ，Ｐｊ）＝Ｂ（ｘ，Ｐｊ）＝１，Ｐｊ与Ｐｊ＋２为孪生素数，０，其他．{（Ⅲ）现着重讨论６ｌｎｘ＜Ｐｊɤｘ１２的情形．由引理３我们有：㊀ｈ（ｘ，Ｐｊ）＝ðｄ｜Ｚｊ－１（ｄ＜４ｘ２）μ（ｄ）２ｖ（ｄ）ðɕｎ＝１４ｎπ㊃ｎπｄ㊃ｓｉｎｎπｘ３ＰｊｄʏＴ６Ｔ６Ｐｊｓｉｎ２ｎπｑｄｄｑ＝ʏＴ６Ｔ６Ｐｊðｄ｜Ｚｊ－１（ｄ＜４ｘ２）μ（ｄ）２ｖ（ｄ）ðɕｎ＝１２ｄ(ｃｏｓｑ－ｘ６Ｐｊｄ２ｎπ－ｃｏｓｑ＋ｘ６Ｐｊｄ２ｎπ)ｄｑ＝ʏＴ６Ｔ６Ｐｊʏｑ＋ｘ６Ｐｊｑ－ｘ６Ｐｊ(ðｄ｜Ｚｊ－１（ｄ＜４ｘ２）μ（ｄ）２ｖ（ｄ）ðɕｎ＝１４ｎπｄ２ｓｉｎ２ｎπｄｙ)ｄｙｄｑ＝ʏＴ６Ｔ６Ｐｊʏｑ＋ｘ６Ｐｊｑ－ｘ６ＰｊＦ（ｙ）ｄｙｄｑ．由积分不等式，当ｂ＞ａȡ０时，若在区间［ａ，ｂ］上ｆ（ｘ），ｇ（ｘ）可积，｜ｆ（ｘ）｜ɤ｜ｇ（ｘ）｜，则有ʏｂａｆ（ｘ）ｄｘɤʏｂａ｜ｆ（ｘ）｜ｄｘɤʏｂａ｜ｇ（ｘ）｜ｄｘ．又Ｆ（ｙ）可积，则有：ｈ（ｘ，Ｐｊ）ɤʏＴ６Ｔ６Ｐｊʏｑ＋ｘ６Ｐｊｑ－ｘ６ＰｊＦ（ｙ）ｄｙｄｑ，（５）Ｆ（ｙ）是实连续函数，ｙ＞０（见（９）式），我们可对其取Ｍｅｌｌｉｎ变换，令ＲｅＳ＝１－１ｌｎｙ，当α＞０时，Ｍ［ｓｉｎαｘ］＝ʏɕ０ｓｉｎαｘ㊃ｘｓ－１ｄｘ＝α－ｓΓ（ｓ）ｓｉｎπｓ２，ʑＭ［Ｆ（ｙ）］＝ðｄ｜Ｚｊ－１（ｄ＜４ｘ２）μ（ｄ）２ｖ（ｄ）ðɕｎ＝１（ｎπ）１－ｓ２２－ｓΓ（ｓ）ｄｓ－２ｓｉｎπｓ２，（６）ðɕｎ＝１ｎ１－ｓ＝ζ（ｓ－１），Γ（ｓ）＝（ｓ－１）Γ（ｓ－１）（文献［５］第二章ɦ２定理２），ｓｉｎπｓ２＝ｃｏｓπ（ｓ－１）２．根据ＲｉｅｍａｎｎＺｅｔａ函数解析开拓的性质（文献［３］第二篇第二章ɦ２定理２．１）有ζ（１－ｓ）＝２１－ｓπ－ｓｃｏｓπｓ２Γ（ｓ）ζ（ｓ）普遍成立．ʑ由（６）式和（４）式有：Ｍ［Ｆ（ｙ）］＝ζ（ｓ－１）Γ（ｓ－１）（ｓ－１）π１－ｓ２２－ｓＨ（ｓ）㊃ｃｏｓπ（ｓ－１）２＝ζ（２－ｓ）（ｓ－１）Ｈ（ｓ），令Ｆ（ｙ）＝Ｆ１（ｙ）＋Ｆ２（ｙ），则Ｍ［Ｆ（ｙ）］＝Ｍ［Ｆ１（ｙ）］＋Ｍ［Ｆ２（ｙ）］，其中Ｍ［Ｆ１（ｙ）］＝（ζ（２－ｓ）－１）（ｓ－１）Ｈ（ｓ），（７）Ｍ［Ｆ２（ｙ）］＝（ｓ－１）Ｈ（ｓ），相应地，ｈ（ｘ，Ｐｊ）＝ｈ１（ｘ，Ｐｊ）＋ｈ２（ｘ，Ｐｊ），首先证明ｈ２（ｘ，Ｐｊ）＝０．ȵＰｊＫξＴ，Ｚｊ－１Ｋξ（Ｔ－２）（见引理３），ʑＴȡＰｊＫξ，Ｔ－２ȡＺｊ－１Ｋξ，Ｔ２＞Ｔ（Ｔ－２）ȡＰｊＫξ㊃Ｚｊ－１Ｋξ＝ＰｊＺｊ－１＝Ｚｊ，Ｔ＞Ｚｊ（注：当ｘȡＰ２ｊ，必有ｄ通过所有ＰɤＰｊ－１，故（５）式中Ｔ不变．）由文献［１］第三章ɦ１定理２契贝谢夫θ函数性质有：ｌｎＴ＞１２ｌｎＺｊ＞１２－ε()Ｐｊȡ１２－ε()６ｌｎｘ＞２．８ｌｎｘ，即有１ｌｎＴ＝Ｏ１Ｐｊ()，（８）及Ｔ＞ｘ２．８，又ｘȡＰ２ｊ，由（５）式知ｙȡｑ－ｘ６ＰｊȡＴ－ｘ６Ｐｊ＞ｘ２．８－ｘ６ｘ≫ｘ２．２≫４ｘ２，（９）ｈ２（ｘ，Ｐｊ）＝ʏＴ６Ｔ６Ｐｊʏｑ＋ｘ６Ｐｊｑ－ｘ６ＰｊＦ２（ｙ）ｄｙｄｑ＝(ʏɕＴ－ｘ６Ｐｊ－ʏɕＴ－ｘＰｊ６－ʏɕＴ＋ｘ６Ｐｊ＋ʏɕＴ＋ｘＰｊ６)ʏɕφＦ２（η）ｄηｄφ，由Ｍｅｌｌｉｎ变换公式（文献［８］５８１页），若Ｍ［ｆ（ｙ）］＝Ｍ（ｓ），则有：Ｍ［ʏɕｙｆ（φ）ｄφ］＝Ｍ（ｓ＋１）ｓ成立，由此推出：Ｍ［ʏɕｙʏɕφｆ（η）ｄηｄφ］＝Ｍ（ｓ＋２）（ｓ＋１）ｓ成立．令Ｕ（ｙ）＝ʏɕｙʏɕφＦ２（η）ｄηｄφ，由Ｍ［Ｆ２（ｙ）］＝（ｓ－１）Ｈ（ｓ）得到Ｍ［Ｕ（ｙ）］＝（ｓ＋２－１）Ｈ（ｓ＋２）（ｓ＋１）ｓ＝１ｓＨ（ｓ＋２），由（９）式ｙ≫４ｘ２，即σ＝１－１ｌｎｙ＞０，因而｜Ｍ［Ｕ（ｙ）］｜＝１σ＋ｉｔＨ（２＋σ＋ｉｔ）ɤðｄ｜Ｚｊ－１｜μ（ｄ）｜２ｖ（ｄ）ｄσ１σ＋ｉｔ＝１σ２＋ｔ２ðｄ｜Ｚｊ－１｜μ（ｄ）｜２ｖ（ｄ）ｄσ＜＋ɕ绝对收敛．即有：Ｕ（ｙ）＝１２πｉʏσ＋ｉɕσ－ｉɕＭ［Ｕ（ｙ）］ｙ－ｓｄｓ＝１２πｉʏσ＋ｉɕσ－ｉɕðｄ｜Ｚｊ－１（ｄ＜４ｘ２）μ（ｄ）２ｖ（ｄ）１ｓｄｙ()ｓｄｓ，根据Ｍｅｌｌｉｎ变换表（文献［８］５８２页）有１２πｉʏσ＋ｉɕσ－ｉɕ１ｓαｙ()ｓｄｓ＝１（ｙ＜α），０（ｙ＞α），{（σ＞０）由（９）式得ｙ＞４ｘ２＞ｄ，ʑＵ（ｙ）＝０，即可得到ｈ２（ｘ，Ｐｊ）的各项积分均为０，ʑｈ２（ｘ，Ｐｊ）＝０．又Ｆ１（ｙ）满足引理４的条件，由（５）式有：ｈ（ｘ，Ｐｊ）＝ｈ１（ｘ，Ｐｊ）ɤＯʏＴ６Ｔ６Ｐｊʏｑ＋ｘ６Ｐｊｑ－ｘ６Ｐｊｌｎ２Ｐｊｙｌｎｙｄｙｄｑæèçöø÷＝Ｏｌｎ２ＰｊʏＴ６Ｔ６Ｐｊｌｎｌｎｑ＋ｘ６Ｐｊ()ｌｎｑ－ｘ６Ｐｊ()ｄｑæèçççöø÷÷÷＝Ｏｘｌｎ２ＰｊＰｊʏＴ６Ｔ６Ｐｊｄｑｑｌｎｑæèçöø÷＝Ｏｘｌｎ２ＰｊＰｊｌｎｌｎＴ６ｌｎＴ６Ｐｊæèçççöø÷÷÷＝Ｏｘｌｎ３ＰｊＰｊｌｎＴæèçöø÷＝Ｏｘｌｎ３ＰｊＰ２ｊæèçöø÷．注１：上式中，ｌｎｌｎｑ＋ｘ６Ｐｊ()ｌｎｑ－ｘ６Ｐｊ()＝ｌｎｌｎｑ＋ｌｎ１＋ｘ６ｑＰｊ()ｌｎｑ＋ｌｎ１－ｘ６ｑＰｊ()＝Ｏｌｎ１＋１ｌｎｑｌｎ１＋ｘ６ｑＰｊ()()()＝Ｏ１ｌｎｑｌｎ１＋ｘ６ｑＰｊ()()＝Ｏ１ｌｎｑ㊃ｘ６ｑＰｊ()＝ＯｘＰｊｑｌｎｑ()．注２：上式中，ｌｎｌｎＴ６ｌｎＴ６ｑＰｊ＝ｌｎｌｎＴ６ｌｎＴ６＋ｌｎ１Ｐｊ＝ｌｎ１１－ｌｎＰｊｌｎＴ６＝Ｏｌｎ１＋ｌｎＰｊｌｎＴ６æèççöø÷÷æèççöø÷÷＝ＯｌｎＰｊｌｎＴæèçöø÷．最后一步用到（８）式，综上即得到引理．证毕．四㊁函数Ｇ（ｕ）的性质引理６若Ｇ（ｕ）满足方程Ｇ（ｕ）＝１ｕ２，㊀㊀㊀㊀㊀㊀１ɤｕɤ２，㊀㊀㊀㊀（１０）（ｕ２Ｇ（ｕ））ᶄ＝２ｕＧ（ｕ－１），ｕ＞２，（１１）{则Ｇ（ｕ）为连续函数，对于任意ｕȡ１，恒有１４ɤＧ（ｕ）ɤ１．证：令Ｇ（ｕ）＝Ｇ１（ｕ）＋Ｇ２（ｕ），其中Ｇ１（ｕ），Ｇ２（ｕ）满足方程：Ｇ１（ｕ）＝１ｕ２，Ｇ２（ｕ）＝０，㊀１ɤｕɤ２，（ｕ２Ｇ１（ｕ））ᶄ＝２ｕＧ２（ｕ－１），（ｕ２Ｇ２（ｕ））ᶄ＝２ｕＧ１（ｕ－１），ｕ＞２，{解之即知Ｇ１（ｕ），Ｇ２（ｕ）均为连续函数，故Ｇ（ｕ）为连续函数．由（１０）式知，当１ɤｕɤ２时，有１４ɤＧ（ｕ）ɤ１成立．用数学归纳法证明，当ｕ＞２时，也有１４ɤＧ（ｕ）ɤ１．由（１１）式即得：ｕ２Ｇ（ｕ）－２２Ｇ（２）＝２ʏｕ２ｔＧ（ｔ－１）ｄｔɤ２ʏｕ２ｔｄｔ＝ｕ２－２２，ʑＧ（ｕ）ɤ１－３ｕ２ɤ１．又ｕ２Ｇ（ｕ）－２２Ｇ（２）＝２ʏｕ２ｔＧ（ｔ－１）ｄｔȡ１２ʏｕ２ｔｄｔ＝１４（ｕ２－２２）＝１４ｕ２－１，ʑＧ（ｕ）ȡ１４．证毕．五、定理的反证１．在假设基础上得到的结果（第二类误差值的计算）引理７㊀对于充分大的Ｎ，当ｙȡＮ时，假设恒有ω（ｙ）＜Ｃｙｌｎ２ｙ㊀（１２）成立，Ｃ＝０．３７，则当ｘ１２ȡＰｊȡｌｎｘȡＮ时，恒有Ｂ（ｘ，Ｐｊ）＜２ＣＧ（ｕ）ｘＰｊｌｎ２Ｐｊ＋ＯｘＰｊｌｎ３Ｐｊæèçöø÷成立，其中Ｐｊ＝ｘ１ｕ＋１，即ｕ＝ｌｎｘｌｎＰｊ－１．证：用数学归纳法证明．当Ｎ充分大，ＰｊȡＮ时，有Ｐｊȡｌｎ７Ｐｊ，故有ｘＰ２ｊｌｎ３ＰｊɤｘＰｊｌｎ４Ｐｊ．当ｘ１２ȡＰｊȡｘ１３（１ɤｕɤ２）时，由（１２）式，引理５，定义６及推论２有：Ｂ（ｘ，Ｐｊ）ɤＢ∗（ｘ，Ｐｊ）＋ＯｘＰ２ｊｌｎ３Ｐｊæèçöø÷＝２ωｘＰｊ()－２ω（Ｐｊ－１）＋ＯｘＰｊｌｎ４Ｐｊæèçöø÷＜２ＣｘＰｊｌｎ２ｘＰｊ()＋ＯｘＰｊｌｎ４Ｐｊæèçöø÷＝２ＣｘＰｊ（ｌｎｘｕｕ＋１）２＋ＯｘＰｊｌｎ４Ｐｊæèçöø÷＝２Ｃｘｕ２Ｐｊｌｎ２Ｐｊ＋ＯｘＰｊｌｎ３Ｐｊæèçöø÷，即知当１ɤｕɤ２时，Ｇ（ｕ）＝１ｕ２，引理成立．若ｘ１ｋ－１ȡＰｊȡｘ１ｋ，ｋȡ３（即ｋ－２ɤｕɤｋ－１），引理成立，则当ｘ１ｋȡＰｊȡｘ１ｋ＋１，ｋ－１ɤｕɤｋ时由引理５及推论２有：Ｂ（ｘ，Ｐｊ）ɤＢ∗（ｘ，Ｐｊ）＋ＯｘＰ２ｊｌｎ３Ｐｊæèçöø÷＝２ðＰｊɤＰｉɤｘＰｊ()１２ＢｘＰｊ，Ｐｉ()＋２ωｘＰｊ()－２ωｘＰｊ()１２()＋ＯｘＰｊｌｎ４Ｐｊæèçöø÷．此处着重说明：在以上递推计算中每项都有一个差式，如记作ω＋ｉ－ω－ｉ，易见对于每个差式，恒有ω＋ｉȡω－ｉȡω（Ｐｊ），故参加递推和式计算之ω（ｔ）均符合引理假设的条件，即：ωｘＰｊ()ȡω（ｔ）ȡω（Ｐｊ）ȡω（ｌｎｘ）ȡω（Ｎ）．又ｘ１ｋ＋１ɤＰｊ，ʑｘɤＰｋ＋１ｊ，即有ｘＰｊ()１ｋɤＰｊɤＰｉɤｘＰｊ()１２．因而可由已知递推得：Ｂ（ｘ，Ｐｉ）＜４ＣðＰｊɤＰｉɤｘＰｊ()１２ＧｌｎｘＰｊｌｎＰｉ－１æèççöø÷÷ｘＰｊＰｉｌｎ２Ｐｉ＋ＯðＰｊɤＰｉɤｘＰｊ()１２２ｘＰｊＰｉｌｎ３Ｐｉæèçöø÷＋２ＣｘＰｊｌｎ２ｘＰｊ()＋ＯｘＰｊｌｎ４Ｐｊæèçöø÷，（１３）用Ａｂｅｌ恒等式计算：Ω＝ðＰｊɤＰｉɤｘＰｊ()１２ＧｌｎｘＰｊｌｎＰｉ－１æèççöø÷÷１Ｐｉｌｎ２Ｐｉ，在文献［１］第三章ɦ１引理２中取Ａ（ｔ）＝ðＰɤｔｌｎＰＰ，当ｔȡＰｊȡｌｎｘ充分大时，由文献［１］第四章命题（Ｃ）式有：Ａ（ｔ）＝ðｎɤｔΛ（ｎ）ｎ－ðｍȡ２ðＰɤｔ１ｍｌｎＰＰｍ＝ｌｎｔ－γ＋Ｏ（１）－Ｅ（ｔ），其中γ为Ｅｕｌｅｒ常数，Ｅ（ｔ）＝ðｍȡ２ðＰｌｎＰＰｍ－ðｍȡ２ðＰ＞ｔ１ｍｌｎＰＰｍ＝α１＋Ｏʏɕｔｌｎｑｑ２ｄｑæèçöø÷＝α１＋Ｏｌｎｔｔæèçöø÷＝α１＋Ｏ（１），ʑＡ（ｔ）＝ｌｎｔ－α＋Ｏ（１），ȵα１，γ均为与ｔ无关的常数，ʑα亦为与ｔ无关之常数．令Ｈ（ｔ）＝ｌｎｔ，ｒ（ｔ）＝－α＋Ｏ（１），ｆ（ｔ）＝ＧｌｎｘＰｊｌｎｔ－１æèççöø÷÷１ｌｎ３ｔ．ȵＨ（ｔ）连续可微，及１４ɤＧ（ｕ）ɤ１，由文献［１］第三章ɦ１引理２即可得到：Ω＝ʏｘＰｊ()１２ＰｊＧｌｎｘＰｊｌｎｔ－１æèççöø÷÷ｄｔｔｌｎ３ｔ＋ＲｘＰｊ()１２，Ｐｊ()其中ＲｘＰｊ()１２，Ｐｊ()＝ｒｘＰｊ()１２()ｆｘＰｊ()１２()－ｒ（Ｐｊ）ｆ（Ｐｊ）－ʏｘＰｊ()１２Ｐｊｒ（ｔ）ｆᶄ（ｔ）ｄｔ＝ＯｆｘＰｊ()１２()＋Ｏ（ｆ（Ｐｊ））＋ＯʏｘＰｊ()１２Ｐｊｆᶄ（ｔ）ｄｔ()＝Ｏ１ｌｎ３Ｐｊæèçöø÷．故由（１３）式即有：Ｂ（ｘ，Ｐｉ）＜４ＣｘＰｊʏｘＰｊ()１２ＰｊＧｌｎｘＰｊｌｎｔ－１æèççöø÷÷ｄｔｔｌｎ３ｔ＋ＯｘＰｊｌｎ３Ｐｊæèçöø÷＋ＯｘＰｊʏｘＰｊ()１２Ｐｊ２ｔｌｎ４ｔæèçöø÷ｄｔ＋２ＣｘＰｊｌｎ２ｘＰｊ()＋ＯｘＰｊｌｎ４Ｐｊæèçöø÷＝４ＣｘＰｊｌｎ２ｘＰｊ()ʏｘｕ２（ｕ＋１）ｘ１ｕ＋１ＧｌｎｘＰｊｌｎｔ－１æèççöø÷÷㊃ｌｎｘＰｊｌｎｔæèççöø÷÷３ｄｌｎｔｌｎｘＰｊæèççöø÷÷＋ＯｘＰｊｌｎ３Ｐｊæèçöø÷＋ＯｘＰｊʏ１２ｌｎｘＰｊｌｎＰｊ２τ４ｄτæèçöø÷＋２Ｃｘｕ２Ｐｊｌｎ２Ｐｊ＋ＯｘＰｊｌｎ４Ｐｉæèçöø÷＝２Ｃｘｕ２Ｐｊｌｎ２Ｐｊʏｕ２２βＧ（β－１）ｄβ＋Ｏ２ｘ３Ｐｊｌｎ３Ｐｊæèçöø÷＋ＯｘＰｊｌｎ３Ｐｊæèçöø÷＋２Ｃｘｕ２Ｐｊｌｎ２Ｐｊ＝２Ｃｘｕ２Ｐｊｌｎ２Ｐｊ［β２Ｇ（β）］ｕ２＋ＯｘＰｊｌｎ３Ｐｊæèçöø÷＋２Ｃｘｕ２Ｐｊｌｎ２Ｐｊ＝２ＣＧ（ｕ）ｘＰｊｌｎ２Ｐｊ＋ＯｘＰｊｌｎ３Ｐｊæèçöø÷，其中２２Ｇ（２）＝１，故引理亦成立．证毕．２．由正态分布及其误差值计算所得到的结果引理８㊀当１００ｌｎｘȡＰｊȡｌｎｘȡＮ时，有Ｂ（ｘ，Ｐｊ）＞０．７５ｘＰｊｌｎ２Ｐｊ．证：由引理１即可得到：Ｂ（ｘ，Ｐｊ）＝ðｍ｜Ｚｊ－１ｎ｜Ｚｊ－１μ（ｍｎ）２ｘ６Ｐｊｍｎ＋Ｏ（３ｊ）＝ｘ３Ｐｊðｄ｜Ｚｊ－１μ（ｄ）２ｖ（ｄ）ｄ＋Ｏ（３ｊ）＝ｘ３ＰｊᵑＰ｜Ｚｊ－１１－２Ｐ()＋Ｏ（３ｊ）（参见文献［３］１５页）ᵑＰ｜Ｚｊ－１１－２Ｐ()＝ᵑＰ｜Ｚｊ－１（Ｐ－１）２Ｐ２ᵑＰ｜Ｚｊ－１Ｐ（Ｐ－２）（Ｐ－１）２＝ᵑＰ｜Ｚｊ－１Ｐ－１Ｐ()２ᵑＰ｜Ｚｊ－１１－１（Ｐ－１）２æèçöø÷，由Ｍｅｒｔｅｎｓ公式（文献［２］第七章ɦ３）有ᵑＰ｜Ｚｊ－１Ｐ－１Ｐ()＝３㊃（２－１）（３－１）２㊃３ᵑＰ｜Ｚｊ－１Ｐ－１Ｐ＝３ｅ－ｒｌｎＰｊ１＋Ｏ１ｌｎＰｊ()()，又１＞ᵑＰ｜Ｚｊ－１１－１（Ｐ－１）２æèçöø÷＞ᵑＰ１－１（Ｐ－１）２æèçöø÷＞（３２－１）ᵑ（Ｐ２－１）３２ᵑＰ２＝４３（２２－１）（３２－１）ᵑ（Ｐ２－１）２２㊃３２ᵑＰ２éëêêùûúú＝４３ðɕｎ＝１１ｎ２æèçöø÷－１＝４３π２６()－１＝８π２＞０．８１．由素数定理，当ｌｎｘ充分大时，有ｊɤ１．１ＰｊｌｎＰｊɤ１１０ｌｎｘｌｎｌｎｘ＜１２ｌｎｘ，ʑＯ（３ｊ）＝Ｏ（３１２ｌｎｘ）＝Ｏ（ｘｌｎ３２）＝Ｏ（ｘ０．６）．综上即得Ｂ（ｘ，Ｐｊ）＝ｘ３Ｐｊ㊃９ｅ－２ｒｌｎ２Ｐｊ１＋Ｏ１ｌｎＰｊ()()２㊃ᵑＰ｜Ｚｊ－１１－１（Ｐ－１）２æèçöø÷＋Ｏ（ｘ０．６）＞３ｅ－２ｒ（１－０．０１）２０．８１ｘＰｊｌｎ２Ｐｊ＋Ｏ（ｘ０．６）＞０．７５０７ｘＰｊｌｎ２Ｐｊ＋Ｏ（ｘ０．６）＞０．７５ｘＰｊｌｎ２Ｐｊ，证毕．三㊁结㊀论当１００ｌｎｘȡＰｊȡｌｎｘȡＮ时，由引理７又有：Ｂ（ｘ，Ｐｊ）＜２ＣＧ（ｕ）ｘＰｊｌｎ２Ｐｊ＋ＯｘＰｊｌｎ３Ｐｊæèçöø÷ɤ２ＣｘＰｊｌｎ２Ｐｊ＋ＯｘＰｊｌｎ３Ｐｊæèçöø÷＜（２Ｃ＋ε）ｘＰｊｌｎ２Ｐｊ＜０．７５ｘＰｊｌｎ２Ｐｊ，这就与引理８的结果相矛盾，因此引理７的假设不能成立．因引理７计算中的ω（ｔ）均为：ω（ｘ）ȡω（ｔ）ȡω（ｌｎｘ）ȡω（Ｎ），故可推出至少存在一点ξ，ｘȡξȡｌｎｘ，有：ω（ξ）ȡ０．３７ξｌｎ２ξ成立．故有：ω（［ξ］）＝ω（ξ）ȡ０．３７ξｌｎ２ξȡ０．３７［ξ］ｌｎ２［ξ］．（１４）即可推出在［Ｎ，ｅＮ］之间至少有一个整数点ｍ１使（１４）式成立，同样在［ｍ１，ｅｍ１］之间至少有一个整数点ｍ２使（１４）式成立，如此等等，依次类推，就证明了定理的真实性．由上述我们立即可以得到一个简单的推论：对于任意ｘȡＮ，总有：ω（ｘ）ȡ０．３７ｌｎｘ（ｌｎｌｎｘ）２成立．孪生素数猜想得证．定理证毕．ʌ参考文献ɔ［１］潘承洞，潘承彪．素数定理的初等证明［Ｍ］．上海：上海科学技术出版社，１９８８．［２］潘承洞，潘承彪．哥德巴赫猜想［Ｍ］．北京：科学出版社，１９８１．［３］闵嗣鹤．数论的方法（上册）［Ｍ］，北京：科学出版社，１９８１．［４］闵嗣鹤，严士健．初等数论（第二版）［Ｍ］．北京：人民教育出版社，１９８２．［５］［苏］Ａ．Ａ．卡拉楚巴著，潘承彪，张南岳译．解析数论基础（中译本）［Ｍ］．北京：科学出版社，１９８４．［６］华罗庚．数论导引［Ｍ］．北京：科学出版社，１９７９．［７］Ｇ．Ｈ．哈代，Ｗ．Ｗ．洛戈辛斯基著，徐瑞云，王斯雷译．富里埃级数（中译本）［Ｍ］．上海：上海科学技术出版社，１９７８．［８］‘数学手册“编写组．数学手册［Ｍ］．北京：人民教育出版社，１９７９．［９］潘承洞．素数分布与哥德巴赫猜想［Ｍ］．济南：山东科学技术出版社，１９７９．。
关于哥德巴赫猜想、孪生素数猜想的新思路以及因数分解的一个多项式算法
关于哥德巴赫猜想、孪生素数猜想的新思路以及因数分解的一个多项式算法作者：谢翰来源：《文理导航》2018年第11期【摘要】证明哥德巴赫猜想的思路有四种，这四种思路分别是：例外集合，小变量的三素数定理，几乎哥德巴赫问题，殆素数。
本文提出了不同以往的第五种思路，创建出了α数集和β数集，成功地将哥德巴赫猜想拆解成为两个更基本的猜想。
此外，给出了孪生素数猜想的一个证明途径以及因数分解的一个多项式算法。
【关键词】孪生素数猜想；哥德巴赫猜想；第五种思路；α数β数；因数分解多项式算法史上和素数有关的数学猜想中，最著名的当然就是“哥德巴赫猜想”了。
1742年6月7日，德国数学家哥德巴赫在写给著名数学家欧拉的一封信中，提出了两个大胆的猜想：（一）每一个不小于6的偶数，都是两个奇素数之和；（二）每一个不小于9的奇数，都是三个奇素数之和。
这就是数学史上著名的“哥德巴赫猜想”。
显然，第二个猜想是第一个猜想的推论。
因此，只需在两个猜想中证明第一个猜想就足够了。
证明哥德巴赫猜想的思路有四种，这四种思路分别是：例外集合，小变量的三素数定理，几乎哥德巴赫问题，殆素数。
这四种思路中只有殆素数的思路取得了比较重大的突破。
殆素数就是素因子个数不多的正整数。
现设N是偶数，虽然不能证明N是两个素数之和，但足以证明它能够写成两个殆素数的和，数学家把命题“任一充分大的偶数都可以表示成为一个素因子个数不超过a个的数与另一个素因子不超过b个的数之和”记作“a+b”。
1966年，我国著名数学家陈景润攻克了“1+2”，也就是：“任何一个足够大的偶数，都可以表示成两个数之和，而这两个数中的一个就是奇素数，另一个则是两个奇素数的积。
”这个定理被世界数学界称为“陈氏定理”。
由于陈景润的贡献，人类距离哥德巴赫猜想的最后结果“1+1”仅有一步之遥了。
但为了实现这最后的一步，也许还要历经一个漫长的探索过程。
有许多数学家认为，要想证明“1+1”，必须通过创造新的数学方法，以往的路很可能都是走不通的。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
论双生素数对 N生素数对及哥德巴赫猜想摘要：论文运用数列思想论述了双生素数对及n生素数对的无限性，运用数列和数轴对折思想论述了每个大于或等于6的偶数都可表示为两个奇素数之和，且随着偶数值的增大而表法数增多，既歌德巴赫猜想的正确。
关键词：素数对；数列；数轴对折中图分类号：g633.6 文献标识码：a 文章编号：1002-7661（2011）12-246-04我想先说一段话，茫茫之宇宙，它有没有边呢？若说有，则边那边又是什么呢？─还是宇宙─即宇宙之大给了我们一个无限大的概念，如果没宇宙会是什么呢？什么都没有，─但还会有一种状态的存在。
为什么会给人一种有的状态呢？宇宙的含量：空间、时间、物质。
自然数是无限的之如宇宙，其中素数是无限的，双生数对是无限的吗？n生素数对是无限的吗？无限的偶数都能表为两素数之和吗？诸如此类无限性问题，从人类发现至今，而困绕人们至今，难道这些无限性的问题超出了人类智能的极限，让人类的思维无能为力吗？本人多年来的思索得出结论：①双生素数对是无限的，设自然数为n，其内双生素数对个数为：tp(n)(tp表素数对)，则tp(n)与n之比：n增大则其比值缩小，即：②n生素数对有无限之多哥德巴赫猜想表“1+1”成立，且随偶数值的增大而所表“1+1”的个数增多，设n为自然数，hp表“1+1”,hp（n）表n内hp之个数，则.................以下详细论述之：先引入几个新的概念：单元、双元、三元……n元数列：分别以1个数字，2个数字，3个数字……n个数字为1项的数列：如数轴上从3开始，连续3个奇数为一单元，则称为3元数列，如此，n 个连续奇数为一单元组成一项，称为n元数列。
连除：符号“”读作：“g，h”，如：{tn}表双元奇数数列，{tpn}表绝对剩余数列，符号“”表导出，p表素数，则：之存在先设一自然奇数数轴，如图（a）由3开始每3个连续自然奇数设为一组，称为：g，则其内的3个元素由小到大依次标为：ga、gb、gc，则所有的ga、gb、gc分别成单元等差数列：{gan}、{gbn}、{gcn}各公差分别为6，gan、gbn 、gcn分别为各数列通项。
所有的g构成数列：{gn}, gn为通项，g内有三个元素：ga、gb、gc其两邻项间ga、gb、gc各一一对应差值为6，则称{gn}为公差为6的三元数列。
现在问：{gan}、{gbn}、{gcn}之各数列是否能分别被一整数整除每一项？要想整除一单元数列每一列，则其首项与公差间必有共同因子（除1外）三单元数列公差分别为：6，即首项设为x，则各项设为6n+x(n ≥1为自然数)n为变量，x和6为不变量，要想整除单元数列之各项，则即为求6与首项x的共同因子（除1之外）三单元数列首项分别为：ga1=3、gb1=5、gc1=7，解得：ga1=3与公差6有共同因子3，所以{gan}数列之各项能被3所整除。
gb1=5和gc1=7与公差6无共同因子，所以没有任何整数能整除数列：{gbn}、{gcn}之每一项，由此素数便产生了。
数列{gn}之内所有ga元素能被3所整除，（即数列{gan}能被3所整除），所以数轴上没有连续的3个奇数全为3个素数之可能。
数列{gbn}、{gcn}各首项gb1=5、gc1=7与公差6无共同因子，所以除奇素数3外，所有奇素数都产生在数列{gbn}和{gcn}上。
因：{gbn}首项5与最小奇素数3之比为：3×1+2则：{gbn}之各项即为：3n+2（n为自然奇数）因：{gcn}首项7与最小奇素数3之比为：3×2+1则：{gcn}之各项即为：3n+1（n为自然偶数）则即为：3n+2= gbn 3n+1= gcn那么：gbn×gcn gbn× gbn gcn ×gcn=（3n+2）（3n+1） =（3n+2）（3n+2）=（3n+1）（3n+1）………………=gbn = gcn = gcn①②③由上三式便可推知所有素数是如何产生的。
在{gbn}、{gcn}数列上，第一个不能被最小奇素数3所整除的数便是素数，由此便产生{gbn}、{gcn}数列上的第一个素数，设为p1，再用p1去试除{gbn}、{gcn}数列之各项，第一个不能被整除的数便为素数：p2，把{gbn}、{gcn}，被p1试除之后所剩数列各项，且不含被p1所确定的p2之值，即> p2且不包含被p1所整除各项称为：相对剩余数列，设为[{gbn}{gcn}] p1再用p2去试除相对剩余数列[{gbn}{gcn}] p1，则第一个不能被p2所所整除的数，即为素数p3，则相对剩余数列即为[{gbn}{gcn}] p2，即> p3且不包含被p1、 p2所整除各项，……如此进行下去，两个数列{gbn}、{gcn}同时被整除从而不断产生素数：p1， p2，p3 ……pn产生的素数p值越多，则数列{gbn}、{gcn}上的项被整除也就越多，无限进行下去，则p值为无穷之多，相对剩余数列：[{gbn}{gcn}] pn永远都存在。
设：n为自然数，其内p值个数记为：s（n）则：得结论：素数是如何产生的：除素数2和3外，所有素数都产生在数列{gbn}、{gcn}之上，因其各首项与其公差6无共同因子（除1外），其内由此产生素数p1， p2， p3 ……pn，至无穷。
素数是因数列{gbn}、{gcn}不能被任何数所同时整除各项而产生的。
论双生素数对的产生：先设一自然奇数数轴，如图（b）把每一个gn（g为无限）值之内的gb、gc两数点看作一个整体数点，（数轴上的每一个数字可看作每一个对应点），设为“t”，则所有“t”构成数列：{tn}（t为无限），并称为2元数列{tn}，因其内含有两个单元数列{gbn}、{gcn}，其各公差分别为6，则数列{tn}仍称为：公差为6的双元等差数列。
现在问，有什么数（当然是素数）能整除双元数列{tn}所有之各项？首先，数列{tn}是建立在单元数列{gbn}和{gcn}基础上的，而{gbn}、{gcn}已证无任何数能整除之各项，从而产生素数。
那么在数轴上，tn所含的两元素：gbn 、gcn即连续两个点，把其看作一个点，一个整体，而数列{tn}之公差为6，与首项之内两数：gb1=5、gc1=7都无共同因子，所以无任何素数能整除数列{tn}之每一项（此处整除：只要tn内两元素：gb、gc任何一个被整除，则称tn被整除，否则称不能被整除），由数列{gbn}、{gcn}上的第1个素数p1去试除{tn}之各项，则第一个不能被整除之tn记为t p1，把被p1试除后的数列，且不含t p1称为{tn}的相对剩余数列，记为[{tn}] p1，再用素数p2去试除[{tn}] p1之各项，第一个不能被整除tn记为t p2,则被p2试除后的数列仍称相对剩余数列，且不含t p2,记为：[{tn}] p2再用素数p3去试除[{tn}] p2之各项，则得t p3,其相对剩余数列记为：[{tn}] p3……如此类推，至pn仍会产生。
相对剩余数列[{tn}] pn,仍会产生t pn之值，至无穷（以上整除意义：只有其本身为唯一因子的不能称被整除）用符号“”表连除，“”表导出，{t pn}表被≤（n表自然奇数）素数连续整除后所产生的所有t p之值，称为绝对剩余数列，记为{t pn}则：（{tn}为n之内所有t值所构成之数列）用n表自然数，w（n）表其内t p之个数则：结论：t p为无限之多，t p即为双生素数对。
即：双生数对有无限之多。
我建议职业数论专家，引进素数的产生是由于数轴上之数列{gbn}、{ gcn }之首项与公差6之间无共同因子从而不断产生素数这一思想（即：数列被连续试除这一思想）运用到其它众多数论问题中去，相信众多难题都会得到相应之解答，相信此思想可引导出众多的新的数论问题，从而又能得到相应之解答。
如三素数问题，则在数轴可以双生素数对为基础，而设定4元数列，如下图（c）如上图：x构成4元数列，公差为12，则型如：t p+p的三生素数对有无穷之多，y构成4元数列，公差为12，则型如：p+ t p的三生素数对有无穷之多z构成5元数列，公差为12，则型如：tp+tp的四生素数对有无穷之多。
如上图（c），数轴上能构成n元数列为无穷之多，其数列变化无穷，具体变化在此不再详述了！则n生素数对有无穷之多。
论哥德巴赫猜想1742年，哥德巴赫给欧拉的信中提到两个命题：a，任何一个大于或等于6的偶数都可表为两个奇素数之和，简称：“1+1”，即：一个素数加一个素数。
b，任何一个大于或等于9的奇数都可表为三个奇素数之和，显然命题b是命题a的推论，只要证明了命题a，则命题b不功自破。
几百年来，数学家们的研究至1920年，布朗用筛法证明了“9+9”，至1966年陈景润证明了“1+2”，至今再无进展。
本人11岁知晓此题，思索至今，想仍然由数列之整除性来论叙此命题，从而得结论：任何大于或等于6的偶数都可表为两个奇素数之和，即“1+1”，且随着偶数值的增大而表法数增多。
如前论述，由数列{tn}则可导出双生素数对之存在，之无限性。
那么我们想表达的偶数等于两素数之和在数轴上表示会是一种什么概念呢？我想说它是一种把自然奇数数轴上的数列{gbn}和{ gcn }对折过来同时又形成了另一种数列的概念。
所有素数除2和3外都产生在数列{gbn}和{ gcn }上，下图为数列{gbn}、{ gcn }在数轴上的对折性质。
最小对折点取5，如图，共有6种对折结果，对折点记为ho，即ho≥5为自然数。
以上各图，把对折点至数轴始端称为前项，则另一端称为后项，虚线…...所示前后项中一一对应的两奇数和值为各对折点ho的值的2倍。
由图知，在前后对折项中，任何一个gn之内，至少有一组相对应的：g b与gb，gc 与gc,gb 与gc相结合，或gb,gc之2倍,至多有两组: gb 与gc的组合,其和值皆为各对折点值的2倍。
（以上g、ga 、gb 、gc之意义同前图（a））gbn、gcn点是产生素数之点（前已论述，所有素数除2和3外，都产生在数列{gbn}、{gcn}之上），现在问，在同一对折点的对折数轴中所构成的一一对应的gbn与 gbn, gcn与 gcn,gbn与 gcn之各两点数值是否同时为素数呢?如下图所示: gn 数轴图和hn数轴图(对折点ho=46实例图)上图:gn数轴对折实例图中,虚线“：”，表前后项（以对折点至数轴始端为前项，另一端则为后项）中gcn与gcn之值一一对应，各两两之和皆为对折点之值ho=46的2倍。
前后项中一一对应之两点gcn与gcn，是可能产生两个数都为素数之点，把此类两点分别看作一个点，并称之为：对折理想素数对点，记作“h”，则所有之h点又构成了一列数列{hn}，见上图：hn 数轴图，其公差为6（因前后项一一各值公差为6，即{gcn}之公差为6，所以{hn}公差为6），称{hn}为对折双元数列。