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

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

1. 問題の内容

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

2. 解き方の手順

まず、不等式の左辺から右辺を引いた式を整理し、平方完成を目指します。
a2ab+b2(a+b1)=a2(b+1)a+b2b+1a^2 - ab + b^2 - (a + b - 1) = a^2 - (b+1)a + b^2 - b + 1
aa について平方完成を行います。
a2(b+1)a+b2b+1=(ab+12)2(b+12)2+b2b+1a^2 - (b+1)a + b^2 - b + 1 = \left(a - \frac{b+1}{2}\right)^2 - \left(\frac{b+1}{2}\right)^2 + b^2 - b + 1
=(ab+12)2b2+2b+14+b2b+1= \left(a - \frac{b+1}{2}\right)^2 - \frac{b^2 + 2b + 1}{4} + b^2 - b + 1
=(ab+12)2+4b24b+4b22b14= \left(a - \frac{b+1}{2}\right)^2 + \frac{4b^2 - 4b + 4 - b^2 - 2b - 1}{4}
=(ab+12)2+3b26b+34= \left(a - \frac{b+1}{2}\right)^2 + \frac{3b^2 - 6b + 3}{4}
=(ab+12)2+3(b22b+1)4= \left(a - \frac{b+1}{2}\right)^2 + \frac{3(b^2 - 2b + 1)}{4}
=(ab+12)2+3(b1)24= \left(a - \frac{b+1}{2}\right)^2 + \frac{3(b-1)^2}{4}
ここで、(ab+12)20\left(a - \frac{b+1}{2}\right)^2 \geq 0 であり、3(b1)240\frac{3(b-1)^2}{4} \geq 0 です。
したがって、
(ab+12)2+3(b1)240\left(a - \frac{b+1}{2}\right)^2 + \frac{3(b-1)^2}{4} \geq 0
が成り立ちます。
よって、a2ab+b2a+b1a^2 - ab + b^2 \geq a + b - 1 が証明されました。
等号が成り立つのは、
(ab+12)2=0\left(a - \frac{b+1}{2}\right)^2 = 0 かつ 3(b1)24=0\frac{3(b-1)^2}{4} = 0 が成り立つときです。
3(b1)24=0\frac{3(b-1)^2}{4} = 0 より、b=1b = 1
(ab+12)2=0\left(a - \frac{b+1}{2}\right)^2 = 0b=1b = 1 を代入すると、
(a1+12)2=(a1)2=0\left(a - \frac{1+1}{2}\right)^2 = (a - 1)^2 = 0 より、a=1a = 1

3. 最終的な答え

a2ab+b2a+b1a^2 - ab + b^2 \geq a + b - 1 が成り立つ。
等号が成り立つのは、a=1a = 1 かつ b=1b = 1 のとき。

「代数学」の関連問題

与えられた方程式は $\frac{28}{x} \times \frac{x}{6.02 \times 10^{23}} = \frac{28}{6.02 \times 10^{23}}$ です。この...

方程式分数約分数値計算
2025/4/22

$x, y, z$ はそれぞれ一桁の整数です。$2454 = 333x + 33y + 3z$ を満たすとき、$x + y + z$ の値を求めます。

方程式整数演算
2025/4/22

$x$ についての方程式 $(x + 4) \times \frac{1}{8} + 5 = 7$ を解き、$x$ の値を求めます。

方程式一次方程式二次方程式分数
2025/4/22

(1) 次の方程式を解け。 (i) $x^2 + x - 2 = 0$ (ii) $x^2 - 2x - 4 = 0$ (iii) $x^4 - 6x^2 + 1 = 0$ (iv) $(x+1)(x...

二次方程式解の公式判別式複素数解因数分解
2025/4/22

与えられた式 $12x^2 - 7xy - 12y^2$ を因数分解します。

因数分解二次式多項式
2025/4/22

与えられた2次式 $3x^2 + 5x + 2$ を因数分解してください。

因数分解二次式多項式
2025/4/22

次の不等式を証明します。 $(x^4 + y^4)(x^2 + y^2) \ge (x^3 + y^3)^2$

不等式式の展開証明相加相乗平均
2025/4/22

与えられた不等式を証明します。 (1) $\sqrt{7} + \sqrt{8} > \sqrt{5} + \sqrt{10}$ (2) $\sqrt{7} - \sqrt{6} > \sqrt{14...

不等式の証明平方根大小比較
2025/4/22

与えられた複数の分数式の加法・減法を行う問題です。 (1) $\frac{x^2-4}{x+1} + \frac{3}{x+1}$ (2) $\frac{x^2}{x-2} - \frac{4x-4}...

分数式加減法因数分解通分約分
2025/4/22

$a > 0$, $b > 0$ のとき、次の不等式が成り立つことを証明します。 (1) $2\sqrt{a} + \sqrt{b} > \sqrt{4a+b}$ (2) $\sqrt{\frac{a...

不等式平方根証明相加相乗平均
2025/4/22