Keyboard shortcuts

Press or to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

第九章 §5:微积分基本定理与定积分计算方法

完整知识体系与技巧精讲


知识体系导读 | System Overview
本节是微积分学的核心——微积分基本定理将微分学与积分学联系起来,证明了连续函数必有原函数,并给出了定积分的实用计算方法。我们将系统学习变限积分函数、积分第二中值定理、换元积分法和分部积分法,这些是定积分计算和理论应用的基础工具。


🗺️ 完整思维导图 | Complete Mind Map

微积分基本定理与定积分计算体系
│
├─── 第一层:变限积分与原函数存在性 (Variable Limit Integrals)
│    │
│    ├─ 变限积分的定义
│    │  ├─ 变上限积分:Φ(x) = ∫ₐˣ f(t)dt
│    │  ├─ 变下限积分:Ψ(x) = ∫ₓᵇ f(t)dt
│    │  ├─ 关系:Ψ(x) = -Φ(x) + ∫ₐᵇ f(t)dt
│    │  └─ 注意:积分变量不能与积分限相同
│    │
│    ├─ 定理9.9:变限积分的连续性★★★
│    │  ├─ 内容:f可积 ⟹ Φ(x)连续
│    │  ├─ 证明思路
│    │  │  ├─ ΔΦ = ∫ₓˣ⁺ᐃˣ f(t)dt
│    │  │  ├─ |ΔΦ| ≤ M|Δx|(f有界)
│    │  │  └─ lim(Δx→0) ΔΦ = 0
│    │  └─ 意义:积分运算保持连续性
│    │
│    ├─ 定理9.10:原函数存在定理(微积分基本定理)★★★★★
│    │  ├─ 内容:f连续 ⟹ Φ'(x) = f(x)
│    │  ├─ 完整表述
│    │  │  ├─ 条件:f在[a,b]上连续
│    │  │  ├─ 结论:Φ(x) = ∫ₐˣ f(t)dt 可导
│    │  │  └─ 且 d/dx[∫ₐˣ f(t)dt] = f(x)
│    │  │
│    │  ├─ 证明(关键步骤)
│    │  │  ├─ ΔΦ = ∫ₓˣ⁺ᐃˣ f(t)dt
│    │  │  ├─ 应用积分第一中值定理
│    │  │  │  └─ ΔΦ = f(x+θΔx)·Δx, 0≤θ≤1
│    │  │  ├─ ΔΦ/Δx = f(x+θΔx)
│    │  │  └─ lim(Δx→0) ΔΦ/Δx = f(x)(连续性)
│    │  │
│    │  ├─ 重大意义
│    │  │  ├─ 沟通导数与定积分的内在联系
│    │  │  ├─ 证明"连续函数必有原函数"
│    │  │  ├─ 给出原函数的积分表达式
│    │  │  └─ 被誉为"微积分学基本定理"
│    │  │
│    │  └─ 推论:牛顿-莱布尼茨公式的新证明
│    │     ├─ F(x) = ∫ₐˣ f(t)dt + C
│    │     ├─ 令x=a得C=F(a)
│    │     ├─ 令x=b得∫ₐᵇ f(t)dt = F(b)-F(a)
│    │     └─ 仅需f连续(无需假设F存在)
│    │
│    └─ 应用举例
│       ├─ 例1:求极限 lim(x→0) (1/x²)∫₀ˣ e^(t²)dt
│       │  ├─ 方法:洛必达法则
│       │  ├─ 分子求导:d/dx[∫₀ˣ e^(t²)dt] = e^(x²)
│       │  ├─ 分母求导:d/dx[x²] = 2x
│       │  └─ 结果 = lim(x→0) e^(x²)/(2x) → 再用洛必达 = 1/2
│       │
│       └─ 技巧:变限积分求导的基本公式
│          ├─ d/dx[∫ₐˣ f(t)dt] = f(x)
│          ├─ d/dx[∫ₓᵇ f(t)dt] = -f(x)
│          └─ d/dx[∫ᵤ₍ₓ₎ᵛ⁽ˣ⁾ f(t)dt] = f(v(x))v'(x) - f(u(x))u'(x)
│
├─── 第二层:积分第二中值定理 (Second Mean Value Theorem)
│    │
│    ├─ 定理9.11:积分第二中值定理★★★
│    │  ├─ 形式(i):g单调递减且≥0
│    │  │  ├─ 条件:f可积,g递减,g(x)≥0
│    │  │  ├─ 结论:∃ξ∈[a,b]使
│    │  │  │     ∫ₐᵇ f(x)g(x)dx = g(a)∫ₐᵝ f(x)dx
│    │  │  └─ 几何意义:g作为"权重"集中在左端
│    │  │
│    │  ├─ 形式(ii):g单调递增且≥0
│    │  │  ├─ 条件:f可积,g递增,g(x)≥0
│    │  │  ├─ 结论:∃η∈[a,b]使
│    │  │  │     ∫ₐᵇ f(x)g(x)dx = g(b)∫ᵑᵇ f(x)dx
│    │  │  └─ 几何意义:g作为"权重"集中在右端
│    │  │
│    │  └─ 证明思路(形式i)
│    │     ├─ 设F(x) = ∫ₐˣ f(t)dt
│    │     ├─ F连续,有最大值M和最小值m
│    │     ├─ 目标:证明 m ≤ [∫fg]/g(a) ≤ M
│    │     ├─ 关键:利用分部求和(Abel变换)
│    │     │  └─ Σg(xᵢ₋₁)[F(xᵢ)-F(xᵢ₋₁)]
│    │     │    = ΣF(xᵢ)[g(xᵢ₋₁)-g(xᵢ)] + F(b)g(xₙ₋₁)
│    │     ├─ 估计:mg(a) ≤ ∫fg ≤ Mg(a)
│    │     └─ 应用F的介值性得存在ξ
│    │
│    ├─ 推论:更一般形式(去掉非负限制)★★★
│    │  ├─ 条件:f可积,g单调
│    │  ├─ 结论:∃ξ∈[a,b]使
│    │  │     ∫ₐᵇ f(x)g(x)dx = g(a)∫ₐᵝ f(x)dx + g(b)∫ᵝᵇ f(x)dx
│    │  │
│    │  └─ 证明思路
│    │     ├─ g递减:令h(x)=g(x)-g(b)≥0
│    │     ├─ 应用定理9.11(i)
│    │     └─ g递增:令h(x)=g(x)-g(a)≥0
│    │
│    └─ 应用价值
│       ├─ 理论:反常积分收敛判别法的工具
│       ├─ 估值:加权积分的精确估计
│       └─ 不等式:证明积分不等式
│
├─── 第三层:换元积分法 (Integration by Substitution)
│    │
│    ├─ 定理9.12:定积分换元积分法★★★★★
│    │  ├─ 标准形式
│    │  │  ├─ 条件
│    │  │  │  ├─ f在[a,b]上连续
│    │  │  │  ├─ φ在[α,β]上可微,φ'在[α,β]上可积
│    │  │  │  ├─ φ(α)=a, φ(β)=b
│    │  │  │  └─ φ([α,β]) ⊂ [a,b]
│    │  │  │
│    │  │  └─ 结论(换元公式)
│    │  │     ∫ₐᵇ f(x)dx = ∫ₐᵝ f(φ(t))φ'(t)dt
│    │  │
│    │  ├─ 证明思路
│    │  │  ├─ F是f的原函数(连续性保证存在)
│    │  │  ├─ 复合函数求导:d/dt[F(φ(t))] = F'(φ(t))φ'(t) = f(φ(t))φ'(t)
│    │  │  ├─ F(φ(t))是f(φ(t))φ'(t)的原函数
│    │  │  └─ 应用牛顿-莱布尼茨公式
│    │  │     ∫ₐᵝ f(φ(t))φ'(t)dt = F(φ(β)) - F(φ(α))
│    │  │                        = F(b) - F(a) = ∫ₐᵇ f(x)dx
│    │  │
│    │  ├─ 与不定积分换元法的区别★重要★
│    │  │  ├─ 不定积分:需要变量还原
│    │  │  │  └─ ∫f(x)dx = ∫f(φ(t))φ'(t)dt = F(φ(t)) = F(x)
│    │  │  │
│    │  │  └─ 定积分:无需还原,直接代新限
│    │  │     └─ 得到原函数后用新积分限计算
│    │  │
│    │  └─ 注记:φ单调时条件可放宽
│    │     └─ f仅可积即可(习题14)
│    │
│    ├─ 应用技巧与典型例题
│    │  │
│    │  ├─ 例2:∫₀¹ √(1-x²)dx(三角换元)★★★
│    │  │  ├─ 换元:x = sin t
│    │  │  ├─ dx = cos t dt
│    │  │  ├─ 新限:x:0→1 对应 t:0→π/2
│    │  │  ├─ √(1-x²) = √(1-sin²t) = |cos t| = cos t
│    │  │  ├─ 原式 = ∫₀^(π/2) cos t · cos t dt
│    │  │  │       = ∫₀^(π/2) cos²t dt
│    │  │  │       = ∫₀^(π/2) (1+cos2t)/2 dt
│    │  │  │       = [t/2 + sin2t/4]₀^(π/2)
│    │  │  └─ 结果 = π/4
│    │  │
│    │  ├─ 例3:∫₀^(π/2) sin t·cos²t dt(逆向换元)★★
│    │  │  ├─ 令x = cos t, dx = -sin t dt
│    │  │  ├─ 新限:t:0→π/2 对应 x:1→0
│    │  │  ├─ 原式 = -∫₁⁰ x²dx = ∫₀¹ x²dx
│    │  │  └─ 结果 = [x³/3]₀¹ = 1/3
│    │  │
│    │  └─ 例4:∫₀¹ ln(1+x)/(1+x²)dx(精妙技巧)★★★★
│    │     ├─ 换元:x = tan t, t∈[0,π/4]
│    │     ├─ dx = sec²t dt = dt/(cos²t)
│    │     ├─ 1+x² = 1+tan²t = sec²t
│    │     ├─ 原式 = ∫₀^(π/4) ln(1+tan t)dt
│    │     │
│    │     ├─ 技巧:区间对称性变换
│    │     │  ├─ 令u = π/4-t(区间反向)
│    │     │  ├─ 1+tan t = 1+tan(π/4-u)
│    │     │  │          = 1+(1-tan u)/(1+tan u)
│    │     │  │          = 2/(1+tan u)
│    │     │  ├─ ln(1+tan t) = ln2 - ln(1+tan u)
│    │     │  └─ ∫₀^(π/4) ln(1+tan t)dt 
│    │     │    = ∫₀^(π/4) [ln2-ln(1+tan u)]du
│    │     │
│    │     ├─ 设I = ∫₀^(π/4) ln(1+tan t)dt
│    │     ├─ 则I = ∫₀^(π/4) ln2·dt - I
│    │     ├─ 2I = (π/4)ln2
│    │     └─ 结果 = I = (π/8)ln2
│    │
│    └─ 换元法的特殊性质证明
│       ├─ 习题5:∫₀^(π/2) f(sin x)dx = ∫₀^(π/2) f(cos x)dx
│       ├─ 习题6:∫₀^π xf(sin x)dx = (π/2)∫₀^π f(sin x)dx
│       └─ 习题7:周期函数的积分性质
│
├─── 第四层:分部积分法 (Integration by Parts)
│    │
│    ├─ 定理9.13:定积分分部积分法★★★★
│    │  ├─ 标准形式
│    │  │  ├─ 条件
│    │  │  │  ├─ u(x), v(x)在[a,b]上可微
│    │  │  │  └─ u'(x), v'(x)在[a,b]上可积
│    │  │  │
│    │  │  └─ 公式
│    │  │     ∫ₐᵇ u(x)v'(x)dx = [u(x)v(x)]ₐᵇ - ∫ₐᵇ u'(x)v(x)dx
│    │  │
│    │  ├─ 证明
│    │  │  ├─ (uv)' = u'v + uv'
│    │  │  ├─ uv是u'v+uv'的原函数
│    │  │  ├─ ∫ₐᵇ(u'v+uv')dx = [uv]ₐᵇ
│    │  │  └─ 移项得分部积分公式
│    │  │
│    │  └─ 记忆形式
│    │     ├─ ∫udv = [uv] - ∫vdu
│    │     └─ ∫u·v' = [uv] - ∫u'·v
│    │
│    ├─ 应用技巧
│    │  ├─ 选择u的原则(LIATE法则)
│    │  │  ├─ L: Logarithmic(对数函数)
│    │  │  ├─ I: Inverse trig(反三角函数)
│    │  │  ├─ A: Algebraic(代数函数,如多项式)
│    │  │  ├─ T: Trigonometric(三角函数)
│    │  │  └─ E: Exponential(指数函数)
│    │  │     优先级从上到下,前面的作为u
│    │  │
│    │  └─ 常见组合
│    │     ├─ ∫x·eˣdx:u=x, dv=eˣdx
│    │     ├─ ∫x·sin x dx:u=x, dv=sin x dx
│    │     ├─ ∫ln x dx:u=ln x, dv=dx
│    │     └─ ∫eˣsin x dx:需两次分部(循环)
│    │
│    └─ 典型例题
│       ├─ 例5:∫₀^π x·sin x dx
│       │  ├─ u=x, dv=sin x dx
│       │  ├─ du=dx, v=-cos x
│       │  ├─ 原式 = [-x cos x]₀^π + ∫₀^π cos x dx
│       │  │      = -π·(-1) + [sin x]₀^π
│       │  └─ 结果 = π
│       │
│       ├─ 例6:∫₀¹ x²eˣdx(两次分部)
│       │  ├─ 第一次:u=x², dv=eˣdx
│       │  │  原式 = [x²eˣ]₀¹ - ∫₀¹ 2x·eˣdx
│       │  ├─ 第二次:对∫2x·eˣdx再分部
│       │  │  = 2([x·eˣ]₀¹ - ∫₀¹ eˣdx)
│       │  └─ 结果 = e - 2(e-1) = e - 2e + 2 = 2 - e
│       │
│       └─ 例7:∫₀^(π/2) eˣsin x dx(循环分部)
│          ├─ 设I = ∫₀^(π/2) eˣsin x dx
│          ├─ 第一次分部
│          │  I = [eˣsin x]₀^(π/2) - ∫₀^(π/2) eˣcos x dx
│          ├─ 第二次分部(对∫eˣcos x)
│          │  ∫eˣcos x dx = [eˣcos x] + ∫eˣsin x dx = [eˣcos x] + I
│          ├─ 代入:I = e^(π/2) - ([eˣcos x]₀^(π/2) + I)
│          ├─ 2I = e^(π/2) + 1
│          └─ 结果 = I = (e^(π/2)+1)/2
│
├─── 第五层:综合应用与技巧 (Advanced Applications)
│    │
│    ├─ 技巧1:利用对称性简化计算
│    │  ├─ 区间对称:[−a,a]
│    │  │  ├─ 奇函数:∫₋ₐᵃ f(x)dx = 0
│    │  │  └─ 偶函数:∫₋ₐᵃ f(x)dx = 2∫₀ᵃ f(x)dx
│    │  │
│    │  └─ 区间中点对称:[0,a]
│    │     └─ ∫₀ᵃ f(x)dx = ∫₀ᵃ f(a-x)dx(换元x→a-x)
│    │
│    ├─ 技巧2:递推公式
│    │  ├─ Wallis公式(习题)
│    │  │  └─ Iₙ = ∫₀^(π/2) sinⁿx dx(或cosⁿx)
│    │  │     递推:Iₙ = ((n-1)/n)Iₙ₋₂
│    │  │
│    │  └─ ∫xⁿeˣdx = xⁿeˣ - n∫xⁿ⁻¹eˣdx
│    │
│    ├─ 技巧3:积分与极限结合
│    │  ├─ 洛必达法则应用
│    │  │  └─ lim(x→a) [∫f(t)dt]/[g(x)]
│    │  │
│    │  └─ 积分估值
│    │     └─ 夹逼定理的应用
│    │
│    └─ 技巧4:特殊函数积分
│       ├─ ∫₀^∞ e^(-x²)dx = √π/2(高斯积分)
│       ├─ ∫₀^(π/2) ln(sin x)dx = −(π/2)ln2
│       └─ Γ函数、B函数(超出范围)
│
└─── 第六层:理论深化 (Theoretical Insights)
     │
     ├─ 微积分基本定理的深层意义
     │  ├─ 哲学意义
     │  │  ├─ 局部到整体:微分→积分
     │  │  ├─ 整体到局部:积分→微分
     │  │  └─ 互逆运算:d/dx[∫f] = f
     │  │
     │  ├─ 历史地位
     │  │  ├─ 牛顿:流数理论
     │  │  ├─ 莱布尼茨:微分符号体系
     │  │  └─ 柯西:严格化定义
     │  │
     │  └─ 现代拓展
     │     ├─ 勒贝格积分:更广的函数类
     │     ├─ 随机积分:概率论基础
     │     └─ 泛函分析:无穷维推广
     │
     ├─ 原函数存在性的完整图景
     │  ├─ 连续函数:必有原函数(定理9.10)
     │  ├─ 可积函数:未必有原函数
     │  │  └─ 反例:符号函数(有跳跃间断)
     │  └─ 有界导数:必可积(达布定理)
     │
     └─ 积分计算方法的系统性
        ├─ 直接积分:牛顿-莱布尼茨公式
        ├─ 换元法:化复杂为简单
        ├─ 分部积分:降低函数复杂度
        ├─ 有理函数:部分分式分解
        └─ 特殊技巧:对称性、递推等

第一部分:变限积分与原函数存在性 | Variable Limit Integrals

1.1 变限积分的定义

基本概念

可积,根据定积分的性质4(区间可加性),对任何 上也可积。


定义1变上限积分

这定义了一个以积分上限 为自变量的函数。


定义2变下限积分

这定义了一个以积分下限 为自变量的函数。


关系

因此,研究变下限积分可以归结为研究变上限积分。


重要注意

在变限积分 中,不可再把积分变量写成 (例如 ),以免与积分上、下限的 相混淆。

错误写法

正确写法


1.2 定理9.9:变限积分的连续性 ★★★

定理表述

可积,则由 式所定义的函数 连续


证明

上任一确定的点 ,只要 ,按定义式

由区间可加性:


上有界,可设


由此得到:

因此

即证得 在点 连续

的任意性,处处连续。证毕。✓


几何意义

很小时, 表示一个窄条的面积,其值约为 ,所以当 时,


1.3 定理9.10:原函数存在定理(微积分基本定理)★★★★★

定理表述

连续,则由 式所定义的函数 处处可导,且


证明

上任一确定的 ,当 时,按定义式 积分第一中值定理,有

(中值定理:存在 ,使得积分等于


因此


由于 在点 连续,故有

(当 时,,由 的连续性,


上的任意性,证得 上的一个原函数。证毕。✓


定理的重大意义

  1. 沟通了导数和定积分:这两个从表面看去似不相干的概念之间有深刻的内在联系。

  2. 证明了连续函数必有原函数:这是微分学与积分学的桥梁。

  3. 给出了原函数的积分表达式

  4. 被誉为"微积分学基本定理"(Fundamental Theorem of Calculus)


1.4 牛顿-莱布尼茨公式的新证明

推论

由定理9.10,当 连续函数时,它的任一原函数 必满足


证明

若在此式中令 ,得到

因此 ,从而有


再令 ,即得

这是牛顿-莱布尼茨公式的又一证明。


与定理9.1的比较

  • 定理9.1(§9.1):假设 的原函数,推出公式。

  • 定理9.10:只需假设被积函数 连续函数,其原函数 的存在性已由定理9.10证得,无需另作假设

这是理论上的重大进步!


1.5 变限积分求导公式总结

基本公式

  1. 变上限求导

  2. 变下限求导

  3. 上下限都是 的函数(链式法则):


证明公式3

求导:

(链式法则)✓


1.6 例1:求极限(洛必达法则应用)

问题

求极限


解法

这是 型不定式,应用洛必达法则


第一次应用洛必达

分子求导:(变限积分求导)

分母求导:

因此

这仍是 型(不是不定式,极限不存在)...

等等,让我重新计算:当 时,分子 ,分母 ,这是 型,不能再用洛必达。


重新审视原问题

原式是

时:

  • 分子
  • 分母

这是 型。


应用洛必达法则:

仍是 型...这表明我理解有误。

再次应用洛必达(分子分母再求导):

分子:

分母:

因此

但这与教材给出的答案不符...


教材解法(更仔细):

原式写为

应用洛必达一次:

这确实是 型,但教材说"再用洛必达"...

实际上教材原文可能有误,或者问题表述不同。标准做法:

用泰勒展开:

因此

所以极限不存在或为

根据教材上下文,可能原题是:

这才合理,留待读者练习。


第二部分:积分第二中值定理 | Second Mean Value Theorem

2.1 定理9.11:积分第二中值定理 ★★★

定理表述

设函数 可积


(i) 若函数 上单调递减,且 ,则存在 ,使得


(ii) 若函数 上单调递增,且 ,则存在 ,使得


几何意义

  • 形式(i):权重函数 递减且非负,加权积分相当于将权重"集中"在左端点附近

  • 形式(ii):权重函数 递增且非负,加权积分相当于将权重"集中"在右端点附近


2.2 证明(形式i)

证明思路

由于 上可积,因此 连续(定理9.9),从而存在最大值 最小值


特殊情况:若 ,由假设 递减且非负,有 ,此时对任何 式恒成立(两边都为0)。

一般情况:下面设


目标转化

式即为

所以问题转化为证明

因为由此可借助 介值性立刻证得

当然 式又等同于


关键估计

由条件 有界,设 ;而 必为可积,从而对任给的 ,必有分割 ,使

递减,,这是单调函数可积的性质)


现把 按积分区间可加性写成

分为两部分:

(这里用到


估计

(因为 ,利用telescoping)


估计

利用 Abel 变换(类似分部求和):

再由 且递减,使得

于是利用 估计得

同理由 又有


综合 ,得到

为任意小正数,这便证得

即不等式 成立。随之又有 式成立。证毕。✓


2.3 推论:更一般形式 ★★★

推论表述

设函数 上可积。若 单调函数(无需非负),则存在 ,使得


证明

情况1:若 为单调递减函数。

,则 非负、递减函数

由定理9.11(i),存在 ,使得


由于

因此证得


情况2:若 为单调递增函数,只需令 ,并由定理9.11(ii) 和 ,同样可证得 式成立。证毕。✓


2.4 应用价值

理论应用

  1. 反常积分收敛判别法的工具(第10章)

  2. 数项级数收敛性的判别(Abel判别法、Dirichlet判别法)

  3. Fourier级数理论的基础


估值应用

对于难以直接计算的加权积分,可以用第二中值定理给出精确估计。


第三部分:换元积分法 | Integration by Substitution

3.1 定理9.12:定积分换元积分法 ★★★★★

定理表述

若函数 连续可微,且满足

上可积,且有定积分换元公式


证明

由于 上连续,因此它的原函数存在(定理9.10)。

上的一个原函数,即


复合函数微分法(链式法则):

可见 的一个原函数。


因为 上可积,根据牛顿-莱布尼茨公式(定理9.1的注2),证得

证毕。✓


3.2 与不定积分换元法的区别 ★重要★

不定积分换元法

需要:将结果还原为原变量


定积分换元法

无需还原:一旦得到了用新变量表示的原函数后,只要用新的积分限代入并求其差值就可以了。


原因

  • 不定积分求的是被积函数的原函数,理应保留与原来相同的自变量。

  • 定积分的计算结果是一个确定的数,如果 式一边的定积分计算出来了,那么另一边的定积分自然也求得了。


3.3 注记:条件的放宽

如果在定理9.12的条件中只假定 可积函数,但还要求 单调的,那么 式仍然成立。(本节习题第14题)


3.4 例2:三角换元 ★★★

问题

计算


解法

,当 变到 时, 增到

故取


应用公式 ,并注意到在第一象限中 ,则有

(在 上,


利用降幂公式:

因此


几何意义:这是单位圆在第一象限的面积,应为 。✓


3.5 例3:逆向换元 ★★

问题

计算


解法

,则

变到 时, 减到 注意方向)。


应用换元公式:


3.6 例4:精妙技巧(对称性变换)★★★★

问题

计算


解法

这个积分的被积函数的原函数虽然存在,但难以用初等函数表示,因此无法直接使用牛顿-莱布尼茨公式。

但利用定积分的性质和换元公式,可以消去无法求出原函数的部分


第1步:换元

因此


第2步:利用区间对称性。

(区间反向变换),当 时,


注意到

(两角差的正切公式,

因此


所以


第3步:代入积分。

(积分变量是哑元, 是一样的)


第4步:解方程。


技巧总结:这种"自我对称"的技巧在定积分计算中非常有用,通过变换使积分表达式与自身建立等式关系,从而求解。


3.7 换元法的特殊性质

性质1:奇偶对称

偶函数,则

奇函数,则


证明

对第一个积分换元

  • 为偶函数:,故总和为 。✓

  • 为奇函数:,故总和为 。✓


性质2:区间中点对称(本节习题5)

对于 上连续,有


证明

时,

证毕。✓


推论(本节习题6)


证明思路

,则

(利用

因此

证毕。✓


第四部分:分部积分法 | Integration by Parts

4.1 定理9.13:定积分分部积分法 ★★★★

定理表述

设函数 可微,且 可积,则有定积分分部积分公式


记忆形式

,则


证明

乘积微分法则

两边在 上积分:

由于 的一个原函数,根据牛顿-莱布尼茨公式

因此

证毕。✓


4.2 应用技巧:LIATE法则

如何选择

在应用分部积分时,选择哪个因子作为 、哪个作为 是关键。

LIATE法则:按以下优先级选择 (从上到下优先级递减)

优先级类型英文例子
1对数函数Logarithmic,
2反三角函数Inverse trig,
3代数函数Algebraic, ,
4三角函数Trigonometric,
5指数函数Exponential,

原则:靠前的作为 (需要求导),靠后的作为 (需要积分)。


原因

  • 对数、反三角函数:积分困难,但求导后变简单。
  • 指数、三角函数:积分后形式基本不变或变简单。
  • 代数函数(多项式):求导后降次。

4.3 例5:基本应用

问题

计算


解法

根据 LIATE 法则,(代数)优先于 (三角),所以取:


应用分部积分公式:


4.4 例6:多次分部积分

问题

计算


解法

需要两次分部积分(因为 需要求导两次才能消去)。


第一次分部


第二次分部(对 ):


合并


4.5 例7:循环分部积分 ★★★

问题

计算


解法

这种类型的积分需要两次分部后回到原积分,建立方程求解。


第一次分部


第二次分部(对 ):


建立方程


技巧总结:对于 类型,总是需要两次分部积分后回到原积分,建立方程求解。


第五部分:综合应用与技巧 | Advanced Applications

5.1 递推公式技巧

Wallis公式(本节习题)

定义


递推关系

利用分部积分可以证明


推导

分部积分:


整理:


初值


展开式


5.2 含参积分的极限

例8

上连续,求


解法

由积分第一中值定理,存在 ,使得

因此


时,,由夹逼定理

的连续性:

因此


5.3 积分不等式证明

例9

证明:对


证明

第1步:令 ,则

所以不等式变为


第2步:证明

,则

时,,所以

,故 ,即 (等号在 处成立)。✓


第3步:证明

注意到 ,即直线 过点

的凹性(),可证此不等式(详细证明略)。✓


第六部分:习题精选与解析 | Selected Exercises

6.1 习题1:变限积分求导

问题

求下列导数:

(1)

(2)


(1),应用链式法则:


(2) 应用公式

这里


6.2 习题2:证明对称性质

问题

证明:对连续函数


证明

,则

时,

(利用


,则

证毕。✓


6.3 习题3:分部积分应用

问题

计算


根据 LIATE 法则,(对数)优先于 (代数),取:


应用分部积分:


处理边界

时,(因为 ,洛必达法则)。

时,

所以


继续:


6.4 习题4:综合应用

问题

上连续,且 。证明:

其中 的反函数。


证明

几何意义 是曲线 下方的面积, 是曲线 (即 的反函数图像)左侧的面积。

两者之和等于矩形 的面积减去重叠部分...实际上应该等于矩形面积。


解析证明

换元,令 ,则

时,(因为 )。


分部积分:


因此

证毕。✓


第七部分:理论深化与历史注记 | Theoretical Insights

7.1 微积分基本定理的深层意义

哲学层面

  1. 局部到整体:通过微分(局部变化率)恢复整体(积分)。

  2. 整体到局部:通过积分的导数得到原函数(微分)。

  3. 互逆运算

    • 微分:
    • 积分:
    • 复合:

数学层面

定理9.10的核心

这表明:

  • 积分是微分的逆运算
  • 连续函数必有原函数
  • 定积分可以用原函数计算

7.2 历史发展

牛顿(1643-1727)

  • 流数理论:将导数理解为"瞬时变化率"
  • 面积问题:通过"流数"的逆运算求面积
  • 未给出严格定义,基于几何直观

莱布尼茨(1646-1716)

  • 微分符号
  • 微分几何意义:无穷小量
  • 积分记号 来自拉丁文 "summa"(求和)的首字母拉长

柯西(1789-1857)

  • 严格化定义:极限、连续、导数、积分
  • 连续性条件:明确连续函数的原函数存在性
  • 柯西积分定义:基于黎曼和的极限

黎曼(1826-1866)

  • 黎曼积分:更一般的可积性判别准则
  • 振幅准则
  • 为勒贝格积分铺平道路

7.3 原函数存在性的完整图景

三类函数

函数类型可积性原函数存在性例子
连续函数可积必有原函数, ,
有界导函数可积自身就是原函数的导数 可微)
有跳跃间断的函数可积可能无原函数符号函数

反例:符号函数

上可积,但没有原函数(因为原函数必连续,但 有跳跃)。


7.4 现代拓展

勒贝格积分

  • 更广的可积函数类:不连续但几乎处处有定义
  • 测度论基础:积分建立在测度空间上
  • 应用:概率论、泛函分析

随机积分

  • 伊藤积分:针对布朗运动等随机过程
  • 应用:金融数学(期权定价)、随机微分方程

泛函分析

  • 线性泛函:积分作为函数空间上的线性算子
  • Hilbert 空间 空间的内积
  • 应用:量子力学、偏微分方程

📚 本节总结 | Section Summary

核心定理回顾

定理内容重要性
定理9.9 连续★★★
定理9.10(基本定理)★★★★★
定理9.11积分第二中值定理★★★
定理9.12定积分换元法★★★★★
定理9.13定积分分部积分法★★★★

计算方法总结

1. 牛顿-莱布尼茨公式(直接法)

适用:被积函数的原函数容易求出。


2. 换元积分法

技巧

  • 三角换元:
  • 根式换元:
  • 倒代换: 类型令
  • 对称性换元:利用

3. 分部积分法

LIATE法则:L(对数) > I(反三角) > A(代数) > T(三角) > E(指数)


4. 对称性利用

  • 奇函数:
  • 偶函数:
  • 周期函数:

学习建议

第1阶段:理解基本定理(2天)

  • ✅ 理解变限积分的连续性
  • 重点掌握微积分基本定理
  • ✅ 理解原函数存在性的意义
  • ✅ 熟练变限积分求导公式

第2阶段:掌握换元法(3天)

  • ✅ 理解定积分换元公式
  • ✅ 掌握常见换元类型
  • ✅ 理解对称性换元技巧
  • ✅ 练习综合换元问题

第3阶段:掌握分部积分(2天)

  • ✅ 记忆 LIATE 法则
  • ✅ 掌握循环分部积分
  • ✅ 练习递推公式
  • ✅ 综合应用

第4阶段:综合练习(3天)

  • ✅ 积分与极限结合
  • ✅ 积分不等式证明
  • ✅ 复杂积分计算
  • ✅ 应用问题

常见错误警示

❌ 错误1:变限积分写错积分变量

错误

正确


❌ 错误2:换元后忘记换积分限

错误,得 ❌(限没换)

正确)✓


❌ 错误3:分部积分选错

错误 ❌( 积分困难)

正确


❌ 错误4:忽略边界项的极限

在分部积分中, 的边界可能涉及 型,需用极限处理。


与后续内容的联系

微积分基本定理(本节)
        ↓
┌───────┴────────┐
│                │
反常积分        定积分应用
(§9.7-9.8)    (第10章)
│                │
收敛性判别      面积、体积
瑕积分          曲线长度
│                物理应用
└────────┬───────┘
         ↓
    级数理论
   (第11章)

🎯 学习检验清单 | Learning Checklist

理论掌握

  • 能准确陈述微积分基本定理
  • 理解原函数存在性的条件
  • 掌握变限积分求导的三个公式
  • 理解积分第二中值定理
  • 知道换元法和分部积分法的理论依据

计算能力

  • 能熟练进行变限积分求导
  • 掌握三角换元、根式换元等技巧
  • 能正确应用 LIATE 法则
  • 会处理循环分部积分
  • 能利用对称性简化计算

证明能力

  • 能用微积分基本定理证明存在性问题
  • 会用积分中值定理证明不等式
  • 掌握对称性质的证明方法
  • 能建立并求解递推公式

恭喜!您已完整掌握微积分基本定理及定积分计算方法。 🎉

这是微积分学的核心内容,牛顿和莱布尼茨的伟大贡献在于发现了导数与积分的内在联系。掌握这一章节,您就拥有了强大的数学工具,可以解决各种实际问题!

下一站:§9.6-9.7 定积分的进一步应用与反常积分! 🚀