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

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