次の不等式を証明します。 $(x^4 + y^4)(x^2 + y^2) \ge (x^3 + y^3)^2$代数学不等式式の展開証明相加相乗平均2025/4/221. 問題の内容次の不等式を証明します。(x4+y4)(x2+y2)≥(x3+y3)2(x^4 + y^4)(x^2 + y^2) \ge (x^3 + y^3)^2(x4+y4)(x2+y2)≥(x3+y3)22. 解き方の手順不等式の両辺の差を計算し、それが0以上であることを示します。左辺を展開すると:(x4+y4)(x2+y2)=x6+x4y2+x2y4+y6(x^4 + y^4)(x^2 + y^2) = x^6 + x^4y^2 + x^2y^4 + y^6(x4+y4)(x2+y2)=x6+x4y2+x2y4+y6右辺を展開すると:(x3+y3)2=(x3)2+2(x3)(y3)+(y3)2=x6+2x3y3+y6(x^3 + y^3)^2 = (x^3)^2 + 2(x^3)(y^3) + (y^3)^2 = x^6 + 2x^3y^3 + y^6(x3+y3)2=(x3)2+2(x3)(y3)+(y3)2=x6+2x3y3+y6差を計算すると:x6+x4y2+x2y4+y6−(x6+2x3y3+y6)=x4y2+x2y4−2x3y3=x2y2(x2−2xy+y2)=x2y2(x−y)2x^6 + x^4y^2 + x^2y^4 + y^6 - (x^6 + 2x^3y^3 + y^6) = x^4y^2 + x^2y^4 - 2x^3y^3 = x^2y^2(x^2 - 2xy + y^2) = x^2y^2(x-y)^2x6+x4y2+x2y4+y6−(x6+2x3y3+y6)=x4y2+x2y4−2x3y3=x2y2(x2−2xy+y2)=x2y2(x−y)2x2y2(x−y)2x^2y^2(x-y)^2x2y2(x−y)2 は常に0以上です。なぜなら、x2≥0x^2 \ge 0x2≥0, y2≥0y^2 \ge 0y2≥0, (x−y)2≥0(x-y)^2 \ge 0(x−y)2≥0 であるからです。したがって、x2y2(x−y)2≥0x^2y^2(x-y)^2 \ge 0x2y2(x−y)2≥0 が成り立ちます。したがって、(x4+y4)(x2+y2)−(x3+y3)2≥0(x^4 + y^4)(x^2 + y^2) - (x^3 + y^3)^2 \ge 0(x4+y4)(x2+y2)−(x3+y3)2≥0 となり、(x4+y4)(x2+y2)≥(x3+y3)2(x^4 + y^4)(x^2 + y^2) \ge (x^3 + y^3)^2(x4+y4)(x2+y2)≥(x3+y3)2 が証明されました。3. 最終的な答え(x4+y4)(x2+y2)≥(x3+y3)2(x^4 + y^4)(x^2 + y^2) \ge (x^3 + y^3)^2(x4+y4)(x2+y2)≥(x3+y3)2