文章目录

  • abstract
  • 微积分第二基本定理
  • 微积分基本公式
  • 公式书写
  • 结合不定积分的方法求定积分
  • 定积分换元法
  • 证明
  • 定积分换元公式逆用
  • 和不定积分第二类换元法的差别
  • 定积分分部积分法


abstract

  • 微积分第一基本定理告诉我们,总是能够通过积分法构造(表达)一个连续函数的原函数
  • 结合同一个函数的原函数之间仅差一个常数的性质,引出微积分基本定理(也称第二基本定理)和Newton-Leibniz公式

微积分第二基本定理

  • 如果AM@微积分基本定理@微积分第二基本定理_微积分基本定理连续函数AM@微积分基本定理@微积分第二基本定理_微积分基本定理_02在区间AM@微积分基本定理@微积分第二基本定理_不定积分_03,上的一个原函数,则:AM@微积分基本定理@微积分第二基本定理_微积分基本公式_04(0)
  • 证明:
  • 根据原函数存在定理:AM@微积分基本定理@微积分第二基本定理_不定积分_05,是连续函数AM@微积分基本定理@微积分第二基本定理_微积分基本定理_06的一个原函数
  • 两个原函数之差AM@微积分基本定理@微积分第二基本定理_定积分_07AM@微积分基本定理@微积分第二基本定理_定积分_08上必定是某个常数C
  • AM@微积分基本定理@微积分第二基本定理_不定积分_09,即AM@微积分基本定理@微积分第二基本定理_不定积分_10(1)
  • AM@微积分基本定理@微积分第二基本定理_微积分基本定理_11=AM@微积分基本定理@微积分第二基本定理_不定积分_12(1-1)
  • AM@微积分基本定理@微积分第二基本定理_微积分基本定理_13(2);AM@微积分基本定理@微积分第二基本定理_微积分基本定理_14(2-1)
  • 两式相减:AM@微积分基本定理@微积分第二基本定理_微积分基本公式_15=AM@微积分基本定理@微积分第二基本定理_微积分基本定理_16(2-2),等号左右代入(1-1),得AM@微积分基本定理@微积分第二基本定理_不定积分_17=AM@微积分基本定理@微积分第二基本定理_微积分基本定理_16(3),即定理(公式(0))成立
  • 本定理揭示了定积分被积函数的"原函数或不定积分"之间的联系(不定积分的结果为原函数)
  • 更一般的.当AM@微积分基本定理@微积分第二基本定理_微积分基本定理_19,定理也成立

微积分基本公式

  • 公式(0)称为Newton-Leibniz公式,也叫微积分基本公式
  • 利用本公式可以大大简化定积分的计算手续

公式书写

  • 记:AM@微积分基本定理@微积分第二基本定理_不定积分_20=AM@微积分基本定理@微积分第二基本定理_不定积分_21=AM@微积分基本定理@微积分第二基本定理_微积分基本定理_22AM@微积分基本定理@微积分第二基本定理_微积分基本公式_23=AM@微积分基本定理@微积分第二基本定理_微积分基本定理_22;
  • 第2种写法用得较少,但当遇到AM@微积分基本定理@微积分第二基本定理_微积分基本公式_25本身以绝对值结尾的,可以提供方便,不易混淆

  • AM@微积分基本定理@微积分第二基本定理_微积分基本公式_26=AM@微积分基本定理@微积分第二基本定理_微积分基本公式_27=AM@微积分基本定理@微积分第二基本定理_微积分基本公式_28
  • AM@微积分基本定理@微积分第二基本定理_微积分基本定理_29=AM@微积分基本定理@微积分第二基本定理_微积分基本定理_30=AM@微积分基本定理@微积分第二基本定理_微积分基本公式_31=AM@微积分基本定理@微积分第二基本定理_定积分_32

结合不定积分的方法求定积分

定积分换元法

  • 设函数AM@微积分基本定理@微积分第二基本定理_微积分基本定理_02在区间AM@微积分基本定理@微积分第二基本定理_不定积分_03上连续,函数AM@微积分基本定理@微积分第二基本定理_定积分_35满足
  • AM@微积分基本定理@微积分第二基本定理_不定积分_36,AM@微积分基本定理@微积分第二基本定理_微积分基本定理_37(0)
  • AM@微积分基本定理@微积分第二基本定理_不定积分_38AM@微积分基本定理@微积分第二基本定理_不定积分_39(或AM@微积分基本定理@微积分第二基本定理_微积分基本定理_40)上中具有连续导函数,且其值域AM@微积分基本定理@微积分第二基本定理_不定积分_41=AM@微积分基本定理@微积分第二基本定理_不定积分_42
  • AM@微积分基本定理@微积分第二基本定理_不定积分_43.为例,AM@微积分基本定理@微积分第二基本定理_不定积分_43时,AM@微积分基本定理@微积分第二基本定理_不定积分_45
  • 则:AM@微积分基本定理@微积分第二基本定理_定积分_46=AM@微积分基本定理@微积分第二基本定理_微积分基本定理_47(1),该公式为定积分换元公式
  • AM@微积分基本定理@微积分第二基本定理_不定积分_41超出了AM@微积分基本定理@微积分第二基本定理_不定积分_42,AM@微积分基本定理@微积分第二基本定理_不定积分_38满足其他条件时,只要AM@微积分基本定理@微积分第二基本定理_定积分_51AM@微积分基本定理@微积分第二基本定理_不定积分_41上连续,定理结论仍然成立
  • 通过方程组(0)解出AM@微积分基本定理@微积分第二基本定理_微积分基本定理_53大小可能AM@微积分基本定理@微积分第二基本定理_定积分_54,也可能时AM@微积分基本定理@微积分第二基本定理_定积分_55,这不影响结果,只要保证AM@微积分基本定理@微积分第二基本定理_微积分基本定理_56对应的AM@微积分基本定理@微积分第二基本定理_微积分基本公式_57作为积分下限,AM@微积分基本定理@微积分第二基本定理_定积分_58对应的AM@微积分基本定理@微积分第二基本定理_不定积分_59作为积分上限,就能保证结果正确
  • 回顾不定积分的二类换元法积分公式:
  • 通过变量代换AM@微积分基本定理@微积分第二基本定理_微积分基本定理_60,AM@微积分基本定理@微积分第二基本定理_定积分_61=AM@微积分基本定理@微积分第二基本定理_不定积分_62,
  • 通过变量代换AM@微积分基本定理@微积分第二基本定理_定积分_63,则AM@微积分基本定理@微积分第二基本定理_不定积分_64=AM@微积分基本定理@微积分第二基本定理_微积分基本公式_65
证明
  • 由假设得,AM@微积分基本定理@微积分第二基本定理_不定积分_66,AM@微积分基本定理@微积分第二基本定理_微积分基本定理_67(1-1)都连续的,由**连续函数原函数存在定理,**这两个函数的定积分和原函数都存在,(1)式两边都可以用微积分基本公式
  • AM@微积分基本定理@微积分第二基本定理_微积分基本公式_68AM@微积分基本定理@微积分第二基本定理_定积分_51的一个原函数(即AM@微积分基本定理@微积分第二基本定理_微积分基本定理_70),由微分积分基本公式,AM@微积分基本定理@微积分第二基本定理_不定积分_71=AM@微积分基本定理@微积分第二基本定理_微积分基本定理_72(2)
  • AM@微积分基本定理@微积分第二基本定理_定积分_73AM@微积分基本定理@微积分第二基本定理_微积分基本公式_74的一个原函数,则AM@微积分基本定理@微积分第二基本定理_微积分基本公式_75=AM@微积分基本定理@微积分第二基本定理_定积分_76
  • 欲证明(1),即证明AM@微积分基本定理@微积分第二基本定理_微积分基本定理_72=AM@微积分基本定理@微积分第二基本定理_定积分_76
  • 记复合函数:AM@微积分基本定理@微积分第二基本定理_不定积分_79(3)AM@微积分基本定理@微积分第二基本定理_微积分基本公式_80AM@微积分基本定理@微积分第二基本定理_微积分基本公式_68关于AM@微积分基本定理@微积分第二基本定理_微积分基本公式_82的表示法AM@微积分基本定理@微积分第二基本定理_不定积分_83,
  • 复合函数求导法:AM@微积分基本定理@微积分第二基本定理_不定积分_84=AM@微积分基本定理@微积分第二基本定理_不定积分_85=AM@微积分基本定理@微积分第二基本定理_定积分_86=AM@微积分基本定理@微积分第二基本定理_微积分基本公式_74,可见,AM@微积分基本定理@微积分第二基本定理_微积分基本公式_80AM@微积分基本定理@微积分第二基本定理_微积分基本公式_74的一个原函数,由微积分基本公式,有AM@微积分基本定理@微积分第二基本定理_不定积分_90=AM@微积分基本定理@微积分第二基本定理_定积分_91 (4)
  • 又由(1-1),(3),(0)
  • AM@微积分基本定理@微积分第二基本定理_不定积分_92=AM@微积分基本定理@微积分第二基本定理_定积分_93=AM@微积分基本定理@微积分第二基本定理_微积分基本定理_72(5)
  • 由(2),(5):AM@微积分基本定理@微积分第二基本定理_不定积分_20=AM@微积分基本定理@微积分第二基本定理_微积分基本定理_22=AM@微积分基本定理@微积分第二基本定理_不定积分_97,这就是公式(1),公式成立

定积分换元公式逆用

  • AM@微积分基本定理@微积分第二基本定理_微积分基本定理_98=AM@微积分基本定理@微积分第二基本定理_微积分基本定理_99(6)
  • 通过AM@微积分基本定理@微积分第二基本定理_定积分_100引入新变量AM@微积分基本定理@微积分第二基本定理_微积分基本公式_82,而AM@微积分基本定理@微积分第二基本定理_微积分基本定理_102,AM@微积分基本定理@微积分第二基本定理_微积分基本公式_103
  • AM@微积分基本定理@微积分第二基本定理_定积分_104,AM@微积分基本定理@微积分第二基本定理_不定积分_105
  • 方法1:不定积分公式法,AM@微积分基本定理@微积分第二基本定理_微积分基本公式_106=AM@微积分基本定理@微积分第二基本定理_微积分基本公式_107=AM@微积分基本定理@微积分第二基本定理_定积分_108=AM@微积分基本定理@微积分第二基本定理_微积分基本公式_109
  • 方法2:不定积分换元法:令AM@微积分基本定理@微积分第二基本定理_不定积分_110,则AM@微积分基本定理@微积分第二基本定理_不定积分_111
  • 积分限转化:AM@微积分基本定理@微积分第二基本定理_微积分基本定理_112时,AM@微积分基本定理@微积分第二基本定理_微积分基本定理_113;AM@微积分基本定理@微积分第二基本定理_微积分基本定理_114时,AM@微积分基本定理@微积分第二基本定理_微积分基本公式_115
  • AM@微积分基本定理@微积分第二基本定理_不定积分_116=AM@微积分基本定理@微积分第二基本定理_定积分_117=AM@微积分基本定理@微积分第二基本定理_微积分基本公式_118=AM@微积分基本定理@微积分第二基本定理_微积分基本定理_119=AM@微积分基本定理@微积分第二基本定理_微积分基本公式_120
  • AM@微积分基本定理@微积分第二基本定理_微积分基本公式_121
  • 方法1:AM@微积分基本定理@微积分第二基本定理_不定积分_122=AM@微积分基本定理@微积分第二基本定理_定积分_123=AM@微积分基本定理@微积分第二基本定理_定积分_124=AM@微积分基本定理@微积分第二基本定理_微积分基本公式_125
  • 方法:使用公式6
  • AM@微积分基本定理@微积分第二基本定理_微积分基本公式_126,则AM@微积分基本定理@微积分第二基本定理_微积分基本公式_127=AM@微积分基本定理@微积分第二基本定理_微积分基本定理_128,AM@微积分基本定理@微积分第二基本定理_微积分基本公式_129AM@微积分基本定理@微积分第二基本定理_微积分基本定理_112,AM@微积分基本定理@微积分第二基本定理_微积分基本定理_131;当AM@微积分基本定理@微积分第二基本定理_不定积分_132,AM@微积分基本定理@微积分第二基本定理_微积分基本定理_113
  • AM@微积分基本定理@微积分第二基本定理_微积分基本定理_134=AM@微积分基本定理@微积分第二基本定理_定积分_135=AM@微积分基本定理@微积分第二基本定理_微积分基本公式_136=AM@微积分基本定理@微积分第二基本定理_不定积分_137=AM@微积分基本定理@微积分第二基本定理_微积分基本公式_138
  • AM@微积分基本定理@微积分第二基本定理_微积分基本定理_02在[0,1]上连续,则AM@微积分基本定理@微积分第二基本定理_微积分基本公式_140=AM@微积分基本定理@微积分第二基本定理_定积分_141
  • 方法1:
  • AM@微积分基本定理@微积分第二基本定理_微积分基本定理_142=AM@微积分基本定理@微积分第二基本定理_微积分基本公式_143=AM@微积分基本定理@微积分第二基本定理_微积分基本定理_144
  • AM@微积分基本定理@微积分第二基本定理_不定积分_145,当AM@微积分基本定理@微积分第二基本定理_微积分基本定理_112时,AM@微积分基本定理@微积分第二基本定理_微积分基本公式_115;AM@微积分基本定理@微积分第二基本定理_不定积分_132时,AM@微积分基本定理@微积分第二基本定理_微积分基本定理_113
  • AM@微积分基本定理@微积分第二基本定理_微积分基本定理_142=AM@微积分基本定理@微积分第二基本定理_不定积分_151=AM@微积分基本定理@微积分第二基本定理_微积分基本定理_152=AM@微积分基本定理@微积分第二基本定理_定积分_153,等式得证
  • 方法2:
  • AM@微积分基本定理@微积分第二基本定理_不定积分_154,则AM@微积分基本定理@微积分第二基本定理_定积分_155=AM@微积分基本定理@微积分第二基本定理_微积分基本定理_156,且AM@微积分基本定理@微积分第二基本定理_微积分基本定理_112AM@微积分基本定理@微积分第二基本定理_微积分基本公式_115,当AM@微积分基本定理@微积分第二基本定理_不定积分_132时,AM@微积分基本定理@微积分第二基本定理_微积分基本定理_113于是AM@微积分基本定理@微积分第二基本定理_微积分基本定理_161=AM@微积分基本定理@微积分第二基本定理_微积分基本定理_162=AM@微积分基本定理@微积分第二基本定理_微积分基本定理_163=AM@微积分基本定理@微积分第二基本定理_微积分基本定理_142

和不定积分第二类换元法的差别

  • AM@微积分基本定理@微积分第二基本定理_微积分基本定理_165把原来变量AM@微积分基本定理@微积分第二基本定理_定积分_166代换成新变量AM@微积分基本定理@微积分第二基本定理_定积分_167时,积分限也要换成新变量AM@微积分基本定理@微积分第二基本定理_定积分_167积分限
  • 求出AM@微积分基本定理@微积分第二基本定理_微积分基本定理_169的一个原函数AM@微积分基本定理@微积分第二基本定理_微积分基本公式_170后,不再需要像不定积分那样将AM@微积分基本定理@微积分第二基本定理_微积分基本公式_170变换回原来的变量AM@微积分基本定理@微积分第二基本定理_定积分_166的函数(不要求反函数存在),只需要将AM@微积分基本定理@微积分第二基本定理_定积分_167的上下限AM@微积分基本定理@微积分第二基本定理_定积分_174分别代入AM@微积分基本定理@微积分第二基本定理_微积分基本公式_170作差即可

定积分分部积分法

  • AM@微积分基本定理@微积分第二基本定理_微积分基本定理_176=AM@微积分基本定理@微积分第二基本定理_定积分_177=AM@微积分基本定理@微积分第二基本定理_微积分基本定理_178=AM@微积分基本定理@微积分第二基本定理_微积分基本定理_179
  • 简记为AM@微积分基本定理@微积分第二基本定理_微积分基本公式_180=AM@微积分基本定理@微积分第二基本定理_不定积分_181AM@微积分基本定理@微积分第二基本定理_定积分_182=AM@微积分基本定理@微积分第二基本定理_微积分基本公式_183
  • 公式表明,原函数已经积出的部分可以先用上下限代入,尽快简化算式
  • 求证:AM@微积分基本定理@微积分第二基本定理_微积分基本定理_184=AM@微积分基本定理@微积分第二基本定理_不定积分_185=AM@微积分基本定理@微积分第二基本定理_微积分基本公式_186
  • =AM@微积分基本定理@微积分第二基本定理_微积分基本定理_187,AM@微积分基本定理@微积分第二基本定理_微积分基本公式_188为偶数
  • =AM@微积分基本定理@微积分第二基本定理_微积分基本公式_189,AM@微积分基本定理@微积分第二基本定理_微积分基本公式_188为大于1的正奇数
  • 证明:
  • AM@微积分基本定理@微积分第二基本定理_微积分基本定理_191=AM@微积分基本定理@微积分第二基本定理_不定积分_192=AM@微积分基本定理@微积分第二基本定理_微积分基本定理_193
  • 由分部积分公式:AM@微积分基本定理@微积分第二基本定理_微积分基本公式_194=AM@微积分基本定理@微积分第二基本定理_微积分基本公式_195+AM@微积分基本定理@微积分第二基本定理_微积分基本定理_196=AM@微积分基本定理@微积分第二基本定理_定积分_197
  • =AM@微积分基本定理@微积分第二基本定理_定积分_198
  • =AM@微积分基本定理@微积分第二基本定理_不定积分_199-AM@微积分基本定理@微积分第二基本定理_微积分基本公式_200
  • =AM@微积分基本定理@微积分第二基本定理_微积分基本公式_201(0)
  • 移项:AM@微积分基本定理@微积分第二基本定理_微积分基本公式_202,从而AM@微积分基本定理@微积分第二基本定理_微积分基本公式_203(1)
  • 式(2)称为AM@微积分基本定理@微积分第二基本定理_微积分基本公式_194关于AM@微积分基本定理@微积分第二基本定理_不定积分_205的递推公式
  • AM@微积分基本定理@微积分第二基本定理_微积分基本公式_188替换为AM@微积分基本定理@微积分第二基本定理_微积分基本公式_207,则由(1)得AM@微积分基本定理@微积分第二基本定理_微积分基本公式_208,AM@微积分基本定理@微积分第二基本定理_定积分_209
  • 类似的递推下去,知道AM@微积分基本定理@微积分第二基本定理_微积分基本公式_210下标递减至0或1为止:
  • AM@微积分基本定理@微积分第二基本定理_定积分_211时,最终为AM@微积分基本定理@微积分第二基本定理_微积分基本公式_212,
  • AM@微积分基本定理@微积分第二基本定理_微积分基本定理_213时,最终为AM@微积分基本定理@微积分第二基本定理_定积分_214
  • AM@微积分基本定理@微积分第二基本定理_微积分基本公式_215=AM@微积分基本定理@微积分第二基本定理_不定积分_216;AM@微积分基本定理@微积分第二基本定理_微积分基本公式_217=1(3)
  • 所以,由(1)
  • AM@微积分基本定理@微积分第二基本定理_微积分基本定理_218=AM@微积分基本定理@微积分第二基本定理_微积分基本公式_219(4-1)
  • AM@微积分基本定理@微积分第二基本定理_微积分基本公式_220=AM@微积分基本定理@微积分第二基本定理_微积分基本定理_221(4-2)
  • 代入等式组(3),结合AM@微积分基本定理@微积分第二基本定理_定积分_153=AM@微积分基本定理@微积分第二基本定理_微积分基本定理_142,即欲证结论得证