累乗数

累乗数（るいじょうすう、英: perfect power）とは、他の自然数の累乗になっている自然数、すなわち、m^k（m, k は自然数で k は 2 以上）の形の数を指す。

累乗数を 1 から小さい順に列記すると

1, 4, 8, 9, 16, 25, 27, 32, 36, 49, 64, 81, 100, 121, 125, 128, 144, 169, 196, 216, 225, 243, 256, 289, 324, 343, 361, 400, 441, 484, 512, 529, 576, 625, 676, 729, 784, 841, 900, 961, 1000, …（オンライン整数列大辞典の数列 A001597）

4 を法として 2 と合同でない数は 2 つの累乗数の差として表される。実際、(n + 1)² − n² = 2n + 1, (n + 2)² − n² = 4n + 4 が成立する。

また、2 = 3³ − 5², 10 = 13³ − 3⁷ など、4 を法として 2 と合同な数（単偶数）に関しても累乗数の差として表せる場合があることが知られている。6, 14, 34 などがそのように表せるかどうかは知られていない。

差が 1 となる累乗数の組は (8, 9) のみであると、1844年にカタラン（英語版） (Eugène Charles Catalan) によって予想され（カタラン予想）、2002年にプレダ・ミハイレスクによって証明された。

一般に、累乗数を小さいほうから a₁ = 1, a₂ = 4, … と並べるとき、a_{i + 1} − a_i は i と共に無限大に発散すると予想されている（Pillai）。この予想は、任意の自然数 a に対して方程式 xⁿ − y^m = a は有限個の自然数解（x > 0, y > 0, m ≥ 2, n ≥ 2）しかないことと同値である。Chudnovsky はこれを証明したと主張したが、本当に証明されたのかは不明である。エルデシュは a_{i + 1} − a_i > i^c となる正の定数 c が存在すると予想している。

方程式 xⁿ − y^m = a（a は与えられた自然数, x > 0, y > 0, m ≥ 2, n ≥ 2）は a のほかにもう一つの変数を固定すれば、有限個の解しか存在しないことが知られている。m, n のいずれかを固定した場合には、Schinzel と Tijdeman の一般的な不定方程式 y^m = P(x) に関する結果から従い、x, y のいずれかを固定した場合には一般の線形循環数列に関する Shorey と Tijdeman の結果から従う。

3, 7, 8, 15, … など、1 を除く累乗数から 1 を引いた数の逆和は、1 になる。すなわち、

${\displaystyle 1=\sum \limits _{p\in \mathbb {P} }{\left({\frac {1}{p-1}}\right)}={{\frac {1}{3}}+{\frac {1}{7}}+{\frac {1}{8}}+{\frac {1}{15}}+{\frac {1}{24}}}+\cdots }$

である。これは、ゴールドバッハ・オイラーの定理と呼ばれている。

• ある数 m を 2 乗した数の各位の和（数字和）を求め、それをさらに 1 桁になるまで繰り返すと結果（数字根）は 1, 4, 7, 9 の 4 通りにしかならない。（例：64² = 4096 → 4 + 0 + 9 + 6 = 19 → 1 + 9 = 10 → 1 + 0 = 1）

• ある数 m を n 乗した数の各位の和が元の数 m に等しい数が存在する。（例：7⁴ = 2401 → 2 + 4 + 0 + 1 = 7）

n	m	OEIS
2	1, 9
3	1, 8, 17, 18, 26, 27	A046459
4	1, 7, 22, 25, 28, 36	A055575
5	1, 28, 35, 36, 46	A055576
6	1, 18, 45, 54, 64	A055577
7	1, 18, 27, 31, 34, 43, 53, 58, 68	A226971
8	1, 46, 54, 63
9	1, 54, 71, 81
10	1, 82, 85, 94, 97, 106, 117
11	1, 98, 107, 108
12	1, 108
13	1, 20, 40, 86, 103, 104, 106, 107, 126, 134, 135, 146
14	1, 91, 118, 127, 135, 154
15	1, 107, 134, 136, 152, 154, 172, 199
16	1, 133, 142, 163, 169, 181, 187
17	1, 80, 143, 171, 216
18	1, 172, 181
19	1, 80, 90, 155, 157, 171, 173, 181, 189, 207
20	1, 90, 181, 207

• 自然数の累乗和 ${\displaystyle \sum _{k=1}^{n}k^{m}=1^{m}+2^{m}+3^{m}+\dotsb +n^{m}}$

m	数	OEIS
1	三角数を参照	A000217
2	四角錐数を参照	A000330
3	立方数を参照	A000537
4	1, 17, 98, 354, 979, 2275, 4676, 8772, 15333, …	A000538
5	1, 33, 276, 1300, 4425, 12201, 29008, 61776, …	A000539
6	1, 65, 794, 4890, 20515, 67171, 184820, 446964, …	A000540
7	1, 129, 2316, 18700, 96825, 376761, 1200304, 3297456, …	A000541
8	1, 257, 6818, 72354, 462979, 2142595, 7907396, 24684612, …	A000542

形	数	OEIS
1n + 2n + 3n	3, 6, 14, 36, 98, 276, 794, 2316, 6818, …	A001550
1n + 2n + 3n + 4n	4, 10, 30, 100, 354, 1300, 4890, 18700, …	A001551
1n + 2n + 3n + 4n + 5n	5, 15, 55, 225, 979, 4425, 20515, 96825, …	A001552
1n + 2n + 3n + ⋯ + 6n	6, 21, 91, 441, 2275, 12201, 67171, 376761, …	A001553
1n + 2n + 3n + ⋯ + 7n	7, 28, 140, 784, 4676, 29008, 184820, 1200304, …	A001554
1n + 2n + 3n + ⋯ + 8n	8, 36, 204, 1296, 8772, 61776, 446964, 3297456, …	A001555
1n + 2n + 3n + ⋯ + 9n	9, 45, 285, 2025, 15333, 120825, 978405, 8080425, …	A001556
1n + 2n + 3n + ⋯ + 10n	10, 55, 385, 3025, 25333, 220825, 1978405, …	A001557

上記の表において最初の数は自然数、2 番目は三角数、3 番目は四角錐数、4 番目は三角数の 2 乗である。

• 自然数の自然数乗 (k^k) の累乗和は 1, 5, 32, 288, 3413, 50069, 873612, 17650828, …である。（A001923）

(例. 288 = 1¹ + 2² + 3³ + 4⁴)

• 負の数を除いた 3 連続整数の 4 乗和は 17, 98, 353, 962, 2177, 4322, 7793, 13058, … である。（A160827）

• 同じ数の累乗和（整数乗） ${\displaystyle \sum _{k=0}^{n}a^{k}=a^{0}+a^{1}+a^{2}+\dotsb +a^{n}={\dfrac {a^{n+1}-1}{a-1}}}$

a	数	OEIS
2	1, 3, 7, 15, 31, 63, 127, 255, 511, 1023, 2047, 4095, 8191, …	A000225
3	1, 4, 13, 40, 121, 364, 1093, 3280, 9841, 29524, …	A003462
4	1, 5, 21, 85, 341, 1365, 5461, 21845, 87381, 349525, 1398101, …	A002450
5	1, 6, 31, 156, 781, 3906, 19531, 97656, 488281, 2441406, …	A003463
6	1, 7, 43, 259, 1555, 9331, 55987, 335923, 2015539, 12093235, …	A003464
7	1, 8, 57, 400, 2801, 19608, 137257, 960800, 6725601, …	A023000
8	1, 9, 73, 585, 4681, 37449, 299593, 2396745, 19173961, …	A023001
9	1, 10, 91, 820, 7381, 66430, 597871, 5380840, 48427561, …	A002452
10	1, 11, 111, 1111, 11111, 111111, 1111111, 11111111, 111111111, …	A002275
11	1, 12, 133, 1464, 16105, 177156, 1948717, 21435888, 235794769, …	A016123
12	1, 13, 157, 1885, 22621, 271453, 3257437, 39089245, 469070941, …	A016125
13	1, 14, 183, 2380, 30941, 402234, 5229043, 67977560, 883708281, …	A091030
14	1, 15, 211, 2955, 41371, 579195, 8108731, 113522235, 1589311291, …	A135519
15	1, 16, 241, 3616, 54241, 813616, 12204241, 183063616, 2745954241, …	A135518
16	1, 17, 273, 4369, 69905, 1118481, 17895697, 286331153, 4581298449, …	A131865
17	1, 18, 307, 5220, 88741, 1508598, 25646167, 435984840, 7411742281, …	A091045
18	1, 19, 343, 6175, 111151, 2000719, 36012943, 648232975, 11668193551, …	A218721
19	1, 20, 381, 7240, 137561, 2613660, 49659541, 943531280, 17927094321, …	A218722
20	1, 21, 421, 8421, 168421, 3368421, 67368421, 1347368421, …	A064108
21	1, 22, 463, 9724, 204205, 4288306, 90054427, 1891142968, …	A218724
22	1, 23, 507, 11155, 245411, 5399043, 118778947, 2613136835, …	A218725
23	1, 24, 553, 12720, 292561, 6728904, 154764793, 3559590240, …	A218726
24	1, 25, 601, 14425, 346201, 8308825, 199411801, 4785883225, …	A218727
25	1, 26, 651, 16276, 406901, 10172526, 254313151, 6357828776, …	A218728
26	1, 27, 703, 18279, 475255, 12356631, 321272407, 8353082583, …	A218729
27	1, 28, 757, 20440, 551881, 14900788, 402321277, 10862674480, …	A218730
28	1, 29, 813, 22765, 637421, 17847789, 499738093, 13992666605, …	A218731
29	1, 30, 871, 25260, 732541, 21243690, 616067011, 17865943320, …	A218732
30	1, 31, 931, 27931, 837931, 25137931, 754137931, 22624137931, …	A218733

上記の表において3番目の数 (a⁰ + a¹ + a²) は A002061、4番目 (a⁰ + a¹ + a² + a³) は A053698を参照。

• 同じ数の累乗和（自然数乗） ${\displaystyle \sum _{k=1}^{n}a^{k}=a^{1}+a^{2}+\dotsb +a^{n}={\dfrac {a^{n+1}-a}{a-1}}={\dfrac {a(a^{n}-1)}{a-1}}}$

a	数	OEIS
2	2, 6, 14, 30, 62, 126, 254, 510, 1022, 2046, 4094, 8190, …	A000918
3	3, 12, 39, 120, 363, 1092, 3279, 9840, 29523, …	A029858
4	4, 20, 84, 340, 1364, 5460, 21844, 87380, 349524, 1398100, …	A080674
5	5, 30, 155, 780, 3905, 19530, 97655, 488280, 2441405, …	A104891
6	6, 42, 258, 1554, 9330, 55986, 335922, 2015538, 12093234, …	A105281
7	7, 56, 399, 2800, 19607, 137256, 960799, 6725600, …	A104896
8	8, 72, 584, 4680, 37448, 299592, 2396744, 19173960, …	A052379
9	9, 90, 819, 7380, 66429, 597870, 5380839, 48427560, …	A052386
10	10, 110, 1110, 11110, 111110, 1111110, 11111110, 111111110, …	A105279
11	11, 132, 1463, 16104, 177155, 1948716, 21435887, 235794768, …	A105280
12	12, 156, 1884, 22620, 271452, 3257436, 39089244, 469070940, …

上記の表において 2 番目の数 (a¹ + a²) は矩形数、3 番目 (a¹ + a² + a³) は A027444、4 番目は A027445、5 番目は A152031、6 番目は A228290、7 番目は A228291、8 番目は A228292、9 番目は A228293、10 番目は A228294 を参照。

• Section D9 in Richard K. Guy, Unsolved Problems in Number Theory, 3rd edition, Springer-Verlag, 2004.
• T. N. Shorey and R. Tijdeman, Exponetial Diophantine Equations, Cambridge Tracts in Mathematics, 87, Cambridge University Press, 1986.
• P. Mihăilescu, "Primary Cyclotomic Units and a Proof of Catalan's Conjecture." J. reine angew. Math. 572 (2004), 167–195.

• 平方数
• 立方数
• 二重平方数（四乗数）
• 五乗数
• 六乗数
• 七乗数
• 八乗数
• 累乗
• カタラン予想
• 素数冪
• 二個の平方数の和
• 三個の平方数の和
• 3つの立方数の和

• Ivars Peterson's MathTrek
• Metsänkylä, Tauno (2003). Catalan's conjecture: another old Diophantine problem solved, Bull. (New Ser.) Amer. Math. Soc. 41 (1), 43–57.
• Weisstein, Eric W. "Perfect Power". mathworld.wolfram.com (英語).

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