This theorem allows us to calculate the error of a Taylor series expansion.

Statement

Let 𝑘1 be an integer, and 𝑓: be 𝑘 times differentiable at the point 𝑎. With degree-𝑘 Taylor expansion 𝑃𝑘(𝑥), we have

𝑓(𝑥)=𝑃𝑘(𝑥)+𝑅𝑘(𝑥)

where

𝑅𝑘(𝑥)=𝑓(𝑘+1)(𝑐)𝑘+1(𝑥𝑎)𝑘+1

for some 𝑎<𝑐<𝑥 (or 𝑥<𝑐<𝑎).

More precise version

Let 𝑘1 be an integer, and 𝑓: be 𝑘 times differentiable at the point 𝑎. Then there exists a function 𝑘: such that

𝑓(𝑥)=𝑘𝑖=0𝑓(𝑖)(𝑥)𝑖!𝑥𝑖+𝑘(𝑥)(𝑥𝑎)𝑘,

and

lim𝑥𝑎𝑘(𝑥)=0

References