x:时间。 y:离A的距离。 t:上山与下山中耗时长的那一个。 y=f(x), 上山函数。 x=0,从A出发 y=g(x), 下山函数。x=0, 从B出发 y=h(x)= f(x)- g(x)连续 h(0) = A-B < 0;h(t)= B-A >0。 故存在时间点s,使得 h(s) = 0. 即为所求。