\(\Leftrightarrow x^4+y^4-xy^3-x^3y\ge0\)
\(\Leftrightarrow x^3\left(x-y\right)-y^3\left(x-y\right)\ge0\)
\(\Leftrightarrow\left(x^3-y^3\right)\left(x-y\right)\ge0\)
\(\Leftrightarrow\left(x-y\right)^2\left(x^2+xy+y^2\right)\ge0\)
\(\Leftrightarrow\left(x-y\right)^2\left(x^2+xy+\dfrac{y^2}{4}+\dfrac{3}{4}y^2\right)\ge0\)
\(\Leftrightarrow\left(x-y\right)^2\left[\left(x+\dfrac{y}{2}\right)^2+\dfrac{3}{4}y^2\right]\ge0\)(đúng)
\("="\Leftrightarrow x=y\)