介值定理 + 拉格朗日中值定理：如何证明存在 η、ζ 使 a/f’(η) + b/f’(ζ) = a+b

引言

这类题的难点是：ξ 是哪来的？为什么是 a/(a+b) 而不是别的值？

很多答案直接给”设 f(ξ) = a/(a+b)”，看着像天降神兵。本文把 ξ 的来源、k = a/(a+b) 的选取理由、证明的每一步拆清楚。

1. 题目与已知条件

设 f(x) 在 [0,1] 上连续，在 (0,1) 内可导，且 f(0)=0, f(1)=1。证明：对任意正数 a、b，存在 ξ₁ ∈ (0,ξ)、ξ₂ ∈ (ξ,1)，使：

$$
\frac{a}{f’(\xi_1)} + \frac{b}{f’(\xi_2)} = a + b
$$

2. 第一步：找分割点 ξ

为什么需要 ξ：原题要在 [0,1] 上找两个点 ξ₁、ξ₂，区间必须先切成两段。

ξ 的来源——介值定理：

1. f(x) 在 [0,1] 连续，f(0)=0，f(1)=1
2. 对任意 a>0, b>0，a/(a+b) ∈ (0,1)
3. 由介值定理，存在 ξ ∈ (0,1) 使 f(ξ) = a/(a+b)

ξ 把 [0,1] 切成 [0,ξ] 和 [ξ,1] 两段。

3. 第二步：两段分别用拉格朗日中值定理

在 [0,ξ] 上（f 连续可导）：

• 存在 η ∈ (0,ξ) 使 f’(η) = f(ξ)/ξ
• 即 f’(η) = [a/(a+b)] / ξ
• 变形：a / f’(η) = a · ξ / [a/(a+b)] = ξ(a+b)

在 [ξ,1] 上：

• 存在 ζ ∈ (ξ,1) 使 f’(ζ) = (1-f(ξ))/(1-ξ) = [b/(a+b)] / (1-ξ)
• 变形：b / f’(ζ) = b · (1-ξ) / [b/(a+b)] = (1-ξ)(a+b)

4. 第三步：相加，ξ 消掉

a/f'(η) + b/f'(ζ) = ξ(a+b) + (1-ξ)(a+b)
                  = (a+b) · (ξ + 1 - ξ)
                  = a+b ✅

ξ 干净地消掉了，结论得证。

5. 为什么是 f(ξ) = a/(a+b)？

这是最反直觉的地方。试一般 k：若 f(ξ) = k，则

• a / f’(η) = a · ξ / k
• b / f’(ζ) = b · (1-ξ) / (1-k)
• 要使其和为 a+b：

$$
\frac{a\xi}{k} + \frac{b(1-\xi)}{1-k} = a + b
$$

当 k = a/(a+b) 时：

• 分子 aξ 中 a 与 k 中的 a 抵消
• 分子 b(1-ξ) 中 b 与 (1-k) 中的 b 抵消
• 化简后 ξ 与 (1-ξ) 凑成 1，乘 (a+b) 得 a+b

这就是 k 的选取理由——为了在变形时让分子分母自动对消，把 ξ 留在外面，1-ξ 也留在外面，最后 ξ + (1-ξ) = 1 直接消元。

6. 证明的逻辑链

[已知 f(0)=0, f(1)=1, f 连续可导]
        ↓ 介值定理
[存在 ξ 使 f(ξ) = a/(a+b)]
        ↓ 区间分割成 [0,ξ] 和 [ξ,1]
[在两段上分别用拉格朗日中值定理]
        ↓ 变形得到 a/f'(η) 和 b/f'(ζ)
[相加 = (a+b)·(ξ + 1-ξ) = a+b]
        ↓ 证毕

7. 这类题的通用模板

特征：证明含 a/f'(ξ₁) + b/f'(ξ₂) = 常数 的等式。

套路：

1. 找”分割点”使函数值匹配系数比例（用介值定理）
2. 分段用拉格朗日中值定理
3. 变形 → 系数对消 → 区间长度项相加为 1

关键认知：分割点不是按”长度”切（a、b 是参数不是长度），而是按”函数值匹配系数比“切。

总结

核心三连：

1. 介值定理找 ξ —— 关键是 f(ξ) = a/(a+b)
2. 拉格朗日中值定理两段展开 —— 把 1/f’(η) 变形为 aξ/(a+b)
3. 相加消元 —— ξ + (1-ξ) = 1

k = a/(a+b) 的本质：让分子分母的 a、b 分别对消，把 ξ 单独留在外面作为系数项。这是”凑答案”的逆向工程——先看结论需要什么形式，再反推中间步骤。

适用条件：任何 f(0)=0, f(1)=1 连续可导函数都成立。