$x, y, z$が正の実数のとき、以下の不等式を示す問題です。 $\frac{\sqrt{x} + \sqrt{y} + \sqrt{z}}{3} \le \sqrt{\frac{x+y+z}{3}}$

代数学不等式コーシー・シュワルツの不等式イェンセンの不等式実数関数の凸性
2025/5/7

1. 問題の内容

x,y,zx, y, zが正の実数のとき、以下の不等式を示す問題です。
x+y+z3x+y+z3\frac{\sqrt{x} + \sqrt{y} + \sqrt{z}}{3} \le \sqrt{\frac{x+y+z}{3}}

2. 解き方の手順

この不等式は、コーシー・シュワルツの不等式またはイェンセンの不等式を用いて証明できます。ここではイェンセンの不等式を用います。
関数 f(x)=xf(x) = \sqrt{x} を考えます。この関数の2階微分は f(x)=14x3/2f''(x) = -\frac{1}{4} x^{-3/2} であり、x>0x > 0 に対して f(x)<0f''(x) < 0 であるため、f(x)f(x) は上に凸な関数です。
イェンセンの不等式より、上に凸な関数 f(x)f(x) に対して、以下の不等式が成り立ちます。
f(x1+x2++xnn)f(x1)+f(x2)++f(xn)nf\left(\frac{x_1 + x_2 + \dots + x_n}{n}\right) \ge \frac{f(x_1) + f(x_2) + \dots + f(x_n)}{n}
ここで、n=3n = 3x1=xx_1 = xx2=yx_2 = yx3=zx_3 = zf(x)=xf(x) = \sqrt{x} を代入すると、
x+y+z3x+y+z3\sqrt{\frac{x+y+z}{3}} \ge \frac{\sqrt{x} + \sqrt{y} + \sqrt{z}}{3}
となり、問題の不等式が示されました。

3. 最終的な答え

x+y+z3x+y+z3\frac{\sqrt{x} + \sqrt{y} + \sqrt{z}}{3} \le \sqrt{\frac{x+y+z}{3}}

「代数学」の関連問題