Cómo probar esto $(xy+yz+xz)\left(\frac{xy}{z^2+1}+\frac{yz}{x^2+1}+\frac{zx}{y^2+1}\right)\le\frac{1}{10}$

Question

dejar $x,y,z>0$ y tal $x+y+z=1$ , demuestran que $$(xy+yz+xz)\left(\dfrac{xy}{z^2+1}+\dfrac{yz}{x^2+1}+\dfrac{zx}{y^2+1}\right)\le\dfrac{1}{10}$$

mi idea: $$\dfrac{xy}{z^2+1}=\dfrac{xy}{z^2+(x+y+z)^2}=\dfrac{xy}{2z^2+2xy+2yz+2xz+x^2+y}$$ Tal vez esta es la desigualdad de edad, y se dice que puede utilizar la desigualdad de Cauchy-Schwarz para resolverlo

Gracias

Answer 1

Podemos suponer que $ x=\dfrac{a}{a+b+c} , y=\dfrac{b}{a+b+c} , z=\dfrac{c}{a+b+c} $ donde $ a,b,c>0 $ son tres números reales.

Supongamos que $ s=a+b+c $

ahora $ inequality \Leftrightarrow (\sum{\dfrac{ab}{s^2}})(\sum{\dfrac{(\dfrac{ab}{s^2})}{(\dfrac{c^2+s^2}{s^2})}}) \le \dfrac{1}{10} $

por lo que debemos demostrar que $ \dfrac{(\sum ab )}{s^2}(\sum {\dfrac{ab}{c^2+s^2}}) \le \dfrac{1}{10} $

para $ a,b,c>0 $

Answer 2

Por C-S y AM-GM $$\sum_{cyc}\frac{xy}{z^2+1}=\sum_{cyc}\frac{xy}{2(x+z)(y+z)+x^2+y^2}\leq\sum_{cyc}\frac{xy}{(8+2)^2}\left(\frac{8^2}{2(x+z)(y+z)}+\frac{2^2}{x^2+y^2}\right)=$$ $$=\frac{8}{25}\sum_{cyc}\frac{xy}{(x+z)(y+z)}+\frac{1}{50}\sum_{cyc}\frac{2xy}{x^2+y^2}\leq\frac{8}{25}\sum_{cyc}\frac{xy}{(x+z)(y+z)}+\frac{3}{50}.$$ Por lo tanto, queda por demostrar que $$\frac{8}{25}\sum_{cyc}\frac{xy}{(x+z)(y+z)}\leq\frac{(x+y+z)^2}{10(xy+xz+yz)}-\frac{3}{50}$$ o $$\frac{8}{25}\sum_{cyc}\frac{xy}{(x+z)(y+z)}\leq\frac{\sum\limits_{cyc}(5x^2+7xy)}{50(xy+xz+yz)}$$ o $$\sum\limits_{cyc}(5x^2+7xy)\prod_{cyc}(x+y)\geq16(xy+xz+yz)\sum_{cyc}(x^2y+x^2z)$$ o $$\sum_{cyc}(5x^4y+5x^4z-4x^3y^2-4x^3z^2-8x^3yz+6x^2y^2z)\geq0$$ o $$5\sum_{cyc}(x^4y+x^4z-x^3y^2-x^3z^2)+\sum_{cyc}(x^3y^2+x^3z^2-2x^3yz)-6xyz\sum_{cyc}(x^2-xy)\geq0$$ o $$\sum_{cyc}(x-y)^2(5xy(x+y)+z^3-3xyz)\geq0,$$ que es cierto por AM-GM: $$5xy(x+y)+z^3-3xyz\geq xy(x+y)+z^3-3xyz\geq$$ $$\geq2\sqrt{x^3y^3}+z^3\geq3\sqrt[3]{x^3y^3z^3}-3xyz=0.$$ ¡Hecho!