柯西中值定理应用例题-柯西定理例题

柯西中值定理是微分学中一座承上启下的重要桥梁，其地位仅次于罗尔定理和拉格朗日中值定理，但在处理两个函数之间关联性变化的问题上，它提供了更为强大和灵活的理论工具。该定理的核心思想在于，它不再孤立地考察单个函数在区间上的平均变化率与瞬时变化率之间的关系，而是将两个函数的变化“捆绑”在一起进行考量，揭示了在参数方程或相关变量描述下，两个函数变化率之比与区间内某点处导数之比的内在联系。从实际应用角度看，柯西中值定理是证明洛必达法则（处理0/0型或∞/∞型未定式极限）的理论基石，这一应用使其从纯粹的数学定理转变为解决大量工程计算、物理建模和经济学分析中极限问题的实用利器。
除了这些以外呢，在不等式证明、方程根的存在性讨论以及函数性质研究等方面，柯西中值定理也展现出独特的优势。它要求分母函数的导数在区间内不为零，这一条件不仅保证了定理结论的有效性，也常常成为解题中需要重点验证或巧妙利用的关键点。深入理解并熟练运用柯西中值定理，对于培养严谨的数学思维和提升解决复杂实际问题的能力至关重要，是许多专业考试，尤其是研究生入学考试数学科目中的重点与难点。易搜职考网提醒广大备考者，掌握该定理不能仅停留在记忆公式层面，必须通过大量的、具有代表性的例题进行剖析和练习，才能真正领悟其精髓，实现从理论到实战的跨越。

在微积分的知识体系中，中值定理家族构成了连续函数微分学的理论核心。其中，柯西中值定理作为拉格朗日中值定理的推广，在处理涉及两个函数关系的复杂问题时，展现出无可替代的威力。它不仅是证明许多重要结论（如洛必达法则）的理论基础，也是解决极限、不等式、方程根等问题的有力工具。对于参加各类数学考试，尤其是高等数学竞赛和研究生入学考试的考生来说呢，深刻理解并灵活运用柯西中值定理是取得高分的关键能力之一。易搜职考网在长期的教研中发现，许多考生对定理本身记忆深刻，但在面对具体问题时，往往不知如何构造合适的函数对，或忽略定理条件验证，导致解题失败。
也是因为这些，本文将结合多种类型的典型例题，详细阐述柯西中值定理的应用技巧与思想，旨在帮助读者构建清晰的应用框架，提升解题实战能力。

一、柯西中值定理的内容与条件回顾

在进入例题解析之前，我们有必要精确地复述定理内容并强调其成立的条件。

设函数f(x)与g(x)满足：

• 在闭区间[a, b]上连续；
• 在开区间(a, b)内可导；
• 对任意x∈(a, b)，有g'(x) ≠ 0。

则在开区间(a, b)内至少存在一点ξ，使得等式成立： [f(b) - f(a)] / [g(b) - g(a)] = f'(ξ) / g'(ξ)。

理解这个定理需要注意三个关键点：第一，两个函数必须同时满足闭区间连续和开区间可导的条件，缺一不可。第二，分母函数g(x)的导数在区间内不能为零，这保证了分母g(b)-g(a)也不为零（由罗尔定理可推知），从而等式左边有意义。第三，结论中的ξ是同一点，即两个函数的导数是在同一个中间点ξ处取值的，这体现了两个函数变化的内在同步性。易搜职考网提醒考生，在应用定理前，务必养成先验证条件是否满足的良好习惯，这是严谨解题的第一步。

二、证明等式与方程根的存在性问题

这是柯西中值定理最直接的应用类型。题目通常要求证明存在某个点ξ，使得一个关于导数的复杂等式成立。解题的核心在于，通过观察待证等式的形式，逆向构造出合适的函数f(x)和g(x)，使得对它们应用柯西中值定理后，结论恰好就是需要证明的等式。

例题1： 设函数f(x)在[0, 1]上连续，在(0, 1)内可导，且f(0)=0，f(1)=1。试证明：存在两个不同的点η, ξ ∈ (0, 1)，使得 f'(η) f'(ξ) = 1。

分析与证明： 结论涉及两个不同点的导数乘积。直接应用一次中值定理难以得到两个点。常见的思路是尝试将区间分割。但更巧妙的做法是利用柯西中值定理，并需要构造两次。

我们注意到f(0)=0, f(1)=1。考虑在区间[0, 1]上对函数f(x)和另一个函数应用柯西定理。为了得到f'(ξ)的某种形式，可以尝试令g(x) = x。但这样一次只能得到一个点。

更有效的构造是：考虑函数f(x)和其反函数（的思想），但反函数不一定可导。我们可以考虑函数f(x)和函数h(x)=x。对它们应用柯西中值定理，存在ξ ∈ (0, 1)，使得：

[f(1) - f(0)] / [1 - 0] = f'(ξ) / 1， 即 f'(ξ) = 1。

但这只得到一个点，且其导数就是1，要再找另一个点η使f'(η)=1，这要求f'(x)在另一点也为1，条件不足。

也是因为这些，上述简单构造失败。需要更精细的构造。本题的经典证法如下：

由介值定理，因为f(x)连续，且f(0)=0, f(1)=1，对任意常数c∈(0,1)，存在x₀∈(0,1)使得f(x₀)=c。我们取c=1/2，则存在c∈(0,1)，使f(c)=1/2。

现在，分别在区间[0, c]和[c, 1]上应用拉格朗日中值定理：

• 在[0, c]上，存在η∈(0, c)，使得 f'(η) = [f(c) - f(0)] / (c - 0) = (1/2) / c = 1/(2c)。
• 在[c, 1]上，存在ξ∈(c, 1)，使得 f'(ξ) = [f(1) - f(c)] / (1 - c) = (1 - 1/2) / (1 - c) = 1/(2(1-c))。

于是，f'(η) f'(ξ) = [1/(2c)] [1/(2(1-c))] = 1 / [4c(1-c)]。

现在，我们需要证明存在这样的c，使得4c(1-c)=1，即4c - 4c² = 1，也即4c² - 4c + 1 = 0，解得 c = 1/2。

这正是我们一开始选取的c。
也是因为这些，对于这个特定的c=1/2，由上面得到的η和ξ，就有 f'(η) f'(ξ) = 1 / [4(1/2)(1/2)] = 1。

证毕。

本题虽然主要使用了拉格朗日中值定理和介值定理，但它展示了处理“两点”问题的典型分割区间思想。而柯西中值定理在证明涉及两个函数比值的单点存在性问题时更为直接。

例题2： 设f(x)在[a, b]上连续，在(a, b)内可导（0 < a < b）。证明存在一点ξ∈(a, b)，使得 f(b) - f(a) = ξ f'(ξ) ln(b/a)。

分析与证明： 待证等式可变形为： [f(b) - f(a)] / ln(b/a) = ξ f'(ξ)。

观察等式右边是 ξ f'(ξ)，可以看作是函数 x f'(x) 在ξ处的值。但我们的定理是关于f'(ξ)的。为了得到ξ f'(ξ)，我们可以考虑将f'(ξ)乘以ξ。这提示我们，分母的ln(b/a)可能来自某个函数的差值。注意到[ln b - ln a] = ln(b/a)。
也是因为这些，自然想到构造函数g(x) = ln x。

令g(x) = ln x，则在[a, b] (a>0)上，f(x)与g(x)满足柯西中值定理的条件：连续、可导，且g'(x)=1/x ≠ 0在(a, b)内。

应用柯西中值定理，存在ξ∈(a, b)，使得：

[f(b) - f(a)] / [ln b - ln a] = f'(ξ) / g'(ξ) = f'(ξ) / (1/ξ) = ξ f'(ξ)。

由于 ln b - ln a = ln(b/a)，所以上式即为： f(b) - f(a) = ξ f'(ξ) ln(b/a)。

证毕。本题是构造辅助函数g(x)=ln x的经典例子，通过易搜职考网的题库分析，这类“对数构造”在考研真题中屡见不鲜。

三、证明不等式问题

柯西中值定理可以通过将函数差值表示为导数形式，从而利用导数的取值范围（例如有界性、单调性）来证明一些不等式。

例题3： 设0 < a < b，证明存在ξ∈(a, b)，使得下列不等式成立： (b² - a²) / (2b) < arctan b - arctan a < (b² - a²) / (2a)。

分析与证明： 不等式中间是arctan b - arctan a，这可以看作函数f(x)=arctan x在区间[a, b]上的增量。不等式两边都含有(b² - a²)，这提示我们可能与函数g(x)=x²有关。

考虑对函数f(x)=arctan x和g(x)=x²在区间[a, b]上应用柯西中值定理。它们显然满足定理条件，且g'(x)=2x ≠ 0在(a, b)内。

则存在ξ∈(a, b)，使得：

[arctan b - arctan a] / [b² - a²] = f'(ξ) / g'(ξ) = [1/(1+ξ²)] / (2ξ) = 1 / [2ξ(1+ξ²)]。

也是因为这些， arctan b - arctan a = (b² - a²) / [2ξ(1+ξ²)]。

现在，关键是对表达式 1 / [2ξ(1+ξ²)] 进行放缩。由于ξ∈(a, b)，且a>0，故ξ>0。考虑函数φ(ξ) = 2ξ(1+ξ²)。因为φ'(ξ)=2(1+3ξ²)>0，所以φ(ξ)在(0, +∞)单调增加。
也是因为这些，对于a < ξ < b，有：

φ(a) < φ(ξ) < φ(b)， 即 2a(1+a²) < 2ξ(1+ξ²) < 2b(1+b²)。

注意到1+a² > 1， 1+b² > 1，我们可以得到一个更宽但更简洁的放缩（题目要求证明的正是这种简洁形式）：

2a 1 < 2ξ(1+ξ²) < 2b (1+b²)？不对，我们需要得到题目中的形式。

实际上，我们有： 2a(1+a²) > 2a 1 = 2a， 且 2b(1+b²) > 2b 1 = 2b。但我们需要上界小于2b，下界大于2a？看目标不等式：

左边：(b²-a²)/(2b) < ... 右边：... < (b²-a²)/(2a)。

由于 arctan b - arctan a = (b²-a²) / [2ξ(1+ξ²)]， 要证原不等式，即证：

(b²-a²)/(2b) < (b²-a²) / [2ξ(1+ξ²)] < (b²-a²)/(2a)。

因为b>a>0，所以b²-a²>0。不等式两边同时除以正数(b²-a²)，并取倒数（注意取倒数后不等号方向改变），等价于证明：

2b > 2ξ(1+ξ²) > 2a。

即证明： a < ξ(1+ξ²) < b。

现在，由于ξ > a > 0，显然有 ξ(1+ξ²) > a 1 = a。这证明了左边不等式。

对于右边，我们需要证明 ξ(1+ξ²) < b。是否一定成立？不一定，因为ξ可能接近b，而b(1+b²) > b。所以我们需要更精细的放缩。

重新审视：我们要证的是 2ξ(1+ξ²) > 2a，这已证。要证 2ξ(1+ξ²) < 2b，即证 ξ(1+ξ²) < b。由于ξ < b，但(1+ξ²) > 1，所以ξ(1+ξ²)与b的大小不确定。
也是因为这些，直接这样放缩可能无法证明原题右半边。

让我们回到柯西中值定理的表达式：

arctan b - arctan a = (b² - a²) [1/(2ξ(1+ξ²))]。

令 h(ξ) = 1/(2ξ(1+ξ²))。我们需要证明： 1/(2b) < h(ξ) < 1/(2a)。

由于h(ξ)在ξ>0时是单调减的吗？求导：h'(ξ) = -[2(1+ξ²) + 2ξ(2ξ)] / [4ξ²(1+ξ²)²] = -[2+2ξ²+4ξ²] / [4ξ²(1+ξ²)²] = -[2+6ξ²] / [4ξ²(1+ξ²)²] < 0。所以h(ξ)在(0, +∞)单调递减。

由于a < ξ < b，且h单调减，所以 h(b) < h(ξ) < h(a)。

即 1/[2b(1+b²)] < h(ξ) < 1/[2a(1+a²)]。

这给出的是： (b²-a²)/[2b(1+b²)] < arctan b - arctan a < (b²-a²)/[2a(1+a²)]。

但题目要求证明的是更“大”的上界和更“小”的下界。因为 1/[2b(1+b²)] < 1/(2b)， 且 1/[2a(1+a²)] < 1/(2a)？不对，比较1/(2a)和1/[2a(1+a²)]，后者分母更大，所以值更小。所以我们的放缩得到的上界1/[2a(1+a²)]比题目要求的1/(2a)更小，下界1/[2b(1+b²)]比题目要求的1/(2b)更小。所以我们的结论比题目更强（更精确），但题目要求证明的是一个更弱（更宽松）的不等式。
也是因为这些，由我们的更强结论，自然可以推出题目要求的不等式：

因为 arctan b - arctan a < (b²-a²)/[2a(1+a²)] < (b²-a²)/(2a)， （因为1/(1+a²)<1）

且 arctan b - arctan a > (b²-a²)/[2b(1+b²)]， 但我们需要证明它 > (b²-a²)/(2b)。
这不一定成立，因为1/(1+b²) < 1，所以(b²-a²)/[2b(1+b²)] > (b²-a²)/(2b)？不对，注意(b²-a²)是正数，除以[2b(1+b²)]相当于除以一个更大的数，所以值更小。即 (b²-a²)/[2b(1+b²)] < (b²-a²)/(2b)。所以我们用单调性得到的是下界更小的估计，无法直接推出题目要求的下界。

这说明我们需要换一个函数对来应用柯西定理。观察目标不等式，上下界分母分别是2b和2a，形式对称。考虑构造函数，使得应用柯西定理后，f'(ξ)/g'(ξ)能产生1/(2ξ)的形式。如果我们取f(x)=arctan x, g(x)=x，则柯西定理给出：[arctan b - arctan a] / (b-a) = 1/(1+ξ²)，得不到1/ξ的形式。

如果我们取f(x)=arctan x, g(x)=ln x？也不像。

再观察目标：要证 (b²-a²)/(2b) < arctan b - arctan a。等价于 (arctan b - arctan a) / (b²-a²) > 1/(2b)。左边是比值，右边是1/(2b)。如果我们能证明这个比值的最小值大于1/(2b)，或者证明它大于一个比1/(2b)大的数？但ξ在(a,b)内变化。

实际上，经典的证法正是我们最初尝试的，但需要更巧妙的放缩。由柯西中值定理，存在ξ∈(a, b)，使：

arctan b - arctan a = (b² - a²) / [2ξ(1+ξ²)]。

现在，考虑函数 ψ(ξ) = ξ(1+ξ²)。我们要估计ψ(ξ)的范围。由于ξ∈(a, b)，且ψ(ξ)单调增（因ψ'(ξ)=1+3ξ²>0），所以ψ(a) < ψ(ξ) < ψ(b)。即：

a(1+a²) < ξ(1+ξ²) < b(1+b²)。

也是因为这些， 1/[b(1+b²)] < 1/[ξ(1+ξ²)] < 1/[a(1+a²)]。

所以， (b²-a²)/[2b(1+b²)] < arctan b - arctan a < (b²-a²)/[2a(1+a²)]。 (式)

现在，比较题目要求的不等式：

左边要证： (b²-a²)/(2b) < arctan b - arctan a。

由(式)我们只知道 arctan b - arctan a > (b²-a²)/[2b(1+b²)]，但(b²-a²)/[2b(1+b²)] < (b²-a²)/(2b)，所以(式)给出的下界不足以证明题目左半边。

我们需要一个更“大”的下界。注意，对于ξ∈(a, b)，有ξ < b，所以 ξ(1+ξ²) < b(1+ξ²)。但这里ξ²未知。我们可以尝试另一种放缩：由于ξ > a，所以 1+ξ² > 1+a²？不，这会使分母变大，下界变小。

实际上，题目要求的不等式可能无法仅由单次柯西中值定理直接推出，可能需要结合其他方法或利用函数的具体性质。但作为例题演示，我们展示如何利用柯西定理得到与不等式相关的表达式。在许多考试中，题目可能会设计成如(式)那样更精确的不等式。本题更常见的做法是：构造两个柯西中值定理。考虑在[a,b]上对f(x)=arctan x和g(x)=x²应用柯西定理得到ξ。然后，为了得到下界1/(2b)，我们注意到对于ξ∈(a,b)，有ξ(1+ξ²) < b(1+b²)，但这给出了更小的下界。要得到更大的下界，需要证明ξ(1+ξ²) < 2b？不，我们需要1/[ξ(1+ξ²)] > 1/(2b)，即ξ(1+ξ²) < 2b？不对，应该是ξ(1+ξ²) < 2b？检查：要证1/[2ξ(1+ξ²)] > 1/(2b)，即证 ξ(1+ξ²) < b。这正是我们之前遇到的困难。
也是因为这些，或许题目有误，或者需要额外条件？经典的正确不等式是(式)。

鉴于这是一道演示题，我们调整一下题目结论，改为证明我们推导出的(式)这个更强的不等式。那么，证明过程就是上述应用柯西定理并结合ψ(ξ)的单调性进行放缩的过程。易搜职考网强调，在利用中值定理证明不等式时，得到含有ξ的表达式后，对ξ所在范围的函数进行单调性分析是标准步骤。

四、求极限与洛必达法则的理论基础

柯西中值定理最重要的应用之一是作为洛必达法则的证明工具。理解这层关系，能让我们更深刻地把握洛必达法则的本质，避免误用。

例题4（洛必达法则证明思路演示）： 证明0/0型洛必达法则的基本形式：设f(x)和g(x)在点a的某去心邻域内可导，且g'(x)≠0，若lim_{x→a} f(x)=0，lim_{x→a} g(x)=0，且lim_{x→a} f'(x)/g'(x) = L（L可为有限数或无穷），则 lim_{x→a} f(x)/g(x) = L。

分析与思路： 我们仅简述证明的核心思想，展示柯西中值定理如何发挥作用。要证明x→a时f(x)/g(x)的极限，可以考察任意的序列{x_n}趋于a。对于每一对x_n和a（或a附近另一个点），我们可以构造区间（在x_n与a之间）。但f(a)和g(a)可能没有定义，所以需要补充定义或利用条件。通常的证明是：定义f(a)=g(a)=0，则f和g在a点连续。对任意x在a的邻域内，在以a和x为端点的区间上应用柯西中值定理（需要满足条件），则存在ξ_x介于a与x之间，使得 f(x)/g(x) = [f(x)-f(a)]/[g(x)-g(a)] = f'(ξ_x)/g'(ξ_x)。当x→a时，ξ_x也趋于a，于是由条件lim_{x→a} f'(x)/g'(x)=L，可知f'(ξ_x)/g'(ξ_x)也趋于L，从而证明了原极限。这个证明过程清晰展现了柯西中值定理如何将函数商的极限转化为导数商的极限。易搜职考网提醒，在实际使用洛必达法则求极限时，必须时刻验证其前提条件，特别是“导数比的极限存在或为无穷”这一条件，否则可能导致错误。

五、在参数方程与几何问题中的应用

当曲线由参数方程{x=g(t), y=f(t)}给出时，柯西中值定理有着自然的几何解释。它关联了参数变动区间内，纵坐标增量与横坐标增量之比（割线斜率）与某一点处导数之比（切线斜率）。

例题5： 设有一参数曲线C: x = t - sin t, y = 1 - cos t，其中t为参数。证明在任意参数区间[t1, t2] (t1 < t2)上，曲线上至少存在一点，使得该点的切线斜率等于曲线两端点连线的斜率。

分析与证明： 曲线在参数t下的切线斜率为 dy/dx = (dy/dt) / (dx/dt) = sin t / (1 - cos t)。端点连线的斜率为 [y(t2) - y(t1)] / [x(t2) - x(t1)]。

考虑函数f(t)=y(t)=1-cos t， g(t)=x(t)=t - sin t。它们在任意闭区间[t1, t2]上连续，在开区间(t1, t2)内可导，且g'(t)=1-cos t。在(t1, t2)内，由于t1 < t2，且1-cos t仅在t=2kπ处为零。如果区间(t1, t2)内不包含形如2kπ的点，则g'(t) ≠ 0。如果包含，则定理条件可能不满足。但题目说“任意区间”，对于包含使g'(t)=0的点的区间，需要单独讨论（此时切线可能垂直）。我们假设所取区间使g'(t) ≠ 0。

应用柯西中值定理，存在ξ∈(t1, t2)，使得：

[y(t2)-y(t1)] / [x(t2)-x(t1)] = f'(ξ) / g'(ξ) = sin ξ / (1 - cos ξ)。

而右边正是曲线在参数ξ所对应点处的切线斜率。
也是因为这些，结论得证。这个例题直观体现了柯西中值定理对于参数曲线的几何意义，是拉格朗日中值定理在二维曲线上的推广。

通过以上多种类型的例题剖析，我们可以看到，柯西中值定理的应用精髓在于“构造”与“转化”。面对一个问题，首先要分析其形式是否涉及两个函数增量比的极限或关系；要善于根据待证结论或目标表达式，逆向构造出合适的辅助函数f(x)和g(x)；在应用定理后，往往还需要利用ξ的范围对表达式进行进一步的分析（如放缩、求极限等）。易搜职考网建议学习者在备考过程中，按照“识别类型、验证条件、构造函数、应用定理、后续处理”这五个步骤进行系统训练，并积累常见的辅助函数构造模型（如ln x, e^x, x^k等）。只有通过反复练习和归结起来说，才能在面对千变万化的考题时，迅速找到解题突破口，将柯西中值定理这一强大工具运用自如，从而在考试中取得优异成绩。掌握好这个定理，不仅对数学考试至关重要，也对后续学习更高级的数学课程和解决实际工程问题奠定了坚实的分析基础。