El número complejo z = a + bi cumple (a + bi)^2025 = (a − bi)^2025. ¿Qué significa esta condición sobre z?

Step-by-step solution

1. 1

   Reescribe el miembro derecho como un conjugado. Como $a-bi=\overline{z}$ y la conjugación conmuta con las potencias, $\overline{z}^{\,2025}=\overline{z^{2025}}$. La hipótesis dice por tanto

   $z^{2025}=\overline{z^{2025}}.$

   Esa única reescritura es toda la idea: la ecuación no trata realmente de $z$, trata del número $w=z^{2025}$.

2. 2

   Usa que $w=\overline{w}$ caracteriza a los números reales. Escribiendo $w=u+vi$, la ecuación $w=\overline{w}$ da $u+vi=u-vi$, así que $2vi=0$ y $v=0$. Por tanto la condición es exactamente

   $z^{2025}\in\mathbb{R}.$

   Es decir, en lenguaje llano: la potencia 2025 de $a+bi$ es un número real.

3. 3

   Pasa a forma polar para ver qué $z$ cumplen la condición. Escribe $z=re^{i\theta}$ con $r=\sqrt{a^{2}+b^{2}}$. Entonces $\overline{z}=re^{-i\theta}$ y, por De Moivre,

   $z^{2025}=r^{2025}e^{i\,2025\theta},\qquad \overline{z}^{\,2025}=r^{2025}e^{-i\,2025\theta}.$

   Si $r=0$ — es decir, $a=b=0$ — ambos miembros valen $0$ y la condición se cumple trivialmente.

4. 4

   Resuelve la ecuación del ángulo para $z\neq 0$. Cancelando $r^{2025}\neq 0$ queda $e^{i2025\theta}=e^{-i2025\theta}$, o sea $e^{i4050\theta}=1$, de donde

   $4050\theta=2k\pi\;\Longrightarrow\;\theta=\frac{k\pi}{2025},\qquad k\in\mathbb{Z}.$

   Equivalentemente $\sin(2025\theta)=0$, que es la misma afirmación de que la parte imaginaria de $z^{2025}$ se anula. Observa que el módulo $r$ queda completamente libre — solo importa la dirección de $z$.

5. 5

   Describe geométricamente el conjunto solución. Los $z$ admisibles forman $2025$ rectas que pasan por el origen (cada recta cubre dos de los $4050$ ángulos $k\pi/2025$), separadas $\pi/2025=180^{\circ}/2025$, más el propio origen. El eje real ($k=0$) y el caso imaginario puro se incluyen solo cuando $\theta$ es múltiplo de $\pi/2025$ — y como $2025$ es impar, $\theta=\pi/2$ no tiene esa forma, así que $z=i$ no cumple la condición. En efecto, $i^{2025}=i$, mientras que $(-i)^{2025}=-i$ ✓.