Operaciones con complejos en forma polar

Veamos cómo trabajar el producto de dos complejos que vienen dados en forma polar. Cuando se quieren multiplicar dos números complejos dados en forma polar, se multiplican los módulos y se suman los argumentos dando lugar a un nuevo número complejo. De forma general se tiene:

$$$ \displaystyle \begin{array}{l} z_{1}=|z_{1}|_{\alpha_{1}} \\ z_{2}=|z_{2}|_{\alpha_{2}} \end{array} \left\} \Rightarrow z_{1}\cdot z_{2}=\big( |z_{1}|\cdot |z_{2}| \big)_{\alpha_{1}+\alpha_{2}} \right. $$$

Por ejemplo, $$$ \displaystyle \begin{array}{l} z_{1}=3_{42^{\circ}} \\ z_{2}=6_{112^{\circ}} \end{array} \left\} \Rightarrow z_{1}\cdot z_{2}=( 3\cdot 6)_{42^{\circ}+112^{\circ}}=18_{154^{\circ}} \right. $$$

$$$ \displaystyle \begin{array}{l} z_{1}=5_{24^{\circ}} \\ z_{2}=4_{90^{\circ}} \end{array} \left\} \Rightarrow z_{1}\cdot z_{2}=( 5\cdot 4)_{24^{\circ}+90^{\circ}}=20_{114^{\circ}} \right. $$$

Como vemos, esta forma de expresar los números complejos nos facilita y agiliza muchísimo la operación de multiplicar dos números complejos.

Veamos ahora qué pasa con el cociente. Si se quieren dividir dos números complejos dados en forma polar, el procedimiento a seguir es el siguiente: por una parte se dividen los módulos y por otra se restan los argumentos dando lugar a un nuevo número complejo que tiene por módulo el cociente de módulos y como argumento la diferencia de argumentos. En general se escribe como:

$$$ \displaystyle \begin{array}{l} z_{1}=|z_{1}|_{\alpha_{1}} \\ z_{2}=|z_{2}|_{\alpha_{2}} \end{array} \left\} \Rightarrow \frac{z_{1}}{z_{2}}=\Big( \frac{|z_{1}|}{|z_{2}|} \Big)_{\alpha_{1}-\alpha_{2}} \right. $$$

Por ejemplo, $$$ \displaystyle \begin{array}{l} z_{1}=14_{89^{\circ}} \\ z_{2}=7_{51^{\circ}} \end{array} \left\} \Rightarrow \frac{z_{1}}{z_{2}}=\Big( \frac{14}{7} \Big)_{89^{\circ}-51^{\circ}} =2_{38^{\circ}} \right. $$$

$$$ \displaystyle \begin{array}{l} z_{1}=35_{354^{\circ}} \\ z_{2}=7_{17^{\circ}} \end{array} \left\} \Rightarrow \frac{z_{1}}{z_{2}}=\Big( \frac{35}{7} \Big)_{354^{\circ}-17^{\circ}} =5_{337^{\circ}} \right. $$$

Teniendo en cuenta el producto de números complejos expresados en forma polar que hemos visto, vamos a deducir cómo se trabaja con potencias de números complejos en forma polar.

Ya sabemos que una potencia a la n de un número complejo es lo mismo que multiplicar el número por él mismo n veces. Como sabemos que el producto en forma polar solo supone el producto de los módulos y la suma de los argumentos, se deduce lo siguiente.

Para encontrar la potencia de un número complejo dado en forma polar simplemente debe hacerse la potencia que se pide del módulo, y el argumento, a su vez, se ve afectado en que se suma él mismo el número de veces a la que elevamos la potencia.

Así, se consigue un nuevo número complejo que también está en forma polar. Esto en general se escribe para dos números complejos cualesquiera como:

$$$ z=|z|_{\alpha} \ \Rightarrow \ (z)^n = \big(|z|_{\alpha}\big)^n= \big(|z|\stackrel{n}{\cdots} |z|\big)_{\alpha+\stackrel{n}{\dots}+\alpha}= {\big(|z|\big)^{n}}_{n \cdot \alpha}$$$

Por ejemplo, $$$ z=5_{75^{\circ}} \ \Rightarrow \ (z)^3 = (5_{75^{\circ}})^3= {(5)^3}_{3\cdot75^{\circ}}=125_{225^{\circ}} $$$

Por ejemplo, $$$ z=2_{30^{\circ}} \ \Rightarrow \ (z)^5= (2_{30^{\circ}})^5= {(2)^5}_{5\cdot30^{\circ}}=32_{150^{\circ}} $$$

La raíz enésima de un complejo $$|R|_{\beta}$$ es un número complejo $$|r|_{\alpha} $$ que cumple que:

$$$\displaystyle \sqrt[n]{|R|_{\beta}}=|r|_{\alpha} \Leftrightarrow \left\{ \begin{array}{l} |r|=\sqrt[n]{|R|} \\ \alpha=\frac{\beta+2\pi k}{n} \end{array} \right. $$$

Esto es porque, si observamos los módulos la raíz enésima de uno debe ser el otro, y si observamos los argumentos, la suma $$n$$ veces de uno debe ser el otro (que como ya hemos dicho anteriormente no queda unívocamente determinado y es por eso que le podemos sumar el factor $$2\pi$$ tantas veces como queramos, o también $$360 ^{\circ}$$ que es lo mismo que $$2\pi$$).

Podemos escribir esto en general como:

$$$ z=|z|_{\alpha} \ \Rightarrow \ \sqrt[n]{z}=\sqrt[n]{|z|_{\alpha}}= \big(\sqrt[n]{|z|}\big)_{\frac{\alpha+360^{\circ}k}{n}}$$$

Por ejemplo, $$$ z=64_{120^{\circ}} \ \Rightarrow \ \sqrt[2]{z}=\sqrt[2]{64_{120^{\circ}}}= (\sqrt[2]{64})_{\frac{120^{\circ}}{2}}=8_{60^{\circ}+\frac{360^{\circ}k}{2}} $$$

$$$ z=36_{250^{\circ}} \ \Rightarrow \ \sqrt[2]{z}=\sqrt[2]{36_{250^{\circ}}}= (\sqrt[2]{36})_{\frac{250^{\circ}}{2}}=6_{125^{\circ}+\frac{360^{\circ}k}{2}} $$$

Dando valores enteros a $$k$$ desde $$0$$ hasta $$n-1$$ obtenemos $$n$$ argumentos distintos que cumplen la condición que hemos impuesto. Para $$k$$ mayor o igual que $$n$$ obtenemos argumentos que difieren de los anteriores en un número entero de $$360^{\circ}$$ y en consecuencia coinciden con alguno de los $$n$$ anteriores.

Entonces, vamos a llamar raíces enésimas de un número complejo $$|R|_{\beta}$$ a los $$n$$ números complejos que tienen como módulo la raíz enésima del módulo y como argumento el ángulo $$ \dfrac{\beta+360^{\circ}k}{2}$$.

Estos son como hemos dicho: $$$\sqrt[n]{|R|_{\beta}}= \big(\sqrt[n]{|R|}\big)_{\frac{\beta+360^{\circ}k}{n}}$$$

con $$k = 0,1,2, \dots, n-1$$.

Por ejemplo,

$$$ \displaystyle \sqrt[3]{8i}=\sqrt[3]{8_{90^{\circ}}}= \left\{ \begin{array}{l} 2_{\frac{90^{\circ}}{3}}=2_{30^{\circ}} \\ 2_{\frac{90^{\circ}+360^{\circ}}{3}}=2_{150^{\circ}} \\ 2_{\frac{90^{\circ}+360^{\circ}\cdot2}{3}}=2_{270^{\circ}} \end{array} \right. $$$

Estas tres son todas las raíces cúbicas del número complejo, cuando $$k = 0,1,2$$ respectivamente.