题目
设f(x)在[0,1]上二阶可导,且[0,1],证明:存在[0,1],使得[0,1].
设f(x)在
上二阶可导,且
,证明:存在
,使得
.
题目解答
答案
证明:已知f(x)在
上二阶可导,构造辅助函数
,可知
,
,因为
,则
,利用罗尔定理,可知存在一点
,使得
;因为
,则
,得到
,利用罗尔定理,可知存在一点
,使得
,即
,故得证.
解析
考查要点:本题主要考查微分中值定理(罗尔定理)的应用,以及通过构造辅助函数解决微分方程相关问题的能力。
解题核心思路:
- 构造辅助函数:通过引入指数函数$e^x$与原函数$f(x)$结合,构造$F(x)=e^x f(x)$,使得其二阶导数包含题目目标表达式。
- 两次应用罗尔定理:
- 第一次:利用$F(0)=F(1)=0$,存在$x_0 \in (0,1)$使$F'(x_0)=0$。
- 第二次:利用$F'(0)=0$和$F'(x_0)=0$,在区间$[0,x_0]$内存在$\xi \in (0,x_0)$使$F''(\xi)=0$,从而得到目标等式。
破题关键点:
- 辅助函数的选择:指数函数的导数特性简化了表达式,使得二阶导数直接关联目标式。
- 罗尔定理的灵活应用:通过两次应用罗尔定理,将二阶导数为零的条件转化为存在性证明。
构造辅助函数
定义$F(x)=e^x f(x)$,则:
- 一阶导数:
$F'(x)=e^x f(x)+e^x f'(x)=e^x [f(x)+f'(x)]$ - 二阶导数:
$F''(x)=e^x [f(x)+f'(x)] + e^x [f'(x)+f''(x)] = e^x [f(x)+2f'(x)+f''(x)]$
第一次应用罗尔定理
已知$f(0)=0$,$f(1)=0$,故$F(0)=F(1)=0$。
由罗尔定理,存在$x_0 \in (0,1)$,使得$F'(x_0)=0$,即:
$e^{x_0} [f(x_0)+f'(x_0)]=0 \quad \Rightarrow \quad f(x_0)+f'(x_0)=0.$
第二次应用罗尔定理
已知$f'(0)=0$,故$F'(0)=e^0 [f(0)+f'(0)]=0$。
在区间$[0,x_0]$上,$F'(0)=0$且$F'(x_0)=0$,再次应用罗尔定理,存在$\xi \in (0,x_0) \subset (0,1)$,使得$F''(\xi)=0$,即:
$e^{\xi} [f(\xi)+2f'(\xi)+f''(\xi)]=0.$
由于$e^{\xi} \neq 0$,故$f(\xi)+2f'(\xi)+f''(\xi)=0$,证毕。