定积分的概念53651.pptVIP

例1 求 解 分析：这是 型不定式，应用洛必达法则. 证 定理9.11 （积分第二中值定理） 设函数 在 上可积，则有： （2）若函数 在 上增，且 ，则存在 ，使得 （1）若函数 在 上减，且 ，则存在 ，使得 推论： 设函数 在 上可积，若 为单调函数， 则存在 ，使得 ，使得： 现对任意大的正数M，由于 在 上无界，故存在 于是有： 这与 在 上可积相矛盾，从而定理得证。 注：任何可积函数一定是有界的，但有界函数却不一定可积。 例1 证明狄理克雷函数 在 上有界但不可积。 二、可积的充要条件 设 为对 的任一分割， 由 在 上有界，它在每个 上存在上、下 确界： 作和 分别称为 关于分割T的上和与下和（统称达布和） 定理9.3 （可积准则）函数 在 上可积的 充要条件是：任给 ，总存在相应的一个 分割T，使得： 定理 在 上可积的 任给 ，总存在相应的一个 分割T，使得： 函数 充要条件是： 三、可积函数类 在 是区间 定理9.6 若 定理9.4 若 是 上的连续函数，则 在 上可积。 定理9.5 若 上只有有限个间断 点的有界函数，则 上可积。 是区间 上的单调函数，则 在 上可积。 注：单调函数即使有无限多个间断点，仍不失 其可积性。 例2 试用两种方法证明函数 在区间 上可积。 第四节 定积分的性质 一、定积分的基本性质 二、积分中值定理 证 性质1 若 在 上可积，k为常数，则 在 上也可积，且 一、定积分的基本性质 证 （此性质可以推广到有限多个函数作和的情况） 性质2 若 都在 上可积，则 在 上也可积，且 性质3 若 都在 上可积，则 在 上也可积。 证 由 都在 上可积，从而都有界，设 且A0,B0（否则 中至少有一个恒为零值函 函数，于是 亦为零值函数，结论显然成立） 任给 ，由 可积，必分别存在 使得 令 ，对于 上T所属的每一个 有 于是有： 故 在 上可积。 注：在一般情形下 （定积分对于积分区间具有可加性） 性质4 在 上可积的充要条件是：任给 在 与 上都可积，此时 又有等式 规定1 当 时，令 规定2 当 时，令 注：有了这个规定之后，等式对于 的任何 大小顺序都成立，例如：当 时，只要 在 上可积，则有 证 性质5 设 为 上的可积函数，若 性质5的推论1： 证 证 说明： 可积性是显然的. 性质5的推论2：（性质6） 若 在 上可积， 则 上也可积，且 在 注：这个性质的逆命题一般不成立，例如： 在 上不可积，但 ，它在 上可积。 例1 求 ，其中 例2 证明：若 在 上连续，且 ，则 证 （反证法）倘若有某 使 则有连续函数的局部保号性，存在 的某邻域 ，使在其中 于是： 这与假设 矛盾，所以 注：从此例证明中看到，即使 为一非负可积函数， 只要它在某一点 处连续，且 ，则必有 证 由闭区间上连续函数的介值定理知 二、定积分中值定理） 定理9.7 至少存在 ，使得 使 即 积分中值公式的几何解释： 定理9.8 （推广的第一积分中值定理） 都在 上连续，且 在 上不变号，则至少存在一点 若 ，使得 注：事实上，定理9.7和9.8中值点 必能在开间 内取得。 思考题 思考题解答 例 第五节 微积分学基本定理 ?定积分计算（续） 一、变限积分与原函数的存在性 二、换元积分法与分部积分法 三、泰勒公式的积分型余项 考察定积分 记 变上限的定积分 一、变限积分与原函数的存在性 （1） 定理9.9 如果 ) ( x f 在 ] , [ b a 上可积，则由（1）式 所定义的函数 在 ] , [ b a 上连续。 积分上限函数的性质 证 对 上任意确定的点 只要 有： 因 在 上有界，可设 于是 由此得到 的任意性即证。 由 定理9.10（原函数存在定理） 证 对 上任意确定的点 当 时 由第一积分中值定理得 定理的重要意义： （1）肯定了连续函数的原函数是存在的. （2）初步揭示了积分学中的定积分与原函数之 间的联系. 的任意性即证。 由 补充 证 * * 第九章 定积分 第一节 定积分的概念 第二节 牛顿-莱布尼茨公式 第三节 可积条件 第四节 定积分的性质 第五节 微积分学基本定理?定积分计算（续） 第一节 定积分概念 一、问题提出 二、定积分定义 三、定积分几何意义 四、小结 a b x y o 实例1 （求曲边梯形的面积） 一、问题的提出 a b x y o a b x y o 用矩形面积近似取代曲边梯形面积 显然，小矩形越多，矩形总面积越接近曲边梯