← 返回 Math 2.0 单元总览
Math 2.0 示范单元 · 罗尔定理
ch3 微分中值定理 ｜ 证明重构 + 条件消融 ｜ 零外链·本地 KaTeX
定理：设 $f$ 在 $[a,b]$ 上连续、在 $(a,b)$ 内可导且 $f(a)=f(b)$，则存在 $\xi\in(a,b)$ 使 $f'(\xi)=0$。
一、证明重构（一题多讲法）
R1最值定理法（教材标准）
最值 费马引理
若 $f$ 为常函数，任意 $\xi\in(a,b)$ 均满足 $f'(\xi)=0$
依据：平凡情形
否则最大、最小值至少有一个在内部取得（因端点值相等 $f(a)=f(b)$）
依据：最值定理 + 端点等值排除两端同时为唯一最值
内部极值点 $\xi$ 处由费马引理得 $f'(\xi)=0$
依据：费马引理
教学注：标准路径；学生易忽略内部取到的关键一步。
直观性 2.0 · 可教性 2.4 · 严谨性 5.0 · 衔接性 2.0 · 综合 2.9
R2几何直观法（水平弦与波浪）
几何 动画友好
两端等高的连续曲线 $y=f(x)$（$f(a)=f(b)$），若不平直，必拱起或凹陷
依据：几何观察
拱顶/谷底（极值点）处切线必水平，即 $f'(\xi)=0$
依据：极值点切线水平的直观
平直情形 $f'(x)\equiv 0$，处处水平切线，结论自动成立
依据：分类讨论
教学注：30 秒可讲清直觉；须明确告知直觉到严格的距离。
直观性 4.6 · 可教性 2.7 · 严谨性 3.5 · 衔接性 2.0 · 综合 3.2
二、证明对比矩阵（可教性四维初评）
证明对比矩阵：罗尔定理
> 定理陈述：设 $f$ 在 $[a,b]$ 上连续、在 $(a,b)$ 内可导且 $f(a)=f(b)$，则存在 $\xi\in(a,b)$ 使 $f'(\xi)=0$。
| 证明 | 视角 | 直观性 | 可教性 | 严谨性 | 衔接性 | 综合 | 最佳用途 |
|---|
| R1 | 最值定理法（教材标准） | 2.0 | 2.4 | 5.0 | 2.0 | 2.9 | 课堂首选讲解 |
| R2 | 几何直观法（水平弦与波浪） | 4.6 | 2.7 | 3.5 | 2.0 | 3.2 | 动画/导入素材 |
教学建议
- 严谨主干讲法：取「标准/经典」路径作为逻辑主干（矩阵中标记「课堂首选讲解」）
- 导入/首选讲法：R2（可教性最高，建议作为课堂第一讲法，再回溯严谨主干）
- 直觉/导入素材：R2，配合 GeoGebra 动态演示
- 评审训练设计：把最严谨证明中的某一步依据隐去，让学生评审员找出跳步位置（对接错题分析 Skill 的误区库）
- 消融衔接：讲完首选证明后追问「每个条件用在证明的哪一步？」——自然过渡到 ablation-experiment-skill
典型误区预警
三、学生工作单（可打印）
证明评审员工作单：罗尔定理
班级：本科一年级 日期：2026-10-14 姓名：＿＿＿＿＿＿
一、角色卡
> 你现在是 证明评审委员会 委员。今天有若干份「罗尔定理」的证明送到你桌上，作者分别声称自己的讲法最清楚。你的任务不是做题，而是像审稿人一样裁决哪份证明最值得进教材。
定理陈述：设 $f$ 在 $[a,b]$ 上连续、在 $(a,b)$ 内可导且 $f(a)=f(b)$，则存在 $\xi\in(a,b)$ 使 $f'(\xi)=0$。
二、评审任务
请通读证明包中的每一条证明，完成：
- 挑错：找出每一条证明中最不清楚的一步，圈出并写批注；
- 追问：对每条证明写出一个为什么式追问（如：辅助函数为什么这样构造？）；
- 对比：哪条证明你最愿意讲给同桌听？为什么？
| 证明编号 | 视角 | 综合分(1-5) | 最不清楚的一步 | 你的追问 |
|---|
| R1 | 最值定理法（教材标准） | | | |
| R2 | 几何直观法（水平弦与波浪） | | | |
三、评分量规（供你裁决时参考）
| 维度 | 关键问题 | 权重 |
|---|
| 逻辑严密性 | 每一步是否有依据？有无循环论证或偷换条件？ | 25% |
| 清晰性 | 一个同学读一遍能否复述出证明思路？ | 25% |
| 直观性 | 是否说明了为什么会想到这一步？ | 25% |
| 可迁移性 | 这套思路能否用到别的定理？ | 25% |
四、开放阐释任务（核心）
陶哲轩在《数学 2.0》中指出：AI 已能生成正确的证明，但让证明被人理解是人类不可替代的工作。现在轮到你：
任务 A（必做）：不看任何材料，用 150-200 字写出「罗尔定理」的直觉解释。
要求：一个完全没学过这一定理的人读完能明白它在说什么、为什么可信。允许不严格，但必须标出哪里需要严格化。
任务 B（选做）：尝试构造第 4 种讲法（图像/物理情境/反证均可），
并说明它比给定证明好在哪里、差在哪里。
五、消融追问（衔接消融实验课）
观察每条证明中条件被使用的具体位置，回答：
> 如果把定理的某个条件去掉，证明的哪一步最先崩掉？你预测会发生什么？
把你的预测写在下面，下节课用消融实验模块验证：
预测：＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿
六、自评
- 我今天能不看资料复述定理证明思路： 能 / 基本能 / 不能
- 我发现的最多的一类问题： 跳步 / 术语不清 / 直觉缺失 / 其他＿＿＿
> 教师批注区：
>
四、条件消融实验
消融 · 摘掉【端点值相等】★★
崩塌点预测：去掉等值条件后罗尔失效，但若结论仍写成 f'=0 则平凡反例即现
预测
- 只给定理与'将要做实验'的预告，不展示反例。
- ["如果去掉【端点值相等】，你认为结论还成立吗？先投票，再写下你的理由。", "回看证明，指出【端点值相等】在哪一步被用到？（步骤编号见证明包）", "若结论不再成立，你猜反例会'长什么样'？（间断？尖点？振荡？）", "若结论碰巧仍成立，这说明条件'不可少'还是'可减弱'？两者有什么区别？"]
- true
验证
- {"name": "严格递增函数", "ggb_def": "f(x) = x", "interval": [0, 1], "explain": "f(0)≠f(1)，且 f'>0 处处成立，不存在 f'(ξ)=0。这正说明拉格朗日中值定理是'修正后的罗尔'：条件被去掉后，结论要相应改写。"}
- 去掉等值条件后罗尔失效，但若结论仍写成 f'=0 则平凡反例即现
- 最值可能同时在两端取到（最大最小都在端点）
- f(x) = x
- ["在 GeoGebra 中运行反例脚本，拖动/缩放观察", "找出'第一个塌掉的步骤'，与预测对照", "修改反例的一个特征（位置/幅度/个数），结论何时'复活'？"]
反思
- ["结论如何改写才能让定理在去掉等值条件后仍然成立？（引出拉格朗日）"]
- ["崩塌发生在证明的哪一步？那一步用了被去掉的条件吗？", "如果把被去掉的条件'弱化'而不是删除，哪一步还能撑住？", "这个反例能帮你识别 AI 证明里的哪类偷换条件？"]
迁移
- 从本定理出发，仿照本次实验，为另一个定理设计一次消融实验（写出：去掉哪个条件、预测哪里崩、草拟反例）。
- 一页消融设计卡
GeoGebra 反例脚本（粘贴即用）
# ==================================================
# 消融实验可视化：严格递增函数
# 定理：rolle
# 去掉的条件：端点值相等
# 粘贴到 GeoGebra 经典版（CAS/绘图区均可逐行执行）
# ==================================================
# --- 1. 参数滑块：把反例的关键特征做成可拖动的参数 ---
a = 0
b = 1
t = Slider(0, 1, 0.01)
k = Slider(0.1, 5, 0.1)
# --- 2. 反例函数（来自 theorem_library） ---
f(x) = x
# --- 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 姓名：＿＿＿＿＿＿ 难度：★★
实验公告
> 今天你是定理条件侦探。我们将对下面这条定理做一个'外科手术'：
> 摘掉它的一个条件，观察定理是否还能存活。
定理：连续、可导且 f(a)=f(b) ⇒ 存在 ξ 使 f'(ξ)=0
本次手术：摘掉条件【端点值相等】（保留：闭区间连续、开区间可导）
第一段：预测（不许偷看反例！）
> ⚠️ 先独立完成本段，老师口令之后才能翻到第二段。
- 如果去掉【端点值相等】，你认为结论还成立吗？先投票，再写下你的理由。
- 回看证明，指出【端点值相等】在哪一步被用到？（步骤编号见证明包）
- 若结论不再成立，你猜反例会'长什么样'？（间断？尖点？振荡？）
- 若结论碰巧仍成立，这说明条件'不可少'还是'可减弱'？两者有什么区别？
我的最终判断： 结论仍成立 / 结论失效 / 不确定 理由：＿＿＿＿＿＿＿＿
第二段：验证
反例：严格递增函数
> f(0)≠f(1)，且 f'>0 处处成立，不存在 f'(ξ)=0。这正说明拉格朗日中值定理是'修正后的罗尔'：条件被去掉后，结论要相应改写。
你的任务：
- 在 GeoGebra 中运行反例脚本，拖动/缩放观察
- 找出'第一个塌掉的步骤'，与预测对照
- 修改反例的一个特征（位置/幅度/个数），结论何时'复活'？
第一个崩塌的步骤：＿＿＿＿＿＿ 与我的预测是否一致： 是 / 否 / 部分一致
GeoGebra 观察记录（一句话）：＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿
第三段：反思
苏格拉底追问链（每题至少写两句话）：
- 崩塌发生在证明的哪一步？那一步用了被去掉的条件吗？
- 如果把被去掉的条件'弱化'而不是删除，哪一步还能撑住？
- 这个反例能帮你识别 AI 证明里的哪类偷换条件？
- 拓展：结论如何改写才能让定理在去掉等值条件后仍然成立？（引出拉格朗日）
第四段：迁移
从本定理出发，仿照本次实验，为另一个定理设计一次消融实验（写出：去掉哪个条件、预测哪里崩、草拟反例）。
提交物：一页消融设计卡
侦探笔记（误区自检）
- ☐ 认为反例'太特殊'而否认条件必要性（回应：必要性证伪只需一个反例）
- ☐ 把'条件充分'误读为'条件必要'（本实验展示的正是必要性边界）
> 教师批注区：
>