约束力的项目可以从方程式内移去，达朗贝尔原理成立：现在，总和内的每一个单独formula_25很可能不等于零。定义有效力formula_26为外力加惯性力：达朗贝尔原理又可表达为：对于任意物理系统，所有有效力，经过符合约束条件的虚位移，所作的虚功的总合等于零，注意到这推论里的约束力假设。在这里，约束力就是牛顿第三定律的反作用力。因此，可以称此假设为反作用力的虚功假设：所有反作用力所做的符合约束条件的虚功，其总合是零。这是分析力学额外设立的假设，无法从牛顿运动定律推导出来。Section: