展开 拉格朗日函数定义