前回 は「素数ばかり生成される多項式」についてお話ししました。今回は「素数を無限に生成できる(かもしれない?)多項式」についてのお話です。
それでは、まず以下の問題について考えてみてください。あなたは即答できるでしょうか。
とかける素数 は無限に存在するか?
YES じゃん。平方剰余じゃん。
って思うかもしれません。(私も一瞬そう思ってしまったのです。)
もしかして、これと勘違いしていませんか?
とかける素数 は無限に存在するか?
あるいはこちらと勘違いしているかもしれません。
とかける素数 は無限に存在するか?
どちらも にそっくりな見た目をしていますが、似て非なる条件です。
実は と は同値な条件です。証明は以下のページに載っていますので、今回はやめておきましょう。
tsujimotter.hatenablog.com
さて、式 は変形すると、
なので、ルジャンドル記号を使って
と表せます。
平方剰余の相互法則より、
であるので、結局
となります。これがフェルマーの二平方定理ですね。*1
つまり、 であるような素数 はすべて式 の形で表せます。
ディリクレの算術級数定理より、 であるような素数 は無限に存在しますから、式 の形で表せる素数 は無限に存在するという結論を得ます。
これと冒頭の話は、まったく別ですね。
フェルマーの二平方定理は、 型の素数は必ず の形で表せるというものです。
までの素数で考えるとこのようになります。
ここで 下線 が引かれているのが、 の形をした素数です。 は の形をした式の1つなので、上の例の中に一部そのような例も存在しますが、必ずしもすべてがこの形で現れるわけではないわけです。
いくら、 の形の素数の無限性が示せたからといって、 型の素数が無限に存在するかどうかは、わからない、というわけですね。
実際、この 型の素数の無限性 についての問題は「ブニャコフスキー予想」と言って 未解決問題 です。
ブニャコフスキー予想(の系):
とかける素数 は無限に存在する
正確には、上の予想は 1857 年に示された本来の意味での「ブニャコフスキー予想」の系の1つです。私は以下の Wikipedia で知りました。こちらに詳細な条件が載っています。
の他にも、 を正の整数としたときの「 次の円分多項式 の形で表すことのできる素数の無限性」についても、この予想の範疇です。
次の円分多項式とは、 の原始 乗根 を根に持つ最小多項式のことですね。
なぜ「円分」かというと、複素数平面で原点を中心とする半径 の円を描くと、 が 等分点になっているからです。
さて、この円分多項式 を から順に並べると、こうなります。
の場合が、冒頭の例だったわけですね。
これらはそれぞれ無限に多くの素数を生み出すことが予想されていますが、 においては、それはまだ証明されていません。
どんな素数があるかは、手計算で確認してみればわかるので、ぜひやってみてください。
それにしても、こんな簡単な(ように見える)ことでも、未解決だったりするんです。ほかにも「双子素数は無数に存在するか?」や「メルセンヌ素数は無数に存在するか?」などは、有名な未解決問題ですね。
むしろ「ある特定の多項式の形をした素数の無限性」については、人類は何ひとつわかっていない と言ってしまってもいいかもしれません。唯一例外的にわかっているのは 型の素数の無限性(ディリクレの算術級数定理)ですね。
素数の世界は本当に奥が深いです。
参考:
素数 - Wikipedia
それでは、短いですが今日はこの辺で。
*1:フェルマーのクリスマス定理とも言うそうです。 参考: Fermatのクリスマス定理 - インテジャーズ