\[\frac{v}{a}=t_v\:  , \: \: v^2/a = vt_v \: ,\: \:  mv^2/a = mvt_v\:  ,\: \: 
F v t_v = mv^2 = 2E_k.
\]