文章目录

  • abstract
  • 引言
  • 变上限积分
  • 基本性质
  • 变下限积分
  • 微积分第一基本定理
  • 定积分与不定积分的关系
  • 证明
  • 原函数存在定理
  • 拓展
  • 微积分第二基本定理及其应用


abstract

  • 使用定积分的定义计算积分通常是困难而且不方便的,为此,我们需要寻求新的方法,即微积分基本公式(定理)
  • 微积分第一基本定理是关于变上限积分(积分上限函数)的结论,作为第二基本定理(牛顿-莱布尼兹公式)的基础
  • 通常微积分基本定理指的是第二基本定理,微积分基本公式为Newton-Leibniz公式
  • 本文介绍:微积分第一基本定理@积分上限的函数及其导数@原函数存在定理

引言

  • 变速直线运动位置函数速度函数之间的联系
  • 物体在时间间隔AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_定积分内经过的路程可以用速度函数AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_不定积分_02AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_定积分上的定积分AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_定积分_04来表示
  • 另一方面,这段路程又可以通过位置函数AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_定积分_05在区间AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_定积分上的增量AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_不定积分_07来表达
  • 可见,AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_定积分_08AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_定积分_09之间满足AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_微积分_10=AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_微积分_11;并且AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_变限积分_12=AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_定积分_09,(AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_变限积分_14)
  • 这就是说,速度AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_定积分_09在区间AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_变限积分_16上的定积分等于AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_定积分_09原函数AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_定积分_08在区间AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_变限积分_16上的增量AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_微积分_11
  • 由特殊性体现一般性,可以猜测该结论在一定条件下具有普遍性,并尝试给出证明

变上限积分

  • 变上限积分,即积分上限函数
  • 所谓积分上限函数,就是自变量位于定积分的上限位置
  • 一般地,积分上限函数可以表示为:AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_变限积分_21(1)
  • 字母AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_微积分_22不是积分上限的函数AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_微积分_23的自变量,而是被积函数的自变量,
  • 式(1)所示的积分上限的函数AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_微积分_23的自变量是AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_不定积分_25
  • AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_不定积分_25AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_不定积分_25的函数AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_微积分_28(不含AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_微积分_22)的,相对于AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_微积分_30都是常数,在计算定积分时可以提出到积分号外
  • 变上限积分函数是的产生方式依赖于定积分,比一般的初等函数要抽象一些
  • 初等函数在其定义域区间内是连续的,其原函数一定存在,但原函数却不一定仍然是初等函数,例如AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_不定积分_31,该函数原函数存在却积不出(不是初等函数)
  • 变上限积分函数可能不是初等函数

基本性质

  • AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_微积分_32=AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_定积分_33
  • 因为AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_微积分_28相对于被积函数是常数
  • 例如AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_微积分_35,则AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_定积分_36-AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_不定积分_37

变下限积分

  • 由定积分的补充约定,有AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_不定积分_38=AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_微积分_39
  • 即可以将变下限积分转换为变上限积分进行研究

微积分第一基本定理

  • 揭示不定积分和定积分的关系,讨论变上限积分函数的导数(积分上限的函数及其导数)
  • AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_不定积分_40AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_时间间隔_41上连续,积分上限的函数AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_定积分_42,在AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_时间间隔_41可导,且AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_变限积分_44=AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_定积分_45,AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_微积分_46(1)

定积分与不定积分的关系

  • 上述定理表明,连续函数AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_不定积分_40取变上限AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_不定积分_48的定积分,然后求导,结果还原为AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_不定积分_40本身
  • AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_时间间隔_50AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_定积分_51的一个原函数
  • 区间上积分上限的函数的导数为被积函数
  • AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_定积分_52=AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_定积分_53,AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_时间间隔_54

证明

  • 可以分为三个部分进行证明:
  1. 区间内部AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_不定积分_55
  2. 区间左边界AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_变限积分_56
  3. 区间右边界AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_不定积分_57
  • AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_时间间隔_58,且AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_时间间隔_59
  • 记:AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_不定积分_60
  • =AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_定积分_61
  • =AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_不定积分_62
  • =AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_变限积分_63
  • 由定积分中值定理:
  • 区间AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_定积分_64上存在一点AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_变限积分_65,使得:AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_不定积分_66=AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_定积分_67=AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_微积分_68
  • AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_变限积分_69=AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_时间间隔_70=AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_不定积分_71
  • AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_时间间隔_72时,AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_微积分_73.又因为AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_定积分_74,则AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_时间间隔_75
  • 由导数的定义(极限),将AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_变限积分_65视为变量,AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_变限积分_77=AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_时间间隔_78=AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_定积分_79=AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_时间间隔_80
  • 由于AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_时间间隔_81AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_定积分_82内是连续的,AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_定积分_83自然也是连续的
  • 根据一元连续函数的性质,那么有AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_变限积分_84
  • AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_微积分_85=AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_微积分_86,AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_定积分_87,即结论成立
  • 进一步分类讨论:
  • AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_变限积分_56,取AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_定积分_89;可以得到右导数AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_变限积分_90;
  • AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_不定积分_57,取AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_定积分_92;左导数:AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_时间间隔_93,
  • 从而得到AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_不定积分_94

原函数存在定理

  • 由微积分第一基本定理,容易引出连续函数的原函数存在定理
  • 定理:
  • AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_微积分_95AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_微积分_96上连续,则函数AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_定积分_97就是AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_微积分_95AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_微积分_96上的一个原函数
  • AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_不定积分_100=AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_定积分_101,AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_不定积分_102;AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_变限积分_103=AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_变限积分_104;
  • 注意积分下限为闭区间左端点,积分上限为变量AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_微积分_105
  • 本定理表明
  • 来连续函数的原函数一定存在,并解释了(变上限)定积分与原函数之间的关系,暗示我们可以有可能通过原函数来计算定积分

拓展

  • 如果AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_微积分_106在区间AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_定积分_107上除了点AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_定积分_108外均连续,而在AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_微积分_109AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_微积分_106跳跃间断点(即AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_微积分_106AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_不定积分_112处的左右极限都存在但不相等:AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_时间间隔_113,AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_不定积分_114,AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_定积分_115)
  • AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_定积分_116,AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_定积分_117,AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_定积分_118则有结论
  • AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_微积分_119上连续
  • AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_时间间隔_120
  • AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_定积分_121,即,间断点AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_不定积分_122处原函数的左导数等于AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_微积分_95AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_不定积分_122的左极限,原函数右导数等于AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_微积分_95AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_不定积分_122右极限
  • 例,分段函数AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_微积分_106=AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_时间间隔_128,AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_微积分_129;AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_微积分_130,AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_不定积分_131,我们研究其在AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_微积分_132区间上的原函数性质
  • 任取AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_变限积分_133中的某点AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_时间间隔_134,不妨取AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_微积分_135,并记AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_微积分_136=AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_变限积分_137
  • 由分段函数的积分:AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_微积分_136
  • =AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_微积分_139=AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_变限积分_140=AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_时间间隔_141=AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_时间间隔_142=AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_时间间隔_143,AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_定积分_144
  • =AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_微积分_145+AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_不定积分_146=AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_时间间隔_147+AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_变限积分_148=AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_时间间隔_149+AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_时间间隔_150=AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_微积分_151,AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_定积分_152
  • 显然AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_时间间隔_153在两个区间内各自连续,且在AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_微积分_154处连续,因为AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_变限积分_155=AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_定积分_156=AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_时间间隔_157,因此AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_时间间隔_153AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_定积分_159上连续

  • AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_不定积分_40在[a,b]上连续,且AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_微积分_161,AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_变限积分_162(1)
  • 求证
  • AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_时间间隔_163
  • 方程AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_微积分_164AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_变限积分_165内仅有一个实根
  • 式(1)两边对AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_不定积分_48求导
  • AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_定积分_167
  • 由于AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_变限积分_168,由基本不等式得出AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_定积分_169
  • 由于AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_不定积分_170
  • AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_不定积分_171;故由零点定理知,AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_定积分_172AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_定积分_173内至少存在一个根
  • AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_变限积分_174,AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_微积分_175AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_定积分_82上单调增加,所以AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_定积分_172AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_定积分_173内仅有一个根

  • AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_定积分_179
  • 容易发现上述极限是AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_时间间隔_180型,考虑使用LHopital法则
  • 由于(可以令AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_变限积分_181,作复合函数求导)
  • AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_变限积分_182=AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_不定积分_183=AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_变限积分_184=AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_变限积分_185=AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_变限积分_186
  • AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_时间间隔_187=AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_时间间隔_188

  • AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_微积分_189
  • AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_微积分_190=AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_微积分_191+AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_变限积分_192

  • AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_微积分_106AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_变限积分_194上单调减少且连续,令AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_时间间隔_195,求证AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_变限积分_196
  • AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_时间间隔_197=AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_时间间隔_198-AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_变限积分_199
  • AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_微积分_190=AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_变限积分_201-AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_时间间隔_202=AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_微积分_191-AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_定积分_204(0)
  • AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_微积分_106应用积分中值定理:存在AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_微积分_206(设AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_时间间隔_207),使得AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_微积分_208=AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_不定积分_209
  • AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_定积分_210=AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_不定积分_211(1)
  • 将(1)代入(0),得AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_定积分_212=AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_变限积分_213
  • AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_微积分_106的单调递减,AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_不定积分_215,可知AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_不定积分_216;即AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_微积分_217
  • 从而AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_不定积分_218,AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_时间间隔_197AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_变限积分_194上单调递增,从而AM@积分上限的函数及其导数@微积分第一基本定理@原函数存在定理_时间间隔_221,命题得证

微积分第二基本定理及其应用

  • 微积分第二基本定理