作为瞬时速度的导数