Áp dụng bất đẳng thức x^2+y^2 ≥ 2xy nên ta có x^2+y^2+xy ≥ 3xy
Mà x^2 + y^2 + xy = x^2y^2 ≥0
nên suy ra x^2.y^2+3xy ≤ 0 ⟺ −3 ≤ xy ≤ 0
Vì x,y nguyên nên xy nguyên, vậy nên xy ∈ {−3,−2,−1,0}
Trường hợp xy=−3ta tìm được các nghiệm (−1,3),(3,−1),(−3,1),(1,−3)
Trường hợp xy=−2 ta tìm được các nghiệm (−1,2),(2,−1),(1,−2),(−2,1)
Trường hợp xy=−1 ta tìm được các nghiệm (−1,1),(1,−1)
Trường hợp xy=0 ta tìm được nghiệm (0,0)
Thử lại thì thấy chỉ có các nghiệm (0,0),(1,−1),(−1,1) thỏa mãn và đó là các nghiệm nguyên cần tìm