相距为任意偶数的两个相邻素数有无穷多对.docVIP

相距为任意偶数的两个相邻素数有无穷多对 论题 论题：孪生素数有无穷多对。 相距为4的两个相邻素数，是否有无穷多对呢？ 相距为6的两个相邻素数，是否有无穷多对呢？ 相距为8的两个相邻素数，是否有无穷多对呢？ 相距为10的两个相邻素数，是否有无穷多对呢？ ······ 相距为任意偶数的两个相邻素数，是否有无穷多对呢？ 我的结论是肯定的。并予以证明。 证明 定义（一） 同类合 若某一素数Pn的两个合的合长相等，且两个合的假素数分别一一对应，所对应的为同级假素数，那么，将这两个合称为同类合。 根据假素数保持定理，某一素数Pn的一个合若存在于一个保持部里 ，那么，每一个保持部里有一个同类合；某一素数Pn的一个合若存在于两个相邻的保持部里且合长小于Tn ，那么，每两个相邻的保持部里有一个同类合。 定理（一） 假素数相距定理 在任意素数Pn的假素数中，相距为任意偶数的两个不一定相邻假素数，都存在。也就是说，在任意素数Pn的假素数中，合长为任意偶数的合，都存在。 证明：用数学归纳法证明 当Pn＝2时，它的所有假素数相距均为2，任取一个偶数m=2t(t∈N), 取连续(t+1) 个P2的假素数，其合长为m,故在P2的假素数中，合长为任意偶数的合，都存在。 令Pn＝Pv时，假设该定理成立。即在Pv的假素数中，合长为任意偶数的合，都存在。 当Pn＝Pv＋1时，因在Pv的假素数中，合长为任意偶数m的合，都存在。 若将这种合的同类合的最小假素数和最大假素数分别记为: z1 Av z2 Av 根据级假素数定理 连续Pv＋1个z1 Av 中，有且仅有一个不是Pv＋1的假素数； 连续Pv＋1个z2 Av 中，有且仅有一个不是Pv＋1的假素数； 连续Pv＋1个Pv 的这种同类等价合中，有且仅有一个z1 Av被筛去，有且仅有一个z2 Av被筛去，那么，至少有(Pv＋1－2)个这种同类合成为Pv＋1 的衍生等价合，其合长为m，这些衍生等价合成为Pv＋1 的合长为m的同类合 。 故在Pv＋1的假素数中，合长为任意偶数的合，都存在。 因此，当Pn＝Pv+1时，该定理也成立。 假素数相距定理得证。 对于任意偶数m(m≥4)，都可找到素数Pn ，使其满足m＜2Pn ， 根据假素数相距定理，在Pn的合中，一定存在合长为m的合，这个合的假素数个数 , k可分两种情况： k＝2 ； k＞2 。 若k＝2，即相距为m的两个相邻假素数存在。 若k＞2，将这个合的同类合的假素数记为： z1 An ， z2 An ， ··· ，zkAn 根据级假素数定理,连续Pn＋1个z2 An 中，有且仅有一个不是Pn＋1的假素数； 连续Pn＋1个Pn的这种同类等价合中，有且仅有一个z2