数学建模-行程问题公式推导