微积分基本定理
微积分基本定理是整个微积分学的”灵魂”:它把看似毫不相关的两个运算——求导与积分——联系在了一起。理解这条定理,才算真正理解了积分学。
在牛顿与莱布尼茨之前,求面积(积分)与求切线(微分)是彼此独立的两类问题:
- 面积问题:如何求曲线围成的面积?古希腊人用”穷竭法”,后人用”分割求和”。
- 切线问题:如何求曲线在某点的切线斜率?这是微分学的起源。
17 世纪,牛顿与莱布尼茨各自独立地发现了一个惊人的事实:这两个问题互为逆运算。这个发现让无数此前只能逐题攻克的面积计算,变成了一套统一的操作流程。正如后人所说,“微积分基本定理把一门手艺变成了一门科学”。
定义
定义是对概念、术语或对象含义的精确描述。理解定义是学习任何知识领域的基础,每个概念都有其明确的定义。
设 在 上连续,称
为 积分上限函数。它表示”从 累积到 “的总面积。
数学定理
定理是数学中经过严格证明的命题,是数学推理的基础。定理通常包含条件和结论,是数学知识体系的重要组成部分。
若 在 上连续,则积分上限函数 可导,且
即:对面积累积量求导,得到的是变化率本身。
证明思路(回顾导数的定义):
由积分中值定理,存在 ,使得 ,于是
直观理解
想象水库蓄水, 是进水量, 是总蓄水量。蓄水量的变化率,当然就是当前时刻的进水量——。
数学定理
定理是数学中经过严格证明的命题,是数学推理的基础。定理通常包含条件和结论,是数学知识体系的重要组成部分。
设 在 上连续, 是 的任意一个原函数,则
证明思路:记 。由第一基本定理, 与 都是 的原函数,故 (常数)。令 ,得 (因 )。于是 ,证毕。
数学公式
公式是数学中表达数量关系、结构规律的符号表达式,是解决数学问题的重要工具。重要结论公式应熟练掌握和灵活应用。
微积分基本定理的深刻之处在于它统一了三条线索:
- 统一了微分与积分:求导与积分互为逆运算。
- 统一了求值与求面积:定积分不必再做复杂的分割求和,只需找到原函数代入上下限。
- 统一了局部与整体:局部变化率(导数)经过积分,还原出整体累积量。
正是这条定理,使”积分”从一种几何操作上升为一种通用计算方法,成为物理、工程、经济等一切使用微积分的学科的基石。
应用 1:变限积分的求导
设 ,求 。
解题思路:把积分拆成两个积分上限函数的差,再用链式法则。
详细步骤:
最终答案:
应用 2:构造原函数求积分
利用微积分基本定理计算 。
解题思路:先通过换元找到原函数,再代入上下限。
详细步骤:
- 设 ,
最终答案:
本文出现的符号
| 符号 | 类型 | 读音/说明 | 在本文中的含义 |
|---|---|---|---|
| 数学符号 | integral from a to x | 积分上限函数 | |
| 数学符号 | F of x | 积分上限函数 | |
| 数学符号 | F prime of x | 积分上限函数的导数 | |
| 数学符号 | G of x | 的原函数 | |
| 数学符号 | G of x from a to b | 代入上下限的记号 | |
| 希腊字母 | Xi(克西) | 积分中值定理中的存在点 | |
| 数学符号 | h | 自变量的增量 | |
| 数学符号 | limit as h goes to 0 | 趋于零的极限 | |
| 数学符号 | Euler’s number | 自然对数的底数 | |
| 数学符号 | sine of t | 正弦函数 |
中英对照
| 中文术语 | 英文术语 | 音标 | 说明 |
|---|---|---|---|
| 微积分基本定理 | fundamental theorem of calculus | /ˌfʌndəˈmentl ˈθɪərəm əv ˈkælkjʊləs/ | 联系微分与积分的基本定理 |
| 牛顿-莱布尼茨公式 | Newton–Leibniz formula | /ˈnjuːtən ˈlaɪbnɪts ˈfɔːmjələ/ | 用原函数计算定积分的公式 |
| 积分上限函数 | upper-limit function | /ˈʌpə ˈlɪmɪt ˈfʌŋkʃən/ | 以积分上限为自变量的函数 |
| 变限积分 | integral with variable limits | /ˈɪntɪɡrəl wɪð ˈveəriəbl ˈlɪmɪts/ | 上下限含变量的积分 |
| 原函数 | antiderivative | /ˌæntidɪˈrɪvətɪv/ | 导数为给定函数的函数 |
| 链式法则 | chain rule | /tʃeɪn ruːl/ | 复合函数求导法则 |
| 穷竭法 | method of exhaustion | /ˈmeθəd əv ɪɡˈzɔːstʃən/ | 古希腊计算面积的方法 |
| 逆运算 | inverse operation | /ˌɪnˈvɜːs ˌɒpəˈreɪʃən/ | 相互抵消的两种运算 |
