展开 罗尔定理应用中辅助函数的构造是什么