>>199

コーシーより
(左辺){a(b+c)+b(c+d)+c(d+e)+d(e+f)+e(f+a)+f(a+b)} ≧ (a+b+c+d+e+f)^2
  = 3{a(b+c)+b(c+d)+c(d+e)+d(e+f)+e(f+a)+f(a+b)} + (1/2){(a-b+d-e)^2 + (a-c+d-f)^2 + (b-c+e-f)^2}
  ≧ 3{a(b+c)+b(c+d)+c(d+e)+d(e+f)+e(f+a)+f(a+b)},

以上は L.J.Mordell (1958) による方法で、n>6 には使えない。

(参考)
大関「不等式への招待」(近代科学社) p.28-30 例題4