完全数

出典: フリー百科事典『ウィキペディア(Wikipedia)』

出典: フリー百科事典『ウィキペディア(Wikipedia)』
移動先: 案内検索

完全数(かんぜんすう,: perfect number)とは、自分自身を除く正の約数の和に等しくなる自然数のことである。完全数の最初の3個は 6 (= 1 + 2 + 3)、28 (= 1 + 2 + 4 + 7 + 14)、496 (= 1 + 2 + 4 + 8 + 16 + 31 + 62 + 124 + 248) である。「完全数」は「万物は数なり」と考えたピタゴラスが名付けた数の一つであることに由来する[1]が、彼がなぜ「完全」と考えたのかについては何も書き残されていないようである[1]中世の『聖書』の研究者は、「6 は「神が世界を創造した(天地創造)6日間」、28 は「公転周期」で、これら2つの数は地上と天界における神の完全性を象徴している」[1]と考えたとされる[2]古代ギリシアの数学者は他にもあと2つの完全数 (496, 8128) を知っていた[1]。以来、完全数はどれだけあるのかの探求が2500年以上のちの現在まで続けられている。

完全数に関する最初の成果は紀元前3世紀頃のユークリッドである。彼は著書『原論』で、2n − 1 が素数ならば、2n−1(2n − 1) は完全数であることを証明した。2n − 1 が素数となるには n が素数である必要があるため、これにより、2p − 1 が素数となる素数 p の探求に終始されることとなる。2p − 1 を通常 Mp で表し、メルセンヌ数という。メルセンヌ数が素数であるかの判定法が考案され(リュカ1876年デリック・ヘンリー・レーマー英語版1930年代)、1950年代からコンピュータが使われるようになり、現在では分散コンピューティング GIMPS による探求が行われている(詳細はメルセンヌ数を参照)。

偶数の完全数で、ユークリッドの生成式以外から得られる完全数はないのかという問題が18世紀まで未解決であったが、レオンハルト・オイラーが偶数の完全数はこの形に限ることを証明している[3]

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

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

概要[編集]

完全数は、小さい順に

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

である。

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

完全数に関する最初の成果として、紀元前3世紀頃にユークリッドにより

2n − 1 が素数ならば、2n−1(2n − 1) は完全数である

ことが彼の著書『原論』で証明されている[注釈 1]2n − 1 が素数であるためには n が素数である必要がある(証明はメルセンヌ数#基本的な性質を参照)ため、2p − 1 が素数となる素数 p の探求が現在でも行われている。

このことから、紀元前、古代ギリシアでは完全数として 6, 28, 24(25 − 1) = 496, 26(27 − 1) = 8128 が知られていた。

その後、オイラーが登場するまでは、完全数は 212(213 − 1) = 33550336, 216(217 − 1) = 8589869056, 218(219 − 1) = 137438691328 が発見されただけであった。1644年マラン・メルセンヌは「素数 p2p − 1 が素数になるのは、19 < p ≤ 257 では p = 31, 67, 127, 257 の4つの場合だけである」という大胆不敵な予想を公表、(その後の歴史を見ても)画期的、先駆的であったことに敬意を表し現在では Mn = 2n − 1メルセンヌ数、とくに素数であるものはメルセンヌ素数と呼ばれている。

オイラーはメルセンヌの予想発表から128年後の1772年p = 31 では素数になることを証明した。また、オイラーは、偶数の完全数でこの生成式以外から得られる完全数はないのかという長年の未解決問題を、偶数の完全数はユークリッドの式の形に限るという形で証明している[5][注釈 2]

エドゥアール・リュカは19年かけて39桁の自然数 2127 − 1 が素数であることを確かめ、その結果、1876年、77桁の完全数を発見した。2127 − 1 は、手計算で発見された素数のうち、最大のものである。リュカは M67 が素数でないことを、素因数分解するのでなく、ある巧妙な素数判定法を考案し、これは現在 GIMPS で用いられるリュカ–レーマー・テスト (Lucas–Lehmer primality test) の基礎になっている。

1952年、ラファエル・M・ロビンソンが SWAC を利用して M521 から M2281 まで、5つのメルセンヌ素数を発見して以来、メルセンヌ素数の発見にはコンピュータが用いられている。現在では1996年発足した、分散コンピューティングプロジェクト GIMPS により、35番目のメルセンヌ素数 M1,398,269(1996年11月13日、Joel Armengaud)以来、GIMPSによるメルセンヌ素数の発見が相次いでいる。

2017年9月現在、メルセンヌ素数は49個まで知られている(ただし、順番が確定しているものは、45番目までであり、さらに46, 47, 48, 49番目の候補として p = 42643801, 43112609, 57885161, 74207281 が挙がっており、現在、間に素数がないかどうか検証中である)。

偶数の完全数 2p−1(2p − 1)2p − 1 番目の三角数でもある。

完全数の分類[編集]

偶数の完全数[編集]

偶数の完全数は、Mp = 2p − 1素数のときの 2p−1Mp に限る(ユークリッド、オイラー)。

ユークリッドの証明[編集]

2p−1Mp が完全数であることの証明:

Mp は素数より、2p−1Mp の正の約数
1, 2, 4, …, 2p−2, 2p−1, Mp, 2Mp, 4Mp, …, 2p−2Mp, 2p−1Mp
である。これらのうち 2p−1Mp 自身を除く総和
となり、自分自身に等しくなるので、これは完全数である。(証明終)

オイラーの証明[編集]

偶数の完全数は 2p−1Mp の形に限ることの証明[注釈 2]

偶数の完全数の性質[編集]

偶数の完全数を N = 2p−1(2p − 1)Mp は素数)とする。

  • N の正の約数の個数は d(N) = 2p である(d は約数の個数を表す約数関数)。
  • N の正の約数の調和平均p、ゆえに N調和数である。
  • 6 以外の偶数の完全数は、1 から連続する正の奇数の立方和で表せる。式で表すと
例:
28 = 13 + 33, 496 = 13 + 33 + 53 + 73, 8128 = 13 + 33 + 53 + 73 + 93 + 113 + 133 + 153
1 から連続する正の奇数の立方和で表せる数の列は
1, 28, 153, 496, 1225, 2556, 4753, 8128, …オンライン整数列大辞典の数列 A002593
  • 2n−1(2n − 1)n は自然数)の列は
1, 6, 28, 120, 496, 2016, 8128, 32640, …オンライン整数列大辞典の数列 A006516
この数列で完全数にならない数の数列は オンライン整数列大辞典の数列 A144858 を参照
  • n × σ(n)n = 2p−1 のとき偶数の完全数になる。ただし σ約数関数である。この数列は
1, 6, 12, 28, 30, 72, 56, 120, 117, 180, 132, 336, 182, 336, 360, 496, 306, 702, 380, 840, …オンライン整数列大辞典の数列 A064987
  • N2p − 1 番目の三角数である。偶数の三角数の列は
6, 10, 28, 36, 66, 78, 120, 136, 190, 210, 276, 300, 378, 406, 496, 528, 630, 666, 780, 820, 946, 990, …オンライン整数列大辞典の数列 A014494
  • 偶数の完全数は全て奇数番目の三角数でもあるので、知られている完全数は全て六角数でもある。六角数の列は
1, 6, 15, 28, 45, 66, 91, 120, 153, 190, 231, 276, 325, 378, 435, 496, 561, …オンライン整数列大辞典の数列 A000384
  • n 番目の六角数は n(2n − 1) なので、偶数の六角数は 2n(4n − 1) で表される。偶数の六角数の列は
6, 28, 66, 120, 190, 276, 378, 496, 630, 780, 946, …オンライン整数列大辞典の数列 A014635
1, 10, 28, 55, 91, 136, 190, 253, 325, 406, 496, 595, 703, 820, 946, …オンライン整数列大辞典の数列 A060544
  • N十進法表示したとき、一の位は 6 または 8 である。

偶数の完全数の未解決問題[編集]

偶数の完全数は無数に存在するか、つまり Mp = 2p − 1 が素数となる素数 p は無数に存在するかどうかは未解決である。

奇数の完全数[編集]

奇数の完全数が存在するか否かは未解決であるが、約数関数乗法的 (: multiplicative) であることから、二平方数の和であることが古くから知られていた。もし奇数の完全数 N が存在すれば、N は以下の各条件を満たさなければならないことが知られている。

計算機を用いないで得られた条件[編集]

  • N素因数分解qαp12e1pk2ek の形である。ここで q, p1 < p2 < … < pk は相異なる素数で q ≡ α ≡ 1 (mod 4) を満たす[注釈 3]
    • N < 24k+1 である[8]
    • p1 < 2/3k + 2 である[9]。また、2 ≤ i ≤ 6 のとき pi < 22i−1(ki + 1) である[10]
    • e1e2 ≡ … ≡ ek ≡ 1 (mod 3) ではない[11]
    • e1 = e2 = … = ek = β とすると、k ≤ 4β2 + 2β + 2 である[12]
    • N ≡ 1 (mod 12) または N1/2 ・ 32e1(32e1+1 − 1) (mod 2 ・ 32e1(32e1+1 − 1)) である[13][14][15][16]

計算機を用いて得られた条件[編集]

  • N > 10300 である[17]
  • N は少なくとも9個の相異なる素因数を持つ[18]
    • これは2006年に発表されたものであるが、「7個」の場合は1972年までにカール・ポメランスによって示され、「8個」の場合は1980年頃に Chein[19]と Hagis[20]によってほぼ同時に示されており、その後多くの数学者の努力[21]にもかかわらず、26年もの間「9個」の場合は示されなかった。
  • N3 で割り切れない場合は、少なくとも12個の素因数を持つ[18]3 でも 5 でも割り切れない場合は15個以上の、3 でも 5 でも 7 でも割り切れない場合は27個以上の相異なる素因数を持つ[22]
  • N は重複も数えて少なくとも75個の素因数を持つ[23]
  • N108 より大きい素因数を持つ[24]
    • これは2006年に発表されたものであるが、より古い下界としては2003年の 107[25]や、1998年の 106[26]などがある。
  • N の2番目に大きな素因数は 104 より大きい[27]
  • N の3番目に大きな素因数は 100 より大きい[28]
  • 上記で e1 = e2 = … = ek = β とすると、β1, 2, 3, 5, 6, 8, 11, 12, 14, 17, 18, 24, 62 ではない[29][30]

その他の性質[編集]

  • 完全数は、正の約数の個数が偶数、正の約数の逆数和が 2 なので、調和数である。この数の列は
1, 6, 28, 140, 270, 496, 672, 1638, 2970, 6200, 8128, 8190, …オンライン整数列大辞典の数列 A001599

完全数でない自然数[編集]

完全数の拡張[編集]

約数の和を考えることで特徴付けられる数の種類には他にも次のようなものがある。完全数と併せて、これらの名称には古代ギリシアの数秘学の影響が見られる。

正の約数の和が自分自身の倍数である自然数を倍積完全数という。特に、それがk倍に等しいものをk倍完全数という。完全数とは2倍完全数のことである。
1, 6, 28, 120, 496, 672, 8128, 30240, …オンライン整数列大辞典の数列 A007691
nk -ハイパー完全数であるとは、
n = 1 + k(σ(n) − n − 1)(ただしk は自然数)(σ約数関数
を満たすことと定義される。完全数は 1-ハイパー完全数である。
k -ハイパー完全数の列は
6, 21, 28, 301, 325, 496, 697, 1333, 1909, 2041, 2133, 3901, 8128, …オンライン整数列大辞典の数列 A034897
n(m, k)-完全数であるとは、
σm(n) = kn(ただし k は自然数)(σ は約数関数)
を満たすときと定義される。完全数は (1, 2)-完全数、倍積完全数は (1, k)-完全数、超完全数は (2, 2)-完全数である。

不完全数[編集]

完全数でない自然数を不完全数 (imperfect number) という。

自分自身以外の正の約数の和より大きい自然数
自分自身以外の正の約数の和より小さい自然数
自分自身以外の正の約数の和が等しい2つの自然数の組。
どの2個も友愛数である、3個以上の自然数の組。
  • 準完全数 (quasiperfect number)[36]
n準完全数であるとは、正の約数の和が 2n + 1 に等しいことと定義される。過剰数の一種。そのような数はいまだに見つかっていないが、存在するならばそれは奇数の平方数で 1035 より大きく、少なくとも7つの約数を持つということが示されている。
  • 概完全数 (almost perfect number)[37]
n概完全数であるとは、正の約数の和が 2n − 1 に等しいことと定義される。不足数の一種。2k (k = 1, 2, 4, 8, 16, …) の形の自然数はこの条件を満たしているが、この形の自然数以外の概完全数が存在するのかどうかは知られていない。
  • 乗法的完全数 (multiplicative perfect number)[38]
正の約数の積が自分自身の自乗(2乗)に等しい数を乗法的完全数という。乗法的完全数の列は、
1, 6, 8, 10, 14, 15, 21, 22, …オンライン整数列大辞典の数列 A007422

エピソード[編集]

小川洋子の小説『博士の愛した数式』(2003年)では登場人物の「博士」が阪神タイガースの江夏豊投手のファンであったことの理由として江夏の背番号が28であったことを挙げ、その際に完全数の説明がなされている。

脚注[編集]

[ヘルプ]

注釈[編集]

  1. ^ ユークリッド原論』第9巻、命題36は
    もし単位から始まり順次に1対2の比をなす任意個の数が定められ、それらの総和が素数になるようにされ、そして全体が最後の数にかけられてある数を作るならば、その数は完全数であろう。 — エウクレイデス、『ユークリッド原論』第9巻、命題36
    すなわち
    が素数ならば は完全数である。
  2. ^ a b 1849年、オイラーの死後に発表された論文で証明が示された[6]
  3. ^ オイラーが証明した[7]

出典[編集]

  1. ^ a b c d e f 「高数・数学者列伝」吉永良正『高校への数学』vol.20、8月号
  2. ^ 淡中忠郎「メルセンヌ数物語」『数学セミナー』、1973年9月号。数学セミナー編集部(1982)、65-67頁に再録されている。
  3. ^ 和田 1981, pp. 59-61
  4. ^ 結婚数と婚約数、ナルシスト数、友愛数、完全数(JBpress 2016年12月1日 6時34分)
  5. ^ 和田 1981, pp. 59-61
  6. ^ Dickson (2005, p. 19)
  7. ^ Dickson (2005, p. 98)
  8. ^ P. P. Nielsen, "An upper bound for odd perfect numbers", Integers, 3 (2003), A14, 9 pp. (electronic).
  9. ^ O. Grün, "Über ungerade vollkommene Zahlen", Math. Z. 55 (1952), 353-354.
  10. ^ M. Kishore, "On odd perfect, quasiperfect, and odd almost perfect numbers", Math. Comp. 36 (1981), 583-586.
  11. ^ W. L. McDaniel, "The non-existence of odd perfect numbers of a certain form", Arch. Math. (Basel) 21 (1970), 52-53.
  12. ^ T. Yamada, "Odd perfect numbers of a special form", Colloq. Math. 103 (2005), 303-307.
  13. ^ J. Touchard, "On prime numbers and perfect numbers", Scripta Math. 19 (1953), 53-59.
  14. ^ M. Satyanarayana, "Odd perfect numbers", Math. Student 27 (1959), 17-18.
  15. ^ J. A. Holdener, "A theorem of Touchard on the form of odd perfect numbers". Amer. Math. Monthly, 109 (2002), 661-663.
  16. ^ T. Roberts, "On the Form of an Odd Perfect Number", Australian Mathematical Gazette, 35:4 (2008), 244
  17. ^ R. P. Brent, Graeme L. Cohen, H. J. J. te Riele, "Improved techniques for lower bounds for odd perfect numbers", Math. Comp. 57 (1991), 857-868
  18. ^ a b P. P. Nielsen, "Odd perfect numbers have at least nine different prime factors", Math. Comp. 76 (2007), 2109-2126. preprint
  19. ^ J. E. Z. Chein, "An odd perfect number has at least 8 prime factors", Doctoral Thesis, Pennsylvania State University, 1979.
  20. ^ P. Hagis Jr., "Outline of a proof that every odd perfect number has at least eight prime factors", Math. Comp. 35 (1980) 1027-1032.
  21. ^ G. L. Cohen, R. M. Sorli, "On the number of distinct prime factors of an odd perfect number", J. Discrete Algorithms 1 (2003), 21-35.
  22. ^ K. K. Norton, "Remarks on the number of factors of an odd perfect number", Acta Arith., 6 (1960/1961), 365-374.
  23. ^ K. G. Hare, "New techniques for bounds on the total number of prime factors of an odd perfect number", Math. Comp. 76. (2007), 2241-2248. preprint
  24. ^ T. Goto and Y. Ohno, "Odd perfect numbers have a prime factor exceeding 108", Math. Comp. 77 (2008), 1859-1868. "奇数の完全数の最大素因子について" - preprint を入手可能。
  25. ^ P. M. Jenkins, "Odd perfect numbers have a prime factor exceeding 107", Math. Comp. 72 (2003), 1549-1554.
  26. ^ P. Hagis, Jr. and G. L. Cohen, "Every odd perfect number has a prime factor which exceeds 106", Math. Comp. 67 (1998), 1323-1330.
  27. ^ D. E. Iannucci, "The second largest prime divisor of an odd perfect number exceeds ten thousand", Math. Comp. 68 (1999), 1749-1760.
  28. ^ D. E. Iannucci, "The third largest prime divisor of an odd perfect number exceeds one hundred", Math. Comp. 69 (2000), 867-879.
  29. ^ W. L. McDaniel and P. Hagis Jr., "Some results concerning the non-existence of odd perfect numbers of the form paM", Fibonacci Quart. 13 (1975), 25-28.
  30. ^ G. L. Cohen, R. J. Williams, "Extensions of some results concerning odd perfect numbers", Fibonacci Quart. 23 (1985), 70-76.
  31. ^ Weisstein, Eric W. "Multiperfect Number". MathWorld(英語). 
  32. ^ Weisstein, Eric W. "Deficient Number". MathWorld(英語). 
  33. ^ Weisstein, Eric W. "Abundant Number". MathWorld(英語). 
  34. ^ Weisstein, Eric W. "Amicable Pair". MathWorld(英語). 
  35. ^ Weisstein, Eric W. "Sociable Numbers". MathWorld(英語). 
  36. ^ Weisstein, Eric W. "Quasiperfect Number". MathWorld(英語). 
  37. ^ Weisstein, Eric W. "Almost Perfect Number". MathWorld(英語). 
  38. ^ Weisstein, Eric W. "Multiplicative Perfect Number". MathWorld(英語). 

参考文献[編集]

  • 『数の世界』 数学セミナー編集部編、日本評論社〈数学セミナー増刊 数学セミナー・リーディングス〉、東京、1982年9月30日
  • 『ユークリッド原論』 ハイベア・メンゲ編、中村幸四郎寺阪英孝伊東俊太郎池田美恵訳・解説、共立出版
    • (ハードカバー)1971年7月。ISBN 4-320-01072-8
    • (縮刷版)1996年6月。ISBN 4-320-01513-4
    • 追補版)2011年5月。ISBN 978-4-320-01965-2
  • 原論VII-X』第2巻、ハイベア・メンゲ編、斎藤憲 訳・解説、東京大学出版会〈エウクレイデス全集〉、2015年8月31日、43f, VII 定義23, IV 命題36。ISBN 978-4-13-065302-2。
  • History of the theory of numbers, Vol. I: Divisibility and primality (paperback ed.), New York: Dover Publications, (2005), ISBN 0-486-44232-2, https://books.google.com/books?id=FYWn8XWrAI0C&pg=PA3 
  • Guy, Richard K. (2004), Unsolved Problems in Number Theory (3rd ed.), New York: Springer-Verlag, ISBN 0-387-20860-7  (online book - Google ブックス)
    • リチャード・ガイ 『数論における未解決問題集』 一松信ほか 訳、Springer-Verlag Tokyo、1983年1月。ISBN 4-87573-101-9。 - 原タイトル:Unsolved problems in number theory.
    • リチャード・K・ガイ 『数論〈未解決問題〉の事典』 金光滋 訳、朝倉書店、2010年11月5日。ISBN 978-4-254-11129-3。 - 原タイトル:Unsolved problems in number theory. 3rd ed.
  • Sándor, J.; Crstici, B. (2004), Handbook of number theory, II, Dordrecht, Netherlands: Kluwer Academic Publishers, ISBN 1-4020-2546-7  (online book - Google ブックス)

関連項目[編集]