不等式 $2(a^2 + b^2) \ge (a-b)^2$ を証明し、等号が成り立つ条件を求めよ。

代数学不等式証明二乗等号条件
2025/6/16

1. 問題の内容

不等式 2(a2+b2)(ab)22(a^2 + b^2) \ge (a-b)^2 を証明し、等号が成り立つ条件を求めよ。

2. 解き方の手順

(1) 不等式の右辺を展開します。
(ab)2=a22ab+b2(a-b)^2 = a^2 - 2ab + b^2
(2) 不等式の左辺から右辺を引きます。
2(a2+b2)(ab)2=2a2+2b2(a22ab+b2)2(a^2 + b^2) - (a-b)^2 = 2a^2 + 2b^2 - (a^2 - 2ab + b^2)
=2a2+2b2a2+2abb2= 2a^2 + 2b^2 - a^2 + 2ab - b^2
=a2+2ab+b2= a^2 + 2ab + b^2
(3) 計算結果を整理します。
a2+2ab+b2=(a+b)2a^2 + 2ab + b^2 = (a+b)^2
(4) (a+b)2(a+b)^2 は常に0以上です。
(a+b)20(a+b)^2 \ge 0
したがって、2(a2+b2)(ab)202(a^2 + b^2) - (a-b)^2 \ge 0 となり、2(a2+b2)(ab)22(a^2 + b^2) \ge (a-b)^2 が証明されました。
(5) 等号が成り立つのは、(a+b)2=0(a+b)^2 = 0 のときです。
(a+b)2=0(a+b)^2 = 0
a+b=0a+b = 0
a=ba = -b

3. 最終的な答え

不等式 2(a2+b2)(ab)22(a^2 + b^2) \ge (a-b)^2 は証明された。
等号が成り立つのは a=ba = -b のとき。

「代数学」の関連問題

与えられた多項式 $-4a^2bc^2 - 8a^3b^2c + 2a^2bc$ を因数分解する問題です。

因数分解多項式共通因数
2025/6/16

与えられた4次方程式 $x^4 - x^2 - 12 = 0$ を解く問題です。

方程式4次方程式二次方程式因数分解複素数
2025/6/16

2つの2次関数 $y = 2x^2 + 6x + 7$ (①) と $y = 2x^2 - 4x + 1$ (②) が与えられています。関数②のグラフを平行移動して関数①のグラフにするには、どのように...

二次関数平行移動平方完成グラフ
2025/6/16

与えられた二次関数 $y = -\sqrt{2}x^2 + \sqrt{3}x + 1$ の軸と頂点を求める問題です。

二次関数平方完成頂点
2025/6/16

問題は、分配法則のどちらか一方を証明することです。 一つ目は $(a+b) \times c = a \times c + b \times c$ が成り立つことを証明する。 二つ目は $a \tim...

分配法則代数証明
2025/6/16

(1) $(x^2 - 2x)^5$ の展開式における $x^7$ の項の係数を求めます。 (2) $(3x^2 + 1)^5$ の展開式における $x^6$ の項の係数を求めます。

二項定理展開係数
2025/6/16

$z = \cos\frac{2}{7}\pi + i\sin\frac{2}{7}\pi$ が与えられたとき、以下の2つの値を求めます。 (1) $z^6 + z^5 + z^4 + z^3 + z...

複素数ド・モアブルの定理等比数列の和複素数の計算
2025/6/16

$a_n = (\frac{\sqrt{3}+1}{2} + \frac{\sqrt{3}-1}{2}i)^{2n}$ が実数となる最小の自然数 $n$ を求め、そのときの $a_n$ の値を求めよ。

複素数極形式ド・モアブルの定理
2025/6/16

与えられた2次関数を $y = a(x-p)^2 + q$ の形に変形する問題です。具体的には、以下の2つの関数について変形を行います。 (1) $y = -x^2 - 3x$ (2) $y = 3x...

二次関数平方完成関数の変形
2025/6/16

与えられた2次関数 $y = 3x^2 - 3x - 6$ を扱います。問題の指示がないため、ここでは、与えられた関数を因数分解することを考えます。

二次関数因数分解
2025/6/16