【数学分析笔记01】平均值不等式证明

小林up

已于 2022-09-02 08:16:07 修改

阅读量696

点赞数 1

分类专栏： # 数学分析文章标签：数学平均值不等式数学分析证明

于 2022-08-27 23:43:41 首次发布

本文链接：https://blog.csdn.net/subtitle_/article/details/126563949

版权

数学分析专栏收录该内容

6 篇文章 7 订阅

订阅专栏

引言

本科毕业以后越觉数学的奇妙，想弥补一下数学知识的证明，做点记录，方便后续查阅。

定理1.2.2-平均值不等式

${\frac{a_{1}+a_{2}+\cdots+a_{n}}{n}}\geq {\sqrt[n]{a_{1}a_{2}\cdots a_{n}}}\geq n{\Big/}\left({\frac{1}{a_{1}}}+{\frac{1}{a_{2}}}+\cdots+{\frac{1}{a_{n}}}\right)$
等号当且仅当 $a_{1},a_{2},\cdots,a_{n}$ 全部相等时成立。这就是说，算术平均值不小于几何平均值，几何平均值不小于调和平均值。
本证明摘自参考资料[1]p22 【第一章集合与映射 $\S2$ 映射与函数】

$【证明】$

先证明左边的不等式
${\frac{a_{1}+a_{2}+\cdots+a_{n}}{n}}\geq\sqrt[n]{a_{1}a_{2}\cdots a_{n}}\,.$ 当 $n = 1, 2$ 时，不等式显然成立。
当 $n=2^k(k∈N^+)$ 时，不等式是 ${\frac{a+b}{2}}\ge{\sqrt{a b}}$ 的直接推论。当 $\neq2^k(k∈N^+)$ 时，取 $l∈N^+$ ，使得 $2^{l-1}\lt n\lt 2^{l}$ 。记
$\sqrt{a_{1}a_{2}\cdots a_{n}}\,=\,{\bar{a}}$
在 $a_{1},a_{2},\cdots,a_{n}$ 后面加上
$2^{l}-n)$ 个 ${\bar{a}}$ ,将其扩充成 $2^{l}$ 个正数。对这 $2^{l}$ 正数应用不等式，得到
${\frac{1}{2^l}}{\Big[}a_{1}+a_{2}+\cdots+a_{n}+(2^{l}-n){\overline{{a}}}{\Big]}{\hat{z}}\geq(a_{1}a_{2}{\cdots}a_{n}{\overline{{a}}}^{2^l-n})^{{\frac{1}{2^l}}}={\bar{a}}$

整理后即有：
$\frac{a_{1}+a_{2}+\cdots+a_{n}}{n}\ge\sqrt[n]{a_{1}a_{2}\cdots a_{n}}$

对 ${\frac{1}{a_{1}}},{\frac{1}{a_{2}}},\cdots,{\frac{1}{a_{n}}}$ 使用上面的结论，便得到右边的不等式。

证毕