Áp dụng BĐT Bunhiacopxki, ta có:
\(2\left(a^4+b^4\right)\ge\left(a^2+b^2\right)^2\)\(\ge4a^2b^2\)(BĐT Cô-si)
Có: \(ab^3+a^3b=ab\left(a^2+b^2\right)\)
Áp dụng BĐT Cô-si, ta có:
\(ab\left(a^2+b^2\right)\ge2a^2b^2\)
\(\Rightarrow ab^3+a^3b+2a^2b^2\ge4a^2b^2\)
Vậy VT=VP.
Ta có đpcm.