$a > 0, b > 0$ のとき、不等式 $\frac{b}{a} + \frac{4a}{b} \geq 4$ を証明し、等号が成り立つときを調べる問題です。

代数学不等式相加相乗平均証明
2025/7/1

1. 問題の内容

a>0,b>0a > 0, b > 0 のとき、不等式 ba+4ab4\frac{b}{a} + \frac{4a}{b} \geq 4 を証明し、等号が成り立つときを調べる問題です。

2. 解き方の手順

相加平均と相乗平均の関係を利用して証明します。
a>0,b>0a > 0, b > 0 より、ba>0\frac{b}{a} > 0 かつ 4ab>0\frac{4a}{b} > 0 なので、相加平均と相乗平均の関係より、
ba+4ab2ba4ab\frac{\frac{b}{a} + \frac{4a}{b}}{2} \geq \sqrt{\frac{b}{a} \cdot \frac{4a}{b}}
ba+4ab24\frac{b}{a} + \frac{4a}{b} \geq 2 \sqrt{4}
ba+4ab22\frac{b}{a} + \frac{4a}{b} \geq 2 \cdot 2
ba+4ab4\frac{b}{a} + \frac{4a}{b} \geq 4
したがって、不等式 ba+4ab4\frac{b}{a} + \frac{4a}{b} \geq 4 が証明されました。
等号が成り立つのは、相加平均と相乗平均の関係において ba=4ab\frac{b}{a} = \frac{4a}{b} のときです。
ba=4ab\frac{b}{a} = \frac{4a}{b}
b2=4a2b^2 = 4a^2
b=±2ab = \pm 2a
b>0,a>0b > 0, a > 0 より b=2ab = 2a のとき等号が成り立ちます。

3. 最終的な答え

不等式 ba+4ab4\frac{b}{a} + \frac{4a}{b} \geq 4 は証明された。
等号が成り立つのは b=2ab = 2a のとき。