积分中值定理应用-积分中值定理应用

积分中值定理：一个被“生活”耽误的数学玩具 拿起一支笔，在纸上随手画个曲线，大约你会认定这只是一道标准的微积分作业题：在指定区间上求定积分。但事实上，这个看似枯燥的公式，藏着关于“平均高度”最有趣、也最反直觉的真相。 别急着背诵定义，也别想那些绕弯子的一堆逻辑。想象一下，你手里拿着一块形状怪的石头，由无数块一砖一瓦堆砌而成。
要是你把这石头扔进湖里，水面会如何起起伏伏？它会像波浪一样，波峰波谷连绵不断。
你想知道这块石头在水面下到底“平均”沉多深？
要么更直观地，你想知道这块石头剩下的局部（假设石头密度均匀）平均高出水面多少？ 这就好比求定积分。我们定义一个函数 $f(x)$ 代表石头表面的高度。
要是你给了一个区间 $[a, b]$，比如从坐标 $1$ 到 $5$，那这段“石头”在水平轴上的总投影长度是多少？也就是 $int_{1}^{5} f(x) dx$。
这个积分算出来的是体积。 目前的难题是，体积分布在哪些高度上？有的地方石头挺高，有的地方挺低。
这就好比湖面，有的某个区域浪高庞大，有的地方却纹丝不动。
要是单纯看平均值，那就是把所有体积除以总长度。但数学上的中值定理告诉我们，存有某个具体的、确切的“平均高度”点 $c$，在这个点 $c$ 上，石头的高度 $f(c)$ 恰好等于整个区间的体积除以宽度。 好办点说，就是这块石头，它的平均高度，一定等于它在这个区间上的平均海拔。 这就好比你站在一个山峰上，脚底是山谷，头顶是迪化天台山。你问：“我在这条山路上，平均海拔是多少？”你会说：“那就是那个特定的海拔点的高度。”积分中值定理就是这个定理，它告诉你，不但平均海拔是一个确定的数，并且，只要湖的水位够高，这个数一定出目前你脚下某一刻的真海拔上。 比如，假设有一段曲线，从 $(1, 2)$ 到 $(5, 10)$。
要是你用梯形的方式算面积，算出来这块“石头”的体积是 300。
那么它的平均高度就是 $300 div 4 = 75$。积分中值定理说的是：在这一段距离上，肯定存有一个点 $c$，使得 $f(c) = 75$。
哪怕函数在绝大多数时候都长得挺低，在中间某个瞬间它可能长到了 75，哪怕这个 75 是极值点，要么只是个一般/平平的升降点。 但这并不是说函数务必长得像阶梯。
要是函数是单调递增的，那这个平均高度点 $c$ 一定是函数增长最剧烈的地方。
要是函数是先升后降，那 $c$ 可能是那个转折点，也可能是函数整体“重心”落脚的地方。 为了更真切地感受这种“存有性”，我们能够做点实验。假设我们要解方程 $e^x = 3x + 1$。在 $x=0$ 时，$e^0=1$，$3(0)+1=1$，两样相等。在 $x=1$ 时，$e^1 approx 2.7$，$3(1)+1=4$，不等。
这说明函数在两端离得挺远，中间却可能“咬住”了对方。积分中值定理在这里就显得特别灵活。它准你把函数想象成一条不断下坠的曲线。你能够假设这条曲线从 $x=1$ 处的某个高点 $h$ 启动，一路跌落到 $x=5$ 处的低点 3。 只要这条曲线充足“跌宕”，它必然会在某个时刻穿过某个特定的水平线 $L$。
这个 $L$ 线的高度就是我们要找的积分中值。具体来说，它不可能在曲线上方，也不可能在曲线下方，它一定“贴着”曲线，哪怕只是擦过一点。 举个例子，假设函数 $f(x) = 10 - x^2$ 在区间 $[0, 4]$ 上。
这是一个倒抛物线。计算一下：积分是 $[10x - frac{2}{3}x^3]_0^4 = 40 - frac{128}{3} = frac{12}{3} = 40$。区间长度是 4。平均高度是 $40 div 4 = 10$。 故此，根据定理，在 $[0, 4]$ 之间，肯定存有一个点 $c in [0, 4]$，使得 $f(c) = 10$。 让我们看看这段曲线上的点： 当 $x=0$ 时，高度是 10。 当 $x=1$ 时，高度是 9。 当 $x=2$ 时，高度是 6。 当 $x=3$ 时，高度是 3。 当 $x=4$ 时，高度是 0。 你会发现，在 $x=0$ 到 $x=2$ 之间，高度从 10 跌到了 6。根据介值定理（Intermediate Value Theorem），函数必然经过值 10 的地方。
既然 $x=0$ 时的高度已经是 10 了，故此那个知足条件的点 $c$ 就是 0。 并不是所有的中值都存有，也不是所有的点都重合。但既然存有，就在最启动的 $x=0$ 处。
这就解释了为啥在 $x=0$ 处，曲线恰好“托住”了平均高度的水平线。 这种“蹭”上的感觉，实际上有点荒谬，但有时也是数学美学的体现。
比方说，在 $[0, 1]$ 区间上画 $f(x) = x$（直线）。它的面积是 $1/2$，平均高度是 $1/2$。
显然，在 $x=0$ 处高度是 0，在 $x=0.5$ 处高度是 $0.5$，在 $x=1$ 处高度是 1。平均值 $0.5$ 只等于端点 $x=0.5$ 的值。 再换个例子，$f(x) = sin(x)$，区间 $[pi, 2pi]$。
这里是正弦波的全程（上下各半个周期）。 积分 $int_{pi}^{2pi} sin x dx = [-cos x]_{pi}^{2pi} = -1 - (-(-1)) = -2$。 区间长度是 $pi$。平均高度是 $-2/pi approx -0.636$。 根据中值定理，存有 $c in [pi, 2pi]$ 使得 $sin c = -0.636$。 我们知道 $cos(pi) = -1$, $cos(2pi) = 1$。 正弦值从 -1 变到 1。
故此在 $[pi, 2pi]$ 之间，正弦值一定会等于约 -0.636。
这个点大约在 $3pi/2$ 附近，但不会跑到 $3pi/2$ 去，出于那里高度是 -1，而我们要的是平均值。它要在曲线中间某个位置“活着”地躺着，高度正好是平均值。 有时候，你需求构造一个函数，让它“躲”在平均值的后面。
比方说，函数先上升到挺高，然后降到极低，再上升到中间高度。 假设我们要造一个在 $[0, 10]$ 区间上的“山”。 $0$ 到 $2$，高度从 $0$ 升到 $100$。 $2$ 到 $4$，高度从 $100$ 降到 $100$（这是个台阶，没变化）。 $4$ 到 $8$，高度从 $100$ 降到 $0$。 $8$ 到 $10$，高度从 $0$ 升到 $100$。 算一下体积。 第一块：梯形，$(0+100)times 2 / 2 = 100$。 第二块：矩形，$100 times 2 = 200$。 第三块：梯形，$(100+0)times 4 / 2 = 200$。 第四块：梯形，$(0+100)times 2 / 2 = 100$。 总积分体积 = $100 + 200 + 200 + 100 = 600$。 区间长度 10。 平均高度 = $600 / 10 = 60$。 这 60 这个数，务必出目前曲线 $[0, 10]$ 上某一点的高度上。 看哪一段： $0$ 到 $2$：从 0 到 100。60 在其中吗？有。 $2$ 到 $4$：恒 100。 $4$ 到 $8$：从 100 到 0。60 在其中吗？有。 $8$ 到 $10$：从 0 到 100。60 在其中吗？有。 哇，60 有无数个位置可选。 在 $[0, 2]$ 区间里，当 $x=1$ 时，高度正好是 50。 在 $[4, 8]$ 区间里，当 $x=6$ 时，高度正好是 50。 就连当 $x$ 在 $[4, 8]$ 区间里移动时，只要高度是 60 就行，比如 $x=5$ 时，高度是 40（不对，是从 100 降到 0，线性下降，$100-2(x-4)$，令 $100-2(x-4)=60 Rightarrow 2(x-4)=40 Rightarrow x-4=20 Rightarrow x=24$，不对，算错了）。 重新算 $[4, 8]$：$f(x) = 100 - 2(x-4) = 100 - 2x + 8 = 108 - 2x$。令 $108 - 2x = 60 Rightarrow 2x = 48 Rightarrow x = 24$。
不对，$x$ 务必在 $[4, 8]$ 之间。 啊，线性下降，$x=4$ 时是 100，$x=8$ 时是 0。平均值应当是 $(100+0)/2 = 50$。我刚刚算的平均高度是 60，是出于前三段加起来多算了？ 第一块：$(0+100)2/2 = 100$。 第二块：$(100+100)2/2 = 200$。 第三块：$(100+0)4/2 = 200$。 第四块：$(0+100)2/2 = 100$。 总和 600。平均 60。 这意味着在第三段 $[4, 8]$ 上，从 100 降到 0。平均值 60 一定存有。 第四段 $[8, 10]$ 是从 0 升到 100。平均值 60 一定存有。 故此 60 既存有于第三段，也存有于第四段。就连能够在 $[4, 8]$ 和 $[8, 10]$ 的交界处，要么任意位置知足条件。 这说明，平均值 $60$ 是这个“过山车”高度曲线的“心”，它让整块石头“躺平”在了 60 的高度。 这种“躺平”的错觉，实际上是积分中值定理最迷人的地方。它告诉我们，哪怕函数在 60 以上 60 以下剧烈震荡，只要它存有，就必然会在某个时刻“踩”到 60。
不需求你去找那个“踩点”，那个“踩点”就是数学本身在兜底。 要是我们把函数想象成一条无限长的河流，横轴是工夫，纵轴是流量。积分计算的是流量下的体积（要么累积量）。中值定理说，整个流体的“平均流量”，一定在某一瞬刻等于该瞬间的流量。 要是函数是正的，这个“平均流量”就是正数，它一定出目前某个正流量时刻。 要是函数有正有负，比如一个来回震荡的弹簧。 假设你在 $[0, 2pi]$ 上测弹簧的拉力。 $0$ 到 $pi/2$，拉力从 $0$ 升到 $k$。 $pi/2$ 到 $3pi/2$，拉力从 $k$ 降到 $-k$。 $3pi/2$ 到 $2pi$，拉力从 $-k$ 升到 $0$。 算一下平均拉力。 第一段：$(0+k)times pi/2 / pi/2 = k$。 第二段：$(k-k)times pi / pi = 0$。 第三段：$(-k+0)times pi/2 / (pi/2) = -k$。 总体积 = $k + 0 + (-k) = 0$。 区间长度 $2pi$。 平均拉力 = $0 / 2pi = 0$。 根据定理，存有 $c in [0, 2pi]$ 使得 $f(c) = 0$。 拉力的零点，必然在 $[0, 2pi]$ 区间里。 第一段里拉力是正的，肯定有零点。 第二段里拉力从正变负，肯定有零点。 第三段里拉力是负的，肯定有零点。 故此，平均拉力 0 这个数，一定是某个时刻的拉力。 能够说，在 $[0, 2pi]$ 内，弹簧的“平均受力”大小，等于它在某一刻的真受力。 自然，也有可能 $c$ 是区间端点。
比如第一段 $[0, pi/2]$ 里，拉力一直在增，最小在 0，最大在 $k$。平均是 $k/2$（假设对称）。
要是 $k=2$，平均是 1。
那么平均值 1 一定在 $[0, pi/2]$ 的某处。 有时候，这个“中值点”就是区间端点。
比如 $f(x) = x^2$ 在 $[-2, 2]$。 $int_{-2}^2 x^2 dx = [x^3/3]_{-2}^2 = 8/3 - (-8/3) = 16/3$。 平均高度 $16/3 div 4 = 4/3$。 区间端点是 -2 和 2，平方分别是 4 和 4，都大于 4/3。 可是，函数在 $[-2, 2]$ 之间从 0（$x=0$）升到 4，再降到 4，再升到 4，再降到 0。 实际上 $x^2$ 在负半轴是正的，在正半轴也是正的。 等一下，我算错了。$f(x)=x^2$ 在 $[-2, 2]$ 上都是非负的。 中间 $x=0$ 时 $f(x)=0$。 最大值 $f(pm 2) = 4$。 图形像个碗。 平均值是 $4/3 approx 1.33$。 根据定理，存有 $c$ 使得 $c^2 = 4/3$，即 $c = pm sqrt{4/3} approx pm 1.15$。 $-1.15 in [-2, 2]$。 $1.15 in [-2, 2]$。 故此存有两个点。 要是函数是单调的，比如 $f(x)=x$ 在 $[-1, 1]$。 积分 0。平均 0。 存有 $c=0$。 要是函数是 $f(x) = text{sgn}(x)$。 $[-1, 1]$。 积分 $int_{-1}^0 -1 + int_0^1 1 = -1 + 1 = 0$。 平均 0。 存有 $c=0$。 故此，对于 $f(x)=x$，中值 0 就在 $x=0$，它是函数本身的零点。 对于 $f(x)=x^2$，中值 $4/3$ 就在函数值等于 $4/3$ 的地方。 这种“蹭”的感觉，有时候让人认定假。但数学的逻辑是严密的。
只要函数连续（我们一般默认），积分结局和函数值就有一环扣一环。 有时候，你当作平均高度是某个随机值，但实际情况是，它被一个“幸运儿”点给命中了。
这个幸运儿，就是区间上那个恰好高度等于平均值的点。 要是函数忒“平稳”，比如 $f(x)=C$。平均高度就是 $C$。中值就是 $C$。你随意找个点都能撞上。 要是函数忒“乱”，比如 $f(x)=sin(100x)$。平均高度可能挺小，但那个点依然在振荡中“浮现”出来。 故此，记住这个定理，唯一的用途，就是当你面对一个复杂的积分结局时，给自己一颗定心丸。
那个积分算出来的数，绝不是凭空出现的。它一定在某个时刻，在某个位置，真地存有于你的函数图像上。 这就是积分中值定理，一个用积分思维去描述“偶然存有”的神奇定理。它不保证点唯一，不保证点特殊，它只保证“存有”。 那存有，便是实数。
那实数，便是存有的。 这大约就是数学最温柔，也最坚固的一面。