MathLabs

第2問

a,b,ca,b,c を三角形の辺とする。a2(b+c−a)+b2(c+a−b)+c2(a+b−c)≤3abca^2(b+c-a)+b^2(c+a-b)+c^2(a+b-c)\le3abc を証明せよ。
ステップ 4/4: AM-GM を適用する
x2y+x2z+y2x+y2z+z2x+z2y6≥xyz\frac{x^2y+x^2z+y^2x+y^2z+z^2x+z^2y}{6}\ge xyz
詳しい解説

左辺の6つの正項の積は (xyz)6(xyz)^6 である。AM-GM よりその平均は xyzxyz 以上となり、帰着した不等式、したがって元の主張が証明される。