追击公式是怎么推导来的?