\(\dfrac{1}{1+x^2}+\dfrac{1}{1+y^2}\ge\dfrac{2}{1+xy}\)
⇔ \(\left(\dfrac{1}{1+x^2}-\dfrac{1}{1+xy}\right)+\left(\dfrac{1}{1+y^2}-\dfrac{1}{1+xy}\right)\ge0\)
⇔ \(\left(\dfrac{1+xy-\left(1+x^2\right)}{\left(1+x^2\right)\left(1+xy\right)}\right)+\left(\dfrac{1+xy-\left(1+y^2\right)}{\left(1+y^2\right)\left(1+xy\right)}\right)\ge0\)
⇔ \(\left(\dfrac{1+xy-1-x^2}{\left(1+x^2\right)\left(1+xy\right)}\right)+\left(\dfrac{1+xy-1-y^2}{\left(1+y^2\right)\left(1+xy\right)}\right)\ge0\)
⇔ \(\dfrac{-x\left(x-y\right)}{\left(1+x^2\right)\left(1+xy\right)}+\dfrac{-y\left(y-x\right)}{\left(1+y^2\right)\left(1+xy\right)}\ge0\)
⇔ \(\dfrac{-x\left(x-y\right)\left(1+y^2\right)}{\left(1+x^2\right)\left(1+y^2\right)\left(1+xy\right)}+\dfrac{y\left(x-y\right)\left(1+x^2\right)}{\left(1+x^2\right)\left(1+y^2\right)\left(1+xy\right)}\ge0\)
=> -x(x-y)(1+y2)+y(x-y)(1+x2) ≥ 0
⇔ (x-y)[-x(1+y2)+y(1+x2)]≥0
⇔ (x-y)(-x-xy2+y+x2y) ≥0
⇔ (x-y)[-(x-y)+(x2y-y2x)] ≥ 0
⇔ (x-y)[-(x-y)+xy(x-y) ]≥ 0
⇔ (x-y)(x-y)(xy-1)≥ 0
⇔ (x-y)2 (xy-1) ≥0 (luôn đúng ∀ xy ≥ 1)
=> đpcm
