定积分中值定理的方法-定积分中值定理法

定积分里那个著名的“有零点存有性”，大量人一见面就跟我甩出“根据介值定理，区间 $(a, b)$ 里肯定有个点 $c$ 让 $f(c)$ 等于零”，听着挺爽，但细琢磨发现这逻辑实际上是有点“偷梁换柱”的。 咱们先别急着上定理。你说一个函数，在区间两端一个正一个负，中间难道能直接断言有个根吗？这确实像直觉。但在微积分的世界里，函数可能长得跟石头一样，单调地从头撞到尾，中间哪怕有一个“平坦”的小凹陷，只要两边不连上，中间那个点一辈子推不出来。
这就是数学里常说的“陷阱”。 举个例子，想象你在开车。
要是你从 0 公里的地方出发，一直匀速开到 100 公里，中间哪怕有一秒钟你车子被卡住不动（即速度为零），只要前后速度都大于零，那你中间肯定能找到一个点，让速度刚好是“零”这个状态。
这叫不变号定理，要么叫介值定理。但要是你是在一个极速下坡的赛道上，从 30 公里/小时启动狂飙，中间突然被一个垂直的墙挡住，速度变成了无穷大要么负无穷大，就连直接卡在了 50 公里/小时这个整数点上，这时候你就没法找出一个“恰好”是 0 的速度点。
这就是函数可能一辈子不取到某个值，哪怕它在两端取到了。定积分里那个变体，实际上就是说：要是函数图像在区间里穿过 x 轴，那肯定能切到；但要是只是“擦边”而过，要么在某个点“挂住”了，那结论就不一定成立。咱们不能出于两边有值，就机械地套那个定理，得先看看函数到底是个啥样。 那咱们如何真正搞定这个定积分呢？别上来就背公式，公式只是拐杖。
关键在于如何“看”这个图形。定积分 $int_a^b f(x) dx$ 在几何上，就是把曲线跟 x 轴围起来的那个面积算出来。得记住，这个面积是有正负的。
要是是正数，你就把它当成正的数加；要是是负数，那就得扣掉。
这就好比你在算账，买东西赚钱，卖东西赔钱，最终余额就是总和。 大量人好办犯的毛病是把积分当成“求平均高度”来思索。
这个概念是错的。定积分算出来的实际上是“总力”要么“总位移”，而不是某个特定时刻的高度平均值。
要是你一定要找平均高度，那是用定积分除以区间长度拿到的 $frac{1}{b-a}int_a^b f(x)dx$，这才是平均值。但原题里的“中值定理”一般是指那个存有点 $c$，使得 $f(c)$ 等于这个平均值的结论。
也就是说，只要总面积有正有负（要么总体积不为零），肯定能找到一个点，让它的高度“刚好”踩在这个平均高度上。 这就回到了刚刚说的“零号定理”。假设函数 $f(x)$ 在 $[a, b]$ 上连续，但在端点处不知足条件，要么整个区间都没有穿过 x 轴，那这个平均值到底能不能被取到？ 举个具体的例子。设 $f(x)$ 在 $[0, 1]$ 上连续，但 $f(0) = 1, f(1) = -1$，且中间一直在 x 轴上方。
那么它的面积肯定是正的，平均值肯定是正的。
这时候根据介值定理，只要函数连续，平均值就在 $(f(0), f(1))$ 之间，也就是 $( -1, 1 )$ 之间。
既然平均值是正数，且函数值域包含了这个正数，那根据介值定理的推论，肯定存有一个点 $c$，使得 $f(c)$ 等于这个平均值。
什么的，这里仿佛有点绕。 让我们换一种更严谨的思路。定积分中值定理的核心实际上是：在区间内部，函数图像一定“穿过”了水平线 $y = bar{f}$（其中 $bar{f}$ 是平均值）。
要是函数在区间内单调递增，那图像就是个单坡，从低往高爬，肯定能碰到 $y = bar{f}$。
要是函数是震荡的，像波浪一样，那它自然也能碰到无数条直线。 可是，要是函数在区间内“死板”，比如它根本没有穿过 x 轴，但两端点函数值一正一负？不对，题目前提一般是 $f(a)$ 和 $f(b)$ 在定义域内。
要是 $f(a) cdot f(b) le 0$，那图像肯定穿过 x 轴，平均值肯定在 $0$ 和函数值之间，这时候定理直接给。 难点在于那些“不穿过 x 轴”的情况，要么函数值都同号但围成的面积不为零的情况（比如两个波峰和一个波谷，代数和为正，但中间没穿过 x 轴）。
这时候，别看平均值存有，但能不能找到点 $c$ 让 $f(c)$ 等于它？ 实际上，定积分中值定理（介值定理形式）的一个隐含前提是函数在区间内取到了最大值和最小值。
要是函数在区间上恒大于某个常数 $m$，要么恒小于 $M$，那平均值肯定也在 $(m, M)$ 之间。根据中值定理，连续函数在 $(a, b)$ 内必有零点。
要是 $f(x) ge m$，则 $f(x) - m ge 0$。
要是平均值 $bar{f} < m$，这就矛盾了，出于 $f(x)$ 一直比 $m$ 大。
故此，要是平均值 $< m$ 或 $> M$，那平均值根本取不到，出于函数一辈子取不到那些值。 可是，要是 $m < bar{f} < M$ 呢？这时候函数图像在区间内是如何移动的？它务必从某个高度爬升到 $bar{f}$，要么从 $bar{f}$ 降到某个最低点，再爬回上方。
这就意味着，函数图像在区间内务必“穿过”了水平线 $y = bar{f}$。
既然图像穿过了这条线，根据连续函数的介值性质，就必然存有一个点 $c$，让 $f(c)$ 正好等于这条线的高度 $bar{f}$。 这就把难题化解了。
关键在于理解“穿过”的本质。
只要下限小于平均值，而函数值一辈子高于下限，函数就“务必”往上爬；只要上限大于平均值，而函数值一辈子低于上限，函数就“务必”往下陷。
这两种运动方式必然会在平均值处相遇。 故此，回到那个“不穿过 x 轴”的担忧。
要是 $f(x)$ 在 $[a, b]$ 上连续，且 $f(a) cdot f(b) < 0$，那图像绝对穿过 x 轴，平均值 $bar{f}$ 肯定在 $f(a)$ 和 $f(b)$ 之间，定理成立。
要是 $f(a) cdot f(b) ge 0$，比如都在 x 轴上方，那图像别看没穿过 x 轴，但它可能从某个高度爬升到更高的高度，然后再爬下来。
要是最终的高度变化使得总面积（积分为正）的“峰值”低于某个设定的平均值，那就费事了。 不过，一般我们在聊聊定积分中值定理时，默认的前提就是函数在区间内能取到局部极值。
要是函数在区间内是单调的，那图像就是个斜坡，中间点的高度彻底由两端点拍板。
要是平均值在这个斜坡的范围内，点 $c$ 就在中间；要是不在这个范围内，那平均值就取不到，出于函数一辈子达不到那个位置。 这就引出了一个具体的数值例子。设 $f(x) = x^2$，在区间 $[-1, 1]$ 上。端点是 $1$ 和 $1$，平均值显然是 $0$（在区间内）。函数图像是抛物线，从 $(-1, 1)$ 爬到 $(1, 1)$。中间最低点是 $(0, 0)$。平均值 $0$ 正好就是最低点。根据中值定理，存有 $c=0$，使得 $f(0) = 0$，符合预期。再试一个，设 $f(x) = x^3 - 3x$ 在 $[-2, 2]$ 上。端点 $f(-2)=-10$，$f(2)=-10$。平均值为 $-10$？不对，端点都是负数。平均高度肯定在 $-10$ 附近（更准说是 $[-10, -10]$？不对，函数值域是 $[-2, 4]$ 左右，平均值肯定在 $-10$ 和 $-10$ 之间？不可能，函数值域是 $[-2, 4]$。平均值肯定在 $[-2, 4]$ 之间。$f(-2)=-10$，$f(2)=-10$，平均值 $bar{f} = -10$。
什么的，函数在 $x=-1$ 时是 $-4$，$x=1$ 时是 $2$。
哦，我看错端点了，$f(-2)=-10$ 不对，$(-2)^3 - 3(-2) = -8+6=-2$。
哦，是 $f(-2)=-2, f(2)=-2$。平均值为 $-2$。函数图像从 $(-2, -2)$ 上升到 $(1, 2)$ 再下降到 $(2, -2)$。平均值 $-2$ 正好是端点值，也正好是最低点 $x=-1$ 处的值？不对，$x=-1$ 时 $f(-1)=-4$。平均值是 $-2$，比 $-4$ 大，比 $2$ 小。
故此平均值在 $( -4, 2 )$ 之间，但点值 $-2$ 本身就在 $x=1$ 处。$f(1)=2$。
什么的，端点函数值相等，平均值就是端点函数值。函数图像从 $-2$ 上升到 $4$ 再下降到 $-2$。平均值 $-2$ 肯定在图像上，不止一个点。 还是换个更经典的例子，比如 $f(x) = frac{1}{x}$ 在 $(0,1)$ 上？不中，瑕积分，不连续。
那就 $f(x) = frac{1}{x}$ 在 $(1, 2)$ 上？还是连续比较好。设 $f(x) = cos x$ 在 $[0, pi]$ 上。端点 $1$ 和 $-1$。平均值 $frac{1+cospi}{2} = 0$。函数在 $frac{pi}{2}$ 处取到 $0$。完美。 这道题实际上没那么玄乎，它就是在问：要是函数在区间内取了最大值和最小值，且平均值落在这个“跨度”里，那函数图像就“得”穿过那条线。就像你拿一根绳子扫过地面，要是扫过的区域高度上上下下，且总高度不为零，那中间一定有个点刚好踩在平地上。
只要函数是连续的，它就做不到“凭空消亡”要么“一辈子悬空”在平均值上面。它要么一直往上升（穿过），要么一直往下降（穿过），要么震荡（穿过）。
要不就它像个死板的大山，只有在某几个孤立的点取值，中间全是悬崖。但要是是这样，那中间那一段的均值肯定达不到，出于函数在那段没取到那个值。 故此，结论是清楚的：只要函数知足介值定理的前提（连续且区间内能取到极值，要么好办点，区间端点值在平均值两侧，要么整体趋势准），那么中点 $c$ 一定存有，使得 $f(c)$ 等于平均值。 这就解释了为啥有时候我们认定定理“没用”要么“走不通”。大量时候是我们忽略了函数是否确实“穿过”了平均值那条线。
要是函数在区间内是一条从上到下的直线，而平均值刚好就是这条直线的中间高度，那自然能找到点。但要是平均值是上端点，而函数从 $1$ 降到 $0$，那平均值 $1$ 就取不到了。
故此，在使用这个定理时，我们要验算一下平均值是不是确实在函数的“可行域”里，要么函数的形状是否确实准穿过。 最终总结，定积分中值定理就像是一个诚实的裁判。它不会撒谎，说“肯定有根”，出于它依赖的是函数连续性和介值性。它不会撒谎，说“平均值取不到”，出于它看的是函数能不能“触及”那个高度。
只要你盯着函数的图像，看它是不是在 $y=bar{f}$ 这条线上有“呼吸”（穿过），那答案就是肯定的。别再死记硬背符号，看着图，看它如何动，自然水到渠成。