Bonjour,
Résolution par la méthode suggérée par flight, juste pour info.
C'est plus long ... mais cela aboutit
y²-2=3x² (avec x et y dans ZxZ)
y² = 3x² + 2 ... donc solution(s) ssi 3x²+2 est un carré parfait
a) si x est pair : x = 2n (n dans Z)
y² = 12n² + 2 ... qui impose que y est pair, posons alors y = 2k (k dans Z)
4k² = 12n² + 2
2k² = 6n² + 1
Le membre de gauche est pair et le membre de droite est impair --> impossible
b) si x est impair : x = 2n+1 (n dans Z)
y² = 3*(4n²+4n+1)+2
y² = 12n² + 12n + 5 ... qui impose que y soit impair, posons alors y = 2k+1 (k dans Z)
4k²+4k+1 = 12n² + 12n + 5
4k²+4k = 12n²+12n+4
k²+k=3n²+3n+1
k(k+1)=3n²+3n+1
Le membre de gauche est pair et le membre de droite est impair --> impossible
Donc, pas de solution.
-----
Peut-être Fly a-t-il pensé à une résolution plus directe.