柯西中值定理是在什么情况下得出的