$a, b$ が実数のとき、不等式 $a^2 + 5b^2 \ge 4ab + 2b - 1$ が成り立つことを証明する問題です。代数学不等式平方完成実数2025/5/251. 問題の内容a,ba, ba,b が実数のとき、不等式 a2+5b2≥4ab+2b−1a^2 + 5b^2 \ge 4ab + 2b - 1a2+5b2≥4ab+2b−1 が成り立つことを証明する問題です。2. 解き方の手順与えられた不等式を整理し、平方完成を用いて証明します。まず、不等式の右辺を左辺に移項します。a2+5b2−4ab−2b+1≥0a^2 + 5b^2 - 4ab - 2b + 1 \ge 0a2+5b2−4ab−2b+1≥0次に、aaa について平方完成を行います。(a2−4ab)+5b2−2b+1≥0 (a^2 - 4ab) + 5b^2 - 2b + 1 \ge 0 (a2−4ab)+5b2−2b+1≥0(a−2b)2−(2b)2+5b2−2b+1≥0 (a - 2b)^2 - (2b)^2 + 5b^2 - 2b + 1 \ge 0 (a−2b)2−(2b)2+5b2−2b+1≥0(a−2b)2−4b2+5b2−2b+1≥0 (a - 2b)^2 - 4b^2 + 5b^2 - 2b + 1 \ge 0 (a−2b)2−4b2+5b2−2b+1≥0(a−2b)2+b2−2b+1≥0 (a - 2b)^2 + b^2 - 2b + 1 \ge 0 (a−2b)2+b2−2b+1≥0さらに、bbb について平方完成を行います。(a−2b)2+(b−1)2≥0 (a - 2b)^2 + (b - 1)^2 \ge 0 (a−2b)2+(b−1)2≥0aaa と bbb は実数なので、(a−2b)2≥0(a - 2b)^2 \ge 0(a−2b)2≥0 かつ (b−1)2≥0(b - 1)^2 \ge 0(b−1)2≥0 です。したがって、(a−2b)2+(b−1)2≥0(a - 2b)^2 + (b - 1)^2 \ge 0(a−2b)2+(b−1)2≥0が成り立ちます。3. 最終的な答えa2+5b2≥4ab+2b−1a^2 + 5b^2 \ge 4ab + 2b - 1a2+5b2≥4ab+2b−1 が成り立つ。