高等数学第七版-习题解答：总复习3

习题解答：总复习3

18*. 已知$f^{\prime \prime }(x)$存在，证明
$$\underset{x\to x_0}{\lim }\frac{f(x_0+h)+f(x_0-h)-2f(x_0)}{h^2}=f^{\prime \prime }(x_0)$$
方法一： 利用Taylor公式，将 $h$ 视为自变量，在$h=0$ 处展开分子中的两个函数：
$$\begin{gathered} f(x_0+h)=f(x_0)+f^{\prime }(x_0)\cdot h+\frac{f^{\prime \prime }(x_0)}{2}\cdot h^2+o(h^2) \\ f(x_0-h)=f(x_0)-f^{\prime }(x_0)\cdot h+\frac{f^{\prime \prime }(x_0)}{2}\cdot h^2+o(h^2) \end{gathered}$$
代回分子易知：
$$f(x_0+h)+f(x_0-h)-2f(x_0)=f^{\prime \prime }(x_0)\cdot h^2+o(h^2)$$
代回极限式即得结论。

方法二：使用一次洛必达法则，再根据导数定义求证。注意，此时应对$h$ 求导。
$$\begin{array}{rl}\underset{x\to x_0}{\lim }\frac{f(x_0+h)-f(x_0-h)-2f(x_0)}{h^2}& =\underset{x\to x_0}{\lim }\frac{f^{\prime }(x_0+h)+f^{\prime }(x_0-h)}{2h}\\ & =\frac{1}{2}\left[\underset{x\to x_0}{\lim }\frac{f^{\prime }(x_0+h)-f^{\prime }(x_0)}{h}+\underset{x\to x_0}{\lim }\frac{f^{\prime }(x_0-h)-f^{\prime }(x_0)}{-h}\right]\\ & =\frac{1}{2}[f^{\prime \prime }(x_0)+f^{\prime \prime }(x_0)]=f^{\prime \prime }(x_0)\end{array}$$
说明：上述推导中，第二行的两个极限式分别对应$f(x_0)$ 的左、右导数。

By Dr. Ma