[ZihanLab周报 #3]不等式链相关内容讲解
高中数学不等式链：平均数体系解析
不等式链的核心概念
不等式链是多个不等式串联形成的结构（如 \(A \leq B \leq C\)），揭示数学量之间的有序关系。对于正实数 \(a\) 和 \(b\)（\(a \neq b\)），各种平均数形成严格不等式链：
\[\min(a,b) < H_2 < G_2 < L_2 < A_2 < Q_2 < K_2 < C_2 < H_4 < \max(a,b)\]
基本平均数定义
四大基本平均数
调和平均数
\[ H_2 = \frac{1}{\frac{1}{a}+\frac{1}{b}} \]
几何平均数
\[ G_2 = \sqrt{ab} \]
算术平均数
\[ A_2 = \frac{a+b}{2} \]
平方平均数
\[ Q_2 = \sqrt{\frac{a^2 + b^2}{2}} \]
基本不等式关系
\[ \frac{1}{\frac{1}{a}+\frac{1}{b}} < \sqrt{ab} < \frac{a+b}{2} < \sqrt{\frac{a^2 + b^2}{2}} \]
扩展平均数体系
对数平均数
\[ L_2 = \frac{a - b}{\ln a - \ln b} \]
特性： 位于几何平均与算术平均之间
应用： 热力学中的平均温差计算
立方平均数
\[ K_2 = \sqrt[3]{\frac{a^3 + b^3}{2}} \]
特性： 高于平方平均数
应用： 三维空间的距离计算
反调和平均数
\[ C_2 = \frac{a^2 + b^2}{a + b} \]
特性： 与调和平均数形成对比
应用： 信号处理和图像分析
赫尔德平均数
\[ H_4 = \left( \frac{a^4 + b^4}{2} \right)^{\frac{1}{4}} \]
特性： p=4时的幂平均特例
应用： 统计学中处理离群值
幂平均统一框架
幂平均 \(M_p\) 统一了各种平均数：
\[
M_p =
\begin{cases}
\left( \dfrac{a^p + b^p}{2} \right)^{\frac{1}{p}} & p \neq 0 \\
\sqrt{ab} & p = 0
\end{cases}
\]
幂平均特例对应表
| \(p\) 值 | 平均数类型 |
|---|---|
| \(p \to -\infty\) | 最小值 \(\min(a,b)\) |
| \(p = -1\) | 调和平均数 \(H_2\) |
| \(p = 0\) | 几何平均数 \(G_2\) |
| \(p = 1\) | 算术平均数 \(A_2\) |
| \(p = 2\) | 平方平均数 \(Q_2\) |
| \(p = 3\) | 立方平均数 \(K_2\) |
| \(p = 4\) | 赫尔德平均数 \(H_4\) |
| \(p \to +\infty\) | 最大值 \(\max(a,b)\) |
幂平均性质
\(p_1 < p_2 \implies M_{p_1} \leq M_{p_2}\)
当 \(a = b\) 时所有平均数相等
当 \(a \neq b\) 时形成严格递增链
