So far we have assumed that our functions were analytic. But how can we tell which are?
Taylor's theorem with remainder helps us determine how close a Taylor polynomial comes to the original function.
Theorem: If f(x) is (k+1)-times differentiable on an interval around a, and if x is in that interval, then f(x)=k∑n=0f(n)(a)n!(x−a)n+Rk(x),
where the remainder is given by Rk(x)=f(k+1)(z)(k+1)!(x−a)k+1
for some point z between a and x.
If a function f can be differentiated infinitely many times, and
limk→∞Rk(x)=0,
then f is analytic.
Corollary: If the (k+1)st derivative of f is bounded by M on an interval of radius d around x=a, then the remainder Rk(x) is bounded by M(k+1)!(x−a)k+1.
From this corollary, we can see that the remainders for ex and sin(x), for example, go to zero as k→∞, so these functions are analytic.
Taylor's theorem is similar to Rolle's theorem and the Mean Value Theorem, both of which involve a mystery point between a and b. The proof of Taylor's theorem involves repeated application of Rolle's theorem.