由不定积分的定义知,若为在区间上的原函数,即或,则在区间内的不定积分为
,
易见是的的原函数,故有:
或,
又由于是的原函数,故有:
或.
从上可见微分运算与积分运算是互逆的. 两个运算连在一起时,完全抵消,抵消后差一常数.