罗尔定理满足