累乗数のソースを表示

[[File:Perfect power number Cuisenaire rods 9.png|thumb|{{ill2|クイゼネールロッド|en|Cuisenaire rod}}を用いた累乗数4、8、9のデモンストレーション]]

'''累乗数'''（るいじょうすう、{{lang-en-short|perfect power}}）とは、他の[[自然数]]の[[冪乗|累乗]]になっている自然数、すなわち、{{mvar|m<sup>k</sup>}}（{{math|''m'', ''k''}} は自然数で {{mvar|k}} は {{math|2}} 以上）の形の数を指す。

累乗数を {{math|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, …（{{OEIS|A001597}}）

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

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

差が 1 となる累乗数の組は (8, 9) のみであると、[[1844年]]に{{仮リンク|ウジェヌ・シャルル・カタラン|en|Eugène Charles Catalan|label=カタラン}} (Eugène Charles Catalan) によって予想され（[[カタラン予想]]）、[[2002年]]に[[プレダ・ミハイレスク]]によって証明された。

一般に、累乗数を小さいほうから ''a''<sub>1</sub> = 1, ''a''<sub>2</sub> = 4, … と並べるとき、''a''<sub>''i'' + 1</sub> − ''a''<sub>''i''</sub> は ''i'' と共に無限大に発散すると予想されている（[[w:Subbayya_Sivasankaranarayana_Pillai|Pillai]]）。この予想は、任意の自然数 ''a'' に対して方程式 ''x''<sup>''n''</sup> − ''y''<sup>''m''</sup> = a は有限個の自然数解（''x'' > 0, ''y'' > 0, ''m'' &ge; 2, ''n'' &ge; 2）しかないことと[[同値]]である。Chudnovsky はこれを証明したと主張したが、本当に証明されたのかは不明である。[[ポール・エルデシュ|エルデシュ]]は ''a''<sub>''i'' + 1</sub> − ''a''<sub>''i''</sub> &gt;  ''i''<sup>''c''</sup> となる正の定数 ''c'' が存在すると予想している。

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

3, 7, 8, 15, … など、1 を除く累乗数から 1 を引いた数の逆和は、1 になる。すなわち、
:<math>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 </math>
である。これは、[[ゴールドバッハ・オイラーの定理]]と呼ばれている。

== 累乗数に関する性質 ==

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

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

:{| class="wikitable"
! ''n'' !! ''m'' !! [[オンライン整数列大辞典|OEIS]]
|-
| <center>2</center> || [[1]], [[9]] || 
|-
| <center>3</center> || [[1]], [[8]], [[17]], [[18]], [[26]], [[27]] || {{OEIS2C|A046459}} 
|-
| <center>4</center> || [[1]], [[7]], [[22]], [[25]], [[28]], [[36]] || {{OEIS2C|A055575}}
|-
| <center>5</center> || [[1]], [[28]], [[35]], [[36]], [[46]] || {{OEIS2C|A055576}}
|-
| <center>6</center> || [[1]], [[18]], [[45]], [[54]], [[64]] || {{OEIS2C|A055577}}
|-
| <center>7</center> || [[1]], [[18]], [[27]], [[31]], [[34]], [[43]], [[53]], [[58]], [[68]] || {{OEIS2C|A226971}}
|-
| <center>8</center> || [[1]], [[46]], [[54]], [[63]] || 
|-
| <center>9</center> || [[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]] || 
|}

=== 累乗和 ===
* 自然数の累乗和 <math>\sum_{k=1}^n k^m = 1^m + 2^m + 3^m + \dotsb + n^m</math>

:{| class="wikitable"
! ''m'' !! 数 !! OEIS 
|-
| <center>1</center> || [[三角数]]を参照 || {{OEIS2C|A000217}}
|-
| <center>2</center> || [[四角錐数]]を参照 || {{OEIS2C|A000330}}
|-
| <center>3</center> || [[立方数#立方数の和|立方数]]を参照 || {{OEIS2C|A000537}}
|-
| <center>4</center> || [[1]], [[17]], [[98]], [[354]], 979, 2275, 4676, 8772, 15333, … || {{OEIS2C|A000538}}
|-
| <center>5</center> || [[1]], [[33]], [[276]], [[1300]], 4425, 12201, 29008, 61776, … || {{OEIS2C|A000539}}
|-
| <center>6</center> || [[1]], [[65]], [[794]], 4890, 20515, 67171, 184820, 446964, … || {{OEIS2C|A000540}}
|-
| <center>7</center> || [[1]], [[129]], 2316, 18700, 96825, 376761, 1200304, 3297456, … || {{OEIS2C|A000541}}
|-
| <center>8</center> || [[1]], [[257]], 6818, 72354, 462979, 2142595, 7907396, 24684612, … || {{OEIS2C|A000542}}
|}

:{| class="wikitable"
! 形 !! 数 !! OEIS 
|-
| 1<sup>''n''</sup> + 2<sup>''n''</sup> + 3<sup>''n''</sup> || [[3]], [[6]], [[14]], [[36]], [[98]], [[276]], [[794]], 2316, 6818, … || {{OEIS2C|A001550}}
|-
| 1<sup>''n''</sup> + 2<sup>''n''</sup> + 3<sup>''n''</sup> + 4<sup>''n''</sup> || [[4]], [[10]], [[30]], [[100]], [[354]], [[1300]], 4890, 18700, … || {{OEIS2C|A001551}}
|-
| 1<sup>''n''</sup> + 2<sup>''n''</sup> + 3<sup>''n''</sup> + 4<sup>''n''</sup> + 5<sup>''n''</sup> || [[5]], [[15]], [[55]], [[225]], 979, 4425, 20515, 96825, … || {{OEIS2C|A001552}}
|-
| 1<sup>''n''</sup> + 2<sup>''n''</sup> + 3<sup>''n''</sup> + ⋯ + 6<sup>''n''</sup> || [[6]], [[21]], [[91]], [[441]], 2275, 12201, 67171, 376761, … || {{OEIS2C|A001553}}
|-
| 1<sup>''n''</sup> + 2<sup>''n''</sup> + 3<sup>''n''</sup> + ⋯ + 7<sup>''n''</sup> || [[7]], [[28]], [[140]], [[784]], 4676, 29008, 184820, 1200304, … || {{OEIS2C|A001554}}
|-
| 1<sup>''n''</sup> + 2<sup>''n''</sup> + 3<sup>''n''</sup> + ⋯ + 8<sup>''n''</sup> || [[8]], [[36]], [[204]], [[1296]], 8772, 61776, 446964, 3297456, … || {{OEIS2C|A001555}}
|-
| 1<sup>''n''</sup> + 2<sup>''n''</sup> + 3<sup>''n''</sup> + ⋯ + 9<sup>''n''</sup> || [[9]], [[45]], [[285]], [[2025]], 15333, 120825, 978405, 8080425, … || {{OEIS2C|A001556}}
|-
| 1<sup>''n''</sup> + 2<sup>''n''</sup> + 3<sup>''n''</sup> + ⋯ + 10<sup>''n''</sup> || [[10]], [[55]], [[385]], [[3025]], 25333, 220825, 1978405, … || {{OEIS2C|A001557}}
|}
:上記の表において最初の数は自然数、2 番目は三角数、3 番目は四角錐数、4 番目は三角数の 2 乗である。

* 自然数の自然数乗 (''k''<sup>''k''</sup>) の累乗和は [[1]], [[5]], [[32]], [[288]], 3413, 50069, 873612, 17650828, …である。（{{OEIS2C|A001923}}）
:(例. 288 = 1<sup>1</sup> + 2<sup>2</sup> + 3<sup>3</sup> + 4<sup>4</sup>)

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

* 同じ数の累乗和（整数乗） <math>\sum_{k=0}^{n} a^k = a^0 + a^1 + a^2 + \dotsb + a^{n} = \dfrac{a^{n+1}-1}{a-1}</math>

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

* 同じ数の累乗和（自然数乗） <math>\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}</math>

:{| class="wikitable"
! ''a'' !! 数 !! OEIS 
|-
| <center>2</center> || [[2]], [[6]], [[14]], [[30]], [[62]], [[126]], [[254]], [[510]], 1022, 2046, 4094, 8190, … || {{OEIS2C|A000918}}
|-
| <center>3</center> || [[3]], [[12]], [[39]], [[120]], [[363]], 1092, 3279, 9840, 29523, … || {{OEIS2C|A029858}}
|-
| <center>4</center> || [[4]], [[20]], [[84]], [[340]], 1364, 5460, 21844, 87380, 349524, 1398100, … || {{OEIS2C|A080674}}
|-
| <center>5</center> || [[5]], [[30]], [[155]], [[780]], 3905, 19530, 97655, 488280, 2441405, … || {{OEIS2C|A104891}}
|-
| <center>6</center> || [[6]], [[42]], [[258]], 1554, 9330, 55986, 335922, 2015538, 12093234, … || {{OEIS2C|A105281}}
|-
| <center>7</center> || [[7]], [[56]], [[399]], 2800, 19607, 137256, 960799, 6725600, … || {{OEIS2C|A104896}}
|-
| <center>8</center> || [[8]], [[72]], [[584]], 4680, 37448, 299592, 2396744, 19173960, … || {{OEIS2C|A052379}}
|-
| <center>9</center> || [[9]], [[90]], [[819]], 7380, 66429, 597870, 5380839, 48427560, … || {{OEIS2C|A052386}}
|-
| 10 || [[10]], [[110]], 1110, 11110, 111110, 1111110, 11111110, 111111110, … || {{OEIS2C|A105279}}
|-
| 11 || [[11]], [[132]], 1463, 16104, 177155, 1948716, 21435887, 235794768, … || {{OEIS2C|A105280}}
|-
| 12 || [[12]], [[156]], 1884, 22620, 271452, 3257436, 39089244, 469070940, … || 
|}
:上記の表において 2 番目の数 (''a''<sup>1</sup> + ''a''<sup>2</sup>) は[[矩形数]]、3 番目 (''a''<sup>1</sup> + ''a''<sup>2</sup> + ''a''<sup>3</sup>) は {{OEIS2C|A027444}}、4 番目は {{OEIS2C|A027445}}、5 番目は {{OEIS2C|A152031}}、6 番目は {{OEIS2C|A228290}}、7 番目は {{OEIS2C|A228291}}、8 番目は {{OEIS2C|A228292}}、9 番目は {{OEIS2C|A228293}}、10 番目は {{OEIS2C|A228294}} を参照。

== 脚注 ==
{{脚注ヘルプ}}
=== 注釈 ===
{{Reflist|group="注"}}
=== 出典 ===
{{Reflist|2}}

== 参考文献 ==
* 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&ndash;195.

== 関連項目 ==
* [[平方数]]
* [[立方数]]
*[[二重平方数]]（四乗数）
*[[五乗数]]
*[[六乗数]]
*[[七乗数]]
*[[八乗数]]
* [[冪乗|累乗]]
* [[カタラン予想]]
* [[素数冪]]
* [[二個の平方数の和]]
* [[三個の平方数の和]]
* [[3つの立方数の和]]

== 外部リンク ==
* [http://www.maa.org/mathland/mathtrek_06_24_02.html Ivars Peterson's MathTrek]
* Mets&auml;nkyl&auml;, Tauno (2003).  [http://www.ams.org/bull/2004-41-01/S0273-0979-03-00993-5/S0273-0979-03-00993-5.pdf Catalan's conjecture: another old Diophantine problem solved], ''Bull. (New Ser.) Amer. Math. Soc.'' '''41''' (1), 43&ndash;57.
* {{MathWorld|title=Perfect Power|urlname=PerfectPower}}
{{Divisor classes}}

{{DEFAULTSORT:るいしようすう}}
[[Category:整数の類]]
[[Category:数論]]
[[Category:初等数学]]
[[Category:積]]
[[Category:数学に関する記事]]