| 2007/11/27(Tue) 21:39:30 編集(投稿者)
■No29724に返信(考える人さんの記事) > (1)≦,≦のとき、x_1y_1+x_2y_2とx_1y_2+x_2y_1の大小を比較せよ。
x[1]≦x[2], y[1]≦y[2] のとき x[1]y[2]+x[2]y[1]≦x[1]y[1]+x[2]y[2] これを(2)で使う。
> (2)は2以上の自然数とし、 > ……および…… > を満たす数列,……,および,……, > が与えられている。 > ,……,を並びかえて得られるどのような数列,……, > に対しても、 > ≦ > が成り立つことを示せ。
x[1]≦x[2]≦…≦x[n]である数列{x[n]}と、数列{z[n]}: z[1],z[2],…,z[n] について x[1]z[1]+x[2]z[2]+…+x[n]z[n] を考える。 z[1],…,z[n]のうち最小のz[k]と,z[1]を入れ替えると、(1)より x[1]z[1]+x[2]z[2]+…+x[k]z[k]+…+x[n]z[n]≦x[1]z[k]+x[2]z[2]+…+x[k]z[1]+…+x[n]z[n] となる。右辺について、z[k]=y[1] とおき、z[1]=z[k] と書き直す。 x[1]y[1]+x[2]z[2]+…+x[n]z[n] について z[2],…,z[n]のうち最小のz[k]と,z[2]を入れ替えると、(1)より x[1]y[1]+x[2]z[2]+…+x[k]z[k]+…+x[n]z[n]≦x[1]y[1]+x[2]z[k]+…+x[k]z[2]+…+x[n]z[n] となる。右辺について、z[k]=y[2] とおき、z[2]=z[k] と書き直す。 同様に続けて x[1]z[1]+x[2]z[2]+…+x[n]z[n]≦x[1]y[1]+x[2]y[2]+…+x[n]y[n] となり、y[1]≦y[2]≦…≦y[n] となる。
|