アンドリカの予想

テンプレート:Multiple image アンドリカの予想（アンドリカのよそう、英語：Andrica's conjecture）は、素数の間隔に関する予想。その名はDorin Andricaにちなむ。

予想の内容は次のような不等式である。

全ての$n$について$\sqrt{p_{n+1}}-\sqrt{p_n}<1$が成り立つ。

ここで$p_n$はn番目の素数である。$g_n=p_{n+1}-p_n$がn番目の素数の間隔を表すとすると、アンドリカの予想は次のようにも書くことができる。

$g_n<2\sqrt{p_n}+1.$

経験的な証拠

Imran Ghoryは、最大の素数の間隔に関するデータを使用して、$n$が1.3002 × 10¹⁶まで予想が成り立つことを確認している。最大の間隔と上記の間隔の不等式の表を使用して、確認する値を4 × 10¹⁸まで広げることができる。

離散関数$A_n=\sqrt{p_{n+1}}-\sqrt{p_n}$は右の図にプロットされている。$A_n$の高い値は、n = 1, 2, 4のときであり、A₄ ≈ 0.670873...より大きい値は最初の10⁵個の素数においては存在しない。アンドリカ関数はnが増加するにつれて漸近的に減少するため、nが大きくなり差が大きくなるためには、開いていく素数の間隔が必要となる。したがって、まだ証明されていないが予想は真実である可能性が高いと思われる。

一般化

アンドリカの予想の一般化として、次の式が考えられる。

$p_{n+1}^x-p_n^x=1,$

ここで$p_n$はn番目の素数、xは任意の正の数。

最大の可能な解xはn=1で簡単に分かり、x_max = 1である。最小の解xは、n = 30の場合のx_min ≈ 0.567148... テンプレート:OEIS であると予想される。

この予想は不等式としても表される。

$p_{n+1}^x-p_n^x<1$ for $x<x_{\min }.$

関連項目

• クラメール予想
• ルジャンドル予想
• Firoozbakht予想

出典

• テンプレート:Cite book

外部リンク

• Andrica's Conjecture at PlanetMath
• Generalized Andrica conjecture at PlanetMath
• テンプレート:MathWorld