求助：设f:[-1,1]→ℝ满足两条件，如何求证∀x,y，|f(x)-f(y)|≤1

嘿，我来帮你搞定这个证明！你之前用y=0得到了 ( |f(x)-f(0)| \leq 1 )，这其实是结论的一个特例，但要推广到任意x,y，核心是要用上**f(1)=f(-1)**这个关键条件——毕竟当两点距离超过1时，直接用利普希茨条件会得到大于1的上界，这时候就需要绕到端点来缩小范围。我们分两种情况来讨论：

首先明确已知条件：

• 函数 ( f:[-1,1] \to \mathbb{R} ) 满足利普希茨连续：对任意 ( x,y \in [-1,1] )，( |f(x)-f(y)| \leq |x-y| )
• 端点值相等：( f(1) = f(-1) )

我们需要证明：对任意 ( x,y \in [-1,1] )，( |f(x)-f(y)| \leq 1 )

情况1：( |x - y| \leq 1 ) #

这时候直接用已知的利普希茨条件就能得到结论：
[ |f(x)-f(y)| \leq |x - y| \leq 1 ]

情况2：( |x - y| > 1 ) #

因为 ( x,y \in [-1,1] )，( |x-y|>1 ) 意味着两个点必然分别落在区间的“两端”（比如一个靠近-1，一个靠近1）。假设 ( x < y )，那么必然满足 ( y - x > 1 )，且 ( x < 0 < y )（如果两点都在同一半区间，最大距离不会超过1）。

这时候我们利用 ( f(1)=f(-1) )，把 ( f(x)-f(y) ) 拆成经过端点的路径：
[
|f(x)-f(y)| = |(f(x)-f(-1)) + (f(-1)-f(y))| = |(f(x)-f(-1)) + (f(1)-f(y))|
]
根据三角不等式和利普希茨条件：
[
|f(x)-f(y)| \leq |f(x)-f(-1)| + |f(1)-f(y)| \leq |x - (-1)| + |1 - y|
]
化简右边的表达式：
[
|x + 1| + |1 - y| = (x + 1) + (1 - y) = 2 - (y - x)
]
因为 ( y - x > 1 )，所以 ( 2 - (y - x) < 2 - 1 = 1 )，因此：
[
|f(x)-f(y)| < 1 \leq 1
]

两种情况都覆盖了，所以对任意 ( x,y \in [-1,1] )，( |f(x)-f(y)| \leq 1 ) 得证。

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