积分中值定理求极限-积分中值定理求极限

要把那个极限算出来，实际上心里头得有个数，就是那个函数在区间里到底“长”成啥样了。别整那些“起初、其次”，直接想，区间是 $[0, 1]$，函数是 $f(x) = x^2$ 吗？不对，还得是 $f(x) = x + sin x$ 要么 $f(x) = frac{1}{1+x}$ 这种能让人琢磨出点“味道”的题。 要是 $f(x) = x$，那区间 $[0, 1]$，中值定理说肯定有个 $c$ 让 $f(c) = f(1) - f(0)$，也就是 $c = 1$，那极限就是 1，这忒顺直了，没啥意思。但数学题要是有点弦，比如 $f(x) = sqrt{x}$，在 $[0, 1]$ 上，导数 $f'(x) = frac{1}{2sqrt{x}}$ 在 $0$ 处就发狂了，趋向无穷大。
这时候中值定理还能用吗？能，但得小心那个 $c$ 点是不是非平凡点。
要是 $c=0$，那极限就是 $0$；要是 $c>0$，那极限就是 $0$ 到 $frac{1}{2sqrt{c}}$ 之间，范围有点大，但逻辑上得通。 再看一个略微复杂点的，$f(x) = ln x$，区间 $[1, e]$。中值定理保证存有 $c in (1, e)$ 使得 $frac{ln e - ln 1}{e - 1} = frac{1}{c}$。出于 $c$ 是夹在 $1$ 和 $e$ 中间的，那 $c$ 肯定大于 $1$ 并且小于 $e$。
故此 $frac{1}{c}$ 肯定小于 $1$ 且大于 $1/e$。
这就挺清楚了，极限是个介于 $1/e$ 和 $1$ 之间的数，并且肯定小于 $1$。别看中间没具体算出来是多少，但直觉上知道是个合理的数，不会无限大也不会为零。 实际上大量时候，直接求导数在区间上的上下界，比用那个微妙的“存有某个 $c$"更实在。
比如算 $lim_{x to 0} frac{sin x}{x}$，别看这是两个东西商的极限，但用广义中值定理（平均变化率）来看，这两个值一个在 $0$ 附近，一个在无穷大附近，夹出来的那个 $c$ 实际上是无穷小量，极限自然就是 $1$。
这种“挤”不出来的法儿，有时候反而比硬套定理好，毕竟哪位都知道 $1$ 是最自然的。 还有一点，作为微积分，我们实际上极少在读完定理课本后就能直接套公式出答案。
这些定理是工程师、物理学家在脑子里有个“总开关”，要么说是做高数证明时的辅助工具。真正的理解，往往是看着函数图，看着面积，看着那些密密麻麻的积分符号，突然意识到“平均高度等于某一点的函数值”这个几何意义。 举个具体的例子，计算 $int_0^1 x dx$。
这好办吧？左边看，$x$ 从 $0$ 变到 $1$，面积是梯形，上底 $0$ 下底 $1$，高 $1$，面积是 $1/2$。右边用中值定理，$int_0^1 x dx = f(c) cdot (1-0) = c$，故此 $c = 1/2$。
这时候你会发现，积分算出来的结局，正好就是那个中值点 $c$ 的值。
这种一致性，是数学最迷人的地方，它证明白积分和平均值是长出一对双胞胎的。 但在实际解题时，有些题咱们就得另辟蹊径。
比如 $lim_{n to infty} frac{1}{n} sum_{k=1}^n frac{1}{1+k/n}$。
这个直接在积分号里代换，变成 $int_0^1 frac{1}{1+x} dx$，然后算出 $ln 2$。
这看起来像是一个标准操作，但你要想透，$frac{1}{n}$ 实际上是把区间分成 $n$ 份，每份长度 $1/n$，这一组一组的求和，就是黎曼和，自然等于平均值。而这里的函数 $f(x) = frac{1}{1+x}$ 在 $(0, 1)$ 上是正的，且连续，故此中间的某个值 $c$ 肯定存有。
既然 $c$ 在 $0$ 和 $1$ 之间，那 $f(c)$ 就肯定小于 $f(0)=1$，大于 $f(1)=1/2$。
故此整个求和的平均值肯定在 $1/2$ 和 $1$ 之间，极限取整之后就是 $1$？不对，什么的，这里有个陷阱。$f(x)$ 是单调递减的，故此平均值肯定小于 $f(0)$ 且大于 $f(1)$，也就是 $(1/2, 1)$。
那极限就是 $ln 2 approx 0.693$。
这个值确实小于 $1$，也大于 $0.5$，彻底符合逻辑。
要是随意猜一个数，比如 $0.8$，别看也在范围内，但没法通过“存有性”证明它是对的。
故此中值定理在这里的功能，就是帮你锁死了大约的范围，排除了边界点（比如 $1$）的可能性，告诉你结局不会跑到 $1$ 去，而会在中间那个“舒服”的地方停留。 有时候，题目会给你个具体的函数，让你求它的中值，用中值定理可能比直接积分还快。
比如求 $f(x) = x^3 - 2x^2 + x$ 在 $[0, 2]$ 上的平均变化率。直接算导数在 $[0, 2]$ 上的最大值和最小值，范围有点宽。用中值定理，$f(2)-f(0)/2 = 0 - 2 = -2$。
这意味着 $f(c) = -2$。解方程 $c^3 - 2c^2 + c = -2$，即 $c^3 - 2c^2 + c + 2 = 0$。试根法，$c=-1$ 就是一个根。
那 $c$ 就在 $[-1, 2]$ 之间。
这就明确了，平均值确实是 $-2$。别看具体点 $c$ 是多少不关键，只要知道它在区间内，这个结论就是稳的。 这种思维方式，在处理变限积分要么涉及参数的时候特别有用。
比如 $lim_{a to 0} int_0^a (1 + t)^2 dt$。
这里 $a$ 既是积分上限，又是参数。用中值定理看，$int_0^a (1+t)^2 dt = (1+xi)^3 cdot a$，其中 $xi$ 在 $0$ 到 $a$ 之间。当 $a$ 挺小时，$xi$ 也挺小，$(1+xi)^3$ 接近 $1$。
故此极限实际上就是 $lim_{a to 0} a cdot 1 = 0$。
这个逻辑链条别看绕了一点，但比单纯换元积分更直观地展示了“局部性”——在无穷小区间里，函数值无限接近于点值 $1$。 再说说那些略微有点生涩的题，比如含参变量积分的极限。$lim_{n to infty} n int_0^1 e^{-nx} dx$。
这题要是按部就班，$int$ 算出来是 $1 - e^{-n}$，乘以 $n$，一洛必达要么等价无穷小，变成 $n(1 - (1 - nx)) approx n^2x$，这显然不对，积分结局应当是 $(1-e^{-nx})/x to infty$ 啊？不对，原式是 $n int_0^1 e^{-nx} dx$，积分结局确实是 $(1 - e^{-n})/n to 0$。
什么的，我算错了，应当是 $n cdot (1 - e^{-n})/n = 1 - e^{-n} to 1$。
要是是这样，用中值定理，$int_0^1 e^{-nx} dx = e^{-nc} cdot 1$，其中 $c in (0, 1)$。当 $n to infty$ 时，$e^{-nc}$ 如何个变法？要是是 $c=1$，那就是 $0$；要是是 $c to 0$，那就是 $1$。出于 $c$ 是 $(0, 1)$ 里的点，它到底能取多少？这取决于导数 $f'(x) = -n e^{-nx}$ 在 $0$ 处的行为，是无穷大。
这正好说明，要是函数增长忒快，中值点会被推向端点，进而让极限结局由端点的值主导。
要是函数增长慢，中值点就埋在中间，整个区间值都会被摊薄。
这个细微差别，中值定理帮我们看到了。 自然，中间肯定也有坑。
比如 $lim_{x to 0^+} int_0^x frac{1}{t^2} dt$，这根本不存有，原函数是 $-1/t$，在 $0$ 处无界。
这时候中值定理可能就用不上了，出于原函数在区间端点发散，无法构成平均变化率。
这时候得回头想想，这个积分本质上是在算面积，面积是无穷大的，故此极限不存有。
这时候纠结“是否存有 $c$"已经有点本末倒置了，得先看函数本身有没有“病”。 还有，多解法比对有时候比单纯依赖中值定理更靠谱。
比如算 $int_0^1 x^2 dx$，直接积分得 $1/3$。用中值定理也得是 $c^3 = 1/3$。但有时候换个角度，比如把区间分成三块，每块 $1/3$，算三段的平均，可能发现它等于中间各段的中点函数值。
这种组合拳，往往比死磕某个定理更有力。中值定理更多时候是个验证器，是个“要是...那么..."的假设，用来排除荒谬的答案。 最终，别犯一个低级毛病，那就是把 $lim_{n to infty} frac{1}{n} sum_{i=1}^n f(i/n)$ 和 $lim_{n to infty} frac{1}{n} sum f(x_i)$ 搞混了。前者是黎曼和，对应中值定理里的 $xi_i$，后者是任意选取点的和，不一定对应平均变化率中的那个 $c$。别看对于连续函数它们极限一样，但在理论推导上，千差万别。处理这类题时，要时刻警惕“任意点”和“平均点”的区别，不要把图形上的点随意塞进公式里。 总而言之，积分中值定理在极限求解里，就是一位沉默的哥们儿。它不直接告诉你答案，但给你划定一个保险的走廊，告诉你在走廊的尽头，答案一定存有且知足某些条件。
有时候你只需求知道它不等于无穷大，要么不等于某个端点值，就能麻利把方向定住。真正的天才，往往不是第一个喊出“极限是 1"的人，而是那个在复杂的推导迷宫里，一眼看出“中值点在区间中点”进而瞬间秒杀的人。