不等式 $x^2 + 3y^2 \geq 2xy$ が成り立つことを証明し、等号が成り立つ条件を求める問題です。代数学不等式証明平方完成等号条件2025/6/221. 問題の内容不等式 x2+3y2≥2xyx^2 + 3y^2 \geq 2xyx2+3y2≥2xy が成り立つことを証明し、等号が成り立つ条件を求める問題です。2. 解き方の手順まず、与式の左辺から右辺を引きます。x2+3y2−2xyx^2 + 3y^2 - 2xyx2+3y2−2xyこの式を平方完成させます。y2y^2y2を2つに分けて考えます。x2−2xy+y2+2y2=(x−y)2+2y2x^2 - 2xy + y^2 + 2y^2 = (x-y)^2 + 2y^2x2−2xy+y2+2y2=(x−y)2+2y2したがって、x2+3y2−2xy=(x−y)2+2y2x^2 + 3y^2 - 2xy = (x-y)^2 + 2y^2x2+3y2−2xy=(x−y)2+2y2(x−y)2≥0(x-y)^2 \geq 0(x−y)2≥0 であり、2y2≥02y^2 \geq 02y2≥0 であるから、 (x−y)2+2y2≥0(x-y)^2 + 2y^2 \geq 0(x−y)2+2y2≥0 となります。よって、x2+3y2≥2xyx^2 + 3y^2 \geq 2xyx2+3y2≥2xy が成り立ちます。等号が成り立つのは、 (x−y)2=0(x-y)^2 = 0(x−y)2=0 かつ 2y2=02y^2 = 02y2=0 のときです。(x−y)2=0(x-y)^2 = 0(x−y)2=0 より x=yx = yx=y2y2=02y^2 = 02y2=0 より y=0y = 0y=0したがって、x=y=0x = y = 0x=y=0 のとき、等号が成り立ちます。3. 最終的な答えx2+3y2−2xy=(x−y)2+2y2x^2 + 3y^2 - 2xy = (x-y)^2 + 2y^2x2+3y2−2xy=(x−y)2+2y2x=y=0x=y=0x=y=0 のときに成り立つ。