x2+2y2+2xy-y=3(y-1)
<=> x2+2xy+y2+y2-y=3(y-1)
<=> (x+y)2=3(y-1)-y(y-1)
<=> (x+y)2=(y-1)(3-y)
Nhận thấy, Vế trái (x+y)2 \(\ge\)0 Với mọi x,y
=> Để phương trình có nghiệm thì Vế phải \(\ge\)0
<=> (y-1)(3-y)\(\ge\)0 <=> 1\(\le\)y\(\le\)3
Y nguyên => y1=1; y2=2; y3=3
+/ y=1 => x=-y=-1
+/ y=2 => x=-1
+/ y=3 => x=-y=-3
Các cặp (x,y) nguyên là: (-1,1); (-1; 2); (-3,3)