# Numero potente

Un numero potente è un intero positivo $m$ tale che, per ogni numero primo $p$ che divide $m$, anche $p^{2}$divide $m$. Equivalentemente, un numero potente è il prodotto di un quadrato per un cubo, ovvero può essere scomposto nella forma $m=a^{2}b^{3}$, dove $a$ e $b$ sono interi positivi (eventualmente uguali a 1).
I numeri potenti, conosciuti anche come squareful, square-full o 2-full, furono studiati da Paul Erdős e George Szekeres mentre fu Solomon W. Golomb a chiamarli 'potenti'.
I primi numeri potenti, compresi tra 1 e 1000, sono (sequenza A001694 dell'OEIS):
    1, 4, 8, 9, 16, 25, 27, 32, 36, 49, 64, 72, 81, 100, 108, 121, 125, 128, 144, 169, 196, 200, 216, 225, 243, 256, 288, 289, 324, 343, 361, 392, 400, 432, 441, 484, 500, 512, 529, 576, 625, 648, 675, 676, 729, 784, 800, 841, 864, 900, 961, 968, 972, 1000.

## Equivalenza delle due definizioni

Se m = a$^2$b$^3$, allora tutti i primi all'interno della fattorizzazione di a appaiono nella fattorizzazione di m con un esponente maggiore o uguale a due, e tutti i primi all'interno della fattorizzazione di b appaiono nella fattorizzazione di m con un esponente maggiore o uguale a tre; perciò, m è potente.
Ragionando in senso opposto, ipotizziamo che m sia potente e si fattorizzi come
    $m=\prod p_{i}^{\alpha _{i}},$
dove ogni α$_i$ ≥ 2. Poniamo γ$_i$ uguale a $3$ se α$_i$ è dispari, e uguale a $0$ se α$_i$ è pari. Poniamo β$_i$ = α$_i$ - γ$_i$, allora tutti i valori di β$_i$ sono interi pari non negativi. Quindi
    $m=(\prod p_{i}^{\beta _{i}})(\prod p_{i}^{\gamma _{i}})=(\prod p_{i}^{\beta _{i}/2})^{2}(\prod p_{i}^{\gamma _{i}/3})^{3},$
soddisfa la rappresentazione desiderata di m come prodotto di un quadrato e un cubo.
Equivalentemente, data la fattorizzazione di m, si prenda b come il prodotto dei fattori primi di m che hanno esponente dispari (se non ce ne sono, si prenda b = 1). Dato che m è potente, ogni fattore primo con esponente dispari ha per esponente almeno $3$, allora m / b$^3$ è un intero. Inoltre, ogni fattore primo di m / b$^3$ ha un esponente pari, allora m / b$^3$ è un quadrato perfetto, e allora si può chiamare a$^2$; perciò m = a$^2$b$^3$. Ad esempio:
    $m=21600=2^{5}\times 3^{3}\times 5^{2},$
    $b=2\times 3=6,$
    $a={\sqrt {\frac {m}{b^{3}}}}={\sqrt {2^{2}\times 5^{2}}}=10,$
    $m=a^{2}b^{3}=10^{2}\times 6^{3}.$
La rappresentazione m = a$^2$b$^3$ calcolata in questo modo ha la proprietà che b è privo di quadrati, ed è unicamente definito da questa proprietà.

## Proprietà matematiche

La somma dei reciproci dei numeri potenti converge a
    $\prod _{p}\left(1+{\frac {1}{p(p-1)}}\right)={\frac {\zeta (2)\zeta (3)}{\zeta (6)}}={\frac {315}{2\pi ^{4}}}\zeta (3),$
dove p racchiude tutti i primi, ζ(s) indica la funzione zeta di Riemann e ζ(3) è la costante di Apéry (Golomb, 1970). Inoltre, definendo k(x) come il numero di numeri potenti nell'intervallo [1,x], si ha che k(x) è asintotico alla radice quadrata di x. Più precisamente,
    $cx^{1/2}-3x^{1/3}\leq k(x)\leq cx^{1/2},c=\zeta (3/2)/\zeta (3)=2.173\cdots$
(Golomb, 1970)
La sequenza delle coppie di numeri potenti è data dalla sequenza A060355 dell'OEIS. I due numeri potenti più piccoli sono 8 e 9. Dato che l'equazione di Pell x$^2$ − 8y$^2$ = 1 ha infinite soluzioni intere, ci sono infinite coppie di numeri potenti (Golomb, 1970); più generalmente, si può trovare una coppia di numeri potenti risolvendo un'equazione di Pell simile x$^2$ − ny$^2$ = ±1 per ogni cubo perfetto n. Tuttavia, uno dei due numeri potenti di una coppia formata in questo modo dev'essere un quadrato. Erdős ha posto il problema se esistano infinite coppie di numeri potenti consecutivi come (23$^3$, 2$^3$3$^2$13$^2$), in cui nessun numero della coppia è un quadrato. Jarosław Wróblewski ha mostrato che in effetti esistono infinite coppie di questo genere, mostrando che 3$^3$c$^2$+1=7$^3$d$^2$ ha infinite soluzioni. Secondo una congettura di Erdős, Mollin, e Walsh, non esistono tre numeri potenti consecutivi.

## Somme e differenze di numeri potenti

È noto che ogni numero dispari è la differenza di due quadrati consecutivi. Infatti, (k + 1)$^2$ = k$^2$ + 2k +1$^2$, e quindi (k + 1)$^2$ - k$^2$ = 2k + 1. Analogamente, ogni multiplo di quattro è la differenza dei quadrati di due numeri che differiscono di due: (k + 2)$^2$ - k$^2$ = 4k + 4. Tuttavia, un numero singolarmente pari (cioè divisibile per due, ma non per quattro) non può essere espresso come una differenza di quadrati. Ciò spinge a chiedersi quali numeri singolarmente pari possano essere espressi come differenze di numeri potenti. Golomb ha mostrato alcune rappresentazioni di questo tipo:
    2 = 3$^3$ − 5$^2$
    10 = 13$^3$ − 3$^7$
    18 = 19$^2$ − 7$^3$ = 3$^2$(3$^3$ − 5$^2$).
È stato congetturato che 6 non può essere rappresentato, mentre Golomb ha congetturato che esistano infiniti interi che non possono essere rappresentati come differenza di due numeri potenti. Ad ogni modo, Narkiewicz ha dimostrato che 6 può essere espresso in un numero infinito di modi, come
    6 = 5$^4$7$^3$ − 463$^2$,
e McDaniel ha dimostrato che ogni intero ha infinite rappresentazioni di questo tipo (McDaniel, 1982).
Erdős ha congetturato che ogni intero sufficientemente grande è una somma di al massimo tre numeri potenti; la congettura è stata dimostrata da Roger Heath-Brown (1987).

## Generalizzazione

Più generalmente, possiamo considerare tutti quegli interi i cui esponenti sono almeno k. Un intero del genere è chiamato numero k-potente, numero k-full o numero k-full.
I numeri
    (2$^{k+1}$ − 1)$^k$, 2$^k$(2$^{k+1}$ − 1)$^k$, (2$^{k+1}$ − 1)$^{k+1}$,
sono numeri k-potenti in progressione aritmetica. Inoltre, se a$_1$, a$_2$, ..., a$_s$ sono k-potenti in una progressione aritmetica di ragione d, allora
    a$_1$(a$_s$ + d)$^k$, a$_2$(a$_s$ + d)$^k$, ..., a$_s$(a$_s$ + d)$^k$, (a$_s$ + d)$^{k+1}$,
sono numeri (s + 1)k-potenti in progressione aritmetica.
Riguardo ai numeri k-potenti, abbiamo la seguente identità:
    a$^k$(a$^l$ + ... + 1)$^k$ + a$^{k+1}$(a$^l$ + ... + 1)$^k$ + ... + a$^{k+l}$(a$^l$ + ... + 1)$^k$ = a$^k$(a$^l$ + ... +1)$^{k+1}$,
che ci fornisce infinite (l + 1)-uple di numeri k-potenti la cui somma è anch'essa k-potente. Nitaj ha dimostrato che esistono infinite soluzioni di x + y = z formate da 3 numeri potenti coprimi (Nitaj, 1995). Cohn ha costruito una famiglia infinita di soluzioni di x + y = z formate da numeri 3-potenti non cubi coprimi, come segue: la terna
    X = 9712247684771506604963490444281, Y = 32295800804958334401937923416351, Z = 27474621855216870941749052236511,
è una soluzione dell'equazione 32X$^3$ + 49Y$^3$ = 81Z$^3$ e possiamo comporre un'altra soluzione ponendo X′ = X(49Y$^3$ + 81Z$^3$), Y′ = −Y(32X$^3$ + 81Z$^3$), Z′ = Z(32X$^3$ − 49Y$^3$) e omettendo il divisore comune.