证设F(x)是f(x)的一个原函数, f()x= F(b-F(a), ①(t)=F|(), Φ()=" tt=(xm’(t)= ∫|p(t)p'(t), Φ()是∫|q(t)(t)的一个原函数 ∫|p(t)p(t)dt=Φ(β)-Φ(o) c 上页证 设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), [( )]( ) = () − (),    f t t dt (t)是 f[(t)](t)的一个原函数