Dividir magnitudes y restar ángulos.
La división en forma polar es una operación fundamental en el álgebra de números complejos que simplifica el proceso, a veces pesado, de dividir números complejos en su forma rectangular. Cuando trabajas con coordenadas rectangulares ($a+bi$), la división requiere que multipliques el numerador y el denominador por el conjugado complejo para racionalizar el denominador. Sin embargo, en la forma polar, la operación se basa en las propiedades geométricas de los números complejos. La regla es elegante y eficiente: para dividir dos números complejos, divides sus magnitudes (módulos) y le restas el ángulo del divisor al ángulo del dividendo (argumentos).
Esta técnica es muy importante en las olimpiadas de matemáticas, como el AMC 12 y el AIME, porque transforma problemas de rotación y escalamiento geométrico en manipulaciones algebraicas. Geométricamente, dividir por un número complejo $z$ equivale a contraer el plano por un factor de $|z|$ y rotar el plano en sentido horario según el argumento de $z$. Esta idea te permite resolver rápido problemas que involucran progresiones geométricas de números complejos, raíces de la unidad y transformaciones de polígonos en el plano complejo.
La intuición detrás de esto viene de la representación exponencial de los números complejos, $z = re^{i\theta}$. Igual que las reglas de los exponentes dicen que $\frac{x^a}{x^b} = x^{a-b}$, dividir exponenciales complejas te lleva de forma natural a la resta de los exponentes (los ángulos). Esto conecta la estructura algebraica de los números complejos con las identidades trigonométricas de la resta, dándote una herramienta poderosa para simplificar expresiones que serían muy difíciles de manejar en coordenadas cartesianas.
Si tienes dos números complejos definidos en forma polar como $z_1 = r_1(\cos \theta_1 + i \sin \theta_1)$ y $z_2 = r_2(\cos \theta_2 + i \sin \theta_2)$, donde $z_2 \neq 0$.
Fórmula General de la División: $$ \frac{z_1}{z_2} = \frac{r_1}{r_2} \left[ \cos(\theta_1 - \theta_2) + i \sin(\theta_1 - \theta_2) \right] $$
Usando la Notación "cis": Usando la abreviación $\text{cis } \theta = \cos \theta + i \sin \theta$: $$ \frac{r_1 \text{cis } \theta_1}{r_2 \text{cis } \theta_2} = \frac{r_1}{r_2} \text{cis}(\theta_1 - \theta_2) $$
Forma Exponencial (Fórmula de Euler): $$ \frac{r_1 e^{i\theta_1}}{r_2 e^{i\theta_2}} = \frac{r_1}{r_2} e^{i(\theta_1 - \theta_2)} $$
Caso del Recíproco: Un caso especial de la división es encontrar el recíproco de un número complejo $z = r \text{cis } \theta$: $$ \frac{1}{z} = \frac{1}{r} \text{cis}(-\theta) = \frac{1}{r} (\cos \theta - i \sin \theta) $$
Aquí puedes ver cómo obtienes la fórmula para la división en forma polar usando la división algebraica estándar y las identidades trigonométricas de la resta. Esta demostración muestra por qué restas los argumentos.
Toma $z_1 = r_1(\cos \theta_1 + i \sin \theta_1)$ y $z_2 = r_2(\cos \theta_2 + i \sin \theta_2)$. Lo que quieres es calcular el cociente $Q = \frac{z_1}{z_2}$.
$$ Q = \frac{r_1(\cos \theta_1 + i \sin \theta_1)}{r_2(\cos \theta_2 + i \sin \theta_2)} $$
Primero, separa las magnitudes: $$ Q = \frac{r_1}{r_2} \cdot \frac{\cos \theta_1 + i \sin \theta_1}{\cos \theta_2 + i \sin \theta_2} $$
Para simplificar la fracción con las funciones trigonométricas, multiplica el numerador y el denominador por el conjugado complejo del denominador. El conjugado de $(\cos \theta_2 + i \sin \theta_2)$ es $(\cos \theta_2 - i \sin \theta_2)$.
$$ \frac{\cos \theta_1 + i \sin \theta_1}{\cos \theta_2 + i \sin \theta_2} \cdot \frac{\cos \theta_2 - i \sin \theta_2}{\cos \theta_2 - i \sin \theta_2} $$
Si te fijas primero en el denominador, aplica la identidad de diferencia de cuadrados $(a+bi)(a-bi) = a^2 + b^2$: $$ \text{Denominador} = \cos^2 \theta_2 + \sin^2 \theta_2 $$ Por la identidad pitagórica, esto es igual a $1$.
Ahora desarrolla el numerador: $$ \text{Numerador} = (\cos \theta_1 + i \sin \theta_1)(\cos \theta_2 - i \sin \theta_2) $$ $$ = \cos \theta_1 \cos \theta_2 - i \cos \theta_1 \sin \theta_2 + i \sin \theta_1 \cos \theta_2 - i^2 \sin \theta_1 \sin \theta_2 $$
Como $i^2 = -1$, el último término se vuelve $+\sin \theta_1 \sin \theta_2$. Agrupa las partes reales e imaginarias: $$ \text{Numerador} = (\cos \theta_1 \cos \theta_2 + \sin \theta_1 \sin \theta_2) + i(\sin \theta_1 \cos \theta_2 - \cos \theta_1 \sin \theta_2) $$
Ahora aplica las identidades trigonométricas de la resta:
Al sustituir esto en la expresión del numerador: $$ \text{Numerador} = \cos(\theta_1 - \theta_2) + i \sin(\theta_1 - \theta_2) $$
Si combinas esto con la razón de las magnitudes $\frac{r_1}{r_2}$ y el denominador de $1$, llegas a la fórmula final: $$ \frac{z_1}{z_2} = \frac{r_1}{r_2} [\cos(\theta_1 - \theta_2) + i \sin(\theta_1 - \theta_2)] $$
$\square$