T'abuses un peu sur tes "trivial", "très simple" quand même hein, il est loin d'être trivial cet exo. On va montrer que seul le couple
 = (3, 2, 3 ,2))
est solution du problème.
Clairement,

ou

est pair. Mais puisque

et

sont premiers, alors, sans perté de généralité,

. Nous sommes alors ammené à résoudre

* Si

et

sont pairs,

et

, alors :
^2 - (2^n)^2| = 1 \leftrightarrow |p^k - 2^n||p^k + 2^n| = 1)
Or

, ainsi l'égalité ne peut avoir lieu.
* Si

est impair alors
(p^{m-1} \pm p^{m - 2} + \cdots - p + 1))
Or le premier facteur de droite est clairement impair et plus grand que 1, ainsi l'égalité ne peut avoir lieu. Par conséquent,

est pair,

avec

impair, et

est impair.
Nous allons montrer que

:
^b \pm 1 \leftrightarrow 2^r = ({p^2}^a \pm 1)(({{p^2}^a})^{(b-1)} \pm \cdots - {p^2}^a + 1))
On conclut de la même manière que précédemment, ce qui implique que

Notre équation se réécrit alors :

avec

impair. Il nous reste alors deux cas à traiter :
Cas 1 :
\left(p^{2^{a-1}}-1\right)=2^{r})
Cette relation implique que

et

sont des puissances de 2. Or les seules puissances de 2 espacées de 2 nombres sont 2 et 4, d'où

et

. On en tire alors

, d'où
Cas 2 :^{2} = (2 - 1)(2^{r - 1} + \cdots + 2 + 1) \equiv 3 [4])
Or un carré impair est toujours congru à 1 mod 4, d'où l'impossibilité de cette égalité.
Conclusion : L'unique couple solution est
 = (3, 2, 3 ,2))