メルセンヌ数

メルセンヌ数とメルセンヌ素数

概要

メルセンヌ数は、特定の形を持つ自然数であり、一般に2の自然数の冪から1を引いた形で表現されます。具体的には、形式的には

M_n = 2^n - 1

と表され、ここでnは自然数です。また、メルセンヌ数を小さい順に列記すると、最初のいくつかは1, 3, 7, 15, ...となります。これらの数は2進数で表現すると、各桁が1で埋め尽くされたもの—つまりレピュニットの形になります。

メルセンヌ数の性質

メルセンヌ数が素数である場合、その指数nもまた素数であることが知られていますが、逆は必ずしも成立しません。たとえば、M_{11} = 2047は23と89の積であり、合成数です。これにより、nが合成数であれば、M_nもまた合成数であることが示されるため、メルセンヌ数の調査は数論における重要なテーマの一つとなっています。

メルセンヌ素数

メルセンヌ素数は、メルセンヌ数が素数である場合を指します。最も有名なメルセンヌ素数の一つは、2022年時点で知られている最大のもので、2018年に発見されたもので、M_{77,232,917} = 2^{77,232,917} - 1は2486万2048桁にも及びます。メルセンヌ素数は、ユークリッド原論で「mが素数ならば、m × (2^m - 1)が完全数である」ということが示されています。このことがメルセンヌ数探求の動機の一つとなってきました。

発見の歴史

メルセンヌ数やメルセンヌ素数の探索は古代から行われており、紀元前3世紀には既に知られていました。エウクレイデスは『原論』で、特定のnの値に対して完全数が形成されることを示しました。また、その後の時代には、13世紀のイスラムの数学者イブン・ファッルースによってメルセンヌ素数に関する研究が進み、最初のメルセンヌ数が発表されました。

1644年、マラン・メルセンヌは「素数pに対してM_pが素数になるのは、pが257以下の場合のみである」との予想を立てました。これが後の研究に影響を与えることになります。多くの研究者がこの予想の正しさを検証しましたが、1772年にオイラーがp=31について証明し、さらに104年後にはリュカが他のpの値に対する結果を発表します。

GIMPSによる発見

1996年に設立されたGIMPSは、メルセンヌ素数の発見を目的とした分散コンピューティングプロジェクトであり、多くの新しいメルセンヌ素数の発見を可能にしています。GIMPSにより、37番目のメルセンヌ素数が1996年に発見され、以降も数々の成果が続いています。特に2008年、カリフォルニア大学ロサンゼルス校で発見されたメルセンヌ素数は、10,000,000桁を超えるものであり、関連する賞金が用意されるなど、科学的な注目を浴びる存在となりました。

現状と未解決問題

メルセンヌ数の発見は今もなお続いており、現在までに51個のメルセンヌ素数が知られていますが、その存在が無限であるかどうかは未解決のままです。また、合成数であるメルセンヌ数の存在もまた、将来的な研究および解析が求められる課題です。今後の探求がますます期待されています。

もう一度検索