6月28日

6月28日は「パフェの日」だそうです。ウイキペディアには以下の記述がありました。

• • 1950年、巨人の藤本英雄が日本プロ野球史上初のパーフェクトゲーム（完全試合）を達成したことにちなみ、「パフェ(parfait)」がフランス語で「完全な（パーフェクト）」という意味であることから。ちなみに、6と28という数字は共に完全数である。

完全数？？？なんでしょうか？調べてみました。同じくウイキペディアには以下の記述がありました。

完全数（かんぜんすう、英: perfect number）とは、自分自身が自分自身を除く正の約数の和に等しくなる自然数のことである。完全数の最初の4個は 6 (= 1 + 2 + 3)、28 (= 1 + 2 + 4 + 7 + 14)、496 (= 1 + 2 + 4 + 8 + 16 + 31 + 62 + 124 + 248) 、

8128 (= 1 + 2 + 4 + 8 + 16 + 32 + 64 + 127 + 254 + 508 + 1016 + 2032 + 4064)である。

「完全数」は「万物は数なり」と考えたピタゴラスが名付けた数の一つであることに由来するが、彼がなぜ「完全」と考えたのかについては何も書き残されていないようである。中世の『聖書』の研究者は、「6 は『神が世界を創造した（天地創造）6日間』、28 は『月の公転周期』で、これら2つの数は地上と天界における神の完全性を象徴している」と考えたとされる。古代ギリシアの数学者は他にもあと2つの完全数 (496, 8128) を知っていた。以来、完全数はどれだけあるのかの探求が2500年以上のちの現在まで続けられている。

完全数の定義は、正の約数の総和が自分自身の2倍に等しいことと同値である。すなわち、N が完全数であるとは、約数関数 σ に対して σ(N) = 2N が成り立つことであると表現できる。また、正の約数の逆数和が 2 であると表現することもできる。

歴史

完全数に関する最初の成果は紀元前3世紀ごろのユークリッドである。彼は『原論』（第9巻、命題36）で、「2ⁿ − 1 が素数ならば、2ⁿ⁻¹(2ⁿ − 1) は完全数である」ということを証明した。2ⁿ − 1 で表される数をメルセンヌ数といい、素数であるようなメルセンヌ数をメルセンヌ素数という。

古代から、6、28、496、8128の4つの数が完全数であることは知られており、ゲラサのニコマコスの『算術入門』には4つの完全数に関する記述が存在する。

ユークリッドの公式は偶数の完全数しか生成しないが、逆に偶数の完全数が全て 2ⁿ⁻¹(2ⁿ − 1) の形で書けるかどうかは18世紀までは未解決であった。レオンハルト・オイラーは偶数の完全数がこの形に限ることを証明した^{[4][5][注釈 2]}。

メルセンヌ素数の探索は、エドゥアール・リュカとデリック・ヘンリー・レーマー（英語版）によってメルセンヌ数が素数であるかどうかの効率的な判定法が考案され、1950年代からコンピュータが使われるようになる。現在では分散コンピューティング GIMPS による探求が行われていて、2022年2月現在で判明している最大のメルセンヌ素数は2486万2048桁の数である^[7]。

2021年8月現在発見されている完全数はメルセンヌ素数と同じく51個である。紀元前より考察されている対象であるにもかかわらず、「偶数の完全数は無数に存在するか？」「奇数の完全数は存在するか？」という問題は未解決である。

概要

完全数は、小さい順に

6, 28, 496, 8128, 33550336, 8589869056, …（オンライン整数列大辞典の数列 A000396）

である。

各完全数の正の約数の総和は

12, 56, 992, 16256, 67100672, 17179738112, …（オンライン整数列大辞典の数列 A139256）

隣り合う完全数の差は

22, 468, 7632, 33542208, 8556318720, …（オンライン整数列大辞典の数列 A139228）

完全数の総和の列は

6, 34, 530, 8658, 33558994, …（オンライン整数列大辞典の数列 A092336）

である。

6 と 28 がなぜ「完全」であるかは中世の学者の議論の対象になり、6 は神が創造した1週間（日曜日は神が天地創造を終えて休んだ安息日で、キリスト教ではこれを除外する）、28 は「月の公転周期」とされた。聖アウグスティヌス（? – 604年）はこれとは一線を画し、「6 はそれ自体完全な数である。神が万物を6日間で創造したから 6 が完全なのでなく、むしろ逆が真である」としている。

偶数の完全数 2^p−1(2^p − 1) = (M_p+1)M_p/2 は M_p 番目の三角数でもある。

数字には不思議な魅力そしてパワーがあると思います。６という数字は気になりますね。正六角形はバランスの取れた形です。