$x > 0$, $y > 0$ のとき、不等式 $\frac{x}{y} + \frac{y}{x} \ge 2$ を証明し、等号が成り立つ場合を調べる。

代数学不等式相加相乗平均証明
2025/4/15

1. 問題の内容

x>0x > 0, y>0y > 0 のとき、不等式 xy+yx2\frac{x}{y} + \frac{y}{x} \ge 2 を証明し、等号が成り立つ場合を調べる。

2. 解き方の手順

相加平均と相乗平均の関係を用いる。a>0a > 0, b>0b > 0 のとき、
a+b2ab\frac{a+b}{2} \ge \sqrt{ab}
が成り立ち、等号成立は a=ba=b のときである。
ここで、a=xya = \frac{x}{y}, b=yxb = \frac{y}{x} とおくと、x>0x>0, y>0y>0 より a>0a>0, b>0b>0 である。
相加平均と相乗平均の関係から
xy+yx2xyyx\frac{\frac{x}{y} + \frac{y}{x}}{2} \ge \sqrt{\frac{x}{y} \cdot \frac{y}{x}}
xy+yx21\frac{\frac{x}{y} + \frac{y}{x}}{2} \ge \sqrt{1}
xy+yx21\frac{\frac{x}{y} + \frac{y}{x}}{2} \ge 1
xy+yx2\frac{x}{y} + \frac{y}{x} \ge 2
したがって、xy+yx2\frac{x}{y} + \frac{y}{x} \ge 2 が証明された。
等号が成り立つのは xy=yx\frac{x}{y} = \frac{y}{x} のときである。
xy=yx\frac{x}{y} = \frac{y}{x} を変形すると x2=y2x^2 = y^2 となる。
x>0x > 0, y>0y > 0 より、 x=yx = y である。

3. 最終的な答え

不等式 xy+yx2\frac{x}{y} + \frac{y}{x} \ge 2 が成り立つ。
等号が成り立つのは x=yx = y のとき。