一道含参非对称不等式

O-17

设 $x,y,z>0$ , $m>n>0$ , 求证:
$$
\dfrac{\sqrt{(x^2+m)(y^2+m)(z^2+m)}-nx}{y+z}\geqslant\frac{\sqrt{m}}{2}\left(\sqrt{m+n}+\sqrt{m-n}\right)
$$

kuing

类似于 kuing.cjhb.site/forum.php?mod=redirect&goto=findpost&ptid=8158&pid=41354 的 7#。

由 CS 有
\begin{align*}
\sqrt{(x^2+m)(y^2+m)(z^2+m)}&=\sqrt{(x^2+m)\bigl(n^2+(y^2+m)(z^2+m)-n^2\bigr)}\\
&\geqslant nx+\sqrt m\sqrt{(y^2+m)(z^2+m)-n^2}\\
&=nx+\sqrt m\sqrt{m(y+z)^2+(m-yz)^2-n^2},
\end{align*}
只需证
\[\sqrt{m(y+z)^2+(m-yz)^2-n^2}\geqslant\frac{y+z}2\bigl(\sqrt{m+n}+\sqrt{m-n}\bigr),\]
平方整理为
\[\frac{m-\sqrt{m^2-n^2}}2(y+z)^2+(m-yz)^2-n^2\geqslant0,\]
由均值可知只需证
\[2\bigl(m-\sqrt{m^2-n^2}\bigr)yz+(m-yz)^2-n^2\geqslant0,\]
这恰好为完全平方
\[\bigl(yz-\sqrt{m^2-n^2}\bigr)^2\geqslant0,\]
即得证。