Minimize $\frac{(x^2+1)(y^2+1)(z^2+1)}{ (x+y+z)^2}$, $x,y,z>0$ Minimize $\;\;\displaystyle \frac{(x^2+1)(y^2+1)(z^2+1)}{ (x+y+z)^2}$, if $x,y,z>0$. 
By setting gradient to zero I found $x=y=z=\frac{1}{\displaystyle\sqrt{2}}$, which could minimize the function.

Question from Jalil Hajimir


You first fix $y, z$ and let $x > 0$ vary. Taking derivative with respect to $x$, dropping all those nonnegative terms such as $y^2+1$ to simplify notation, leads to
$$ \frac{d (OP\ full\ epxr)}{d x} \approx  x - \frac{(x^2+1)}{x+y+z} = \frac{x(y+z) - 1}{x+y+z}, $$
where the $\approx$ means I dropped some positive terms (they do not affect my analysis of the positivity of the derivate).
It is evident that the gradient is negative for small $x$, and once $x > \frac{1}{y+z}$ the gradient becomes positive. Hence the function is minimized at $x = \frac{1}{y+z}$ when $y, z$ are fixed. Similarly, the function is minized at $y = \frac{1}{x+z}$ when $x, z$ are fixed. And the function is minimized at $z = \frac{1}{x+y}$ when $x, y$ are fixed.
Let the global minimizing point be $x_0, y_0, z_0$, given the previous arguments, we must have $x_0= \frac{1}{y_0+z_0}, y_0 = \frac{1}{x_0+z_0}, z_0 = \frac{1}{x_0+y_0} \Rightarrow x_0 = y_0 = z_0 = \frac{\sqrt{2}}{2}$ (otherwise, we can find a point with smaller value).
Hence the global minimum is unique at $x = y = z = \frac{\sqrt{2}}{2}$ if one exists. 
For rigorous argument that the a global minimum exists, one can look at a compact set $[\epsilon, N]\times[\epsilon, N]\times [\epsilon, N]$. The function must have a global minimum in the compact set. One can easily argue it does not take minimum at the boundary (contradicts requirements previously stated, or compare function value on the boundary with that of $x = y = z = \frac{\sqrt{2}}{2}$). Hence the minimum MUST be in the interior (with gradients being zero).
Hence $x = y = z = \frac{\sqrt{2}}{2}$ is the unique global minimum.
