次の不等式が成り立つかどうかを判定します。 $\frac{\sqrt{x-y}}{\sqrt{x} + \sqrt{y}} \geq \frac{\sqrt{x+y}}{\sqrt{x} - \sqrt{y}}$ ここで、$x$ と $y$ は実数であり、根号の中身が非負であること、および分母がゼロでないことが前提となります。すなわち、$x \geq y \geq 0$, $x>0$, $y\geq 0$ そして $x \neq y$ です。

代数学不等式平方根式の変形不等式の証明
2025/5/17

1. 問題の内容

次の不等式が成り立つかどうかを判定します。
xyx+yx+yxy\frac{\sqrt{x-y}}{\sqrt{x} + \sqrt{y}} \geq \frac{\sqrt{x+y}}{\sqrt{x} - \sqrt{y}}
ここで、xxyy は実数であり、根号の中身が非負であること、および分母がゼロでないことが前提となります。すなわち、xy0x \geq y \geq 0, x>0x>0, y0y\geq 0 そして xyx \neq y です。

2. 解き方の手順

まず、両辺に (x+y)(xy)(\sqrt{x} + \sqrt{y})(\sqrt{x} - \sqrt{y}) をかけます。(x+y)(\sqrt{x} + \sqrt{y}) は常に正なので不等号の向きは変わりません。しかし、(xy)(\sqrt{x} - \sqrt{y}) が正である(x>yx>y)必要があります。
xy(xy)x+y(x+y)\sqrt{x-y}(\sqrt{x} - \sqrt{y}) \geq \sqrt{x+y}(\sqrt{x} + \sqrt{y})
両辺を2乗します。
(xy)(x2xy+y)(x+y)(x+2xy+y)(x-y)(x - 2\sqrt{xy} + y) \geq (x+y)(x + 2\sqrt{xy} + y)
x22xxy+xyxy+2yxyy2x2+2xxy+xy+xy+2yxy+y2x^2 - 2x\sqrt{xy} + xy - xy + 2y\sqrt{xy} - y^2 \geq x^2 + 2x\sqrt{xy} + xy + xy + 2y\sqrt{xy} + y^2
x22xxyy2x2+2xxy+2xy+y2x^2 - 2x\sqrt{xy} - y^2 \geq x^2 + 2x\sqrt{xy} + 2xy + y^2
2xxyy22xxy+2xy+y2- 2x\sqrt{xy} - y^2 \geq 2x\sqrt{xy} + 2xy + y^2
04xxy+2xy+2y20 \geq 4x\sqrt{xy} + 2xy + 2y^2
02y(2xx/y+x+y)0 \geq 2y(2x\sqrt{x/y} + x + y)
y>0y > 0 であるため、
02xx/y+x+y0 \geq 2x\sqrt{x/y} + x + y
しかし、この式は明らかに成り立ちません。なぜならば、x>0x>0y>0y>0であるため、2xx/y+x+y>02x\sqrt{x/y}+x+y >0だからです。不等号の向きが逆になります。
したがって、元の不等式は成り立ちません。

3. 最終的な答え

不等式 xyx+yx+yxy\frac{\sqrt{x-y}}{\sqrt{x} + \sqrt{y}} \geq \frac{\sqrt{x+y}}{\sqrt{x} - \sqrt{y}} は成り立たない。