兰州大学2022
证明
(1)、令
$\displaystyle F(x)=\int_{a}^{x}f(t)dt,$
显然函数连续,且有,
$\displaystyle F(a)=F(b)=0,$
又
$\displaystyle \because \int_{a}^{b}f(x)e^xdx=e^xF(x)|_a^b-\int_{a}^{b}F(x)e^xdx=-\int_{a}^{b}F(x)e^xdx=0,$
由积分中值定理,有
$\displaystyle \exists \xi\in(a,b),s.t.F(\xi)e^\xi(b-a)=0.\Rightarrow F(\xi)=0.$
于是由Rolle微分中值定理,
$\displaystyle \exists x_1\in(a,\xi),x_2\in(\xi,b),s.t.$
$\displaystyle F'(x_1)=F'(x_2)=0,\Rightarrow f(x_1)=f(x_2)=0.(Rolle)$
命题面立。
(2)、用数学归纳法,即可证明。
当$k=2$时,由(1)可知命题成立;
假设当$k=n$时,$f(x)$在区间内至少有$n$个相异的零点;
那么,当$k=n+1$时,同样设
$\displaystyle F(x)=\int_{a}^{x}f(t)dt,$
显然函数连续,且有,
$\displaystyle F(a)=F(b)=0,$
运用分步积分,
$\displaystyle \int_{a}^{b}f(x)e^{nx}dx=e^{nx}F(x)|_a^b-n\int_{a}^{b}F(x)e^{nx}dx=-n\int_{a}^{b}F(x)e^{nx}dx=0.$
于是,由假设,运用Rolle中值定理,可知,$F(x)$在区间内至少存在$n+2$个相异零点,则$f(x)$在区间内至少存在$n+1$个相异零点.