将 x0<x1<x<……<xh=C 0 和 c=xk<xkl<xkr<.<xn= b 分别看成是对[a,c和[c,b作的划分,则显然有 ∑OAx<E和∑oAx<E, 由定理7.1.3,f(x)在[a,q]和[c,b上都是可积的。将 a x x x x c = 0  1  2  k = 和 c = xk  xk+1  xk+2  xn = b 分别看成是对[a, c]和[c, b]作的划分，则显然有 1 k i i i   x =    和 1 n i i i k   x = +    ， 由定理 7.1.3， f (x)在[a, c]和[c, b]上都是可积的