2016华东师范大学数学分析
证明:
由泰勒展开公式
$\displaystyle f(a)=f(x)+f'(x)(a-x)+o(a-x),$
分别令$x=x_1,x_2,$代入上式,得
$\displaystyle f(a)=f(x_1)+f'(x_1)(a-x_1)+o(a-x_1),$
$\displaystyle f(a)=f(x_2)+f'(x_2)(a-x_2)+o(a-x_2),$
由已知,有
$\displaystyle \forall \varepsilon > 0, x_1,x_2\in(a,+\infty ),\exists X>a,x_2> x_1> X,s.t.$
$\displaystyle |f(x_1)|< \varepsilon ,|f(x_2)|< \varepsilon ,$
$\displaystyle \forall \varepsilon ,\exists \delta > 0,0< |x_1-x_2|< \delta $
将前面两个泰勒展开式相减,得
$\displaystyle (x_1-a)|f'(x_1)-f'(x_2)|\leq |f'(x_1)(x_1-a)-f'(x_2)(x_2-a)|=|f(x_1)-f(x_2)|,$
$\displaystyle \Rightarrow |f'(x_1)-f'(x_2)|\leq \frac{|f(x_1)-f(x_2)|}{x_1-a}\leq \frac{|f(x_1)|+|f(x_2)|}{x_1-a}< \varepsilon .$
也即有
$\displaystyle |f'(x_1)|=|f'(x_2)|,(x_1,x_2>X)$
而$\displaystyle x_1,x_2>X,0< |x_1-x_2|< \delta$,同样有
$\displaystyle |f(x_1)|=|f(x_2)|=0,$
再由前面的两个泰勒展开式得
$\displaystyle |f'(x_1)(x_1-a)|=|f'(x_2)(x_2-a)|,$
$\displaystyle \therefore \forall x>X,s.t$
$\displaystyle f'(x_1)=f'(x_2)=0.$