Ta có :
x² + y² - z² + z + 1 = 2(x+y-xy)
⇔ x² + y² +1 - 2(x+y-xy) = z² - z
⇔ (x+y-1)² = z(z-1) (*)
Do VT (*) : (x+y-1)² là số chính phương nên VP (*) cũng là số chính phương.
⇒ z(z-1) là số chính phương.
Mà z(z-1) là tích 2 số nguyên liên tiếp.
⇒ z=0 hoặc z=1.
TH1 : z=0
⇒ x+y=1
⇒x,y là những cặp số nguyên thỏa mãn sao cho x +y =1
TH2 : z=1
⇒ x+y =1
⇒ x,y là những cặp số nguyên thỏa mãn có tổng bằng 1.