ula_21 上的一个反导函数，那么有证明：取区间formula_23的一个分割：formula_24，又设formula_25，根据均值定理有 formula_26， 使得所以formula_1 在闭区间 formula_23 上连续，故黎曼可积，让 formula_31 于是当 formula_32，也就是分割越来越细时有 <br>于是有formula_17 的每个反导函数都可以叫做 formula_1 的不定积分，简写作formula_38，因为在计算定积分时，积分常数在相减时消掉