Siendo z\in \mathbb{C}, nos proponemos resolver la ecuación
z^3=1+i
Es evidente que z=\sqrt[3]{1+i}. Sabemos, que la raíz n-ésima de un número complejo, como es w=1+i, tiene n soluciones: \sqrt[n]{|w|}\cdot e^{i\dfrac{\text{arg}(w)+2\pi\,k}{n}}\,;k=0,1,2, \ldots,n-1, donde \text{arg}(w) representa el valor principal (o primer valor) del argumento de w, siendo 0\le \text{arg}(w) \lt 2\pi, si bien también puede optarse por elegir otro intervalo de la misma longitud, 2\,\pi, tal como -\pi \lt \text{arg}(z)\le \pi.
En este caso, pues, w=1+1\cdot i, siendo |w|=\sqrt{(\mathcal{Re}(w))^2+\mathcal{Im}(w))^2}\overset{\mathcal{Re}(w)=1\;\;\mathcal{Im}(w)=1}{=}\sqrt{1^2+1^2}=\sqrt{2}. En cuanto a \text{Arg}(w) (argumento de w), tenemos que su valor principal es \text{arg}(w)=\text{arcsen}\,\left(\dfrac{\mathcal{Im}(w)}{|w|}\right), y, en nuestro caso, \text{arg}(w)=\text{arcsen}\,\left(\dfrac{1}{\sqrt{2}}\right)=\dfrac{\pi}{4}, pues hay que tener en cuenta, además, que el afijo del w en el plano de Argand se encuentra en el primer cuadrante, pues tanto la parte real como la imaginaria son cantidades positivas, por tanto estará entre 0 y \pi/2 radianes.
Entonces, como n=3 (índice del radical), existen tres raíces: \left\{\begin{matrix} z_0=\sqrt[3]{\sqrt{2}} \cdot e^{i\,\frac{\pi/4+2\pi\cdot 0}{3}}=\sqrt[6]{2}\cdot e^{i\,\frac{\pi/4}{3}}=\sqrt[6]{2}\cdot e^{i\,\frac{\pi}{12}} \\ z_1=\sqrt[3]{\sqrt{2}} \cdot e^{i\,\frac{\pi/4+2\pi\cdot 1}{3}}=\sqrt[6]{2}\cdot e^{i\,\frac{9\,\pi}{12}} \\ \\ z_2=\sqrt[3]{\sqrt{2}} \cdot e^{i\,\frac{\pi/4+2\pi\cdot 2}{3}}=\sqrt[6]{2}\cdot e^{i\,\frac{17\,\pi}{12}} \end{matrix}\right.
- (z_0)^3\overset{?}{=}1+i; en efecto, (z_0)^3=\left(\sqrt[6]{2}\cdot e^{i\,\frac{\pi}{12}}\right)^3=\left(\sqrt[6]{2}\right)^3\cdot\left(e^{i\,\frac{\pi}{12}}\right)^3=\sqrt{2}\cdot e^{i\,\frac{3\,\pi}{12}}=\sqrt{2}\cdot e^{i\,\frac{\pi}{4}}= \sqrt{2}\cdot \left( \cos\,(\frac{\pi}{4}) + i\,\sin\,(\frac{\pi}{4} ) \right) =
=\sqrt{2}\cdot \left( \frac{1}{\sqrt{2}} + i\,\frac{1}{\sqrt{2}} \right) = 1+i - (z_1)^3\overset{?}{=}1+i; así es: (z_{1}^3=\left(\sqrt[6]{2}\cdot e^{i\,\frac{9\pi}{12}}\right)^3=\left(\sqrt[6]{2}\right)^3\cdot\left(e^{i\,\frac{9\pi}{12}}\right)^3=\sqrt{2}\cdot e^{i\,\frac{3\cdot 9\,\pi}{12}}=\sqrt{2}\cdot e^{i\,\frac{9\pi}{4}}=\sqrt{2}\cdot e^{i\,(2\,\pi+\frac{\pi}{4})}=
\sqrt{2}\cdot e^{i\,2\,\pi}\cdot e^{i\,\frac{\pi}{4}}=\sqrt{2}\cdot 1\cdot e^{i\,\frac{\pi}{4}}=\sqrt{2}\cdot \left( \cos\,(\frac{\pi}{4}) + i\,\sin\,(\frac{\pi}{4} ) \right) =\sqrt{2}\cdot \left( \frac{1}{\sqrt{2}} + i\,\frac{1}{\sqrt{2}} \right) = 1+i - (z_{2})^3 \overset{?}{=}1+i; también se cumple: (z_{2})^3=\left(\sqrt[6]{2}\cdot e^{i\,\frac{17\pi}{12}}\right)^3=\left(\sqrt[6]{2}\right)^3\cdot\left(e^{i\,\frac{17\pi}{12}}\right)^3=\sqrt{2}\cdot e^{i\,\frac{3\cdot 17\,\pi}{12}}=\sqrt{2}\cdot e^{i\,\frac{17\pi}{4}}=\sqrt{2}\cdot e^{i\,(4\,\pi+\frac{\pi}{4})}=
\sqrt{2}\cdot e^{i\,2\cdot 2\,\pi}\cdot e^{i\,\frac{\pi}{4}}=\sqrt{2}\cdot 1\cdot e^{i\,\frac{\pi}{4}}=\sqrt{2}\cdot \left( \cos\,(\frac{\pi}{4}) + i\,\sin\,(\frac{\pi}{4} ) \right) =\sqrt{2}\cdot \left( \frac{1}{\sqrt{2}} + i\,\frac{1}{\sqrt{2}} \right) = 1+i
No hay comentarios:
Publicar un comentario