第1卷 第9章 泰勒展开与巴塞尔问题

学习目标

• 能用反复微分和代入 0 提取幂级数系数，并说明逐项微分需要的收敛前提
• 能写出正弦函数的泰勒展开，用余项界解释部分和多项式逼近的误差
• 能区分有限多项式因式分解与正弦无限乘积的严密性边界，说明零点如何进入因子
• 能在无限乘积的有限截断中提取 x² 系数，推导并验算 ζ(2)=π²/6

从两张卡片连接两个问题

第 1 卷第 9 章把两个看似无关的问题放在一起：如何把 sin x 写成无穷多项式，以及平方倒数和 1+1/2²+1/3²+... 等于什么。前者属于函数展开，后者属于数论级数；连接它们的桥是 sin x 同时拥有由导数决定的和式与由零点决定的积式。

先预测：如何从一个函数抽取第 n 个幂级数系数？只知道全部零点，为什么还不能唯一确定函数？sin x 的零点都含 π，怎样让它们进入整数平方倒数和？无限乘积比较系数时，哪些有限多项式习惯不能未经证明照搬？

一、幂级数与系数提取

幂级数与无限次多项式

从低次向高次排列：

$$f(x)=a_0+a_1x+a_2x^2+\cdots=\sum_{n=0}^{\infty}a_nx^n.$$

称它为“无限次多项式”有助于直觉，但普通多项式只有有限项，代数操作自动结束；幂级数的求和、逐项微分、乘法和代入都要检查收敛范围。作为形式幂级数可以比较系数，作为解析函数还要证明它确实代表原函数。

逐项微分与系数提取

假设幂级数在 0 附近收敛并可逐项微分。反复微分 m 次后，低于 m 次的项消失，高于 m 次的项仍含 x；代入 x=0 只留下：

$$f^{(m)}(0)=m!a_m,\qquad a_m=\frac{f^{(m)}(0)}{m!}.$$

在一般点 a 展开，则有泰勒展开的候选：

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

公式确定了唯一候选系数，但“候选等于函数”还要由余项趋于 0 来保证。系数提取把无限个未知数变成一串有限次微分的计算，同时把解析问题的责任边界暴露出来。

二、正弦的泰勒展开与逼近

正弦函数的泰勒展开

正弦的导数按四步循环：

$$\sin x,\quad \cos x,\quad -\sin x,\quad -\cos x,\quad \sin x,\ldots$$

在 0 处取值为 0,1,0,-1,...。因此偶次系数为 0，奇次系数符号交替：

$$\sin x=x-\frac{x^3}{3!}+\frac{x^5}{5!}-\frac{x^7}{7!}+\cdots =\sum_{k=0}^{\infty}(-1)^k\frac{x^{2k+1}}{(2k+1)!}.$$

取前 m+1 项：

$$s_m(x)=\sum_{k=0}^{m}(-1)^k\frac{x^{2k+1}}{(2k+1)!}.$$

部分和多项式逼近

部分和多项式逼近会在 0 附近匹配越来越多阶导数。由拉格朗日余项，固定 x 时可以得到类似：

$$|R_N(x)|\le\frac{|x|^{N+1}}{(N+1)!}.$$

阶乘最终压过固定幂，所以余项趋于 0，级数对所有实数收敛到 sin x。图像和数值表可以展示逼近趋势，但必须同时记录区间、截断阶数与误差界；次数增加并不自动保证任意浮点实现都稳定。

阶 0阶 1阶 2阶 3阶 4阶 5重置实验

输入

x = 1.2

保留奇次项到阶 7

部分和

0.93202505

真实 sin(x)：0.93203909

余项

1.40e-5

阶数越高，固定 x 的误差受控下降

三、ζ(2) 与巴塞尔问题

zeta(2)与巴塞尔问题

写成：

$$\zeta(2)=\sum_{n=1}^{\infty}\frac1{n^2}.$$

先证明它收敛。对 n≥2，递减函数比较给出：

$$\sum_{n=2}^{\infty}\frac1{n^2}\le\int_1^{\infty}\frac{dx}{x^2}=1.$$

比较估计只给范围，不给精确值。部分和接近约 1.644934 能用于验算，却不能解释为什么答案出现 π²。要得到精确值，需要把整数平方与正弦零点 nπ 连接起来。

四、有限根与无限零点

代数学基本定理的边界

代数学基本定理意味着 n 次多项式可以写成：

$$P(x)=a_n\prod_{j=1}^{n}(x-r_j),$$

其中根按重数列出。方程的根与因式分解因此相连：根决定因式位置，最高次系数 a_n 负责整体规模。但有限多项式的最高次项，是无限整函数没有的直接锚点。

如果两个整函数零点完全相同，也可能相差一个处处非零的因子。因此“知道零点”只提供探索方向，不能自动唯一确定函数。正弦的无限乘积需要额外的规范化、收敛和增长条件。

五、正弦零点与规范化无限乘积

sin x的零点与规范化无限乘积

正弦的零点是 0,±π,±2π,...。先除去零点 0，再把正负零点配对：

$$\frac{\sin x}{x}=\prod_{n=1}^{\infty}\left(1-\frac{x^2}{n^2\pi^2}\right).$$

左侧在 x 趋近 0 时极限为 1；右侧每个因子的常数项也是 1。配对 ±nπ 产生平方因子，既保留零点，也符合 sin x/x 的偶对称性。

无限乘积的严密性边界必须说清：巴塞尔级数收敛可以先独立证明；正弦乘积等式需要整函数的 Weierstrass 乘积理论；等式成立后，才能在一致收敛允许的邻域内比较系数。不能把有限因式分解定理当成无限版本的直接证明。

六、和式与积式比较 x² 系数

和的形式与积的形式比较系数

泰勒展开给出和的形式：

$$\frac{\sin x}{x}=1-\frac{x^2}{3!}+\frac{x^4}{5!}-\cdots.$$

为了严谨地提取无限乘积的 x² 项，先取前 N 个因子：

$$P_N(x)=\prod_{n=1}^{N}\left(1-\frac{x^2}{n^2\pi^2}\right).$$

在有限乘积中，x² 项只能从恰好一个因子取 -x²/(n²π²)，其余因子取常数 1，所以：

$$[x^2]P_N(x)=-\frac1{\pi^2}\sum_{n=1}^{N}\frac1{n^2}.$$

令 N 趋于无穷，并与和式的 x² 系数 -1/3!=-1/6 比较：

$$-\frac16=-\frac1{\pi^2}\sum_{n=1}^{\infty}\frac1{n^2}.$$

因此：

$$\boxed{\zeta(2)=\sum_{n=1}^{\infty}\frac1{n^2}=\frac{\pi^2}{6}}.$$

π 来自正弦零点的位置，平方倒数来自每个成对因子的 x² 系数；同一个函数把两种语言接在一起。

为什么先比较 x²

常数项在和式和积式中都为 1，只能验证规范化正确。x² 是第一个非零的非常数项，且只能从一个因子取平方项，未知量因此以简单的线性和出现。到了 x⁴，还会出现从两个不同因子各取一次的交叉项，必须借助已经求出的 ζ(2) 分离 ζ(4)。

实际验算可以先截取有限因子，记录常数项和二次项，再增加截断数；每增加一个因子，二次系数都增加同一个负项。这样无限系数等式被拆成有限恒等式与受控极限两项职责。

七、继续挑战：正偶数值

比较 x⁴ 系数还能得到：

$$\sum_{n=1}^{\infty}\frac1{n^4}=\frac{\pi^4}{90}.$$

更一般地，zeta正偶数值 ζ(2m) 都是 π^{2m} 乘一个有理数，系数由伯努利数描述。高次系数会收集更多因子组合，但方法仍是同一条：先保证函数等式和收敛，再在有限阶段提取系数，最后用已知低阶值解出新量。

官方概念锚点回收如下：幂级数与无限次多项式、逐项微分与系数提取、泰勒展开、正弦函数的泰勒展开、部分和多项式逼近、zeta(2)与巴塞尔问题、代数学基本定理、方程的根与因式分解、sin x的零点与规范化无限乘积、和的形式与积的形式比较系数、无限乘积的严密性边界和zeta正偶数值，都已经在系数提取、余项界、零点规范化、有限截断或高阶系数中落到可复查证据上。

分步验收：从导数走到平方倒数

⚡分步1 / 4

1. 1
2. 2
3. 3
4. 4

重置

1. 提取：用导数找到系数

对 f(x)=Σa_nx^n 反复微分，在 0 处代入，验证 a_m=f^(m)(0)/m!；再把导数四步循环应用到正弦。

上一步播放下一步

本章回顾：同一函数的两种语言

• 幂级数通过反复微分编码导数；余项界负责证明部分和确实逼近原函数。
• 正弦函数的零点在无限乘积中编码 π，正弦的泰勒系数编码阶乘。
• 巴塞尔级数先由比较法证明收敛，数值实验只能辅助，不能替代精确证明。
• 有限多项式的根与因式分解不能直接推出整函数的无限乘积，规范化与收敛边界必须交代。
• 比较 sin x/x 的 x² 系数得到 ζ(2)=π²/6；更高次系数可继续探索 zeta正偶数值。

练习与答案

练习

1. 问题 1：提取系数。 对 f(x)=Σa_nx^n，说明为什么 f^(m)(0)=m!a_m，并写出正弦在 0 处前四阶导数的取值。

查看答案

连续微分 m 次后，a_mx^m 变为 m!a_m，低次项已消失，高次项仍含 x，在 0 处为 0。因此 f^(m)(0)=m!a_m。正弦的前四阶导数在 0 处为 0,1,0,-1。

2. 问题 2：检查余项。 对固定 x=1，解释为什么 1/5! 级别的余项已经很小，但为什么仍需说明它随阶数趋于 0 才能得到函数等式。

查看答案

阶乘增长快于固定的幂，形如 1/(N+1)! 的界会趋于 0，所以截断误差最终可以小于任意正阈值。一个具体阶数的误差只能说明一次近似，不能替代“对所有更高阶最终趋零”的极限论证。

3. 问题 3：改 Demo 代码。 在泰勒实验中加入“只显示图像、不显示误差界”的模式，再保留重置按钮；说明视觉接近为什么不能单独证明展开等于正弦。

查看答案

错误模式可以隐藏余项数值和区间，正确模式显示截断阶数、误差估计和固定 x。图像接近只是有限采样证据，只有余项趋于 0 才能覆盖极限并证明函数等式；重置按钮恢复默认阶数和误差面板。

4. 问题 4：比较 x² 系数。 说明有限乘积 P_N(x) 的二次系数为什么是 -Σ_{n=1}^N1/(n²π²)，再与 -1/6 比较。

查看答案

要得到总次数 2，只能从一个因子取 -x²/(n²π²)，其余因子取常数 1，所以二次系数是 -1/π² 乘平方倒数部分和。令 N 趋于无穷后与泰勒系数 -1/6 相等，得到平方倒数和为 π²/6。

名词解释

本章出现的专业名词，用大白话再讲一遍。

幂级数与无限次多项式

按幂次排列的有限或无限项表达式，解析使用时必须关注收敛。

逐项微分与系数提取

在合法收敛条件下逐项求导，并在展开中心代入得到系数。

正弦函数的泰勒展开

sin x 的交错奇次幂级数 x−x³/3!+x⁵/5!−…。

zeta(2)与巴塞尔问题

求平方倒数级数的精确值，结论是 ζ(2)=π²/6。

sin x的零点与规范化无限乘积

将正弦的零点配对后写成 sin x/x 的因子乘积。

和的形式与积的形式比较系数

在同一函数的级数和乘积表达中提取并比较同次幂系数。