今日は数論の話をしましょう。
今回の主役は フェルマー数 です。フェルマー数とは、0以上の整数 に対して
の形をした数のことです。
が自然に現れる問題としては 正多角形の作図 がよく知られています。 を素数として、正 角形が作図可能である必要十分条件が知られています。その条件は「素数 がフェルマー数であること」です。フェルマー数の形をした素数をフェルマー素数といいます。
フェルマー素数と作図の関係についての解説は、tsujimotterのノートブックの過去の記事でも紹介しています:
tsujimotter.hatenablog.com
また、私の執筆した数理科学の記事(2017年12月号)でも、丁寧に紹介しています。よろしければご覧ください。
最初の5つのフェルマー数
を観察すると、これがすべて素数となることに気づきます。
フェルマー数の由来となった数学者フェルマーは、フェルマー数が素数ばかりであることに驚き、この先も素数が続くことを予想していたようです。
ところが、すぐ次のフェルマー数は素数ではありません。
もっというと、この先フェルマー素数は一つも見つかっていません。2020年2月現在、307個のフェルマー数が合成数であることが調べられています。フェルマー数の列の中に、6個目もフェルマー素数を見つける試みは、大変難しいことがわかります。
今紹介したフェルマー数を使うと、なんと 素数の無限性の別証明 が得られるのです。今日はその方法を紹介したいと思います。
フェルマー数から素数の無限性が得られると聞いて、ぱっと頭に浮かぶのは「フェルマー素数の無限性」を示すという方針でしょう。フェルマー素数が無限にあることが示せれば、当然素数も無限にあるというわけです。
しかしながら、フェルマー素数の無限性を示すのはとても困難です。そもそも「~〜素数の無限性」を示すこと自体、とても難しい問題です。ほとんどの場合(たとえば「フィボナッチ素数の無限性」「メルセンヌ素数の無限性」「双子素数の無限性」など)が未解決問題で、うまくいっているのは「 型素数の無限性(算術級数定理)」ぐらいです。
もっと違ったアプローチが必要というわけですね。
フェルマー数の漸化式
フェルマー数は と表せますが、 は であることに注意しましょう。
よって、 は「(二乗)+(二乗)」の形をしていることがわかります。
「(二乗)ー(二乗)」であれば、因数分解の公式がありましたので、これを使いたいというのが最初の発想です。
よって次の漸化式が得られました。
番目のフェルマー数は 番目から計算できるのですね!
右辺を見ると、 という因子があります。ここにもう一度式 を適用できるでしょう。
これを繰り返していくと、次の式が得られます:
より、以下の式が得られます:
とても綺麗な式になりました!
フェルマー数の定義から、こんな式が得られるというのは面白いです。
すべてのフェルマー数は互いに素
上の式 を使うと、次の事実が分かります。
これを証明しましょう。
の大小関係を入れ替えても一般性を失わないので、 としておきます。フェルマー数の漸化式より
が成り立ちます。
ここで、 を割り切る共通の素数が存在すると仮定して、それを とします。このとき、式 の左辺と右辺の第1項を が割り切ります。
したがって、 は を割り切るはずなので、 です。
一方、 は定義から直ちに奇数であることが分かるので、 を素因数に持つはずがありません。したがって、「 を割り切る共通の素数が存在する」という仮定が誤りであることがわかり、 は互いに素であることが示されました。■
よって、すべてのフェルマー数は互いに素です。ここから素数の無限性が鮮やかに導かれます!
素数の無限性の証明
フェルマー数 は 1 より大きいので、必ず素因子を持ちます。その素因子の一つを選んで とします。これを から順に行い、 を割り切る素数の列
を得ます。
ここで、すべてのフェルマー数は互いに素であることを使うと、 は のいずれとも一致しません。
すなわち、与えられた 個の素数から、新しい素数を一つ見出すことができました。フェルマー数は無限に存在するので、この方法によって無限に素数の列を生み出すことが出来ます。
以上で素数の無限性が証明されました。■
おわりに
今回は、フェルマー数の「相異なるフェルマー数は互いに素」という性質を使って「素数の無限性」を証明する方法について紹介しました。
フェルマー数に「いい感じ」の漸化式があるというのも面白かったですし、それを使うと「すべてが互いに素」であることが示せるのも面白いですね。
最後の「素数の無限性」を示す論法では、(今回はフェルマー数を用いましたが)ほかの似たような数列でも実現できそうです。無限に続く数列 で
なる漸化式を満たし、さらに任意の について と が互いに素である、を満たす数列が存在するとしましょう。前節と同様の議論により、 の素因子の一つを することで、無限に続く素数の列 を得ることができます。
として を使ったのが今回紹介した証明で、 として 番目の素数を使うとユークリッドの証明そのものだったというわけですね。
今回のお話は橋本喜一朗先生の著書の第一章の内容を参考にさせていただきました。
- 作者:橋本 喜一朗
- 発売日: 2017/09/27
- メディア: 単行本
橋本先生の本では、第二章で同様の性質をもつ、すなわち素数の無限性の証明に使える数列について研究しています。ほかにも魅力的な数論の話がたくさん載っている本なので、(本当はあまり人に教えたくないですが)よかったらご覧になってみてください。
それでは今日はこの辺で。
関連記事
の素因数分解の方法や、 が という形の素数でしか割り切れないことの証明などが書いてある記事です。
tsujimotter.hatenablog.com