Xét phương trình với nghiệm x ta có
x + y + xy = x2 + y2
<=> x2 - (1 + y)x + y2 - y = 0
Để phương trình có nghiệm thì ∆\(\ge0\)
<=> (1 + y)2 - 4(y2 - y) \(\ge0\)
<=> - 3y2 + 6y + 1 \(\ge0\)
<=> 3y2 - 6y - 1 \(\le0\)
<=> 3(y - 1)2 \(\le4\)
<=> -1 \(\le\)y - 1\(\le1\)( vì y nguyên)
<=> \(0\le y\le2\)
Thế vào x nào thỏa mãn thì là nghiệm cần tìm