东北大学2024
证明 设有序列\[\{x_n\},\{t_n\},\{y_n\},x_n,t_n,y_n\in [a,b],x_n\le t_n\le y_n,x_0=a,x_0=b.\]
$中分区间得两部分:[x_0,\frac{x_0+y_0}{2}],[\frac{x_0+y_0}{2},y_0],如此t_1必属其中之一,$
$ 不妨设t_1\in [\frac{x_0+y_0}{2},y_0]=[x_1,y_1],此时有|f(x_1)-f(y_1)|\le L|x_1-y_1|=L|f(x_0)-f(y_0)|,$
$中分[x_1,y_1],得t_2\in [x_2,y_2],|f(x_2)-f(y_2)|\le L|x_2-y_2|=L^2|f(x_0)-f(y_0)|,$
$如此下去,同理可得t_n\in [x_n,y_n],|f(x_n)-f(y_n)|\le L^n|f(x_0)-f(y_0)|.f(x_n)\le f(t_n)\le f(y_n).$\[n\to \infty ,\exists \xi\in[a,b], x_n=y_n=t_n=\xi .f(x_n)=f(y_n)=f(t_n)=f(\xi).\]又\[\because f(x_{n-1})=x_n\le t_n=f(t_{n-1})\le y_n=f(y_{n-1}),\]
$令n\to \infty ,\xi=f(\xi).$
命题成立.