Archivo de la etiqueta: multiplicación

Álgebra Superior II: Exponencial, logaritmo y trigonometría en los complejos

Por Leonardo Ignacio Martínez Sandoval

Introducción

Gracias a las entradas anteriores ya hemos desarrollado un buen manejo de los números complejos. Sabemos cómo se construyen y cómo hacer operaciones básicas, incluyendo obtener conjugados, la forma polar, sacar normas y elevar a potencias. También hemos aprendido a resolver varias ecuaciones en los complejos: cuadráticas, sistemas lineales y raíces $n$ -ésimas. Todo esto forma parte de los fundamentos algebraicos de $C$ . Ahora hablaremos un poco de la exponencial, el logaritmo y trigonometría en los complejos.

Aunque mencionaremos un poco de las motivaciones detrás de las definiciones, no profundizaremos tanto como con otros temas. Varias de las razones para elegir las siguientes definiciones tienen que ver con temas de ecuaciones diferenciales y de análisis complejo, que no se estudian sino hasta semestres posteriores.

Función exponencial compleja

Recordemos que, para un real $y$ , definimos $cis (y) = \cos y + i \sin y$ . La función $cis$ y la exponenciación en los reales nos ayudarán a definir la exponencial compleja.

Definición. Definimos la función $\exp : C \to C$ como $\exp (x + y i) = e^{x} cis (y) .$

Ejemplo 1. Se tiene que $\exp (1 + \frac{π}{2} i) = e^{1} cis (\frac{π}{2}) = e i .$

$△$

Ejemplo 2. Se tiene que $\exp (π i) = e^{0} cis (π) = (1) (- 1) = - 1.$ Como veremos más abajo, esto lo podemos reescribir como la famosa identidad de Euler $e^{π i} + 1 = 0.$

$△$

Ejemplo 3. Se tiene que $\exp (2 + 3 i) = e^{2} cis (3) .$ Como $\cos (3)$ y $\sin (3)$ no tienen ningún valor especial, esta es la forma final de la expresión.

$△$

Propiedades de la función exponencial compleja

Una buena razón para definir la exponencial así es que si $y = 0$ , entonces la definición coincide con la definición en los reales: $\exp (x) = e^{x} cis (0) = e^{x} .$ Si $x = 0$ , tenemos que $\exp (i y) = cis (y)$ , de modo que si $w$ tiene norma $r$ y argumento $θ$ , podemos reescribir su forma polar como $w = r \exp (θ i),$ y una forma alternativa de escribir el teorema de De Moivre es $w^{n} = r^{n} \exp (n θ i) .$

Otra buena razón para definir la exponencial compleja como lo hicimos es que se sigue satisfaciendo que las sumas en la exponencial se abren en productos.

Proposición. Para $w$ y $z$ complejos se tiene que $E (w + z) = E (w) E (z) .$

Demostración. Escribamos $w = a + b i$ y $z = c + d i$ con $a, b, c$ y $d$ reales. Tenemos que
$\begin{aligned} \exp (w + z) & = \exp ((a + c) + (b + d) i) \\ = e^{a + c} cis (b + d) . \end{aligned}$

Por propiedades de la exponencial en $R$ tenemos que $e^{a + c} = e^{a} e^{c}$ . Además, por cómo funciona la multiplicación compleja en términos polares, tenemos que $cis (b + d) = cis (b) cis (d)$ . Usando estas observaciones podemos continuar con la cadena de igualdades,

$\begin{aligned} = e^{a} e^{c} cis (b) cis (d) \\ = (e^{a} cis (b)) (e^{c} cis (d)) \\ = \exp (a + b i) \exp (c + d i) \\ = \exp (w) \exp (z) . \end{aligned}$

Como $\exp$ extiende a la exponencial real y se vale abrir las sumas de exponentes en productos, puede ser tentador usar la notación $e^{x + y i}$ en vez de $\exp (x + y i)$ . Hay que tener cuidado con esta interpretación, pues hasta ahora no hemos dicho qué quiere decir «elevar a una potencia». Cuando lo hagamos, veremos que usar la notación $e^{x + y i}$ sí tiene sentido, pero por el momento hay que apegarnos a la definición.

Hay otras buenas razones para definir la exponencial compleja como lo hicimos. Una muy importante es que es la solución a una ecuación diferencial muy natural. Más adelante, en tu formación matemática, verás esto.

Función logaritmo complejo

Con el logaritmo natural $\ln$ en $R$ y la multifunción argumento podemos extender el logaritmo a $C$ .

Definición. Definimos la función $L : C ∖ {0} \to C$ como $L (z) = \ln ‖ z ‖ + \arg (z) i .$

Hay que ser un poco más precisos, pues $\arg (z)$ es una multifunción y toma varios valores. Cuando estamos trabajando con logaritmo, lo más conveniente por razones de simetría es que tomemos el argumento en el intervalo $(- π, π]$ . En cursos posteriores hablarás de «otras» funciones logaritmo, y de por qué ésta es usualmente una buena elección.

Ejemplo. Los logaritmos de $i$ y de $- 1$ son, respectivamente,
$\begin{aligned} L (i) & = \ln ‖ i ‖ + \arg (i) i = \ln (1) + \frac{π}{2} i = \frac{π}{2} i \\ L (- 1) & = \ln ‖ - 1 ‖ + \arg (- 1) i = \ln (1) + π i = π i . \end{aligned}$

$△$

Propiedades del logaritmo complejo

La función $\exp$ restringida a los números con parte imaginaria en $(- π, π]$ es invertible y su inversa es $L$ . Esto justifica en parte la definición de logaritmo. Demostrar esto es sencillo y queda como tarea moral.

La función $L$ restringida a los reales positivos coincide con la función logaritmo natural, pues para $z = x + 0 i = x$ , con $x > 0$ se tiene que $\arg (x) = 0$ y entonces $L (z) = L (x) = ‖ x ‖ + \arg (x) i = x .$

Como en el caso real, la función logaritmo abre productos en sumas, pero con un detalle que hay que cuidar.

Proposición. Para $w$ y $z$ complejos no $0$ , se tiene que $L (w z)$ y $L (w) + L (z)$ difieren en un múltiplo entero de $2 π i$ .

Con la función logaritmo podemos definir potencias de números complejos.

Definición. Para $w, z$ en $C$ con $w \neq 0$ , definimos $w^{z} = \exp (z L (w)) .$

Ejemplo. En particular, podemos tomar $w = e$ , de donde $\begin{aligned} e^{z} & = \exp (z L (e)) \\ = \exp (z \ln (e)) \\ = \exp (z), \end{aligned}$ de donde ahora sí podemos justificar usar la notación $e^{x + y i}$ en vez de $\exp (x + y i)$ .

Esta definición de exponenciación en $C$ es buena, en parte, porque se puede probar que se satisfacen las leyes de los exponentes.

Proposición. Para $w, z_{1}, z_{2}$ en $C$ , con $w \neq 0$ , se cumple que $z^{w_{1} + w_{2}} = z^{w_{1}} z^{w_{2}}$ y que $(z^{w_{1}})^{w_{2}} = z^{w_{1} w_{2}} .$

La demostración es sencilla y se deja como tarea moral.

Funciones trigonométricas complejas

Finalmente, definiremos las funciones trigonométricas en $C$ . Para ello, nos basaremos en la función exponencial que ya definimos.

Definición. Para $z$ cualquier complejo, definimos $\cos (z) = \frac{e^{i z} + e^{- i z}}{2}$ y $\sin (z) = \frac{e^{i z} - e^{- i z}}{2} .$

Una de las razones por las cuales esta definición es buena es que extiende a las funciones trigonométricas reales. En efecto, si $z = x + 0 i = x$ es real, entonces $\cos (z)$ es $\begin{aligned} \frac{e^{i z} + e^{- i z}}{2} & = \frac{cis (x) + cis (- x)}{2} \\ = \frac{2 \cos (x)}{2} \\ = \cos (x), \end{aligned}$ y de manera similar para $\sin (z)$ .

Las funciones trigonométricas en $C$ siguen cumpliendo varias propiedades que cumplían en $R$ .

Proposición. Para $w$ y $z$ complejos, se tiene que
$\begin{array}{r} \cos (w + z) = \cos (w) \cos (z) - \sin (w) \sin (z) \\ \sin (w + z) = \sin (w) \cos (z) + \sin (z) \cos (w) . \end{array}$

Demostración. Procedemos por definición. Tenemos que
$\begin{aligned} 4 & \cos (w) \cos (z) \\ = (e^{i w} + e^{- i w}) (e^{i z} + e^{- i z}) \\ = (e^{i (w + z)} + e^{i (w - z)} + e^{i (z - w)} + e^{i (- z - w)}) \end{aligned}$

y que
$\begin{aligned} 4 & \sin (w) \sin (z) \\ = (e^{i w} - e^{- i w}) (e^{i z} - e^{- i z}) \\ = (e^{i (w + z)} - e^{i (w - z)} - e^{i (z - w)} + e^{i (- z - w)}), \end{aligned}$

de modo que
$\begin{aligned} 4 (\cos (w) & \cos (z) - \sin (w) \sin (z)) \\ = 2 (e^{i (w + z)} + e^{- i (w + z)}) \\ = 4 \cos (w + z) . \end{aligned}$

Dividiendo entre $4$ ambos lados de la igualdad, obtenemos la primer identidad. La segunda se demuestra de manera análoga, y queda como tarea moral.

Más adelante…

Tarea moral

A continuación hay algunos ejercicios para que practiques los conceptos vistos en esta entrada. Te será de mucha utilidad intentarlos para entender más la teoría vista.

Determina los valores de $\exp (3 + \frac{3 π}{4} i)$ y de $L (- i)$ .
Muestra que para $z$ con parte imaginaria en $(- π, π]$ se tiene que $L (\exp (z)) = z$ .
Determina el valor de $(1 + i)^{1 + i}$ .
Muestra las leyes de los exponentes para la exponenciación en $C$ .
Determina el valor de $\sin (i)$ y de $\cos (1 + i)$ .
Muestra la identidad de seno de la suma de ángulos en $C$ .
Investiga qué otras propiedades de las funciones trigonométricas reales se extienden al caso complejo.

Entradas relacionadas

Ir a: Álgebra Superior II
Entrada anterior del curso: Problemas de fórmula de De Moivre y raíces n-ésimas
Entrada siguiente del curso: Problemas de exponencial, logaritmo y trigonometría en $C$

Agradecimientos

Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE104522 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 2»

Álgebra Superior II: Multiplicación en forma polar y fórmula de De Moivre

Por Leonardo Ignacio Martínez Sandoval

2 respuestas

Introducción

En la entrada anterior hablamos de las coordenadas rectangulares y polares de un número complejo. También, definimos la forma polar de un número complejo. En esta entrada hablaremos de cómo con la forma polar, de los elementos de $C$ , podemos entender fácilmente su multiplicación. Además, usaremos esto para demostrar la fórmula de De Moivre, que nos dice cómo encontrar las potencias de un complejo.

Como pequeño recordatorio, la forma polar del complejo $z = x + i y$ es $z = r (\cos θ + i \sin θ)$ , en donde $r$ es la norma de $z$ y $θ$ es el ángulo que hace con el eje real positivo, pensándolo como el punto $(x, y)$ . Esto queda resumido por la siguiente figura:

Forma polar, multiplicación y recordatorio trigonométrico

Para ver cómo la forma polar de los complejos nos ayuda a entender la multiplicación en $C$ , necesitamos recordar las siguientes fórmulas trigonométricas
$\begin{array}{r} \sin (α + β) = \sin α \cos β + \sin β \cos α \\ \cos (α + β) = \cos α \cos β - \sin β \sin α . \end{array}$

Si tenemos dos números complejos en forma polar
$\begin{aligned} w & = r (\cos α + i \sin α) \\ z & = s (\cos β + i \sin β) \end{aligned}$

y los multiplicamos con la definición, su producto tendría parte real $r s (\cos α \cos β - \sin α \sin β) = r s \cos (α + β)$ y parte imaginaria $r s (\sin α \cos β + \sin β \cos α) = r s \sin (α + β) .$

Además, como la norma es multiplicativa, tenemos que la norma de $w z$ es $r s$ . Con esto mostramos que la forma polar de $w z$ es exactamente $w z = (r s) (\cos (α + β) + i \sin (α + β)) .$ Esto queda resumido en el siguiente resultado

Proposición. Si tenemos dos números complejos en forma polar
$\begin{aligned} w & = r cis (α) \\ z & = s cis (β), \end{aligned}$ entonces la forma polar del producto es $w z = r s cis (α + β) .$

Otra forma de decirlo es que «al multiplicar complejos, multiplicamos normas y sumamos argumentos». Podemos también ver el resultado de forma geométrica mediante la siguiente figura, en donde marcamos con rojo y azul los factores, y con negro al producto.

Interpretación geométrica de la multiplicación en los complejos

Ejemplo. Vamos a encontrar la forma rectangular del producto de los complejos
$\begin{aligned} w & = 7 cis (\frac{2 π}{5}) y \\ z & = 2 cis (\frac{3 π}{5}) . \end{aligned}$

Por la proposición anterior, el producto es exactamente el complejo
$\begin{array}{r} 14 cis (\frac{2 + 3}{5} π) = 14 cis (π) . \end{array}$

Esta es la forma polar del producto. Por un problema anterior, sabemos que $cis (π) = - 1$ , de modo que la forma rectangular del producto es $- 14$ .

Si tenemos un complejo no nulo en forma polar, podemos entender fácilmente su inverso multiplicativo. Esto está dado por la siguiente proposición, cuya demostración es sencilla y se deja como tarea moral.

Proposición. Sea $w \neq 0$ un complejo con forma polar $w = r cis (θ)$ . Su inverso multiplicativo es el complejo $r^{- 1} cis (- θ)$ .

Ejemplo. Determinemos el inverso multiplicativo del complejo $w = \sqrt{3} cis (\frac{3 π}{7}) .$ Para ello, basta usar la proposición anterior, de donde $w^{- 1} = \frac{1}{\sqrt{3}} cis (- \frac{3 π}{7}) = \frac{\sqrt{3}}{3} cis \frac{11 π}{7} .$

$△$

Fórmula de De Moivre

La proposición para multiplicación de complejos se vuelve todavía más útil si la usamos iteradamente para hacer potencias de complejos.

Teorema (fórmula de De Moivre). Si $z$ es un complejo de norma $r$ y argumento $θ$ y $n$ es un entero positivo, entonces $z^{n}$ es el complejo de norma $r^{n}$ y argumento $n θ$ . En otras palabras, si $z = r (\cos θ + i \sin θ) = r cis (θ)$ , entonces $z^{n} = r^{n} (\cos (n θ) + i \sin (n θ)) = r^{n} cis (n θ) .$

Demostración. Procedemos por inducción sobre $n$ . El caso $n = 1$ es inmediato. Supongamos que el resultado es cierto para $n$ , es decir, que $z^{n} = r^{n} cis (n θ) .$

Por hipótesis inductiva, tenemos entonces que la norma de $z^{n}$ es $r^{n}$ , de modo que $z^{n + 1} = z^{n} z$ tiene norma $r^{n} r = r^{n + 1}$ .

También por hipótesis inductiva, $z^{n}$ tiene argumento $n θ$ . Por cómo funciona la multiplicación compleja, el argumento de $z^{n + 1} = z^{n} z$ es la suma de los argumentos de $z^{n}$ y $z$ , es decir, $n θ + θ = (n + 1) θ$ . Esto muestra que $z^{n + 1} = r^{n + 1} cis ((n + 1) θ),$ y con esto acabamos el paso inductivo.

Ejemplos de aplicación de fórmula de De Moivre

Ejemplo. Veremos quién es la décima potencia del complejo $z = \sqrt{3} cis (\frac{4 π}{5}) .$ Como este número ya está escrito en forma polar, podemos aplicarle directamente la fórmula de De Moivre:
$\begin{aligned} z^{10} & = 3^{10 / 2} cis (\frac{40 π}{5}) \\ = 3^{5} cis (8 π) \\ = 3^{5} \\ = 243. \end{aligned}$

$△$

El ejemplo anterior nos dice que $z^{10} = 243$ . En otras palabras, $z$ es una raíz $10$ -ésima de $243$ . Pero existen otras raíces $10$ -ésimas de 243, por ejemplo, tiene dos raíces reales $\sqrt[10]{243}$ y $- \sqrt[10]{243}$ . ¿Cuántas raíces tiene entonces en total? ¿Quiénes son? Esto lo veremos en la siguiente entrada.

Veamos otro ejemplo en el que se aplica la fórmula de De Moivre.

Problema. Evalúa la expresión $(1 + i)^{30}$ , expresando el resultado final en forma rectangular.

Solución. Comenzamos expresando a $(1 + i)$ en forma polar. Para ello, notamos que $‖ 1 + i ‖ = \sqrt{2}$ , y que $1 + i$ hace un ángulo de $\frac{π}{4}$ con el eje real positivo. Por el teorema de De Moivre, tenemos que

$\begin{aligned} z^{30} & = {\sqrt{2}}^{30} cis (\frac{30 π}{4}) \\ = 2^{15} cis (\frac{6 π}{4}) \\ = 2^{15} cis (\frac{3 π}{2}) \\ = 2^{15} (- i) \\ = - 2^{15} i . \end{aligned}$

En la segunda igualdad usamos que $\frac{30 π}{4}$ y $\frac{6 π}{4}$ difieren en un múltiplo entero de $2 π$ . En la cuarta usamos la forma polar de $- i$ .

$△$

Más adelante…

Tarea moral

A continuación hay algunos ejercicios para que practiques los conceptos vistos en esta entrada. Te será de mucha utilidad intentarlos para entender más la teoría vista.

Muestra que para un complejo $z \neq 0$ escrito en forma polar $z = r cis (θ)$ , su inverso multiplicativo tiene forma polar $r^{- 1} cis (- θ)$ .
Evalúa la multiplicación $w z$ , donde $w = 2 cis (\frac{5 π}{7})$ y $z = - 5 cis (\frac{7 π}{5})$ . Expresa la respuesta forma polar.
Haz la multiplicación $w z$ , donde $w = 3 cis (\frac{π}{2})$ y $z = 4 cis (\frac{π}{3})$ . Expresa la respuesta en forma rectangular.
Sea $z = 7 cis (\frac{5 π}{7})$ . Expresa $z^{3}$ en forma polar.
Sea $z = \sqrt[3]{5} cis (\frac{π}{3})$ . Expresa $z^{9}$ en forma rectangular.
Toma el complejo $z = - 2 + 2 i$ . Evalúa la expresión $1 + z + \dots + z^{29} .$ Sugerencia: Usa primero la fórmula de suma de términos de una sucesión geométrica, y después la fórmula de De Moivre.

Puedes practicar más estos temas viendo los videos y haciendo los ejercicios de la página de Khan Academy, de su sección de números complejos.

Entradas relacionadas

Ir a: Álgebra Superior II
Entrada anterior del curso: Problemas de sistemas de ecuaciones complejos y forma polar
Entrada siguiente del curso: Raíces de números complejos y raíces de la unidad

Agradecimientos

Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE104522 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 2»

Álgebra Superior II: Forma polar y cambios de coordenadas de un complejo

Por Leonardo Ignacio Martínez Sandoval

Deja un comentario

Introducción

En las entradas anteriores comenzamos a hablar acerca de cómo resolver algunas ecuaciones en $C$ . Platicamos de ecuaciones cuadráticas y la fórmula general. Luego, vimos sistemas de ecuaciones lineales y varios métodos para resolverlos. Lo siguiente que haremos será resolver ecuaciones de la forma $z^{n} = w$ , en donde $w$ en $C$ y $n$ en $N$ están dados y $z$ es la variable a determinar. Antes de resolver esta ecuación, necesitamos entender mejor la multiplicación en $C$ , y para ello vamos a estudiar la forma polar de un complejo.

En esta entrada comenzaremos recordando las coordenadas rectangulares de un número complejo, además definiremos sus coordenadas polares. Veremos cómo pasar de coordenadas rectangulares a polares de manera biyectiva, con lo cual podremos definir qué es la forma polar.

Más adelante, la forma polar nos ayudará a entender mejor la geometría de la multiplicación y exponenciación en $C$ . Esto será muy útil cuando queramos «sacar raíces $n$ -ésimas», lo cual necesitaremos para resolver ecuaciones del estilo $z^{n} = w$ .

De coordenadas rectangulares a coordenadas polares

Tomemos un número complejo $z = x + y i$ y pensémoslo como un punto del plano complejo, es decir, como el punto $(x, y)$ . Diremos que $(x, y)$ son las coordenadas rectangulares de $z$ . Es recomendable recordar la siguiente figura, y regresar a ella frecuentemente.

El número complejo $z$ tiene norma $r = \sqrt{x^{2} + y^{2}}$ . Además, si $z \neq 0$ , tenemos que $z$ define un ángulo $θ$ con el eje real positivo, medido en el sentido contrario al avance de las manecillas del reloj a partir del eje real positivo, al cual le llamaremos el argumento de $z$ y lo denotaremos por $arg (z)$ . Todos los ángulos que manejamos están en radianes.

Sin embargo, este ángulo no es único. El complejo $z$ define al ángulo $θ$ pero, por ejemplo, también define al ángulo $θ + 2 π$ , pues la suma de $2 π$ corresponde a dar una vuelta completa alrededor del origen. Por ello, pensaremos que el argumento de $z$ toma todos los valores ${θ + 2 k π : k \in Z} .$ Así, $arg (z)$ es una multifunción, algo así como una función, pero que toma varios valores. Cuando digamos que un complejo tiene argumento $θ$ , nos referiremos a $θ$ o cualquier otro ángulo que difiera un múltiplo entero de $2 π$ Más adelante hablaremos de esto con detalle.

Aunque haya varios ángulos que le correspondan a $z$ , hay uno único en el intervalo $[0, 2 π)$ .

Definición. Definimos las coordenadas polares de un número complejo $z = x + y i$ como sigue:

Si $z = 0$ , sus coordenadas polares son $(0, 0)$ .
Si $z \neq 0$ , entonces tomamos $r = ‖ z ‖ = \sqrt{x^{2} + y^{2}}$ y $θ$ el único ángulo en $[0, 2 π)$ que hace $z$ con el eje real positivo. Las coordenadas polares de $z$ son $(r, θ)$ .

Observa que $r$ siempre es no negativo y es cero si y sólo si $z = 0$ . Además por trigonometría para el ángulo $θ$ se cumple que $\begin{aligned} \sin θ & = \frac{y}{r} \\ \cos θ & = \frac{x}{r}, \end{aligned}$ lo cual nos da la siguiente forma práctica para encontrar $θ$ :

Calculamos $\frac{y}{r}$ o $\frac{x}{r}$ (el que parezca más sencillo).
Aplicamos una función trigonométrica inversa para reducir el problema a dos opciones.
Elegimos la opción correcta de acuerdo al signo de $x$ o $y$ .

Ejemplo. Tomemos al complejo $z = 3 - 3 \sqrt{3} i$ . Vamos a pasarlo a forma polar. Su norma es $\sqrt{9 + 27} = \sqrt{36} = 6$ . Para determinar el ángulo $θ$ que define con el eje real, podemos notar que $\cos θ = \frac{3}{6} = \frac{1}{2},$ así que $θ = \frac{π}{3}$ ó $θ = 2 π - \frac{π}{3} = \frac{5 π}{3}$ , pues son los únicos ángulos en $[0, 2 π)$ con ese coseno. Como la parte imaginaria es negativa, se da el segundo caso. Por lo tanto, las coordenadas polares de $z$ son $(6, \frac{5 π}{3})$ .

$△$

De coordenadas polares a coordenadas rectangulares

También hay una forma de pasar de coordenadas polares a coordenadas rectangulares. En efecto, tomemos un real no negativo $r$ y consideremos la pregunta ¿quienes son los números complejos de norma $r$ ?

Por un lado, si $r = 0$ , necesitamos que $x^{2} + y^{2} = 0^{2} = 0$ , de donde $x = y = 0$ , así que las coordenadas rectangulares deben ser $(0, 0)$ . Por otro lado, si $r > 0$ , se necesita que $x^{2} + y^{2} = r^{2},$ lo cual, por el teorema de Pitágoras, define una circunferencia de radio $r$ con centro en el origen.

Circunferencia de complejos de norma r. — Circunferencia de complejos de norma $r$

Si además elegimos un ángulo, $θ$ en $[0, 2 π)$ , que el complejo haga con el eje real, entonces queda determinado de manera única. Supongamos que este complejo es $z = x + y i$

Por trigonometría, tenemos que
$\begin{aligned} x & = r \cos θ \\ y & = r \sin θ . \end{aligned}$

Problema. Determina en la forma $x + y i$ al número complejo cuyas coordenadas polares son $(7, \frac{3 π}{4})$ .

Solución. Usamos las fórmulas obtenidas arriba. Tenemos que

$\begin{aligned} x & = 7 \cos \frac{3 π}{4} = 7 \cdot (- \frac{1}{\sqrt{2}}) = - \frac{7}{\sqrt{2}} \\ y & = 7 \sin \frac{3 π}{4} = 7 \cdot \frac{1}{\sqrt{2}} = \frac{7}{\sqrt{2}} . \end{aligned}$

De este modo, el complejo buscado es el $- \frac{7}{\sqrt{2}} + \frac{7}{\sqrt{2}} .$

Los cambios de coordenadas son inversos entre sí

La primer sección explica cómo de coordenadas rectangulares podemos pasar a coordenadas polares. La anterior dice cómo pasar de coordenadas polares a rectangulares. Resulta que estas operaciones son inversas la una de la otra como veremos en la siguiente:

Proposición. Si tomamos coordenadas polares $(r, θ)$ de un complejo, las pasamos a coordenadas rectangulares $(x, y)$ y luego éstas las pasamos a coordenadas polares $(r^{'}, θ^{'})$ de nuevo, tenemos que $(r, θ) = (r^{'}, θ^{'}) .$

Demostración. En el caso $r = 0$ , sólo definimos coordenadas polares con $θ = 0$ . Al ir a coordenadas rectangulares vamos al punto $(0, 0)$ , que de nuevo regresa a polares $(0, 0)$ . Podemos suponer entonces que $r > 0$ .

Como mencionamos en la segunda sección, las coordenadas rectangulares correspondientes a $(r, θ)$ son exactamente $(x, y) = (r \cos θ, r \sin θ) .$ Pasemos este complejo a coordenadas polares $(r^{'}, θ^{'})$ . Usando la identidad pitagórica $\cos^{2} θ + \sin^{2} θ = 1$ , la norma de este complejo es
$\begin{aligned} \sqrt{r^{2} \cos^{2} θ + r^{2} \sin^{2} θ} & = r \sqrt{\cos^{2} θ + \sin^{2} θ} \\ = r \sqrt{1} \\ = r, \end{aligned}$

lo que prueba $r = r^{'}$ . Además, como discutimos en la primer sección, tenemos que
$\begin{array}{r} \sin θ^{'} = \frac{r \sin θ}{r} = \sin θ \\ \cos θ^{'} = \frac{r \cos θ}{r} = \cos θ . \end{array}$

De esta forma, $θ$ y $θ^{'}$ son ángulos en $[0, 2 π)$ con el mismo seno y coseno, lo cual implica $θ = θ^{'}$ .

Corolario. El cambio de coordenadas rectangulares a polares , visto como una función de $R \times R$ a $(R^{+} \times [0, 2 π)) \cup {(0, 0)}$ es biyectivo.

La forma polar de un número complejo

En las secciones anteriores pensamos a los complejos como parejas ordenadas. Podemos regresar los resultados obtenidos a la forma $x + y i$ de los complejos para justificar la siguiente definición.

Definición. La forma polar de un número complejo $z = x + y i$ es $z = r (\cos θ + i \sin θ)$ , donde $(r, θ)$ son las coordenadas polares de $(x, y)$ .

Por costumbre, en la forma polar se pone $i$ antes de $\sin θ$ , a diferencia de la forma rectangular, en donde se pone $i$ después de $y$ . A veces en expresiones como las de la forma polar aparecen ángulos $θ$ fuera del rango $[0, 2 π)$ . Podemos hacer las cuentas que necesitemos fuera de este rango sin problema. Al final podemos sumar o restar un múltiplo entero de $2 π$ para caer en el rango $[0, 2 π)$ . Esto no cambia el seno ni coseno del ángulo, por lo que no cambia al número complejo.

Como la expresión $\cos θ + i \sin θ$ se usa mucho, usualmente se abrevia.

Definición. Para un ángulo $θ$ definimos $cis (θ) = \cos θ + i \sin θ$ .

Problema. Determina la forma polar de los complejos $1$ , $- 1$ , $i$ y $- i$ .

Solución. Todos estos números tienen norma $1$ . Además, hacen ángulos $0, π, \frac{π}{2}, \frac{3 π}{2}$ con el eje real positivo, respectivamente. De esta forma, sus coordenadas polares son
$\begin{array}{r} (1, 0) (1, π) (1, \frac{π}{2}) (1, \frac{3 π}{2}), \end{array}$

respectivamente.

De esta forma, la forma polar de cada uno es:
$\begin{aligned} 1 & = \cos 0 + i \sin 0 = cis (0) \\ - 1 & = \cos π + i \sin π = cis (π) \\ i & = \cos \frac{π}{2} + i \sin \frac{π}{2} = cis (\frac{π}{2}) \\ - i & = \cos \frac{3 π}{2} + i \sin \frac{3 π}{2} = cis (\frac{3 π}{2}) . \end{aligned}$

$△$

Una aclaración muy importante es que la forma polar de $z = x + y i$ no es $r + θ i$ . La forma polar es exactamente el mismo número complejo que el original, simplemente escrito de manera diferente.

Si la forma polar de un complejo es exactamente el mismo número que el original, ¿de qué nos sirve tenerlo en coordenadas polares? Resulta que la multiplicación compleja se entiende mucho mejor en términos de la forma polar. En la siguiente entrada veremos esto y cómo lo podemos usar para encontrar potencias de números complejos fácilmente.

Más adelante…

Tarea moral

A continuación hay algunos ejercicios para que practiques los conceptos vistos en esta entrada. Te será de mucha utilidad intentarlos para entender más la teoría vista.

Determina la forma polar de los siguientes complejos: $7 - 7 i$ y $- 2 + 2 \sqrt{3} i$ .
Determina la forma rectangular de los complejos con coordenadas polares $(2, \frac{π}{3})$ y $(1, \frac{11 π}{6})$ .
Si la forma polar del complejo $z$ es $r cis θ$ , ¿quién es la forma polar del conjugado?
¿Cuáles son aquellos números complejos que se obtienen al variar $θ$ en la forma polar $3 cis (θ)$ ?
¿Qué figura en el plano definen aquellos números complejos que se obtienen al variar $r$ en la forma polar $r cis (π)$ ?

Puedes practicar más estos temas viendo los videos y haciendo los ejercicios de la página de Khan Academy, de su sección de números complejos.

Entradas relacionadas

Ir a: Álgebra Superior II
Entrada anterior del curso: Sistemas de ecuaciones lineales complejos
Entrada siguiente del curso: Problemas de sistemas de ecuaciones complejos y forma polar

Agradecimientos

Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE104522 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 2»

Álgebra Superior II: Sistemas de ecuaciones lineales complejos

Por Leonardo Ignacio Martínez Sandoval

Deja un comentario

Introducción

En la entrada anterior comenzamos a hablar acerca de resolver, en los complejos, ecuaciones de distintos tipos. Además, profundizamos en cómo resolver las ecuaciones cuadráticas complejas. En esta entrada platicaremos acerca de los sistemas de ecuaciones lineales complejos.

Resolveremos a detalle el caso de dos variables y dos ecuaciones. Después, hablaremos un poco acerca de sistemas de ecuaciones con más variables. Un estudio cuidadoso de los sistemas de ecuaciones lineales con más variables se hace en los cursos de álgebra lineal. Un muy buen texto para aprender estos temas es el libro Essential Linear Algebra de Titu Andreescu.

Sistemas de ecuaciones lineales complejos con dos incógnitas

Si $a, b$ son elementos de $C$ y $a \neq 0$ , la ecuación lineal $a x = b$ tiene una única solución, dada por $x = \frac{b}{a}$ , la cual está bien definida pues todo complejo distinto de $0$ tiene inverso multiplicativo.

Si tenemos los números complejos $a, b, c, d, e$ y $f$ , el sistema de ecuaciones lineales en los complejos

$\begin{aligned} a x + b y & = c \\ d x + e y & = f \end{aligned}$

puede comportarse de tres formas distintas:

Su solución existe y es única.
Tiene una infinidad de soluciones.
No tiene solución.

Si tiene al menos soluciones distintas, tenemos entonces que tiene una infinidad. Cuando la solución del sistema es única, el sistema se puede resolver por los métodos básicos con los que se resuelve un sistema en $R$ :

Por substitución: de la primera ecuación se despeja la variable $x$ y su valor se pone en la segunda ecuación. De ahí, obtenemos una ecuación en $y$ . Se despeja $y$ para obtener su valor y con ello se obtiene el valor de $x$ .
Igualando coeficientes: multiplicamos la primer ecuación por $d$ y la segunda por $- a$ . Al sumar ambas ecuaciones resultantes, queda una ecuación lineal en $y$ .

Ejemplos de sistemas de ecuaciones lineales complejos

Ejemplo 1. Determina todas las soluciones del sistema
$\begin{aligned} 2 x + i y & = 3 + 4 i \\ i x + 5 y & = 9 - 4 i . \end{aligned}$

Solución. Para empezar, multiplicamos la segunda ecuación por $2 i$ , de donde obtenemos el sistema
$\begin{aligned} 2 x + i y & = 3 + 4 i \\ - 2 x + 10 i y & = 8 + 18 i . \end{aligned}$

Sumando ambas ecuaciones, obtenemos que $11 i y = 11 + 22 i$ . Multiplicando por $- \frac{i}{11}$ de ambos lados, obtenemos $y = 2 - i .$

Substituyendo en la segunda ecuación, notamos que $2 x = 3 + 4 i - i (2 - i) = 2 + 2 i,$ de donde $x = 1 + i$ . De aquí, la única solución puede ser $x = 1 + i$ y $y = 2 - i$ , que se puede verificar que en efecto satisfacen la ecuación.

$△$

Ejemplo 2. Determina todas las soluciones del sistema
$\begin{aligned} (3 + 2 i) x + i y & = 3 + 3 i \\ (- 4 + 6 i) x - 2 y & = - 6 + 6 i . \end{aligned}$

Solución. Multiplicando la primer ecuación por $2 i$ obtenemos que es equivalente a la ecuación $(- 4 i + 6 i) x - 2 y = - 6 + 6 i,$ es decir, ambas ecuaciones difieren sólo por un factor $2 i$ , así que son la misma. Si elegimos cualquier valor de $y$ , podemos encontrar un valor de $x$ que cumpla con la ecuación. Por ejemplo, tomando $y = 1$ , de la ecuación obtenemos que $x = 1$ . Así, esta ecuación tiene una infinidad de soluciones, dadas por elegir un $y$ y definir $x = \frac{3 + 3 i - i y}{3 + 2 i} .$

$△$

Ejemplo 3. Determina todas las soluciones del sistema
$\begin{aligned} (1 + 2 i) x + (- 2 + i) y & = 3 + 6 i \\ 3 x + 3 i y & = 8. \end{aligned}$

Solución. Supongamos que existe alguna solución para $x$ y $y$ . Multipliquemos la primer ecuación por $3$ y la segunda por $1 + 2 i$ . Obtenemos que
$\begin{aligned} (3 + 6 i) x + (- 6 + 3 i) y & = 9 + 18 i \\ (3 + 6 i) x + (- 6 + 3 i) y & = 8 + 16 i . \end{aligned}$

De aquí, $9 + 18 i = 8 + 16 i$ , lo cual es una contradicción. Así, esta ecuación no tiene soluciones.

$△$

Método del determinante

Un método más general para resolver sistemas de ecuaciones lineales complejos con dos incógnitas, que nos dice todo lo que puede suceder, es el siguiente. De hecho, exactamente el mismo teorema funciona para $R$ .

Teorema. Sean $a, b, c, d, e$ y $f$ en $C$ . Para el sistema $\begin{aligned} a x + b y & = c \\ d x + e y & = f \end{aligned}$

definimos a su determinante como el número complejo $a e - b d$ . Entonces:

Si el determinante es distinto de $0$ , el sistema tiene una solución única para $x$ y $y$ dada por
$\begin{aligned} x & = \frac{c e - b f}{a e - b d} \\ y & = \frac{a f - c d}{a e - b d} . \end{aligned}$
Si el determinante es $0$ , entonces el sistema no tiene solución, o tiene una infinidad.

Demostración. Cuando el determinante no es $0$ , resolvemos el sistema por igualación de coeficientes. Multiplicando la primer ecuación por $- d$ , la segunda por $a$ y sumando, obtenemos que $(a e - b d) y = a f - c d .$ Como el determinante no es cero, $y = \frac{a f - c d}{a e - b d} .$ Así mismo, multiplicando la primer ecuación por $e$ , la segunda por $- b$ y sumando, obtenemos de manera análoga que $x = \frac{c e - b f}{a e - b d} .$ Así, si existe una solución, debe tener estos valores. Queda como tarea moral verificar que estos valores cumplen.

Cuando el determinante es $0$ , tenemos que $a e = b d$ . Si $a = b = e = d = 0$ , para que exista una solución se necesita forzosamente que $c = f = 0$ , y de hecho en este caso cualquier pareja $x, y$ funciona. Si en este caso alguno de $c$ o $f$ no es $0$ , el sistema no tiene solución.

Así, continuando el análisis podemos suponer sin pérdida de generalidad que $a \neq 0$ . De este modo, $e = \frac{b d}{a}$ , por lo que la segunda ecuación es equivalente a $d x + \frac{b d}{a} y = f,$ que es $a d x + b d y = a f$ .

Si $d = 0$ , tenemos, de la ecuación anterior, que $a f = 0$ y del determinante que $a e = b d = 0$ . Como $a \neq 0$ , se necesita que $e = f = 0$ , de modo que en realidad sólo tenemos una ecuación, la primera. Como $a \neq 0$ , podemos elegir cualquier valor de $y$ y de ahí despejar el valor de $x$ , obteniendo una infinidad de soluciones.

Si $d \neq 0$ , entonces la ecuación $a d x + b d y = a f$ es equivalente a la ecuación $a x + b y = \frac{a f}{d}$ . La primer ecuación y esta implican que si hay solución, entonces $\frac{a f}{d} = c$ . De ser así ,sólo tenemos una ecuación, pero repetida. Por el mismo argumento de arriba, hay una infinidad de soluciones.

Sistemas de ecuaciones lineales complejos con más incógnitas

Los sistemas lineales complejos con más incógnitas se pueden resolver con las mismas técnicas que aquellos en los reales. En cursos como álgebra lineal verás cómo resolver un sistema lineal en general y cómo saber cómo se ven todas sus soluciones. Sin embargo, puedes aprovechar lo que ya sabes del álgebra de los complejos para resolver distintos sistemas lineales.

Problema 1. Resuelve en los complejos el sistema de ecuaciones

$\begin{aligned} 3 a + (2 + i) b + (1 + 2 i) c & = 1 + i \\ 3 b + (2 + i) c & = 2 + 2 i \\ 3 c & = 3 + 3 i . \end{aligned}$

Solución. Resolvemos el sistema por substitución. Nos conviene empezar con la tercer ecuación, que tiene únicamente una variable. De ella obtenemos que $c = 1 + i$ . Substituyendo en la segunda ecuación, obtenemos que $3 b + (2 + i) (1 + i) = 2 + 2 i,$ de donde $3 b + 1 + 3 i = 2 + 2 i,$ así que $3 b = 1 - i,$ entonces $b = \frac{1}{3} - \frac{1}{3} i .$

Con los valores de $b$ y $c$ podemos substituir en la primer ecuación. Notando que
$\begin{array}{r} (2 + i) (\frac{1}{3} - \frac{1}{3} i) = 1 - \frac{1}{3} i \\ (1 + 2 i) (1 + i) = - 1 + 3 i \\ (1 + i) - (1 - \frac{1}{3} i) - (- 1 + 3 i) = 1 - \frac{5}{3} i, \end{array}$

obtenemos que $a = \frac{1}{3} - \frac{5}{9} i .$

En resumen,
$\begin{aligned} a & = \frac{1}{3} - \frac{5}{9} i \\ b & = \frac{1}{3} - \frac{1}{3} i \\ c & = 1 + i \end{aligned}$

es la única posible solución, y se puede mostrar que en efecto satisface las tres ecuaciones.

$△$

Problema 2. Resuelve en los complejos el sistema de ecuaciones

$\begin{aligned} (1 + 5 i) a + b + c + d + e & = 2 \\ a + (1 + 5 i) b + c + d + e & = 2 \\ a + b + (1 + 5 i) c + d + e & = 2 \\ a + b + c + (1 + 5 i) d + e & = 2 \\ a + b + c + d + (1 + 5 i) e & = 2. \end{aligned}$

Solución. Sumando todas las ecuaciones, tenemos que $(5 + 5 i) (a + b + c + d + e) = 10,$ de donde obtenemos que
$\begin{aligned} a + b + c + d + e & = \frac{2}{1 + i} \\ = 1 - i . \end{aligned}$

De la primera ecuación, obtenemos que $\begin{aligned} 2 & = (a + b + c + d + e) + 5 i a \\ = 1 - i + 5 i a, \end{aligned}$ por lo que $a = \frac{1 + i}{5 i} = \frac{1}{5} - \frac{1}{5} i .$ Por simetría, el resto de las variables también tiene este valor, de modo que $a = b = c = d = e = \frac{1}{5} - \frac{1}{5} i$ es la única solución.

$△$

Más adelante…

Tarea moral

A continuación hay algunos ejercicios para que practiques los conceptos vistos en esta entrada. Te será de mucha utilidad intentarlos para entender más la teoría vista.

Verifica que las soluciones de los ejemplos de sistemas de ecuaciones lineales complejos de dos variables en efecto son soluciones.
Resuelve en los complejos el sistema de ecuaciones $\begin{aligned} 2 x + (1 + i) y & = 4 \\ (5 - i) x + (3 + 2 i) y & = 0. \end{aligned}$
En el teorema del método del determinante, cuando el determinante no es cero, encontramos una solución. Verifica que en efecto satisface el sistema original.
Verifica que las soluciones de los ejemplos en varias variables en efecto satisfacen el sistema original.
Resuelve en los complejos el sistema de ecuaciones $\begin{aligned} x + (1 + i) y & = 4 \\ y + (2 + i) z & = 5 \\ z + (3 + i) x & = 6. \end{aligned}$

Entradas relacionadas

Ir a: Álgebra Superior II
Entrada anterior del curso: Problemas de norma de complejos y ecuaciones de segundo grado
Entrada siguiente del curso: Cambio de coordenadas y forma polar de un complejo

Agradecimientos

Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE104522 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 2»

Seminario de Resolución de Problemas: Aritmética de números complejos

Por Leonardo Ignacio Martínez Sandoval

Deja un comentario

Introducción

En entradas anteriores de esta sección hablamos de propiedades aritméticas de números enteros. En esta entrada veremos varias de las propiedades aritméticas de los números complejos y cómo se pueden usar para resolver problemas, incluso aquellos en los que los números complejos no están mencionados de manera explícita en el enunciado.

Distintas formas de los números complejos

La forma más común en la que pensamos en números complejos es en su forma rectangular, en donde un complejo se escribe de la forma $z = a + b i$ , en donde $a$ y $b$ son números reales y pensamos a $i$ como un número tal que $i^{2} = - 1$ . A $a$ le llamamos la parte real y a $b$ la parte imaginaria.

Podemos colocar al complejo $z = a + i b$ en el plano cartesiano, identificándolo con el punto $(a, b)$ . De aquí, la forma polar del complejo es $z = r (\cos θ + i \sin θ)$ , en donde $r$ es la norma $| z | := \sqrt{a^{2} + b^{2}}$ y si $z \neq 0$ , $θ$ es el argumento, que es el ángulo en el sentido antihorario desde el origen entre el eje horizontal y el punto $(a, b)$ . Si $z = 0 + i 0 = 0$ , no definimos el argumento.

Forma polar y rectangular de un complejo.

Así como le hacíamos en el caso de trabajar con módulos, a veces conviene pensar que el argumento es el único ángulo en $[0, 2 π)$ que cumple lo anterior. En otras ocasiones, conviene pensar al argumento como a veces que es la clase de todos los ángulos módulo $2 π$ .

Cuando tenemos a complejos $w = a + i b$ y $z = c + i d$ en forma rectangular, su suma $w + z = (a + c) + i (b + d)$ corresponde geométricamente a encontrar la diagonal del paralelogramo definido por $(a, b)$ , $(c, d)$ y el origen, pues corresponde justo al punto $(a + c, b + d)$ .

Su multiplicación $w z$ en forma rectangular es $(a c - b d) + (a d + b c) i$ , que geométricamente no es tan claro que sea.

La forma exponencial $z = r e^{i θ}$ es simplemente una forma de abreviar a la forma polar, pues por definición $e^{i θ} = \cos θ + i \sin θ$ . En forma exponencial, el producto es más sencillo de entender.

Ejercicio. Demuestra lo siguiente:

Muestra que la norma es multiplicativa, es decir, que para complejos $r$ y $s$ se tiene que $| r s | = | r | | s |$ .
Muestra que $e^{i α} e^{i β} = e^{i (α + β)}$ .

Sugerencia. Para el primer punto, haz las cuentas usando la forma rectangular. Para el segundo punto, escribe las definiciones de todos los términos en forma polar. Haz las multiplicaciones en el lado izquierdo y usa las fórmulas trigonométricas para sumas de ángulos.

Por el ejercicio anterior, si tenemos a los complejos en forma polar $w = r e^{i α}$ , $z = s e^{i β}$ , entonces el producto es $w z = r s e^{i (α + β)}$ , de modo que el producto corresponde al complejo con el producto de normas y suma de argumentos. En ocasiones esto nos permite plantear algunos problemas geométricos en términos de números complejos.

Producto de números complejos. — Multiplicación de números complejos.

Aplicaciones de aritmética de complejos

Veamos dos aplicaciones de la teoría anterior a problemas que no mencionan en el enunciado a los números complejos.

Problema. Sean $a$ y $b$ enteros. Muestra que el número $(a^{2} + b^{2})^{n}$ se puede expresar como la suma de los cuadrados de dos números enteros.

Podría ser tentador usar el binomio de Newton para elevar el binomio a la $n$ -ésima potencia. Sugerimos que intentes esto para darte cuenta de las dificultades que presenta.

Sugerencia pre-solución. Escribe a $a^{2} + b^{2}$ como el cuadrado de la norma de un complejo y usa que es multiplicativa.

Solución. El número $r = a^{2} + b^{2}$ es la norma al cuadrado del número complejo $z = a + i b$ . Entonces, el número $r^{n} = (a^{2} + b^{2})^{n}$ es la norma al cuadrado del número complejo $z^{n} = (a + i b)^{n}$ . Pero al desarrollar $(a + i b)^{n}$ obtenemos únicamente a $i$ , potencias de $a$ y de $b$ , y coeficientes binomiales. De modo que $z^{n} = (a + i b)^{n} = c + i d$ con $c$ y $d$ enteros (aquí estamos usando notación adecuada: no es necesario saber quienes son, sólo que son enteros). Así, $r^{n} = c^{2} + d^{2}$ con $c$ y $d$ enteros.

Veamos ahora un ejemplo de geometría. Este problema es posible resolverlo de muchas formas, pero notemos que los números complejos nos dan una forma de hacerlo de manera algebraica de manera inmediata.

Problema. En la siguiente figura hay tres cuadrados de lado $1$ pegados uno tras otro. Determina la suma de los ángulos marcados con $α$ y $β$ .

Problema de suma de ángulos — Determinar el valor de la suma $α + β$ .

Sugerencia pre-solución. El problema pide determinar una suma de ángulos, así que conviene pensar esta suma de ángulos como el ángulo del producto de dos complejos. Haz tu propia figura, pero ahora sobre el plano complejo.

Solución. El ángulo $α$ es igual al argumento del complejo $2 + i$ y el ángulo $β$ es igual al argumento del complejo $3 + i$ . De esta forma, $α + β$ es igual al argumento del complejo $(2 + i) (3 + i) = (6 - 1) + (2 + 3) i = 5 + 5 i$ . Este complejo cae sobre la recta $Re (z) = Im (z)$ , de modo que su argumento es $π / 4$ .

Este problema también se puede resolver de (numerosas) maneras geométricas, que puedes consultar en este video.

Fórmula de De Moivre

El siguiente teorema se puede demostrar por inducción sobre $n$ .

Teorema (fórmula de De Moivre). Para cualquier entero $n$ y ángulo $θ$ se tiene que $(\cos θ + i \sin θ)^{n} = \cos (n θ) + i \sin (n θ) .$ Dicho de otra forma, en términos de la forma exponencial, se vale usar la siguiente ley de los exponentes $(e^{θ i})^{n} = e^{(n θ) i} .$

La fórmula de De Moivre es otra herramienta que ayuda a resolver problemas de números reales enunciándolos en términos trigonométricos. El truco consiste en:

Tomar una expresión real que queramos entender.
Identificarla como la parte real o imaginaria de una expresión compleja.
Usar la aritmética de números complejos para entender la expresión compleja.
Regresar lo que entendamos a los reales.

Veamos un par de ejemplos, relacionados con funciones trigonométricas. Comenzamos con una fórma de encontrar la fórmula para el coseno de cinco veces un ángulo.

Problema. Sea $θ \in [0, 2 π)$ . Expresa a $\cos 5 θ$ en términos de $\cos θ$ .

Sugerencia pre-solución. Identifica a $\cos 5 θ$ como la parte real de un número complejo. Inspírate en la fórmula de De Moivre. Usa binomio de Newton.

Solución. Por la fórmula de De Moivre, $\cos 5 θ$ es la parte real del complejo $(\cos θ + i \sin θ)^{5}$ , así que calculemos quién es exactamente este número usando binomio de Newton. Para simplificar la notación, definimos $a = \cos θ$ y $b = \sin θ$ . Tenemos que

$\begin{aligned} (a + i b)^{5} & = a^{5} + 5 a^{4} (b i) + 10 a^{3} (i b)^{2} + 10 a^{2} (i b)^{3} + 5 a (i b)^{4} + (i b)^{5} \\ = (a^{5} - 10 a^{3} b^{2} + 5 a b^{4}) + (5 a^{4} b - 10 a^{2} b^{3} + b^{5}) i . \end{aligned}$

Además, por la identidad pitagórica recordemos que $a^{2} + b^{2} = 1$ , de donde $b^{2} = 1 - a^{2}$ , de modo que la parte real de la expresión anterior es $a^{5} - 10 a^{3} (1 - a^{2}) + 5 a (1 - 2 a^{2} + a^{4}),$ que agrupando es $16 a^{5} - 20 a^{3} + 5 a .$ Recordando que $a$ es $\cos θ$ , obtenemos la fórmula final $\cos 5 θ = 16 \cos^{5} θ - 20 \cos^{3} θ + 5 \cos θ .$

Raíces de la unidad

En muchos problemas se utilizan las raíces de la ecuación $x^{n} = 1$ .

Teorema. Sea $n \geq 1$ un entero. Las ecuación $x^{n} = 1$ tiene $n$ soluciones complejas, que en el plano complejo forman los vértices del $n$ -ágono regular con centro en $0$ y tal que uno de sus vértices es $1$ . Si $ω$ es la raíz de menor argumento positivo, entonces estas soluciones son $1, ω, ω^{2}, \dots, ω^{n - 1}$ .

Raíces de la unidad en los números complejos — Raíces $n$ -ésimas de la unidad para $n = 5$ .

A estas soluciones les llamamos las raíces $n$ -ésimas de la unidad. Notemos que $ω^{n} = 1$ , y que en general si escribimos a un entero $m$ usando el algoritmo de la división como $m = q n + r$ , entonces $ω^{m} = ω^{r}$ . ¡Los productos de raíces de la unidad se comportan como los elementos de $Z_{n}$ bajo suma módulo $n$ !

Proposición. Sea $n \geq 2$ un entero. La suma de las $n$ raíces $n$ -ésimas de la unidad es $0$ y su producto es $1$ .

La proposición anterior nos permite, en ocasiones, «filtrar» ciertas expresiones algebraicas. A continuación presentamos un ejemplo, que retomamos de los primeros ejemplos que vimos, cuando estábamos aprendiendo la heurística de encontrar un patrón.

Problema. Determina el valor de la suma $(\binom{100}{0}) + (\binom{100}{3}) + (\binom{100}{6}) + \dots + (\binom{100}{99}) .$

Sugerencia pre-solución. Si no recuerdas lo que debería salir, vuelve a experimentar con los primeros valores, para cuando en vez de usar $100$ se usan números más chiquitos. Para entender mejor el patron, generaliza el problema, y en vez de sólo tener múltiplos de $3$ abajo, explora también qué sucede cuando tienes los números que dejan residuo $0$ , $1$ o $2$ módulo $3$ .

Ya que recuerdes la fórmula que queremos, considera una raíz cúbica $ω$ de la unidad distinta de $1$ . Calcula $(1 + 1)^{100}$ , $(1 + ω)^{100}$ y $(1 + ω^{2})^{100}$ usando el binomio de Newton y aprovechando que toda potencia de $ω$ es $1$ , $ω$ u $ω^{2}$ para simplificar la notación.

Solución. Sea $ω$ una raíz cúbica de la unidad distinta de $1$ . Tenemos que $ω^{3} = 1$ y que $1 + ω + ω^{2} = 0$ . De este modo, podemos usar $ω$ y el binomio de Newton para calcular las siguientes expresiones

$\begin{aligned} (1 + 1)^{100} & = (\binom{100}{0}) + (\binom{100}{1}) + (\binom{100}{2}) + (\binom{100}{3}) + \dots \\ (1 + ω)^{100} & = (\binom{100}{0}) + (\binom{100}{1}) ω + (\binom{100}{2}) ω^{2} + (\binom{100}{3}) + \dots \\ (1 + ω^{2})^{100} & = (\binom{100}{0}) + (\binom{100}{1}) ω^{2} + (\binom{100}{2}) ω + (\binom{100}{3}) + \dots \end{aligned}$

¿Qué sucede al sumar las tres expresiones? En el lado derecho, cada vez que $m$ es un múltiplo de $3$ , tenemos $3 (\binom{100}{m})$ , y cada vez que $m$ no es un múltiplo de $3$ , tenemos $(1 + ω + ω^{2}) (\binom{100}{m}) = 0.$ ¡Se filtran exactamente los coeficientes binomiales con parte inferior múltiplo de $3$ ! Así, tres veces la suma que buscamos es igual a $2^{100} + (1 + ω)^{100} + (1 + ω^{2})^{100} .$

Esta ya es una expresión suficientemente cerrada, pero podemos simplificar todavía más:

$\begin{aligned} (1 + ω)^{100} & = (- ω^{2})^{100} = ω^{200} = ω^{2} \\ (1 + ω^{2})^{100} & = (- ω)^{100} = ω \\ (1 + ω)^{100} + (1 + ω^{2})^{100} & = ω^{2} + ω = - 1. \end{aligned}$

Así, la expresión que queremos es $\frac{2^{100} - 1}{3}$ .

Más ejemplos

Puedes ver más ejemplos del uso de esta teoría en la Sección 3.5 del libro Problem Solving through Problems de Loren Larson.