Le problème consiste à trouver tous les couples (x;y) d'entiers
relatifs vérifiant :   3 (x²+y²)+2xy= 664
a) Soit (x;y) une solution. En raisonnant modulo 2, montre qu'il
existe nécessairement un couple (s;t) d'entiers relatifs vérifiant
:
x-y=2t         et            x+y=2s
b) Montrer que t est pair et que s est impair. Conclure.

Je pensais essayer avec Bézout et Gauss mais j'y arrive pas et
je ne vois pas le rapport avec le modulo 2.