证明 / 推导以曲边梯形的面积为例。面积函数为 A(x)=∫axf(t)dt,其真实的增量为 ΔA=A(x+dx)−A(x)=∫xx+dxf(t)dt。由积分中值定理得 ΔA=f(ξ)dx(ξ∈[x,x+dx])。而所取的微元为 dA=f(x)dx,二者之差为 ΔA−dA=(f(ξ)−f(x))dx. 当 f 连续时 f(ξ)−f(x)→0,故这个差是 o(dx)。作积分(即对所有小段求和再取极限)时,o(dx) 这一级的误差被抹去,因此 A=∫abf(x)dx 精确成立。■举例说明已知平行截面面积求体积是微元法的直接推广:若立体在 x 处垂直于 x 轴的截面面积为 A(x),则 V=∫abA(x)dx。例如,设立体的底面是半径为 R 的圆,而垂直于某一直径的各个截面都是等边三角形。在 x 处截面的边长为 2R2−x2,等边三角形的面积为 A(x)=43(2R2−x2)2=3(R2−x2),故 V=∫−RR3(R2−x2)dx=3⋅34R3=343R3.
2. 旋转体的体积:圆盘法、垫圈法与柱壳法,按旋转轴选用,也适用于非坐标轴★★ 必会
计算旋转体的体积时,按绕哪条轴旋转、内部是否有空腔选用公式:圆盘法(绕 x 轴,实心)V=π∫y2dx;垫圈法(绕 x 轴,空心)V=π∫(R2−r2)dx,式中是两个半径的平方之差,不是二者之差的平方;柱壳法(绕 y 轴)V=2π∫xydx,即把竖条卷成薄壳。若绕非坐标轴(如 x=c、y=c)旋转,只需把半径写成点到该轴的距离,再代入同一公式。
证明 / 推导柱壳法微元的推导:绕 y 轴旋转时,在 x 处取宽为 dx、高为 y 的竖条,它绕轴旋转一周得到一个薄圆筒。把这个薄圆筒剪开摊平,便是一块薄板,其长 = 圆筒的周长 2πx,宽 = 竖条的高 y,厚 =dx,故体积微元为 dV=2πx⋅y⋅dx. 积分即得 V=2π∫abxydx。■举例说明求由 y=x2、y=0、x=1 所围区域绕直线 x=1(它不是坐标轴)旋转所得旋转体的体积。用柱壳法,点到轴 x=1 的距离即为半径 =(1−x),竖条的高为 y=x2,于是 V=2π∫01(1−x)x2dx=2π∫01(x2−x3)dx=2π(31−41)=6π.