Taylor公式的证明

1 带Peano余项的Taylor 公式

若函数 $f$ 满足： $\exists n \in \mathbb N, n \ge 1, f^{(n)}(0)$ 存在， 则：
$\exists \delta(0), \forall x \in \delta(0), f(x) = f(0) + \sum_{i=1}^n \frac{ f^{(i)}(0)}{i!}x^i +o(x^n)$

证明：

1. $n = 1$ 时， $f(x) = f(0) + f'(0)x + o(x)$ 公式显然成立。

2. $n >=2$ 时， 令 $g(x) = f(0) + \sum_{i=1}^n \frac{ f^{(i)}(0)}{i!}x^i , h(x) = f(x) - g(x), r(x) = x^n$
   则 $g(0) = f(0) \Rightarrow h(0) = 0$
   由 $\forall m, n \in \mathbb N, m, n \ge 1, {(x^n)}^{(m)} = \begin{cases} \frac{n!}{(n-m)!}x^{n-m}, & m < n \\ n!, & m = n\\ 0, & m > n \end{cases}$

   得： $\forall k\in\mathbb N, 1 \le k \lt n, g^{(k)}(x) = f^{(k)}(0) + \sum_{i=k + 1}^n \frac{ f^{(i)}(0)}{i!} . \frac{i!}{(i-k)!} x^{i - k}$
   $= f^{(k)}(0) + \sum_{i=k + 1}^n \frac{ f^{(i)}(0)}{(i - k)!} x^{i - k} \Rightarrow g^{(k)}(0) = f^{(k)}(0)$
   又： $g^{(n)}(x) = f^{(n)}(0) \Rightarrow g^{(n)}(0) = f^{(n)}(0)$

   因此： $\forall k\in\mathbb N, 0 \le k \le n, g^{(k)}(0) = f^{(k)}(0) \Rightarrow h^{(k)}(0) = 0$
   且： $\forall k\in\mathbb N, 0 \le k \lt n, r(x)^{(k)} = \frac{n!}{(n-k)!} x^{n-k} \Rightarrow r(x)^{(k)} = 0 \Leftrightarrow x = 0$

   故：
   

   $$\lim_{x \to 0}{\frac{h(x)}{x^n}} = \lim_{x \to 0}{\frac{h(x) - h(0)}{r(x) - r(0)}} = \lim_{x \to 0}{\frac{h'(x)}{r'(x)}} = ... = \lim_{x \to 0}{\frac{h^{(n - 1)}(x)}{r^{(n - 1)}(x)}} = \lim_{x \to 0}{\frac{h^{(n - 1)}(x)}{n! x}} = \frac{h^{(n)}(0)} {n!} = 0$$

2 带Lagrange余项的Taylor公式

若函数 $f$ 满足： $\exists n \in \mathbb N, n \ge 1, \exists x \in R, f$ 在 $0$ 和 $x$ 组成的闭区间有 $n$ 阶连续导数，在 $0$ 和 $x$ 组成的开区间有 $n + 1$ 阶导数， 则：
$\exists \theta \in (0, 1), f(x) = f(0) + \sum_{i=1}^n \frac{ f^{(i)}(0)}{i!}x^i +\frac{ f^{(n + 1)}(\theta x)}{(n + 1)!} x^{n + 1}$

证法一：

1. $x = 0$ 时，显然成立。

2. $x \ne 0$ 时，令 $g(t) = f(t) + \sum_{i=1}^n \frac{ f^{(i)}(t)}{i!}{(x - t)}^i , h(t) = f(x) - g(t),$
   $r(t) ={(x - t)}^{n + 1},$ 则需要证明的就是：

   $$h(0) = \frac{ f^{(n + 1)}(\theta x)}{(n + 1)!} r(0)$$

   易知： $h(t), r(t)$ 在 $0$ 和 $x$ 组成的闭区间连续， 在$0$ 和 $x$ 组成的开区间可导， 且 $r'(t)$ 在开区间不等于 $0$ 。由Cauchy中值定理：
   $\exists \theta \in (0, 1), \frac{h(x) - h(0)}{r(x) - r(0)} = \frac{h'(\theta x)}{r'(\theta x)}$

   $t$ 在$0$ 和 $x$ 组成的开区间时，
   $g'(t) = f'(t) + \sum_{i=1}^n [\frac{ f^{(i + 1)}(t)}{i!}{(x - t)}^i - \frac{ f^{(i)}(t)}{i!} \cdot i \cdot {(x - t)}^{i - 1}]$
   $= f'(t) + \sum_{i = 1}^n [\frac{ f^{(i + 1)}(t)}{i!}{(x - t)}^i - \frac{ f^{(i)}(t)}{(i - 1)!} {(x - t)}^{i - 1}]$
   $= f'(t) + \sum_{i = 1}^n \frac{ f^{(i + 1)}(t)}{i!}{(x - t)}^i - \sum_{i=0}^{n - 1} \frac{ f^{(i + 1)}(t)}{i!} {(x - t)}^{i}$
   $= \frac{ f^{(n + 1)}(t)}{n!}{(x - t)}^n$
   $\Rightarrow h'(t) = - f'(t) = -\frac{ f^{(n + 1)}(t)}{n!} {(x - t)}^n$
   $r'(t) = -(n + 1) (x - t)^n$

   可得： $\frac{h'(t)}{r'(t)} = \frac{ f^{(n + 1)}(t)}{(n + 1)!}$

   又： $g(x) = f(x) \Rightarrow h(x) = 0$ 且 $r(x) = 0$
   因此：
   

   $$\frac{h(0)}{r(0)} = \frac{h(x) - h(0)}{r(x) - r(0)} = \frac{ f^{(n + 1)}(\theta x)}{(n + 1)!}$$

证法二：

令 $G(x) = f(0) + \sum_{i=1}^n \frac{ f^{(i)}(0)}{i!}{x}^i , H(x) = f(x) - G(x), R(x) ={x}^{n + 1},$ 则：
$\forall k\in\mathbb N, 1 \le k \le n, H^{(k)}(0) = 0, R^{(k)}(x) = 0 \Leftrightarrow x = 0$
于是： $\exists \{\theta_i \in (0, 1): 1 \le i \le n + 1\}, \xi_1 = \theta_1 x, \xi_{i + 1} = \theta_{i + 1} \xi_{i}:$

$$\frac{H(x)}{R(x)} = \frac{H(x) - H(0)}{R(x) - R(0)} = \frac{H'(\xi_1)}{R'(\xi_1)} = ... = \frac{H^{(n + 1)}(\xi_{n + 1})}{R^{(n + 1)}(\xi_{n + 1})} = \frac{ f^{(n + 1)}(\xi_{n + 1})}{(n + 1)!}$$
令 $\theta = \sum_{i=1}^{n + 1} \theta_i \Rightarrow \theta \in (0, 1), \xi_{n + 1} = \theta x$