Sea $\zeta_n$ denotan la primera $n$ -enésima raíz de la unidad en el sentido contrario a las agujas del reloj desde $1$ .
Si estás familiarizado con las raíces de la unidad (o lo piensas gráficamente), recordarás que
$$\zeta_8 = \frac{1 + \mathbf{i}}{\sqrt{2}}$$
y así se puede determinar inmediatamente a partir de su posición gráfica en el plano
$$ 1 - \mathbf{i} = \sqrt{2} \zeta_8^7$$
Si sabes o puedes intuir algo de teoría de grupos, te darás cuenta de que porque $\zeta_8^8 = 1$ y porque $3$ y $8$ son relativamente primos, debería poder reescribir $\zeta_8^7$ como algo con un exponente divisible por 3. Por ejemplo
$$ \zeta_8^7 = \zeta_8^{15} $$
En este punto, las terceras raíces de $1 - \mathbf{i}$ son fáciles de determinar: son
$$ \sqrt[6]2 \zeta_8^5 \qquad \qquad \sqrt[6]2 \zeta_8^5 \zeta_3 \qquad \qquad \sqrt[6]2 \zeta_8^5 \zeta_3^2 $$
donde
$$ \zeta_3 = \frac{-1 + \sqrt{3} \mathbf{i}}{2} $$
Si quisiera, podría reescribirlas en términos de $\zeta_{24}$ porque $\zeta_8 = \zeta_{24}^3$ y $\zeta_3 = \zeta_{24}^8$ .
Si las dos últimas raíces de $1 - \mathbf{i}$ no son obvias, recuerde que todas las $n$ -raíces de un número difieren en $n$ -raíces de la unidad; es decir, si $y$ es un $n$ -enésima raíz de $x$ entonces también lo es $y \zeta_n$ . Esto es fácil de comprobar directamente tomando el $n$ -enésima potencia.
$$ (y \zeta_n)^n = y^n \zeta_n^n = y^n = x$$