对称性与径向分层
同心薄环用一个半径变量描述二维面积的分层。
3Blue1Brown · YouTube · 17:04
从圆盘薄环到抛物线下的累积面积,视频依次建立黎曼和、导数和微积分基本定理的几何联系。
在学习检查器中查看要点和时刻,或切换阅读标签查看完整笔记。
依据视频画面与讲解整理,并非逐字语音转写。
视频以圆面积引出微积分:把一个整体拆成易理解的小部分,再研究细分趋于无限时的极限。导数和积分的联系不是一开始就给出的规则,而是从累积量如何变化逐步建立。
圆盘具有径向对称性。沿半径把它分成许多同心薄环,用r表示从圆心到内边界的距离;这里r是半径,不是直径。逐层相加可以把二维面积问题转为沿一个半径变量的累积问题。
宽度为Δr的薄环近似于长2πr、宽Δr的细条。有限厚度时这只是近似,不能把弯曲环带直接认定为完全相同的矩形;我们需要在细化时控制总误差。
把细条按半径放在r轴上,高度为2πr。矩形柱的总面积就是黎曼和。随着最大分割宽度趋于0,柱状近似趋向直线下的区域。
从0到R,直线下是底R、高2πR的三角形,因此面积为πR²。均匀划分时,上、下矩形和的差是2πR²/n,趋于0。这说明误差需要极限控制,不能把动画的几帧称为完整证明,也不需要夸大为超多项式收敛。
相同的累积思想可以应用到运动:把速度乘以短时间段再相加。带符号速度的积分给净位移,总路程则积分速度的绝对值。面积与运动共享加权累积结构,不意味着它们在拓扑意义上完全相同。
随后观察抛物线²下从0到可变上限x的累积函数。时可理解为普通面积,更一般的积分按有向约定定义。把面积视为函数,才能研究上限移动时它变化得多快。
上限从x移到,新增细条近似宽h、高的矩形。若f在x处连续,则实际增量满足。用Δ表示有限增量,再取极限,比把有限变化与微分符号混在一起更清楚。
将增量除以h并令h趋于0,就得到A的导数。连续性保证局部平均高度趋向端点高度,因此A′(x)=。这不是说有限宽度的细条已经恰好等于矩形。
微积分基本定理把累积和变化率联系起来。若F′=f,则;任意原函数可相差常数。对于从0开始累积x²的函数,还需要,才得到³/3,而不是任意x³/3+C。
同心薄环用一个半径变量描述二维面积的分层。
有限薄环的矩形表示是近似;总误差要随分割细化趋于0。
高度乘宽度并累加,连续的圆周长函数给出可积的黎曼和。
直线2πr下从0到R的三角形面积为πR²。上下和夹逼提供极限控制。
带符号速度的积分是位移;总路程需使用|v|。
固定下限、可变上限定义一个新的函数,积分采用有向约定。
连续性给出,有限增量不等于无条件的矩形面积。
用真正的有限差商取极限,不把dA/dx再当作依赖dx的有限比值。
被积函数连续时A′=f。已知F′=f,还需初值确定常数。