Ta có: 2y2 + x + y + 1 = x 2 + 2y2 + xy
2y2(x - 1) – x(x - 1) – y(x - 1) + 1 = 0 (1)
-Vì x = 1 không phải là nghiệm của (1). Khi đó chia hai vế của (1) cho x – 1, ta có: (2)
-Với x, y nguyên. Suy ra: nguyên nên x – 1 = 1 hoặc x – 1 = -1
-Thay x = 2 và x = 0 vào (2), ta có: y = 1 hoặc y = và y Z.
Vậy phương trình đã cho có hai nghiệm nguyên là (2;1) và (0;1).