上海交通大学高等数学竞赛卷
证明:由中值定理知
$\displaystyle \exists c_1\in(-2,0),\exists c_2\in(0,2),s.t.$
$\displaystyle f'(c_1)=\frac{f(0)-f(-2)}{2},f(c_2)=\frac{f(2)-f(0)}{2},$
$\displaystyle \because |f(x)|< 1,\Rightarrow |f(c_1)|\leq 1,|f(c_2)|\leq 1,$
令
$\displaystyle F(x)=f^2(x)+f'^2(x),$
则有
$\displaystyle F(0)=4,F(c_1)\leq 2,F(c_2)\leq 2.$
由此可知,$F(x)$在$[c_1,c_2]$上有最大值,即
$\displaystyle \exists \xi \in(c_1,c_2),s.t.F(\xi)\geq 4,F'(\xi)=0.$
也即有
$\displaystyle \therefore F'(\xi)=2f'(\xi)(f(\xi)+f''(\xi))=0,$
若$f'(\xi)=0,$则
$\displaystyle \Rightarrow F(\xi)=f^2(\xi)\leq 1,$
这与$F(\xi)\geq 4$矛盾。从而有
$\displaystyle \therefore f(\xi)+f''(\xi)=0.$