§5 微积分学基本定理 定积分的计算（续）.docVIP

§5 微积分学基本定理 定积分的计算（续） 教学目标：掌握微积分学基本定理． 教学内容：变上限的定积分；变下限的定积分；微积分学基本定理；积分第二中值定理，换元积分法；分部积分法；泰勒公式的积分型余项． (1) 基本要求：掌握变限的定积分的概念；掌握微积分学基本定理和换元积分法及分部积分法． (2) 较高要求：掌握积分第二中值定理和泰勒公式的积分型余项． 教学建议： 　 (1) 微积分学基本定理是本节的重点，要求学生必须掌握微积分学基本定理完整的条件与结论． (2) 积分第二中值定理和泰勒公式的积分型余项是本节的难点．对较好学生要求他们了解这些内容． 教学过程： 一、变限积分与原函数的存在性 设在上可积，则对，在上也可积，于是，由 ， 定义了一个以积分上限为自变量的函数，称为变上限的定积分。 类似地，可定义变下限的定积分： ， 和统称为变限积分。 说明：由于 ，因此，只要讨论变上限积分即可。 定理9-9 若在上可积，则在上连续。 证明： 利用连续函数的定义及定积分的性质即可证得。 定理9-10（原函数存在定理） 若函数在上连续，则在上处处可导，且，。 证明：利用导数的定义及定积分的性质即可得。 说明：此定理沟通了导数与定积分之间的关系；同时也证明了连续函数必有原函数这一结论，并以积分的形式给出了的一个原函数。因此，该定理也称之为微积分学基本定理。且得用它可以给出牛顿-莱布尼茨公式的另一证明。 Abel变换： ，，，令，，， 则， 它实际上是分部积分公式 给定分割：令，，之后的一种离散化形式。 定理9.11（积分第二中值定理） 设。 （1）在单调下降，，，则,使得 。 （2） 在单调上升，，，则，使得 。 （3） 在单调，则，使得 。 证：（1） 令，记，，给 一个分割，记，，在单调下降，所以可积，因而 当时。 。 若，则，可取任意值。 若，，，，使得 ，即。 （2） 类似可证。 （3） 不妨设单调上升，令，单调上升，，由（2），使得 。 。 例1、 在单调下降，求证 ， 。 证： 二 、 定积分的换元积分法和分部积分法 定理9-12 （定积分的换元积分法）若函数在上连续，在上连续可微，且满足 ，，，， 则有定积分的换元积分公式： 。 证：由假设，必有原函数，不妨设的一个原函数，即。根据牛顿－莱布尼兹公式，有 　　 另一方面，由复合函数求导法则及复合函数的连续性，有 由以上两式知 注意：在应用中要注意定积分的换元公式与不定积分的换元公式的异同之处。 例2、计算。 解题要领： 令或即可。 例3、计算。 解题要领：令，逆向应用换元积分公式即可。 例4、计算。 解题要领：先令，再令即可。 定理9-13 （定积分的分部积分法） 若、为上的连续可微函数，则有定积分的分部积分公式： ， 或 。 证：由于 及牛顿-莱布尼兹公式，有 从而，根据定积分的线性性质，有 例5、 。 从这个例子，我们可以看出定积分和不定积分换元有两点区别： 1）不定积分换元是作为整体的变量替换，定积分是作为一个特定区间上的变量替换，有时前者行不通而后者却可以进行； 2）不定积分换元后必须换回去，而定积分换元不必，只要把定积分值算出来就行了。 例 6、 1. 偶函数，则 。 2. ，奇函数 ，则 。 例 7、 解 ： ， ， 。 。 例8、 解： ， ， 。 所以 ， 。 例 9 (J.Wallis公式)、 证： 时，有， 采用例4中的记号我们可得 ， ， 所以 三、 泰勒公式的积分型余项 设函数在点的某邻域内有阶连续导数，令，则 。 其中即为的泰勒公式的阶余项。由此可