微分中值定理中的辅助函数怎么构造