柯西中值定理题及答案：从理论基础到考研实战的深度解析

例题 1：证明存在性命题

题目：设函数 f(x) 在 [0, 1] 上连续，在 (0, 1) 内可导，且 f(0)=0, f(1)=1。证明：存在 ξ ∈ (0, 1)，使得 f'(ξ) = 1/f'(ξ)（假设 f'(ξ)≠0）？
更正：此处应设计为标准的柯西形式。让我们重新设计一道更贴合的题目。

修正题目：设 f(x) 在 [0, 1] 上连续，在 (0, 1) 内可导，且 f(0)=0, f(1)=1。证明：存在 ξ ∈ (0, 1)，使得 f'(ξ) = 1/ξ^2 f(ξ)？
最佳例题：设 f(x) 在 [0, π/2] 上连续，在 (0, π/2) 内可导，且 f(0)=0。证明：存在 ξ ∈ (0, π/2)，使得 f'(ξ)cosξ = f(ξ)sinξ。

观察待证式 f'(ξ)cosξ = f(ξ)sinξ，移项得 f'(ξ)cosξ - f(ξ)sinξ = 0。
这提示我们构造辅助函数 F(x) = f(x)cosx？不对，求导后是 f'cos - fsin。正是如此！
但这是罗尔定理的直接应用。若要用柯西中值定理，我们需要两个函数。

柯西视角解法：
令 f(x) 为原函数，取 g(x) = ln(cosx)（注意定义域）。
或者更简单地，将等式变形为：
[f(π/2) - f(0)] / [ln(cos(π/2)) - ln(cos0)] ... 这里 cos(π/2)=0，对数无意义，此路不通。

正确构造思路：
我们要找 ξ 使得 f'(ξ)/sinξ = f(ξ)/cosξ。
这等价于 [f(π/2)-f(0)]/[g(π/2)-g(0)] = f'(ξ)/g'(ξ)。
尝试令 g(x) = -ln(cosx)。
g'(x) = tanx = sinx/cosx。
此时 f'(ξ)/g'(ξ) = f'(ξ) cosξ/sinξ。
我们需要 f'(ξ)cosξ/sinξ = f(ξ)/cosξ => f'(ξ)cos²ξ = f(ξ)sinξ... 似乎也不完全匹配。

最终推荐解法（针对此类题目的通用套路）：
将待证式写成 f'(ξ)/tanξ = f(ξ)。
构造 φ(x) = f(x) / ln(secx) 或类似形式较为复杂。
最直接的柯西应用题：设 f(x), g(x) 在 [a, b] 满足柯西条件，证明 (f(b)-f(a))/(g(b)-g(a)) = f'(ξ)/g'(ξ)。
具体案例：设 f(x) = e^x, g(x) = x^2 在 [0, 1] 上。
求证：存在 ξ ∈ (0, 1)，使得 (e-1)/1 = e^ξ / (2ξ)。
解析：直接应用柯西中值定理。
f(1)-f(0) = e-1, g(1)-g(0) = 1。
f'(x) = e^x, g'(x) = 2x。
故存在 ξ 使得 (e-1)/1 = e^ξ / 2ξ。
得证。

例题 2：利用柯西中值定理证明不等式

题目：证明：当 x > 0 时，e^x > 1 + x。

虽然此题可用泰勒公式或导数单调性证明，但用柯西中值定理亦非常巧妙。
设 f(t) = e^t, g(t) = t。
在区间 [0, x] 上应用柯西中值定理：
[e^x - e^0] / [x - 0] = e^ξ / 1, 其中 ξ ∈ (0, x)。
即 (e^x - 1)/x = e^ξ。
因为 x > 0，所以 ξ > 0。
又因为 e^ξ > e^0 = 1（指数函数单调递增），
所以 (e^x - 1)/x > 1。
两边同乘 x（x>0），得 e^x - 1 > x，即 e^x > 1 + x。
证毕。

例题 3：求解未定式极限的理论依据

题目：简述如何利用柯西中值定理推导 lim(x→0) (sinx/x) = 1？

这是一个经典的极限问题。虽然通常用夹逼定理，但柯西中值定理提供了另一种视角。
考虑 f(t) = sint, g(t) = t 在 [0, x] 上。
由柯西中值定理：
(sinx - sin0) / (x - 0) = cosξ / 1, ξ ∈ (0, x)。
即 sint/x = cosξ。
当 x → 0 时，ξ → 0。
故 lim(x→0) (sinx/x) = lim(ξ→0) cosξ = 1。
这展示了柯西中值定理如何将复杂的函数比值转化为简单的导数比值，是洛必达法则的雏形。