展开 拉格朗日函数推导过