分からない問題はここに書いてね 468

コーシーのところをラグランジュ恒等式で表わせば
(a+b+c) (a^3+b^3+c^3) - (aa+bb+cc)^2
　= ab(a-b)^2 + bc(b-c)^2 + ca(c-a)^2
　≧ 0,
等号成立は a=b=c.