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²b³, 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³ è un intero. Inoltre, ogni fattore primo di m / b³ ha un esponente pari, allora m / b³ è un quadrato perfetto, e allora si può chiamare a²; perciò m = a²b³. 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²b³ 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² − 8y² = 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² − ny² = ±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³, 2³3²13²), 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³c²+1=7³d² 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)² = k² + 2k +1², e quindi (k + 1)² - k² = 2k + 1. Analogamente, ogni multiplo di quattro è la differenza dei quadrati di due numeri che differiscono di due: (k + 2)² - k² = 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³ − 5²

10 = 13³ − 3⁷

18 = 19² − 7³ = 3²(3³ − 5²).

È 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⁴7³ − 463²,

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₁, a₂, ..., a_s sono k-potenti in una progressione aritmetica di ragione d, allora

a₁(a_s + d)^k,  a₂(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³ + 49Y³ = 81Z³ e possiamo comporre un'altra soluzione ponendo X′ = X(49Y³ + 81Z³), Y′ = −Y(32X³ + 81Z³), Z′ = Z(32X³ − 49Y³) e omettendo il divisore comune.

Bibliografia

• Cohn, J. H. E. (1998). "A conjecture of Erdős on 3-powerful numbers". Math. Comp. 67: 439–440. doi:10.1090/S0025-5718-98-00881-3.
• Erdős, Paul e Szekeres, George (1934). Über die Anzahl der Abelschen Gruppen gegebener Ordnung und über ein verwandtes zahlentheoretisches Problem. Acta Litt. Sci. Szeged 7: 95–102.
• Golomb, Solomon W. (1970). "Powerful numbers". American Mathematical Monthly. 77 (8): 848–852. doi:10.2307/2317020.
• Guy, Richard K. (2004). Unsolved Problems in Number Theory, 3rd edition. Springer-Verlag. Section B16. ISBN 0-387-20860-7.
• Heath-Brown, Roger (1988). Ternary quadratic forms and sums of three square-full numbers. Séminaire de Théorie des Nombres, Paris, 1986-7. Boston: Birkhäuser. pp. 137–163.
• Heath-Brown, Roger (1990). Sums of three square-full numbers. Number Theory, I (Budapest, 1987). Colloq. Math. Soc. János Bolyai, no. 51. pp. 163–171.
• McDaniel, Wayne L. (1982). Representations of every integer as the difference of powerful numbers. Fibonacci Quarterly 20: 85–87.
• Nitaj, Abderrahmane (1995). On a conjecture of Erdős on 3-powerful numbers. Bull. London Math. Soc. 27: 317–318. doi::10.1112/blms/27.4.317.

Voci correlate

• Numero di Achille

Collegamenti esterni

• (EN) Eric W. Weisstein, Numero potente, su MathWorld, Wolfram Research.
• The abc conjecture, su math.unicaen.fr. URL consultato il 15 gennaio 2011 (archiviato dall'url originale il 19 agosto 2000).

Controllo di autorità	GND (DE) 4723466-0