连续素数3元组猜想
猜想连续两个奇素数之和大于相邻的第3个素数。如3+5>7。
这个猜想等价于→后一个素数间隔小于前一个奇素数。
笔者尝试计算了许多连续素数3元组,{p₁,p₂,p₃}结果都表明,前2个奇素数和均大于第3个素数。如☞
· 3,5→ = 8>7
· 5,7→ 12>11
· 7,11→ 18>13
· 11,13→ 24>17
· 13,17→ 30>19
· 17,19→ 36>23
· 19,23→42>29
· 23,29 →52>31
· 29,31→60> 37
· 31,37→68> 41
· 37,41 →77> 43
· 41,43→84>47
· 43,47→90> 53
· 47,53→100>59
· 53,59→112>61
· 59,61→120>67
· 61,67→128> 71
· 67,71→138>73
· 71,73 →144> 79
· 73,79→152>83
· 79,83→162>89
· 83,89→172>97
· 89,97→186>101
· 97,101→198>103
· 101,103→204>107
· 103,107→210>109
· 107,109→216>113
· 109,113→222>127
· 113,127→240>131
· 127,131→258>137
· 131,137→268>139
· 137,139→276>149
· 139,149→288>151
· 149,151→300>157
· 151,157→308>163
· 157,163→320>167
· 163,167→330>173
· 167,173→340>179
· 173,179→352>181
· 179,181→360>191
· 181,191→372>193
· 191,193→384>197
· 193,197→390>199
· 197,199→396>211
· 199,211→410>223
· 211,223→434>227
· 223,227→450>229
· 227,229→456>233
· 229,233→462>239
· 233,239 →472>241
· 239,241 →480>251
· 241,251 →492>257
· 251,257→508>263
· 257,263 →520>269
· 263,269 →532>271
· 269,271 →540>277
· 271,277 →548>281
· 277,281 →558>283
· 281,283 →564>293
· 283,293 →576>307
· 293,307 →600>311
· 307,311 →618>313
· 311,313 →624>317
· 313,317 →630>331
· 317,331→648>337
· 331,337→668>347
· 337,347→684>349
· 347,349→696>353
· 349,353→702>359
· 353,359→712>367
……
可以看到,在排除特例组{2,3,5}之后,前两个素数和与下一个素数的差距越来越大,而且从来没有相等过。因此可以猜想当p₁>2时总有p₁+p₂>p₃。
能否严格证明猜想成立?
根据已经证明成立的Bertrand 假设,有
2p₁>p₂,2p₂>p₃。
又由题设知p₁<p₂<p₃。
于是,2p₁+2p₂>p₂+p₃。
得到2p₁+p₂>p₃。但这与前面的猜想p₁+p₂>p₃相比,不等式左边多了一个加数p₁,此路不通。
或者可以换一个思路,用模小素数性质证明猜想。但试了许多小素数模结果都失败了。
值得注意的是,如果假设某些强度较高的猜想(例如Cramér-Grandville猜想),则可以推出素数间隙满足 g_n = O((log p_n)^2),这将远远小于 p_n,从而直接推出这个猜想成立。但目前这些猜想均未被证明。
反过来说,如果这个猜想能直接得到证明,也将大大有助于Cramér-Grandville猜想的最终解决。
看来,这个猜想的确是开放的,目前既不能证明也不能证否。只能留给后来者解决了。

猜想连续两个奇素数之和大于相邻的第3个素数。如3+5>7。
这个猜想等价于→后一个素数间隔小于前一个奇素数。
笔者尝试计算了许多连续素数3元组,{p₁,p₂,p₃}结果都表明,前2个奇素数和均大于第3个素数。如☞
· 3,5→ = 8>7
· 5,7→ 12>11
· 7,11→ 18>13
· 11,13→ 24>17
· 13,17→ 30>19
· 17,19→ 36>23
· 19,23→42>29
· 23,29 →52>31
· 29,31→60> 37
· 31,37→68> 41
· 37,41 →77> 43
· 41,43→84>47
· 43,47→90> 53
· 47,53→100>59
· 53,59→112>61
· 59,61→120>67
· 61,67→128> 71
· 67,71→138>73
· 71,73 →144> 79
· 73,79→152>83
· 79,83→162>89
· 83,89→172>97
· 89,97→186>101
· 97,101→198>103
· 101,103→204>107
· 103,107→210>109
· 107,109→216>113
· 109,113→222>127
· 113,127→240>131
· 127,131→258>137
· 131,137→268>139
· 137,139→276>149
· 139,149→288>151
· 149,151→300>157
· 151,157→308>163
· 157,163→320>167
· 163,167→330>173
· 167,173→340>179
· 173,179→352>181
· 179,181→360>191
· 181,191→372>193
· 191,193→384>197
· 193,197→390>199
· 197,199→396>211
· 199,211→410>223
· 211,223→434>227
· 223,227→450>229
· 227,229→456>233
· 229,233→462>239
· 233,239 →472>241
· 239,241 →480>251
· 241,251 →492>257
· 251,257→508>263
· 257,263 →520>269
· 263,269 →532>271
· 269,271 →540>277
· 271,277 →548>281
· 277,281 →558>283
· 281,283 →564>293
· 283,293 →576>307
· 293,307 →600>311
· 307,311 →618>313
· 311,313 →624>317
· 313,317 →630>331
· 317,331→648>337
· 331,337→668>347
· 337,347→684>349
· 347,349→696>353
· 349,353→702>359
· 353,359→712>367
……
可以看到,在排除特例组{2,3,5}之后,前两个素数和与下一个素数的差距越来越大,而且从来没有相等过。因此可以猜想当p₁>2时总有p₁+p₂>p₃。
能否严格证明猜想成立?
根据已经证明成立的Bertrand 假设,有
2p₁>p₂,2p₂>p₃。
又由题设知p₁<p₂<p₃。
于是,2p₁+2p₂>p₂+p₃。
得到2p₁+p₂>p₃。但这与前面的猜想p₁+p₂>p₃相比,不等式左边多了一个加数p₁,此路不通。
或者可以换一个思路,用模小素数性质证明猜想。但试了许多小素数模结果都失败了。
值得注意的是,如果假设某些强度较高的猜想(例如Cramér-Grandville猜想),则可以推出素数间隙满足 g_n = O((log p_n)^2),这将远远小于 p_n,从而直接推出这个猜想成立。但目前这些猜想均未被证明。
反过来说,如果这个猜想能直接得到证明,也将大大有助于Cramér-Grandville猜想的最终解决。
看来,这个猜想的确是开放的,目前既不能证明也不能证否。只能留给后来者解决了。












