倍積完全数（ばいせきかんぜんすう、英: multiply perfect number, multiperfect number, pluperfect number）とは、その約数の総和が元の数の整数倍になるような自然数のことである。約数関数 σ を用いて定義すると σ(n) = kn （k は自然数）を満たす自然数 n が倍積完全数であり、これを k倍完全数ともいう。

k = 1 の場合は σ(n) = n を満たす n が 1 のみであるため、1倍完全数は 1 のみであり、不足数である。k = 2 の場合である2倍完全数は単に完全数と呼ぶ^[1]。k ≥ 3 の場合は過剰数であり、1 を除く全ての倍積完全数は合成数である。

例えば、120 の約数の総和は

σ(120) = 1 + 2 + 3 + 4 + 5 + 6 + 8 + 10 + 12 + 15 + 20 + 24 + 30 + 40 + 60 + 120 = 360 = 3 × 120

であり、120 の 3 倍となるので、120 は3倍完全数である。

具体的には 1, 6, 28, 120, 496, 672, 8128, 30240, 32760, 523776, 2178540, 23569920, …（オンライン整数列大辞典の数列 A007691）

k倍完全数の表

以下にそれぞれの k倍完全数 (k ≤ 11) のうち、現在見つかっている中で最小の数を挙げる。k=7 まではこれが最小であることが確認され、OEISに掲載されている（オンライン整数列大辞典の数列 A007539）。k=8 以降は Flammenkamp のページに拠った。

2013年現在、11倍完全数までの倍積完全数が見つかっている。

• 1倍完全数 : 1
• 2倍完全数 : 完全数を参照。
• 3倍完全数 : 120, 672, 523776, 459818240, …（オンライン整数列大辞典の数列 A005820）
• 4倍完全数 : 30240, 32760, 2178540, 23569920, …（オンライン整数列大辞典の数列 A027687）
• 5倍完全数 : 14182439040, 31998395520, …（オンライン整数列大辞典の数列 A046060）
• 6倍完全数 : 154345556085770649600, …（オンライン整数列大辞典の数列 A046061）

性質

• k = 1 の場合については 1 を参照。
• k = 2 の場合については完全数を参照。
• k倍完全数が無数に存在するかどうかは分かっていないが、3倍完全数は6個、4倍完全数は36個、5倍完全数は65個、6倍完全数は245個がそれぞれ発見されており、これより多くは存在しないと言われている。
• 3倍完全数で偶数の完全数と同じ形2^n-1 × (2ⁿ - 1) の数は 120(n = 4) と 523776(n = 10) の2個が発見されている。また 2016(n = 6) は 672 の約数の和になっている。
• 偶数の3倍完全数は自分自身と2番目に大きい約数の和がその他の約数の和に等しい。

例：1 + 2 + 3 + 4 + 5 + 6 + 8 + 10 + 12 + 15 + 20 + 24 + 30 + 40 = 60 + 120 = 180

• 完全数の倍数である4倍完全数は、完全数の約数で割った商である約数の和がその他の約数の和に等しい。一般に k 倍完全数の倍数である 2k 倍完全数は、k 倍完全数の約数で割った商である約数の和がその他の約数の和に等しい。
• k ≥ 2 とし、N を r 個の相異なる素因数を持つ k 倍完全数とする。このとき N は、k と r に依存するある定数 C 未満の自然数と、1 または偶数の完全数との積になる（Kanold, 1956）。この定数 C は実際に計算可能である（Pomerance, 1977）。
• k 倍完全数 n における約数の逆数の和は k に等しい。これは n の約数の和を N としたとき、逆数の和は ${\displaystyle {\frac {N}{n}}=k}$ になることから証明できる。

例：n = 6 のとき ${\displaystyle {\frac {1}{1}}+{\frac {1}{2}}+{\frac {1}{3}}+{\frac {1}{6}}={\frac {12}{6}}=2}$

• 倍積完全数の約数の和になっている数は 1, 12, 56, 360, 992, 2016, 16256, 120960, …（オンライン整数列大辞典の数列 A307741）
• p が n を割り切らない素数とすると、n が p倍完全数であることと、その約数の和 pn が (p + 1)倍完全数であることは同値である。例えば、4倍完全数 1379454720 は 3 で割り切れるが 9 で割り切れないため、3 で割った 459818240 は 3 で割り切れない3倍完全数となっている。3倍完全数 51001180160 と4倍完全数 153003540480 も同様であり、5倍完全数と6倍完全数でも20組が発見されている（いずれも澗以上の巨大数）。これと同様に3倍完全数 m が 2 で割り切れるが 4 で割り切れない場合（すなわち m が単偶数である場合）、m/2 は奇数の完全数となるが、そのような数の組はいまだに見つかっていない。

n (p) の例: 459818240 (3), 51001180160 (3),…(A323653)

参考文献

• H.-J. Kanold, Über einen Satz von L. E. Dickson, II, Math. Ann. 132 (1956), 246--255. doi:10.1007/BF01360184
• C. Pomerance, Multiple Perfect Numbers, Mersenne Primes, and Effective Computability, Math. Ann. 226 (1977), 195--206. doi:10.1007/BF01362422

外部リンク

• A. Flammenkamp. The Multiply Perfect Numbers page.
• C. K. Caldwell. The Prime Glossary: Multiply perfect numbers.
• Weisstein, Eric W. "Multiperfect Number". mathworld.wolfram.com (英語).

脚注

関連項目

• 完全数

表 話 編 歴 被整除性に基づいた整数の集合
概要	素因数分解 約数 単約数 約数関数 素因数 算術の基本定理
因数分解による分類	素数 合成数 半素数 矩形数 楔数 平方因子をもたない整数 多冪数 累乗数 アキレス数 滑らかな数（英語版） ハミング数（英語版） 粗い数（英語版） 異常数（英語版）
約数和による分類	完全数 概完全数 準完全数 倍積完全数 Hemiperfect number（英語版） ハイパー完全数 超完全数 単完全数（英語版） 擬似完全数 プラクティカル数 エルデシュ・ニコラス数（英語版）
約数が多いもの	過剰数 原始過剰数（英語版） 高度過剰数 超過剰数 巨大過剰数 高度合成数 優高度合成数（英語版） 不思議数
アリコット数列関連	アンタッチャブル数（英語版） 友愛数 (友愛三数（英語版）) 社交数 婚約数
位取り記法に基づくもの	Equidigital number（英語版） Extravagant number（英語版） Frugal number（英語版） ハーシャッド数 Polydivisible number（英語版） スミス数
その他	Arithmetic number（英語版） 不足数 Friendly number（英語版） Solitary（英語版） サブライム数 調和数 デカルト数（英語版） タウ数 超完全数