证明函数满足柯西中值定理