展开 拉格朗日和导数定义