\(2\left(a^4+b^4\right)\ge ab^3+a^3b+2a^2b^2\)
\(\Leftrightarrow2\left(a^4+b^4\right)-ab^3-a^3b-2a^2b^2\ge0\)
\(\Leftrightarrow\left(a^4-a^3b\right)+\left(b^4-ab^3\right)+\left(a^4+b^4-2a^2b^2\right)\ge0\)
\(\Leftrightarrow a^3\left(a-b\right)-b^3\left(a-b\right)+\left(a+b\right)^2\left(a-b\right)^2\ge0\)
\(\Leftrightarrow\left(a^3-b^3\right)\left(a-b\right)+\left(a+b\right)^2\left(a-b\right)^2\ge0\)
\(\Leftrightarrow\left(a-b\right)\left(a^2+ab+b^2\right)\left(a-b\right)+\left(a+b\right)^2\left(a-b\right)^2\ge0\)
\(\Leftrightarrow\left(a-b\right)^2\left[\left(a+\dfrac{b}{2}\right)^2+\dfrac{3b^2}{2}\right]+\left(a+b\right)^2\left(a-b\right)^2\ge0\)
Xảy ra khi \(a=b=0\)
