证明：设辅助函数F(x)＝

∫

x0

f(t)dt+

∫

f(x)0

g(t)dt−xf(x)．
因为F'（x）=f（x）+g[f（x）]f'（x）-f（x）-xf'（x）=0，
所以F（x）=C．
又 C=F（0）=0，
故 F（x）=0，F（a）=0．
又f（a）=b，
因此   

∫

a0

f(x)dx+

∫

b0

g(x)dx＝ab．
所以得证．