我们可以这样证明:
假设 slow 和 fast 有可能相遇,那么在相遇之前,设 slow 走了 $n$ 圈,fast 走了 $2n$ 圈。而在相遇之后,slow 走了 $n+1$ 圈,fast 走了 $2n+1$ 圈。
由于 $2n+1 = (n+1) + n$,所以我们可以得到 slow 和 fast 在相遇之后的位置其实是 slow 在相遇之前的位置。这意味着 slow 和 fast 在相遇之后会再次相遇。
但是这与我们的假设矛盾,因此我们得出结论:在一个圆里 slow 和 fast 永远无法相遇。