不等式 $a^2 + 9b^2 \geq 4ab$ を証明せよ。代数学不等式証明平方完成実数2025/5/101. 問題の内容不等式 a2+9b2≥4aba^2 + 9b^2 \geq 4aba2+9b2≥4ab を証明せよ。2. 解き方の手順まず、a2+9b2≥4aba^2 + 9b^2 \geq 4aba2+9b2≥4ab を変形して、a2−4ab+9b2≥0a^2 - 4ab + 9b^2 \geq 0a2−4ab+9b2≥0 を示すことを目指します。この左辺を平方完成させることを考えます。a2−4ab+9b2=a2−4ab+(2b)2−(2b)2+9b2a^2 - 4ab + 9b^2 = a^2 - 4ab + (2b)^2 - (2b)^2 + 9b^2a2−4ab+9b2=a2−4ab+(2b)2−(2b)2+9b2=(a−2b)2−4b2+9b2= (a - 2b)^2 - 4b^2 + 9b^2=(a−2b)2−4b2+9b2=(a−2b)2+5b2= (a - 2b)^2 + 5b^2=(a−2b)2+5b2したがって、a2+9b2−4ab=(a−2b)2+5b2a^2 + 9b^2 - 4ab = (a-2b)^2 + 5b^2a2+9b2−4ab=(a−2b)2+5b2 となります。(a−2b)2(a-2b)^2(a−2b)2 は実数の2乗なので、常に0以上です。つまり、(a−2b)2≥0(a-2b)^2 \geq 0(a−2b)2≥0 です。同様に、5b25b^25b2 も実数の2乗に5をかけたものなので、常に0以上です。つまり、5b2≥05b^2 \geq 05b2≥0 です。したがって、(a−2b)2+5b2≥0(a-2b)^2 + 5b^2 \geq 0(a−2b)2+5b2≥0 が成り立ちます。よって、a2+9b2−4ab≥0a^2 + 9b^2 - 4ab \geq 0a2+9b2−4ab≥0 となり、a2+9b2≥4aba^2 + 9b^2 \geq 4aba2+9b2≥4ab が証明されました。3. 最終的な答えa2+9b2≥4aba^2 + 9b^2 \geq 4aba2+9b2≥4ab が成り立つ。