\(a^4+b^4-ab^3-a^3b\ge0\)
\(\Leftrightarrow\left(a^4-ab^3\right)+\left(b^4-a^3b\right)\ge0\)
\(\Leftrightarrow a\left(a^3-b^3\right)-b\left(a^3-b^3\right)\ge0\)
\(\Leftrightarrow\left(a^3-b^3\right)\left(a-b\right)\ge0\)
\(\Leftrightarrow\left(a-b\right)^2\left(a^2+ab+b^2\right)\ge0\)
(Luôn đúng vì \(a^2+ab+b^2=\left(a+\frac{b}{2}\right)^2+\frac{b^2}{4}\ge0\))
Vậy có đpcm.