现在指定除去formula_6。重新编排上述约束方程式，求出表示formula_6的函数formula_10：将函数formula_10代入所有提到formula_6的方程式。这样，可以除去所有指定变数formula_6。假设一个物理系统原本的自由度是formula_15。现在，将formula_16个完整约束作用于此系统。那么，这系统的自由度减少为formula_17。可以用formula_18个独立广义座标formula_19来完全描述这系统的运动。座标的转换方程式可以表示如下：换句话说，由