微积分BC第8次正课 - 反导、FTC、变上限积分与换元

Reading Guide / 阅读说明

本课承接 微积分BC第7次正课-导数图像优化与定积分入门。第 7 课回答“定积分从哪里来”,本课回答三个更进一步的问题:

How do we compute a definite integral?
-> find an antiderivative and evaluate endpoints
 
What happens when the upper bound moves?
-> the integral becomes an accumulation function
 
How do we integrate a disguised chain-rule pattern?
-> use u-substitution

本笔记保留课堂的计算路线、例题和变上限积分直觉;考试年份、题号、计算器按键、课堂管理和人物轶事不作为知识主线保留。

Reading Rule / 读法约定

  • 看到没有 bounds 的积分,先问:Whose derivative is the integrand?
  • 看到 definite integral,先找 antiderivative,再做 upper minus lower。
  • 看到 ,把整个积分看成关于 的 function。
  • 看到 composite expression 与其 derivative factor 同时出现,尝试 U-Substitution
  • 每次积分后用 differentiation 做反向检查。

1. One-Sentence Mainline / 一句话主线

An antiderivative reverses differentiation, the Fundamental Theorem turns accumulated change into endpoint change, and substitution reverses the Chain Rule.

反导逆转求导,微积分基本定理把连续累积压缩成端点变化,而换元法逆转链式法则。

2. Class Flow / 课堂脉络

  1. 补齐 definite-integral properties。
  2. 用 even/odd Symmetry 简化对称区间积分。
  3. 定义 Antiderivative 与 indefinite integral。
  4. 解释为什么必须写 ,以及 initial condition 如何确定
  5. 建立常用 antiderivative table。
  6. 用 FTC Part 2 计算 definite integrals。
  7. 用 velocity-position 解释 net change。
  8. 把 moving upper bound 变成 Accumulation Function
  9. 用 FTC Part 1 与 Chain Rule 对积分函数求导。
  10. U-Substitution 识别并还原 composite derivative pattern。

Part A - Definite-Integral Properties / 定积分性质

3. Property Toolkit / 性质工具箱

Orientation

Zero-width interval

Constant multiple and linearity

Interval additivity

Integral of a constant

它是 width 乘 constant height ;若 bounds 反向,width 的 orientation 自动使结果取负。

4. Rearranging Known Integrals / 利用区间关系拼接

已知

先反转第二个:

再用 interval additivity:

因此

做这类题时先在 number line 上排好 endpoints,再决定相加、相减或反向。

5. Even and Odd Symmetry / 奇偶对称

Even function

表示 -axis symmetry。在 symmetric interval 上:

Odd function

表示 origin symmetry。对称的 signed contributions 抵消:

这两条都要求 interval 对称。如果区间不是 ,不能直接使用。

Mixed example

为 odd function,则

这里不是“整个 integrand 是 odd”,而是先用 linearity 分开,再分别利用 odd symmetry 与 constant-area rule。


Part B - Antiderivatives / 反导与不定积分

6. Definition / 定义

的一个 Antiderivative

所有 antiderivatives 构成一族:

An indefinite integral asks for a family of functions, not one numerical area.

不定积分要求的是一族原函数,不是一个数值面积。

7. Why Plus C Is Necessary / 为什么必须加常数

因为 constant 的 derivative 是

例如

的 derivative 都是 。几何上,它们是互相 vertical shifts 的曲线族。

若题目只说“find an antiderivative”,给出其中一个即可;若写完整 indefinite integral,必须保留

8. Antiderivative Table / 常用反导表

每一条都应该能通过 differentiation 验证。

Power and logarithm

For ,

特殊情况 不能套 power rule:

绝对值同时覆盖 的 domain intervals。

Exponential

Trigonometric

Inverse trigonometric patterns

9. Reverse-Derivative Check / 反向验算

当积分不熟时,不必凭感觉相信答案。对 candidate 求导:

这是一条稳定的自检规则:

integrate
-> differentiate the result
-> simplify
-> recover the original integrand

10. Initial Condition Selects One Function / 初始条件选出具体函数

已知

先反导:

代入 condition:

所以

这正是 Initial Conditions 的作用:导数给出所有可能的 vertical shifts,附加一个 function value 选出其中唯一一条。

Second example

,因此


Part C - Fundamental Theorem of Calculus / 微积分基本定理

11. FTC Part 2: Compute Accumulation From Endpoints / 用端点计算累积

,则

课堂称它为 Newton-Leibniz formula;在标准 calculus 语言里,它是 Fundamental Theorem of Calculus Part 2。

Find an antiderivative first; substitute the upper bound second; subtract the lower-bound value last.

先找原函数,再代上限,最后减去代入下限的值。

12. Basic FTC Examples / 基础例题

Example 1: Basic Power Integral

definite integral 的最终答案不写 ,因为同一个 constant 在 中抵消。

Example 2: Negative Lower Bound

所以

代 negative lower bound 时必须给整个 加括号。

13. Net Change Interpretation / 净变化解释

若 position 为 、velocity 为 ,则

左边是 velocity 的 signed accumulation,右边是 position endpoint difference。它表示 displacement / 位移,不是总路程。

若要求 total distance,则要处理 velocity sign:

这说明 FTC 的核心不是“神奇地算面积”,而是:

Accumulating a rate over an interval produces the net change of the quantity whose derivative is that rate.

在一个区间上累积变化率,得到相应总量的净变化。

14. Abstract FTC Example / 抽象形式

已知

由 FTC:

因此

不需要知道 的具体 formula;只需识别“derivative 的 integral = original function 的 endpoint change”。

15. Numerical Definite Integrals / 数值定积分

有些 integrands 没有 elementary antiderivative,或者手算超出当前工具范围。这不代表 definite integral 不存在。

此时应区分:

  • symbolic antiderivative 是否能用当前方法找到;
  • definite integral 是否可由 numerical method / calculator 近似。

若已知 ,可以用

重建 。计算器只负责近似左侧定积分,结构仍由 FTC 提供。


Part D - Accumulation Functions / 变上限积分函数

16. A Moving Bound Creates a Function / 上限移动后积分成为函数

定义

固定, 移动。每个 input 对应从 的一个 signed accumulation,因此 不再是固定数,而是 Accumulation Function

integration variable 写成 ,是为了不让 dummy variable 与外部 input 混淆。

Function values

特别地,

17. FTC Part 1: Differentiate Accumulation / 对累计函数求导

continuous,则

为什么?当 upper bound 从 增加到 ,新增累积近似为

所以 accumulated total 每单位 的瞬时增长率就是当前高度

这不是只靠“积分与求导符号抵消”的形式规则;它表达的是 local added area / local added accumulation。

18. Tangent-Line Example / 积分函数的切线

处:

切线为

这里再次出现旧流程:point 来自 function value,slope 来自 derivative。

19. Increasing and Decreasing an Accumulation Function / 判断累计函数升降

因此:

读图时不要先费力估算累积面积。题目问 increasing,就先翻译成 ,再用 FTC 得 ,最后只看 given graph 在哪里 above the axis。

20. Composite Upper Bounds / 复合上限

则 FTC Part 1 与 Chain Rule 合并:

Substitute the upper-bound expression into the integrand, then multiply by the derivative of the upper bound.

把上限表达式代入 integrand,再乘以上限的导数。

Example 1: Upper Bound

Example 2: Upper Bound


Part E - U-Substitution / 换元法

21. U-Substitution Reverses the Chain Rule / 换元法逆转链式法则

Chain Rule says

所以若 integrand 出现

就应想到

where

只是把这一结构改写为更容易识别的

22. Choosing u / 怎样选择

优先寻找:

  • a repeated inner expression;
  • a denominator、radical、exponent 或 power base 中的 composite expression;
  • whose derivative already appears elsewhere, perhaps up to a constant factor。
complex inner expression -> candidate u
differentiate u -> du
can the rest become du up to a constant?
yes -> rewrite entirely in u
no -> try another structure or another method

换元完成后,integral 中不应混留未经处理的

23. Example: x Times a Composite Power / 复合幂例题

因此

换回:

检查:

24. Example: High Power / 高次复合幂

所以

25. Constant-Factor Matching / 常数因子匹配

因为

所以补偿多出的

也可令 。两种方法本质相同,都是逆向识别 Chain Rule。

同理:

26. Differential Notation: Useful but Not Free Algebra / 微分符号的严格读法

是对 Chain Rule 的有效 differential notation。它帮助匹配 integral measure,但不应被理解为所有情形下都可以无条件把 当普通独立数随意移项。

可靠判断标准不是“符号能不能搬”,而是替换后的 integral 是否严格对应


27. Fidelity Notes / 原稿校正

  1. Transcript 中的 “old function / AN function” 分别校正为 odd function / even function
  2. “anti director / anti decorating” 校正为 antiderivative;“牛顿莱姆尼斯”等识别统一为 Newton-Leibniz formula / Fundamental Theorem of Calculus
  3. 课堂将 的结尾口算成了类似 ;正确结果是
  4. 速度积分 给 displacement,而不是自动给 total distance;后者需要
  5. “不定积分没有图像意义”过强。它不表示一个固定 signed area,但表示一族 antiderivative curves。
  6. “能求出的积分少之又少”应理解为 many functions lack elementary antiderivatives,而不是 definite integrals 通常不存在。
  7. 变上限积分求导需要 integrand 的 continuity 等适当条件;课堂公式默认这些条件满足。
  8. “微分是小微元,可以自由移动”是操作直觉。换元法的严格依据是 Chain Rule,不是无条件的 fraction algebra。
  9. Transcript 将 当作当前方法无法处理,这是本课进度边界;它后来可由 integration by parts 求得。

28. Deep Phrases / 深层表达

An antiderivative reconstructs a quantity from its rate of change, but only up to a constant.

反导从变化率重建总量,但只能确定到一个常数。

The constant of integration records information that differentiation erased.

积分常数记录了求导时被抹掉的 vertical-position 信息。

The Fundamental Theorem compresses continuous accumulation into endpoint change.

微积分基本定理把连续累积压缩成端点之间的变化。

The derivative of accumulated area is the current height being accumulated.

累计面积函数的导数,就是当前正在累积的高度。

U-substitution is pattern recognition for a hidden Chain Rule.

换元法是在 integrand 中识别被隐藏起来的链式法则。


29. Video Companion / 视频搭配

Pair with Chapter 8

08 - Integration and the Fundamental Theorem of Calculus 最适合搭配本课 Part C 与 Part D:

  • 本课给出 与计算流程;视频解释 endpoint difference 为什么等于 accumulated change。
  • 本课给出 ;视频用新增 thin sliver 解释为什么 derivative 读取 current height。

Pair with Chapter 9

09 - What Does Area Have to Do With Slope 把本课再推一步:integral 除以 interval width 得 average height,而 height 又是 antiderivative 的 local slope,所以它等于 antiderivative 的 endpoint secant slope。

3Blue1Brown 连接只来自既有 Knowledge Graph Connections;本次未重新读取完整视频笔记。


30. Decision Maps / 判断路线

Indefinite integral

no bounds
-> find F with F'=f
-> write F+C
-> differentiate to verify
-> use condition to solve C if given

Definite integral

bounds present
-> simplify using properties/symmetry if useful
-> find antiderivative F
-> F(upper)-F(lower)
-> no +C in final answer

Accumulation function

integral with variable upper bound
-> function value? substitute bound
-> derivative? FTC Part 1
-> composite bound? multiply by inner derivative
-> increasing? solve A'(x)>0

U-substitution

composite expression present
-> choose inner expression u
-> compute du
-> match remaining factor up to a constant
-> rewrite entirely in u
-> integrate
-> substitute back
-> differentiate to verify

31. Knowledge Graph Connections / 知识图谱连接


32. Confusion / Questions

  • 能否说明 indefinite integral 为什么必须写
  • 时,是否避免误用 power rule?
  • 能否用 differentiation 验证每一个 antiderivative?
  • initial condition 如何从 function family 中确定
  • definite integral 是否始终按 upper minus lower?
  • 能否区分 displacement 与 total distance?
  • 看到 时,能否把它视为 function 而非固定数字?
  • 变上限函数 increasing 时,究竟看 accumulation 还是看 integrand sign?
  • composite upper bound 是否记得乘
  • 选择 后,能否把 integral 完全改写为
  • 换元结果能否通过 Chain Rule 导回原 integrand?

33. After-Class Compression / 看完压缩版

properties:
reverse bounds -> negative
same bounds -> zero
linearity
adjacent intervals add
integral of c -> c(b-a)
 
symmetry on [-a,a]:
even -> 2 integral_0^a
odd -> 0
 
antiderivative:
F'=f -> integral f dx = F+C
C stores lost vertical information
 
FTC Part 2:
integral_a^b f = F(b)-F(a)
rate accumulation = net change
 
accumulation function:
A(x)=integral_a^x f(t)dt
A'(x)=f(x)
 
composite upper bound:
d/dx integral_a^{g(x)} f(t)dt
= f(g(x))g'(x)
 
u-substitution:
u=g(x), du=g'(x)dx
reverse the Chain Rule