从战棋游戏推导兰切斯特方程：以天地劫为例