超完全数

超完全数 (ちょうかんぜんすう、英: Superperfect number）とは完全数を発展させた数で、次の式を満たす整数 n のことである。

${\displaystyle \sigma ^{2}(n)=\sigma (\sigma (n))=2n\,}$

ただしσ は約数関数、超完全数は Suryanarayana (1969) によって定義された。

具体的には

2, 4, 16, 64, 4096, 65536, 262144,… (オンライン整数列大辞典の数列 A019279)

である。もし n が偶数の超完全数ならば 2^k+1−1 がメルセンヌ素数であるような 2^k でなければならない。^[1][2]

奇数の超完全数はまだ知られていない。 奇数の超完全数 n が存在するなら、その数は n または σ(n) が少なくとも3つの異なる素因数からできる平方数でなければならないことは知られている。^[2] 奇数の超完全数は 7 x 10²⁴ までの数では存在しない。^[1]

以下の約数関数 σ を用いた数式において m = 1 のとき完全数、m = 2 のとき超完全数、そして m ≥ 3 のとき m-超完全数は存在しない。^[1]

${\displaystyle \sigma ^{m}(n)=2n}$

これよりm-超完全数とは以下の数式を満たす n で(m , k)-完全数という。 ^[3]

${\displaystyle \sigma ^{m}(n)=kn}$

(m , k)-完全数の表記において, 完全数は(1 , 2)-完全数、倍積完全数は(1 , k)-完全数、超完全数は(2 , 2)-完全数となる。 m-超完全数とは(m , 2)-完全数のことである。^[4]

以下に(m , k)-完全数の例を示す。

m	k	(m , k)-完全数	OEIS
2	2	2, 4, 16, 64, 4096, 65536, 262144,…	A019279
2	3	8, 21, 512	A019281
2	4	15, 1023, 29127, 355744082763	A019282
2	6	42, 84, 160, 336, 1344, 86016, 550095, 1376256, 5505024,…	A019283
2	7	24, 1536, 47360, 343976	A019284
2	8	60, 240, 960, 4092, 16368, 58254, 61440, 65472, 116508, 466032, 710400, 983040, 1864128, 3932160, 4190208, 67043328, 119304192, 268173312, 1908867072,…	A019285
2	9	168, 10752, 331520, 691200, 1556480, 1612800, 106151936,…	A019286
2	10	480, 504, 13824, 32256, 32736, 1980342, 1396617984, 3258775296,…	A019287
2	11	4404480, 57669920, 238608384	A019288
2	12	2200380, 8801520, 14913024, 35206080, 140896000, 459818240, 775898880, 2253189120,…	A019289
2	13	57120, 932064, 3932040, 251650560	A019290
2	14	217728, 1278720, 2983680, 5621760, 14008320, 298721280, 955367424, 1874780160, 4874428416	A019291
3		1, 12, 14, 24, 52, 98, 156, 294, 684, 910, 1368, 1440, 4480, 4788, 5460, 5840, ...	A019292
4		1, 2, 3, 4, 6, 8, 10, 12, 15, 18, 21, 24, 26, 32, 39, 42, 60, 65, 72, 84, 96, 160, 182, ...	A019293

• 上の表で(2 , k)-完全数の一覧はオンライン整数列大辞典の数列 A019278を参照。
• (m, k)-完全数を考えたときそれぞれの数の最小回数で整数倍になる m の値は 1, 2, 4, 2, 5, 1, 5, 2, 7, 4, 15, 3, 13,…である。(オンライン整数列大辞典の数列 A019294)
  • 整数倍になる k の値は 1, 2, 5, 2, 24, 2, 24, 3, 168, 12, 1834560, 10,…である。(オンライン整数列大辞典の数列 A019295)
  • それ未満のどの数よりも整数倍になる回数が多くなる数は 1, 2, 3, 5, 9, 11, 23, 25, 29, 59, 67, 101,…である。(オンライン整数列大辞典の数列 A019276)

• 奇数の(2, k)-完全数は 1, 15, 21, 1023, 29127, 550095, 355744082763 である。(オンライン整数列大辞典の数列 A205597)

• (m, k)-完全数で元の数 n と m が n < m の関係を満たすものは 3, 11, 29, 53, 58, 59, 67, 101, 109,…である。(オンライン整数列大辞典の数列 A111227) このときの m はオンライン整数列大辞典の数列 A111726を、k はオンライン整数列大辞典の数列 A111727を参照。

• 完全数

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