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

根据程程显含时的等价性，提出了定常定常系统判据的等同表述。