← 返回 Math 2.0 单元总览

Math 2.0 示范单元 · 莱布尼茨交错级数判别法

ch11 无穷级数 ｜ 证明重构 + 条件消融 ｜ 零外链·本地 KaTeX
定理：若 $u_n$ 单调递减且 $\lim\limits_{n\to\infty}u_n=0$，则交错级数 $\sum_{n=1}^{\infty}(-1)^{n-1}u_n$ 收敛。

一、证明重构（一题多讲法）

S1偶奇子列夹逼法（标准）
单调有界 夹逼
  1. 考察偶数项部分和 $S_{2n}$：$S_{2n}=(u_1-u_2)+(u_3-u_4)+\cdots+(u_{2n-1}-u_{2n})$，相邻两项合并后单调递增
    依据：单调性用在何处一目了然
  2. 偶数项部分和 $S_{2n}$ 有上界，故收敛于某 $S$
    依据：单调有界准则
  3. 奇数项部分和 $S_{2n+1}=S_{2n}+u_{2n+1}$，也趋于 $S$
    依据：u_n 趋于 0 用在何处
  4. 偶、奇子列同极限 $S$，故部分和数列 $\{S_n\}$ 收敛
    依据：子列判收敛
教学注：亮点：两个条件的使用位置被显式标出，便于消融实验回指。
直观性 2.0 · 可教性 2.6 · 严谨性 3.5 · 衔接性 2.0 · 综合 2.6
S2误差估计视角（余项即误差）
误差控制 实用
  1. 交错递减级数的余项满足 $|R_n|\le u_{n+1}$
    依据：部分和振荡逼近的几何观察
  2. 余项 $R_n\to 0$ 即收敛，且给出截断误差上界 $|R_n|\le u_{n+1}$
    依据：误差估计
教学注：数值计算视角，连接工程应用，回答学这有什么用。
直观性 2.8 · 可教性 1.3 · 严谨性 3.8 · 衔接性 2.0 · 综合 2.4

二、证明对比矩阵（可教性四维初评）

证明对比矩阵：莱布尼茨交错级数判别法

> 定理陈述：若 $u_n$ 单调递减且 $\lim\limits_{n\to\infty}u_n=0$，则交错级数 $\sum_{n=1}^{\infty}(-1)^{n-1}u_n$ 收敛。
证明视角直观性可教性严谨性衔接性综合最佳用途
S1偶奇子列夹逼法（标准）2.02.63.52.02.6课堂首选讲解
S2误差估计视角（余项即误差）2.81.33.82.02.4拓展训练

教学建议

典型误区预警

三、学生工作单（可打印）

证明评审员工作单：莱布尼茨交错级数判别法

班级：本科一年级　　日期：2026-10-14　　姓名：＿＿＿＿＿＿

一、角色卡

> 你现在是 证明评审委员会 委员。今天有若干份「莱布尼茨交错级数判别法」的证明送到你桌上，作者分别声称自己的讲法最清楚。你的任务不是做题，而是像审稿人一样裁决哪份证明最值得进教材。

定理陈述：若 $u_n$ 单调递减且 $\lim\limits_{n\to\infty}u_n=0$，则交错级数 $\sum_{n=1}^{\infty}(-1)^{n-1}u_n$ 收敛。

二、评审任务

请通读证明包中的每一条证明，完成：

  1. 挑错：找出每一条证明中最不清楚的一步，圈出并写批注；
  2. 追问：对每条证明写出一个为什么式追问（如：辅助函数为什么这样构造？）；
  3. 对比：哪条证明你最愿意讲给同桌听？为什么？
证明编号视角综合分(1-5)最不清楚的一步你的追问
S1偶奇子列夹逼法（标准）
S2误差估计视角（余项即误差）

三、评分量规（供你裁决时参考）

维度关键问题权重
逻辑严密性每一步是否有依据？有无循环论证或偷换条件？25%
清晰性一个同学读一遍能否复述出证明思路？25%
直观性是否说明了为什么会想到这一步？25%
可迁移性这套思路能否用到别的定理？25%

四、开放阐释任务（核心）

陶哲轩在《数学 2.0》中指出：AI 已能生成正确的证明，但让证明被人理解是人类不可替代的工作。现在轮到你：

任务 A（必做）：不看任何材料，用 150-200 字写出「莱布尼茨交错级数判别法」的直觉解释。

要求：一个完全没学过这一定理的人读完能明白它在说什么、为什么可信。允许不严格，但必须标出哪里需要严格化。

任务 B（选做）：尝试构造第 4 种讲法（图像/物理情境/反证均可），

并说明它比给定证明好在哪里、差在哪里。

五、消融追问（衔接消融实验课）

观察每条证明中条件被使用的具体位置，回答：

> 如果把定理的某个条件去掉，证明的哪一步最先崩掉？你预测会发生什么？

把你的预测写在下面，下节课用消融实验模块验证：

预测：＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿

六、自评

> 教师批注区：
>

四、条件消融实验

消融 · 摘掉【单调递减】★★★

崩塌点预测：项的振幅起伏使部分和在两个水平间来回跳，不收敛

预测

验证

反思

迁移

GeoGebra 反例脚本（粘贴即用）

# ==================================================
# 消融实验可视化：非单调交错构造
# 定理：leibniz_series
# 去掉的条件：单调递减
# 粘贴到 GeoGebra 经典版（CAS/绘图区均可逐行执行）
# ==================================================

# --- 1. 参数滑块：把反例的关键特征做成可拖动的参数 ---
a = 0
b = 1
t = Slider(0, 1, 0.01)
k = Slider(0.1, 5, 0.1)

# --- 2. 反例函数（来自 theorem_library） ---
a(k) = If(Mod(k,2)==1, 1/((k+1)/2), -1/(k/2)^2)

# --- 3. 参照对象：弦/平均线 ---
A = (0, f(0))
B = (1, f(1))
secant: Line(A, B)   # 弦：平均变化率的几何化身

# --- 4. 探索引导 ---
# ① 拖动 t：观察函数关键点移动时，弦与切线是否可能平行
# ② 调整 k：观察'崩塌程度'如何变化
# ③ 思考：把 t 拖回区间端点之外（修复条件）时，结论是否复活？

# --- 5. 复活实验（把条件'修回去'） ---
# 例（端点连续性消融）：把 f 的跳跃改成连续过渡，例如
#   f_fix(x) = If(x < t, x, k*t + (x - t)/(b - t)*(f(b) - k*t))
# 观察：连续性修复后，必存在切点与弦平行（拉格朗日'复活'）

定理条件消融实验单：莱布尼茨交错级数判别法

日期：2026-10-14　　姓名：＿＿＿＿＿＿　　难度：★★★

实验公告

> 今天你是定理条件侦探。我们将对下面这条定理做一个'外科手术'：
> 摘掉它的一个条件，观察定理是否还能存活。

定理：u_n 单调递减且 →0 ⇒ Σ(-1)^{n-1}u_n 收敛

本次手术：摘掉条件【单调递减】（保留：极限为 0）

第一段：预测（不许偷看反例！）

> ⚠️ 先独立完成本段，老师口令之后才能翻到第二段。
  1. 如果去掉【单调递减】，你认为结论还成立吗？先投票，再写下你的理由。
  1. 回看证明，指出【单调递减】在哪一步被用到？（步骤编号见证明包）
  1. 若结论不再成立，你猜反例会'长什么样'？（间断？尖点？振荡？）
  1. 若结论碰巧仍成立，这说明条件'不可少'还是'可减弱'？两者有什么区别？

我的最终判断：　结论仍成立 / 结论失效 / 不确定　　理由：＿＿＿＿＿＿＿＿

第二段：验证

反例：非单调交错构造

> 取 u_{2m-1}=1/m，u_{2m}=1/m^2（带交错符号）。正项块累计 1+1/2+...+1/m 发散，负项块累计收敛，部分和整体发散。崩塌点：偶数项部分和不再单调。

你的任务：

第一个崩塌的步骤：＿＿＿＿＿＿　与我的预测是否一致：　是 / 否 / 部分一致

GeoGebra 观察记录（一句话）：＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿

第三段：反思

苏格拉底追问链（每题至少写两句话）：

  1. 崩塌发生在证明的哪一步？那一步用了被去掉的条件吗？
  1. 如果把被去掉的条件'弱化'而不是删除，哪一步还能撑住？
  1. 这个反例能帮你识别 AI 证明里的哪类偷换条件？

第四段：迁移

从本定理出发，仿照本次实验，为另一个定理设计一次消融实验（写出：去掉哪个条件、预测哪里崩、草拟反例）。

提交物：一页消融设计卡

侦探笔记（误区自检）

> 教师批注区：
>

消融 · 摘掉【极限为 0】★

崩塌点预测：通项不趋于 0，级数必然发散（收敛必要条件被违反）

预测

验证

反思

迁移

GeoGebra 反例脚本（粘贴即用）

# ==================================================
# 消融实验可视化：恒为 1 的交错项
# 定理：leibniz_series
# 去掉的条件：极限为 0
# 粘贴到 GeoGebra 经典版（CAS/绘图区均可逐行执行）
# ==================================================

# --- 1. 参数滑块：把反例的关键特征做成可拖动的参数 ---
a = 0
b = 1
t = Slider(0, 1, 0.01)
k = Slider(0.1, 5, 0.1)

# --- 2. 反例函数（来自 theorem_library） ---
u(k) = 1

# --- 3. 参照对象：弦/平均线 ---
A = (0, f(0))
B = (1, f(1))
secant: Line(A, B)   # 弦：平均变化率的几何化身

# --- 4. 探索引导 ---
# ① 拖动 t：观察函数关键点移动时，弦与切线是否可能平行
# ② 调整 k：观察'崩塌程度'如何变化
# ③ 思考：把 t 拖回区间端点之外（修复条件）时，结论是否复活？

# --- 5. 复活实验（把条件'修回去'） ---
# 例（端点连续性消融）：把 f 的跳跃改成连续过渡，例如
#   f_fix(x) = If(x < t, x, k*t + (x - t)/(b - t)*(f(b) - k*t))
# 观察：连续性修复后，必存在切点与弦平行（拉格朗日'复活'）

定理条件消融实验单：莱布尼茨交错级数判别法

日期：2026-10-14　　姓名：＿＿＿＿＿＿　　难度：★

实验公告

> 今天你是定理条件侦探。我们将对下面这条定理做一个'外科手术'：
> 摘掉它的一个条件，观察定理是否还能存活。

定理：u_n 单调递减且 →0 ⇒ Σ(-1)^{n-1}u_n 收敛

本次手术：摘掉条件【极限为 0】（保留：单调递减）

第一段：预测（不许偷看反例！）

> ⚠️ 先独立完成本段，老师口令之后才能翻到第二段。
  1. 如果去掉【极限为 0】，你认为结论还成立吗？先投票，再写下你的理由。
  1. 回看证明，指出【极限为 0】在哪一步被用到？（步骤编号见证明包）
  1. 若结论不再成立，你猜反例会'长什么样'？（间断？尖点？振荡？）
  1. 若结论碰巧仍成立，这说明条件'不可少'还是'可减弱'？两者有什么区别？

我的最终判断：　结论仍成立 / 结论失效 / 不确定　　理由：＿＿＿＿＿＿＿＿

第二段：验证

反例：恒为 1 的交错项

> 部分和在 1 与 0 间振荡，不收敛。崩塌点：S1 第 3 步奇偶子列无法合拢。

你的任务：

第一个崩塌的步骤：＿＿＿＿＿＿　与我的预测是否一致：　是 / 否 / 部分一致

GeoGebra 观察记录（一句话）：＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿

第三段：反思

苏格拉底追问链（每题至少写两句话）：

  1. 崩塌发生在证明的哪一步？那一步用了被去掉的条件吗？
  1. 如果把被去掉的条件'弱化'而不是删除，哪一步还能撑住？
  1. 这个反例能帮你识别 AI 证明里的哪类偷换条件？

第四段：迁移

从本定理出发，仿照本次实验，为另一个定理设计一次消融实验（写出：去掉哪个条件、预测哪里崩、草拟反例）。

提交物：一页消融设计卡

侦探笔记（误区自检）

> 教师批注区：
>
零外链自包含页（本地 vendor/）｜内容由 skills/math20-skills 实跑生成，未编造｜图说高数 · 定积AI