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

山那边的雾有时候让人忍不住想伸手去抓，但手伸出去只会碰到湿润的草叶和间或飘落的枯枝。
这种不清楚感，大约挺像定积分在学习那会儿的味道。刚启动的时候，我们总当作它是求面积，就是画个梯形或三角形，底乘高除以二，多乘个二，这就完了。
那时候认定数学就是如何把线拉直，如何把费事事儿算成几块好办的图形。可后来发现，这东西没那么直白，它更像是一种对“中间状态”的执着追问。 你想想，要是函数画得特别像那条蛇，要么那种上下剧烈抖动的波浪，用那个好办的梯形公式，算出来的结局可能离真值差个好几倍。
这时候就得换个思路，得找个“中间”点，看看在那儿这时候函数到底长啥样了，再用那个中点公式把它近似一下。
这就是积分平均值的本质，它不是在求总量，而是在找那个“居中”的真相。 记得有一次给一个复杂的函数求定积分，函数在那儿简直就是个过山车：前一半往右急下，中间瞬间冲上来，后一半又慢慢溜下去。
那时候我第一个想到的公式是矩形法，也就是把区间切成若干段，每段里取左端点的高度去乘宽度。我画图的时候，每一段都填满了整块矩形，结局发现，那些中间冲上去的“山峰”，正好落在中间那个小矩形的顶端，被彻底漏掉了。
那些靠右边的局部又出于数值忒小被小看了，那些靠左边的局部又出于数值忒大被夸大。最终算出来的面积，和实际值差了个几十，简直没法认。 那一刻我意识到，我们一直过分依赖“端点”来判断函数的大小。但这不一定对，有时候函数在区间中间偏右的地方反而特别高，要么特别低。
这时候光看两头是不中的，得去找个更合适的参照系。便个中定理跳了出来。它告诉我们，不管函数如何折腾，只要区间够长，那函数的平均值一定落在区间里面，而那个中点公式，就是用来捕捉这个平均值的利器。 这就好比我们在找那个“中心”。对于单调递增的函数，比如那根慢慢爬上去的登山绳，它的平均高度肯定在绳子下半段和上半段之间，并且越靠近绳子中间，平均值就越稳。对于震荡剧烈的函数，比如那根随时预备变向的钢丝，它的平均高度也不一定在钢丝正中间，但那个中点公式依然能给出一个稳定的估摸值。 后来在作业本上做题时，我遇到一个函数，定义域是 $[0, 20]$，但在中间 $x=10$ 附近，函数值像弹簧一样上下跳动，振幅庞大。用好办的左端点矩形法，彻底搞不定。我试着用中点法则，把区间平均分成四份，然后算出每一片中间位置的高度，加起来再除以四。结局出乎意料地好。别看函数在 $10$ 附近确实挺不老实，但整体来看，那个“平均”的位置还是被那个中点公式给“兜住了”。
这就说明，中值定理别看不能保证误差忒小（毕竟它也没说保证误差有多小，只是说误差是有界的），但它给了一个确定的范围。 再比如，想象一个函数，从 $0$ 启动一直往上走，没有任何回头的迹象。
这时候它的平均值肯定绝不会小于起始值 $0$，也不会超过终点值。
这个结论听起来有点废话，可一旦函数长得像那个“顶峰”一样高，左右两边都挺低，那么平均值就会像被一个看不见的力推着，稳稳地陷在两个端点之间，就连更靠近中间那一点点。
这时候用中点公式去算，就有机会把这中间的偏差给“平均掉”，拿到一个相对更准的数。 不过话说回来，中值定理也不是万能的。它有个前提，就是函数得连续才有意义。
要是函数在那儿断了，要么跳了，那整个定理的根基就塌了。
有时候函数别看连续，但变化忒快了，极值点挺密，那些局部的小中值定理可能根本用不上，这时候就得回归到更好办的积分求和。 故此你看，定积分的中值定理，实际上没那么神秘，也没那么高深。它只是提醒我们，在处理面积要么总量的时候，不能只盯着两头看，而是要敢于把视线投向中间，找到那个最能代表整体特征的“中心点”。它不是完美的，它有个误差范围，但这个范围是有上限且有下限的，这种确定性本身就是数学的魅力所在。
有时候，承认自己算不出来，转而信任一个中点公式能给出一个有界的估摸，或许比死磕一个不够精确的端点近似，更值得。