Ta chứng minh bổ đề: Với \(|x|\ge2\)thì \(2x^2-4x\ge0\)
Với \(x\le-2\)thì nó đúng
Xét \(x\ge2\)thì ta có:
\(2x\left(x-2\right)\ge0\)(đúng)
Quay lại bài toán:
\(\left(a^2+1\right)\left(b^2+1\right)\ge\left(a+b\right)\left(ab+1\right)+5\)
\(\Leftrightarrow4a^2b^2+4a^2+4b^2-4a^2b-4ab^2-4a-4b-16\ge0\)
\(\Rightarrow VT=\left(a^2b^2-4a^2b+4a^2\right)+\left(a^2b^2-4b^2a+4b^2\right)+\left(a^2b^2-16\right)+\left(\frac{a^2b^2}{2}-4a\right)+\left(\frac{a^2b^2}{2}-4b\right)\)
\(\ge\left(ab-2a\right)^2+\left(ab-2b\right)^2+\left(a^2b^2-16\right)+\left(2a^2-4a\right)+\left(2b^2-4b\right)\ge0\)
Vậy ta có ĐPCM