贡献者： addis
在拉格朗日方程（式 3 ）（$i=1,\dots,N$，下同）
\begin{equation}
\frac{\mathrm{d}}{\mathrm{d}{t}} \frac{\partial L}{\partial \dot q_i} = \frac{\partial L}{\partial q_i} + Q_i^{(e)}~.
\end{equation}
描述的系统中，假设系统中只有稳定约束
1，即每个质点的位置 $ \boldsymbol{\mathbf{r}} _i$ 不显含时，且 $V$ 不显含 $\dot q$。若系统不随时间变化（即每个广义坐标 $q_i$ 不随时间变化），那么每个广义力（包括势能产生的）都恒为零
\begin{equation}
Q_i = - \frac{\partial V}{\partial q_i} + Q_i^{(e)} = 0~.
\end{equation}
而根据广义力的定义（
式 2 ），有
\begin{equation}
Q_i = \sum_j \boldsymbol{\mathbf{F}} _j^{(a)} \boldsymbol\cdot \frac{\partial \boldsymbol{\mathbf{r}} _j}{\partial q_i} = 0~,
\end{equation}
其中 $ \boldsymbol{\mathbf{F}} _j^{(a)}$ 是作用于点 $ \boldsymbol{\mathbf{r}} _j$ 的所有主动力（即非约束力）的合力。也可以写成类似于微分形式
\begin{equation}
\sum_j \boldsymbol{\mathbf{F}} _j^{(a)} \boldsymbol\cdot \delta \boldsymbol{\mathbf{r}} _j = 0~.
\end{equation}
其中
\begin{equation}
\delta \boldsymbol{\mathbf{r}} _j = \frac{\partial \boldsymbol{\mathbf{r}} _j}{\partial q_i} \delta{q_i}~,
\end{equation}
这里之所以把 $ \boldsymbol{\mathbf{r}} _j$ 的微小增量记为 $\delta \boldsymbol{\mathbf{r}} _j$ 而不是微分 $ \,\mathrm{d}{ \boldsymbol{\mathbf{r}} _j} $，是因为他们是把时间暂停后一些假想的位移，叫做
虚位移（virtual displacement）。而现实中系统中 $ \boldsymbol{\mathbf{r}} _j$ 的微分为
\begin{equation}
\,\mathrm{d}{ \boldsymbol{\mathbf{r}} _j} = \frac{\partial \boldsymbol{\mathbf{r}} _j}{\partial q_i} \dot{q}_i \,\mathrm{d}{t} + \frac{\partial \boldsymbol{\mathbf{r}} _j}{\partial t} \,\mathrm{d}{t} ~,
\end{equation}
系统静止时所有的点 $ \boldsymbol{\mathbf{r}} _j$ 都不随时间变化，有 $ \,\mathrm{d}{ \boldsymbol{\mathbf{r}} _j} = \boldsymbol{\mathbf{0}} $，所以要加以区分。
式 4 左边的求和就叫做虚功（virtual work），可记为 $\delta W$，下文会详细讨论。所以式 4 （或者等价的式 2 ）称为虚功原理（principle of virtual work）。虚功原理给出了使系统保持静止（平衡）的必要条件。
概括起来，虚功原理就是说，若一个系统达到平衡静止，那么（假想）稍微改变任意一个广义坐标 $q_i$，主动力做的虚功之和都为零。
未完成：例题：高低不同的两点间悬挂一条质量不计的细线，线比两点之间的距离要长。一个质点在细线上无摩擦滑动，求平衡点。
证明虚功原理
方法 1：用达朗贝尔原理证明。当系统平衡时，每个质点都受力平衡，即 $ \boldsymbol{\mathbf{F}} _j^{(a)}+ \boldsymbol{\mathbf{F}} _j^{(c)} = \boldsymbol{\mathbf{0}} $。其中第一项表示主动力， 第二项表示约束力。所以
\begin{equation}
\sum_j \left( \boldsymbol{\mathbf{F}} _j^{(a)}+ \boldsymbol{\mathbf{F}} _j^{(c)} \right) \boldsymbol\cdot \frac{\partial \boldsymbol{\mathbf{r}} _j}{\partial q_i} = 0~.
\end{equation}
根据
式 18 ，第二项求和后为零，所以
\begin{equation}
Q_i = \sum_j \boldsymbol{\mathbf{F}} _j^{(a)} \boldsymbol\cdot \frac{\partial \boldsymbol{\mathbf{r}} _j}{\partial q_i} = 0~.
\end{equation}
证毕。
方法 2：用拉格朗日方程证明。在静止的系统中，显然式 1 左边第一项为零，而右边第一项中
\begin{equation}
\left. \frac{\partial T}{\partial q_i} \right\rvert _{\dot q = 0} = 0~.
\end{equation}
这是因为 $\dot q = 0$ 时，动能 $T$ 恒为零（每个质点位置不显含时间）。所以
式 2 成立。证毕。
1. 虚功
虚功是指，暂停时间，然后人为地在满足约束条件的前提下人为地让系统做某个运动的过程中某些力所作的功。
例如在例 5 和例 6 中，需要先暂停杆的转动，才能讨论虚功。由于暂停了时间，一切运动都是假想的，$ \partial \boldsymbol{\mathbf{r}} _j/\partial t = \boldsymbol{\mathbf{0}} $，一切微小增量都用 $\delta$ 代替微分符号 $ \,\mathrm{d}{} $。
\begin{equation}
\begin{aligned}
\delta{W} &= \sum_j \boldsymbol{\mathbf{F}} _j \boldsymbol\cdot \delta{ \boldsymbol{\mathbf{r}} }_j
= \sum_{i,j} \boldsymbol{\mathbf{F}} _j \boldsymbol\cdot \frac{\partial \boldsymbol{\mathbf{r}} _j}{\partial q_i} \delta q_i\\
&= \sum_i Q_i \delta q_i = \sum_i \delta{W_i}~,
\end{aligned}
\end{equation}
注意这里的 $ \boldsymbol{\mathbf{F}} _i$ 和 $Q_i$ 都只能是 $q$ 的函数。可以用该式对比广义力的真实做功（
子节 2 ）以加深理解。在一个假想的过程中，同样可以对
式 10 做类似
线积分的积分
\begin{equation}
W_i = \int_{q=q_1}^{q=q_2} Q_i(q) \,\mathrm{d}{q} _i~.
\end{equation}
根据数学符号的习惯，积分中的 $ \,\mathrm{d}{} $ 还是保留原样看起来比较自然。
1. ^ 例如例 5 和例 6 中具有不稳定约束，所以虚功原理不适用。