証明

n(a1m+a2m+...+ anm) - (a1r+a2r+...+ anr) (a1s+a2s+...+ ans)
 = Σ1 ≤ i < j ≤ n (aim + ajm - air ajs - ais ajr) ≥ 0

が成り立つ。
等号は a1 = a2 = ...= an のときのみ 成立する。

ヒントに戻る
始めに戻る