\(\Leftrightarrow\frac{x^2+y^2+2x+2y+2}{\left(1+x+y+xy\right)^2}\ge\frac{1}{1+xy}\)
\(\Leftrightarrow\left(1+xy\right)\left[\left(x-y\right)^2+2\left(xy+x+y+1\right)\right]\ge\left(1+x+y+xy\right)^2\)
\(\Leftrightarrow\left(1+xy\right)\left(x-y\right)^2+\left(1+x+y+xy\right)\left(2+2xy-1-x-y-xy\right)\ge0\)
\(\Leftrightarrow\left(1+xy\right)\left(x-y\right)^2+\left(xy+1+x+y\right)\left(xy+1-x-y\right)\ge0\)
\(\Leftrightarrow\left(1+xy\right)\left(x-y\right)^2+\left(xy+1\right)^2-\left(x+y\right)^2\ge0\)
\(\Leftrightarrow\left(x-y\right)^2+xy\left(x-y\right)^2+x^2y^2+1-x^2-y^2\ge0\)
\(\Leftrightarrow xy\left(x-y\right)^2+\left(xy-1\right)^2\ge0\) (luôn đúng)
