多冪数

自然数 "n" が多冪数（たべきすう、）であるとは、素数 "p" が "n" を割り切るとき、"p" の平方も "n" を割り切ることをいう。
多冪数は無数に存在し、1 から小さい順に列記すると
ポール・エルデシュとがこの形の数を研究したが、ソロモン・ゴロムが初めてこの形の数を多冪数と名付けた。
例えば、36 は 22 × 32 であるから 36 の素因数 2, 3 の平方 4, 9 で割り切れるので多冪数である。12 は 22 × 3 であるから 12 の素因数 2, 3 の平方 4, 9 となるが 9 では割り切れないので多冪数でない。
性質.
多冪数を素因数分解すると、現れる指数は常に 1 より大きくなる。
2"r" + 3"s"（"r", "s" は非負整数）は 1 より大きなすべての整数を表すから、多冪数は "a"2"b"3（"a", "b" は自然数）の形に表される。また、"b" が平方因子をもたない整数という条件の下では、多冪数はこの形に一意的に表される。
多冪数の逆数の和は
に収束する。ここで ζ("s") はリーマンゼータ関数である(Golomb, 1970)。
"k"("x") を 1≤"n"≤"x" となる多冪数 "n" の個数とすると
となる(Golomb, 1970)。
ペル方程式 "x"2 − 8"y"2 = 1 は無数に多くの自然数解を持つから、無数に多くの連続する多冪数が存在する(Golomb, 1970)。
奇数や 4 の倍数は多冪数、特に平方数の差で表されるが、ゴロムは
など、多冪数の差として表される単偶数の例を示し、6 はそのように表すことはできず、他にも多冪数の差として表すことができない無数に多くの数が存在すると予想したが、Narkiewicz は
など、6 は多冪数の差として無数に多くの方法で表されることを示し、McDaniel は全ての整数は互いに素な多冪数の差として無数に多くの方法で表されることを示した(McDaniel, 1982)。
エルデシュは十分大きな全ての整数は高々 3 つの多冪数の和として表されると予想し、
によって証明された(Heath-Brown, 1987)。
一般化.
より一般的な概念として、素因数分解したときに現れる指数が少なくとも "k" であるような整数を "k"-多冪数（"k"-powerful number, "k"-ful number, "k"-full number）という。
は "k"-多冪数からなる等差数列である。また "a"1, "a"2, ..., "a""s" が "k"-多冪数からなる公差 "d" の等差数列であれば
は "s"+1 項からなる等差数列である。
"k"-多冪数による等式としては
というものもあり、ここから "l"+1 個の "k"-多冪数の和が "k"-多冪数となる例が無数にあることが分かる。Nitaj は互いに素な 3-多冪数で、その和が 3-多冪数となるものが無数にあることを示し(Nitaj, 1995)、Cohn は互いに素で、かつ立方数でない 3-多冪数で、その和が再び立方数でない 3-多冪数となるものが無数にあることを示した(Cohn, 1998)。Cohn の構成は次の通りである。
は方程式 32"X"3 + 49"Y"3 = 81"Z"3 の解であり、ここから "X"′="X"(49"Y"3 + 81"Z"3), "Y"′ = −"Y"(32"X"3 + 81"Z"3), "Z"′ = "Z"(32"X"3 − 49"Y"3)とし、その公約数を取り除くことによって新たに方程式 32"X"3 + 49"Y"3 = 81"Z"3 の解を構成する。32"X"3, 49"Y"3, 81"Z"3 が求める組である。