证明积分中值定理-中值定理证明方法

要想证明积分中值定理，先别急着掏出那些绕弯子。想象一下，你手里拿着一根绳子，绳子上的每一寸都带着不同的拉力，从 $0$ 变化到 $1$。
要是你把绳子拉直，算出这根绳子总劲儿的大小，那肯定不是某一点上拉力的好办平均值。出于中间肯定有地方拉得特别狠，要么特别松。 直觉告诉我，拉得最狠的那一段，要么拉得最松的那一段，其平均效果应当等于整根绳子的平均效果。
这听起来像直觉，但数学上可没那么直白。我们要证明的，就是存有某个具体的点 $c$，让长方形的高度恰好等于该点的函数值。 这就好比在函数图像上找一块“出类拔萃”的区域。
要是函数是单调递增的，那最矮的地方肯定在起点，最高地方在终点。
既然你要找的是“等于平均值的点”，那这个点的位置就藏在那两条线之间。 拿个实数来算算看。假设 $f(x)$ 在区间 $[a, b]$ 上连续，$f(a) = 0$，$f(b) = 1$。
那么它的平均值就是 $frac{f(a) + f(b)}{2} = 0.5$。
要是函数是 $x$ 的一次函数，比如 $f(x) = x$，那最小值在 $x=0$，最大值在 $x=1$。
既然我们要找的点值等于 $0.5$，那这个点自然就在 $0$ 和 $1$ 之间。
这逻辑通顺，但有没有更细致的情况？比如函数长得特别尖，要么特别平缓？ 这就引出了证明的核心：甭管函数长啥样，只要它是连续的，它“平均起来”的值，一定在某处精确地表现为函数的值。 为了把话说得更细，咱们能够选个具体的例子。设 $f(x) = x^2$，区间是 $[-1, 1]$。平均值是 $frac{1+1}{2} = 1$。函数在 $-1$ 处是 $1$，在 $1$ 处也是 $1$。
这里有个陷阱，端点的值刚好就是平均值。
那内部呢？要是在 $(0, 1)$ 之间找，函数是增函数。在 $x=0.5$ 处，$f(0.5) = 0.25$，这小于平均值 $1$。而在 $x=0.9$ 处，$f(0.9) = 0.81$，还是小于 $1$。
这说明在正半轴上，最大值都达不到 $1$。
同理，负半轴也不对。 难道确实找不到点吗？显然不是。根据积分中值定理，肯定存有一点 $c$。
这个点的函数值务必等于 $1$。
那 $c$ 只能在 $[-1, 1]$ 之外吗？不中，出于 $f(x) = x^2$ 在 $[-1, 1]$ 上最大值就已经是 $1$ 了，并且是在端点。
什么的，这里题目里 $f(a)=0$ 吗？哦，刚刚那个例子 $f(a)=0, f(b)=1$ 是错的，$x^2$ 的端点都是 $1$。
那我换一个。 设 $f(x) = x$，区间 $[0, 1]$。平均值是 $0.5$。最大值 $1$，最小值 $0$。
那 $0.5$ 的倍数肯定在 $0$ 和 $1$ 之间。
这个例子忒好办了，感觉不够味。 让我们换个思路，别只盯着单增函数。寻思 $f(x) = sin x$，区间 $[0, pi]$。平均值是 $frac{0 + 0}{2} = 0$。
显然 $sin x$ 在正半轴是正的，在负半轴也是正的。
什么的，$sin x$ 在 $[0, pi]$ 上最小是 $0$，最大值是 $1$。平均值是 $0$。
难道 $0$ 就在区间里？自然在，$x=0$ 时值是 $0$。但这忒巧了，并且端点都是 $0$。 看来直接列举例子好办跑偏。让我们回到最经典的证明逻辑，顺便在中间穿插一些“粗糙”的直觉。 当我们把 $f(x)$ 在 $[a, b]$ 上的图像看作一堆累加的小块。
要是把这些小块拼起来，总和除以长度，就是平均高度。
既然总高度是连续的，那它不可能“跳”那会儿。它会以某种方式“覆盖”一下。 这里有个明确的结论：存有一个点 $c$，使得 $f(c) = frac{1}{b-a} int_a^b f(x) dx$。
这个点 $c$ 分布在 $a$ 和 $b$ 之间。
要是你从 $a$ 走到 $b$，沿途经过的点，有的可能高，有的可能低，唯独有一个点，它的函数值正好踩中那个平均值的高度。 举一个带计算的数据例子。设 $f(x) = 2x$，区间 $[0, 1]$。平均值是 $frac{0+2}{2} = 1$。我们要找 $c$ 使得 $2c = 1$，故此 $c = 0.5$。在 $0$ 处值是 $0$，在 $1$ 处值是 $2$。$0.5$ 正好在中间，且刚好等于平均值。再大一点，比如 $0.6$，$f(0.6)=1.2 > 1$。小于 $0.5$，则小于 $1$。
这说明只要函数是线性的，这个点就在中间。 但函数不一定要是线性的。寻思 $f(x) = 1 + x$，区间 $[0, 1]$。平均值是 $1.5$。最大值 $2$，最小值 $1$。平均值 $1.5$ 就在 $1$ 和 $2$ 之间。同样存有这样的点。 要是函数波动剧烈的，比如 $f(x)$ 在 $[0, 1]$ 上每秒跳动，但总体趋势是向上的。平均值反映了它“往上爬”的速度。
既然它连续不断，它就不能突然从无穷大跳到 $-100$。它务必经过那个“中间高度”。 还有人说，端点就是答案。但这不一定。寻思 $f(x) = x + 2$，区间 $[0, 1]$。平均值是 $1.5$。最大值 $3$，最小值 $2$。平均值 $1.5$ 不在 $[2, 3]$ 里。
故此端点不一定行。 那证明的关键在于“连接”。
既然 $f(a)$ 和 $f(b)$ 是连在路上的两个数据点，而平均值是它们之间的一种“折中”状态。在实数轴上，要是两点确定一条线段，那么线段上的任意一点都能够作为“折中”的代表。函数值别看是个尖峰或谷底，但它也是实数。
要是函数值一直大于平均值，那它就得一直往上走，直到碰到平均值；要是一直小于，就得一直往下。
既然不能无限走，那必然会在某个时刻“碰”到那个值。 这就是积分中值定理的本质。它告诉我们，在连续的层面上，求平均和求局部值之间，总有一个点能完美对齐。 最终回顾一下，这个难题的核心不在于复杂的技巧，而在于对“连续”和“实数”这两个概念的朴素理解。中间值定理就像是一个保险网，甭管函数如何调皮，它没法跳过中间那个点。