When I first saw this derivation my teacher allowed differentials to cancel each other out. I found this strange since differential notation is based on a limiting process. How could they become simple fractions? I learned later that this is possible due to the chain-rule.

Here I will derive the Work Energy theorem in 1-D without canceling any differential fractions.

Using Newton’s Second Law: we replace the acceleration with the time derivative of velocity.

Work is defined as the integral of force times distance integrated over its trajectory. The reason for this is that this integral can be evaluated.

Due to chain rule we have the following:

One of the terms is simply the velocity.

This term below looks very interesting. It seems like someone took the derivative of a velocity function with respect to position using the chain rule.

is the square of the velocity.

Now subbing into the work integral.

We can see that the integral undoes the derivative since they are both respect to position. We should clarify that the integral is taken from the initial position to the final which correspond to the initial and final velocity.

Define Kinetic Energy as the following

Done! Let me know if I made a mistake.