微积分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 / 课堂脉络
- 补齐 definite-integral properties。
- 用 even/odd Symmetry 简化对称区间积分。
- 定义 Antiderivative 与 indefinite integral。
- 解释为什么必须写 ,以及 initial condition 如何确定 。
- 建立常用 antiderivative table。
- 用 FTC Part 2 计算 definite integrals。
- 用 velocity-position 解释 net change。
- 把 moving upper bound 变成 Accumulation Function。
- 用 FTC Part 1 与 Chain Rule 对积分函数求导。
- 用 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 integrand10. 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 / 原稿校正
- Transcript 中的 “old function / AN function” 分别校正为 odd function / even function。
- “anti director / anti decorating” 校正为 antiderivative;“牛顿莱姆尼斯”等识别统一为 Newton-Leibniz formula / Fundamental Theorem of Calculus。
- 课堂将 的结尾口算成了类似 ;正确结果是 。
- 速度积分 给 displacement,而不是自动给 total distance;后者需要 。
- “不定积分没有图像意义”过强。它不表示一个固定 signed area,但表示一族 antiderivative curves。
- “能求出的积分少之又少”应理解为 many functions lack elementary antiderivatives,而不是 definite integrals 通常不存在。
- 变上限积分求导需要 integrand 的 continuity 等适当条件;课堂公式默认这些条件满足。
- “微分是小微元,可以自由移动”是操作直觉。换元法的严格依据是 Chain Rule,不是无条件的 fraction algebra。
- 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 givenDefinite integral
bounds present
-> simplify using properties/symmetry if useful
-> find antiderivative F
-> F(upper)-F(lower)
-> no +C in final answerAccumulation function
integral with variable upper bound
-> function value? substitute bound
-> derivative? FTC Part 1
-> composite bound? multiply by inner derivative
-> increasing? solve A'(x)>0U-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 verify31. Knowledge Graph Connections / 知识图谱连接
- 微积分BC第9次正课-积分方法与反常积分 承接本课的 U-Substitution,补齐 by parts、partial fractions 与 improper-integral limits。
- 微积分BC第7次正课-导数图像优化与定积分入门 建立 Definite Integral、Riemann Sum 与 Signed Area;本课开始真正计算。
- Antiderivative 与 Derivatives 是相反方向的操作, 保存被 derivative 擦除的信息。
- Initial Conditions 从 antiderivative family 中选出一个具体 function。
- Fundamental Theorem of Calculus 同时连接 endpoint evaluation 与 Accumulation Function derivative。
- Symmetry 在函数积分中表现为 even doubling 与 odd cancellation。
- U-Substitution 是 Chain Rule 的逆向识别。
- 08 - Integration and the Fundamental Theorem of Calculus 提供 tiny-area 与 FTC 直觉。
- 09 - What Does Area Have to Do With Slope 把 accumulated area 连接到 antiderivative slope。
- One-Dimensional Motion 区分 velocity accumulation、displacement 与 total distance。
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 Rule34. Links / 链接
- UBC Knowledge Graph
- AP Calculus BC
- 微积分BC第7次正课-导数图像优化与定积分入门
- Integrals
- Definite Integral
- Signed Area
- Symmetry
- Antiderivative
- Initial Conditions
- Fundamental Theorem of Calculus
- Accumulation Function
- U-Substitution
- Derivatives
- Chain Rule
- One-Dimensional Motion
- 08 - Integration and the Fundamental Theorem of Calculus
- 09 - What Does Area Have to Do With Slope
- Integration by Parts
- Partial Fractions
- Improper Integral
- 微积分BC第9次正课-积分方法与反常积分