奇数の完全数は存在するのか？数学の未解決問題要約

数学の世界には、2,000年以上もの間、誰一人として解くことができていない問題が存在します。

それが「奇数の完全数は存在するか？」という問いです。

完全数(Perfect Number)とは、その数自身を除く正の約数をすべて足し合わせたとき、和が元の数と等しくなる自然数のことを指します。

例えば、最小の完全数は「6」です。

6の約数は1, 2, 3であり、これらを合計すると1 + 2 + 3 = 6となるため、完璧な調和を持った数と見なされてきました。

紀元前の古代ギリシャ時代、ピタゴラス学派やユークリッドはこの不思議な性質を持つ数に魅了されました。

彼らが発見した完全数は6, 28, 496, 8,128の4つだけでしたが、ここには興味深い共通点がありました。

それは、すべてが偶数であるということです。

また、これらの数はbinary(2進法)で表記すると、連続する「1」の後に「0」が続くという、非常に美しいパターンを持っています。

この美しさが、数千年にわたって数学者たちの好奇心を刺激し続けてきたのです。

紀元前300年頃、ユークリッドは偶数の完全数を生成する驚くべきアルゴリズムを発見しました。

それは「2の累乗を足していき、その和が素数（メルセンヌ素数）になったとき、それに最後に足した数を掛けると完全数になる」というものです。

この公式は、後にMersenne prime(メルセンヌ素数)と呼ばれる特定の形の素数と完全数が密接に関連していることを示しました。

しかし、ユークリッドの公式で「すべての」偶数完全数が網羅できるのかという問いには、約2,000年後の天才レオンハルト・オイラー(Leonhard Euler)が答えることになります。

オイラーは、Sigma function(シグマ関数)という強力な武器を導入しました。

これは、ある数のすべての約数を合計する関数です。

オイラーはこの関数を用いて、「すべての偶数完全数はユークリッドの公式の形に限られる」ことを証明しました。

オイラーが偶数について解決した一方で、Odd perfect numbers(奇数の完全数)の存在については依然として深い霧に包まれていました。

ルネ・デカルト(Descartes)は、もし奇数の完全数が存在するならば、それは「一つの素数の奇数乗」と「他の数の偶数乗」の積という非常に特殊な形をしていなければならないと予言しました。

オイラーもまた、独自の洞察によってこの条件をさらに洗練させましたが、存在そのものの証明には至りませんでした。

現代の数学者たちは、コンピュータを駆使して奇数完全数の「生存圏」を追い詰めています。

現在、奇数の完全数が存在するならば、それは少なくとも10の2,200乗以上という天文学的な大きさであることがわかっています。

さらに、少なくとも10個の異なる素因数を持つ必要があるなど、「ウェブ・オブ・コンディションズ（条件の網）」と呼ばれるほど厳しい制約が課せられています。

現在、完全数の探索は世界最大規模の分散コンピューティングプロジェクトGIMPS(Great Internet Mersenne Prime Search)に引き継がれています。

世界中のボランティアのコンピュータを繋ぎ、巨大なメルセンヌ素数を探すこの試みにより、2024年現在までに51個の完全数が発見されています。

2017年にはジョン・ペース(John Pace)という人物が50番目のメルセンヌ素数を発見し、その数字だけで719ページに及ぶ書籍が出版されるという狂騒曲も生まれました。

「こんな巨大な数を探して何の意味があるのか」という問いに対し、歴史は明確な答えを持っています。

かつて「何の役にも立たない」と言われた数論は、20世紀に暗号技術(Cryptography)として花開きました。

私たちが日々使っているインターネットのセキュリティや、政府の機密通信は、こうした巨大な素数の性質に支えられているのです。

知的好奇心の追求が、結果として文明の基盤を創り出すのです。

数学者ペース・ニールセン(Pace Nielsen)氏は、奇数の完全数は存在しないだろうと推測しつつも、その証明の過程で得られる「スプーフ数」などの新しい発見に期待を寄せています。

数千年の時を超えて、人類は今もなお、この「完璧な数」の正体を追い求めているのです。