Lagrange的定式化