曲边面积怎样求：穷竭法、不可分量与求和

这一难题从哪里来

切线把曲线放大到一点附近，面积问题反过来要把无数局部贡献累积起来。古希腊穷竭法用可控制误差的内接、外切图形夹逼面积；阿基米德把这种方法推到很高水平。十七世纪的不可分量方法把平面想成由线段组成，卡瓦列里等人用截线比较快速发现面积和体积关系。

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

陪你推演

求y=x在0到4下方的面积，可以直接看成底4、高4的直角三角形，面积8。若改用四个等宽1的右端矩形，面积和为1+2+3+4=10；分得更细时，上下和差距缩小并共同逼近8。历史上不同方法的共同目标是把曲边对象转换成可比较、可求和的简单图形。

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

历史边界

穷竭法不等于‘真的做完无穷多步’，它通过有限论证控制任意小误差；不可分量也不能不加解释地当作现代测度论。矩形求和只有在分割变细且和趋向稳定极限时才定义面积，不能凭一次较粗近似宣布精确结果。

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

与前后课连接

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

迁移任务

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

本课验收

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