《不等式证明选讲》笔记

本文内容是《不等式证明选讲》一书的笔记

排序不等式

对于两组数$a_1,a_2,a_3...a_n和b_1,b_2,b_3...,b_n$，且 $a_1\le a_2\le a_3\le ...\le a_n$， $b_1\le b_2\le b_3\le ...\le b_n$，设$c_1,c_2...c_n$是$b_1,b_2,b_3...,b_n$的任一排列，

设$a_1{b}_1+a_2{b}_2+...+a_n{b}_n$为正序和，$a_1{c}_1+a_2{c}_2+...+a_n{c}_n$为乱序和，$a_1{b}_n+a_2{b}_{n-1}+...+a_n{b}_1$为反序和。

则$a_1{b}_1+a_2{b}_2+...+a_n{b}_n\ge a_1{c}_1+a_2{c}_2+...+a_n{c}_n\ge a_1{b}_n+a_2{b}_{n-1}+...+a_n{b}_1$
当$a_1=a_2=...=a_n或b_1=b_2=...=b_n$（反序和 = 正序和）时等号成立

证明：
设 i < j, 且 $c_i\le c_j$
此时
\qquad $s_1=a_1{c}_1+a_2{c}_2+...+a_i{c}_i+a_j{c}_j+...+a_n{c}_n$
\qquad $s_2=a_1{c}_1+a_2{c}_2+...+a_i{c}_j+a_j{c}_i+...+a_n{c}_n$
$s_2$仅是在$s_1$的基础上将$c_i与c_j$互换了位置，做差比较得：
\qquad $s_2-s_1=a_i{c}_i+a_j{c}_j-a_i{c}_j+a_j{c}_i=(a_j-a_i)\cdot (ci-cj)\le 0$
这说明在一切和数中{$c_n$}按从小到大排列时的和数是最大的。
再证明当$a_1=a_2=...=a_n或b_1=b_2=...=b_n$时等号成立。
不妨设$a_1=a_2=...=a_n=A$则不论{$c_n$}顺序如何，和数均为$A\cdot (b_1+b_2+...+b_n)$，反之若$a_1,a_2,a_3...a_n$不全相等，$b_1,b_2,b_3...,b_n$也不全相等，不妨设$a_1<a_2,i<j$且$c_i<c_j$，并将$c_i,c_j$置于{$c_n$}的前二位。

即设
s^’ = ($c_i,c_j,c_3,c_4,...,c_n$)
s^’’ =($c_j,c_i,c_3,c_4,...,c_n$)
$s_1^{{}^{\prime }}=a_1{c}_i+a_2{c}_j+a_3{c}_3+...+a_n{c}_n$
$s_2^{{}^{\prime }}=a_1{c}_j+a_2{c}_i+a_3{c}_3+...+a_n{c}_n$
做差比较得：$s_1^{{}^{\prime }}-s_2^{{}^{\prime }}=(c_j-c_i)\cdot (a_2-a_1)>0$，即$s_1^{{}^{\prime }}>s_2^{{}^{\prime }}$
即当且仅当$a_1=a_2=...=a_n或b_1=b_2=...=b_n$（反序和 = 正序和）时等号成立。

平均值不等式

首先我们已知有代数平均值$\frac{1}{n}\cdot \sum _{i=1}^n{x}_i$，几何平均值$\sqrt[n]{\prod _{i=1}^n}{a}_i$，调和平均值$\frac{n}{\sum _{i=1}^n\frac{1}{x_i}}$，三者都可称作“平均值”，可它们又有怎样的区别，即该在何种条件下使用呢？

代数平均值的由来

统计中经常要考虑使方差最小，即面对一大组数据$x_i$要如何选取平均值$\overline{x}$，使得$\sum _{i=1}^n(x_i-\overline{x}{)}^2$最小(也可认为是误差或者偏差达到最小)。
可取$f(x)=\sum _{i=1}^n(x_i-\overline{x}{)}^2=n{\overline{x}}^2-2(\sum _{i=1}^n{x}_i)\cdot x+\sum _{i=1}^n{x}_i^2$，这是一个二次函数。
则当X取对称轴位置$x=-\frac{b}{2a}=\frac{1}{n}\cdot \sum _{i=1}^n{x}_i$的时候，原函数取到最小值。这便是代数平均值的由来。

证明：$\frac{1}{n}\cdot \sum _{i=1}^n{x}_i$ $\ge$ $\sqrt[n]{\prod _{i=1}^n}{a}_i$
这是齐次不等式，所以可以用标准化方法。
首先证明当$a_1\cdot a_2...a_n$时上式成立。
设
$x_1=1,x_2=\frac{1}{a_1},x_3=\frac{1}{a_1{a}_2}...x_n=\frac{1}{a_1{a}_2...a_{n-1}}$
$y_1=1/x_1,y_2=1/x_2...y_n=1/x_n$
若$b_1,b_2...b_n$是$x_1,x_2,...,x_n$的一个排列且满足
$0\le b_1\le b_2\le ...\le b_n$, 则$\frac{1}{b_1}\ge \frac{1}{b_2}\ge ...\ge \frac{1}{b_n}\ge 0$，由反序和$\le$乱序和知
$b_1\cdot \frac{1}{b_1}+b_2\cdot \frac{1}{b_2}+...+b_n\cdot \frac{1}{b_n}\le x_1{y}_2+x_2{y}_3+,,,+x_{n-1}{y}_n+x_n{y}_1$，就是说$n\le a_1+a_2+...+a_{n-1}+\frac{1}{a_1{a}_2...a_{n-1}}$
又因为$\frac{1}{a_1{a}_2...a_{n-1}}=a_n$，所以$\frac{1}{n}\cdot \sum _{i=1}^n{x}_i\ge 1$符合上式，等号成立条件为：$x_1=x_2=...=x_n=1⟺a_1=a_2=...=a_n=1$
下面证明一般情况：
设$\sqrt[n]{\prod _{i=1}^n}{a}_i=G$
所以$\frac{a_1}{G}\cdot \frac{a_2}{G}\cdot \frac{a_3}{G}\cdot ...\frac{a_n}{G}\cdot =1$，由上述证明知$\frac{1}{n}\cdot (\frac{a_1}{G}+\frac{a_2}{G}+...+\frac{a_n}{G})\ge 1$
所以
$\frac{1}{n}\cdot \sum _{i=1}^n{x}_i$ $\ge$ $\sqrt[n]{\prod _{i=1}^n}{a}_i$证毕！