Enunciado trabajado.
Considera la ecuación \(z^4=16i\), con \(z\in\mathbb{C}\). Sus cuatro raíces son \(z_1,z_2,z_3,z_4\), donde \(z_k=r(\cos\theta_k+i\sin\theta_k)\), \(r\mathrel{\unicode{x003E}}0\) y \(0\le\theta_1\mathrel{\unicode{x003C}}\theta_2\mathrel{\unicode{x003C}}\theta_3\mathrel{\unicode{x003C}}\theta_4\mathrel{\unicode{x003C}}2\pi\).
a) Halla \(z_1,z_2,z_3,z_4\).
Las raíces forman una progresión geométrica.
b) Halla la razón común en forma cartesiana.
Las raíces se representan por A, B, C y D en un diagrama de Argand.
c) Dibuja A, B, C y D en un diagrama de Argand.
La ecuación \(v^4=a+bi\) tiene raíces \(z_1^*,z_2^*,z_3^*,z_4^*\).
d) Determina los valores de \(a\) y \(b\).
Sean A′, B′, C′ y D′ los puntos medios de [AB], [BC], [CD] y [DA], respectivamente. Considera la ecuación \(w^p=2^q\), con \(w\in\mathbb{C}\) y \(p,q\in\mathbb{Z}^+\). Cuatro de las raíces de \(w^p=2^q\) están representadas por A′, B′, C′ y D′.
e) Halla el menor valor posible de \(p\) y el correspondiente valor de \(q\).
Se resuelve por apartados, aplicando las fórmulas necesarias y justificando cada cálculo antes de dar la respuesta final.
(a) \(16i=16\,\text{cis}\,\tfrac{\pi}{2}\). Por De Moivre, las raíces cuartas tienen módulo \(2\) y argumentos \(\tfrac{\pi}{8}+k\tfrac{\pi}{2}\) (\(k=0,1,2,3\)):
\[z_1=2\,\text{cis}\,\tfrac{\pi}{8},\quad z_2=2\,\text{cis}\,\tfrac{5\pi}{8},\quad z_3=2\,\text{cis}\,\tfrac{9\pi}{8},\quad z_4=2\,\text{cis}\,\tfrac{13\pi}{8}.\]
(b) Razón común: \(\dfrac{z_2}{z_1}=\text{cis}\,\tfrac{\pi}{2}=i\). Respuesta: \(i\).
(c) Son cuatro puntos sobre el círculo de radio 2, separados por ángulos de \(\tfrac{\pi}{2}\), comenzando en \(\tfrac{\pi}{8}\).
(d) Si \(v^4=a+bi\) tiene raíces las conjugadas \(z_k^*\), entonces \(a+bi=(16i)^*=-16i\). Por tanto, \(a=0,\ b=-16\).
(e) Puntos medios: \(A’ = \tfrac{z_1+z_2}{2}\), etc. Se obtiene \(|OA’|=\big|\tfrac{z_1+z_2}{2}\big|=\sqrt{2}=2^{1/2}\) y \(\arg A’=\tfrac{\pi}{8}+\tfrac{5\pi}{8}\over 2=\tfrac{3\pi}{8}\). Los cuatro puntos A′, B′, C′, D′ tienen argumentos \(\tfrac{3\pi}{8},\tfrac{7\pi}{8},\tfrac{11\pi}{8},\tfrac{15\pi}{8}\), separados por \(\tfrac{\pi}{2}\).
Para \(w^p=2^q\), las raíces son \(2^{q/p}\,\text{cis}\,\tfrac{2\pi n}{p}\). Exigimos: (i) \(2^{q/p}=2^{1/2}\Rightarrow q/p=1/2\); (ii) \(\tfrac{3\pi}{8}=\tfrac{2\pi n}{p}\Rightarrow \tfrac{n}{p}=\tfrac{3}{16}\), y que aparezcan cuatro consecutivas separadas por \(\tfrac{2\pi}{p}=\tfrac{\pi}{2}\Rightarrow p=16\). Entonces \(q=8\).
Respuesta: \(p=16,\ q=8\).