泰勒展开公式

泰勒展开（Taylor Expansion）（标准公式）

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

f(n)(a)表示 f(x)在 x=a处的 n阶导数（f(0)(a)=f(a)）。
n!是 n的阶乘。
(x−a)n是幂函数基。

带有拉格朗日余项的形式 (常用)

$f(x) = f(a) + f'(a)(x-a) + \frac{f''(a)}{2!}(x-a)^2 + \cdots + \frac{f^{(n)}(a)}{n!}(x-a)^n + R_n(x)$

其中拉格朗日余项 Rn(x)定义为：

$R_n(x) = \frac{f^{(n+1)}(\xi)}{(n+1)!} (x-a)^{n+1}$（ξ介于 x与 a之间）

麦克劳林级数（Maclaurin Series，即 a=0）

这是泰勒展开的特殊情况（在 x=0处展开），也是你之前看到的 1+x或 ex的形式： $f(x) = \sum_{n=0}^{\infty} \frac{f^{(n)}(0)}{n!} x^n$

一个例子

计算 $\sqrt{1+x}$ 在 $x=0$ 附近的近似值。

函数定义

首先，我们将根号改写为幂的形式：

f(x) = (1+x)^{\frac{1}{2}}

$$f(x) = (1+x)^{\frac{1}{2}}$$

泰勒展开式（麦克劳林级数）

在 $x=0$ 处展开，保留前三项的一般形式如下：

\sqrt{1+x} = 1 + \frac{1}{2}x - \frac{1}{8}x^2 + \frac{1}{16}x^3 - \frac{5}{128}x^4 + \cdots

$$\sqrt{1+x} = 1 + \frac{1}{2}x - \frac{1}{8}x^2 + \frac{1}{16}x^3 - \frac{5}{128}x^4 + \cdots$$

线性近似（一阶展开）

如果你只需要一个简单的近似值（正如之前计算 $\sqrt{1.1}$ 所用到的），对应的一阶泰勒展开公式如下：

\sqrt{1+x} \approx 1 + \frac{1}{2}x

$$\sqrt{1+x} \approx 1 + \frac{1}{2}x$$

带余项的严格形式

如果需要在数学上表达“误差范围”，可以使用带 Peano 余项 或 Lagrange 余项 的形式。

带 Peano 余项（强调高阶无穷小）：

\sqrt{1+x} = 1 + \frac{1}{2}x - \frac{1}{8}x^2 + o(x^2) \quad (x \to 0)

$$\sqrt{1+x} = 1 + \frac{1}{2}x - \frac{1}{8}x^2 + o(x^2) \quad (x \to 0)$$

带 Lagrange 余项（强调具体误差）：

\sqrt{1+x} = 1 + \frac{1}{2}x - \frac{1}{8}(1+\xi)^{-\frac{5}{2}} x^2, \quad \xi \in (0, x)

$$\sqrt{1+x} = 1 + \frac{1}{2}x - \frac{1}{8}(1+\xi)^{-\frac{5}{2}} x^2, \quad \xi \in (0, x)$$

代入数值计算示例

以你之前提到的 $x=0.1$ 为例，LaTeX 写法如下：

\sqrt{1.1} = \sqrt{1+0.1} \approx 1 + \frac{1}{2}(0.1) = 1.05

$$\sqrt{1.1} = \sqrt{1+0.1} \approx 1 + \frac{1}{2}(0.1) = 1.05$$

总结

这个例子完美展示了泰勒展开的核心思想： $(1+x)^\alpha \approx 1 + \alpha x$ 当 $\alpha = \frac{1}{2}$ 时，我们就得到了 $\sqrt{1+x}$ 的近似公式。

泰勒展开的哲学含义

泰勒展开之所以被冠名、之所以重要，不只是因为它能算数——而是因为它隐含了一幅关于世界如何被认识的底层图景。我们一层层剥开看。

"远方"完全由"脚下"决定 —— 最强的决定论宣言

泰勒展开最惊悚的承诺是：

如果你知道一个函数在 $x=a$ 这一点 的函数值、一阶导、二阶导、三阶导……一直到无穷阶—— 你就完全知道这个函数在周围（乃至相当远处）的一切。

对应的核心公式：

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

数学事实	哲学意味
一个点的所有高阶导数 $f^{(n)}(a) \rightarrow$ 决定邻域内的全部形状	局部信息充分到可以推出全局
前提是"光滑"（无穷阶可导）	只有当你承诺世界没有尖角和断裂时，这幅图景才成立

这只在"解析函数"上成立。一旦遇到 $e^{-1/x^2}$（在 $x=0$ 处所有导数都是 $0$，但函数不恒为零）——局部信息突然不够了。这说明：

光滑 $\neq$ 可被局部穷尽。 有些东西看起来无限柔顺，骨子里仍有"外面来的信息"藏得让你永远在零点看不出来。

这是数学给决定论捅的一刀。

"弯曲"的本质 = 把直线一层层修正 —— 渐进还原论

人类直觉最先理解的是直线（一阶）：走多远就增加多少。

但真实世界是弯的。泰勒展开说：

$$\text{曲线} = \underbrace{\text{直线}}_{\text{趋势}} + \underbrace{\text{弯曲修正}}_{\text{二阶}} + \underbrace{\text{弯曲的变化修正}}_{\text{三阶}} + \cdots$$

这背后是一种还原论的世界观：

领域	同一种策略
德谟克利特的原子 $\rightarrow$ 世界是原子的组合	泰勒的幂函数 $\rightarrow$ 形状是"各阶局部弯曲度"的组合
傅里叶分析的正弦波 $\rightarrow$ 信号是频率的组合	所有 $(x-a)^n$ 都以 $a$ 为锚点

关键区别是：傅里叶的基是全局的（正弦波绵延整个区间），而泰勒的基是局部扎根的（所有 $(x-a)^n$ 都以 $a$ 为锚点）。这意味着：

泰勒式还原，是从一个观测者所处的位置向四周展开的还原。 你认识世界的方式，永远是"以我立足之处为圆心"逐层外推的。

"足够近就当直的"——整个微积分的暴力与谦卑

泰勒展开的一阶截断就是线性近似：

$$f(x) \approx f(a) + f'(a)(x-a)$$

这句话的哲学分量极重，它等价于：

在足够小的尺度上，弯曲的世界可以当作平的。

领域	同一种策略
航海	地球是弯的，但做局部海图时当平面
广义相对论	时空是弯的，但局部惯性系近似为平直闵氏空间
日常生活	走一步只看脚下坡度，不管千里外的山路

无穷级数的哲学陷阱：拼图永远拼不完

泰勒展开写的是等号：

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

但这个等号有个魔鬼细节——无穷项意味着你永远算不完。每一次实际使用时，你只能截取有限项：

$$f(x) \approx \text{前 } N \text{ 项} + \text{余项 } R_N(x)$$

三种态度：

柏拉图式：真实的 $f(x)$ 就在那里，级数是它穿的衣服，穿无穷件才算裸体
构造主义/直觉主义（如 Brouwer）：不承认非构造性的"无穷完成"，认为只写有限截断才是诚实的
实用主义者（大多数工程师和物理学家）：等号右边的"无穷"只是一个有效的修辞——只要余项 $R_N(x)$ 足够小，它就是真的

收敛圆：你只能走多远，不能走多远

以 $\frac{1}{1-x}$ 在 $x=0$ 处的展开为例：

$$\frac{1}{1-x} = \sum_{n=0}^{\infty} x^n \quad (|x|<1)$$

圆心 $a=0$	能到达的范围被一道隐形墙挡住
函数在 $x=1.5$ 处有定义	级数在 $	x	\geq1$ 处发散

这像什么？

你从自身立足点出发所能"推理/外推"的范围，是有边界的。 过了那道边界，你脚下的局部规律不再可靠——哪怕函数在那边依然好好地存在着。

总结

泰勒展开的哲学不是"一个公式"，而是一幅认知地图：

世界太弯，但我们站在某个点上，用导数 $f^{(n)}(a)$ 读出它的各阶脾气；

然后相信（有时是对的，有时是赌注）把这些局部读数一层层叠起来，就能重建远方；

而这份重建永远在精确度与可计算性之间做交易

它是理性主义的野心、还原论的手法、和实用主义的自知，绑在一起的一个漂亮结（knots）。

领域	同一种策略
德谟克利特的原子 \(\rightarrow\) 世界是原子的组合	泰勒的幂函数 \(\rightarrow\) 形状是"各阶局部弯曲度"的组合
傅里叶分析的正弦波 \(\rightarrow\) 信号是频率的组合	所有 \((x-a)^n\) 都以 \(a\) 为锚点

数学事实	哲学意味
一个点的所有高阶导数 \(f^{(n)}(a) \rightarrow\) 决定邻域内的全部形状	局部信息充分到可以推出全局
前提是"光滑"（无穷阶可导）	只有当你承诺世界没有尖角和断裂时，这幅图景才成立