AM-GM不等式

@kokomi@

已于 2024-07-01 21:59:33 修改

阅读量1.7k

点赞数 8

文章标签：学习

于 2024-06-29 20:50:16 首次发布

本文链接：https://blog.csdn.net/qq_42646790/article/details/140068849

版权

AM-GM 即算术平均数和几何平均数不等式

在高中，我们研究了其 $n = 2$ 的情况
$\sqrt {ab} \le \frac {a + b} 2, a, b \ge 0$
完整的不等式表述如下
$(\prod _{i = 1} ^ n a_i) ^ {\frac 1 n} \le \frac {\sum_{i = 1} ^ n a_i} n,a_i\ge0$
其最经典的证明为反向归纳法

Proof . 我们记命题函数 $P (n)$ ， $P (n)$ 为真表示 $n$ 满足上述不等式，为假表示不满足.

(1) 考虑 $\in \N$ , 我们利用二元情况正向归纳

假设原问题对 $n_0 = 2 ^ {k_0}, k_0 < k \in \N$ 成立，显然 $k_0 = 0, 1$ 必然成立

对 $n=2 ^{k_0+1}$ ，我们有
$(\prod _{i = 1} ^ n a_i) ^ {\frac 1 n} = (a_1 .. a_{\frac n 2})^ \frac 1 n (a_{\frac n 2 + 1} .. a_n)^ \frac 1 n = \sqrt {(a_1 .. a_{\frac n 2})^ \frac 2 n (a_{\frac n 2 + 1} .. a_n)^ \frac 2 n} \\ \le \sqrt{\frac {\sum_{i = 1} ^ {\frac n 2} a_i} {\frac n 2} \frac {\sum_{i = \frac n 2 + 1} ^ n a_i} {\frac n 2}}= \sqrt{\frac 4 {n ^ 2} \textcolor {blue}{(\sum_{i = 1} ^ {\frac n 2 } a_i ) (\sum_{i = \frac n 2 + 1} ^ n a_i)} }\\ \le \frac 2 {n }\textcolor {blue} {\frac {\sum_{i = 1} ^ n a_i} {2}} = \frac {\sum_{i = 1} ^ n a_i} n$