积分中值定理怎么证明-积分中值定理证明

积分中值定理这东西，说白了就是让你认定“啊，那曲线底下多出来的面积，肯定对应着某一点的函数值”。
这听起来有点抽象，但咱们不用整篇论文那样死板地从头讲到尾，咱们就把它当成聊家常。 想象一下，你手里拿着一卷挺长的带子，上面滴着墨水，一卷下来就是一幅弯弯曲曲的图。我们目前想知道，这幅图里有没有哪个位置，那个点的墨迹颜色正好和图里某个高度的颜色匹配？直觉告诉你，肯定有。出于要是全高都比它低，多出来的面积就是负数；要是全高都比它高，那面积也得是负数。
既然面积不能是负，那就只能说明，图画里一定藏着某个“主角”。 可是，这主角有脾气。它不一定就坐在曲线最高处，也不一定是最低处，就连有时候它跳来跳去的。
比如那经典的“箱形曲线”，它两头高，中间低。高那个位置肯定有对应的函数值，低那个位置肯定有对应的函数值，但中间那个台阶状的最低点，那个值是不是就是积分点？ 这就有点难弄了。
要是函数单调递增，那积分点肯定就是最高点。
要是函数单调递减，那积分点就是最低点。
这时候你就连都不用下判断，直接套公式就能出来。
可是，函数有时候不单调，有时候就连像是地震一样，在区间里剧烈震荡，像波浪一样。
这时候，中值定理就得力千钧，它要说：不管多乱，你肯定能找到一个点，那里的 $f(xi)$ 能让离散的函数值加起来，正好填满曲线的面积。 为了证明这一点，咱们得先回到定义。积分定义是极限。你拿无数个小区间越来越细，把面积拼加起来，极限就是定积分。
你看，无数个 function values 加起来，极限等于那一条连续曲线下的面积。
这就好比把一万亿个台阶拼起来，最终高度就是地面。 可是，这里有个庞大的坑。我们只知道函数的序列 $f(x)$ 在区间 $[a, b]$ 上有界，也就是说，$f(x)$ 不会飞得忒高，也不会掉得忒低，存有一个 $M$ 让你如此说。但 $M$ 到底有多大？它可能等于 $1000$，也可能等于 $100000$。
这取决于你把 $[a, b]$ 切得有多细。
要是切得细，$M$ 就大；切得粗，$M$ 就小。 这就引出了证明的核心。
要是想搞到那个神奇的点 $xi$，我们务必让 $M$ 变得充足大，大到足以覆盖整个面积。
如何让 $M$ 变大？只能让区间 $[a, b]$ 缩得小。出于 $M$ 是 $f(x)$ 的最大值，区间越窄，最大值越好办管住。 这就有点绕了。
要是我们要证明中值定理，我们实际上是在想办法证明：对于任意给定的 $epsilon$（误差，比如 $0.5$），只要把区间切得充足小，$M$ 就会小于 $frac{M}{epsilon}$，这样就能管住住误差。 故此，证明的骨架实际上贼短。
第一句就是结论：存有 $xi$。
第二句就是缘由：不忒可能。
第三句就是理由：区间忒小了。
第四句就是数据支撑：$M$ 本身就受限于区间的长度。 举个例子，设 $f(x) = 1000x$，区间是 $[0, 10]$。
那 $M$ 就是 $10000$。面积是 $50000$。
要是区间变成 $[0, 0.1]$，那 $M$ 变成了 $100$。面积是 $5$。
你看，区间越小，$M$ 的变化越剧烈，我们越好办被 $M$ 管住住。 但这里有个细节。$M$ 受限于区间的长度，意味着要是我们想让 $M$ 等于 $frac{1}{epsilon}$，我们务必让区间长度恰好等于 $frac{1}{Mepsilon}$。
这意味着 $epsilon$ 务必和区间的长度成反比。
要是 $epsilon$ 挺小，我们就务必把区间切得贼贼细，这样 $M$ 才能被无限放大，进而把面积填进去。 这就好比你要把一杯水倒进一个无限大的桶里，你务必把桶放得充足矮（区间充足短），才能让水流进去。
要是桶放得高，水就倒不进去。 故此，中值定理并不是在强行找一个点，它是在告诉你，只要区间够短，函数值的变化速度就够快，就能把极限的精度撑起来。
要是你把区间放得忒长，$M$ 就会被迫变小，面积和 $M$ 的比值就会变大，超过 $1$，这时候自然就不存有那样的 $xi$ 了。 这就解释了为啥函数单调时才好办证明。出于单调函数，最大值和最小值就分别确定了，不需求去猜“哪位是最大，哪位是最小”。
只要区间够大，最大值就能自然地出现。
要是区间缩小，最大值就起伏不定，这时候就需求证明，甭管如何变，总有一个位置能接住所有的变化。 故此，证明实际上挺好办。假设出于区间忒长，$M$ 不够大，害得面积填不进去。
那么，把区间收缩，$M$ 应当变大。
要是 $M$ 大到足以覆盖面积，说明中值存有。
要是 $M$ 还是忒小，那说明原假设错了，区间不能忒小，也就没法证明。 这就把难题转化为了：当区间收缩时，最大值 $M$ 是否能超过面积？答案是肯定的，出于 $M$ 是由区间长度拍板的，而区间长度能够任意小。
既然区间能够无限小，那么 $M$ 就能够无限变大。 这就把中值定理的成立，归结为区间长度能够任意小这一事实。
只要区间充足小，$M$ 就能大于所需的阈值，面积也就被彻底覆盖。 实际上，这个证明过程之故此看起来如此“绕”，是出于它把抽象的“极限”和“连续”联系在了一起。它告诉我们，连续性保证了函数值不会在局部形成突变，进而使得在任意小一点的范围内，总能找到一个“完美”的高度，去匹配整个曲线下的面积。
要是函数不连续，比如在某点有个断崖，那“完美”的高度可能就找不到，要么需求找到两个点，要么需求更复杂的条件。 积分中值定理，归根结底，就是告诉我们：连续函数在闭区间上，其行为是可控的。你不需求去猜每一刻形成了啥，你只需求关切“充足小”的那个区间，在那个小区间里，函数的表现是稳定的，足以支撑整个区域的面积。
这就是证明的本质，简洁，纯粹，带着一点点数学的浪漫，实际上就是一条逻辑链条的闭环。 最终总结一下，这定理告诉我们，只要区间够小，最大值就能撑住。出于区间能够无限小，故此最大值能够无限大，面积就能被填满。
这就是证明的精髓。
不需求忒复杂的步骤，道理就是如此直白。