题目描述：

给定一个链表，返回链表开始入环的第一个节点。 如果链表无环，则返回 null。
为了表示给定链表中的环，我们使用整数 pos 来表示链表尾连接到链表中的位置（索引从 0 开始）。
如果 pos 是 -1，则在该链表中没有环。
说明：不允许修改给定的链表。

题目分析

引理证明：快指针追上慢指针的时候，慢指针距离环形链表初始点的长度等于原始链表头距离环形链表初始点的长度。
设原始链表中 环形部分长度为n，非环型部分长度为m。（不妨设n>m，其他形况相同，不一一列举了）
则慢针入环时，快针刚好领先慢针m个，则可看成，慢针领先快针（n-m）个。即，在（n-m）步后，快指针追上慢指针，此时慢指针距离入口处刚好（n-（n-m））=m个距离

python代码如下

# Definition for singly-linked list.
# class ListNode(object):
#     def __init__(self, x):
#         self.val = x
#         self.next = None

class Solution(object):
    def detectCycle(self, head):
        """
        :type head: ListNode
        :rtype: ListNode
        """
        
        # 1，快慢指针判断是否有环
        fast = head
        slow = head

        while fast != None and fast.next != None:
            fast = fast.next.next
            slow = slow.next
            if fast == slow:
                break
        if fast == None or fast.next == None:
            return None
        # 2， 慢指针继续  快指针从头开始
        # 按照定理的推展
        while head != slow:
            head = head.next
            slow = slow.next


        return head

c++代码

待续