Ta có: \(\left(\left|x\right|-\left|y\right|\right)^2\ge0\)
\(\Rightarrow x^2+y^2\ge2\left|xy\right|\)
\(\Rightarrow\left|\frac{2xy}{x^2+y^2}\right|\le1\)(*)
Lại có: \(\left(a+b\right)^2+\left(1-ab\right)^2=\left(a^2+1\right)\left(b^2+1\right)\)
Nên: \(\left|\frac{\left(a+b\right)\left(1-ab\right)}{\left(a^2+1\right)\left(b^2+1\right)}\right|=\left|\frac{\left(a+b\right)\left(1-ab\right)}{\left(a+b\right)^2+\left(1-ab\right)^2}\right|\)
Áp dụng (*), ta có: \(\left|\frac{\left(a+b\right)\left(1-ab\right)}{\left(a+b\right)^2+\left(1-ab\right)^2}\right|\le\frac{1}{2}\)
\(\Rightarrow\left|\frac{\left(a+b\right)\left(1-ab\right)}{\left(a^2+1\right)\left(b^2+1\right)}\right|\le\frac{1}{2}\)
\(\Rightarrow\frac{-1}{2}\le\frac{\left(a+b\right)\left(1-ab\right)}{\left(a^2+1\right)\left(b^2+1\right)}\le\frac{1}{2}\) \(\left(đpcm\right)\)
