Perché 5² = 25 è più di una semplice moltiplicazione?

Hai mai notato che 5² = 25 sembra raccontare una storia? Il risultato 25 è proprio l’esponente “2” incollato a sinistra della base “5”. Questo fenomeno, chiamato *numero polimorfico con prefisso esponenziale*, è più che una coincidenza. In pratica, si cerca ogni coppia (b, e) in una certa base b che soddisfi l’equazione b^e = concat(e, b).

Il problema si traduce in un’equazione diofantea: trovare interi positivi b, e tali che b^e = e·b^{k}+b, dove k è il numero di cifre di e nella base scelta. Per risolverla gli studiosi hanno usato diversi strumenti: il metodo di Newton‑Raphson per avvicinarsi a soluzioni reali, l’ineguaglianza media aritmetico‑geometrica per limitare i valori possibili, e persino l’equazione di Pell per gestire casi speciali.

Tra le soluzioni più famose troviamo (5, 2), (6, 2) in base 10, ma la ricerca non si ferma qui. Cambiando base, emergono nuove coppie sorprendenti, come (3, 3) in base 4. Inoltre, il piccolo teorema di Fermat aiuta a dimostrare che certe combinazioni non possono mai funzionare, perché il risultato non può essere un multiplo di un primo specifico.

Il risultato è una classificazione quasi completa di tutti i numeri che mostrano questo “prefisso esponenziale”. Non è solo un trucco da barzelletta: è un ponte tra aritmetica elementare e teoria dei numeri avanzata, che dimostra quanto la matematica possa nascondere sorprese dietro operazioni apparentemente banali.

L’equazione fondamentale b^e = e·b^{k}+b può essere riscritta come b^{e-1}=e·b^{k-1}+1. Quando e è piccolo rispetto a b, il termine e·b^{k-1} domina, suggerendo che b deve crescere rapidamente per mantenere l’uguaglianza. Per analizzare le soluzioni, si introduce la variabile x = log_b(e), così che l’equazione diventa b^{e-1}=b^{k·x}+1. Applicando il metodo di Newton‑Raphson a f(b)=b^{e-1}-e·b^{k-1}-1, si ottengono iterazioni b_{n+1}=b_n-\frac{f(b_n)}{f'(b_n)} che convergono rapidamente verso radici reali, fornendo stime iniziali per le soluzioni intere.

L’ineguaglianza della media aritmetico‑geometrica (AM‑GM) impone b^{e-1} \ge (e·b^{k-1})^{\frac{e-1}{k}}. Da qui si ricava una condizione di crescita: e \le b^{(e-1)(1-\frac{1}{k})}. Questo vincolo elimina molte coppie (b, e) impossibili, riducendo lo spazio di ricerca.

Per i casi in cui k=1 (e ha una sola cifra), l’equazione si semplifica a b^{e-1}=e·b+1. Qui entra in gioco l’equazione di Pell x^2-Db^2=1, con D legato a e. Soluzioni fondamentali di Pell generano infinite famiglie di (b, e) che soddisfano la condizione, ad esempio (b, e)=(5,2), (29,2), (169,2), ecc.

Il piccolo teorema di Fermat (a^{p-1}≡1 mod p) è utile per dimostrare l’assenza di soluzioni quando p è primo e divide b. Se p|b, allora b^e ≡0 mod p, ma concat(e,b) ≡ e·b^{k}+b ≡ b (mod p), che non può essere zero a meno che p|e, contraddicendo la scelta di e.

Infine, la classificazione completa combina questi approcci: si enumerano tutte le soluzioni con k=1 usando Pell, si escludono i casi impossibili con AM‑GM e Fermat, e si verificano le restanti con Newton‑Raphson. Il risultato è una lista finita di famiglie parametriche, più alcune soluzioni isolate, che descrivono tutti i numeri polimorfici con prefisso esponenziale conosciuti finora.