>>554
n次の近似 f(x)=f(a)+…+ f_n(c)(x-a)^n (a<c<x)
n+1次の近似 f(x)=f(a)+…+ f_n(a)(x-a)^n + f_n+1(c')(x-a)^(n+1) (a<c'<x)
上式と下式の差を考えると
f_n+1(c')(x-a)^(n+1)=f_n(c)(x-a)^n-f_n(a)(x-a)^n