追及时间的公式怎么得来的