不等式 $x^2 + 5y^2 \geq 4xy$ を証明せよ。また、等号成立条件も求めよ。代数学不等式証明平方完成等号成立条件2025/6/261. 問題の内容不等式 x2+5y2≥4xyx^2 + 5y^2 \geq 4xyx2+5y2≥4xy を証明せよ。また、等号成立条件も求めよ。2. 解き方の手順まず、x2+5y2−4xy≥0x^2 + 5y^2 - 4xy \geq 0x2+5y2−4xy≥0 を示すことを目指します。x2−4xy+5y2x^2 - 4xy + 5y^2x2−4xy+5y2 を平方完成します。x2−4xy+5y2=(x2−4xy+4y2)+y2=(x−2y)2+y2x^2 - 4xy + 5y^2 = (x^2 - 4xy + 4y^2) + y^2 = (x-2y)^2 + y^2x2−4xy+5y2=(x2−4xy+4y2)+y2=(x−2y)2+y2したがって、x2+5y2−4xy=(x−2y)2+y2x^2 + 5y^2 - 4xy = (x-2y)^2 + y^2x2+5y2−4xy=(x−2y)2+y2(x−2y)2≥0(x-2y)^2 \geq 0(x−2y)2≥0 かつ y2≥0y^2 \geq 0y2≥0 より、 (x−2y)2+y2≥0(x-2y)^2 + y^2 \geq 0(x−2y)2+y2≥0 が成り立ちます。よって、x2+5y2−4xy≥0x^2 + 5y^2 - 4xy \geq 0x2+5y2−4xy≥0 が示されました。等号成立条件を考えます。(x−2y)2+y2=0(x-2y)^2 + y^2 = 0(x−2y)2+y2=0 となるのは、x−2y=0x-2y = 0x−2y=0 かつ y=0y = 0y=0 のときです。したがって、x=2yx = 2yx=2y かつ y=0y = 0y=0 より、x=0x = 0x=0 かつ y=0y = 0y=0 となります。3. 最終的な答え不等式 x2+5y2≥4xyx^2 + 5y^2 \geq 4xyx2+5y2≥4xy は証明されました。等号成立条件は x=0x=0x=0 かつ y=0y=0y=0 です。