关于满足特定中值条件的连续函数f(x)恒为0的证明求助

嘿，你之前尝试用导数来推导确实容易卡壳——毕竟题目只给了函数的连续性和“中点平均”性质，根本没保证可导性，所以导数存在性这关过不去很正常！其实换个反证法的思路，结合连续函数的最值定理，就能顺利解决这个问题，我给你一步步拆解：

核心思路：反证法 + 连续函数的极值性质 #

因为 ( f ) 在闭区间 ([0,1]) 上连续，根据极值定理，它肯定能取到最大值 ( M ) 和最小值 ( m )。我们先假设 ( M > 0 )，推出矛盾；同理再证 ( m < 0 ) 也矛盾，这样就能得出 ( M = m = 0 )，也就是 ( f(x) ) 恒为0。

第一步：分析最大值点的性质 #

假设 ( M > 0 )，因为 ( f(0)=f(1)=0 < M )，所以最大值点 ( x_0 ) 一定在开区间 ( (0,1) ) 内。根据题设条件，存在 ( \delta > 0 )，使得 ( x_0 - \delta ) 和 ( x_0 + \delta ) 都在 ( (0,1) ) 里，并且满足：
[
f(x_0) = \frac{1}{2}\left(f(x_0 - \delta) + f(x_0 + \delta)\right)
]
但 ( f(x_0 - \delta) \leq M )，( f(x_0 + \delta) \leq M )，代入上式可得：
[
M = \frac{1}{2}\left(f(x_0 - \delta) + f(x_0 + \delta)\right) \leq \frac{1}{2}(M + M) = M
]
等号成立的唯一可能就是 ( f(x_0 - \delta) = f(x_0 + \delta) = M )——这说明 ( x_0 - \delta ) 和 ( x_0 + \delta ) 也都是最大值点。

第二步：迭代推导，引出矛盾 #

我们可以把这个逻辑不断迭代：对新的最大值点 ( x_1 = x_0 - \delta )，同样存在 ( \delta_1 > 0 )，使得 ( x_1 - \delta_1 ) 和 ( x_1 + \delta_1 ) 也都是最大值点。一直往左迭代下去，会得到一个趋近于左端点0的点列 ( {x_n} )，每个 ( x_n ) 都满足 ( f(x_n) = M )。

但 ( f ) 在0点是连续的，所以 ( \lim_{n \to \infty} f(x_n) = f(0) = 0 )，可 ( f(x_n) = M > 0 )，这就产生了矛盾！所以我们的假设 ( M > 0 ) 不成立，即 ( M = 0 )。

第三步：同理分析最小值 #

用完全一样的方法，假设最小值 ( m < 0 )，取开区间内的最小值点，迭代后点列会趋近于0或1，利用连续性可得 ( m = 0 )，同样矛盾。

为啥导数思路走不通？ #

你之前想证明 ( f'(x)=0 )，但问题在于题目没给可导的条件——连续函数不一定可导，甚至存在处处不可导的连续函数。虽然满足题设条件的函数最终是常函数，但我们没法先证明导数存在，所以这条路从一开始就走不通，换最值反证法才是正确的方向。

内容的提问来源于stack exchange，提问作者John Smith