Introducción
En esta entrada veremos cómo resolver en la ecuación
, en donde
es un complejo y
es un entero positivo. Puedes pensar esto como que aprenderemos a obtener raíces en los complejos, pero sólo para
entero. Más adelante hablaremos de la función exponencial compleja, que nos permitirá elevar a otro tipo de exponentes.
Nuestra herramienta principal será la fórmula de De Moivre, que demostramos en una entrada anterior. Encontrar raíces -ésimas es una herramienta más en nuestra caja para trabajar con números complejos, que hasta el momento ya incluye resolver ecuaciones cuadráticas complejas y sistemas de ecuaciones lineales complejos.
Introducción a raíces en los complejos
Pensemos en un ejemplo sencillo. ¿Cuáles son los complejos tales que
? En
tenemos dos de ellos:
y
. Como









Para mostrar que son las únicas en este sencillo caso, podemos hacer lo siguiente. Expresamos en forma polar
. Expresamos en forma polar una solución
, con
en
. Por el teorema de De Moivre, tenemos que
Así, la norma de
debe satisfacer
, y además
debe ser
, por lo que
debe ser un múltiplo entero de
. La norma es un real positivo, así que la única solución para
es
. Ahora, ¿cuántos argumentos
en
hacen que
sea un múltiplo entero de
?
Para determinar eso, notemos que está en
, y ahí hay exactamente cuatro múltiplos enteros de
, que son

Podemos continuar para verificar que en efecto son las soluciones que ya encontramos. Las soluciones para en cada caso son

que son exactamente .
El teorema de raíces en los complejos
La discusión anterior funciona en general, para cualquier entero positivo y para cualquier complejo
. Siempre tenemos exactamente
soluciones, y sabemos cómo se ven en forma polar.
Teorema. Sea un número complejo no cero dado en forma polar y
un entero positivo. Existen exactamente
elementos distintos de
tales que
. Están dados en forma polar por

Demostración. Tomemos una solución y la escribimos en forma polar
, con
en
. Usando que
es solución y la fórmula de De Moivre, obtenemos que



El ángulo está en el intervalo
, y debe diferir en un múltiplo entero de
del ángulo
. Como
está en
, las únicas posibilidades para
pueden ser los
valores


Verificar que en efecto son soluciones es sencillo, ya sea revirtiendo los pasos que hicimos, o usando directamente la fórmula de De Moivre. Esta verificación queda como tarea moral.
Observa que el teorema dice que para obtener una raíz podemos empezar del complejo de norma y argumento
, y de ahí obtener el resto de las raíces en los complejos «rotando repetidamente
en el plano complejo». Esto muestra que las raíces forman los vértices de un
-ágono regular.
Nos costó un poco de trabajo mostrar que teníamos a lo más soluciones. En realidad, cualquier ecuación polinomial de grado
, es decir, de la forma

Ejemplos de obtener raíces en los complejos
Ejemplo. Encontremos todas las raíces séptimas del complejo . Para empezar, notamos que
, de modo que todas las raíces tienen norma
.
Una de las raíces tiene argumento , y el argumento del resto difiere en múltiplos enteros de
. De esta forma, las raíces son
Problema. Sabemos que . Encuentra las otras raíces cuartas de
.
Solución. Podríamos pasar a forma polar y usar el método anterior. Esto funciona y dará una solución. Pero veamos una solución alternativa más corta, que nos ayuda a entender mejor el teorema de raíces en los complejos.
De acuerdo con lo que probamos, las raíces varían únicamente en argumento, al que se le va sumando . Es decir, si tenemos una raíz en el plano complejo, las demás se obtienen de ir rotando
(recuerda que esto es
) desde el origen. Al ir rotando el punto
en el plano complejo en este ángulo, obtenemos los puntos
,
y
, de modo que las otras tres raíces son
,
y
.
Otra forma más de pensarlo es la siguiente. Si ya tenemos una raíz cuarta de un complejo
, entonces todas las raíces se obtienen multplicando por
. En efecto, por ejemplo,
lo cual coincide con lo que habíamos encontrado antes.
Raíces
-ésimas de la unidad
Un caso particular importante de la teoría desarrollada en la sección anterior es cuando es
. Sea
un entero positivo. A un complejo
tal que
se le conoce como una raíz
-ésima de la unidad.
Teorema (de las raíces -ésimas de la unidad). Sea
un entero positivo. Existen exactamente
raíces
-ésimas de la unidad distintas. Si
es la que tiene el menor argumento positivo, entonces dichas raíces son
La demostración se sigue fácilmente del teorema de raíces -ésimas, y queda como tarea moral. Cualquier raíz
-ésima
tal que sus primeras potencias generen todas las raíces
-ésimas de la unidad se le conoce como una raíz primitiva.
Las raíces -ésimas de la unidad tienen una interpretación geométrica bonita. Forman los vértices del
-ágono regular con
vértices, sobre la circunferencia unitaria, y donde uno de los vértices es
.
Ejemplo. Obtengamos las raíces quintas de la unidad. Primero, obtengamos la de menor argumento positivo, que por el teorema de raíces en los complejos, es





Cualquiera de ,
,
y
son raíces primitivas, pero
no es raíz primitiva pues sus potentcias sólo son él mismo.
Las raíces -ésimas de la unidad se utilizan en muchos contextos. Aunque se puede trabajar con ellas de forma explícita, muchas veces se utilizan sólo las propiedades algebraicas que cumplen. A continuación enunciamos algunas.
Teorema. Sea una raíz primitva
-ésima de la unidad. Las raíces
-ésimas de la unidad

- Para
, se tiene que
.
- Para
, se tiene que
- Se tiene que
.
Demostración. Empezamos con el primer inciso. Si , tenemos que
no es raíz primitiva, así que para el primer inciso sabemos que
. Usamos la fórmula para suma de términos en una progresión geométrica:
Para la segunda parte, notemos que

La tercera parte se sigue de la propiedad anterior. Al multiplicar todas las raíces de la unidad, podemos emparejar a cada raíz con su conjugado para obtener producto . Las únicas excepciones es cuando emparejamos a un complejo consigo mismo, es decir, para cuando
, lo cual sucede sólo cuando
es real. Las únicas posibilidades son
ó
. El
no tiene problema pues colabora con un factor
. Si
es impar,
no es raíz
-ésima, así que no contribuye al producto. Si
es par sí. Esto muestra lo que queremos pues
es
si
es impar y
si es par.
Para un entero positivo , llamemos
al conjunto de raíces
-ésimas de la unidad equipadas con el producto complejo.
Teorema. Para cada entero positivo , se tiene que
es un grupo y es isomorfo a
.
Demostración. El producto de cualesquiera dos raíces -ésimas es también una raíz
-ésima. Por el teorema anterior, los inversos multiplicativos de las raíces
-ésimas también son raíces
-ésimas. Esto basta para mostrar que se forma un grupo.
Para la segunda parte, notamos que ambos grupos son el grupo cíclico de elementos. Una correspondencia entre ellos está dada por mandar
a cualquier raíz primitiva.
Tarea moral
Los siguientes ejercicios no forman parte de la evaluación del curso, pero te servirán para entender mucho mejor los conceptos vistos en esta entrada, así como temas posteriores.
- Encuentra las raíces cúbicas de
y dibújalas en el plano complejo.
- Verifica que las soluciones obtenidas en el teorema de raíces
-ésimas en efecto son soluciones.
- Muestra el teorema de las raíces
-ésimas de la unidad.
- Prueba que si
es un complejo de norma
, entonces su inverso es su conjugado.
- Sea
una raíz
-ésima primitiva de la unidad. Muestra que
es una raíz primitiva si y sólo si
y
son primos relativos, es decir,
. Sugerencia: Usa lo que sabemos de soluciones a ecuaciones diofantinas lineales.
- Encuentra de manera explícita la parte real y la parte imaginaria de todas las raíces quintas de la unidad.
Sugerencia: La ecuaciónse puede factorizar como
se puede factorizar como