Ta có:
\(a^4+b^4\ge a^3+b^3\) \(\left(1\right)\)
\(\Leftrightarrow\) \(2\left(a^4+b^4\right)\ge\left(a+b\right)\left(a^3+b^3\right)\) (vì \(a+b=2\))
\(\Leftrightarrow\) \(a^4+b^4\ge a^3b+ab^3\)
\(\Leftrightarrow\) \(a^4-a^3b-ab^3+b^4\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)^2\left(a^2+ab+b^2\right)\ge0\) \(\left(2\right)\)
Bất đẳng thức \(\left(2\right)\) luôn đúng (do \(\left(a-b\right)^2\ge0\) và \(a^2+ab+b^2=\left(a+\frac{b}{2}\right)^2+\frac{3b^2}{4}\ge0\) ), mà các phép biến đổi trên tương đương nên bất đẳng thức \(\left(1\right)\) được chứng minh.
Đẳng thức trên xảy ra khi và chỉ khi \(a=b\)