Generate counterexamples (mons…

# 用反例法检验两个命题

命题一：“所有收敛数列都有界”

检验结果：命题为真

此命题无法找到反例，任何尝试构造反例都会失败。

反例尝试（失败示范）

• 尝试构造 aₙ = n：发散于无穷，不收敛，不构成反例
• 尝试构造在有限项无界的数列：有界性只要求存在统一上界，数列前有限项取再大（如 a₁ = 10¹⁰⁰），后续趋于 0，仍是有界的。收敛性本质是“从某项以后无限接近极限”，这自动压制了尾部无界的可能

命题证明思路（修补为完整定理）

设 aₙ → a（取 ε = 1，存在 N，当 n > N 时 |aₙ − a| < 1，即 |aₙ| < |a| + 1）。前 N 项为有限个数，取其最大绝对值与 |a| + 1 中较大者为界，即得整体有界。

注意边界情况

逆命题不成立：有界数列未必收敛。反例：aₙ = (−1)ⁿ 有界但发散。这说明有界是收敛的必要非充分条件。

---

命题二：“闭区间上连续函数必可导”

检验结果：命题为假，存在经典反例

具体反例

反例1：f(x) = |x| 在闭区间 [−1, 1] 上

• 连续性：处处连续（绝对值函数图像连续无断点）
• 不可导点：x = 0 处，左导数为 −1，右导数为 +1，两者不等，故不可导
• 修正：将命题中的“可导”改为“不可导点至多可数/存在最值”等，即得正确结论——闭区间连续函数必有界且取得最值（最值定理），以及必一致连续（康托定理）

反例2（更极端）：魏尔斯特拉斯函数

• f(x) = Σ aⁿcos(bⁿπx)（其中 0 < a < 1，b 为奇数且 ab > 1 + 3π/2）
• 在整个闭区间上处处连续但处处不可导
• 说明：即使加强“连续”条件，“可导”也远非必然，连续与可导之间存在巨大鸿沟

正确修补

• 弱化结论版：闭区间上连续函数必可积、必有界、必取得最大最小值 ✓
• 强化条件版：闭区间上连续函数，若在内部各点单侧导数存在且相等、端点单侧导数存在，则可导 ✓

---

方法论总结

| 命题 | 结论 | 关键点 |

|------|------|--------|

| 收敛⟹有界 | 真 | 有限项+尾项双重控制 |

| 连续⟹可导 | 假 | |x| 局部反例，魏尔斯特拉斯全局反例 |

反例法的价值：证伪靠一个反例即可；证实需完整证明；修正常通过弱化结论或强化前提两条路径。