这里的相等是一个瞬态量，就是在能运动到的最高点的一瞬间恰好相等，可以用反证法。如果水平速度不相等，假设小球速度大于滑块速度，那么两物体就会有相对运动，这样小球就会继续向上爬，这就不是最高点了，假设不成立。
