From Newton's second law, (introduced in Eq. (E.1)), we can derive the formula for the kinetic energy of a mass given its speed . Let denote a small (infinitesimal) displacement of the mass in the direction. Then we have, using the calculus of differentials,
Thus, by Newton's second law, a differential of work applied to a mass by force through distance boosts the kinetic energy of the mass by . Therefore, we must have
The quantity is classically called the virtual work associated with force , and a virtual displacement [521].