摘要：研究单面完整约束力学系统的形式不变性，根据运动微分方程的形式在无限小变换下的不变性，给出了单面完整约束力学系统形式不变性的定义和判据，建立了系统的形式不变性与Noether对称性、Lie对称性之间的关系，并举例说明结果的应用。

关键词：分析力学 单面约束 形式不变性 lie对称性 noether对称性 

单位：苏州科技学院土木工程系，苏州215011