【１】素数定理

　素数の分布は不規則かつ複雑で未知の部分が多いのですが，１８世紀から１９世紀にまたがって活躍したガウスは，「素数はどのような規則で現れるか」ということを考え，素数定理を予想しました（１７９２年：ガウスは当時１５才であった）．

　素数定理とは，

　　π（ｘ）〜ｘ／ｌｏｇｘ　　　（ｘ→∞）

というものです．ここで，π（ｘ）は任意の整数ｘを越えない素数の個数を表すものとします．素数定理は，ｘを超えない素数の個数を与える近似的な公式ですが，”〜”記号は漸近的に等しい，すなわちｘが十分大きいとき両者の比が１に近づくという意味であって，両者の差がなくなるという意味ではありません．

　いいかえれば，この近似式の絶対誤差はｘの増大とともに増大するが，相対誤差は減少する，つまり，左辺と右辺の比はｘを∞にすると極限が存在して０でも無限大でもなく，１に収束する，

　　π（ｘ）／（ｘ／ｌｏｇｘ）〜１　　　（ｘ→∞）

ということです．ｘに近い２つの連続した素数間の平均距離はおよそｌｏｇｘだといってもよいでしょう．

　１８５０年に，ロシアの数学者チェビシェフは任意の数ｎと２ｎの間には少なくとも一つの素数ｐが存在する（ｎ＜ｐ≦２ｎ），同じことですが素数ｐの次の素数は２ｐより小さい（ｐk+1＜２ｐk）という定理を発見しました．

　この証明の発見は彼が実に１８才のときだったそうですから，「栴檀は双葉よりの芳し」の諺のごとくです．チェビシェフの定理によって，素数の分布には何らかの秩序が存在していることになります．さらに，チェビシェフは１８５２年に，十分大きなｘについてπ（ｘ）／（ｘ／ｌｏｇｘ）が

　　０．９２１２９と１．１０５５５

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

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