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

代数学不等式証明平方完成等号成立条件
2025/4/29

1. 問題の内容

不等式 a2ab+b2a+b1a^2 - ab + b^2 \ge a + b - 1 を証明し、等号が成り立つ条件を求める。

2. 解き方の手順

不等式の右辺を左辺に移項し、平方完成を行うことを目指す。
a2ab+b2ab+10a^2 - ab + b^2 - a - b + 1 \ge 0
両辺に4をかけて、式を整理する。
4a24ab+4b24a4b+404a^2 - 4ab + 4b^2 - 4a - 4b + 4 \ge 0
(4a24ab+b2)+3b24a4b+40(4a^2 - 4ab + b^2) + 3b^2 - 4a - 4b + 4 \ge 0
(2ab)24a4b+3b2+40(2a - b)^2 - 4a - 4b + 3b^2 + 4 \ge 0
次に、2ab2a-b の項と 4a-4a の項に着目し、4a=2(2ab)2b-4a = -2(2a-b) - 2b であることを用いる。
(2ab)22(2ab)2b4b+3b2+40(2a-b)^2 - 2(2a-b) - 2b - 4b + 3b^2 + 4 \ge 0
(2ab)22(2ab)+116b+3b2+40(2a-b)^2 - 2(2a-b) + 1 - 1 - 6b + 3b^2 + 4 \ge 0
(2ab1)2+3b26b+30(2a-b-1)^2 + 3b^2 - 6b + 3 \ge 0
(2ab1)2+3(b22b+1)0(2a-b-1)^2 + 3(b^2 - 2b + 1) \ge 0
(2ab1)2+3(b1)20(2a-b-1)^2 + 3(b-1)^2 \ge 0
(2ab1)2(2a - b - 1)^2(b1)2(b - 1)^2 はどちらも実数の二乗なので、必ず0以上となる。したがって、(2ab1)2+3(b1)20(2a - b - 1)^2 + 3(b - 1)^2 \ge 0 が成り立つ。
等号が成り立つのは、(2ab1)2=0(2a-b-1)^2 = 0 かつ (b1)2=0(b-1)^2 = 0 のときである。
b1=0b-1 = 0 より、b=1b = 1
2ab1=02a - b - 1 = 0b=1b = 1 を代入すると、2a11=02a - 1 - 1 = 0 より 2a=22a = 2 となるので、a=1a = 1
したがって、a=1a = 1 かつ b=1b = 1 のとき、等号が成り立つ。

3. 最終的な答え

不等式 a2ab+b2a+b1a^2 - ab + b^2 \ge a + b - 1 は成り立つ。
等号が成り立つのは、a=1a = 1 かつ b=1b = 1 のときである。

「代数学」の関連問題

与えられた式 $x^3 + 3x^2 + 3x + 1$ を因数分解せよ。

因数分解多項式公式
2025/5/1

与えられた二つの式を因数分解する問題です。 (1) $a^2(b+c) + b^2(c+a) + c^2(a+b) + 3abc$ (2) $a^3(b-c) + b^3(c-a) + c^3(a-b...

因数分解対称式多項式
2025/5/1

問題は、式 $8x^2 - 18y^2$ を因数分解することです。

因数分解式の展開二次式
2025/5/1

問題は、$x, y$が $x^2 + y^2 = 1$ を満たすとき、$3x^2 + 2xy + y^2$ の最大値と最小値を求める問題です。

最大値最小値三角関数二次形式
2025/5/1

$x^2 + y^2 = 1$ を満たすとき、$3x^2 + 2xy$ の最大値と最小値を求めよ。

最大・最小三角関数三角関数の合成数式処理
2025/5/1

与えられた式 $16x^2 - 49y^2$ を因数分解する。

因数分解差の二乗
2025/5/1

(1) 地上から真上に投げ上げた小石の $t$ 秒後の高さが $y = -5t^2 + 20t$ で表されるとき、小石が最高点に達するのは投げてから何秒後か、また、その時の高さはいくらか。 (2) 直...

二次関数最大値最小値ピタゴラスの定理平方完成
2025/5/1

(a) 関数 $y = -x^2 + 6x + c$ ($1 \le x \le 4$) の最小値が -2 であるように、定数 $c$ の値を定め、そのときの最大値を求めよ。 (b) 関数 $y = ...

二次関数平方完成最大値最小値定義域
2025/5/1

与えられた2つの式 $(x+2)^3$ と $(x-1)^3$ を展開する。

展開多項式公式3乗
2025/5/1

次の2次関数の最大値、最小値を指定された範囲内で求めます。 (a) $y = 2x^2 - 8x + 5$ ($0 \le x \le 3$) (b) $y = -x^2 - 2x + 2$ ($-3...

二次関数最大値最小値平方完成
2025/5/1