累乗数

累乗数（るいじょうすう、）とは、他の自然数の累乗になっている自然数、すなわち、（ は自然数で は 以上）の形の数を指す。
累乗数を から小さい順に列記すると
累乗数の性質.
4 を法として 2 と合同でない数は 2 つの累乗数の差として表される。実際、("n" + 1)2 − "n"2 = 2"n" + 1, ("n" + 2)2 − "n"2 = 4"n" + 4 が成立する。
また、2 = 33 − 52, 10 = 133 − 37 など、4 を法として 2 と合同な数（単偶数）に関しても累乗数の差として表せる場合があることが知られている。6, 14, 34 などがそのように表せるかどうかは知られていない。
差が 1 となる累乗数の組は (8, 9) のみであると、1844年に (Eugène Charles Catalan) によって予想され（カタラン予想）、2002年にプレダ・ミハイレスクによって証明された。
一般に、累乗数を小さいほうから "a"1 = 1, "a"2 = 4, … と並べるとき、"a""i" + 1 − "a""i" は "i" と共に無限大に発散すると予想されている（Pillai）。この予想は、任意の自然数 "a" に対して方程式 "x""n" − "y""m" = a は有限個の自然数解（"x" > 0, "y" > 0, "m" ≥ 2, "n" ≥ 2）しかないことと同値である。Chudnovsky はこれを証明したと主張したが、本当に証明されたのかは不明である。エルデシュは "a""i" + 1 − "a""i" > "i""c" となる正の定数 "c" が存在すると予想している。
方程式 "x""n" − "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 になる。すなわち、
である。これは、ゴールドバッハ・オイラーの定理と呼ばれている。