以下通过微积分基本定理引例的三类典型例题,展示其计算威力与逻辑自洽性。每道题均提供解析解、数值逼近与几何意义三重验证。
例1:计算 ∫14 x² dx
步骤1:找原函数
f(x) = x² 的原函数为 F(x) = x³/3(因 (x³/3)′ = x²)
步骤2:应用定理
∫14 x² dx = F(4) − F(1) = (64/3) − (1/3) = 63/3 = 21
数值验证(黎曼和逼近)
取n=6等分,Δx = (4−1)/6 = 0.5
取右端点:xᵢ = 1.5, 2.0, ..., 4.0
Σ f(xᵢ)Δx = [ (1.5)² + 2² + ... + 4² ] × 0.5 ≈ 21.375
当n→∞时,逼近值收敛至21
几何意义
y=x²在[1,4]下的面积 = 21,而梯形法、辛普森法等数值积分方法均验证此值。
例2:计算 ∫0π sin x dx
步骤1:找原函数
f(x) = sin x 的原函数为 F(x) = −cos x(因 (−cos x)′ = sin x)
步骤2:应用定理
∫0π sin x dx = F(π) − F(0) = (−cosπ) − (−cos0) = −(−1) − (−1) = 1 + 1 = 2
数值验证(中点法则)
n=4等分,Δx = π/4 ≈ 0.7854
中点:x₁=π/8, x₂=3π/8, x₃=5π/8, x₄=7π/8
Σ sin(xᵢ)Δx ≈ [sin(0.3927)+sin(1.1781)+sin(1.9635)+sin(2.7489)]×0.7854
≈ [0.3827+0.9239+0.9239+0.3827]×0.7854 ≈ 2.000(保留4位小数)
物理意义
若v(t)=sin t为速度函数,则∫0π v(t)dt = 2 表示物体在[0,π]秒内位移为2单位。
例3:分段函数 ∫03 f(x)dx,其中
f(x) = { x, 0≤x≤1
{ 2, 1
关键策略:区间可加性
∫03 f(x)dx = ∫01 x dx + ∫13 2 dx
第一部分:∫01 x dx = [x²/2]01 = 1/2 − 0 = 0.5
第二部分:∫13 2 dx = [2x]13 = 6 − 2 = 4
总和:0.5 + 4 = 4.5
几何验证
第一部分:y=x在[0,1]下为直角三角形,面积 = ½×1×1 = 0.5
第二部分:y=2在[1,3]下为矩形,面积 = 2×2 = 4
总面积 = 4.5,与解析解一致
重要启示
即使函数不连续,只要分段连续,仍可应用微积分基本定理引例。但需注意:整体函数可能无原函数(如本例在x=1处不可导),此时必须分段计算。