f=m*dv/dt=-k*v,
等价于dv/v=-k/m*dt,
两边积分得 ln(v)+C=-k*t/m,
代入初始条件得
v/v0=e^(-kt/m),
至于dv/dt,其实不用积分也可以求,
dv/dt=-k*v0/m