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