rolle定理要辅助函数不需要辅助函数,lagrange定理用微分方程f'(x)-[f(b)-f(a)]/(b-a)=0积分即可求出辅助函数；
cauchy定理用微分方程f'(x)-〔f(b)f(a)〕/[g(b)-g(a)]g'(x)=0积分即可求出辅助函数.