展开 验证函数满足拉格朗日定理