达布定理（D'Alembert's principle）是经典力学中的一个基本原理，它表述了一个系统的运动方程可以通过将系统的动力学变换为一个静止的参考系来得到。

达布定理的证明过程如下：

假设一个质点在一定的力作用下做直线运动，我们可以将其运动分解为两个部分：一个是沿着力的方向运动，另一个是垂直于力的方向运动。因为沿着力的方向运动是一个简单的直线运动，所以我们只需要考虑垂直于力的方向运动。

我们设想一个虚拟的系统，它与原系统相同，但是我们假设它处于静止状态。我们将虚拟系统的质点与原系统的质点连接起来，形成一个刚性杆。我们可以将这个杆看作是一个没有质量的杆，因为它只是用来表示两个系统之间的关系。

现在，我们考虑在虚拟系统中加入一个惯性力。这个惯性力的作用是使得杆的运动状态与原系统的运动状态相同。因为杆是刚性的，所以它的运动状态与质点的运动状态相同。

现在我们来看杆的运动状态。由于杆是刚性的，所以它的加速度是相同的。因此，我们可以将杆的运动状态看作是质点的运动状态。因此，我们可以将杆的动力学变换为一个静止的参考系，这个参考系是虚拟系统的参考系。因此，我们可以得到杆的运动方程。

现在，我们将杆的运动方程转换为原系统的参考系。因为杆的运动状态与质点的运动状态相同，所以我们可以得到质点的运动方程。这个运动方程与原系统的运动方程相同，因此我们可以得到达布定理。

达布定理的本质是将动力学问题转化为静力学问题，从而简化了问题的分析。它是经典力学中的一个基本原理，被广泛应用于各种物理问题的分析与研究中。