Cần chứng minh \(a^4\ge4b\left(a-b\right)\Leftrightarrow\left(a-2b\right)^2\ge0\) (đúng)
\(a^2\ge4b\left(a-b\right)\Leftrightarrow3a^2\ge12b\left(a-b\right)\left(1\right)\)
Ta chứng minh \(2a^3-3a^2+1\ge0\)
\(\Leftrightarrow2a^3-2a^2-a^2+1\ge0\)
\(\Leftrightarrow2a^2\left(a-1\right)-\left(a-1\right)\left(a+1\right)\ge0\)
\(\Leftrightarrow\left(a-1\right)\left(2a^2-a-1\right)\ge0\)
\(\Leftrightarrow\left(a-1\right)\left(a-1\right)\left(2a+1\right)\ge0\)
\(\Leftrightarrow\left(a-1\right)^2\left(2a+1\right)\ge0\left(a>0\right)\left(2\right)\)
Vì \(3a^2\ge12b\left(a-b\right)\) theo \(\left(1\right)\)
\(\Rightarrow2a^3-12b\left(a-b\right)+1\ge2a^3-3a^2+1\ge0\) (theo \(\left(2\right)\))
