Thực hiện phép biến đổi tương đương:
\(\Leftrightarrow\frac{a^2+b^2+2}{\left(1+a^2\right)\left(1+b^2\right)}\ge\frac{2}{1+ab}\)
\(\Leftrightarrow\left(1+ab\right)\left(a^2+b^2+2\right)\ge2\left(1+a^2+b^2+a^2b^2\right)\)
\(\Leftrightarrow a^2+b^2+2+a^3b+ab^3+2ab\ge2+2a^2+2b^2+2a^2b^2\)
\(\Leftrightarrow a^3b-2a^2b^2+ab^3-a^2+2ab-b^2\ge0\)
\(\Leftrightarrow ab\left(a-b\right)^2-\left(a-b\right)^2\ge0\)
\(\Leftrightarrow\left(ab-1\right)\left(a-b\right)^2\ge0\) (luôn đúng do \(ab>1\))
Dấu "=" xảy ra khi \(a=b\)