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

积分中值定理这事儿，别总想着往死里学公式，那玩意儿对大多数人来说就是天书。
要是非要给个通俗的解释，我认定它更像是个“平均数”要么“代表性点”的难题。好办来说，要是你看一个函数的图像，它像是在地上画了一条波浪线，这条线下面有一堆乱七八糟的阴影，也就是定积分。总共有多少阴影？这就等于总面积。而面积的大小，理论上总得有一个“代表点”能说明情况。 积分中值定理的核心意思就是这个代表点，它得知足啥条件呢？它得跟函数在区间里某处的值相等，就是 $f(xi) = frac{1}{beta - alpha} int_a^beta f(x) dx$。
这里的 $xi$ 是个随机变量，范围在 $a$ 和 $b$ 之间，哪位碰哪位倒霉。
这个定理最早是 1671 年牛顿、莱布尼茨和伯努利他们兄弟俩在同一个咖啡馆里碰到的，后来经过几个世纪的风吹雨打，才变成目前的这个定理。
牛顿当时是当受刑人的，他可能根本没心思去推导复杂的数学证明，他只想要个结论：只要函数不恒等于零，那个平均高度肯定会在某个真的高度上取到。 这就好比你去爬一栋 10 层的楼，总共有 100 层。
不管你如何选楼层，肯定能选到与整体平均楼层高度一样的那一层。
要是这栋楼是直直的，那肯定就是中间那层；要是像波浪一样起伏，那可能就在第 3 层，也可能在第 7 层，彻底看运气。数学上的 $f(xi)$ 实际上就是在说，你要找的那个“点”，务必让函数在这个点上显示出的高度，恰好等于你计算出来的那个平均值。 可是，这个定理要跑得通，得看函数的脾气。
要是函数是负的，那就得小心点。
比如你买一箱苹果，结局发现里面全是贬值的旧货，要么全是负数价格，那总价值可能为负。
这时候，平均值 $xi$ 这个点，要么是无穷大，要么是虚数，就连可能是负数。
要是函数一直往上爬，趋向于正无穷，那你一辈子找不到一个点让函数值等于那个平均值，出于函数一辈子“大”于平均值。
故此，这个定理有个挺关键的前提：函数在区间内不能恒为零，也不能单调趋向正无穷或负无穷。
要是不知足这些条件，这个“代表点”可能根本不存有，要么是个 meaningless 的概念。 为了把这个难题讲得更明白，咱们不妨来点具体的例子。假设有两个函数，$f_1(x)$ 是个标准的正弦波，从 0 到 $2pi$ 画了一波三折，周期挺规则，平均值正好是 0。
这时候，积分中值定理肯定成立，$xi$ 能够是任何零值点，比如 $pi/2$。再看 $f_2(x)$ 是个波浪，它在 0 到 $pi$ 上升，$pi$ 到 $2pi$ 下降，并且下降得比上升慢。它的平均值大约是 0.5。
这时候，$xi$ 可能落在 $1$ 和 $1.5$ 之间，但你彻底可能猜不到具体是哪儿。 这里有个挺巧妙的几何解释，是针对单调递增函数的。
要是你看一个从 $a$ 走到 $b$ 且一直向上走的山，它的面积（积分）实际上是三角形的那条底边。
那个代表点 $xi$，实际上就是那个三角形底边的中点。
这个结论在 1699 年微积分诞生前，就已经有人通过几何推理搞出来了。
后来黎曼用积分算出结局，跟几何法说得一模一样，便这个定理就稳了。
这个几何解释特别好用，出于它能让你一眼看出，平均值到底是在哪一段区间里，就连能确定它就在图形上升的那一段里。 再来讲讲，这个平均值的性质。
要是函数在区间内一直上升，那这个代表点 $xi$ 肯定在区间的中点。
这是最直观的。但要是函数是波动的，这个点就有机会落在上升段，也可能落在下降段，可能恰好是峰值，也可能恰好是谷底。
这就解释了为啥 $xi$ 是个随机变量——出于它没有固定的位置，只有概率。并且，这个定理还有一个个例：要是函数在区间内是常数，那这个“代表点”就是区间里任意一个点，比如 0 要么 1，随意选哪个都行。
要是函数恒等于零，那就是一个悖论，没关系，出于一般我们会排除这种情况，要么单独聊聊。 在实际应用中，这个定理实际上挺有意思的，特别是在物理和工程里。
比如计算一个零件受力的大小。
或许受力数据是波浪式的，挺难算出精确的平均力。用积分中值定理，你就能够直接断定：这个零件受力的大小，肯定在某个具体的力值上等于平均值，并且这个力值一定在某个特定的力值范围内。
这比找出具体的那个力值要管用多了，起码它是有意义的。 还有一个细节，关于误差的难题。
这个定理只保证了存有一个点，它没保证任何精度。
也就是说，你没法说“误差小于 0.01"。你只能保证“起码存有一个点，其函数值等于平均值”。
这个严谨性有时候让人有点哭笑不得，但起码它没有撒谎，它说的那个点一定存有。 回到积分本身，这实际上是对实数系统的一种操作。积分算出来的那个值，是一个确定的数学对象。而中值定理说，这个确定值，必然有一个函数值与之匹配。
这就好比一个贼具体的数字，比如 $sqrt{2}$，它别看是个无理数，但你总能找到一个质数 $p$，使得 $p$ 除以 $n$ 的结局无限接近 $sqrt{2}$ 的倒数。
这就是数论的根本性质。积分中值定理就是类似的，它利用实数的连续性，保证了函数图像“能抓”到那个平均高度。 最终总结一下，积分中值定理是一个关于“平均高度能否被某一点覆盖”的定理。它告诉我们，只要函数不折腾（不恒零、不单调发散），你总能在函数图像上找到那个高度匹配的点。它没有供给具体的坐标，只是给出了一个存有的保证。在这个保证里，蕴含着从几何直观到实数连续性的深刻联系。别看有时候会认定它有点“弱”，出于它不供给精确位置，但它供给了存有性，这在数学里往往是最珍贵的东西。