不定积分，那么与之相差一个常数的函数 formula_17也是formula_18的不定积分。本条目中主要介绍定积分，不定积分的介绍参见不定积分条目，无说明的情况下，下文中的“积分”一词均指“定积分”。微积分基本定理是微积分学中的一条重要定理，由艾萨克·牛顿和戈特弗里德·威廉·莱布尼茨在十七世纪分别独立发现。微积分基本定理将积分与微分建立联系，通过找出一个函数的原函数，即可方便地计算它在一个区间上的积分。积分和导数已成为高等数学中最基本的工具，并在自然科学和工程学中得到广泛运用。积分的一个严格的数学