OME Local |
OME Andaluza |
OME Nacional |
OIM |
IMO |
EGMO |
USAMO |
ASU |
OMCC |
Retos UJA |
En el caso de $z^2-2z+2=0$, tenemos las raíces $z_1=1+i$ y $z_2=1-i$, que podemos expresar en forma polar como $z_1=\sqrt{2}(\cos(45)+i\mathrm{sen}(45))$ y $z_2=\sqrt{2}(\cos(-45)+i\mathrm{sen}(-45))$, luego la fórmula de De Moivre nos dice que \begin{align*} z_1^n+z_2^n&=\sqrt{2^n}\left(\cos(45n)+i\,\mathrm{sen}(45n)+\cos(-45n)+i\,\mathrm{sen}(-45n)\right)\\ &=\sqrt{2^n}\left(2\cos(45n)\right)=2^{1+\frac{n}{2}}\cos(45n), \end{align*} donde hemos usado que la función coseno es par y la función seno impar. Además, $\cos(45n)$ tiene un comportamiento periódico de período $8$, luego podemos escribir \[z_1^n+z_2^n=\begin{cases} 2^{1+\frac{n}{2}}&\text{si }n\equiv 0\ (\text{mod }8),\\ 2^{\frac{n+1}{2}}&\text{si }n\equiv 1\text{ o }n\equiv 7\ (\text{mod }8),\\ 0&\text{si }n\equiv 2\text{ o }n\equiv 6\ (\text{mod }8),\\ -2^{\frac{n+1}{2}}&\text{si }n\equiv 3\text{ o }n\equiv 5\ (\text{mod }8),\\ -2^{1+\frac{n}{2}}&\text{si }n\equiv 4\ (\text{mod }8).\\ \end{cases}\] Observamos además que en todos los casos da un resultado entero.
Nota. La función $f(t)=\sen(t^3)$ no tiene una primitiva en términos de funciones elementales, luego no es plausible abordar el problema resolviendo la integral de forma directa.