Do x, y >0 nên bất đẳng thức tương đương với :
\(\left[\left(1+x\right)^2+\left(1+y\right)^2\right]\left(1+xy\right)\ge\left(1+x\right)^2\left(1+y\right)^2\)
\(\Leftrightarrow\left(2+2x+2y+x^2+y^2\right)\left(1+xy\right)\ge\left(1+2x+x^2\right)\left(1+2y+y^2\right)\)
\(\Leftrightarrow xy\left(x-y\right)^2+\left(xy-1\right)^2\ge0\)
Bất đẳng thức này luôn đúng
Dấu bằng xảy ra khi x=y=1