20.13 对数平均与指数平均不等式专题

🟦 对数平均与指数平均不等式专题

核心心法

“均值之间有层次，代换构造显神功”。对数平均不等式 $L(a,b)$ 是介于几何平均 $\sqrt{ab}$ 与算术平均 $\frac{a+b}{2}$ 之间的一个关键桥梁。在处理导数双变量问题时，通过比值代换或对称化构造，可以将原本抽象的变量关系转化为具体的函数单调性问题。

---

一、 对数平均不等式 (Logarithmic Mean, $L(a,b)$)

1. 定义与基本关系

对于两个正数 $a,b$，对数平均定义为： $L(a,b)=\{\begin{array}{ll}\frac{a-b}{\ln a-\ln b},& a\ne b\\ a,& a=b\end{array}$ 核心不等式链： $\sqrt{ab}\le L(a,b)\le \frac{a+b}{2}$ 即：几何平均 $\le$ 对数平均 $\le$ 算术平均。

---

2. 三种常见证明方法 (以 $a\ne b$ 为例)

法 1：对称化构造 (与极值点偏移挂钩)

令 $k=\frac{a-b}{\ln a-\ln b}$，构造函数 $f(x)=k\ln x-x$。

• 逻辑：由 $f(a)=f(b)$ 且 $f(x)$ 为单峰函数，利用极值点偏移的常规流程证明 $\sqrt{ab}<k<\frac{a+b}{2}$。

法 2：比值代换 (化双变量为单变量)

不妨设 $a>b$，令 $t=\frac{a}{b}>1$。

• 转化：原不等式等价于证明 $\sqrt{t}<\frac{t-1}{\ln t}<\frac{t+1}{2}$。
• 整理：即证 $\frac{2(t-1)}{t+1}<\ln t<\sqrt{t}-\frac{1}{\sqrt{t}}$，通过构造单变量函数即可秒杀。

法 3：主元法 (直接求导)

不妨设 $a>b$，证明左边时构造 $f(a)=\ln a-\ln b-\sqrt{\frac{a}{b}}+\sqrt{\frac{b}{a}}$。

• 导数分析：$f^{\prime }(a)=-\frac{(\sqrt{a}-\sqrt{b}{)}^2}{2a\sqrt{ab}}<0$，由单调性得 $f(a)<f(b)=0$。

---

二、 指数平均不等式 (Exponential Mean, $E(a,b)$)

1. 定义与基本关系

设 $a=e^m,b=e^n$，指数平均定义为： $E(a,b)=\{\begin{array}{ll}\frac{e^m-e^n}{m-n},& m\ne n\\ e^m,& m=n\end{array}$ 核心不等式链： $e^{\frac{m+n}{2}}\le \frac{e^m-e^n}{m-n}\le \frac{e^m+e^n}{2}$

---

2. 证明思路

证法一：由对数平均不等式直接推导

在 $L(a,b)$ 的链条中，直接令 $a=e^m,b=e^n$，代入 $\ln a=m,\ln b=n$ 即可瞬间得证。

证法二：直接构造函数证明 (双边突破)

• 左边证明：需证 $e^t-e^{-t}>2t$。构造 $g(t)=e^t-e^{-t}-2t$，求导得 $g^{\prime }(t)=e^t+e^{-t}-2\ge 0$。
• 右边证明：需证 $t>2\cdot \frac{e^t-1}{e^t+1}$。构造 $f(t)=t-2\cdot \frac{e^t-1}{e^t+1}$，求导得 $f^{\prime }(t)=\frac{(e^t-1{)}^2}{(e^t+1{)}^2}>0$。

---

⚠️ 考场避坑与做题技巧

对数平均值的“秒杀”信号

当你在导数压轴题中看到 $x_1,x_2$ 满足 $f(x_1)=f(x_2)$ 且涉及 $\frac{x_1-x_2}{\ln x_1-\ln x_2}$ 结构时，对数平均不等式就是最强的提示。

注意变量的取值范围

使用比值代换 $t=a/b$ 时，务必明确 $t>1$ 的限制，并在构造函数时检查端点值（通常是 $t=1$ 处）的连续性和极限。

指数平均的几何本质

$\frac{e^m-e^n}{m-n}$ 实际上是函数 $f(x)=e^x$ 图像上两点连线的斜率。根据拉格朗日中值定理，它等于某点 $\xi \in (n,m)$ 的导数 $e^{\xi }$。该不等式链本质上是对这个中值 $\xi$ 的范围估计。