En fait, il n'est pas très difficile de montrer que les seules solutions sont (0;2) et (4;23).
La solution (0;2) étant identifiée, on peut raisonner à partir de x>1, ce qui implique que y soit impair.
donc y²-1 sera multiple de 4 et on vérifie que x=2 n'est pas solution.
En posant y=2p+1, l'équation devient
=p(p+1) )
avec x>2
p et p+1 sont de parités différentes, donc l'un des deux est multiple de 2^(x-2) et
=k.2^{x-2}(k.2^{x-2}\pm 1)=2^{x-2}(1+8.2^{x-2}) )
On en déduit aisément que k est impair et inférieur ou égal à 3.
Il suffit alors de vérifier une à une les quatre possibilités dont une seule est solution (4;23)
Il n'y en a pas d'autres.
C'est un peu besogneux, il y a sans doute plus élégant