|
本帖最后由 yangchuanju 于 2021-10-20 03:46 编辑
我来证哥猜(第二稿)
取两列连续自然数1,2,3,4……,2m-1,第一列正序,第二列倒序,两两对齐。
按照埃氏筛法第一步,分别筛掉2的倍数,这样两列数字中的偶数全部被筛掉,只剩奇数,仍是两两对齐的。
每列数字剩余m个:列1为1,3,5,……,2m-1;列2为2m-1,2m-3,……,5,3,1;两两和为2m。
第二步,分别筛掉3的倍数:m个奇数中有3的倍数int(m/3)个,假定被筛掉的3的倍数并不是对齐的,这样剩余的奇数对还有m-2*int(m/3)个;假定被筛掉的3的倍数是对齐的,这样剩余的奇数对还有m-int(m/3)个。
取m=1-15,筛除3后的有15种工况:
m 筛除 筛余 m/3 分析
1 0 1 0.33 筛余奇数对比m/3大2/3
2 2 0 0.67 筛余奇数对比m/3小2/3
3 1 2 1 筛余奇数对是m/3的2倍
4 2 2 1.33 筛余奇数对比m/3大2/3
5 4 1 1.67 筛余奇数对比m/3小2/3
6 2 4 2 筛余奇数对是m/3的2倍
7 4 3 2.33 筛余奇数对比m/3大2/3
8 6 2 2.67 筛余奇数对比m/3小2/3
9 3 6 3 筛余奇数对是m/3的2倍
10 6 4 3.33 筛余奇数对比m/3大2/3
11 8 3 3.67 筛余奇数对比m/3小2/3
12 4 8 4 筛余奇数对是m/3的2倍
13 8 5 4.33 筛余奇数对比m/3大2/3
14 10 4 4.67 筛余奇数对比m/3小2/3
15 5 10 5 筛余奇数对是m/3的2倍
例m=15,14,13时:
列15-1 列15-2 列14-1 列14-2 列13-1 列13-2
1 29 1 27- 1 25
3- 27- 3- 25 3- 23
5 25 5 23 5 21-
7 23 7 21- 7 19
9- 21- 9- 19 9- 17
11 19 11 17 11 15-
13 17 13 15- 13 13
15- 15- 15- 13 15- 11
17 13 17 11 17 9-
19 11 19 9- 19 7
21- 9- 21- 7 21- 5
23 7 23 5 23 3-
25 5 25 3- 25 1
27- 3- 27- 1 m=13,筛余数5>13/3
29 1 m=14,筛余数4<14/3 5=13/3+2/3
m=15,筛余数10=2*15/3 4=14/3-2/3
附注:表中数字后带减号“-”的表示已被筛除掉。
15种工况分3类:
(一) m是3的倍数时,被筛除的3的倍数是对齐的,筛余奇数对最多,等于m的2/3;
(二) m是3的倍数加1时,被筛除的3的倍数下错1位,奇数对1和2m-1倍被保留,筛余奇数对等于m/3+2/3;
(三) m是3的倍数减1时,被筛除的3的倍数上错1位,奇数对1和2m-1倍被筛除,筛余奇数对等于m/3-2/3。
筛分过程中,不论与3成对的2m-3是不是素数,均被筛除掉了;
对于第二类工况,1和2m-1肯定不是所要求的哥猜素数对,去除之,筛余奇数对还有m/3-4/3;
对于第三类工况,1和2m-1已被筛除,筛余奇数对还有m/3-2/3;
据此筛除3及3的倍数后筛余奇数对最少是m/3-4/3(不包括1和2m-1)。
上面仅取m至15,实际上m可取至任意大,规律不变。本表用R2表示双计哥猜数,r2表示筛余奇数对数。
当m等于1-12时,对应的2m等于2-24,筛余奇数对r2(1和2m-1除外)都是素数对,筛余奇数对数就是不含素数3的双计哥猜数:
2m=2,r2=R2=0;
2m=4,r2=R2=0;
2m=6,r2=0,此时哥猜数R2应加上一对3+3,R2=1;
2m=8,r2=2-2=0,此时应加上2对3+5,5+3,R2=2;
2m=10,r2=1,此时应加上2对3+7,7+3,R2=3;
2m=12,r2=4-2=2,R2=2;
2m=14,r2=3-2=1,此时应加上2对3+11,11+3,R2=3;
2m=16,r2=2,此时应加上2对3+13,13+3,R2=2+2=4;
2m=18,r2=6-2=4,R2=4;
2m=20,r2=4-2=2,此时应加上2对3+17,17+3,R2=4;
2m=22,r2=3,此时应加上2对3+19,19+3,R2=5;
2m=24,r2=8-2=6,R2=6。
当2m≥26时,筛余奇数对中可能含有5及5的倍数,需再用素数5筛分。
2m 筛余 减含1的 r2 加含3的 R2
2 1 1 0 0 0
4 0 0 0 0 0
6 2 2 0 1 1
8 2 2 0 2 2
10 1 0 1 2 3
12 4 2 2 0 2
14 3 2 1 2 3
16 2 0 2 2 4
18 6 2 4 0 4
20 4 2 2 2 4
22 3 0 3 2 5
24 8 2 6 0 6
|
|