关于往返相遇模型问题的公式是怎么推出来的?