The sesquicentennial of the prime number $2^{127} - 1$

大いなる数の探求：素数、パズル、そしてチェス盤の物語

あなたは、「素数」と呼ばれる非常に特別な種類の数を見つけ出そうとしている探偵だと想像してください。これらは数学の構成要素であり、1とその数自身でしか割り切れない数です。何世紀もの間、数学者たちは、単にそれらを見つけるのが難しいからというだけでなく、数字がどのように機能するかという秘密を握っているために、最大級の、そして最も捉えどころのない素数を見つけることに執着してきました。これらを見つけるには、通常、「試行錯誤」のゲームを行い、ある数がより小さな数で割り切れるかどうかを一つずつ確認していく必要があります。しかし、真に巨大な数に対してこれを行うことは、砂浜のすべての砂粒を一つずつ拾い上げて数えようとするようなものです。それは宇宙の寿命よりも長い時間がかかるでしょう！

この論文は、1876年にエドゥアール・リュカという天才的なフランス人数学者が、退屈なカウントのゲームをスキップする方法を見出した物語を伝えています。彼は単に巨大な素数を見つけたのではありません。彼は、ある数が素数であることを証明するために、すべての約数をチェックすることなく証明できる、巧妙なショートカット、つまり数学的な「手品」を発明したのです。この論文は、この発見の150周年を祝うとともに、リュカがいかにしてチェス盤と特定の数のパターンを用いて、不可能に思えたパズルを解いたかを説明しています。今日、コンピュータはリュカが発見したまさにその論理を使用して、世界最大の既知の素数を見つけ出しており、19世紀のアイデアが今なお現代数学を動かすエンジンであることを証明しています。

---

39桁の巨人、そしてチェス盤の魔術師

2026年は、非常に特別な数である M127（2¹²⁷ − 1 と表記される）の大きな誕生日を迎えます。この数を書き出すと、次のような長い数字の列になります：170,141,183,460,469,231,731,687,303,715,884,105,727。これは39桁の数です。1876年、エドゥアール・リュカはこの数が素数であることを証明しました。これは極めて重大な出来事でした。その後75年間、これは世界で知られている最大の素数でした。さらに驚くべきことに、リュカはコンピュータも計算機も、いかなる機械的な助けも借りずにこれを行いました。彼はすべて手作業で行い、それはまるでマジックショーのような方法で行われたのです。

リュカは多才な人物でした。彼は有名な「ハノイの塔」パズルを発明し、「○×ゲーム（Dots and Boxes）」さえも作り出しました。しかし、彼の最も有名なトリックは、M127 が素数であることを証明する方法でした。通常、ある数が素数であることを証明するには、それがより小さな数で割り切れるかどうかを確認しなければなりません。しかし、M127 はあまりにも巨大であるため、これを行うには永遠に時間がかかってしまいます。代わりに、リュカは自身が発見した特別な数列、いわゆる「リュカ数列」（もちろん、彼にちなんで名付けられたものです）を使用しました。この数列を、有名なフィボナッチ数列のように成長するパターンを持ちつつ、そこにひねりが加わった、数字の「家族」のようなものだと考えてください。

リュカは、この数列から特定の数を取り出し、それを M127 で割った結果が、もし M127 が素数であればゼロになることを突き止めました。問題は、彼がチェックする必要があった数が、100桁を超えるほど巨大だったことです！ それは紙に書き留めたり計算したりするにはあまりにも大きすぎました。そこで、リュカは自分のリビングルームをゲームボードに変えました。彼は、数を示すためにチェスの駒を「1」とし、空のマスを「0」として、127 × 127 のチェス盤を使用しました。

彼の「ゲーム」は次のように機能しました：彼は駒を使って、取り組んでいる数をバイナリ（二進法）で符号化し、数字を表現しました。そして、コンピュータが行うのと同様に、数字を「二乗」してサイズを小さくしていくための、駒を動かす一連のルールに従いました。彼は何も書き留めませんでした。ただ駒を動かしただけです。約120ラウンドにわたる駒の移動と二乗の工程を経て、彼は最終行をチェックしました。もし駒がちょうど正しく並んでいれば（つまり、結果がゼロであれば）、M127 は間違いなく素数です。そして、そうだったのです！ 彼は、紙に一桁の数字も書くことなく、これを証明したのです。

現代のエンジン：チェス盤からスーパーコンピュータへ

この論文は、リュカの手法が単なる一度限りのトリックではなく、今日、最大の素数を見つけるための基礎となったことを説明しています。この手法は現在、リュカ・レーマー・テストと呼ばれています。リュカは駒を使ってこれを行いましたが、現代のコンピュータはこの同じテストを使用して、数千万桁の素数を見つけ出しています。2024年10月に発見された現在の記録保持者は、41,024,320 桁の数字を持つ数です。これは、人間が音読するだけで数年かかるほど長い数字です。

このテストの秘訣は、チェビシェフ多項式と呼ばれる特別な数学的ツールにあります。この多項式は、数を受け取り、それを二乗して2を引く「機械」だと考えることができます。もしこの機械に「4」を入力し、そのプロセスを何度も繰り返し続けると、次のような数列が得られます：4, 14, 194, 37,634 ...。リュカ・レーマー・テストによれば、もし素数 p を取り、この数列の (p-2) 番目の数を計算し、それが 2ᵖ − 1 で割り切れるならば、2ᵖ − 1 は素数であるとされます。

論文は、なぜこれが機能するのかを示すために、数学的なプロセスを辿っています。そこには、数字が時計のように循環する「有限体（finite fields）」と呼ばれる、少し「虚数」の世界が関わっています。著者は、このプロセスが特別な円の中で車輪を回すようなものであることを示しています。もし車輪が正しい回数回転し、特定の場所に正確に止まれば、それはその数が素数であることを証明します。この数学は厳密であり、何度も再確認されているため、このテストが正しいことは絶対的な確信を持って言えます。

なぜそれが重要なのか

論文は、道具は変わっても、数学は変わらないということを思い出させて締めくくられています。1876年、エドゥアール・リュカは39桁の数が素数であることを証明するために、チェス盤の上で駒を動かしました。今日、スーパーコンピュータは「グレート・インターネット・メルセンヌ素数探索（GIMMS）」において、数百万桁の素数を見つけるために全く同じアルゴリズムを実行しています。数字を二乗すること、特別な多項式 x² − 2、そしてこれらの有限体における数字の振る舞いの関係こそが、リュカのチェス盤と私たちの現代のデジタル的な発見の両方を動かすエンジンなのです。

これは、19世紀の巧妙なアイデアが、今なお最先端のテクノロジーを動かしているという美しい備忘録です。リュカは単に数を見つけたのではありません。彼は数字の隠された構造を見る方法を見つけ出したのです。それは、数学の境界を押し広げるために今日でも使われ続けている方法です。そして、これらすべては、一人のフランス人数学、一つのチェス盤、そして非常に好奇心旺盛な精神から始まったのです。