05/01/12 18:10:07
>>897
容易 ( n ＞ 1 の時）
一般に正とは限らぬ実数列 a_1 ＜ a_2 ＜ ....... ＜ a_n,
b_1 ＜ b_2 ＜ ....... ＜ b_n があり、c1, c_2, .... , c_n が
b_1, b_2, ....... , b_n の並べ替えであるとき、
a_1*c_1 + a_2*c_2 + .... + a_n*c_n が最大となるのは
c_i = b_i, i = 1, 2, .... , n の時。（又その時に限る）。
なる事実（well-known）と
x + (1/x) ≧ 2, 等号は x = 1 の時なることより出る。