- C20250021's blog
不等式抽象题
- 2025-2-9 16:14:39 @
已知 为整数,求证:
$$1<\sqrt{\dfrac{y}{2x+y}}+\sqrt{\dfrac{z}{2y+z}}+\sqrt{\dfrac{x}{2z+x}}<2 $$证:
先看 $1 < \sqrt{\dfrac{y}{2x+y}}+\sqrt{\dfrac{z}{2y+z}}+\sqrt{\dfrac{x}{2z+x}}$ :
原式 $\ge\dfrac{(\sqrt x+\sqrt y + \sqrt z)^2}{\sum\limits_{cyc}\sqrt{y(2x+y)}}$,则只需证 $(\sqrt x+\sqrt y+\sqrt z)^2>\sum\limits_{cyc}\sqrt{y(2x+y)}$ 即可。
两边平方
成立,同理 $z+2\sqrt{yz} > \sqrt{z(2y+z)}, x+2\sqrt{xz} > \sqrt{x(2z+yx}$
三式相加,$(\sqrt x+\sqrt y+\sqrt z)^2>\sum\limits_{cyc}\sqrt{y(2x+y)}$ 得证。
$\therefore \sqrt{\dfrac{y}{2x+y}}+\sqrt{\dfrac{z}{2y+z}}+\sqrt{\dfrac{x}{2z+x}}\ge\dfrac{(\sqrt x+\sqrt y + \sqrt z)^2}{\sum\limits_{cyc}\sqrt{y(2x+y)}}>1$
再看 $\sqrt{\dfrac{y}{2x+y}}+\sqrt{\dfrac{z}{2y+z}}+\sqrt{\dfrac{x}{2z+x}} < 2$ :
$\sum\sqrt{\dfrac{y}{2x+y}}=\sum\sqrt{\dfrac{1}{2\frac{x}{y}+1}}$,令
,令 。
$\Leftrightarrow \sum\sqrt{\dfrac 1{2e^s+1}}<2,s+t+u=0$,令 ,易知 在 上单调递减。
现在分 种情况讨论。
则 在 上凸。
,令 $h(x)=2g(\dfrac x2)+g(-x)=2\sqrt{\dfrac{1}{2e^{\frac{x}{2}}+1}}+\sqrt{\dfrac{1}{2e^{-x}+1}}$。
$h'(x)=\dfrac{e^{-x}}{(2e^{-x}+1)^{\frac 32}}-\dfrac{e^{\frac{x}{2}}}{(2e^{\frac x2}+1)^{\frac 32}}$,令 ,则 。
易知 当 时,。
若 $x < 0,\Leftrightarrow \dfrac{f(-x)}{f(\frac x2)} \le \dfrac{f(-x)}{f(x)}$,又 $\because f(-x) > f(x),\therefore \dfrac{f(-x)}{f(\frac x2)} < 1$,即 。>
若 $x > 0,h'(x)=f(-x)-f(\dfrac x2) < f(-\dfrac x2) - f(\dfrac x2) < 0$。
综上,。
所以 在 上单调递减。
在 $\lim\limits_{x\rightarrow -\infty}\dfrac{1}{2e^{\frac x2}+1}$ 中,$\lim\limits_{x\rightarrow -\infty} e^{\frac x2} = 0$
$\therefore \lim\limits_{x\rightarrow -\infty}\dfrac{1}{2e^{\frac x2}+1} = 1,\lim\limits_{x\rightarrow -\infty} 2\sqrt{\dfrac{1}{2e^{\frac x2}+1}}=2$。
$\lim\limits_{x\rightarrow -\infty}\dfrac{1}{2e^{-x}+1}=\lim\limits_{x\rightarrow -\infty}\dfrac{e^x}{2+e^x}=\dfrac{0}{0+2}=0$
$\therefore \lim\limits_{x\rightarrow -\infty}\sqrt{\dfrac{1}{2e^{-x}+1}}=0$
$\therefore \lim\limits_{x\rightarrow -\infty}h(x)=2+0=2$
则 。
$=\sqrt{\dfrac 13}+\sqrt{\dfrac{1}{2e^{-x} + 1}}+\sqrt{\dfrac{1}{2e^{x} + 1}} < 2$
所以 $\sqrt{\dfrac{y}{2x+y}}+\sqrt{\dfrac{z}{2y+z}}+\sqrt{\dfrac{x}{2z+x}} < 2$ 成立。
综上所述,
$$1<\sqrt{\dfrac{y}{2x+y}}+\sqrt{\dfrac{z}{2y+z}}+\sqrt{\dfrac{x}{2z+x}}<2 $$2>