研究有多余坐标的完整力学系统由形式不变性直接导出的新型守恒量。用有多余坐标的双面理想完整约束力学系统的运动微分方程和约束方程在无限小变换下的形式不变性,给出系统形式不变性的定义和判据。得到形式不变性导致守恒量的条件以及守恒量的形式,并给出三种特殊情形下的推论。举例说明结果的应用。