第一节 定积分的概念与计算
一、知识结构
- 定积分的元素法
- 定积分的定义与几何意义
- 定积分的性质
- 积分上限的函数及其导数
- 牛顿—莱布尼茨公式
- 定积分的换元积分法
- 定积分的分部积分法
本节只整理定积分的概念、性质和计算公式。
二、定积分的概念
1. 定积分的元素法
设函数 在区间 上连续,且 。以曲线 、、 和 轴所围成的曲边梯形面积为研究对象。
将区间 任意分割成 个小区间:
记第 个小区间的长度为
在每个小区间 内任取一点 ,用高为 、底为 的小矩形近似相应曲边梯形面积 ,则有:
-
各小矩形面积之和为
-
每个小面积的近似值为
-
曲边梯形面积的近似值为
-
记分割中各小区间长度的最大值为
当 时,若和式的极限存在,则
这种把整体量分割成许多小量,先求和再取极限的思想称为元素法,也称微元法。
2. 与 函数
函数表示两个数中的较大值, 函数表示两个数中的较小值:
3. 定积分的定义
设函数 在区间 上有界。在 中任取分点
把 分成 个小区间 ,小区间长度为
在每个小区间 上任取一点 ,作和式
记
如果当 时,和式的极限总存在,且极限值与区间的分法以及各点 的取法无关,则称此极限为函数 在区间 上的定积分,记作
其中:
- 称为积分区间;
- 称为积分下限;
- 称为积分上限;
- 称为积分变量;
- 称为被积函数。
如果上述极限存在,则称函数 在 上可积。
4. 定积分的存在定理
- 若函数 在区间 上连续,则定积分 必定存在。
- 若函数 在区间 上有界,且只有有限个间断点,则定积分 必定存在。
5. 定积分的几何意义
根据定积分的定义:
| 函数在 上的符号 | 几何意义 | 定积分与面积的关系 |
|---|---|---|
| 曲线位于 轴上方 | ,其中 表示图形面积 | |
| 曲线位于 轴下方 | ,其中 表示图形面积 | |
| 在区间内变号 | 分别计算各部分面积 | ,表示带符号面积的代数和 |
6. 常用几何型定积分
以下各式中 :
三、定积分的性质
以下各性质中,积分上下限的大小不作特别说明,并假定性质中所列定积分都存在。
性质 1:积分上下限互换
当 时,
当 时,
性质 2:常数因子提出
被积函数中的常数因子可以提到积分号外:
性质 3:函数和、差的积分
两个函数的和、差的定积分等于它们定积分的和、差:
该性质对有限个函数的和、差都成立。
性质 4:区间可加性
对于任意大小关系的 ,有
性质 5:常数函数的积分
如果在区间 上 ,则
性质 6:非负函数的积分非负
如果在区间 上 ,且 ,则
推论 1:积分不等式
如果在区间 上 ,且 ,则
推论 2:绝对值不等式
性质 7:估值定理
设 和 分别是函数 在区间 上的最大值和最小值,且 ,则
性质 8:定积分中值定理
如果函数 在积分区间 上连续,则在 上至少存在一点 ,使
这一定理也称积分中值定理。定积分的平均值为
9. 常用的函数大小关系
设 :
- 当 时,;当 时,。
- 当 时,。
- 当 时,;当 时,。
四、微积分基本公式
1. 积分上限的函数及其导数
如果函数 在区间 上连续,积分上限的函数定义为
由于 在 上连续,函数 在 上可导,且
因此,若 在 上连续,则
是 在区间 上的一个原函数。
积分上限为复合函数时,设 可导且值域包含于 ,则
积分下限为复合函数时,
上下限都是复合函数时,
记忆要点:上限代入后乘上限导数,下限代入后乘下限导数并取负号。
2. 牛顿—莱布尼茨公式
如果函数 是连续函数 在区间 上的一个原函数,则
牛顿—莱布尼茨公式也称积分基本公式,是连接定积分与原函数的桥梁。
使用该公式的必要条件是:被积函数 在积分区间上连续,并且能够找到它的一个原函数。
五、定积分的换元积分法
1. 定积分换元公式
假设函数 在区间 上连续,变量 满足:
- ,;
- 在 (或 )上具有连续导数,且其值域包含于 。
则有
上式称为定积分的换元公式。
2. 换元时的注意事项
- 换元后积分上下限要同时改变;
- 求出 的一个原函数 后,直接把新变量 对应的上下限代入 ,再作差,不需要换回原变量;
- 换元时要同时检查变量替换方向与上下限顺序。
3. 换元公式的逆用
令 ,其中 ,,则
六、定积分的奇偶性
设函数在对称区间 上可积。
1. 奇函数
若 为奇函数,即 ,则
2. 偶函数
若 为偶函数,即 ,则
求对称区间上的定积分时,应先判断被积函数的奇偶性,再使用相应性质。
七、定积分的分部积分法
1. 分部积分公式
根据不定积分的分部积分法,若 、 在区间上具有所需的连续导数,则
简记为
也可写成
上述公式表明:原函数乘积的边界值减去交换微分后的定积分。定积分的分部积分法中, 与 的选取原则与不定积分相同。
八、定积分记忆总表
| 内容 | 结论 |
|---|---|
| 定义 | |
| 上下限互换 | |
| 区间可加 | |
| 估值 | |
| 中值 | |
| 基本公式 | |
| 上限函数 | |
| 换元 | |
| 奇函数 | |
| 偶函数 | |
| 分部积分 | $\displaystyle\int_a^b u,\mathrm dv=(uv) |