速位公式是如何推导出来的?