调和平均小于等于几何平均小于等于算术平均小于等于平方平均

调和平均$\le$几何平均$\le$算术平均$\le$平方平均
即$\frac{n}{{\sum }_{i=1}^n\frac{1}{x_i}}\le \sqrt[n]{{\prod }_{i=1}^n{x}_i}\le \frac{{\sum }_{i=1}^n{x}_i}{n}\le \sqrt{\frac{{\sum }_{i=1}^n{x}_i^2}{n}}$
其中$x_i>0(i=1,2,\cdots ,n)$,当且仅当$x_1=x_2=\cdots =x_n$时取等
证明：
几何平均$\le$算术平均
由Jensen不等式
$\ln \frac{{\sum }_{i=1}^n{x}_i}{n}\ge \frac{{\sum }_{i=0}^n\ln x_i}{n}\ge \ln \sqrt[n]{{\prod }_{i=1}^n{x}_i}$
即$\sqrt[n]{{\prod }_{i=1}^n{x}_i}\le \frac{{\sum }_{i=1}^n{x}_i}{n}$
调和平均$\le$几何平均
$\frac{n}{{\sum }_{i=1}^n\frac{1}{x_i}}\ge \sqrt[n]{{\prod }_{i=1}^n\frac{1}{x_i}}=\frac{1}{\sqrt[n]{{\prod }_{i=1}^n{x}_i}}$
即$\frac{n}{{\sum }_{i=1}^n\frac{1}{x_i}}\le \sqrt[n]{{\prod }_{i=1}^n{x}_i}$
算术平均$\le$平方平均
设$A_n=\frac{{\sum }_{i=1}^n{x}_i}{n},Q_n=\sqrt{\frac{{\sum }_{i=1}^n{x}_i^2}{n}}$
要证明$A_n\le Q_n$
即证明$Q_n^2-A_n^2\ge 0$
$$\begin{array}{rl}{Q}_n^2-A_n^2& =Q_n^2-2A_n^2+A_n^2\\ & =\frac{{\sum }_{i=1}^n{x}_i^2}{n}-\frac{2({\sum }_{i=1}^n{x}_i)A_n}{n}+\frac{n{A}_n^2}{n}\\ & =\sum _{i=1}^n\frac{(x_i-A_n{)}^2}{n}\\ & \ge 0\end{array}$$
所以$A_n\le Q_n$