Teljes hatvány

A matematikában teljes hatványnak vagy hatványszámnak olyan pozitív egész számokat neveznek, melyek kifejezhetők egy pozitív egész szám egy másik pozitív egész kitevőre emelésével. Formálisabban, n teljes hatvány, ha léteznek m > 1 és k > 1 természetes számok, melyekre m^k = n. Ebben az esetben az n teljes k-adik hatvány. Ha k = 2 vagy k = 3, akkor n hívható teljes négyzetnek, illetve teljes köbnek is (más néven: négyzetszám, ill. köbszám). Változó, hogy az egyet teljes hatványnak tekintik-e (1^k = 1 bármely k-ra).

Példák és sorösszegek

A teljes hatványok sorozatát elő lehet állítani az m és k lehetséges értékeinek iterálásával. Az első néhány teljes hatvány emelkedő sorrendben (a duplikátumokat is mutatva) Sablon:OEIS:

$2^2=4,2^3=8,3^2=9,2^4=16,4^2=16,5^2=25,3^3=27,$ $2^5=32,6^2=36,7^2=49,2^6=64,4^3=64,8^2=64,\dots$

A teljes hatványok (duplikátumokat is figyelembe vett) sorösszege 1:

$\sum _{m=2}^{\mathrm{\infty }}\sum _{k=2}^{\mathrm{\infty }}\frac{1}{m^k}=1.$

aminek bizonyítása:

$\sum _{m=2}^{\mathrm{\infty }}\sum _{k=2}^{\mathrm{\infty }}\frac{1}{m^k}=\sum _{m=2}^{\mathrm{\infty }}\frac{1}{m^2}\sum _{k=0}^{\mathrm{\infty }}\frac{1}{m^k}=\sum _{m=2}^{\mathrm{\infty }}\frac{1}{m^2}\left(\frac{m}{m-1}\right)=\sum _{m=2}^{\mathrm{\infty }}\frac{1}{m(m-1)}=\sum _{m=2}^{\mathrm{\infty }}(\frac{1}{m-1}-\frac{1}{m})=1.$

Az első néhány teljes hatvány (duplikátumoktól megtisztítva) (Sablon:OEIS2C):

(néha 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, ...

A p teljes hatványok reciprokösszege a duplikátumok nélkül:

$\sum _p\frac{1}{p}=\sum _{k=2}^{\mathrm{\infty }}\mu (k)(1-\zeta (k))\approx 0,874464368\dots$

ahol μ(k) a Möbius-függvény és ζ(k) a Riemann-féle zéta-függvény.

Euler szerint Goldbach megmutatta (egy azóta elveszett levelében), hogy a p teljes hatványokat tekintve az 1/(p−1) sorösszege, 1-et és a duplikátumokat kivéve éppen 1-gyel egyenlő:

$\sum _p\frac{1}{p-1}=\frac{1}{3}+\frac{1}{7}+\frac{1}{8}+\frac{1}{15}+\frac{1}{24}+\frac{1}{26}+\frac{1}{31}+\cdots =1.$

Ezt néha Goldbach–Euler-tételnek is nevezik.

Teljes hatványok keresése

Annak megállapítása, hogy adott n természetes szám teljes hatvány-e különböző módokon történhet, melyek különböző számítási bonyolultságúak lehetnek. Az egyik legegyszerűbb ilyen módszer, hogy vesszük az összes lehetséges k-t n osztói között, legfeljebb $k\le {\log }_{2}n$-ig. Ha tehát $n$ osztói $n_1,n_2,\dots ,n_j$, akkor az$n_1^2,n_2^2,\dots ,n_j^2,n_1^3,n_2^3,\dots$ értékek valamelyikének meg kell egyeznie n-nel, ha n valóban teljes hatvány.

A módszer azonnal egyszerűsíthető, ha k-nak csak a prímszám értékeit vesszük figyelembe. Ez azért van, mert ha $n=m^k$ egy összetett $k=ap$-re, ahol p prím, akkor a kifejezés egyszerűen átírható a következőre: $n=m^k=m^{ap}=(m^a{)}^p$. Emiatt k minimális értékének szükségképpen prímnek kell lennie.

Ha n prímtényezős felbontása ismert, ahol $n=p_1^{{\alpha }_1}{p}_2^{{\alpha }_2}\cdots p_r^{{\alpha }_r}$ és $p_i$ különböző prímszámokat jelöl, akkor n akkor és csak akkor teljes hatvány, ha $\gcd ({\alpha }_1,{\alpha }_2,\dots ,{\alpha }_r)>1$, ahol a gcd=lnko a legnagyobb közös osztót jelenti. Vegyük például az n = 2⁹⁶·3⁶⁰·7²⁴ esetet. Mivel lnko (96, 60, 24) = 12, n teljes 12-edik hatvány (és természetesen teljes hatodik, negyedik hatvány, teljes köb és négyzet is, mivel 6, 4, 3 és 2 osztója a 12-nek).

Teljes hatványok közötti hézagok

2002-ben Preda Mihăilescu román matematikus igazolta, hogy a 2³ = 8 és 3² = 9 az egyetlen egymás után következő teljeshatvány-pár, ezzel a Catalan-sejtést is bizonyítva.

A Pillai-sejtés azt állítja, hogy bármely pozitív egész k számhoz csak véges számú olyan teljeshatvány-pár létezik, melyek különbsége k. Ez egy megoldatlan probléma.

Kapcsolódó szócikkek

• Prímhatvány

Fordítás

• Sablon:Fordítás

Jegyzetek

• Sablon:Cite journal

További információk

• On a series of Goldbach and Euler Sablon:Wayback