【２】チェビシェフの定理

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

５０年以上たって，ロシアの数学者チェビシェフがベルトランの仮説を証明しました．この証明は彼が実に１８才のときだったそうですから「栴檀は双葉よりの芳し」の諺のごとくです．チェビシェフの定理によって，素数の分布には何らかの秩序が存在していることになります．「ｎと２ｎの間に素数がある」は，リーマン予想「ｎとｎ＋√ｎの間に素数はある」に較べればずいぶん粗い結果ですが，高度の数学を使わずにかなりの結果が導かれるという一例になっています．

また，チェビシェフは，素数定理と関連して，十分大きなｘについて

　　ｃ1ｘ／ｌｏｇｘ＜π（ｘ）＜ｃ2ｘ／ｌｏｇｘ

ｃ1＝０．９２１２９とｃ2＝１．１０５５５の間にあるという結果を得ています．この結果を得るためにチェビシェフは，オイラーによって１７４０年に考案されたゼータ関数（のちにリーマンがこの名前を付けた）を利用しました．

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