Floyd判环算法（龟兔赛跑算法），一定会相遇吗？

仅考虑，两指针都进入了环那一刻：
设在环中:
指针1位置：，步长：
指针2位置： ，步长：
圈长：
第n步时：
指针1位置：
指针2位置：

若指针1，指针2不能相遇，即证明：不存在， 其中为指针1和指针2在环中位置。
两式相减：
证明： 无解

画图，上面就是两条直线 和，第二条直线过点（C,d）。

容易看出，会存在整数解，使得两直线相交
所以无解不成立，所以会相遇