中文:拉氏公式;英文:Lagrange invariant