泰勒公式虽然形式不算复杂，但来路比较诡异。几乎所有的教材都是直接给出这个公式，然后再进行相应的结论证明，显得过于突兀，也不便于理解。本文尝试给出一种由基本的导数公式和极限定理推导泰勒公式的方法，希望能对读者诸君有所帮助。
从一阶泰勒公式说起
我们首先从一阶导数着手。假设 \(f(x)\) 在 \(x_0\) 有一阶导数，那么根据定义，就有
\[ \begin{equation} \lim_{x\rightarrow x_0}\frac{f(x)-f(x_0)}{x-x_0}=f'(x_0) \end{equation} \]
现在回顾一下关于函数极限的一个结论：
\[ \begin{equation} \lim_{x\rightarrow x^*}f(x)=L \Leftrightarrow f(x)=L+\alpha(x) \end{equation} \]
其中， \(\alpha(x)\) 是该极限过程下的某个无穷小，即 \(\alpha\rightarrow 0\) 当 \(x\rightarrow x^*\). 利用这个结论，可以将 公式(1) 改写为
\[ \begin{equation} \frac{f(x)-f(x_0)}{x-x_0}=f'(x_0)+\alpha_1(x) \end{equation} \]
其中，\(\alpha\rightarrow 0\) 当 \(x\rightarrow x^*\). 再进一步变形，就可以得到
\[ \begin{equation} f(x)=f(x_0)+f'(x_0)(x-x_0)+\alpha_1(x)\cdot(x-x_0) \end{equation} \]
注意到 公式(4) 末尾那一项，显然，它是 \((x-x_0)\) 的高阶无穷小，这是因为
\[ \begin{equation} \lim_{x\rightarrow x_0}\frac{\alpha_1(x)\cdot(x-x_0)}{x-x_0}=\lim_{x\rightarrow x_0}\alpha_1(x)=0 \end{equation} \]
于是，我们可以直接将它记作
\[ \begin{equation} \alpha_1(x)\cdot(x-x_0)=\omicron_1(x-x_0) \end{equation} \]
这样的话， 公式(4) 式可进一步改写为
\[ \begin{equation} f(x)=f(x_0)+f'(x_0)(x-x_0)+\omicron_1(x-x_0) \end{equation} \]
好了！这就是一阶泰勒公式。
一阶到二阶
那么如何得到二阶的呢？
先比较一下二阶泰勒和一阶泰勒形式上的差别吧。它们前两项都是一样的，只不过二阶的又多出了一项。注意到，高阶无穷小的记号实际上是一个「收纳筐」，它里面装着很多隐藏着的东西。如此，我们猜测，二阶泰勒多出来的这一项，一定是从一阶泰勒那个高阶无穷小中「分析」出来的。
这启发我们来考察这样一个极限
\[ \begin{equation} \lim_{x\rightarrow x_0}\frac{\omicron_1(x-x_0)}{(x-x_0)^2}=\lim_{x\rightarrow x_0}\frac{f(x)-f(x_0)-f'(x_0)(x-x_0)}{(x-x_0)^2} \end{equation} \]
这是一个 \(0/0\) 的极限，要求解它可以考虑使用洛必达。但是，请注意，我们现在只有 \(f(x)\) 在 \(x_0\) 一点一阶可导的条件，这还不足以让我们使用洛必达。不过，这并没有太大困难，只要加强条件就行，比如：我们让 \(f(x)\) 在 \(x_0\) 二阶可导，这样的话，就不仅保证了 \(f''(x_0)\) 存在，还同时保证了 \(f(x)\) 在 \(x_0\) 某邻域内一阶可导，这就满足了洛必达的使用条件。
好了！开始洛必达！
\[ \begin{align} &\lim_{x\rightarrow x_0}\frac{\omicron_1(x-x_0)}{(x-x_0)^2}\notag \\ &=\lim_{x\rightarrow x_0}\frac{f(x)-f(x_0)-f'(x_0)(x-x_0)}{(x-x_0)^2}\notag \\ &=\lim_{x\rightarrow x_0}\frac{f'(x)-f'(x_0)}{2(x-x_0)}\notag \\ &=\frac{1}{2}f''(x_0) \end{align} \]
现在，我们又利用 公式(2) 的结论，将这个极限改写为
\[ \begin{equation} \omicron_1(x-x_0)=\frac{1}{2}f''(x_0)(x-x_0)^2+\alpha_2(x)\cdot(x-x_0)^2 \end{equation} \]
基于同样的理由， \(\alpha_2(x)\cdot(x-x_0)^2=\omicron_2((x-x_0)^2)\) 我们将它代入 公式(10) 并连同 公式(10) 一起代回 公式(7) ,就将得到
\[ \begin{equation} f(x)=f(x_0)+f'(x_0)(x-x_0)+\frac{1}{2}f''(x_0)(x-x_0)^2+\omicron_2((x-x_0)^2) \end{equation} \]
显然，这就是二阶泰勒公式！
如法炮制……
至此，已经十分明显了，只要给定 \(f(x)\) 在 \(x_0\) 三阶、四阶……直至 \(n\) 阶可导，我们就可以沿用此法反复地将低一阶公式中的高阶无穷小分析着展开，依次得到三阶、四阶……直至 \(n\) 阶的泰勒公式。
注记
当然，细心的读者可能注意到一点，我们在这里给定的 \(n\) 阶泰勒公式展开条件，仅仅是 \(f(x)\) 在 \(x_0\) 一点处的 \(n\) 阶可导，而并不是通行教材中约定的「在包含 \(x_0\) 的某闭区间 \([a,b]\) 上 \(n\) 阶可导、且在开区间 \((a,b)\) 内 \(n+1\) 阶可导」！
这又是为什么呢？
事实上，我们这里推导的泰勒公式是带皮亚诺余项的泰勒公式，而不是带拉格朗日余项的泰勒公式，而要得出那个拉格朗日余项，就还必须再用一次拉格朗日中值定理，于是就需要有更强的条件！关于这一点，读者只需要回顾一下拉格朗日中值定理的条件，就很容易理解了。
愿意试试手吗？
讲了这么多，现在就请你拿出纸笔从分析 \(\lim_{x\rightarrow x_0}\frac{\omicron_2((x-x_0)^2)}{(x-x_0)^3}\) 入手推导三阶泰勒，我相信你能行！
