完全数

完全数（かんぜんすう、）とは、自分自身が自分自身を除く正の約数の和に等しくなる自然数のことである。完全数の最初の4個は ()、 ()、 () 、
 ()である。
「完全数」は「万物は数なり」と考えたピタゴラスが名付けた数の一つであることに由来するが、彼がなぜ「完全」と考えたのかについては何も書き残されていないようである。中世の『聖書』の研究者は、「 は『神が世界を創造した（天地創造）6日間』、 は『月の公転周期』で、これら2つの数は地上と天界における神の完全性を象徴している」と考えたとされる。古代ギリシアの数学者は他にもあと2つの完全数 () を知っていた。以来、完全数はどれだけあるのかの探求が2500年以上のちの現在まで続けられている。
完全数の定義は、正の約数の総和が自分自身の2倍に等しいことと同値である。すなわち、 が完全数であるとは、約数関数 に対して が成り立つことであると表現できる。また、正の約数の逆数和が であると表現することもできる。
歴史.
完全数に関する最初の成果は紀元前3世紀ごろのユークリッドである。彼は『原論』（第9巻、命題36）で、「 が素数ならば、 は完全数である」ということを証明した。 で表される数をメルセンヌ数といい、それが素数である場合をメルセンヌ素数という。
古代から、6、28、496、8128の4つの数が完全数であることは知られており、ゲラサのニコマコスの『算術入門』には4つの完全数に関する記述が存在する。
ユークリッドの公式は偶数の完全数しか生成しないが、逆に偶数の完全数が全て の形で書けるかどうかは18世紀までは未解決であった。レオンハルト・オイラーは偶数の完全数がこの形に限ることを証明した。
メルセンヌ素数の探索は、エドゥアール・リュカとによってメルセンヌ数が素数であるかどうかの効率的な判定法が考案され、1950年代からコンピュータが使われるようになる。現在では分散コンピューティング GIMPS による探求が行われていて、2022年2月現在で判明している最大のメルセンヌ素数は2486万2048桁の数である。
2021年8月現在発見されている完全数はメルセンヌ素数と同じく51個である。紀元前より考察されている対象であるにもかかわらず、「偶数の完全数は無数に存在するか？」「奇数の完全数は存在するか？」という問題は未解決である。
概要.
完全数は、小さい順に
である。
各完全数の正の約数の総和は
隣り合う完全数の差は
完全数の総和の列は
である。
 と がなぜ「完全」であるかは中世の学者の議論の対象になり、 は神が創造した1週間（日曜日は神が天地創造を終えて休んだ安息日で、キリスト教ではこれを除外する）、 は「月の公転周期」とされた。聖アウグスティヌス（? - 604年）はこれとは一線を画し、「 はそれ自体完全な数である。神が万物を6日間で創造したから が完全なのでなく、むしろ逆が真である」としている。
偶数の完全数 は 番目の三角数でもある。
完全数の分類.
偶数の完全数.
偶数の完全数は、 が素数のときの に限る（ユークリッド、オイラー）。
ユークリッドの証明.
 が完全数であることの証明：
オイラーの証明.
偶数の完全数は の形に限ることの証明：
偶数の完全数の性質.
偶数の完全数を （ は素数）とする。
偶数の完全数の未解決問題.
偶数の完全数は無数に存在するか、つまり が素数となる素数 は無数に存在するかどうかは未解決である。
奇数の完全数.
奇数の完全数が存在するか否かは未解決であるが、約数関数は乗法的 () であることから、二平方数の和であることが古くから知られていた。もし奇数の完全数 が存在すれば、 は以下の各条件を満たさなければならないことが知られている。
完全数でない自然数.
完全数の拡張.
約数の和を考えることで特徴付けられる数の種類には他にも次のようなものがある。完全数と併せて、これらの名称には古代ギリシアの数秘学の影響が見られる。
不完全数.
完全数でない自然数を不完全数 (imperfect number) という。
エピソード.
小川洋子の小説『博士の愛した数式』（2003年）では登場人物の「博士」が阪神タイガースの江夏豊投手のファンであったことの理由として江夏の背番号が28であったことを挙げ、その際に完全数の説明がなされている。
日本プロ野球で初めて完全試合が達成されたのは月・日とも完全数の1950年6月28日だった。