\(\dfrac{1}{1+x^2}+\dfrac{1}{1+y^2}=\dfrac{x^2+y^2+2}{\left(xy\right)^2+x^2+y^2+1}=1-\dfrac{\left(xy\right)^2-1}{\left(xy\right)^2+x^2+y^2+1}\ge1-\dfrac{\left(xy\right)^2-1}{\left(xy\right)^2+2xy+1}\)
\(\Rightarrow\dfrac{1}{1+x^2}+\dfrac{1}{1+y^2}\ge1-\dfrac{\left(xy+1\right)\left(xy-1\right)}{\left(xy+1\right)^2}=1-\dfrac{xy-1}{xy+1}=\dfrac{2}{1+xy}\) (đpcm)
b. Tương tự câu a:
\(\dfrac{1}{1+x^2}+\dfrac{1}{1+z^2}\ge\dfrac{2}{1+zx}\) ; \(\dfrac{1}{1+y^2}+\dfrac{1}{1+z^2}\ge\dfrac{2}{1+yz}\)
Cộng vế với vế và rút gọn:
\(\dfrac{1}{1+x^2}+\dfrac{1}{1+y^2}+\dfrac{1}{1+z^2}\ge\dfrac{1}{1+xy}+\dfrac{1}{1+yz}+\dfrac{1}{z+zx}\) (1)
Mà \(\left\{{}\begin{matrix}z\ge1\Rightarrow1+xy\le1+xyz\\y\ge1\Rightarrow1+zx\le1+xyz\\x\ge1\Rightarrow1+yz\le1+xyz\end{matrix}\right.\)
\(\Rightarrow\dfrac{1}{1+xy}+\dfrac{1}{1+yz}+\dfrac{1}{1+zx}\ge\dfrac{1}{1+xyz}+\dfrac{1}{1+xyz}+\dfrac{1}{1+xyz}=\dfrac{3}{1+xyz}\) (2)
TỪ (1); (2) \(\Rightarrowđpcm\)
a) Ta có: \(\dfrac{1}{1+x^2}+\dfrac{1}{1+y^2}\ge\dfrac{2}{1+xy}\)
\(\Leftrightarrow\dfrac{1}{1+x^2}-\dfrac{1}{1+xy}+\dfrac{1}{1+y^2}-\dfrac{1}{1+xy}\ge0\)
\(\Leftrightarrow\dfrac{\left(1+xy\right)-\left(1+x^2\right)}{\left(1+x^2\right)\left(1+xy\right)}+\dfrac{\left(1+xy\right)-\left(1+y^2\right)}{\left(1+y^2\right)\left(1+xy\right)}\ge0\)
\(\Leftrightarrow\dfrac{\left(xy-x^2\right)\left(1+y^2\right)+\left(xy-y^2\right)\left(1+x^2\right)}{\left(1+x^2\right)\left(1+y^2\right)\left(1+xy\right)}\ge0\)
\(\Leftrightarrow\dfrac{xy+xy^3-x^2-x^2y^2+xy+x^3y-y^2-x^2y^2}{\left(1+xy\right)\left(1+x^2\right)\left(1+y^2\right)}\ge0\)
\(\Leftrightarrow\dfrac{2xy+xy\left(x^2+y^2\right)-2x^2y^2-x^2-y^2}{\left(1+xy\right)\left(1+x^2\right)\left(1+y^2\right)}\ge0\)
\(\Leftrightarrow\dfrac{xy\left(x^2-2xy+y^2\right)-\left(x^2-2xy+y^2\right)}{\left(1+xy\right)\left(1+y^2\right)\left(1+x^2\right)}\ge0\)
\(\Leftrightarrow\dfrac{xy\left(x-y\right)^2-\left(x-y\right)^2}{\left(1+xy\right)\left(1+x^2\right)\left(1+y^2\right)}\ge0\)
\(\Leftrightarrow\dfrac{\left(x-y\right)^2\left(xy-1\right)}{\left(1+xy\right)\left(1+x^2\right)\left(1+y^2\right)}\ge0\)(luôn đúng)
=> Đẳng thức ban đầu được chứng minh.
P/s: Cái đoạn sau bạn bổ sung thêm vào là vì x và y lớn hơn bằng 1 nên xy-1 sẽ lớn hơn hoặc bằng 0 nhé, mình lười quá ngại chèn:vv.
Còn câu b bạn đợi mình nháp xíu.