一个函数，可以存在不定积分，而不存在定积分；也可以存在定积分，而不存在不定积分。一个连续函数，一定存在定积分和不定积分；若只有有限个间断点，则定积分存在；若有跳跃间断点，则原函数一定不存在，即不定积分一定不存在。
- 中文名
- 定积分
- 外文名
- definite integral
- 学 科
- 数学
- 本 质
- 积分
- 释 义
- 积分和的极限
- 相关名词
- 不定积分
定积分定义：设函数f(x) 在区间[a,b]上连续，将区间[a,b]分成n个子区间[x0,x1], (x谜元誉1,x2], (x2,x3], …, (xn-1,xn]，其中x0=a，xn=b。可知各区间的长度依次是：△x1=x1-x0，在每个子区间(xi-1,xi]中任取一点ξi（1,2,...,n），作和式
根去旬寻据上述定义，若函数f(x)在区间[a,b]上可积分，则有n等分的特殊分法：
特别轿婶注意，根据上述白樱辨喇表达式有，当[a,b]区间恰好为[0,1]区间赠厚定时，则[0,迎钻1]区间积分表达式为：
1、当a=b时，
2、当a>b时，
5、定积分的可加性：如果积分区间[a,b]被c分为两个子区间[a,c]与[c,b]则有
又由于性质2，若f(x)在区间D上可积，区间D中任意c（可以不在区间[a,b]上）满足条件。
6、如果在区间[a,b]上，f(x)≥0,则
如果
（1）
（2）x=ψ(t)在[α,β]上单值、可导;
（3）当α≤t≤β时，a≤ψ(t)≤b,且ψ（α）=a,ψ(β)=b,
则
设u=u(x),v=v（x）均在区间[a,b]上可导，且u′，v′∈R（[a,b]),则有分部积分公式： [2]
定积分是把函数在某个区间上的图象[a,b]分成n份，用平行于y轴的直线把其分割成无数个矩形，再求当n→+∞时所有这些矩形面积的和。习惯上，用等差级数分点，即相邻两端点的间距
如果这些“矩形面积和”
例如：证明对于函数
且
那么“矩形面积和”为
提取
利用等比级数公式，得到
设
令n增加，则s,q都趋于1，因而N的极限为
定积分定积分的本质是把图象无限细分，再累加起来，而积分的本质是求一个导函数的原函数。它们看起来没有任何的联系，那么为什么定积分要写成积分的形式呢？
一般定理
定理1：设f(x)在区间[a,b]上连续，则f(x)在[a,b]上可积。
定理2：设f(x)区间[a,b]上有界，且只有有限个间断点，则f(x)在[a,b]上可积。
定理3：设f(x)在区间[a,b]上单调，则f(x)在[a,b]上可积。
牛顿-莱布尼茨公式
定积分与不定积分看起来风马牛不相及，但是由于一个数学上重要的理论的支撑，使得它们有了本质的密切关系。把一个图形无限细分再累加，这似乎是不可能的事情，但是由于这个理论，可以转化为计算积分。这个重要理论就是大名鼎鼎的牛顿-莱布尼兹公式，它的内容是：
如果f(x)是[a,b]上的连续函数，并且有F′(x)=f(x)，那么
用文字表述为：一个定积分式的值，就是原函数在上限的值与原函数在下限的值的差。
正因为这个理论，揭示了积分与黎曼积分本质的联系，可见其在微积分学以至更高等的数学上的重要地位，因此，牛顿-莱布尼兹公式也被称作微积分基本定理。
解决求曲边图形的面积问题
求变速直线运动的路程
变力做功
某物体在变力F=F(x)的作用下，在位移区间[a,b]上做的功等于F=F(x)在[a,b]上的定积分。（见图册“应用”）
数列求和的极限
若函数在[a,b]上连续，则有：
若函数在[a,b]上连续，则有：
若函数在[0,1]上连续，则有：
以上三个结论。
