[咋证啊？] 间隙/素数 → 0

尚九天

    【命题】如果把相邻二素数 P';、P" 之差 P"-P';叫作素数分布的“间隙”，那么素数P';越大，“间隙”与P';之比越趋近于0。即
                            (P"- P)';/P';→ 0，
例如：
                            (127-113)/113 = 0.1238…
                           (1361-1327/1327 = 0.02562…
                          (31469-31397)/31397 = 0.0022…
咋证啊？ 咋整啊？ 咋争啊？(争名，争鸣)。
       ----------------------------------------------------------------
    如果此命题“整”，“证”，“争”了，那么大素数的分布：
   
          稀兮？ (西西里亚)
          密兮？ (密西西比)

天山草

[这个贴子最后由天山草在 2011/11/13 03:14pm 第 1 次编辑]

曾与九天讨论过素数分布的密度问题。扯过“零点捞鱼捞得多”的话题。可那都是小鱼，如果结一张宽度 26 的网，可以一网捞到 8 条大鱼，而且这鱼要多大就有多大。
这些高密度的“鱼群”，在 10 亿之内有 47 个：

11
13
17
19
23
29
31
37
17
19
23
29
31
37
41
43
1277
1279
1283
1289
1291
1297
1301
1303
88793
88799
88801
88807
88811
88813
88817
88819
113147
113149
113153
113159
113161
113167
113171
113173
284723
284729
284731
284737
284741
284743
284747
284749
855713
855719
855721
855727
855731
855733
855737
855739
1146773
1146779
1146781
1146787
1146791
1146793
1146797
1146799
2580647
2580649
2580653
2580659
2580661
2580667
2580671
2580673
6560993
6560999
6561001
6561007
6561011
6561013
6561017
6561019
15760091
15760093
15760097
15760099
15760103
15760109
15760111
15760117
20737877
20737879
20737883
20737889
20737891
20737897
20737901
20737903
25658441
25658443
25658447
25658449
25658453
25658459
25658461
25658467
58208387
58208389
58208393
58208399
58208401
58208407
58208411
58208413
69156533
69156539
69156541
69156547
69156551
69156553
69156557
69156559
73373537
73373539
73373543
73373549
73373551
73373557
73373561
73373563
74266253
74266259
74266261
74266267
74266271
74266273
74266277
74266279
76170527
76170529
76170533
76170539
76170541
76170547
76170551
76170553
93625991
93625993
93625997
93625999
93626003
93626009
93626011
93626017
100658627
100658629
100658633
100658639
100658641
100658647
100658651
100658653
134764997
134764999
134765003
134765009
134765011
134765017
134765021
134765023
137943347
137943349
137943353
137943359
137943361
137943367
137943371
137943373
165531257
165531259
165531263
165531269
165531271
165531277
165531281
165531283
171958667
171958669
171958673
171958679
171958681
171958687
171958691
171958693
182403491
182403493
182403497
182403499
182403503
182403509
182403511
182403517
218033723
218033729
218033731
218033737
218033741
218033743
218033747
218033749
224008217
224008219
224008223
224008229
224008231
224008237
224008241
224008243
226449521
226449523
226449527
226449529
226449533
226449539
226449541
226449547
252277007
252277009
252277013
252277019
252277021
252277027
252277031
252277033
261672773
261672779
261672781
261672787
261672791
261672793
261672797
261672799
294536147
294536149
294536153
294536159
294536161
294536167
294536171
294536173
302542763
302542769
302542771
302542777
302542781
302542783
302542787
302542789
309740987
309740989
309740993
309740999
309741001
309741007
309741011
309741013
311725847
311725849
311725853
311725859
311725861
311725867
311725871
311725873
364154027
364154029
364154033
364154039
364154041
364154047
364154051
364154053
408936947
408936949
408936953
408936959
408936961
408936967
408936971
408936973
515447747
515447749
515447753
515447759
515447761
515447767
515447771
515447773
521481197
521481199
521481203
521481209
521481211
521481217
521481221
521481223
528272177
528272179
528272183
528272189
528272191
528272197
528272201
528272203
619010297
619010299
619010303
619010309
619010311
619010317
619010321
619010323
626927447
626927449
626927453
626927459
626927461
626927467
626927471
626927473
661972301
661972303
661972307
661972309
661972313
661972319
661972321
661972327
682809977
682809979
682809983
682809989
682809991
682809997
682810001
682810003
701679047
701679049
701679053
701679059
701679061
701679067
701679071
701679073
910935911
910935913
910935917
910935919
910935923
910935929
910935931
910935937
964669613
964669619
964669621
964669627
964669631
964669633
964669637
964669639
989043047
989043049
989043053
989043059
989043061
989043067
989043071
989043073
---------------
找到 47 组

尚九天

下面引用由天山草在 2011/11/13 03:13pm 发表的内容：
曾与九天讨论过素数分布的密度问题。扯过“零点捞鱼捞得多”的话题。可那都是小鱼，如果结一张宽度 26 的网，可以一网捞到 8 条大鱼，而且这鱼要多大就有多大。
这些高密度的“鱼群”，在 10 亿之内有 47 个：
  ...

哇塞！ 多谢先生指教！ 网大鱼必多，钩长钓大鱼！

天山草

下面引用由尚九天在 2011/11/13 08:22pm 发表的内容：
哇塞！ 多谢先生指教！ 网大鱼必多，钩长钓大鱼！

唉，你理解偏了。不是网大鱼必多，是同样尺寸的网，大小不变的网，尺寸恒等于 26 的网——可以捞到 8 条大鱼，可以捞到 8 条比蓝鲸更大的鱼，可以捞到要多大就有多大的鱼，可以捞到比地球更大的鱼。你说这不奇怪么？——素数的密度会越来越小，那是指平均密度而言。要是说这个局部的“点”密度呀，那是保持不变的！

尚九天

下面引用由天山草在 2011/11/14 08:44am 发表的内容：
下面引用由尚九天在 2011/11/13 08:22pm 发表的内容：
哇塞！ 多谢先生指教！ 网大鱼必多，钩长钓大鱼！


唉，你理解偏了。不是网大鱼必多，是同样尺寸的网，大小不变的网，尺寸恒等于 26 的网——可以捞到 8 条大鱼，可以捞到 8 条比蓝鲸更大的鱼，可以捞到要多大就有多大的鱼，可以捞到比地球更大的鱼。你说这不奇怪么？——素数的密度会越来越小，那是指平均密度而言

    先生教诲甚是，小可不敢强辩。但“半亩方塘一鉴开，天光云影共徘徊”，“天光云影”之“大”，何容于“半亩方塘”且“共徘徊”哉？

ysr

各位的命题容易证明,几乎可以当公里应用,只是目前不知有何重要价值?

尚九天

下面引用由ysr在 2011/11/14 10:48am 发表的内容：
各位的命题容易证明,几乎可以当公里应用,只是目前不知有何重要价值?

价值？ 需慢慢道来！