martes, 24 de septiembre de 2013

Raíz cuadrada de un número complejo

La raíz cuadrada es una operación que ya deberíamos de estar familiarizados. Debemos de saber ya que la raíz cuadrada responde la pregunta "¿qué número multiplicado por si mismo me da el número \(z\)?" Para recordar, la raíz cuadrada con números reales:
\[\sqrt{4}=\pm 2\]
\[\sqrt{0}=\pm 0\]
\[\sqrt{100}=\pm 10\]
Como se puede observar, dos números cumplen la propiedad que al multiplicarse por si mismos se obtiene el número dentro de la raíz cuadrada. Vemos entonces que la raíz cuadrada como tal no regresa un sólo valor, sino dos valores.

Para evitar la situación de que nos regrese dos valores tenemos el concepto de "raíz cuadrada principal", que  es el concepto que usa la calculadora para obtener la raíz cuadrada. La "raíz cuadrada principal" de un número es el número positivo que cumple con la propiedad de la "raíz cuadrada".

La calculadora sólo regresa un resultado
El concepto de "raíz cuadrada principal" es útil para la solución del problema de encontrar las dos "raíces cuadradas" de un número real. Lo único que hay que hacer es manejar la raíz cuadrada principal indicando con el símbolo \(\pm\) que hay dos variantes posibles en la expresión. En adelante, en esta entrada, se denotará la "raíz cuadrada" que da dos resultados con el símbolo \(\pm\) antes de la expresión \(\sqrt(z)\).

Extendamos el concepto de "raíz cuadrada" al resto de los números complejos. Los números resultantes de la raíz cuadrada serán también números complejos. Al igual que con los números reales, habrá dos raíces cuadradas para cada número negativo, para cada número imaginario y para cada número que sea una combinación de parte real y parte imaginaria. Consideremos el problema de encontrar una de las dos raíces cuadradas:

\[\textrm{Sea }z=x+yi \textrm{ . Además, sea } \sqrt{z}=u+vi\]
\[
\begin{align*}
\sqrt{z}&=\sqrt{x+yi} \\
u+vi &= \sqrt{x+yi} \\
&\textrm{Elevando al cuadrado en ambos lados}\\
(u+vi)^2&=x+yi \\
(u^2-v^2)+(2uv)i&=x+yi
\end{align*}
\]
El número del lado izquierdo es lo mismo que el número del lado derecho. Dos números complejos son iguales si su parte real y su parte imaginaria tienen el mismo valor. Por lo tanto:
\[
\begin{align*}
(u^2-v^2)+(2uv)i&=x+yi \\
\textrm{Re }((u^2-v^2)+(2uv)i) &= \textrm{Re }(x+yi) \\
(u^2-v^2)&=x
\end{align*}
\]
Y también se cumple:
\[
\begin{align*}
(u^2-v^2)+(2uv)i&=x+yi \\
\textrm{Im }((u^2-v^2)+(2uv)i) &= \textrm{Im }(x+yi) \\
2uv&=y
\end{align*}
\]
Ahora usamos los resultados de las dos ecuaciones anteriores para despejar \(u\) y \(v\). Sabemos de la ecuación \(2uv=y\) que:
\[u=\frac{y}{2v}\]
\[u^2=\frac{y^2}{4v^2}\]
Lo anterior supone que la parte imaginaria no es cero, la fórmula no se cumple si la parte imaginaria sí es cero. Sustituyendo este hecho en la ecuación resultante de igualar las partes reales:
\[
\begin{align*}
(u^2-v^2)&=x \\
\left (\left (\frac{y^2}{4v^2}\right )-v^2\right )&=x\\
\frac{y^2}{4v^2}-\frac{4v^4}{4v^2}&=x\\
\frac{y^2-4v^4}{4v^2}&=x\\
y^2-4v^4&=4xv^2\\
0&=4v^4+4xv^2+(-y^2)
\end{align*}
\]
La ecuación anterior es una ecuación cuadrática escondida. Recordemos que los valores de \(x\) y los valores de \(y\) son constantes ya dadas. Si rescribimos la expresión y sustituimos \(p=v^2\) podremos verlo más claro:
\[
\begin{align*}
0&=4(v^2)^2+(4x)(v^2)+(-y^2)\\
0&=4p^2+(4x)p+(-y^2)
\end{align*}
\]
Entonces resolviendo esta cuadrática con la fórmula cuadrática tenemos:
\[p=\frac{(-4x)\pm \sqrt{(4x)^2-4(4)(-y^2)}}{(2)(4)}\]
\[p=\frac{(-4x)\pm \sqrt{16x^2+16y^2}}{8}\]
\[p=\frac{(-4x)\pm 4\sqrt{x^2+y^2}}{8}\]
\[p=\frac{-x\pm \sqrt{x^2+y^2}}{2}\]
\[v^2=\frac{-x\pm\sqrt{x^2+y^2}}{2}\]
\[v=\pm\sqrt{\frac{-x\pm\sqrt{x^2+y^2}}{2}}\]
\[v=\pm\sqrt{\frac{-x\pm|z|}{2}}\]
Con lo anterior vemos que \(v\) puede tomar cuatro valores posibles, ya que puede ser positivo o negativo y después la raíz cuadrada puede tomar dos valores. Sin embargo hay que ignorar los valores imaginarios, ya que establecimos que \(v\) tiene que ser un número únicamente real. Al ignorar los valores imaginarios de \(v\) terminaremos con dos posibles valores. Sabemos que \(|z|\) siempre será un número positivo o cero mayor o igual al valor de \(x\), por lo tanto debemos de eliminar el signo negativo para que se pueda obtener un número real:
\[v=\pm\sqrt{\frac{|z|-x}{2}}\]
En la fórmula anterior, la raíz cuadrada debe de considerarse que obtiene dos valores posibles. Una vez obtenido el valor de \(v\), una simple sustitución con  \(2uv=y\) nos deja el valor de \(u\):
\[u=\pm\frac{y}{2v}\]
\[u=\pm\frac{y}{2\sqrt{\frac{|z|-x}{2}}}\]
A consecuencia de que \(v\) toma dos valores posibles, tendremos dos valores correspondientes de \(u\). Lo que sucederá es que, al igual que con los números reales positivos, las raíces cuadradas de los números complejos también serán dos resultados. Como \(u\) y \(v\) comparten el \(\pm\), podemos expresar las dos posibles respuestas como \(\pm\sqrt{z}=\pm(u+vi)\). Los valores de \(u\) y \(v\) correspondientes pueden ser cualquier número real, incluso pueden tener signos opuestos. 

Cabe notar que la fórmula obtenida para \(u\) y \(v\) aplica para todo número complejo que no sea real. Exceptuando el cero que sólo sí mismo es su raíz cuadrada.

Para los números reales negativos podemos utilizar la unidad imaginara para darnos cuenta de cuáles son las dos raíces cuadradas de un número negativo, sea \(a \in \mathbb{R}\) y \(a > 0\):
\[(\sqrt{a}i)(\sqrt{a}i)=(\sqrt{a})^2(i)^2 = -a\]
\[(-\sqrt{a}i)(-\sqrt{a}i)=(-1)^2(\sqrt{a})^2(i)^2 = -a\]

Por lo tanto:
\[\pm\sqrt{-a}=\pm\sqrt{-1}\sqrt{a}=\pm \sqrt{a}i \]

Veamos algunos ejemplos de las raíces cuadradas (obteniendo dos resultados) de números complejos:
\[\sqrt{1}=\pm 1\]
\[\sqrt{100}=\pm 10\]
\[\sqrt{-1}=\pm i\]
\[\sqrt{-100}=\pm 10i\]
\[\sqrt{i}=\pm \left (\frac{\sqrt{2}}{2}+\frac{\sqrt{2}}{2}i\right )\]
\[\sqrt{100i}=\pm \left (\sqrt{50}+\sqrt{50}i\right )\]
\[\sqrt{-i}=\pm \left (\frac{\sqrt{2}}{2}-\frac{\sqrt{2}}{2}i\right )\]
\[\sqrt{-100i}=\pm \left (\sqrt{50}-\sqrt{50}i\right )\]
\[\sqrt{2+3i}=\pm \left (\frac{3\sqrt{\frac{-2+\sqrt{13}}{2}}}{-2+\sqrt{13}}+\sqrt{\frac{-2+\sqrt{13}}{2}}i\right )\]
\[\sqrt{-2+3i}=\pm \left (\frac{3\sqrt{\frac{2+\sqrt{13}}{2}}}{2+\sqrt{13}}+\sqrt{\frac{2+\sqrt{13}}{2}}i\right )\]
\[\sqrt{2-3i}=\pm \left (-\frac{3\sqrt{\frac{-2+\sqrt{13}}{2}}}{-2+\sqrt{13}}+\sqrt{\frac{-2+\sqrt{13}}{2}}i\right )\]
\[\sqrt{-2-3i}=\pm \left (-\frac{3\sqrt{\frac{2+\sqrt{13}}{2}}}{2+\sqrt{13}}+\sqrt{\frac{2+\sqrt{13}}{2}}i\right )\]
La calculadora también puede regresar las raíces principales de algunas de las operaciones anteriores. 

Obteniendo raíces principales de números complejos con la calculadora
Se decidió hacer \(i\) la raíz principal de \(-1\), esta es la definición de \(i\) que algunos usan.

lunes, 23 de septiembre de 2013

Números complejos en la calculadora

La mayoría de las operaciones con números complejos y conversiones entre formas se pueden realizar directamente con la calculadora del curso. Las siguientes capturas de pantalla fueron hechas con la calculadora TI-83 Plus Silver Edition.

Podemos realizar operaciones básicas de números complejos, para poner un número complejo tenemos que buscar la tecla de la unidad imaginaria \(i\).

¡Suma, resta y multiplicación de números complejos!
Los resultados de las operaciones se expresan en el 'modo' que tenga activado la calculadora. Hay un modo 'a+bi' que es el default y otro modo 're^\(\theta\)i' que se puede activar. En todo caso también hay funciones para convertir resultados a la forma cartesiana y a la forma polar.

A veces el resultado es muy grande y se extiende a la derecha, por lo que es necesario oprimir la tecla 'flecha a la derecha' para ver el resto del número resultante de los cálculos.
Realizando divisiones de números complejos. En esta división el resultado a 3 c.s. es -0.0769 - 0.385i
También se pueden calcular el valor de números complejos elevados a una potencia entera positiva o entera negativa.
Calculando potencias
Además podemos obtener el conjugado, parte real y parte imaginaria de números complejos.

Conjugado, parte real y parte imaginaria.
Puede calcular el módulo y el argumento de un número complejo. También puede convertir un número complejo de la forma polar a la forma cartesiana. La respuesta del argumento en este caso es en radianes, pero se puede cambiar el modo para que lo regrese en grados.

El módulo (valor absoluto) y el  argumento (ángulo) del número complejo
Convirtiendo a forma polar a partir de forma cartesiana
De la misma forma puede convertir un número de la forma cartesiana a la forma polar. Para hacer esto se puede usar el comando especial de conversión. Si la calculadora está en el modo 'a+bi' dónde muestra todos los resultados en la forma cartesiana, basta con poner la expresión directamente, la calculadora realizará las operaciones (trigonométricas o exponenciales) para obtener el resultado en la forma cartesiana.

Conversión a la forma cartesiana
Hay que considerar que, como los cálculos son numéricamente finitos, la calculadora puede dar como resultado un número muy pequeño cuando el resultado real debería ser cero. En este caso hay que tener en cuenta las tres cifras significativas que les piden en el examen. Sabemos que \(3e^{\pi i} = -3\), sin embargo en la captura anterior la calculadora muestra una muy pequeña parte imaginaria.

Saber esto hace que los problemas de números complejos en el examen con calculadora sean muy fáciles, sin embargo no hay que olvidar que se puede pedir realizar todo lo anterior en el examen sin calculadora. Pero no hay que preocuparse mucho, ya que los problemas serán con valores que son simples o que se puedan obtener a base de otros conocimientos del programa.

Conjugados de los números complejos en la forma módulo argumental

Obtengamos el conjugado de un número complejo (expresado en la forma módulo-argumental) a partir de la forma módulo-argumental de un número complejo.

Sea un número complejo \(z = x+yi\), dónde en la forma módulo-argumental es \(z = re^{\theta i}\). Es decir que \(|z| = r\) y también \(\arg z = \theta\)

Sabemos que el conjugado del número complejo es \(\overline{z} = x-yi\)

Sabemos entonces que el módulo de \(\overline{z}\) es \(\sqrt{x^2+y^2}\) que es lo mismo que el módulo de \(z\), por lo tanto \(|\overline{z}|=r\).

Notamos también que el patrón de los conjugados es que se reflejan con el eje-x, el resultado de esto es que el argumento se cambia por el correspondiente valor negativo.

Para todo número el valor del argumento del conjugado corresponde con el valor negativo del ángulo

También se cumple con números con un argumento dentro del cuadrante III o el cuadrante IV
Con este patrón podemos llegar a la conclusión que \(\arg \overline{z} = -\theta\).

Finalmente juntamos la información anterior para llegar a la conclusión que:

\[\textrm{Si }z=re^{\theta i} \textrm{ entonces } \overline{z}=re^{-\theta i}\]

Esta expresión cumple la propiedad que la multiplicación de un número complejo con su conjugado resulta al módulo elevado al cuadrado:

\[z\overline{z}=re^{\theta i}re^{-\theta i}=r^2e^{(\theta-\theta)i}=r^{2}e^{0}=r^2\]

domingo, 22 de septiembre de 2013

Conversión de la forma módulo-argumental a la forma cartesiana

Si un número complejo está en la forma módulo-argumental se puede cambiar a la forma cartesiana. Si la calculadora está disponible podemos utilizarla para que realice las conversiones por nosotros.

Convertir de la forma módulo-argumental a la forma cartesiana es más simple que hacer lo contrario. Convertir de módulo-argumental a forma cartesiana sólo consiste en evaluar el valor de las expresiones trigonométricas correspondientes según el argumento y multiplicarlo por el módulo correspondiente.

Veamos varios ejemplos expresados a tres cifras significativas o exactamente:
\[
\begin{align*}
8e^{\left (0i\right )} &= 8\left (\cos 0 + i \textrm{ sen } 0 \right )\\
&= \left (8\cos 0\right ) + \left (2 \textrm{ sen } 0\right )i\\
&= (8)(1) + (8)(0)i\\
&= 8
\end{align*}
\]

\[
\begin{align*}
4e^{\left (i\pi\right )} &= 4\left (\cos \pi + i \textrm{ sen } \pi\right )\\
&= \left (4\cos \pi\right ) + \left (4 \textrm{ sen } \pi\right )i\\
&= (4)(-1) + (4)(0)i\\
&= -4
\end{align*}
\]

\[
\begin{align*}
2e^{\left (i\frac{\pi}{2}\right )} &= 2\left (\cos \frac{\pi}{2} + i \textrm{ sen } \frac{\pi}{2}\right )\\
&= \left (2\cos \frac{\pi}{2}\right ) + \left (2 \textrm{ sen } \frac{\pi}{2}\right )i\\
&= (2)(0) + (2)(1)i\\
&= 2i
\end{align*}
\]

\[
\begin{align*}
3e^{\left (i\frac{3\pi}{2}\right )} &= 3\left (\cos \frac{3\pi}{2} + i \textrm{ sen } \frac{3\pi}{2}\right )\\
&= \left (3\cos \frac{3\pi}{2}\right ) + \left (3 \textrm{ sen } \frac{3\pi}{2}\right )i\\
&= (3)(0) + (3)(-1)i\\
&= -3i
\end{align*}
\]

\[
\begin{align*}
\sqrt{29}e^{\left (0.381i\right )} &= \sqrt{29}\left (\cos 0.381 + i \textrm{ sen } 0.381\right )\\
&= \left (\sqrt{29}\cos 0.381\right ) + \left (\sqrt{29} \textrm{ sen } 0.381\right )i\\
&= (\sqrt{29})(0.928) + (\sqrt{29})(0.372)i\\
&= 5+2i
\end{align*}
\]

\[
\begin{align*}
\sqrt{13}e^{\left (-0.588i\right )} &= \sqrt{13}\left (\cos -0.588 + i \textrm{ sen } -0.588\right )\\
&= \left (\sqrt{13}\cos -0.588\right ) + \left (sqrt{13} \textrm{ sen } -0.588\right )i\\
&= (\sqrt{13})(0.832) + (\sqrt{13})(-0.555)i\\
&= 3-2i
\end{align*}
\]

\[
\begin{align*}
\sqrt{2}e^{\left (i\frac{5\pi}{4}\right )} &= \sqrt{2}\left (\cos \frac{5\pi}{4} + i \textrm{ sen } \frac{5\pi}{4}\right )\\
&= \left (\sqrt{2}\cos \frac{5\pi}{4}\right ) + \left (\sqrt{2} \textrm{ sen } \frac{5\pi}{4}\right )i\\
&= (\sqrt{2})\left (-\frac{\sqrt{2}}{2}\right ) + (\sqrt{2})\left (-\frac{\sqrt{2}}{2}\right )i\\
&= -1-1i
\end{align*}
\]

\[
\begin{align*}
e^{\left (i\frac{11\pi}{6}\right )} &= \left (\cos \frac{11\pi}{6} + i \textrm{ sen } \frac{11\pi}{6}\right )\\
&= \left (\cos \frac{11\pi}{6}\right ) + \left (\textrm{sen } \frac{11\pi}{6}\right )i\\
&= (1)(-0.260) + (1)(0.966)i\\
&= -0.260 + 0.966i
\end{align*}
\]

Conversión de forma cartesiana a forma módulo-argumental

Si un número complejo está en la forma cartesiana se puede cambiar a la forma módulo-argumental. Si la calculadora está disponible podemos utilizarla para que realice las conversiones por nosotros.

Realizaremos un ejemplo con los siguientes números:
a. \(7\)
b. \(-3\)
c. \(5i\)
d. \(-2i\)
e. \(1+i\)
f. \(2-3i\)
g. \(-5+2i\)
h. \(-3-7i\)

Paso 1. Obtener el módulo del número complejo

Recordemos que si \( z = x + yi \) entonces el módulo será \(\left |z\right |=\sqrt{x^2+y^2}\). Con esto ya tenemos la mitad de lo que necesitamos, ya que \(\left |z\right |= r\).

a1. \(\left |7\right | = 7\)
b1. \(\left |-3\right | = 3\)
c1. \(\left |5i\right | = 5\)
d1. \(\left |-2i\right | = 2\)
e1. \(\left |1+i\right | = \sqrt{2}\)
f1. \(\left |2-3i\right | = \sqrt{13}\)
g1. \(\left |-5+2i\right | = \sqrt{29}\)
h1. \(\left |-3-7i\right | = \sqrt{58}\)

Paso 2. Obtener el argumento del número complejo cuidando que coincida con el cuadrante del número complejo.

Consideremos \( z = x + yi \). Para obtener el ángulo del triángulo generado por el número complejo, el origen y el eje-x podemos utilizar la función inversa de tangente.

La función inversa de tangente, con notación \(\textrm{arctg}\), es una función que le insertas una proporción entre \(y\) y \(x\) para que te regrese el ángulo correspondiente si esta razón entre catetos del triangulo se encontrara en el cuadrante I o el cuadrante IV del diagrama de Argand (como si fuera un plano cartesiano). Lo anterior aplica para la calculadora del curso, sin embargo, se pueden encontrar diferentes definiciones de la función \(\textrm{arctg}\).

Es decir, usamos \(\textrm{arctg}\) para obtener un ángulo auxiliar y después usamos ese ángulo auxiliar junto con el conocimiento del cuadrante del número para encontrar el verdadero ángulo que corresponde al argumento del número complejo.

\[\theta_{\textrm{auxiliar}}=\textrm{arctg}\left (\frac{y}{x}\right )\]

La fórmula anterior no puede hacer una división entre 0. Para el caso de los números que son puramente imaginarios podemos obtener el argumento de forma directa. Sabemos que el argumento de los números puramente imaginarios positivos tiene que ser \(\frac{\pi}{2}\). Sabemos también que el argumento de los números puramente imaginarios negativos tiene que ser \(\frac{3\pi}{2}\).

Para el caso de los números que son puramente reales podemos obtener el argumento de forma directa. Sabemos que el argumento de los números puramente reales positivos tiene que ser \(0\). Sabemos también que el argumento de los números puramente reales negativos tiene que ser \(\pi\).

En los exámenes sin calculadora los valores serán sencillos, de forma que se podrá calcular el ángulo usando los triángulos básicos que nos dan las funciones trigonométricas de 30°, 60° y 90°, junto con los múltiplos de estos valores.

Estos son los valores que regresa la calculadora del curso:

a2. \(\theta_{\textrm{auxiliar}} = 0\), este argumento es para un número real positivo y el número sí es un número real positivo.
b2. \(\theta_{\textrm{auxiliar}} = 0\), este argumento es para un número real positivo, pero el número es en realidad un número real negativo.
c2. \(\theta_{\textrm{auxiliar}}\) realiza una división entre 0, pero sabemos que para un número imaginario positivo el argumento tiene que ser \(\frac{\pi}{2}\).
d2. \(\theta_{\textrm{auxiliar}}\) realiza una división entre 0, pero sabemos que para un número imaginario negativo el argumento tiene que ser \(\frac{3\pi}{2}\).
e2. \(\theta_{\textrm{auxiliar}} = \frac{\pi}{4}\), este argumento es para un número en el cuadrante I y el número sí se encuentra en el cuadrante I.
f2. \(\theta_{\textrm{auxiliar}}= -0.982794\), este argumento es para un número que se encuentra en el cuadrante IV, el número sí se encuentra en el cuadrante IV. Podemos dejarlo así o escribirlo en la forma positiva sumándole \(2\pi\) (se suma 360° en caso que se trabaje con grados).
g2. \(\theta_{\textrm{auxiliar}} = -0.380506\), este argumento es para un número que se encuentra en el cuadrante IV, sin embargo sabemos por las coordenadas que el número se encuentra en el cuadrante II.
h2. \(\theta_{\textrm{auxiliar}} = 1.165905\), este argumento es para un número que se encuentra en el cuadrante I, sin embargo sabemos por las coordenadas que el número se encuentra en el cuadrante III.

A los números puramente imaginarios tampoco se les puede calcular \(\textrm{arctg}\), pero sabemos cual es el valor que les corresponde. Los números que van a estar incorrectos son los que se encuentren en: cuadrante II, cuadrante III y en los números reales negativos. Para corregir los valores incorrectos tenemos que sumar \(\pi\) al ángulo auxiliar (se suma 180° en el caso que se trabaje con grados).

Entonces, a tres cifras significativas o exactamente y decidiendo expresar los ángulos  \( 0 \le \theta < 2\pi\):

a2. \(\theta = 0\)
b2. \(\theta = \pi\)
c2. \(\theta = \frac{\pi}{2}\)
d2. \(\theta = \frac{3\pi}{2}\)
e2. \(\theta = \frac{\pi}{4}\)
f2. \(\theta= 5.30\), escribiéndolo en la forma positiva
g2. \(\theta = 2.76\)
h2. \(\theta = 4.31\)

Con lo anterior ya tenemos lo suficiente para escribirlos en la forma módulo-argumental.

Paso 3. Escribir el número usando el módulo y el argumento obtenido

Lo último que falta es escribirlo todo junto, puede ser con las funciones trigonométricas:

a3. \(7(\cos 0 + i \textrm{sen} 0\)
b3. \(3(\cos \pi + i \textrm{sen} \pi)\)
c3. \(5(\cos \frac{\pi}{2} + i \textrm{sen}\frac{\pi}{2})\)
d3. \(2(\cos \frac{3\pi}{2} + i \textrm{sen} \frac{3\pi}{2})\)
e3. \(\sqrt(2)(\cos \frac{\pi}{4} + i \textrm{sen} \frac{\pi}{4})\)
f3. \(\sqrt{13}(\cos -0.983 + i \textrm{sen} -0.983)\)
g3. \(\sqrt{29}(\cos 2.76 + i \textrm{sen} 2.76)\)
h3. \(\sqrt{58}(\cos 4.31 + i \textrm{sen} 4.31)\)

También puede ser en la forma de Euler:

a3. \(7e^{0i}\)
b3. \(3e^{\pi i}\)
c3. \(5e^{\frac{\pi}{2}i}\)
d3. \(2e^{ \frac{3\pi}{2}i}\)
e3. \(\sqrt{2}e^{ \frac{\pi}{4}i}\)
f3. \(\sqrt{13}e^{5.30i}\)
g3. \(\sqrt{29}e^{2.76i}\)
h3. \(\sqrt{58}e^{4.31i}\)

División de números complejos en la forma módulo-argumental


La división también se simplifica mucho en la forma módulo-argumental.

Sea \(z_{1}=r_{1}e^{i\theta_{1}}\) y \(z_{2}=r_{2}e^{i\theta_{2}}\), entonces:
\[
\begin{align*}
 \frac{z_{1}}{z_{2}} &= \frac{r_{1}e^{i\theta_{1}}}{r_{2}e^{i\theta_{2}}}\\
                               &= \frac{r_{1}}{r_{2}}\frac{e^{i\theta_{1}}}{e^{i\theta_{2}}}\\
                               &= \frac{r_{1}}{r_{2}}e^{i(\theta_{1}-\theta_{2})}
\end{align*}
\]
Es decir, si se dividen dos números complejos el numero complejo resultante tendrá un módulo igual a la división de los módulos de los números complejos y un argumento igual a la resta de los argumentos de los números complejos (convertido al ángulo correspondiente). Matemáticamente:
\[\left | \frac{z_{1}}{z_{2}} \right | = \frac{|z_{1}|}{|z_{2}|}\]
\[\arg \left (\frac{z_{1}}{z_{2}}\right ) = \theta_{1} - \theta_{2}\]
En los números complejos la división es una modificación del módulo y un giro de dirección, a menos que el argumento sea 0 y/o si el módulo es 1. Esta propiedad se cumple también si dividimos los números en la forma cartesiana.

Ejemplos:
\[\frac{r(\cos \theta + i \textrm{sen} \theta)}{s(\cos \phi + i \textrm{sen} \phi)} = \frac{r}{s}(\cos (\theta - \phi) + i \textrm{sen} (\theta-\phi))\]
\[\frac{e^{i\frac{\pi}{2}}}{2e^{i\frac{\pi}{3}}} = \frac{1}{2}e^{i\frac{\pi}{6}}\]
\[\frac{2(\cos 30° + i \textrm{sen} 30°)}{3(\cos 27° + i \textrm{sen} 27°)} = \frac{2}{3}(\cos 3° + i \textrm{sen} 3°)\]

Multiplicación de números complejos en la forma módulo-argumental

La multiplicación de números complejos se puede calcular más fácilmente si los dos números se encuentran en la forma módulo argumental.

Sea \(z_{1}=r_{1}e^{i\theta_{1}}\) y \(z_{2}=r_{2}e^{i\theta_{2}}\), entonces:
\[

\begin{align*}
 z_{1}z_{2} &= r_{1}e^{i\theta_{1}}r_{2}e^{i\theta_{2}}\\
                    &= r_{1}r_{2}e^{i\theta_{1}}e^{i\theta_{2}}\\
                    &= r_{1}r_{2}e^{i(\theta_{1}+\theta_{2})}
\end{align*}

\]
Es decir, si se multiplican dos números complejos el numero complejo resultante tendrá un módulo igual a la multiplicación de los módulos de los números complejos y un argumento igual a la suma de los argumentos de los números complejos (convertido al ángulo correspondiente). Matemáticamente:
\[\left | z_{1}z_{2} \right | = |z_{1}||z_{2}|\]
\[\arg (z_{1}z_{2}) = \theta_{1} + \theta_{2}\]
En los números complejos la multiplicación es una modificación del módulo y un giro de dirección, a menos que el argumento sea 0 y/o si el módulo es 1. Esta propiedad se cumple también si multiplicamos los números en la forma cartesiana.

Ejemplos:
\[r(\cos \theta + i \textrm{sen} \theta)s(\cos \phi + i \textrm{sen} \phi) = rs(\cos (\theta + \phi) + i \textrm{sen} (\theta+\phi))\]
\[\left (e^{i\frac{\pi}{2}}\right )\left (2e^{i\frac{\pi}{3}}\right ) = 2e^{i\frac{5\pi}{6}}\]
\[2(\cos 30° + i \textrm{sen} 30°)3(\cos 27° + i \textrm{sen} 27°) = 6(\cos 57° + i \textrm{sen} 57°)\]


domingo, 8 de septiembre de 2013

La forma de Euler de un número complejo

Otra forma de representar la forma módulo-argumental de un número complejo es la llamada "forma de Euler de un número complejo". Esta forma usa los mismos valores de \(r\) y \(\theta\) de la forma polar. La forma de Euler es matemáticamente equivalente a la forma polar, es decir, la forma de Euler es una forma diferente de expresar un número complejo en la forma módulo-argumental.

La forma de Euler de un número complejo \(z\) se escribe: \[re^{i\theta}\]
El resultado de \(e^{i\theta}\) siempre es un número complejo con módulo de 1 y argumento \(\theta\). En esta notación \(\theta\) sólo puede ser expresado en radianes.

Estos son algunos ejemplos de números escritos de esta forma:
\[0\]\[3e^{i\frac{\pi}{6}}\]\[e^{i(0)}\]\[e^{i\frac{\pi}{2}}\]\[e^{i\pi}\]\[e^{i\frac{3\pi}{2}}\]\[e^{2i}\]\[e^{i}\]\[5e^{2i}\]\[5e^{i}\]




La forma módulo-argumental de un número complejo

Un número complejo se puede definir sin ambigüedad estableciendo el módulo y el argumento del número. Esto se cumple porque el módulo es la distancia al origen y el argumento es la dirección en la que se tiene que recorrer la distancia.

De la misma forma como fue conveniente nombrar los componentes del número complejo \(z\) como \(x\) y \(y\) para hacer referencia a la coordenada \((x,y)\), podemos nombrar los componentes módulo-argumental del número complejo \(z\) como \(r\) y \(\theta\), haciendo referencia a las coordenadas polares. Estableciendo la notación: \[|z|=r\] \[\arg z=\theta\]
En el siguiente diagrama podemos ver como se relaciona el módulo y el argumento de un número complejo con las coordenadas del número complejo.

Lo que mide 'x' es lo mismo que mide 'r por el coseno del ángulo' y lo que mide 'y' es lo mismo que 'r por el seno del ángulo'. Con esto se puede establecer la igualdad. (Imagen: Wikipedia, editada)
Es entonces que se deduce la siguiente fórmula para un número complejo \(z = x + iy\): \[\begin{align*}
z &= x+iy\\
z &= |z|(\cos(\arg z)) + |z|i(\textrm{sen}(\arg z))\\
z &= r(\cos \theta) + ri(\textrm{sen} \theta)\\
z &= r(\cos \theta + i \textrm{sen} \theta)
\end{align*}\]
A la forma \(r(\cos \theta + i \textrm{sen} \theta)\) le llamamos la forma módulo-argumental del número complejo. Otro nombre es "forma polar del número complejo" haciendo referencia al hecho que los valores \(r\) y \(\theta\) son las coordenadas polares del plano cartesiano.

Para ahorrar espacio al escribir la forma módulo-argumental, se puede sustituir la parte dentro de los paréntesis por la expresión \(\textrm{cis }\theta\) que hace referencia al "coseno i seno" del argumento.

Estos son algunos ejemplos de números complejos en la forma módulo argumental:
\[0\]\[3(\cos(30°)+i\textrm{sen}(30°))\]\[3 \textrm{ cis }30°\]\[\textrm{cis } 0°\]\[\textrm{cis } 90°\]\[\textrm{cis } 180°\]\[\textrm{cis } 270°\]\[7\textrm{ cis } 0°\]\[7\textrm{ cis } 90°\]\[7\textrm{ cis } 180°\]\[7\textrm{ cis } 270°\]\[3\left (\cos \frac{\pi}{6} + i\sin \frac{\pi}{6}\right )\]\[3 \textrm{ cis }\frac{\pi}{6}\]\[\textrm{cis } 0\]\[\textrm{cis } \frac{\pi}{2}\]\[\textrm{cis } \pi\]\[\textrm{cis } \frac{3\pi}{2}\]\[7\textrm{ cis } 0\]\[7\textrm{ cis }\frac{\pi}{2}\]\[7\textrm{ cis } \pi\]\[7\textrm{ cis }\frac{3\pi}{2}\]\[\textrm{ cis }2\]\[5\textrm{ cis }1\]

El sistema de coordenadas polares

De la misma forma que las coordenadas del plano cartesiano se pueden representar con dos números \((x,y)\), las coordenadas del plano cartesiano se pueden representar con dos números \(r,\theta\).

Los puntos del plano de determinan sin ambigüedad según la distancia \(r\) al origen y el ángulo \(\theta\) medido con el rayo que forma la parte positiva del eje-x. Aquí se muestran dos coordenadas:

Dos números determinan a estos dos puntos en un plano (Imagen: Wikipedia)
Este sistema de coordenadas es muy útil para nombrar los números complejos en el diagrama de Argand, es decir, en el plano de los números complejos. 
Para facilitar la interpretación hay que estar conscientes de las medidas de los ángulos en radianes y en grados (Imagen: Wikipedia)