Đề hoàn toàn đúng mà: Ta có
\(\left(a^4+b^4\right)-\left(a^3b+ab^3\right)=\left(a-b\right)\left(a^3-b^3\right)=\left(a-b\right)^2\left(a^2+ab+b^2\right)\ge0\). (Ở đây chú ý rằng \(a^2+ab+b^2=\left(a+\frac{b}{2}\right)^2+\frac{3b^2}{4}\ge0\)).
Mặt khác \(\left(a^4+b^4\right)-2a^2b^2=\left(a^2-b^2\right)^2\ge0.\)
Cộng hai bất đẳng thức lại ta có điều phải chứng minh.