Cauchy微分中值定理别证

本文用反证法证明Cauchy微分中值定理。Rolle、Lagrange定理是其直接推论。定理设f,g在[a,b]上连续,在(a,b)内可微,则存在c∈(a,b),使得 f′(c)[φ(b)-φ(a)]=φ′(c)[f(b)-f(a)]。证明设对任意x∈(a,b) f′(x)[φ(b)-φ(a)]-φ′(x)[f(b)-f(a)]≠0,则 d/(dx){f(x)[φ(b)-φ(a)]-φ(x)[f(b)-f(a)]}≠0,记 F(x)=f(x)[φ(b)-φ(a)]-φ(x)[f(b)-f(a)],则F在[a,b]上连续,在(a,b)内可微且F′≠0。故由Darboux知,对所有x∈(a,b)F′>0或