今日は数論の話をしましょう。
今回の主役は フェルマー数 です。フェルマー数とは、0以上の整数 に対して
最初の5つのフェルマー数
を観察すると、これがすべて素数となることに気づきます。
フェルマー数の由来となった数学者フェルマーは、フェルマー数が素数ばかりであることに驚き、この先も素数が続くことを予想していたようです。
ところが、すぐ次のフェルマー数は素数ではありません。
今紹介したフェルマー数を使うと、なんと 素数の無限性の別証明 が得られるのです。今日はその方法を紹介したいと思います。 フェルマー数から素数の無限性が得られると聞いて、ぱっと頭に浮かぶのは﹁フェルマー素数の無限性﹂を示すという方針でしょう。フェルマー素数が無限にあることが示せれば、当然素数も無限にあるというわけです。
しかしながら、フェルマー素数の無限性を示すのはとても困難です。そもそも「~〜素数の無限性」を示すこと自体、とても難しい問題です。ほとんどの場合(たとえば「フィボナッチ素数の無限性」「メルセンヌ素数の無限性」「双子素数の無限性」など)が未解決問題で、うまくいっているのは「 型素数の無限性(算術級数定理)」ぐらいです。
もっと違ったアプローチが必要というわけですね。
フェルマー数の漸化式
フェルマー数は と表せますが、
は
であることに注意しましょう。
よって次の漸化式が得られました。
番目のフェルマー数は
番目から計算できるのですね!
右辺を見ると、 という因子があります。ここにもう一度式
を適用できるでしょう。
これを繰り返していくと、次の式が得られます:
より、以下の式が得られます:
とても綺麗な式になりました!
フェルマー数の定義から、こんな式が得られるというのは面白いです。
すべてのフェルマー数は互いに素
上の式 を使うと、次の事実が分かります。
これを証明しましょう。
の大小関係を入れ替えても一般性を失わないので、
としておきます。フェルマー数の漸化式より
![f:id:tsujimotter:20200212195101p:plain:w380 f:id:tsujimotter:20200212195101p:plain:w380](https://cdn-ak.f.st-hatena.com/images/fotolife/t/tsujimotter/20200212/20200212195101.png)
よって、すべてのフェルマー数は互いに素です。ここから素数の無限性が鮮やかに導かれます!
素数の無限性の証明
フェルマー数 は 1 より大きいので、必ず素因子を持ちます。その素因子の一つを選んで
とします。これを
から順に行い、
を割り切る素数の列
を得ます。
ここで、すべてのフェルマー数は互いに素であることを使うと、 は
のいずれとも一致しません。
すなわち、与えられた 個の素数から、新しい素数を一つ見出すことができました。フェルマー数は無限に存在するので、この方法によって無限に素数の列を生み出すことが出来ます。
以上で素数の無限性が証明されました。■
おわりに
今回は、フェルマー数の「相異なるフェルマー数は互いに素」という性質を使って「素数の無限性」を証明する方法について紹介しました。
フェルマー数に「いい感じ」の漸化式があるというのも面白かったですし、それを使うと「すべてが互いに素」であることが示せるのも面白いですね。
最後の「素数の無限性」を示す論法では、(今回はフェルマー数を用いましたが)ほかの似たような数列でも実現できそうです。無限に続く数列 で
今回のお話は橋本喜一朗先生の著書の第一章の内容を参考にさせていただきました。
![探検! 数の密林・数論の迷宮 探検! 数の密林・数論の迷宮](https://m.media-amazon.com/images/I/51XqB8iPOVL._SL160_.jpg)
- 作者:橋本 喜一朗
- 発売日: 2017/09/27
- メディア: 単行本
橋本先生の本では、第二章で同様の性質をもつ、すなわち素数の無限性の証明に使える数列について研究しています。ほかにも魅力的な数論の話がたくさん載っている本なので、(本当はあまり人に教えたくないですが)よかったらご覧になってみてください。
それでは今日はこの辺で。
関連記事
の素因数分解の方法や、
が
という形の素数でしか割り切れないことの証明などが書いてある記事です。
tsujimotter.hatenablog.com