- 577 名前：１３２人目の素数さん mailto:sage [2011/08/29(月) 02:38:43.69 ]
- >>573
右: 4(a+b)(b+c)(c+a) - (a+b+c)^3 = aa(b+c-a) + bb(c+a-b) + cc(a+b-c) + 2abc > 0,
左: 相加相乗平均
8(a+b+c)^3 -27(a+b)(b+c)(c+a)
= 3(a+b)(a-b)^2 + 3(b+c)(b-c)^2 + 3(c+a)(c-a)^2 + 2(a^3+b^3+c^3-3abc) ≧ 0,
