$a$と$b$を実数として、不等式 $\frac{a^2+b^2}{2} \geq (\frac{a+b}{2})^2$ を証明せよ。代数学不等式実数証明2025/7/11. 問題の内容aaaとbbbを実数として、不等式 a2+b22≥(a+b2)2\frac{a^2+b^2}{2} \geq (\frac{a+b}{2})^22a2+b2≥(2a+b)2 を証明せよ。2. 解き方の手順まず、不等式の右辺を展開します。(a+b2)2=(a+b)24=a2+2ab+b24(\frac{a+b}{2})^2 = \frac{(a+b)^2}{4} = \frac{a^2+2ab+b^2}{4}(2a+b)2=4(a+b)2=4a2+2ab+b2次に、不等式の両辺に4を掛けます。これにより、分数がなくなります。4⋅a2+b22≥4⋅a2+2ab+b244 \cdot \frac{a^2+b^2}{2} \geq 4 \cdot \frac{a^2+2ab+b^2}{4}4⋅2a2+b2≥4⋅4a2+2ab+b22(a2+b2)≥a2+2ab+b22(a^2+b^2) \geq a^2+2ab+b^22(a2+b2)≥a2+2ab+b2左辺を展開します。2a2+2b2≥a2+2ab+b22a^2 + 2b^2 \geq a^2 + 2ab + b^22a2+2b2≥a2+2ab+b2不等式の両辺から a2+2ab+b2a^2+2ab+b^2a2+2ab+b2 を引きます。2a2+2b2−(a2+2ab+b2)≥02a^2 + 2b^2 - (a^2 + 2ab + b^2) \geq 02a2+2b2−(a2+2ab+b2)≥02a2+2b2−a2−2ab−b2≥02a^2 + 2b^2 - a^2 - 2ab - b^2 \geq 02a2+2b2−a2−2ab−b2≥0a2−2ab+b2≥0a^2 - 2ab + b^2 \geq 0a2−2ab+b2≥0(a−b)2≥0(a-b)^2 \geq 0(a−b)2≥0実数 a,ba, ba,b に対して (a−b)2(a-b)^2(a−b)2 は常に0以上なので、この不等式は常に成り立ちます。3. 最終的な答え不等式 a2+b22≥(a+b2)2\frac{a^2+b^2}{2} \geq (\frac{a+b}{2})^22a2+b2≥(2a+b)2 は証明されました。