k89s2

n個(n≧3)の実数a_1,a_2,\ldots,a_nがあり,各a_iは他のn-1個の相加平均より大きくはないという.このようなa_1,a_2,\ldots,a_nの組をすべてもとめよ.

s=\sum_{k=1}^na_kとおく.
条件よりa_i\leq \frac{s-a_i}{n-1}であり,両辺n-1倍してa_iを加えるとna_i\leq s(*).
これのi=1からnまでの総和をとるとns=\sum_{k=1}^n na_i \leq nsである.
ここで等号が成立する条件は(*)の等号が成立するとき,つまりa_i=\frac{s}{n}のとき.
このとき,a_iはiによらないので全て等しい.
従って,求めるa_1,a_2,\ldots,a_nの組は(a,a,…,a) (a:定数).
最終更新:2013年09月29日 23:32