拉格朗日定理求证时候,可不可以用如下构造函数?