<s>[INST] Olympiad problem about finding minimum value with $x^2y^2+y^2z^2+z^2x^2\ge x^2y^2z^2$ Let $x,y,z$ be positive real numbers such that $x^2y^2+y^2z^2+z^2x^2\ge x^2y^2z^2$.
Find the minimum value of
$$\frac{x^2y^2} {z^3(x^2+y^2)}+\frac {y^2z^2} {x^3(y^2+z^2)}+\frac {z^2x^2} {y^3(z^2+x^2)}$$
I'm pretty sure that the answer would be $\frac {\sqrt {3}} {2}$, when all parameters are $\sqrt {3}$. But I couldn't prove it after some hours of thinking. So can anyone help me?
Any help would be welcome.
Thanks:D.
 [/INST] Let
$$a=\dfrac{1}{x},b=\dfrac{1}{y},c=\dfrac{1}{z},a^2+b^2+c^2\ge 1$$
Use Cauchy-Schwarz 
$$\sum_{cyc}\dfrac{x^2y^2}{z^3(x^2+y^2)}=\sum_{cyc}\dfrac{c^3}{(a^2+b^2)}\ge \dfrac{(a^2+b^2+c^2)^2}{c(a^2+b^2)+a(b^2+c^2)+b(c^2+a^2)}$$
since
$$c(a^2+b^2)+a(b^2+c^2)+b(c^2+a^2)\le\dfrac{2}{3}(a+b+c)(a^2+b^2+c^2)\le\dfrac{2}{\sqrt{3}}(a^2+b^2+c^2)^{\frac{3}{2}}$$
so
$$LHS\ge \dfrac{\sqrt{3}}{2}\sqrt{a^2+b^2+c^2}\ge\dfrac{\sqrt{3}}{2}$$
</s>