一个证明哥猜的方法求大家讨论

yelomo

获得筛选数列过程如下
第一步排列数列组
将所有大于1的正整数按照横向等差为1，纵向等差为3，进行排列（节选100以内如下所示）

编号	数列a	数列b	数列c
0	2	3	4
1	5	6	7
2	8	9	10
3	11	12	13
4	14	15	16
5	17	18	19
6	20	21	22
7	23	24	25
8	26	27	28
9	29	30	31
10	32	33	34
11	35	36	37
12	38	39	40
13	41	42	43
14	44	45	46
15	47	48	49
16	50	51	52
n	an=2+3n	bn=3+3n	cn=4+3n

第二步筛选数列
观察第一步所得数列
第一次筛选：可发现数列b，多项式可表示为bn=3(n+1)，即bn为3的倍数。根据素数定义，该数列只有b0=3所取值为素数。故筛选忽略。（筛选所得数列，节选100以内如下所示）

编号	数列a	数列c
0	2	4
1	5	7
2	8	10
3	11	13
4	14	16
5	17	19
6	20	22
7	23	25
8	26	28
9	29	31
10	32	34
11	35	37
12	38	40
13	41	43
14	44	46
15	47	49
16	50	52
n	an=2+3n	cn=4+3n

在剩余的两数列中，存在大量偶数项。根据素数定义，这些偶数项只有a0=2取值为素数。故筛选忽略。（筛选所得数列，节选100以内如下所示）
[table]
[

yelomo

tr][td=48]

编号

[/td][td=70]

数列a

[/td][td=69]

数列c

[/td][/tr]
[tr][td=48]

0

[/td][td=70]

5

[/td][td=69]

7

[/td][/tr]
[tr][td=48]

1

[/td][td=70]

11

[/td][td=69]

13

[/td][/tr]
[tr][td=48]

2

[/td][td=70]

17

[/td][td=69]

19

[/td][/tr]
[tr][td=48]

3

[/td][td=70]

23

[/td][td=69]

25

[/td][/tr]
[tr][td=48]

4

[/td][td=70]

29

[/td][td=69]

31

[/td][/tr]
[tr][td=48]

5

[/td][td=70]

35

[/td][td=69]

37

[/td][/tr]
[tr][td=48]

6

[/td][td=70]

41

[/td][td=69]

43

[/td][/tr]
[tr][td=48]

7

[/td][td=70]

47

[/td][td=69]

49

[/td][/tr]
[tr][td=48]

8

[/td][td=70]

53

[/td][td=69]

55

[/td][/tr]
[tr][td=48]

9

[/td][td=70]

59

[/td][td=69]

61

[/td][/tr]
[tr][td=48]

10

[/td][td=70]

65

[/td][td=69]

67

[/td][/tr]
[tr][td=48]

11

[/td][td=70]

71

[/td][td=69]

73

[/td][/tr]
[tr][td=48]

12

[/td][td=70]

77

[/td][td=69]

79

[/td][/tr]
[tr][td=48]

13

[/td][td=70]

83

[/td][td=69]

85

[/td][/tr]
[tr][td=48]

14

[/td][td=70]

89

[/td][td=69]

91

[/td][/tr]
[tr][td=48]

15

[/td][td=70]

95

[/td][td=69]

97

[/td][/tr]
[tr][td=48]

n

[/td][td=70]

an=5+6n

[/td][td=69]

cn=7+6n

[/td][/tr]
[tr][td=48]

[/td][td=70]

[/td][td=69]

[/td][/tr]
[/table]第三步总结归纳筛选公式
观察筛选后所得数列
发现两数列上任意一项的平方，必出现在数列c上（附，上图浅绿色）
位于同一列上，两项的乘积，必出现在数列c；分别位于两数列上两项乘积，必出现在数列a。
设Sx表示数列组上第x项取值，Sy在数列组上第y项取值，且x≤y；Sn为SxSy乘积；
则可得
Sn=Sx*Sy  [可表示数列上两项和乘积，存在于数列上；数列上任意一项，若为两数乘积，则两数，存在于数列上。
用Sax、Say，表示数列a上第x项，第y项所取值；用Scx、Scy，表示数列c上第x项，第y项取值，且x≤y。
根据同一列的两项乘积，必出现在数列c；分别位于两数列上的两项乘积，必出现在数列a。
可得以下两数乘积公式。
San=Sax*Sby
Sbn=Sax*Say
Sbn=Sbx*Sby
将多项式公式，分别代入乘积公式
由以下过程
San=Sax*Scy;(x≤y)
代入数列多项式an=5+6n，cn=7+6n
5+6n=（5+6x)(7+6y)
n=7x+5y+6xy+5

Scn=Scx*Scy;(x≤y)
代入数列多项式an=5+6n，cn=7+6n
7+6n=(7+6x)(7+6y)
n=7x+7y+6xy+6

Scn=Sax*Say;(x≤y)
代入数列多项式an=5+6n，cn=7+6n
7+6n=(5+6x)(5+6y)
n=5x+5y+6xy+3

yelomo

得以下结论
数列a上，当n≠7x+5y+6xy+5时。n在数列a上所取值为素数。
数列c上，当n≠7x+7y+6xy+6
　　　　　　 n≠5x+5y+6xy+3时，n在数列c上所取值为素数。
选取n=5x+7y+6xy+5

n=7x+5y+6xy+5；数列a上n取以下值，an为非素数
n	0	1	2	3	4	5	6	7
0	5	10	15	20	25	30	35	40
1	12	23	34	45	56	67	78	89
2	19	36	53	70	87	104	121	138
3	26	49	72	95	118	141	164	187
4	33	62	91	120	149	178	207	236
5	40	75	110	145	180	215	250	285

验证(x，y)所取值，在数列an上对应值，确为非素数。
选取n=5x+5y+6xy+3
[table]
[tr][td=9,1,404]

n=5x+5y+6xy+3；数列c上n取以下值cn为非素数

[/td][/tr]
[tr][td=24]

n

[/td][td=47]

0

[/td][td=47]

1

[/td][td=47]

2

[/td][td=47]

3

[/td][td=47]

4

[/td][td=47]

5

[/td][td=47]

6

[/td][td=47]

7

[/td][/tr]
[tr][td=24]

0

[/td][td=47]

3

[/td][td=47]

8

[/td][td=47]

13

[/td][td=47]

18

[/td][td=47]

23

[/td][td=47]

28

[/td][td=47]

33

[/td][td=47]

38

[/td][/tr]
[tr][td=24]

1

[/td][td=47]

8

[/td][td=47]

19

[/td][td=47]

30

[/td][td=47]

41

[/td][td=47]

52

[/td][td=47]

63

[/td][td=47]

74

[/td][td=47]

85

[/td][/tr]
[tr][td=24]

2

[/td][td=47]

13

[/td][td=47]

30

[/td][td=47]

47

[/td][td=47]

64

[/td][td=47]

81

[/td][td=47]

98

[/td][td=47]

115

[/td][td=47]

132

[/td][/tr]
[tr][td=24]

3

[/td][td=47]

18

[/td][td=47]

41

[/td][td=47]

64

[/td][td=47]

87

[/td][td=47]

110

[/td][td=47]

133

[/td][td=47]

156

[/td][td=47]

179

[/td][/tr]
[tr][td=24]

4

yelomo

[/align][/td][td=47][align=center][color=#000][size=12pt]23[/size][/color][color=#000][/color]
[/align][/td][td=47][align=center][color=#000][size=12pt]52[/size][/color][color=#000][/color]
[/align][/td][td=47][align=center][color=#000][size=12pt]81[/size][/color][color=#000][/color]
[/align][/td][td=47][align=center][color=#000][size=12pt]110[/size][/color][color=#000][/color]
[/align][/td][td=47][align=center][color=#000][size=12pt]139[/size][/color][color=#000][/color]
[/align][/td][td=47][align=center][color=#000][size=12pt]168[/size][/color][color=#000][/color]
[/align][/td][td=47][align=center][color=#000][size=12pt]197[/size][/color][color=#000][/color]
[/align][/td][td=47][align=center][color=#000][size=12pt]226[/size][/color][color=#000][/color]
[/align][/td][/tr]
[tr][td=24][align=center][color=#000][size=12pt]5[/size][/color][color=#000][/color]
[/align][/td][td=47][align=center][color=#000][size=12pt]28[/size][/color][color=#000][/color]
[/align][/td][td=47][align=center][color=#000][size=12pt]63[/size][/color][color=#000][/color]
[/align][/td][td=47][align=center][color=#000][size=12pt]98[/size][/color][color=#000][/color]
[/align][/td][td=47][align=center][color=#000][size=12pt]133[/size][/color][color=#000][/color]
[/align][/td][td=47][align=center][color=#000][size=12pt]168[/size][/color][color=#000][/color]
[/align][/td][td=47][align=center][color=#000][size=12pt]203[/size][/color][color=#000][/color]
[/align][/td][td=47][align=center][color=#000][size=12pt]238[/size][/color][color=#000][/color]
[/align][/td][td=47][align=center][color=#000][size=12pt]273[/size][/color][color=#000][/color]
[/align][/td][/tr]
[tr][td=24][align=center][color=#000][size=12pt]6[/size][/color][color=#000][/color]
[/align][/td][td=47][align=center][color=#000][size=12pt]33[/size][/color][color=#000][/color]
[/align][/td][td=47][align=center][color=#000][size=12pt]74[/size][/color][color=#000][/color]
[/align][/td][td=47][align=center][color=#000][size=12pt]115[/size][/color][color=#000][/color]
[/align][/td][td=47][align=center][color=#000][size=12pt]156[/size][/color][color=#000][/color]
[/align][/td][td=47][align=center][color=#000][size=12pt]197[/size][/color][color=#000][/color]
[/align][/td][td=47][align=center][color=#000][size=12pt]238[/size][/color][color=#000][/color]
[/align][/td][td=47][align=center][color=#000][size=12pt]279[/size][/color][color=#000][/color]
[/align][/td][td=47][align=center][color=#000][size=12pt]320[/size][/color][color=#000][/color]
[/align][/td][/tr]
[tr][td=24][align=center][color=#000][size=12pt]7[/size][/color][color=#000][/color]
[/align][/td][td=47][align=center][color=#000][size=12pt]38[/size][/color][color=#000][/color]
[/align][/td][td=47][align=center][color=#000][size=12pt]85[/size][/color][color=#000][/color]
[/align][/td][td=47][align=center][color=#000][size=12pt]132[/size][/color][color=#000][/color]
[/align][/td][td=47][align=center][color=#000][size=12pt]179[/size][/color][color=#000][/color]
[/align][/td][td=47][align=center][color=#000][size=12pt]226[/size][/color][color=#000][/color]
[/align][/td][td=47][align=center][color=#000][size=12pt]273[/size][/color][color=#000][/color]
[/align][/td][td=47][align=center][color=#000][size=12pt]320[/size][/color][color=#000][/color]
[/align][/td][td=47][align=center][color=#000][size=12pt]367[/size][/color][color=#000][/color]
[/align][/td][/tr]
[/table][size=10.5pt]验证[font=Times New Roman](x[/font][font=宋体]，[/font][font=Times New Roman]y)[/font][font=宋体]所取值，在数列[/font][font=Times New Roman]an[/font][font=宋体]上对应值，确为非素数。[/font][/size]
[size=10.5pt]选取[/size][color=#000][size=12pt]n=7x+7y+6xy+7[/size][/color]
[table]
[tr][td=7,1,400][align=center][color=#000][size=12pt]n=7x+7y+6xy+7；数列c[/size][/color][color=#000][size=12pt]上n取以下值cn为非素数[/size][/color][color=#000][/color]
[/align][/td][/tr]
[tr][td=31][align=center][color=#000][size=12pt]n[/size][/color][color=#000][/color]
[/align][/td][td=61][align=center][color=#000][size=12pt]0[/size][/color][color=#000][/color]
[/align][/td][td=61][align=center][color=#000][size=12pt]1[/size][/color][color=#000][/color]
[/align][/td][td=61][align=center][color=#000][size=12pt]2[/size][/color][color=#000][/color]
[/align][/td][td=61][align=center][color=#000][size=12pt]3[/size][/color][color=#000][/color]
[/align][/td][td=61][align=center][color=#000][size=12pt]4[/size][/color][color=#000][/color]
[/align][/td][td=61][align=center][color=#000][size=12pt]5[/size][/color][color=#000][/color]
[/align][/td][/tr]
[tr][td=31][align=center][color=#000][size=12pt]0[/size][/color][color=#000][/color]
[/align][/td][td=61][align=center][color=#000][size=12pt]7[/size][/color][color=#000][/color]
[/align][/td][td=61][align=center][color=#000][size=12pt]14[/size][/color][color=#000][/color]
[/align][/td][td=61][align=center][color=#000][size=12pt]21[/size][/color][color=#000][/color]
[/align][/td][td=61][align=center][color=#000][size=12pt]28[/size][/color][color=#000][/color]
[/align][/td][td=61][align=center][color=#000][size=12pt]35[/size][/color][color=#000][/color]
[/align][/td][td=61][align=center][color=#000][size=12pt]42[/size][/color][color=#000][/color]
[/align][/td][/tr]
[tr][td=31][align=center][color=#000][size=12pt]1[/size][/color][color=#000][/color]
[/align][/td][td=61][align=center][color=#000][size=12pt]14[/size][/color][color=#000][/color]
[/align][/td][td=61][align=center][color=#000][size=12pt]27[/size][/color][color=#000][/color]
[/align][/td][td=61][align=center][color=#000][size=12pt]40[/size][/color][color=#000][/color]
[/align][/td][td=61][align=center][color=#000][size=12pt]53[/size][/color][color=#000][/color]
[/align][/td][td=61][align=center][color=#000][size=12pt]66[/size][/color][color=#000][/color]
[/align][/td][td=61][align=center][color=#000][size=12pt]79[/size][/color][color=#000][/color]
[/align][/td][/tr]
[tr][td=31][align=center][color=#000][size=12pt]2[/size][/color][color=#000][/color]
[/align][/td][td=61][align=center][color=#000][size=12pt]21[/size][/color][color=#000][/color]
[/align][/td][td=61][align=center][color=#000][size=12pt]40[/size][/color][color=#000][/color]
[/align][/td][td=61][align=center][color=#000][size=12pt]59[/size][/color][color=#000][/color]
[/align][/td][td=61][align=center][color=#000][size=12pt]78[/size][/color][color=#000][/color]
[/align][/td][td=61][align=center][color=#000][size=12pt]97[/size][/color][color=#000][/color]
[/align][/td][td=61][align=center][color=#000][size=12pt]116[/size][/color][color=#000][/color]
[/align][/td][/tr]
[tr][td=31][align=center][color=#000][size=12pt]3[/size][/color][color=#000][/color]
[/align][/td][td=61][align=center][color=#000][size=12pt]28[/size][/color][color=#000][/color]
[/align][/td][td=61][align=center][color=#000][size=12pt]53[/size][/color][color=#000][/color]
[/align][/td][td=61][align=center][color=#000][size=12pt]78[/size][/color][color=#000][/color]
[/align][/td][td=61][align=center][color=#000][size=12pt]103[/size][/color][color=#000][/color]
[/align][/td][td=61][align=center][color=#000][size=12pt]128[/size][/color][color=#000][/color]
[/align][/td][td=61][align=center][color=#000][size=12pt]153[/size][/color][color=#000][/color]
[/align][/td][/tr]
[tr][td=31][align=center][color=#000][size=12pt]4[/size][/color][color=#000][/color]
[/align][/td][td=61][align=center][color=#000][size=12pt]35[/size][/color][color=#000][/color]
[/align][/td][td=61][align=center][color=#000][size=12pt]66[/size][/color][color=#000][/color]
[/align][/td][td=61][align=center][color=#000][size=12pt]97[/size][/color][color=#000][/color]
[/align][/td][td=61][align=center][color=#000][size=12pt]128[/size][/color][color=#000][/color]
[/align][/td][td=61][align=center][color=#000][size=12pt]159[/size][/color][color=#000][/color]
[/align][/td][td=61][align=center][color=#000][size=12pt]190[/size][/color][color=#000][/color]
[/align][/td][/tr]
[tr][td=31][align=center][color=#000][size=12pt]5[/size][/color][color=#000][/color]
[/align][/td][td=61][align=center][color=#000][size=12pt]42[/size][/color][color=#000][/color]
[/align][/td][td=61][align=center][color=#000][size=12pt]79[/size][/color][color=#000][/color]
[/align][/td][td=61][align=center][color=#000][size=12pt]116[/size][/color][color=#000][/color]
[/align][/td][td=61][align=center][color=#000][size=12pt]153[/size][/color][color=#000][/color]
[/align][/td][td=61][align=center][color=#000][size=12pt]190[/size][/color][color=#000][/color]
[/align][/td][td=61][align=center][color=#000][size=12pt]227[/size][/color][color=#000][/color]
[/align][/td][/tr]
[/table][size=10.5pt]验证[font=Times New Roman](x[/font][font=宋体]，[/font][font=Times New Roman]y)[/font][font=宋体]所取值，在数列[/font][font=Times New Roman]an[/font][font=宋体]上对应值，确为非素数。[/font][/size]
[size=10.5pt] [/size]
[size=10.5pt] [/size]
[size=10.5pt]最终可结合筛选过程，得素数取值，为区间[/size]
[size=10.5pt] [2,3[font=宋体]，[/font][font=Times New Roman]5+6n(n[/font][font=宋体]≠[/font][/size][color=#000][size=12pt]5x+7y+6xy+5[/size][/color][color=#000][size=12pt]），7+6n(n≠[/size][/color][color=#000][size=12pt]5x+5y+6xy+3[/size][/color][color=#000][size=12pt]且n≠[/size][/color][color=#000][size=12pt]7x+7y+6xy+7[/size][/color][color=#000][size=12pt]）][/size][/color]
[size=10.5pt] [/size]
将取值区间应用于哥猜
设p1，p2（p1≤p2)为任意两个素数。即p1,p2在素数取值区间
[2,3，5+6n(n≠5x+7y+6xy+5），7+6n(n≠5x+5y+6xy+3且n≠7x+7y+6xy+7）]
中任意取值
则当2o=p1+p2，o取值为任意大于1的正整数时，即可证明每个大于2的偶数都可以写成两个素数之和。
代入取值,可得一下等式组
2o=2+2
2o=3+3
2o=5+6p1+5+6p2(p≠5x+7y+6xy+5)
2o=7+6p1+7+6p2(p≠5x+5y+6xy+3且p≠7x+7y+6xy+7）
2o=3+5+6p(p≠5x+7y+6xy+5)
2o=3+7+6p(p≠5x+5y+6xy+3且p≠7x+7y+6xy+7）
2o=5+6p1+7+6p2(p1≠5x+7y+6xy+5;p2≠5x+5y+6xy+3且p2≠7x+7y+6xy+7)
简化后可得
o=2
o=3
o=5+3p1+3p2(p≠5x+7y+6xy+5)
o=7+3p1+3p2(p≠5x+5y+6xy+3且p≠7x+7y+6xy+7）
o=4+3p(p≠5x+7y+6xy+5)
o=5+3p(p≠5x+5y+6xy+3且p≠7x+7y+6xy+7）
o=6+3p1+3p2(p1≠5x+7y+6xy+5;p2≠5x+5y+6xy+3且p2≠7x+7y+6xy+7)

yelomo

太长了发不出来