积分中值定理适用条件-积分中值定理普遍条件

积分中值定理这事儿，有时候比听起来好办，但实际上挺“皮”的。它说白了就是在一个光滑的区间上，函数总得有那个“平均表现”的代表点。
不过，它不像微积分里的那么多定理，有着严格的门槛。
要是条件不踩准，神仙也凑不齐，就连一堆函数根本不用想它。 起初，这个区间得是连通的，并且长度要是正的。
这点实际上挺基础的，比如从 0 到 1 是个区间，但 0 到 -1 要么从 1 到 2.5 这种长度是负的，要么区间断开了，那定理就作废了。就像你去坐火车，得是同一个车，不能从北京坐去上海又换道去南京。被积函数 f(x) 务必要是连续，不能断点。
要是函数在某个点跳得乱七八糟，比如一个跳了 100 度的阶梯函数，那整个积分就算烂了，中值定理也就用不上，要么得改个说法，差不多好笑。 导数得处处存有。
这个条件实际上挺磨人。
你想想，导数存有不代表函数一定连续，但积分中值定理要求函数连续，导数却要求函数可导。
这就有点矛盾了，仿佛函数务必既“光滑”又“有缺陷”。
不过好在，一般这类函数别看可导但不可微，只要导数存有就行，就像那个经典的 $sqrt[3]{x}$ 在 0 点别看不可微，但导数存有，故此积分中值定理还能用。但要是是像 $|x|$ 这种绝对值函数，在 0 点导数根本不存有，那直接就把大门给挡住了，没法套公式。 那到底如何用呢？定理本身是个挺欧拉的结论。
要是在区间 [a, b] 上有一个连续函数 f，导数存有，那么起码存有一点 $xi$，使得 $f(xi) = frac{1}{b-a}int_a^b f(x)dx$。
这个式子左边就是函数在某点的值，右边是整个函数图像下面积的平均高度。
也就是说，要是函数在区间内起伏挺大，比如从 10 降到 0 再涨到 10，它肯定卡在中间某个高度上，那个高度值就是平均高度。 举个例子，算一下 $f(x) = sin(x)$ 在区间 $[0, pi]$ 上的情况。
这个函数在 $[0, pi]$ 上连续，导数也处处存有。我们要找的是 $(int_0^pi sin x dx)/(pi - 0)$ 等于多少。积分出来是 $[-cos x]$ 从 0 到 $pi$，也就是 $-(-1) - (-1) = 2$。
然后除以长度 $pi$，拿到 $frac{2}{pi}$。
那 $sin(xi)$ 就得等于 $frac{2}{pi}$。在 $[0, pi]$ 里，2/0.636 大约是 3.14，反正弦函数在 0 到 $pi$ 之间只会经过一个峰值和谷底，也就是 $pi/2$ 处，$sin(pi/2)=1$。
什么的，1 不等于 $2/pi$ 啊，如何错了？哦不对，我算错了。平均值是 $2/pi approx 0.636$，而正弦函数的最大值是 1，最小值是 0。0.636 确实在 0 和 1 之间，故此肯定存有一个 $xi$ 让 $sin(xi) = 0.636$。具体能找到哪个点，可能比平均值本身难猜，但只要区间够长，肯定能碰上一个值。 有时候你会发现，函数画出来是个抛物线形状，开口向上，最低点是个谷底，最高点是个峰顶。积分中值定理说的就是这个谷底的高度等于整个图形下面那一坨面积的平均高度。
要是谷底特别低，比如接近 0，那这个平均值肯定比谷底高；要是峰顶特别高，平均值肯定比峰顶低。
这就像你在一个楼梯坡上走，要么在山坡上溜达，你的平均高度肯定比你蹲在最低处要么站在最高处那种极端情况要低。 再举个带具体数据的例子。假设我们要积分 $f(x) = x^2 + 2x$ 在 $[1, 2]$ 上。先算平均高度。$int_1^2 (x^2 + 2x) dx = [frac{x^3}{3} + x^2]_1^2 = (frac{8}{3} + 4) - (frac{1}{3} + 1) = frac{7}{3} + 3 - frac{4}{3} = frac{7}{3} + frac{3}{3} = frac{10}{3}$。
然后除以区间长度 1，平均高度是 $10/3 approx 3.333$。目前求导数 $f'(x) = 2x + 2$。在 $[1, 2]$ 这个区间里，导数从 4 变到 6，一直大于 0，说明函数一直在上升，是个单调函数。
既然单调，那它的平均值肯定在最小值（1 点处，$1+2=3$）和最大值（2 点处，$4+4=8$）之间。3.333 确实夹在 3 和 8 之间。
要是我们非要找 $xi$，解 $2xi + 2 = 3.333$，得 $2xi = 1.333$，$xi = 0.666$。
哎，但这超出了 $[1, 2]$ 的范围。
这就怪了，难道中值定理不成立？ 这里有个理解误区。中值定理说的是 $xi$ 在区间 $[a, b]$ 内，而不是指 $f(xi)$ 等于平均值就是 $xi$ 的值。公式是 $f(xi) = text{平均值}$，$xi$ 务必在区间里。刚刚算出来 $3.333$ 是函数值，这个值在区间 $[1, 2]$ 上对应的是 $2xi + 2 = 3.333$ 的解，即 $xi = 0.666$。但 $xi$ 务必在 $[1, 2]$ 里，而 $0.666$ 不在这个区间。
这意味着啥意味着啥？这意味着对于这个特定的函数 $x^2+2x$，在 $[1,2]$ 上并没有这样的 $xi$？不对，$2x+2$ 在 $[1,2]$ 肯定是正的，平均值肯定在最小值和最大值之间。最小值是 3，最大值是 8。平均值 3.333 确实在 3 和 8 之间。
可是 $f(xi) = 2xi + 2 = 3.333$ 的解 $xi = 0.666$ 不在区间 $[1, 2]$ 内。
这说明啥？说明对于 $x^2+2x$ 在 $[1,2]$ 上，不存有 $xi in [1,2]$ 使得 $f(xi) = 3.333$ 吗？这不可能啊，平均值定理是铁律。 啊，我意识到难题了。对于 $f(x)=x^2+2x$ 在 $[1,2]$ 上，$f(1)=3$, $f(2)=8$。平均值是 $(3+8)/2 = 5.5$。我刚刚算的平均值是 $10/3 approx 3.33$。
哪儿算错了？重新算一遍积分：$int_1^2 x^2 dx = [frac{8}{3} - frac{1}{3}] = 3$。$int_1^2 2x dx = [x^2]_1^2 = 4 - 1 = 3$。加起来是 $3+3=6$。除以长度 1，平均值是 6。刚刚算成 10/3 了，把系数搞混了。好，平均值是 6。解 $2xi + 2 = 6$，得 $2xi = 4$，$xi = 2$。
哦，$xi=2$，正好在区间右端点。
这说明定理成立，$xi$ 找到了，就是 2。 这说明啥？说明这个函数在右端点达到了它在这个区间上的最大值，而这个最大值正好就是平均高度。
要是函数没有单调性，比如有个低谷，平均高度可能在低谷之上，也可能在低谷之下，要么在两者之间，只要 $xi$ 能对应上就行。 实际上大量时候，我们求具体的 $xi$ 点挺费事。
比如 $f(x) = x$ 在 $[1, 2]$ 上，平均高度是 1.5。解 $xi = 1.5$，正好在区间里。但要是函数是波浪的，比如 $f(x) = sin(x)$，在 $[0, pi]$ 上平均高度是 $2/pi approx 0.636$。$sin(x)=0.636$ 在 $[0, pi]$ 有两个解，一个是负数（不在区间），另一个是正数。$arcsin(0.636)$ 大约是 0.69，在 $[0, pi]$ 内。再比如 $f(x) = 1$ 常数函数，平均值就是 1，$sin(xi)$ 等于 1 的解是 $pi/2$，在区间内。 故此，实际上核心还是那个“平均高度”这个概念。
不管函数长啥样，只要光滑且区间连通，它总有一个点的高度等于“你躺在地上盖的地毯平均厚度”这个概念。
这听起来挺玄学，实际上就是一条肉眼由此可见的线，经过计算，它必然穿过某个特定的“水位线”。
要不就你的函数特别“整”，比如全是常数，要么全是单调直线，那 $xi$ 要么是端点，要么就是中间那个确定的值。
要是函数形状特别怪，$xi$ 可能就在那些“非单调”的局部，有时候就连找不到这样的点，但这在数学上是不存有的，出于定理保证了存有。 最终总结一下，这个定理就像是一个保险箱，只要符合“区间连通、函数连续、导数存有”这三个条件，里面就锁着一把钥匙，钥匙能打开“某点等于平均高度”这扇门。
这个钥匙在区间内，不能跑。别看有时候你挺难算出这个钥匙到底在哪个位置，但只要知道它能锁上，就认定心安了。毕竟微积分里大量定理，大量时候就是为了告诉你“这事儿肯定形成过”，至于具体在哪儿，往往得靠计算凑，要么靠图形猜。