[Math] Hard inequality $ (xy+yz+zx)\left(\frac{1}{(x+y)^2}+\frac{1}{(y+z)^2}+\frac{1}{(z+x)^2}\right)\ge\frac{9}{4} $

contest-mathinequalitysubstitutionsymmetric-polynomialsuvw

I need to prove or disprove the following inequality:
$$
(xy+yz+zx)\left(\frac{1}{(x+y)^2}+\frac{1}{(y+z)^2}+\frac{1}{(z+x)^2}\right)\ge\frac{9}{4}
$$

For $x,y,z \in \mathbb R^+$. I found no counter examples, so I think it should be true. I tried Cauchy-Schwarz, but I didn't get anything useful. Is it possible to prove this inequality without using brute force methods like Bunching and Schur?

This inequality was in the Iran MO in 1996.

Best Answer

Let $x+y+z=3u$, $xy+xz+yz=3v^2$ and $xyz=w^3$.

Hence, our inequality is equivalent to

$\frac{3v^2\sum\limits_{cyc}(x^2+3v^2)^2}{(9uv^2-w^3)^2}\geq\frac{9}{4}$, which is $f(w^3)\geq0$, where $f$ is a concave function.

Thus, $f$ gets a minimal value for an extremal value of $w^3$, which happens in the following cases.

  1. $z\rightarrow0^+$, $y=1$, which gives $(x-1)^2(4x^2+7x+4)\geq0$;

  2. $y=z=1$, which gives $x(x-1)^2\geq0$. Done!