logo

オイラーの証明:素数は無限に存在する 📂整数論

オイラーの証明:素数は無限に存在する

証明

戦略: どんな方法を使っても同じ結論に達するなら問題はないが、本当にユニークな方法で解決された場合は、それ自体が学ぶ価値がある。ユークリッドの証明のようにシンプルでクリアな味はないが、解析的なツールを使って数論の問題を解決した点が非常に興味深い。オイラーが残した多くの証明もそうだが、一度見るとその衝撃のために忘れるのが難しい。天才の発想に従って証明自体を味わってみよう。


調和級数 n=11n=1+12+13+14+15+16+ \sum_{ n = 1 }^{ \infty } {{1} \over {n}} = 1 + {{1} \over {2}} + {{1} \over {3}} + {{1} \over {4}} + {{1} \over {5}} + {{1} \over {6}} + \cdots を考える。nn が素数のべき乗であるようにまとめると、 n=11n=1+(12+14+)+(13+19+)+(15+125+)++16+ \sum_{ n = 1 }^{ \infty } {{1} \over {n}} = 1 + \left( {{1} \over {2}} + {{1} \over {4}} + \cdots \right) + \left( {{1} \over {3}} + {{1} \over {9}} + \cdots \right) + \left( {{1} \over {5}} + {{1} \over {25}} + \cdots \right) + \cdots+ {{1} \over {6}} + \cdots 一方、算術の基本定理によれば、一つの自然数と一つの素因数分解は一対一の対応を持つ。例えば 6=236= 2 \cdot 3 より、(12+14+)\displaystyle \left( {{1} \over {2}} + {{1} \over {4}} + \cdots \right)(13+19+)\displaystyle \left( {{1} \over {3}} + {{1} \over {9}} + \cdots \right) からそれぞれ 12\displaystyle {{1} \over {2}}13\displaystyle {{1} \over {3}} を選び出して掛けると、正確に 16\displaystyle {{1} \over {6}} が現れる。どんな自然数でも素数のべき乗を選び出して掛けると正確に一つが作られるので、調和級数は n=11n=(1+12+14+)(1+13+19+)(1+15+125+) \sum_{ n = 1 }^{ \infty } {{1} \over {n}} = \left( 1 + {{1} \over {2}} + {{1} \over {4}} + \cdots \right) \left( 1 + {{1} \over {3}} + {{1} \over {9}} + \cdots \right) \left( 1 + {{1} \over {5}} + {{1} \over {25}} + \cdots \right) \cdots と表すことができる。幾何級数で再編成すると、 n=11n=(1112)(1113)(1115) \sum_{ n = 1 }^{ \infty } {{1} \over {n}} = \left( {{1} \over {1 - {{1} \over {2}} }} \right) \left( {{1} \over {1 - {{1} \over {3}} }} \right) \left( {{1} \over {1 - {{1} \over {5}} }} \right) \cdots 簡潔に積の形で示せば、各素数 pp に対して、 n=11n=p(11p)1 \sum_{ n = 1 }^{ \infty } {{1} \over {n}} = \prod_{p} \left( 1 - {{1} \over {p}} \right)^{-1} また、全ての素数 pp に対して、 (11p)1=111p>1 \left( 1 - {{1} \over {p}} \right)^{-1} = {{1} \over {1 - {{1} \over {p}} }} > 1 となるので、p(11p)1\displaystyle \prod_{p} \left( 1 - {{1} \over {p}} \right)^{-1} が発散することから、素数 pp は無限に存在することが示される。もちろん、調和級数は発散するので、 p(11p)1=n=11n= \prod_{p} \left( 1 - {{1} \over {p}} \right)^{-1} = \sum_{ n = 1 }^{ \infty } {{1} \over {n}} = \infty それゆえに、素数は無限に存在する。

一緒に見る