1. 前回, ロルの定理を用いてテイラーの定理を証明しました.
\( n \) を \( 0 \) 以上の整数とする.
今回は, ロルの定理を用いた別証明を述べます.
2. 前回, 等式 \[ f(b) - \sum_{k=0}^{n} \, f^{(k)}(a) \, \frac{(b-a)^k}{k!} = R \, \frac{(b-a)^{n+1}}{(n+1)!}. \tag{\(\color{red}{\text{☆}}\)} \] が成り立つように \( R \) を決め, ある \( c \in (a,b) \) に対して, \[ R = f^{(n+1)}(c) \] であることを証明しました.
その際, （☆）の左辺と右辺において \( b \) を \( x \) に置き換えた関数を考えたのですが, 今度は \( a \) を \( x \) に置き換えてみます： \begin{align} F(x) &:= f(b) - \sum_{k=0}^{n} \, f^{(k)}(x) \, \frac{(b-x)^k}{k!}, \\[0.8em] G(x) &:= R \, \frac{(b - x)^{n+1}}{(n+1)!}. \end{align} さて, 何が起こるでしょうか？
3. 証明：
まず, \begin{align} F(a) &= G(a), \\[0.8em] F(b) &= 0 = G(b) \end{align} であることに注意する. \begin{align} F'(x) &= - \sum_{k=0}^n \, f^{(k+1)}(x) \, \frac{(b-x)^k}{k!} + \sum_{k=1}^n \, f^{(k)}(x) \, \frac{(b-x)^{k-1}}{(k-1)!} \\[0.8em] &= - \sum_{k=0}^n \, f^{(k+1)}(x) \, \frac{(b-x)^k}{k!} + \sum_{k=0}^{n-1} \, f^{(k+1)}(x) \, \frac{(b-x)^{k}}{k!} \\[0.8em] &= - f^{(n+1)}(x) \, \frac{(b-x)^n}{n!}, \\[0.8em] G'(x) &= -R \, \frac{(b-x)^n}{n!} \end{align} であるので, ロルの定理より（\( F(x) - G(x) \) に適用）ある \( c \in (a,b) \) が存在して, \[ F'(c) = G'(c), \] すなわち, \[ f^{(n+1)}(c) = R \] となる. //
4. ロルの定理の使用が１回だけで済みました.