推导 f ^ = J T λ \hat{f}=J^T \lambda f^=JTλ 一个与时间无关的完整约束 Φ ( s ) = 0 \Phi(s) = 0 Φ(s)=0,求导得到微分约束: 由牛顿第二定理, 其中 s s s是广义坐标向量, f f f是外力, f ^ \hat{f} f^代表约束力 虚功原理说明约束力不做功,故 微分约束表明 J J J的每个行向量均与 s ˙ \dot{s} s˙正交,那么行向量的线性组合也仍与其正交,所以 J T λ = 0 J^T \lambda=0 JTλ=0, 求解拉格朗日乘子 对完整约束求二阶导: 将约束力带入上式得