Asumir que hay un acuerdo de esa $x_1 , x_2 , \ldots , x_n$ en un círculo en sentido horario organizado .
Ahora toma un poco de $x_k$ y observar que $x_k+x_{k+1}+x_{k+2}$ también $x_{k+1}+x_{k+2}+x_{k+3}$ son números pares. Esto significa que $x_k$ $x_{k+3}$ tienen la misma paridad :
$$x_k \equiv x_{k+3} \pmod{2}$$ for every $k$ .
Ahora la usan para obtener (tenga en cuenta que $x_{n+1}=x_1 , x_{n+2}=x_2 $ etc, porque estamos en un círculo ) :
$$x_1 \equiv x_4 \equiv \ldots \equiv x_{3l+1} \pmod{2}$$ for every $l$ .
Ahora si $n$ no es divisible por $3$, entonces hay algo de $a$ tal que $$an \equiv 1 \pmod{3}$$ (por Bezout )
por lo $an=3b+1$$b$ .Ahora solo tienes que poner $l=b$ para obtener :
$$x_1 \equiv n_{3b+1}\equiv x_{na} = x_{n}\equiv x_3\pmod{2}$$
También por Bezout hay algunos $c$ $d$ tal que $cn=3d+2$ a fin de poner $l=d$ para obtener :
$$x_1 \equiv x_{3d+1}=x_{cn-1}=x_{n-1} \equiv x_2 \pmod{2}$$
Pero entonces :
$$x_1 \equiv x_2 \equiv x_3 \equiv x_4 \equiv \ldots \equiv x_n \pmod{2}$$ de modo que todos los números tienen la misma paridad que es falso .
Por lo $n$ debe ser divisible con $3$ (indicar $n=3k$ ).
Sabemos también que a $x_1 \equiv x_4 \equiv \ldots x_{3k-2} \pmod{2}$ y los análogos de $x_2$ , $x_3$ .
Si $x_1 , x_2 , x_3$ son incluso tenemos una contradicción de nuevo .Así que incluso uno de ellos es y los otros dos son impares . El uso de las congruencias esto significa que no se $k$ incluso números y $2k$ números impares de$1$$n$. Pero ellos no difieren en más de $1$ así :
$$2k-k \leq 1$$
$k \leq 1$ $n=3$ es la única solución (y la construcción es simple )