与えられた二つの不等式が成立することを証明し、等号が成り立つ場合の条件を求めます。 (1) $2(x^2+1) \geq (x+1)^2$ (2) $2(x^2+y^2) \geq (x+y)^2$

代数学不等式証明二乗因数分解等号成立条件
2025/5/14

1. 問題の内容

与えられた二つの不等式が成立することを証明し、等号が成り立つ場合の条件を求めます。
(1) 2(x2+1)(x+1)22(x^2+1) \geq (x+1)^2
(2) 2(x2+y2)(x+y)22(x^2+y^2) \geq (x+y)^2

2. 解き方の手順

(1) 2(x2+1)(x+1)22(x^2+1) \geq (x+1)^2 の証明
まず、不等式の右辺を展開します。
2(x2+1)x2+2x+12(x^2 + 1) \geq x^2 + 2x + 1
次に、すべての項を左辺に移項します。
2x2+2x22x102x^2 + 2 - x^2 - 2x - 1 \geq 0
整理すると、
x22x+10x^2 - 2x + 1 \geq 0
左辺は (x1)2(x-1)^2 と因数分解できます。
(x1)20(x-1)^2 \geq 0
(x1)2(x-1)^2 は常に0以上であるため、この不等式は常に成立します。
等号が成り立つのは、x1=0x-1=0、すなわちx=1x=1のときです。
(2) 2(x2+y2)(x+y)22(x^2+y^2) \geq (x+y)^2 の証明
まず、不等式の右辺を展開します。
2(x2+y2)x2+2xy+y22(x^2 + y^2) \geq x^2 + 2xy + y^2
次に、すべての項を左辺に移項します。
2x2+2y2x22xyy202x^2 + 2y^2 - x^2 - 2xy - y^2 \geq 0
整理すると、
x22xy+y20x^2 - 2xy + y^2 \geq 0
左辺は (xy)2(x-y)^2 と因数分解できます。
(xy)20(x-y)^2 \geq 0
(xy)2(x-y)^2 は常に0以上であるため、この不等式は常に成立します。
等号が成り立つのは、xy=0x-y=0、すなわちx=yx=yのときです。

3. 最終的な答え

(1) 不等式 2(x2+1)(x+1)22(x^2+1) \geq (x+1)^2 は常に成立し、等号成立条件は x=1x=1 です。
(2) 不等式 2(x2+y2)(x+y)22(x^2+y^2) \geq (x+y)^2 は常に成立し、等号成立条件は x=yx=y です。