Esta pregunta ya tiene una respuesta aquí:

Desde varias publicaciones dentro de stackoverflow y afuera, he llegado a saber cómo detectar ciclos en una lista vinculada, la duración de un ciclo. También encontré el método sobre cómo detectar el inicio del ciclo.

Aquí están los pasos nuevamente como referencia.

Detección de bucle:

Tiene dos punteros, denominados clásicamente liebre y tortuga. Mueva la liebre por 2 pasos y la tortuga por 1. Si se encuentran en algún momento, entonces seguramente hay un ciclo y el punto de encuentro está obviamente dentro del ciclo.

Longitud del bucle de búsqueda:

Mantenga un puntero fijo en el punto de encuentro mientras incremente el otro hasta que vuelvan a ser iguales. Incremente un contador a medida que avanza y el valor del contador en la reunión será la duración del ciclo.

Encuentre el inicio del ciclo

Tome un puntero para comenzar la lista y mantenga el otro en el punto de encuentro. Ahora incremente ambos en uno y el punto de encuentro es el inicio del bucle. Verifiqué el método usando algunos casos en papel, pero no entiendo por qué debería funcionar.

¿Puede alguien proporcionar una prueba matemática de por qué funciona este método?