不等式 $a^2 - ab + b^2 \ge 0$ を証明し、等号が成り立つ条件を求める。代数学不等式証明平方完成等号条件2025/5/111. 問題の内容不等式 a2−ab+b2≥0a^2 - ab + b^2 \ge 0a2−ab+b2≥0 を証明し、等号が成り立つ条件を求める。2. 解き方の手順与えられた式 a2−ab+b2a^2 - ab + b^2a2−ab+b2 を変形して、平方完成を目指します。a2−ab+b2a^2 - ab + b^2a2−ab+b2 の aaa に関する平方完成を行うために、a2−2⋅a⋅b2+(b2)2a^2 - 2 \cdot a \cdot \frac{b}{2} + (\frac{b}{2})^2a2−2⋅a⋅2b+(2b)2 の形を目指します。そのため、a2−ab+b2=a2−2⋅a⋅b2+(b2)2−(b2)2+b2a^2 - ab + b^2 = a^2 - 2 \cdot a \cdot \frac{b}{2} + (\frac{b}{2})^2 - (\frac{b}{2})^2 + b^2a2−ab+b2=a2−2⋅a⋅2b+(2b)2−(2b)2+b2=(a−b2)2−b24+b2= (a - \frac{b}{2})^2 - \frac{b^2}{4} + b^2=(a−2b)2−4b2+b2=(a−b2)2+34b2= (a - \frac{b}{2})^2 + \frac{3}{4} b^2=(a−2b)2+43b2ここで、(a−b2)2≥0(a - \frac{b}{2})^2 \ge 0(a−2b)2≥0 であり、34b2≥0\frac{3}{4} b^2 \ge 043b2≥0 であるから、(a−b2)2+34b2≥0(a - \frac{b}{2})^2 + \frac{3}{4} b^2 \ge 0(a−2b)2+43b2≥0したがって、a2−ab+b2≥0a^2 - ab + b^2 \ge 0a2−ab+b2≥0 が証明されました。等号が成り立つのは、(a−b2)2=0(a - \frac{b}{2})^2 = 0(a−2b)2=0 かつ 34b2=0\frac{3}{4} b^2 = 043b2=0 のときです。34b2=0\frac{3}{4} b^2 = 043b2=0 より、b=0b=0b=0a−b2=0a - \frac{b}{2} = 0a−2b=0 に b=0b=0b=0 を代入すると、a−0=0a - 0 = 0a−0=0 より、a=0a=0a=0したがって、a=b=0a=b=0a=b=0 のとき、等号が成り立ちます。3. 最終的な答え不等式 a2−ab+b2≥0a^2 - ab + b^2 \ge 0a2−ab+b2≥0 は証明された。等号が成り立つのは a=b=0a=b=0a=b=0 のときである。