奇数の完全数は存在するか？2,000年以上数学者を悩ませる「人類最古の未解決問題」

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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