罗尔定理中辅助函数的构造与应用