素数の逆数の和

　　＝Σ（１／ｐ）＝１／２＋１／３＋１／５＋１／７＋１／１１＋・・・

は有限でしょうか？

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

（証明）

　ゼータ関数ζ（ｓ）は次のように書き換えることができます．

　ζ（ｓ）＝１／１^s ＋１／２^s ＋１／３^s ＋１／４^s ＋・・・

＝（１＋１／２^s ＋１／４^s ＋１／８^s ＋・・・）（１＋１／３^s ＋１／９^s ＋・・・）（１＋１／５^s ＋・・・）・・・

＝１／（１−２^-s）・１／（１−３^-s）・１／（１−５^-s）・１／（１−７^-s）・・・

＝Π（１−ｐ^-s）^-1　　　（但し，ｐはすべての素数を動く．）

　１＋ｘ＋ｘ^2 ＋ｘ^3 ＋・・・＝１／（１−ｘ）にｘ＝１／ｐ^s を代入したものを，Π（１−ｐ^-s）^-1に代入して積を展開すると，自然数の素因数分解の一意性から，ζ（ｓ）＝Σ１／ｎ^s となることがおわかりいただけるでしょうか．

　この式の右辺は，すべての素数にわたる無限積であり，このような関係から，自然数全体についての和ζ（ｓ）＝Σ１／ｎ^s の話が素数全体についての積Π（１−ｐ^-s）^-1の話になります．Π（１−ｐ^-s）^-1はオイラー積と呼ばれ，ゼータ関数と素数の間をつなぐ式になっています．

　調和級数１／１＋１／２＋１／３＋・・・は，オイラー積表示するとΠ（１−１／ｐ）^-1と書けますから，Π（１−１／ｐ）^-1〜∞

また，ｌｏｇΠ（１−１／ｐ）＝Σｌｏｇ（１−１／ｐ）

１／ｐが非常に小さいとき，マクローリン展開より，Σｌｏｇ（１−１／ｐ）〜−Σ（１／ｐ）ですから，Σ（１／ｐ）＝∞になります．したがって，すべての素数の逆数の和は発散することが示されます．

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

　さらに，このことを詳しく調べると，

Σ（１／ｐ）〜ｌｏｇ（ｌｏｇｘ）　（ｐはｐ≦ｘの素数を動く，証明略）

すなわち，

１／２＋１／３＋１／５＋１／７＋１／１１＋・・・＋１／ｎ〜ｌｏｇｌｏｇｎ→∞

などがわかってきます．

　１７３７年，オイラーはこのようにして素数の逆数の和が無限大になることを見つけました．逆に，このことから，素数が無限個あることは簡単にわかります．また，調和級数Σ（１／ｎ）は発散し，また，オイラー級数Σ（１／ｎ^2 ）＝π^2 ／６で収束しますから，素数は平方数ほどまばらには分布していないこともわかります．

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