関数$f(x)$が区間$I$で何回でも微分可能なとき、区間$I$に含まれる二点$\begin{matrix}x=a,&b&(a<b)\end{matrix}$に対して、 $$ f(b)=f(a)+\sum_{k=1}^{n-1}\frac{1}{k!}f^{(k)}(a)(b-a)^k+R_n $$

$$ R_n=\frac{1}{n!}f^{(n)}(c)(b-a)^n $$

となる$\begin{matrix}c&(a<c<b)\end{matrix}$が存在する

$\begin{matrix}R_n\to 0&(n\to\infty)\end{matrix}$ならば、$\begin{matrix}b\to x&a\to0\end{matrix}$ と置くことにより、 のように展開できる。

$$ f(x)=f(0)+\frac{f'(0)}{1!}x+\frac{f''(0)}{2!}x^2+\frac{f^{(3)}(0)}{3!}x^3\cdots\\ $$

$$ f(x)=f(0)+\sum_{k=1}^{\infty}\frac{f^{(k)}(0)}{k!}x^k\\ $$

$$\sin x$$