El siguiente será probar que $\,\overrightarrow{OP_3}\,$ $\,\overrightarrow{OP_0}\,$ girado $\,120^\circ\,$ de las agujas del reloj, lo que significa que $P_3$ está unívocamente determinado por $\,P_0\,$ y no depende de la elección de $\,P_1\,$. La conclusión de que el problema, a continuación, de la siguiente manera directa, ya que significa que los caminos de la $\,P_0 \,\text{-}\, P_1 \,\text{-}\, P_2 \,\text{-}\, P_3\,$ $\,P_0 \,\text{-}\, P_5 \,\text{-}\, P_4 \,\text{-}\, P_3\,$ ha $\,P_3\,$ como un punto común, por lo que la secuencia de $\,P_0 \,\text{-}\, P_1 \,\text{-}\, P_2 \,\text{-}\, P_3 \,\text{-}\, P_4 \,\text{-}\, P_5 \,\text{-}\, P_0\,$ es cerrado.
Para demostrar la proposición, considere el plano complejo con el origen en la intersección de las dos líneas, y el eje real a lo largo de la línea azul. Vamos $\,\color{blue}{p_0=a}\,$, $\,\color{blue}{p_1=b\omega}\,$ con $\,a,b \in \mathbb{R}\,$ y $\,\omega = e^{i \pi / 3}\,$ $=\cos \frac{\pi}{3}+ i \sin \frac{\pi}{3}\,$ donde$|\omega|=1$$\,\omega + \bar \omega = 1\,$. El común de la distancia $\,d\,$ está dado por:
$$
d^2=|p_0-p_1|^2 = (a - b \omega)(a - b \bar \omega)=a^2+b^2|\omega|^2-ab(\omega + \bar \omega) = a^2-ab+b^2
$$
Punto de $\,p_2\,$ se encuentra en el eje real, por lo que es $\,p_2 = c \in \mathbb{R}\,$. La condición de que $\,|p_2-p_1|=s\,$ le da:
$$
\begin{align}
a^2-ab+b^2 = |c-b\omega|^2 = c^2 + b^2 -bc \;\;&\iff\;\; c^2 - bc + ab-a^2 = 0 \\
&\iff\;\; (c-a)(c+a-b) = 0
\end{align}
$$
Desde $p_2 \ne p_0$ se sigue que $\,c-a\ne 0$, lo que deja a $\,c+a-b=0\,$, lo $\,\color{blue}{p_2 = b-a}\,$.
Punto de $\,p_3\,$ se encuentra en la línea de $\,op_1\,$, por lo que es de la forma $\,p_3 = \lambda \omega \mid \lambda \in \mathbb{R}\,$. La distancia condición es:
$$
\begin{align}
&a^2-ab+b^2 = |\lambda\omega-(b-a)|^2 = \lambda^2 + (b-a)^2-\lambda(b-a) \\
&\quad\iff\quad \lambda^2 - \lambda(b-a) -ab = 0 \\
&\quad\iff\quad (\lambda - b)(\lambda+a) = 0 \\
\end{align}
$$
Desde $p_3 \ne p_1$ se sigue que $\,\lambda-b\ne 0$, lo que deja a $\,\lambda+a=0\,$, lo $\,\color{blue}{p_3 = -a\omega}\;$ q.e.d.