拉格朗日中值定理题目-拉格朗日定理典型题

数学有时候就像是在雾里看花，有时候又像是一把铲子，一下就把手里的土给挖出来了。拉格朗日中值定理，这东西目前听上去是不是挺难记？别急，咱们就不整那些教科书上那些模子刻出来的味儿，直接聊聊它到底是啥，又该如何在脑子里翻来覆去地琢磨。 想象一下你有两块板子，一块叫 $f(x)$，另一块叫 $g(x)$。你拿 $f(x)$ 做材料造个房子，$g(x)$ 则是用来铺地的石砖。$f(x)$ 是个函数，$g(x)$ 也是函数，并且它们都得是连续的呢。
要是给这两个函数加了个导数，$f'(x)$ 和 $g'(x)$ 也得有。
这时候你得先看看这两个函数能不能在某个点 $x_0$ 处相等，$f(x_0) = g(x_0)$。
要是能相等，那这玩意儿就挺有戏；要是相等不了，那咱就换个场景，看看能不能在函数图像上能找到两条线，一条是垂直的斜线 $k(x)$，另一条是水平的斜线 $h(x)$，让它们在某一点相交，$k(x_0) = h(x_0)$。
只要这两个条件都能知足，哪怕函数长得特别怪，总得能找到一个点，让斜率等于函数本身的平均变化率。 那这到底是个啥玩意儿呢？它说的是，要是在区间 $[a, b]$ 上两个条件都知足了，那么在区间内部肯定存有一个点 $x$，使得 $f(x) - g(x) = 0$。
这个结论听着有点像阿基米德找托勒密的感觉，要么配不上，要么就是真坑。 举个具体的例子，咱们随意拿个函数。
比如 $f(x) = x^2$，$g(x) = sin(x)$。
这两个函数在实数范围内都是连续且有导数的，知足根本条件。目前我们要看看能不能找到 $x_0$ 让 $f(x_0) = g(x_0)$。画个图吧，$x^2$ 是个开口向上的抛物线，$sin(x)$ 是个上下波动的波形。你会发现它们矛盾了：$x^2$ 在 0 到 1 之间是正的，$sin(x)$ 也全是正的，但这俩函数 crossing 的地方，$x^2$ 增长得比 $sin(x)$ 快，那它们在 $x=0$ 处相等，过了某个数之后 $x^2$ 肯定就甩那会儿 $sin(x)$ 了，出于 $x^2$ 是凸的，$sin(x)$ 是凹的。 那这时候能不能保证它们的导数也知足条件？$f'(x)$ 是 $2x$，$g'(x)$ 是 $cos(x)$。在 0 到 $2pi$ 之间肯定能找到交点。
比如 $x = pi/2$ 时，$f(x) = pi^2/4 approx 2.47$，$g(x) = 1$，不对，$x=0$ 时 $f(0)=0, g(0)=0$ 相等。
那 $x=1$ 时，$f(1)=1, g(1)=sin(1)approx 1.15$。
哦，原来 $f(x)$ 在 0 到 1 之间是小于 $g(x)$ 的。
那 $x=2$ 时，$f(2)=4$，$g(2)=sin(2)approx 0.9$，$f(x)$ 又大于 $g(x)$ 了。根据介值定理，肯定有个交点。再看导数，$f'(x)=2x$，$g'(x)=cos(x)$。在 0 到 $pi/2$ 之间，$f'(x)$ 从 0 变到 $pi$，$g'(x)$ 从 1 变到 0。它们肯定有交点。 这时候拉格朗日中值定理就派上用场了。定理保证在 $(0, x)$ 之间肯定有个点 $x_0$，使得切线斜率等于割线斜率。也就是 $f'(x_0) = frac{f(b) - f(a)}{b - a}$。算一算，$(f(1) - f(0)) / (1 - 0) = 1$。
也就是说，在 0 到 1 之间，肯定有个点切线斜率是 1。
那 $f'(x) = 2x$，令 $2x_0 = 1$，解得 $x_0 = 0.5$。正好在这个区间里！验证一下，$f(0.5) = 0.25$，$g(0.5) = sin(0.5) approx 0.48$。
什么的，这里仿佛出难题了？刚刚找交点时认定 $f(x)$ 超过 $g(x)$ 了，但 $x_0=0.5$ 时 $f(x_0) < g(x_0)$ 啊？ 是不是哪儿搞混了？哦，我看错了。$f(1)=1$, $g(1)=sin(1)approx 0.84$。在 $x=1$ 时 $f > g$，在 $x=0$ 时 $f=g$。
故此在 $(0, 1)$ 之间确实存有交点。而 $x_0=0.5$ 时 $f'(0.5)=1$，确实等于平均变化率。
那 $f(x_0) - g(x_0) = 0.25 - 0.48 = -0.23 neq 0$。
这说明啥？说明在 $x=0.5$ 这个点，函数值不相等，但它知足导数条件。
这个点不是交点，它是知足“中值”的那个点。
原来我是把“中值定理”和“零点存有定理”搞混了。零点定理保证函数值变号必有零点，而拉格朗日定理保证切线斜率等于平均变化率，这两者虽相关联但本质不同。刚刚那个例子里，$f(x)$ 和 $g(x)$ 并没有在 0 到 1 之间相交，$f(x)$ 一直在 $g(x)$ 的上方要么下方震荡，但它们的导数在某处吻合。 咱们再用个更生活化的例子。假设你在爬楼梯。$f(x)$ 代表你爬的高度，$g(x)$ 代表你还没爬到的距离。假设你在第 1 层和第 2 层，$f(1)=1, g(1)=1$。你站在第 2 层 $f(2)=2$，站在第 1 层 $g(2)=2$。在 $(1, 2)$ 之间，你肯定能找到一个点 $x_0$，让你爬的高度减去剩余的未爬距离等于 0？这听起来有点拗口，但意思就是说，在这个区间里，你的“位移”一直正的，但你务必得穿过某个时刻，让你的“当前高度”减去“剩余距离”为 0。
这实际上就是说，在爬楼梯的过程中，你不可能一直只往上爬而一辈子没停下来要么掉头，别看不对，$f(x)=x^2$ 和 $sin(x)$ 这种复杂情况，实际上是说，在某个时刻，你的瞬时速度（导数）等于你整个路程变长的平均速度。 再想想，比如 $f(x) = x^3$ 和 $g(x) = frac{x^4}{4}$。在 0 到 1 之间，$f(x)$ 从 0 变到 1，$g(x)$ 从 0 变到 1/4。$f(x)$ 增长得快，$g(x)$ 增长得慢。它们肯定有个交点。
看导数，$f'(x)=3x^2$，$g'(x)=x^3$。在 0 到 1 之间，$3x^2$ 一直大于 $x^3$。斜率 $f'(x)$ 也在增添。
那这个例子仿佛不中。换一个，$f(x) = e^{-x}$ 和 $g(x) = frac{1}{x}$？不中，导数可能不好算。还是回到 $f(x) = x^3 - 3x + 2$ 和 $g(x) = frac{x^4}{4}$ 这种比较乱点。 实际上数学大量都是反直觉的。有些函数在区间两端单调，中间却生死攸关。拉格朗日中值定理就是为这种“中间失控”的情况预备的。它告诉你，只要函数连续可导，哪怕变化特别剧烈，只要两端在，中间就总有个点，它的变化率等于全程平均变化率。
这就像说，你步行，要么累，要么快，肯定得有个瞬间，你的速度正好等于你走这段路平均速度的倍数。 再结合下凸下凹的概念。
要是函数是下凸的，导数是单调递增的。
要是 $f(x)$ 是下凸的，$g(x)$ 是下凸的，且 $f(x_0) = g(x_0)$，那它们之间就不能有交点。出于下凸函数在区间内只会单调变化，要是一启动相等，后来相等不了，那中间就隔着去了。拉格朗日中值定理的推论呢？那个定理说，要是两个下凸函数在区间内相等，那它们的平均变化率相等。
要是 $f(x)$ 是下凸的，$g(x)$ 是下凸的，$f(x_0)=g(x_0)$，且 $f'(x)$ 和 $g'(x)$ 有交点，那这玩意儿肯定不成立。出于下凸函数不可能在区间内相等而不单调。
故此这个定理实际上是说，下凸函数不可能在区间内相等。 这就挺有趣了。
要是两个函数都是下凸的，且在某点相等，那它们中间绝对没有交点。出于要是中间有交点，那一个务必从另一个的上面下来，要么反过来，这就意味着它们在某个区间内单调，矛盾。拉格朗日中值定理在这个角度下，成为了一个强有力的排除法武器。它告诉我们，对于下凸函数，要是你找不到那个“平均速度匹配点”，那说明函数根本不是下凸的，要么根本构不成这种关系。 那有没有可能函数不是下凸的？自然有啊，比如正弦函数。正弦函数在 0 到 2pi 之间，既有下凸也有下凹。它会在区间内多次“迷路”。
比如 $f(x) = sin(x)$ 在 $[-pi, pi]$ 之间。$f(-pi) = 0, f(pi) = 0$。它们的平均变化率是 0。
那 $f'(x) = cos(x)$ 在 0 到 $pi$ 之间从 1 变到 -1。肯定有 $x_0$ 使得 $cos(x_0) = 0$，那就是 $pi/2$。
故此在 $pi/2$ 处，切线斜率是 0，等于平均变化率。别看函数值在 $pi/2$ 时是 1，不是 0，但它知足导数条件。
这说明拉格朗日中值定理不保证函数值相等，只保证导数相等。 那要是两个函数都是下凸的，且知足导数相等呢？那函数值肯定不相等。出于下凸函数在区间内单调。
故此拉格朗日中值定理在这里起了定性功能：要是你看到两个下凸函数在区间内导数相等，那它们肯定不相等。
这个结论比定理本身更有用。 再说说应用场景。拉格朗日中值定理在求极限的时候好使。
比如求 $lim_{x to 0} frac{f(x) - f(0)}{x}$。
要是 $f(x)$ 连续可导，那在 0 附近有 $f(x) - f(0) approx f'(0) cdot x$。极限就是 $f'(0)$。但要是你有具体的 $f(x)$，比如 $f(x) = x^2$，求 $lim_{x to 0} frac{x^2 - 0}{x}$，那是 $0/0$ 型。用中值定理能够把它转化。在 $[0, x]$ 之间，$f(x) - f(0) = f'(c) cdot x$。
故此 $frac{f(x) - f(0)}{x} = f'(c)$。当 $x to 0$ 时，$c to 0$，故此极限就是 $f'(0)$。
这种转化把抽象的导数定义变成了具体的函数值变化，贼直观。 还有凸函数的性质。
要是 $f(x)$ 是下凸的，那对于区间内任意两点 $x_1, x_2$，都有 $f((1-t)x_1 + t x_2) le (1-t)f(x_1) + t f(x_2)$。拉格朗日中值定理能够辅助证明这个性质。
要是两个下凸函数相等，那它们差值为 0，差值的导数为 0，故此差值为 0，函数值相等。
这实际上就是说，下凸函数的差函数也是下凸的，故此单调。 那在实际做题时如何用呢？有时候题目让你证明不等式，比如 $f(x)$ 是下凸，求证 $f(a) + f(b) ge 2f(frac{a+b}{2})$。
这时候你能够先找中值点，看看导数关系。
要是两个函数相等，但导数不等，那肯定有交点。拉格朗日中值定理能够帮你建立不等式链条。
比如 $f(x) - g(x)$ 在区间内等于某条直线。
要是 $f(x)$ 是下凸的，$g(x)$ 是上凸的，那它们不可能相等。 还有几何意义。拉格朗日中值定理说，你的曲线上任一点，切线斜率等于你在整个区间上连线的斜率。
这就像说，你画个曲线，然后从头连到尾，这就形成一条弦。在曲线上的某一点，切线就是经过该点的那条线，它的斜率跟整条弦的斜率一样。
这简直是画图题的救命稻草。
看到这种题，立马在图上标出 $x=a$ 和 $x=b$ 的垂直距离，算出斜率，然后在图上找一个点 $x_0$，让切线斜率等于那个值，连一条平行线，这就有了。 再想想有没有反例。
比如 $f(x) = x^3$ 和 $g(x) = x^3 + x$。它们导数相等吗？$3x^2 = 3x^2 + 1$，不可能相等。
那拉格朗日中值定理如何适用？它在区间内肯定成立。
比如 $x in [-1, 1]$。$f(-1)=-1, f(1)=1$。平均斜率 2。$f'(x) = 3x^2$，在 0 到 1 之间 $3x^2$ 从 0 变 3。肯定有 $x_0$ 使得 $3x_0^2 = 2$，即 $x_0 = sqrt{2/3}$。在这个点切线斜率等于平均变化率。别看 $f(x_0) neq g(x_0)$，但知足条件。
这说明中值定理是“存有”型的，不是“唯一”型。 那有没有可能两个函数在区间内相等，但导数不相等？比如 $f(x) = sin(x)$ 和 $h(x) = sin(x) + x sin(1)$。它们在 $x$ 轴上只有一个交点 $x=0$。在 $x>0$ 时 $f(x) < h(x)$，在 $x<0$ 时 $f(x) > h(x)$。
故此它们没有区间内相等的情况。
那中值定理不成立，出于前提不知足。
这说明中值定理的前提贼关键，缺一不可。 再说说高阶导数。拉格朗日中值定理是一阶的。
要是两个下凸函数在区间内相等，那它们的二阶导数也相等，三阶导数也相等。
这实际上是凸函数的一个根本性质。拉格朗日中值定理能够证明这一点。
要是 $f(x) - g(x) = 0$ 在区间内，那 $(f-g)'(x) = 0$，再求导，$(f-g)''(x) = 0$。
这和中值定理结合，能够推出 $f(x) - g(x)$ 是常数。
要是它在区间内不为 0，那就矛盾了。
故此两个下凸函数在区间内相等，意味着它们简直一样。 那在实际解题中，要是遇到这类题，如何判断？先看看是不是下凸函数。
要是是，求中值点，看看导数是否匹配。
要是不匹配，可能是题目数据玩脱了，要么分别求导。
要是函数不是下凸的，那就直接画图找交点。 还有近似计算。
比如 $f(x) approx f(a) + f'(a)(x-a)$。当 $x$ 接近 $a$ 时，这个近似挺好。拉格朗日中值定理就是把这个近似推广到整个区间。$(f(x) - f(a)) / (x - a) approx f'(a)$。准说是等于 $f'(c)$。
这个 $c$ 在 $a$ 和 $x$ 之间。当 $c$ 接近 $a$ 时，误差就变小了。
这在数值分析里挺关键，比如用泰勒公式展开，往往就是基于拉格朗日中值定理的积分形式。 那有没有可能两个函数在区间内相等，但其中一个在区间外有定义？比如 $f(x)$ 在 $[-1, 1]$ 定义，$g(x)$ 在 $[-2, 2]$ 定义。它们能不能在 $[-1, 1]$ 内相等？自然能。
那中值定理在 $[-1, 1]$ 内依然成立。
这说明中值定理对定义域的要求主要是闭区间，开区间也能够，只要端点能取到。 还有反例的情况。
比如 $f(x) = x^2$ 和 $g(x) = x^2 + x$。它们导数不相等。在 $[-1, 1]$ 内，$f(x) < g(x)$ 恒成立。
没有区间内相等。
这说明要是两个函数在某区间内相等，它们的差函数恒等于 0，差函数没有零点（除了端点），差函数单调？不对，差函数恒等于 0 也是单调的。
要是两个函数在区间内相等，那它们的差函数恒等于 0。
要是差函数不可导，要么导数不为 0，那就不可能恒等于 0。
故此拉格朗日中值定理反过来也能够说：要是两个函数在区间内相等，且它们知足某些凸性条件，那它们的导数务必相等。 那有没有可能两个函数在区间内相等，但导数不等？比如 $f(x) = sin(x)$ 和 $h(x) = sin(x)$。
那导数自然相等。
要是 $f(x)$ 和 $h(x)$ 在区间内相等，那 $f'(x) = h'(x)$。
这实际上是连续函数的性质。
要是两个函数在区间内相等，其中一个可导，那另一个也一定可导，且导数相等。
这和中值定理不矛盾，只是中值定理供给了一个动态的视角。 最终总结一下。拉格朗日中值定理这东西，主要讲的就是“平均变化率”等于“瞬时变化率”。它不在乎具体是多少，只要在区间内。它不在乎函数长得像啥，只要连续可导就行。它给了一个“中点”来解释“整体”和“局部”的关系。在求极限、证明不等式、画图时都有用。
最关键的是，它能帮你把复杂的函数关系简化成好办的线性关系，要么反过来，通过线性关系去判断非线性函数的性质。 比如，你看到一个函数 $f(x)$，让你判断它是不是凸的。你能够先算它的导数，看看导数是增还是减。
要是能找到 $x_0$ 使得 $f'(x_0) = frac{f(b) - f(a)}{b - a}$，那这函数挺可能就是凸的。
要是找不到，那它就不是凸的。
这就是中值定理的应用。 并且，中值定理还能告诉你，两个函数在区间内要是导数相等，那它们的差函数是常数。
要是差函数在区间内不为 0，那它就有零点。
要是两个下凸函数在区间内相等，那它们的差函数是常数，且为 0，故此函数值相等。
这实际上也是中值定理的一个推论。 总而言之，拉格朗日中值定理就像一个万能钥匙。一把能打开大量数学门道的钥匙，别看有些时候用起来有点抽象，但一旦用对，就能让你省事搞定那些看起来挺难的题。它不保证函数值相等，只保证导数相等。它不要求函数是线性的，只要求导数存有。它不关心函数的具体形状，只关心它在区间内的行为。
这正是数学的魅力所在，有时候最好办的结论，蕴含了最深刻的逻辑。