Áp dụng bất đẳng thức cosi cho 4 số dương:
a^4+a^4+a^4+b^4\(\ge4\sqrt[4]{a^4.a^4.a^4.b^4}=4.a.a.a.b=4a^3b\) (1)
a^4+b^4+b^4+b^4 \(\ge4\sqrt[4]{a^4.b^4.b^4.b^4}=4.a.b.b.b=4ab^3\)(2)
Cộng (1) và (2)\(\Rightarrow\)
\(a^4+a^4+a^4+b^4+a^4+b^4+b^4+b^4\ge4a^3b+4ab^3\Leftrightarrow4\left(a^4+b^4\right)\ge4ab\left(a^3+b^3\right)\Leftrightarrow a^4+b^4\ge ab\left(a^3+b^3\right)\)