素数が無数に存在することの証明
こんにちは。Math。です。
素数が無数に存在することはよく知られた事実で,さまざまな証明方法が知られています。
今回は,私が最近知った証明方法をご紹介します。
準備
証明に入る前に,次の補題を証明しておきます。
一次関数と対数関数の発散スピードを比較すれば当然とも言えますが,一応,ちゃんと証明しておきます。
式 のままだと扱いづらいので と置き換えると,式 は次のように書き換えられます。
よって,式 の代わりに式 を示せば十分です。そこで,式 を少し変形して,
が成り立つことを示します。
として, の Taylor 展開(Maclaurin 展開)を考えると,
という不等式を得ます1。よって,
であり,左辺が 2 より大きくなればよいので, を
となるように取ればよいことが分かります。
したがって,式 を満たすような が存在します。すなわち,式 を満たす が存在します。■
本題の証明
先ほどの補題を用いて,若干の組合せ論的に素数が無数に存在することを示します。ただし,2 が最小の素数であることは既知であるとします。
自然数 に対して,素数が 個あると仮定します。以下,その 個の素数を と表すことにします。
補題より,不等式 を満たす が存在しますので, 以下の自然数のうち
の形で表せるものの個数 について考えます。このとき,
ですから, より が成り立ちます。
ここで,2 は最小の素数なので です。よって, が成り立ちます。
さて,各 の指数 の取り方が 通り(:Gauss 記号)あるので
が成り立ちます。つまり, は 未満です。
これより, 以下の自然数の中に,式 の形で表せない( 以外の素因数を持つ)ものが存在します。これは, 以外の素数が存在することを意味しますので,素数は少なくとも 個存在します。
おわりに
冒頭に「さまざまな証明方法」と述べましたが,正直に言いますと,ちゃんと噛み締めた証明方法は Euclid による方法と Furstenberg 位相を用いた方法の 2 つだけです(今回の方法を合わせて 3 つです)。Wikipedia にはほかの方法も載っていますが,細部までは理解していません。
あと,解析学関連は気づかぬうちに循環論法になっていたりするので難しいですね…
- の定義によっては循環論法に陥りそうで怖いので,ここでは Taylor 展開の式で定義しておきます。↩