(1) $a \geq 0$, $b \geq 0$ のとき、$\frac{a+b}{2} \geq \sqrt{ab}$ が成り立つことを示し、等号が成り立つときを答える。 (2) $a > 0$, $b > 0$ のとき、$\frac{b}{a} + \frac{a}{b} \geq 2$ であることを示す。

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

1. 問題の内容

(1) a0a \geq 0, b0b \geq 0 のとき、a+b2ab\frac{a+b}{2} \geq \sqrt{ab} が成り立つことを示し、等号が成り立つときを答える。
(2) a>0a > 0, b>0b > 0 のとき、ba+ab2\frac{b}{a} + \frac{a}{b} \geq 2 であることを示す。

2. 解き方の手順

(1)
a+b2ab\frac{a+b}{2} \geq \sqrt{ab} を示す。
両辺の差を考えると、
a+b2ab=a+b2ab2=(ab)22\frac{a+b}{2} - \sqrt{ab} = \frac{a+b-2\sqrt{ab}}{2} = \frac{(\sqrt{a} - \sqrt{b})^2}{2}
a0a \geq 0, b0b \geq 0 より、 (ab)20(\sqrt{a} - \sqrt{b})^2 \geq 0 であるから、
(ab)220\frac{(\sqrt{a} - \sqrt{b})^2}{2} \geq 0
したがって、a+b2ab\frac{a+b}{2} \geq \sqrt{ab} が成り立つ。
等号が成り立つのは、ab=0\sqrt{a} - \sqrt{b} = 0 のとき、つまり a=ba=b のときである。
(2)
ba+ab2\frac{b}{a} + \frac{a}{b} \geq 2 を示す。
両辺の差を考えると、
ba+ab2=b2+a22abab=(ab)2ab\frac{b}{a} + \frac{a}{b} - 2 = \frac{b^2 + a^2 - 2ab}{ab} = \frac{(a-b)^2}{ab}
a>0a>0, b>0b>0 より ab>0ab > 0 であり、(ab)20(a-b)^2 \geq 0 であるから、
(ab)2ab0\frac{(a-b)^2}{ab} \geq 0
したがって、ba+ab2\frac{b}{a} + \frac{a}{b} \geq 2 が成り立つ。

3. 最終的な答え

(1) a+b2ab\frac{a+b}{2} \geq \sqrt{ab} が成り立つ。等号が成り立つのは a=ba=b のとき。
(2) ba+ab2\frac{b}{a} + \frac{a}{b} \geq 2 が成り立つ。

「代数学」の関連問題

与えられた4つの式をそれぞれ因数分解する問題です。今回は、(3) $x^2+3xy+2y^2-2x-5y-3$と(4) $3x^2-xy-2y^2-2x-3y-1$を因数分解します。

因数分解二次式多変数
2025/6/9

与えられた数式 $x^2 + 3xy + 2y^2 - 2x - 5y - 3$ を因数分解する問題です。

因数分解多項式
2025/6/9

$-3 \leq x \leq 1$ における関数 $y = -x^2 + 2ax + a^2 - a + 3$ の最大値 $M(a)$ および最小値 $m(a)$ をそれぞれ $a$ の式で表す問題...

二次関数最大値最小値場合分け平方完成
2025/6/9

頂点が(4, 1)であり、点(3, 2)を通る二次関数の式を求める問題です。

二次関数二次関数の決定グラフ
2025/6/9

与えられた4つの連立不等式をそれぞれ解き、解の範囲を求めます。 (1) $ \begin{cases} x^2 - x - 2 < 0 \\ x^2 - 5x + 4 \leq 0 \end{case...

連立不等式二次不等式因数分解解の公式
2025/6/9

与えられた連立不等式を解く問題です。 $$ \begin{cases} x^2 - x - 2 < 0 \\ x^2 - 5x + 4 \le 0 \end{cases} $$

不等式連立不等式二次不等式因数分解共通範囲
2025/6/9

複素数の分数を $a+bi$ の形で表す問題です。具体的には、(1) $\frac{2+3i}{1+2i}$ を計算し、(2) $\frac{5-2i}{3+4i}$ を計算します。

複素数複素数の計算分数
2025/6/9

定義域が $-3 \le x \le a$ である関数 $y = -x^2 - 4x + 1$ の最大値および最小値を、以下の各場合について求めます。 (1) $-3 < a < -2$ (2) $-...

二次関数最大値最小値平方完成定義域
2025/6/9

複素数の計算問題を解きます。 (1) $(6+3i) + (7-4i)$ (2) $(9+4i) - (3-i)$ (3) $2(-1+3i) - 3(2+3i)$ (4) $(5+3i)(3+2i)...

複素数複素数計算四則演算
2025/6/9

複素数単位 $i$ のべき乗を、$i^2 = -1$ を用いて簡略化する問題です。

複素数複素数単位べき乗計算
2025/6/9