平均值不等式证明（数学归纳法）

平均值不等式：对任意的$n$个正数$a_1，a_2，a_3，...，a_n$，有

$$\frac{a_1+a_2+a_3+...+a_n}{n} \ge \sqrt[n]{a_1a_2a_3...a_n} \ge \frac{n}{\frac{1}{a_1} + \frac{1}{a_2} + \frac{1}{a_3} +...+ \frac{1}{a_n}}.$$
证明：
先证： $\frac{a_1+a_2+a_3+...+a_n}{n} \ge \sqrt[n]{a_1a_2a_3...a_n}$.
(1) $n=1$时：
$\ \ \ \ a_1=a_1$，显然成立.
(2) $n=2$时：
$\ \ \ \ \because (a_1 - a_2)^2 \ge 0$，即 $a_1^2 - 2a_1a_2 + a_2^2 \ge 0$，两边同加上 $4a_1a_2$，得： $a_1^2 + 2a_1a_2 + a_2^2 \ge 4a_1a_2$.
$\ \ \ \ \therefore (a_1 + a_2)^2 \ge 4a_1a_2$.
$\ \ \ \ \because a_n \gt 0$.
$\ \ \ \ \therefore a_1 + a_2 \gt 0，a_1a_2 \gt 0$.
$\ \ \ \ $两边开平方，得： $a_1 + a_2 \ge 2\sqrt{a_1a_2}$，即： $\frac{a_1 + a_2}{2} \ge \sqrt{a_1a_2}$（基本不等式）.
$\ \ \ \ $符合上述不等式.
(3) $n=2^k (k\in N_+)$时：
$\ \ \ \ $1、 $k=1$时， $n = 2$：(2)处已证明.
$\ \ \ \ $2、 $k\neq 1$时：
$\ \ \ \ \ \ \ \ n = 2^{k - 1}$时：假设上述不等式成立，即 $\frac{a_1+a_2+a_3+...+a_{2^{k - 1}}}{2^{k - 1}} \ge \sqrt[2^{k - 1}]{a_1a_2a_3...a_{2^{k - 1}}}$.
$\ \ \ \ \ \ \ \ n = 2^k$时：将数列分成项数相同（各有 $2^{k - 1}$项）的两部分 $a_1，a_2，...，a_{2^{k - 1}}和a_{2^{k - 1}+1}，a_{2^{k - 1}+2}，...，a_{2^k}$.
$\ \ \ \ \ \ \ \ $设 $A = a_1+a_2+...+a_{2^{k - 1}}，B = a_{2^{k - 1}+1}+a_{2^{k - 1}+2}+...+a_{2^k}，P = a_1a_2a_3...a_{2^{k - 1}}，Q = a_{2^{k - 1}+1}a_{2^{k - 1}+2}...a_{2^k}$.
$\ \ \ \ \ \ \ \ \because \frac{a_1+a_2+a_3+...+a_{2^{k - 1}}}{2^{k - 1}} \ge \sqrt[2^{k - 1}]{a_1a_2a_3...a_{2^{k - 1}}}$.
$\ \ \ \ \ \ \ \ \therefore \frac{\frac{A}{2^{k - 1}} + \frac{B}{2^{k - 1}}}{2} \ge \frac{P^{\frac{1}{2^{k - 1}}} + Q^{\frac{1}{2^{k - 1}}}}{2}$.
$\ \ \ \ \ \ \ \ \because$由基本不等式得： $\frac{P^{\frac{1}{2^{k - 1}}} + Q^{\frac{1}{2^{k - 1}}}}{2} \ge \sqrt{(PQ)^{\frac{1}{2^{k - 1}}}} = \sqrt[2^k]{PQ}$.
$\ \ \ \ \ \ \ \ \therefore \frac{\frac{A}{2^{k - 1}} + \frac{B}{2^{k - 1}}}{2} \ge \sqrt[2^k]{PQ}$.
$\ \ \ \ \ \ \ \ \therefore \frac{A+B}{2^k} \ge \sqrt[2^k]{PQ}$，即： $\frac{a_1+a_2+a_3+...+a_{2^k}}{2^k} \ge \sqrt[2^k]{a_1a_2a_3...a_{2^k}}$.
$\ \ \ \ \ \ \ \ $与假设相符，符合上述不等式.
(4) $n ≠ 2^k (k\in N_+)$时：
$\ \ \ \ $存在 $k∈N_+$，使得 $2^{k-1} < n < 2^k$.
$\ \ \ \ $设 $\sqrt[n]{a_1a_2...a_n} = X$.
$\ \ \ \ $在数列尾部补上 $2^{k-n}$个 $X$，使之成为$a_1，a_2，...，a_n，X，...，X，X$.
$\ \ \ \ $此时该数列有 $2^k$项，根据(3)的结论得： $\frac{a_1+a_2+...+a_n+(2^k-n)X}{2^k} \ge \sqrt[2^k]{a_1a_2...a_nX^{2^k-n}}$.
$\ \ \ \ \because a_1a_2...a_n = X^n$.
$\ \ \ \ \therefore \sqrt[2^k]{a_1a_2...a_nX^{2^k-n}} = X$.
$\ \ \ \ \therefore \frac{a_1+a_2+...+a_n+(2^k-n)X}{2^k} \ge X$.
$\ \ \ \ \therefore \frac{a_1+a_2+...+a_n-nX}{2^k} \ge 0，即a_1+a_2+...+a_n-nX \ge 0$.
$\ \ \ \ \therefore \frac{a_1+a_2+...+a_n}{n} \ge X，即\frac{a_1+a_2+...+a_n}{n} \ge \sqrt[n]{a_1a_2...a_n}$，符合上述不等式.
综合(1)(2)(3)(4)得： $\frac{a_1+a_2+a_3+...+a_n}{n} \ge \sqrt[n]{a_1a_2a_3...a_n}$成立.

再证：$\sqrt[n]{a_1a_2a_3...a_n} \ge \frac{n}{\frac{1}{a_1} + \frac{1}{a_2} + \frac{1}{a_3} +...+ \frac{1}{a_n}}$.
$\ \ \ \ $将数列$\frac{1}{a_1}，\frac{1}{a_2}，...，\frac{1}{a_n}$带入不等式$\frac{a_1+a_2+a_3+...+a_n}{n} \ge \sqrt[n]{a_1a_2a_3...a_n}$，得：
$\ \ \ \ \frac{\frac{1}{a_1}+\frac{1}{a_2}+...+\frac{1}{a_n}}{n} \ge \sqrt[n]{\frac{1}{a_1}\frac{1}{a_2}...\frac{1}{a_n}}$，两边取倒数，得$\sqrt[n]{a_1a_2a_3...a_n} \ge \frac{n}{\frac{1}{a_1} + \frac{1}{a_2} + \frac{1}{a_3} +...+ \frac{1}{a_n}}$，上述不等式得证.
综上：平均值不等式成立.（证毕）

参考文献：
[1]数学分析 .上册/陈纪修，於崇华，金路. —2版. —北京：高等教育出版社，2004.5（2014.5重印）ISBN 978-7-04-013852-8.