I am currently in Mechanics I and both my professor and my book have derived the work principle in this way and I even asked about its derivation during class, but it has me puzzled.
I don't understand how they justify $$d(v.v)/dt = 2v.v' .$$ I'm assuming they take the $m$ out as a constant and but if they are taking the derivative with respect to time how does the 2 come in. Further more where does the half come from in 4.1.4. I recognize the$ (1/2) mv,$ but why wouldn't it be $(1/2) mv^2?$ I would appreciate any insight, I'm at a loss.