BĐT tương đương :
\(\frac{1}{1+x^2}-\frac{1}{1+xy}+\frac{1}{1+y^2}-\frac{1}{1+xy}\ge0\)
\(\Leftrightarrow\frac{\left(y-x\right)^2\left(xy-1\right)}{\left(1+x^2\right)\left(1+y^2\right)\left(1+xy\right)}\ge0\) ( đúng )
Dấu "=" xảy ra \(\Leftrightarrow a=b=1\)