17/07/20 18:39:18.12 27eqirM3.net
>>188
Wlog、bを中央の項として、
c(a-b)(b-c)≧0 ⇔ b(a^2+ac+c^2) ≧ a^2b+b^2c+c^2a
(a+b+c)^5
＝ (1/8)*{2b + (a+c) + (a+c)}^3*(a+b+c)^2
≧ (27/4)*b(a+c)^2*(a+b+c)^2
＝ (27/4)*b*{(a^2+ac+c^2) + (ab+bc+ca)}^2
≧ 27b(a^2+ac+c^2)(ab+bc+ca)
≧ 27(a^2b+b^2c+c^2a)(ab+bc+ca)
┏━━┓
┃ Q.E.D. ┃
┗━┳━┛
( ﾟ∀ﾟ) ノ