暨南大学2021年709数学分析
证明:
令
$\displaystyle F(x)=\int_{0}^{x}f(t)dt+\int_{0}^{x}f(t)\cos tdt,$
则
$\displaystyle F(0)=F(\pi)=0,$
由Roll中值定理,知
$\displaystyle \exists c\in(0,\pi),s.t.F'(c)=f(c)+f(c)\cos c=0,$
整理得
$\displaystyle f(c)(1+\cos c)=0,$
$\displaystyle \because c\in(0,\frac{\pi}{2}],1+\cos c\geq 1\neq 0,$
$\displaystyle c\in(\frac{\pi}{2},\pi),1+\cos c< 1\neq 0.$
两种情形都成立, 所以有
$\displaystyle \exists \xi\in(0,\frac{\pi}{2}],f(\xi)=0,$
$\displaystyle \exists \eta \in(\frac{\pi}{2},\pi),f(\eta)=0.$