免費論壇 繁體 | 簡體
Sclub交友聊天~加入聊天室當版主
分享
返回列表 发帖

[不等式] 来自人教群的一道 $n$ 元不等式(平方平均的反向)

QQ截图20130729181954.png
2013-7-29 18:19


由对称性,不妨设 $a_1\leqslant a_2\leqslant \cdots \leqslant a_n$,则对 $i=1$, $2$, \ldots, $n$ 均有
\[(a_i-a_1)(a_i-a_n)\leqslant 0\iff a_i^2\leqslant (a_1+a_n)a_i-a_1a_n,\]
于是
\begin{align*}
&\frac{a_1^2+a_2^2+\cdots +a_n^2}n-\left( \frac{a_1+a_2+\cdots +a_n}n \right)^2 \\
\leqslant{}& \frac{(a_1+a_n)(a_1+a_2+\cdots+a_n)-na_1a_n}n-\left( \frac{a_1+a_2+\cdots +a_n}n \right)^2\\
={}&\frac{(na_1+na_n)(a_1+a_2+\cdots +a_n)-(na_1)\cdot(na_n)-(a_1+a_2+\cdots +a_n)^2}{n^2} \\
={}&\frac{(a_1+a_2+\cdots +a_n-na_1)(na_n-a_1-a_2-\cdots -a_n)}{n^2} \\
\leqslant{}&\frac{(a_1+a_2+\cdots +a_n-na_1+na_n-a_1-a_2-\cdots -a_n)^2}{4n^2} \\
={}&\frac{(a_n-a_1)^2}4,
\end{align*}
依题意显然 $(a_n-a_1)^2\leqslant a^2$,故原不等式得证。

等号成立当且仅当 $n$ 为偶数时 $a_i$ 中有一半是 $a$ 另一半是 $0$。
分享到: QQ空间QQ空间 腾讯微博腾讯微博 腾讯朋友腾讯朋友
$\href{https://kuingggg.github.io/}{\text{About Me}}$

返回列表 回复 发帖