The work-energy theorem states that the net work done on a body equals its change in kinetic energy. Derived directly from F = ma by integrating along a path, it provides a scalar alternative to vector dynamics and forms the foundation for energy-based analysis of mechanical systems, including systems with constraints.
You already know the work-energy theorem in the context of particles. The rigorous treatment extends it carefully: it asks where the result truly comes from, when it applies, and why it is so powerful. The derivation is direct — start from Newton's second law F = ma, take the dot product with velocity v on both sides, and recognize that F·v is the instantaneous power while m·a·v = m·(dv/dt)·v = d(½mv²)/dt is the time derivative of kinetic energy. Integrating over time (or equivalently over the path) gives the result: W_net = ΔKE. The net work done by all forces equals the change in kinetic energy. No assumptions were made about the nature of the forces — this is a direct mathematical consequence of F = ma.
The "rigorous" in this topic's title points to two important subtleties. First, the theorem applies to the net work — including constraint forces if they do work. For a particle on a frictionless track, the normal force is always perpendicular to velocity and does no work, so it drops out. For sliding friction, friction does negative work and must be included. Second, for systems of particles or rigid bodies, the theorem must account for internal forces. For a rigid body, internal forces come in equal and opposite pairs and cancel in the work calculation (they do zero net work if the body is truly rigid), leaving only external forces. This is why work-energy is valid for rigid bodies as written — but you must be careful when internal energy changes occur (deformable bodies, heat generation from friction within a system).
The real power of work-energy over Newton-Euler analysis is that it bypasses forces you don't care about. If you want to find the speed of a block at the bottom of a ramp, you don't need to know the normal force — it does no work. If you want the angular velocity of a gear after a known torque acts through a given angle, you integrate torque times angle and set it equal to ΔKE. Constraint forces, internal forces, and any force perpendicular to motion vanish from the calculation. This is why energy methods are the first tool to reach for when forces depend on position (like springs), when paths are curved, or when constraints complicate the free-body diagram.
Building toward Lagrangian mechanics: the work-energy theorem is the embryo of the Lagrangian formulation. When forces are conservative (derivable from a potential energy function), the work done is path-independent and equals the decrease in potential energy. Writing W_net = ΔKE and substituting W_conservative = −ΔPE gives conservation of energy: ΔKE + ΔPE = 0. The Lagrangian L = KE − PE then encodes the dynamics entirely in scalar quantities, and the equations of motion follow from the calculus of variations — all without drawing a single free-body diagram. The rigorous work-energy theorem is the first step on that path.