* Nếu y <0 => Dễ thấy VT dương; VP âm => vô lí => vô nghiệm.
* Với y>=0:
Áp dụng BĐT Cô-si cho các số thực không âm ta có:
x2 + 1 $\ge $2IxI Xảy ra dấu bằng khi x = 1 hoặc -1
x2 + y2 $\ge $2IxIy Xảy ra dấu bằng khi x = y hoặc -y
=> (x2 + 1)(x2 + y2)$\ge $4x2y
Xảy ra dấu bằng khi và chỉ khi x = y = 1 hoặc x = -1; y = 1
Vậy tìm được 2 cặp số (x; y) thoả mãn đề bài là (1; 1) và (-1; 1)