泰勒级数详解：用多项式逼近任意函数

如果说导数捕捉的是函数在某一点的斜率，那么泰勒级数捕捉的是某一点处的整个函数——通过把无穷多个导数叠加起来。它们是微积分与数值计算之间的桥梁：每次你的计算器算 $\sin(0.4)$ 时，它在底层都是在求一个泰勒级数的和。

泰勒级数公式

函数 $f$ 在 $x = a$ 处展开的泰勒级数为：

$f(x) = \sum_{n=0}^{\infty} \frac{f^{(n)}(a)}{n!} (x - a)^n$

也就是：在点 $a$ 处求出 $f$、$f'$、$f''$、$f'''$、… 的值，然后构造一个多项式，其第 $n$ 项为 $\frac{f^{(n)}(a)}{n!}(x-a)^n$。

当 $a = 0$ 时，该级数称为麦克劳林级数——最常见的情形。

为什么这样可行？

在点 $a$ 附近，函数先看起来像它的切线（$n=1$ 项），再像一条包含曲率的抛物线（$n=2$），然后是三次曲线，依此类推。每个更高阶的导数都捕捉到更精细的形状信息。把无穷多项加起来，（对于"良好的"函数而言）你就精确还原出了 $f$。

三个经典的麦克劳林展开

把这三个背下来——它们不断出现：

$e^x = \sum_{n=0}^{\infty} \frac{x^n}{n!} = 1 + x + \frac{x^2}{2!} + \frac{x^3}{3!} + \dots$

$\sin x = \sum_{n=0}^{\infty} \frac{(-1)^n x^{2n+1}}{(2n+1)!} = x - \frac{x^3}{3!} + \frac{x^5}{5!} - \dots$

$\cos x = \sum_{n=0}^{\infty} \frac{(-1)^n x^{2n}}{(2n)!} = 1 - \frac{x^2}{2!} + \frac{x^4}{4!} - \dots$

指数函数的级数含有所有次幂；正弦只含奇数次幂；余弦只含偶数次幂。这种对称性是哪些导数在 $0$ 处为零的直接结果。

解题示例：从零开始构造 $\sin x$

设 $f(x) = \sin x$。在 $a = 0$ 处：

• $f(0) = 0$
• $f'(0) = \cos(0) = 1$
• $f''(0) = -\sin(0) = 0$
• $f'''(0) = -\cos(0) = -1$
• $f^{(4)}(0) = \sin(0) = 0$
• 这个模式每 4 次求导重复一次。

代入泰勒公式：
$\sin x \approx 0 + 1 \cdot x + 0 \cdot \frac{x^2}{2!} + (-1)\frac{x^3}{3!} + 0 + \frac{x^5}{5!} - \dots$
化简为 $x - x^3/6 + x^5/120 - \dots$。与上面的公式相同。

实践中的近似

对于 0 附近的小 $x$，即使只取前几项也极其精确：

• $\sin(0.1) \approx 0.1 - 0.001/6 \approx 0.09983$（真实值：$0.0998334\dots$）。

这就是为什么小角度近似 $\sin x \approx x$ 成立：当 $x$ 很小时，下一项微乎其微。

收敛性——它究竟何时等于 $f$？

泰勒级数有一个收敛半径 $R$。当 $|x - a| < R$ 时级数等于 $f(x)$；在此范围之外，级数发散。某些函数（$e^x$、$\sin x$、$\cos x$）的 $R = \infty$。另一些函数，如以 0 为中心的 $1/(1-x)$，其 $R = 1$。

常见错误

• 忘记阶乘分母 $n!$。
• 混淆级数展开——sin 是奇数，cos 是偶数，$e^x$ 是全部。
• 不检查收敛半径就假定收敛。

用 AI 级数求解器试一试

使用级数计算器计算任意函数的泰勒展开——它会显示求导步骤、得到的多项式，以及一个数值合理性检查。

相关链接：

• 导数计算器 —— 每个泰勒级数的构件
• 极限计算器 —— 收敛性是一个极限问题
• 积分计算器 —— 泰勒级数可以逐项积分