算得对还不够：从柯西到魏尔斯特拉斯的严格化

这一难题从哪里来

微积分迅速解决大量问题后，基础问题反而更尖锐：无穷小究竟是什么，函数何时连续，级数何时可以换序，极限凭什么唯一？十九世纪的分析严格化逐步用变量、极限和误差条件重写微积分。柯西系统强调极限与连续，魏尔斯特拉斯式的ε-δ语言把‘无限接近’化成可逐项检查的量词关系。

先别急着把现代公式倒回历史。你要像当时的研究者一样，先说清楚旧工具卡在哪里：是瞬时量无法直接相除，是曲边对象无法有限分割，还是无穷过程缺少误差标准。只有问题具体，新概念的必要性才看得见。

陪你推演

验证f(x)=2x在x=1连续。给定ε=0.1，只要选δ=0.05，当|x-1|<δ时，|f(x)-f(1)|=2|x-1|<0.1。重点不是这一组小数，而是对任意ε>0都能给出δ=ε/2。严格化把模糊的‘足够近’改写成挑战—响应：别人给误差要求，你给出输入范围并证明有效。

请把每一步写成“对象—操作—保持的关系—得到的新对象”。涉及趋近时，先保留非零增量或有限部分和，再讨论极限；涉及面积时，写出分割与误差；涉及导数和积分时，分别说明局部变化与整体累积。

历史边界

严格化不是宣布十八世纪数学全部错误，也不是让直觉和图形失去价值。它明确哪些交换、逼近和推广需要条件，使反例能精确指出定理边界。本章终点不是背ε和δ，而是能解释：早期算法解决了什么，哪里可能失效，新的定义怎样把可靠性写进陈述本身。

历史比较至少检查四件事：当时提出的原问题、实际采用的记号、允许操作的对象、可靠性的论证标准。结构相似不等于概念完全相同，缺少现代语言也不等于没有有效数学。把贡献和限制同时说出，才是严谨的史料判断。

与前后课连接

回看上一课留下的障碍，再回答本课的新方法解决了哪一部分、又留下什么。运动逼出变化率，切线把变化率几何化，面积要求累积，无穷过程提供技术，牛顿和莱布尼茨形成统一体系，严格化再明确这些运算何时可靠。这是一条问题链，不是六个人名卡片。

迁移任务

更换正文中的函数、区间或误差，重新手算；随后用一句现代语言概括方法，再写一句警告，说明这句现代概括不能原样归给早期作者。若只会报人物和年代，或只会套公式却解释不了方法为何出现，本课未通过。

本课验收

完成下方单选、多选和数值推演。选择题检查历史边界，数值题检查方法可执行性；草稿必须保留条件、等价步骤、误差或极限解释。