不等式 $a^2 - ab + b^2 \geq a + b - 1$ を証明し、等号が成り立つ条件を求める。代数学不等式証明平方完成等号成立条件2025/4/221. 問題の内容不等式 a2−ab+b2≥a+b−1a^2 - ab + b^2 \geq a + b - 1a2−ab+b2≥a+b−1 を証明し、等号が成り立つ条件を求める。2. 解き方の手順まず、不等式の左辺から右辺を引いた式を整理し、平方完成を目指します。a2−ab+b2−(a+b−1)=a2−(b+1)a+b2−b+1a^2 - ab + b^2 - (a + b - 1) = a^2 - (b+1)a + b^2 - b + 1a2−ab+b2−(a+b−1)=a2−(b+1)a+b2−b+1aaa について平方完成を行います。a2−(b+1)a+b2−b+1=(a−b+12)2−(b+12)2+b2−b+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 + 1a2−(b+1)a+b2−b+1=(a−2b+1)2−(2b+1)2+b2−b+1=(a−b+12)2−b2+2b+14+b2−b+1= \left(a - \frac{b+1}{2}\right)^2 - \frac{b^2 + 2b + 1}{4} + b^2 - b + 1=(a−2b+1)2−4b2+2b+1+b2−b+1=(a−b+12)2+4b2−4b+4−b2−2b−14= \left(a - \frac{b+1}{2}\right)^2 + \frac{4b^2 - 4b + 4 - b^2 - 2b - 1}{4}=(a−2b+1)2+44b2−4b+4−b2−2b−1=(a−b+12)2+3b2−6b+34= \left(a - \frac{b+1}{2}\right)^2 + \frac{3b^2 - 6b + 3}{4}=(a−2b+1)2+43b2−6b+3=(a−b+12)2+3(b2−2b+1)4= \left(a - \frac{b+1}{2}\right)^2 + \frac{3(b^2 - 2b + 1)}{4}=(a−2b+1)2+43(b2−2b+1)=(a−b+12)2+3(b−1)24= \left(a - \frac{b+1}{2}\right)^2 + \frac{3(b-1)^2}{4}=(a−2b+1)2+43(b−1)2ここで、(a−b+12)2≥0\left(a - \frac{b+1}{2}\right)^2 \geq 0(a−2b+1)2≥0 であり、3(b−1)24≥0\frac{3(b-1)^2}{4} \geq 043(b−1)2≥0 です。したがって、(a−b+12)2+3(b−1)24≥0\left(a - \frac{b+1}{2}\right)^2 + \frac{3(b-1)^2}{4} \geq 0(a−2b+1)2+43(b−1)2≥0が成り立ちます。よって、a2−ab+b2≥a+b−1a^2 - ab + b^2 \geq a + b - 1a2−ab+b2≥a+b−1 が証明されました。等号が成り立つのは、(a−b+12)2=0\left(a - \frac{b+1}{2}\right)^2 = 0(a−2b+1)2=0 かつ 3(b−1)24=0\frac{3(b-1)^2}{4} = 043(b−1)2=0 が成り立つときです。3(b−1)24=0\frac{3(b-1)^2}{4} = 043(b−1)2=0 より、b=1b = 1b=1(a−b+12)2=0\left(a - \frac{b+1}{2}\right)^2 = 0(a−2b+1)2=0 に b=1b = 1b=1 を代入すると、(a−1+12)2=(a−1)2=0\left(a - \frac{1+1}{2}\right)^2 = (a - 1)^2 = 0(a−21+1)2=(a−1)2=0 より、a=1a = 1a=13. 最終的な答えa2−ab+b2≥a+b−1a^2 - ab + b^2 \geq a + b - 1a2−ab+b2≥a+b−1 が成り立つ。等号が成り立つのは、a=1a = 1a=1 かつ b=1b = 1b=1 のとき。