展开 证明拉格朗日方程是可分离的