\(a^4+b^4\ge a^3b+ab^3\)
\(\Leftrightarrow a^4+b^4-a^3b-ab^3\ge0\)
\(\Leftrightarrow\left(a^4-a^3b\right)+\left(b^4-ab^3\right)\ge0\)
\(\Leftrightarrow a^3\left(a-b\right)-b^3\left(a-b\right)\ge0\)
\(\Leftrightarrow\left(a-b\right)\left(a^3-b^3\right)\ge0\)
\(\Leftrightarrow\left(a-b\right)\left(a-b\right)\left(a^2+ab+b^2\right)\ge0\)
\(\Leftrightarrow\left(a-b\right)^2\left(a^2+2.a.\frac{b}{2}+\frac{b^2}{4}+\frac{3b^2}{4}\right)\ge0\)
\(\Leftrightarrow\left(a-b\right)^2\left[\left(a+\frac{b}{2}\right)^2+\frac{3b^2}{4}\right]\ge0\text{ luôn đúng với mọi a,b}\)
\(\text{Vậy }a^4+b^4\ge a^3b+3ab^3\text{ với mọi a,b; dấu "=" xảy ra khi x=y}\)
