罗尔定理构造辅助函数的方法