端点值相等的连续函数平移等值性证明问询

原问题与思路 #

设a,b为实数且a<b，f:[a,b]→ℝ是连续函数，满足f(a)=f(b)。证明存在δ>0，使得对任意t∈[0,δ]，存在x∈[a,b-t]，满足f(x)=f(x+t)。

我的思路：先定义新函数g(x)=f(x)-f(x+t)（其中t∈[0,δ]），尝试证明g(a)=f(a)-f(a+t)<0且g(b-t)=f(b-t)-f(b)>0（或反之），再运用介值定理，但无法继续推进，请求指导。

证明过程 #

你的核心思路（构造差值函数+介值定理）是完全正确的，只是直接断言g(a)和g(b-t)的符号行不通——毕竟t的大小会影响f(a+t)和f(b-t)的取值。我们换用反证法结合紧集上连续函数的最值性质来突破，步骤如下：

1. 反证假设
   假设结论不成立：即不存在这样的δ>0。换句话说，对任意正整数n，总能找到tₙ∈(0, 1/n)，使得对所有x∈[a, b-tₙ]，都有f(x)≠f(x+tₙ)。

2. 连续函数的符号一致性
   对每个n，定义gₙ(x)=f(x)-f(x+tₙ)，显然gₙ(x)在[a, b-tₙ]上连续。由于gₙ(x)没有零点（和假设一致），根据连续函数介值定理，gₙ(x)在区间内要么恒正，要么恒负。我们不妨假设所有gₙ(x)恒正（恒负的情况同理可证），即：
   f(x) > f(x+tₙ) 对所有x∈[a, b-tₙ]，n∈ℕ。

3. 利用最值导出矛盾
   因为f在紧集[a,b]上连续，所以f能取到最大值M和最小值m。如果M=f(a)=f(b)，说明f是常函数，此时任意t和x都满足f(x)=f(x+t)，结论显然成立。
   若M>f(a)，则存在c∈(a,b)使得f(c)=M。当n足够大时，tₙ < c - a，此时c - tₙ ∈ [a, b-tₙ]，根据假设可得：
   f(c - tₙ) > f(c) = M
   这直接与M是f在[a,b]上的最大值矛盾！

4. 结论推导
   上述矛盾说明反证假设不成立，因此必然存在δ>0，使得对任意t∈[0,δ]，存在x∈[a,b-t]满足f(x)=f(x+t)。

内容的提问来源于stack exchange，提问作者Eliran Ziv