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. 即為所求。