设 $f$ 在 $[0,1]$ 上连续, 在 $(0,1)$ 内二阶可导, 且 $$\bex \lim_{x\to 0}\cfrac{f(x)}{x^2}\mbox{ 存在,}\quad \int_0^1 f(x)\rd x=f(1). \eex$$ 证明: 存在 $\xi\in (0,1)$, 使得 $f''(\xi)+2\xi f'(\xi)=0$.
证明: 由 $\dps{\lim_{x\to 0}\cfrac{f(x)}{x^2}}$ 存在知 $f(0)=0$, 而 $$\bex f'(0)=\lim_{x\to 0}\cfrac{f(x)}{x^2} \cdot x=0. \eex$$ 又由积分中值定理 (与书上的不同, 要变形, 证明利用微分中值定理), $$\bex \exists\ \eta\in (0,1),\st f(\eta)=\int_0^1 f(x)\rd x=f(1). \eex$$ 再据 Rolle 定理, $$\bex \exists\ \zeta\in(\eta,1),\st f'(\zeta)=0. \eex$$ 记 $F(x)=e^{2x}f'(x)$, 则 $$\bex F(0)=F(\zeta)=0. \eex$$ 由 Rolle 定理, $$\bex \exists\ \xi\in (0,\zeta),\st F'(\xi)=0. \eex$$
