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

§5 微积分学基本定理 定积分的计算（续） 一 变限积分与原函数的存在性 设在上可积，则对，在上也可积，于是，由 ， 定义了一个以积分上限为自变量的函数，称为变上限的定积分。类似地，可定义变下限的定积分： ， 和统称为变限积分。 说明：由于 ，因此，只要讨论变上限积分即可。 定理9-9 若在上可积，则在上连续。 证明： 利用连续函数的定义及定积分的性质即可证得。 定理9-10 （原函数存在定理） 若函数在上连续，则在上处处可导，且，。 证明：利用导数的定义及定积分的性质即可得。 说明：此定理沟通了导数与定积分之间的关系；同时也证明了连续函数必有原函数这一结论，并以积分的形式给出了的一个原函数。因此，该定理也称之为微积分学基本定理。且得用它可以给出牛顿-莱布尼茨公式的另一证明。 定理9-11 （积分第二中值定理） 设在上可积。 若函数在上单调递减，且，则，使得 。 若函数在上单调递增，且，则，使得 。 推论 设函数在上可积，函数在上单调，则，使得 。 【】在上单调递减，令，则对应用定理9-11即得；若函数在上单调递增，，则对应用定理9-11即得。 二 定积分的换元积分法和分部积分法 定理9-12 （定积分的换元积分法）若函数在上连续，在上连续可微，且满足 ，，，， 则有定积分的换元积分公式： 。 注意：在应用中要注意定积分的换元公式与不定积分的换元公式的异同之处。 计算。 【】或即可。 计算。 【】，逆向应用换元积分公式即可。 计算。 【】，再令即可。 定理9-13 （定积分的分部积分法） 若、为上的连续可微函数，则有定积分的分部积分公式： ， 或 。 例4 计算 例5 计算和。 三 泰勒公式的积分型余项 设函数在点的某邻域内有阶连续导数，令，则 。 其中即为的泰勒公式的阶余项。由此可得， 即为泰勒公式的积分型余项。 由于连续，在（或）上保持同号，故若应用推广的第一积分中值定理于积分型余项，可知，，，使得 。 即为拉格朗日型余项。 若直接应用积分第一中值定理于积分型余项，可得 ， 其中，。 而，故 ，， 称为泰勒公式的柯西型余项。 特别地，当时，柯西型余项变为： ，。