展开 拉格朗日函数证明过