\(\Leftrightarrow1+b^2+a^2\left(b^3+b\right)\le\left(2b^3+2\right)a^2-2\left(b^3+1\right)a+2b^3+2\)
\(\Leftrightarrow\left(b^3-b+2\right)a^2-2\left(b^3+1\right)a+2b^3-b^2+1\ge0\)
Xét tam thức bậc 2: \(f\left(a\right)=\left(b^3-b+2\right)a^2-2\left(b^3+1\right)a+2b^3-b^2+1\)
Ta có: \(b^3+2-b\ge3b-b=2b>0\)
\(\Delta'=\left(b^3+1\right)^2-\left(b^3-b+2\right)\left(2b^3-b^2+1\right)\)
\(\Delta'=-\left(b-1\right)^2\left(b^4+b^3-b^2+b+1\right)\le0\) ; \(\forall b>0\)
\(\Rightarrow f\left(a\right)\ge0\) ; \(\forall a\)
Dấu "=" xảy ra khi \(\left(a;b\right)=\left(1;1\right)\)