166-高中数学选修系列2选修2-2《微积分基本定理与定积分计算》教案2.docVIP

§3 微积分基本定理与定积分计算 一、目标预览 1.理解并能熟练运用微积分基本定理. 2.掌握定积分的常用计算方法. 3.了解定积分与不等式的常用证明方法. 4.了解定积分相关知识的综合应用. 二、概念入门 设 SKIPIF 1 0 ，称函数 SKIPIF 1 0 SKIPIF 1 0 为函数 SKIPIF 1 0 在 SKIPIF 1 0 上的变上限定积分；类似地可定义变下限定积分： SKIPIF 1 0 . 注（i）由 SKIPIF 1 0 积分的性质， SKIPIF 1 0 的定义有意义. （ii）由 SKIPIF 1 0 积分的性质易证 SKIPIF 1 0 . 三、主要事实 1.微积分基本定理 若 SKIPIF 1 0 ，则 SKIPIF 1 0 SKIPIF 1 0 ，即 SKIPIF 1 0 ， SKIPIF 1 0 . 注（i）证明由导数的定义及第一积分中值定理即得. （ii）通过微分中值定理（推论），可获得微积分基本定理如下的等价表述： 若 SKIPIF 1 0 ，而且 SKIPIF 1 0 SKIPIF 1 0 ，则 SKIPIF 1 0 SKIPIF 1 0 . (iii)微积分基本定理及其等价表述沟通了不定积分与定积 分、微分与积分的内在联系. （iv）利用微积分基本定理及复合函数微分法可得下述的变限积分求导公式： 若 SKIPIF 1 0 ， SKIPIF 1 0 、 SKIPIF 1 0 在 SKIPIF 1 0 上可微而且 SKIPIF 1 0 、 SKIPIF 1 0 ，则 2.第二积分中值定理 （1）（旁内（Bonnet，1819-1892[法]）型第二积分中值定理）若 SKIPIF 1 0 ，而且 SKIPIF 1 0 是 SKIPIF 1 0 上非负递减（相应地递增）函数，则存在 SKIPIF 1 0 使得 （相应地） （2）（Werierstrass型第二积分中值定理）若 SKIPIF 1 0 ， SKIPIF 1 0 是 SKIPIF 1 0 上的单调函数，则存在 SKIPIF 1 0 使得 SKIPIF 1 0 . 证（1）令 SKIPIF 1 0 SKIPIF 1 0 ，利用 SKIPIF 1 0 的可积性得 SKIPIF 1 0 SKIPIF 1 0 再由 SKIPIF 1 0 SKIPIF 1 0 及 SKIPIF 1 0 的单调减小性，可得 SKIPIF 1 0 再由连续函数的介值性即得. （2）当 SKIPIF 1 0 为单调递减（增）时，对 SKIPIF 1 0 SKIPIF 1 0 SKIPIF 1 0 应用（1）即得. 3.定积分的计算 （1）（牛顿——莱布尼兹公式）若 SKIPIF 1 0 ， SKIPIF 1 0 而且除有限个点外有 SKIPIF 1 0 ，那么有 SKIPIF 1 0 . 注（i）牛顿——莱布屁兹公式简称 SKIPIF 1 0 —公式，它是微积 分的核心定理，最初分别由牛顿与莱布尼兹在17世纪下半叶独立得到，柯西在19世纪初给出精确叙述与证明，黎曼在19世纪中叶给予完善，达布在1875年给出现在这种形式. （ii）证明可由 SKIPIF 1 0 积分的定义（分点包括例外点）及微分中值定理（作用在 SKIPIF 1 0 上）可推得. （2）（定积分换元积分法）如果 SKIPIF 1 0 在 SKIPIF 1 0 上有连续导数， SKIPIF 1 0 ， SKIPIF 1 0 ， SKIPIF 1 0 ， SKIPIF 1 0 ，那么 有 SKIPIF 1 0 注（i）定积分换元积分公式由复合函数微分法及 SKIPIF 1 0 公式 可得，而且 SKIPIF 1 0 可减弱为 SKIPIF 1 0 .进一步，定积分换元