We have a particle at position and velocity [itex]\vec{x}_0, \vec{v}_0[/itex] at time [itex]t.[/itex] Under the application of some force, [itex]\vec{F},[/itex] a time [itex]dt[/itex] later, it has new position and velocity [itex]\vec{x}=\vec{x}_0+d\vec{s}, \vec{v}.[/itex] We can make the time [itex]dt[/itex] as small as we like so that the force [itex]F[/itex] is constant (to first order) over that time.
Assuming the validity of
[tex]\vec{v}^2 = \vec{v}_0^2 + 2\vec{a}\cdot\left(\vec{x}-\vec{x}_0\right),[/tex]
under constant accelerations (which we argue that since [itex]\vec{F}[/itex] is constant, then so is [itex]m\vec{a}[/itex]) then we have
[tex]\vec{v}^2 = \vec{v}_0^2 + 2\vec{a}\cdot\left(\vec{x}-\vec{x}_0\right)[/tex]
[tex]\frac{1}{2}m\vec{v}^2 = \frac{1}{2}m\vec{v}_0^2 + m\vec{a}\cdot d\vec{s}[/tex]
[tex]\frac{1}{2}m\vec{v}^2 - \frac{1}{2}m\vec{v}_0^2 = \vec{F}\cdot d\vec{s}[/tex]
We now define [itex]\frac{1}{2}m\vec{v}^2[/itex] as kinetic energy, and [itex]\vec{F}\cdot d\vec{s}[/itex] as work. We can now say that for finite times, the change in kinetic energy is given by
[tex]\int\vec{F}\cdot d\vec{s},[/tex]
and in the absence of external forces, this quantity kinetic energy, remains constant.
The above is the motivation for the classical form of kinetic energy. The expression for kinetic energy cannot be derived, since it is a definition - a function on co-ordinate space.