ｎと２ｎの間に素数がある（あるいはｎが十分大きければｎと１．５ｎの間に素数がある）は，リーマン予想＝「ｎとｎ＋ｋ√ｎの間に素数はある」に較べればずいぶん粗い結果ですが，高度の数学を使わずにかなりの結果が導かれるという一例になっています．

　なお，ルジャンドルの予想

　　「ｎ^2と（ｎ＋１）^2の間に常に素数が存在する」

は未解決問題として知られています．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

【１】ベルトラン・チェビシェフの定理

　１８４５年にフランスの数学者ベルトランは任意の数ｎと２ｎの間には少なくとも一つの素数ｐが存在する（ｎ＜ｐ≦２ｎ），同じことですが素数ｐの次の素数は２ｐより小さい（ｐk+1 ＜２ｐk ）という予想を立てました．

　５０年以上たって，ロシアの数学者チェビシェフがベルトランの仮説を証明しました．この証明は彼が実に１８才のときだったそうですから，「栴檀は双葉よりの芳し」の諺のごとくです．チェビシェフの定理によって，素数の分布には何らかの秩序が存在していることになります．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

【２】ルジャンドル予想（Opperman予想）

　一方，ｎ^2と（ｎ＋１）^2の間に常に素数があるかという予想（Opperman予想）は未解決です．例として３^2＝９と４^2＝１６の間には２つの素数１１，１３が存在します．

　調和級数Σ（１／ｎ）は発散し，また，オイラー級数Σ（１／ｎ^2）＝π^2／６で収束しますから，素数は平方数ほどまばらには分布していないこともわかります．ｎが大きくなるにつれて素数の分布はまだらになりますが，ｎ^2と（ｎ＋１）^2の間も広がります．

　ｎ^2と（ｎ＋１）^2の間に十分な数の素数が存在しなくなる可能性は常にあり，だれもこの予想を証明したりあるいは反例をあげたりすることができていないのです．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

【３】ｎ^2＋１型素数に対する素数定理

　　１^2＋１＝２　　　　　（素数）

　　２^2＋１＝５　　　　　（素数）

　　４^2＋１＝１７　　　　（素数）

　　６^2＋１＝３７　　　　（素数）

　　８^2＋１＝６５　　　　（素数でない）

　１０^2＋１＝１０１　　　（素数）

　ｎ^2＋１型素数は無数にあるでしょうか？　これも無数に存在すると予想されていますが，証明はわかっていません．

　数ｎ＝ｋ^2＋１が素数である確率は，おおよそ

　　１／ｌｏｇｎ・１／√ｎ

したがって，

　　πq（ｘ）〜Ｃ∫(2,x)ｄｔ／（ｌｏｇｔ・√ｔ）〜Ｃ√ｘ／（ｌｏｇｘ）

と予想できます．ハーディとリトルウッドはＣの値も決定しています．

　　Ｃ＝Π（１−χ（ｐ）／（ｐ−１））

　　ｎ^2＋１＝０　（ｍｏｄｐ）→　χ（ｐ）＝１

　　ｎ^2＋１≠０　（ｍｏｄｐ）→　χ（ｐ）＝−１

　　Ｃ＝Π（１−（−１）^(p-1)/2／（ｐ−１））＝１．３７２７・・・

　一般に，２次式，たとえば，

　　ｎ^2＋１型素数，ｎ^2＋２型素数

は無数にあるでしょうか？　これも無数に存在すると予想されていますが，証明はわかっていません．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝