均值不等式及其证明

前言

还有很多证明方法，等我学了再写 qwq

---

均值不等式

引理1：若 $a\ge 0,b\ge 0$ ，则 $(a+b{)}^n\ge a^n+n{a}^{n-1}b,n\in {\mathbb{Z}}_{+}$

直接二项式展开，证明略

---

命题1：求证 $\frac{{\sum }_{i=1}^n{a}_i}{n}\ge \sqrt[n]{{\prod }_{i=1}^n{a}_i}$

数学归纳法证明：原命题等价于 ${\left(\frac{{\sum }_{i=1}^n{a}_i}{n}\right)}^n\ge \prod _{i=1}^n{a}_i$

设 $n=k$ 时原不等式成立

不妨假设 $\forall i<j,a_i<a_j$

记 $S_n=\sum _{i=1}^n{a}_i$

当 $n=k+1$ 时，原不等式为

${\left(\frac{S_k+a_{k+1}}{k+1}\right)}^{k+1}\ge \prod _{i=1}^{k+1}{a}_i$

${\left(\frac{S_k}{k}+\frac{k{a}_{k+1}-S_k}{k(k+1)}\right)}^{k+1}\ge \prod _{i=1}^{k+1}{a}_i$

由引理1可知 $LHS\ge {\left(\frac{S_k}{k}\right)}^{k+1}+(k+1){\left(\frac{S_k}{k}\right)}^k\frac{k{a}_{k+1}-S_k}{k(k+1)}$

∵ a k + 1 = max ⁡ 1 ≤ i ≤ k + 1 { a i } \because a_{k+1}=\max\limits_{1\le i \le k+1}\{a_i\} ∵ak+1​=1≤i≤k+1max​{ai​}

$\therefore k{a}_{k+1}-S_k\ge 0$

故 $LHS\ge {\left(\frac{S_k}{k}\right)}^k\times a_{k+1}\ge RHS$

故原命题得证

---

命题2：求证 $\sqrt{\frac{{\sum }_{i=1}^n{a}_i^2}{n}}\ge \frac{{\sum }_{i=1}^n{a}_i}{n}$

证明：令 $c=\frac{{\sum }_{i=1}^n{a}_i}{n},x_i=a_i-c$

则 ${\sum }_{i=1}^n{a}_i={\sum }_{i=1}^n{x}_i+nc={\sum }_{i=1}^n{x}_i+{\sum }_{i=1}^n{a}_i$

$\therefore {\sum }_{i=1}^n{x}_i=0$

$\therefore LHS=\sqrt{\frac{{\sum }_{i=1}^n{\left(x_i+c\right)}^2}{n}}$

$=\sqrt{c^2+\frac{{\sum }_{i=1}^n{x}_i^2}{n}}\ge \sqrt{c^2}=RHS$

故原命题得证

---

命题3：求证 $\sqrt[n]{{\prod }_{i=1}^n{a}_i}\ge \frac{n}{{\sum }_{i=1}^n{a}_i^{-1}}$

证明：由命题1可知

$\frac{{\sum }_{i=1}^n{a}_i^{-1}}{n}\ge \sqrt[n]{{\prod }_{i=1}^n{a}_i^{-1}}=\frac{1}{\sqrt[n]{{\prod }_{i=1}^n{a}_i}}$

$\therefore \sqrt[n]{{\prod }_{i=1}^n{a}_i}\ge \frac{n}{{\sum }_{i=1}^n{a}_i^{-1}}$

故原命题得证

---

$\therefore$ 综上所述，可得结论（均值不等式）

$\frac{n}{{\sum }_{i=1}^n{a}_i^{-1}}\le \sqrt[n]{{\prod }_{i=1}^n{a}_i}\le \frac{{\sum }_{i=1}^n{a}_i}{n}\le \sqrt{\frac{{\sum }_{i=1}^n{a}_i^2}{n}}$

当且仅当 $a_1=a_2=...=a_n$ 时等号成立

也就是

调和平均数不超过几何平均数不超过算术平均数不超过平方平均数