质点系的动能对时间的一阶导数等于作用于质点系的所有力的功率的代数和