Olimpiadas de Matemáticas
Página de preparación y problemas

Solución. Por tener módulo unidad, se puede escribir $z=\cos(t)+i\operatorname{sen}(t)$, con lo que $z^n=\cos(nt)-i\operatorname{sen}(nt)$ para todo $n\in\mathbb{Z}$ por la fórmula de De Moivre y, en particular, $\frac{1}{z}=z^{-1}=\cos(t)-i\operatorname{sen}(t)$. Por tanto, la ecuación se escribe como $\cos^n(t)=\cos(nt)$ para la incógnita real $t\in[0,2\pi)$.

• Para $n=2$, tenemos $\cos^2(t)=\cos(2t)=\cos^2(t)-\operatorname{sen}^2(t)$, lo que nos da la ecuación $\operatorname{sen}(t)=0$, que tiene por únicas soluciones $t=0$ y $t=\pi$. Así, las únicas soluciones de la ecuación original para $n=2$ son $z=1$ y $z=-1$.
• Para $n=3$, tenemos $\cos^3(t)=\cos(3t)=\cos ^3(t)-3 \operatorname{sen}^2(t) \cos (t)$, lo que nos lleva a $\operatorname{sen}(t)=0$ o bien $\cos(t)=0$, que tiene soluciones $t\in\{0,\frac{\pi}{2},\pi,\frac{3\pi}{2}\}$. Por tanto, tenemos exactamente las cuatro soluciones $z_1=1$, $z_2=-1$, $z_3=i$ y $z_4=-i$.
• Para $n=4$, tenemos $\cos^4(t)=\cos(4t)=\operatorname{sen}^4(t)+\cos ^4(t)-6\operatorname{sen}^2(t) \cos ^2(t)$, lo que nos da $\sin(t)=0$ o bien $\operatorname{sen}^2(t)=6\cos^2(t)$. La ecuación $\sin(t)=0$ nos da $t=0$ y $t=\pi$, mientras que $\operatorname{sen}^2(t)=6\cos^2(t)$ equivale a $\tan(t)=\pm\sqrt{6}$. Tenemos entonces seis soluciones: \begin{align*} z_1&=1,\\ z_2&=-1,\\ z_3&=\cos(\arctan\sqrt{6})+i\operatorname{sen}(\arctan\sqrt{6})=\frac{1}{\sqrt{7}}+i\frac{\sqrt{6}}{\sqrt{7}},\\ z_4&=\cos(\pi+\arctan\sqrt{6})+i\operatorname{sen}(\pi+\arctan\sqrt{6})=-\frac{1}{\sqrt{7}}-i\frac{\sqrt{6}}{\sqrt{7}},\\ z_5&=\cos(-\arctan\sqrt{6})+i\operatorname{sen}(-\arctan\sqrt{6})=\frac{1}{\sqrt{7}}-i\frac{\sqrt{6}}{\sqrt{7}},\\ z_6&=\cos(\pi-\arctan\sqrt{6})+i\operatorname{sen}(\pi-\arctan\sqrt{6})=-\frac{1}{\sqrt{7}}+i\frac{\sqrt{6}}{\sqrt{7}}. \end{align*}
• Para $n=5$, tenemos $\cos^5(t)=\cos(5t)=\cos^5(t)-10 \operatorname{sen}^2(t) \cos ^3(t)+5 \operatorname{sen}^4(t) \cos (t)$, lo que nos da las ecuaciones $\operatorname{sen}(t)=0$ o $\cos(t)=0$ o $-2\cos ^2(t)+\operatorname{sen}^2(t) \cos (t)=0$. Esta última nos lleva a que $\tan(t)=\pm\sqrt{2}$. Tenemos entonces ocho soluciones: \begin{align*} z_1&=1,\\ z_2&=-1,\\ z_3&=i,\\ z_4&=-i,\\ z_5&=\cos(\arctan\sqrt{2})+i\operatorname{sen}(\arctan\sqrt{2})=\frac{1}{\sqrt{3}}+i\frac{\sqrt{2}}{\sqrt{3}},\\ z_6&=\cos(\pi+\arctan\sqrt{2})+i\operatorname{sen}(\pi+\arctan\sqrt{2})=-\frac{1}{\sqrt{3}}-i\frac{\sqrt{2}}{\sqrt{3}},\\ z_7&=\cos(-\arctan\sqrt{2})+i\operatorname{sen}(-\arctan\sqrt{2})=\frac{1}{\sqrt{3}}-i\frac{\sqrt{2}}{\sqrt{3}},\\ z_8&=\cos(\pi-\arctan\sqrt{2})+i\operatorname{sen}(\pi-\arctan\sqrt{2})=-\frac{1}{\sqrt{3}}+i\frac{\sqrt{2}}{\sqrt{3}}. \end{align*}

En cuanto a la cota superior, observamos que tras quitar denominadores en la ecuación obtenemos una ecuación $p(z)=0$, siendo $p(z)$ un polinomio de grado $2n$. Por el teorema fundamental del álgebra, la ecuación tiene $2n$ soluciones complejas contando multiplicidades. Algunas de ellas podrían no estar en el círculo unidad, pero deducimos aun así que $2n$ es una cota superior.