对数平均不等式解法全解析

步骤详解：

以证明右半部分 (b - a) / (ln b - ln a) < (a + b) / 2 为例（不妨设 a < b）。

1. 令 t = b/a > 1，则不等式等价于证明：
(a(t-1)) / (ln t) < a(1+t)/2
化简得：2(t-1)/t < ln t ? 不对，应为 2(t-1)/(t+1) < ln t

2. 构造函数 f(t) = ln t - 2(t-1)/(t+1)，t > 1。

3. 求导：
f'(t) = 1/t - [2(t+1) - 2(t-1)]/(t+1)^2
f'(t) = 1/t - 4/(t+1)^2 = [(t+1)^2 - 4t] / [t(t+1)^2]
f'(t) = (t-1)^2 / [t(t+1)^2] > 0

4. 因为 f'(t) > 0，所以 f(t) 在 (1, +∞) 上单调递增。

5. 又 f(1) = 0，故当 t > 1 时，f(t) > 0，即 ln t > 2(t-1)/(t+1) 成立。

6. 回代即得证。左半部分证明类似，只需构造 g(t) = ln t - 2(t-1)/(t+1) 的变体或利用倒数关系。

步骤详解：

利用 拉格朗日中值定理 (Lagrange Mean Value Theorem) 是最简洁的方法。

1. 设函数 f(x) = ln x，在区间 [a, b] 上连续，在 (a, b) 内可导。

2. 根据中值定理，存在 ξ ∈ (a, b)，使得：
f(b) - f(a) = f'(ξ)(b - a)

3. 代入具体函数：
ln b - ln a = (1/ξ)(b - a)

4. 整理得：
(b - a) / (ln b - ln a) = ξ

5. 因为 a < ξ < b，所以 ξ 介于 a 和 b 之间。我们需要证明的是 ξ 与 几何平均 √(ab) 和 算术平均 (a+b)/2 的关系。

6. 这步比较微妙，直接得出严格不等式需要结合对数平均数的几何意义或进一步放缩。通常教材中更倾向于用构造函数法来严格确立与 √(ab) 和 (a+b)/2 的边界关系，中值定理更多用于理解其本质是某点的导数值倒数。

注：严格证明 L < (a+b)/2 通常仍需回到代数放缩，但中值定理提供了极佳的直观视角。

步骤详解：

利用定积分的几何意义进行放缩。

1. 我们知道 ln b - ln a = ∫(a to b) (1/x) dx。

2. 考虑函数 y = 1/x 在区间 [a, b] 上的图像，它是凸函数。

3. 梯形面积公式：S_trap = (b-a)(1/a + 1/b)/2 = (b-a)(a+b)/(2ab)。

4. 由于 1/x 是凸函数，曲线下的面积小于梯形面积：
∫(a to b) (1/x) dx < (b-a)(1/a + 1/b)/2

5. 即 ln b - ln a < (b-a)(a+b)/(2ab)。

6. 变形得：
(b-a)/(ln b - ln a) > 2ab/(a+b) ? 这里方向反了，需仔细检查凸性。

修正： 1/x 是凸函数（向下凸），切线在曲线下方，割线在曲线上方。梯形面积（割线下方）大于曲边梯形面积（曲线下方）。

所以：ln b - ln a < (b-a)/2 (1/a + 1/b) = (b-a)(a+b)/(2ab)。

取倒数（注意变号）：
1/(ln b - ln a) > 2ab / [(b-a)(a+b)]

两边乘 (b-a)：
(b-a)/(ln b - ln a) > 2ab/(a+b) = 调和平均。

这证明了 L > H (调和平均)。结合其他放缩可得完整链条。