展开 柯西中值定理证明辅助函数