Interessante, molto interessante. Premetto che non ho visto i vostri suggerimenti, ci sta che esista un metodo migliore. Questo è quello standard per le equazioni diofantee non lineari sufficientemente semplici.
Testo nascosto, fai click qui per vederlo
Direi che si potrebbe fare così, riscrivendo la relazione in maniera diversa:
\( (m-12)(m+12)=p^n\)
Allora per il teorema di fattorizzazione essenzialmente unica \(\exists\,\alpha,\beta\in\mathbb{N}\) tali che \(p^\alpha=m-12,\,\,p^\beta=m+12\) con \(\alpha+\beta=n\). Ora, sottraendo memebro a membro, \(p^\beta -p^\alpha = 24\Rightarrow p^\alpha(p^{\beta-\alpha}-1)=24\). Tuttavia, \(p^\alpha\,|\,24\iff p^\alpha=2,3,4,8\) e se ci mettiamo a provare le varie combinazioni troviamo che le uniche possibili sono per \(p^\alpha=3,p^\alpha=8\Rightarrow p=3,2\,,\alpha=1,3\) e dànno \(p^\beta=27\Rightarrow p=3,\beta=3\,\,\,p^\beta=32\Rightarrow p=2,\beta=5\). Dunque alcuni valori possibili di \(p\) ed \(n=\alpha+\beta\) sono:
\( \displaystyle p=3\,,n=1+3=4;\,\,\,\,p=2\,,n=3+5=8 \)
C'è un altro caso che va preso in considerazione: se \(p^\alpha=1\iff \alpha=0\) si può avere \(p^\beta - 1=24\iff p^\beta=25\iff p=5,\beta=2\). Questo fornisce i valori di \(p=5,n=2\). In conclusione, non potendoci essere altri casi possibili, le uniche terne che verificano l'uguaglianza sono:
\[(3,4,15),(2,8,20),(5,2,13)\]