Ta có:

`x-2xy+y=4`

`2x-4xy+2y=8`

`2x(1-2y)+2y-1=7`

`2x(1-2y)-(1-2y)=7`

`(2x-1)(1-2y)=7`

Vì `x,y∈ZZ` nên `2x-1,1-2y∈ZZ`

Mà `(2x-1)(1-2y)=7` nên ta có bảng sau:

2x - 1        1           -1             7           -7

1 - 2y        7           -7             1           -1

    x            1            0             4           -3

    y           -3           4              0           1

Vậy `(x;y)∈{(1;-3);(0;4);(4;0);(-3;1)}`