\(x+y+xy=x^2+y^2\Leftrightarrow2x^2+2y^2=2x+2y+2xy\Leftrightarrow2x^2+2y^2-2xy-2x-2y+2=2\)
\(\Leftrightarrow\left(x-y\right)^2+\left(x-1\right)^2+\left(y-1\right)^2=2\)
tới đây x;y nguyên nên dễ rồi
Áp dụng bất đẳng thức x2+y2≥2xyx2+y2≥2xy nên ta có x2+y2+xy≥3xyx2+y2+xy≥3xy
Mà x2+y2+xy=x2y2≥0x2+y2+xy=x2y2≥0 nên suy ra x2y2+3xy≤0⟺−3≤xy≤0x2y2+3xy≤0⟺−3≤xy≤0
Vì x,yx,y nguyên nên xyxy nguyên, vậy nên xy∈{−3,−2,−1,0}xy∈{−3,−2,−1,0}
Trường hợp xy=−3xy=−3 ta tìm được các nghiệm (−1,3),(3,−1),(−3,1),(1,−3)(−1,3),(3,−1),(−3,1),(1,−3)
Trường hợp xy=−2xy=−2 ta tìm được các nghiệm (−1,2),(2,−1),(1,−2),(−2,1)(−1,2),(2,−1),(1,−2),(−2,1)
Trường hợp xy=−1xy=−1 ta tìm được các nghiệm (−1,1),(1,−1)(−1,1),(1,−1)
Trường hợp xy=0xy=0 ta tìm được nghiệm (0,0)(0,0)
Thử lại thì thấy chỉ có các nghiệm (0,0),(1,−1),(−1,1)(0,0),(1,−1),(−1,1) thỏa mãn và đó là các nghiệm nguyên cần tìm