读过好多书，里面对判断链表环路的方法一般都是说：维护两个临时元素指针，一个依次指向链表元素， 另一个依次指向链表的奇数个元素；判断这两个元素指向的元素是否相等，如果相等，则表示有环路，如果不相等，则表示没有环路。

我想问的是，这样做的原理是什么，为什么这么做就能查出是否有环路？怎么用数学理论证明？（虽然我早已知道这种方法是对的）