证设F(x)是f(x)的一个原函数, ∫(x)x=F(b)-F(a) Φp()=F|p()l df dx (t)= =f(x)0(t)=l()l'(, dx dt Φ()是fp(t)p'(t)的一个原函数 ∫|p()lp(tlt=Φ(β)-Φ(a),证 设F(x)是 f (x)的一个原函数， f (x)dx F(b) F(a), b a = −  (t) = F[(t)], dt dx dx dF (t) =  = f (x)(t) = f [(t)](t), (t)是 f[(t)](t)的一个原函数. [( )]( ) = () − (),    f t t dt