速位公式等几个公式是怎么推出来的