Podemos tomar la $\xi$ como un primitivo $19$-ésima raíz de la unidad, $\xi=\exp\left(\frac{2\pi i}{19}\right)$, a continuación, compruebe que la primaria simétrica funciones de
$$ a = \xi^2+\xi^3+\xi^5+\xi^{14}+\xi^{16}+\xi^{17} $$
$$ b = \xi^4+\xi^6+\xi^9+\xi^{10}+\xi^{13}+\xi^{15} $$
$$ c = \xi^1 + \xi^7 + \xi^8+\xi^{11}+\xi^{12}+\xi^{18} $$
simplificar dando los coeficientes de $x^3+x^2-6x-7$.
Que depende de Kummer suma, el cúbicos, equivalente a un período de Gauss.
Para abreviar: el grupo de Galois del polinomio mínimo de a$\xi$$\mathbb{Z}/(18\mathbb{Z})$, y el polinomio $x^3+x^2-6x-7$ codifica un subgrupo de un grupo. Observe que $\{1,7,8,11,12,18\}$ son exactamente las cúbicos de residuos en $\mathbb{Z}/(19\mathbb{Z})^*$, que es generado por $2$, e $\!\!\pmod{19}$
$$2\cdot\{1,7,8,11,12,18\}=\{2,3,5,14,16,17\},$$
$$2^2\cdot\{1,7,8,11,12,18\}=\{4,6,9,10,13,15\},$$
dar a los exponentes asociados con $c,a,b$.
Podemos realizar el mismo truco con el primer $p=13\equiv 1\pmod{3}$.
$\mathbb{Z}/(p\mathbb{Z})^*$ es generado por $2$ y el cúbicos de residuos de $\!\!\pmod{p}$$\{1,5,8,12\}$,
por lo tanto, si tomamos $\xi=\exp\left(\frac{2\pi i}{13}\right)$ tenemos que:
$$ x_1 = \xi^1+\xi^5+\xi^8+\xi^{12} = 2\cos\left(\frac{2\pi}{13}\right)+2\cos\left(\frac{10\pi}{13}\right),$$
$$ x_2 = \xi^2+\xi^3+\xi^{10}+\xi^{11} = 2\cos\left(\frac{4\pi}{13}\right)+2\cos\left(\frac{6\pi}{13}\right),$$
$$ x_3 = \xi^4+\xi^6+\xi^7+\xi^{9} = 2\cos\left(\frac{8\pi}{13}\right)+2\cos\left(\frac{12\pi}{13}\right),$$
se conjugan números algebraicos, las raíces del polinomio
$$ p(x) = x^3+x^2-4x+1.$$