微积分基本定理
定理 / 维基百科,自由的 encyclopedia
微积分基本定理(英语:Fundamental theorem of calculus)描述了微积分的两个主要运算──微分和积分之间的关系。
定理的第一部分,称为微积分第一基本定理,此定理表明:给定任一连续函数,可以(利用积分)构造出该函数的反导函数。这一部分定理的重要之处在于它保证了连续函数的反导函数的存在性。
定理的第二部分,称为微积分第二基本定理或牛顿-莱布尼茨公式,表明某函数的定积分可以用该函数的任意一个反导函数来计算。这一部分是微积分或数学分析中相当关键且应用很广的一个定理,因为它大大简化了定积分的计算。[1]
该定理的一个特殊形式,首先由詹姆斯·格里高利(1638-1675)证明和出版。[2]定理的一般形式,则由艾萨克·巴罗完成证明。
对微积分基本定理比较直观的理解是:把函数在一段区间的“无穷小变化”全部“加起来”,会等于该函数的净变化,这里“无穷小变化”就是微分,“加起来”就是积分,净变化就是该函数在区间两端点的差。
我们从一个例子开始。假设有一个物体在直线上运动,其位置为,其中为时间,意味着是的函数。这个函数的导数等于位置的无穷小变化除以时间的无穷小变化(当然,该导数本身也与时间有关)。我们把速度定义为位置的变化除以时间的变化。用莱布尼兹记法:
整理,得
根据以上的推理,的变化──,是的无穷小变化之和。它也等于导数和时间的无穷小乘积之和。这个无穷的和,就是积分;所以,一个函数求导之后再积分,得到的就是原来的函数。我们可以合理地推断,这个运算反过来也成立,积分之后再求导,得到的也是原来的函数。