Biến đổi tương đương:
\(\Leftrightarrow2a^2b^2+4a^2+4b^2+8\ge6ab+6a+6b\)
\(\Leftrightarrow2\left(a^2b^2-2ab+1\right)+\left(a^2-2ab+b^2\right)+3\left(a^2-2a+1\right)+3\left(b^2-2b+1\right)\ge0\)
\(\Leftrightarrow2\left(ab-1\right)^2+\left(a-b\right)^2+3\left(a-1\right)^2+3\left(b-1\right)^2\ge0\) (luôn đúng)
Dấu "=" xảy ra khi \(a=b=1\)