Starting with Lagrange equations of the first kind, pure differential equations of multibody systems with rheonomic constraints are established.

根换方程约束方程显含时的等价性，提出了约束系统判的等同表述。