$a \ge 0$, $b \ge 0$ のとき、次の不等式が成り立つことを証明し、等号が成り立つ条件を求める問題です。 $$\sqrt{\frac{a+b}{2}} \ge \frac{\sqrt{a} + \sqrt{b}}{2}$$

代数学不等式相加相乗平均平方根証明
2025/6/20

1. 問題の内容

a0a \ge 0, b0b \ge 0 のとき、次の不等式が成り立つことを証明し、等号が成り立つ条件を求める問題です。
a+b2a+b2\sqrt{\frac{a+b}{2}} \ge \frac{\sqrt{a} + \sqrt{b}}{2}

2. 解き方の手順

まず、不等式の両辺が正であることから、両辺を2乗して考えます。
(a+b2)2(a+b2)2\left( \sqrt{\frac{a+b}{2}} \right)^2 \ge \left( \frac{\sqrt{a} + \sqrt{b}}{2} \right)^2
a+b2a+2ab+b4\frac{a+b}{2} \ge \frac{a + 2\sqrt{ab} + b}{4}
両辺に4をかけて整理します。
2(a+b)a+2ab+b2(a+b) \ge a + 2\sqrt{ab} + b
2a+2ba+2ab+b2a + 2b \ge a + 2\sqrt{ab} + b
a+b2ab0a + b - 2\sqrt{ab} \ge 0
(a)22ab+(b)20(\sqrt{a})^2 - 2\sqrt{a}\sqrt{b} + (\sqrt{b})^2 \ge 0
(ab)20(\sqrt{a} - \sqrt{b})^2 \ge 0
(ab)2(\sqrt{a} - \sqrt{b})^2 は常に0以上であるので、与えられた不等式は成り立ちます。
等号が成り立つのは、ab=0\sqrt{a} - \sqrt{b} = 0 のときです。
a=b\sqrt{a} = \sqrt{b}
a=ba = b

3. 最終的な答え

a+b2a+b2\sqrt{\frac{a+b}{2}} \ge \frac{\sqrt{a} + \sqrt{b}}{2} は、a0a \ge 0, b0b \ge 0 のとき成り立つ。
等号が成り立つのは、a=ba=b のとき。

「代数学」の関連問題

等比数列 $\{a_n\}$ について、一般項 $a_n$ と初項から第 $n$ 項までの和 $S_n$ を求める問題です。 (5) 初項 $a = -2$、第6項 $a_6 = -64$ (6) 第...

数列等比数列一般項公比
2025/6/20

与えられた等差数列 $\{a_n\}$ について、以下の問いに答えます。 (3) 17は $\{a_n\}$ の第何項か。 (4) $\{a_n\}$ の初項から第n項までの和を $S_n$ とすると...

数列等差数列一般項最小値
2025/6/20

与えられた等差数列 $\{a_n\}$ に対して、一般項 $a_n$ と初項から第 $n$ 項までの和 $S_n$ を求める問題です。 (1) 初項 $a_1 = -6$、第9項 $a_9 = 10$...

等差数列数列一般項
2025/6/20

与えられた分数の式を簡略化します。式は $\frac{1}{k(k+1)}$ です。

部分分数分解分数式代数
2025/6/20

(1) ベクトル $\vec{u} = \begin{pmatrix} 2 \\ 1 \end{pmatrix}$ が与えられたとき、 (a) $\vec{u}$ と同じ向きに距離 5 だけ進む変位ベ...

ベクトルベクトルの演算正射影
2025/6/20

関数 $y = -2x + 1$ の $-1 < x \leq 1$ における最大値と最小値を求めよ。

一次関数最大値最小値定義域
2025/6/20

与えられた2つの2次式を因数分解する問題です。 与えられた式は、 $x^2 - 6x + 8$ と $-2x^2 - 10x + 12$ です。

因数分解二次式
2025/6/20

与えられた方程式は $\frac{2x-5}{3} = \frac{3x+2}{2}$ です。この方程式を解いて、$x$の値を求めます。

一次方程式方程式分数
2025/6/20

以下の2つの方程式について、$x$の値を求める問題です。 * $-3x - 7 = -1$ * $0.4(2x + 3) = 0.3(2x + 6)$

一次方程式方程式計算
2025/6/20

数列 $\{a_n\}$ の一般項を求める問題です。与えられた漸化式は次の通りです。 (1) $a_1 = 3, \quad na_{n+1} = (n+1)a_n + n(n+1)$ (2) $a_...

数列漸化式等差数列一般項
2025/6/20