(1/2)m and (1/2)k are constants, which can be extracted before the formula, leaving v? With x? Derivative of.

dv？ /dt=(dv？ /dv)(dv/dt)=2v(dv/dt)

Similarly, dx? /dt=(dx？ /dx)(dx/dt)=2x(dx/dt).