Ta chứng minh
\(\frac{-1}{2}\le\frac{\left(a+b\right)\left(1-ab\right)}{\left(a^2+1\right)\left(b^2+1\right)}\)
\(\Leftrightarrow2\left(a+b\right)\left(1-ab\right)+\left(a^2+1\right)\left(b^2+1\right)\ge0\)
\(\Leftrightarrow\left(ab-a-b-1\right)^2\ge0\)(đúng)
Tương tự cho trường hợp còn lại ta có ĐPCM