Multiplicar magnitudes y sumar ángulos.
La multiplicación en forma polar es una operación fundamental en el análisis complejo y en el álgebra de competencia que simplifica muchísimo la aritmética de los números complejos comparada con las coordenadas rectangulares. Aunque sumar números complejos es intuitivo en la forma rectangular ($x+yi$), multiplicarlos implica una expansión binomial tediosa. Sin embargo, cuando expresas los números complejos en forma polar, la multiplicación se transforma en una operación geométrica: multiplicas las magnitudes (módulos) y sumas los ángulos (argumentos). Esta interpretación geométrica describe el producto de dos números complejos como una rotación y una dilatación (escalamiento) en el plano complejo.
Esta técnica es especialmente importante en las competencias AMC 12 y AIME para problemas que involucran potencias altas de números complejos, raíces de la unidad y transformaciones geométricas. Al convertir a forma polar, las manipulaciones algebraicas complejas que serían pesadísimas de calcular en forma rectangular se vuelven operaciones aritméticas sencillas con los exponentes o ángulos. Este concepto sirve como base para el Teorema de De Moivre, que generaliza este principio de multiplicación a potencias enteras y raíces.
La intuición detrás de esta operación se basa en cómo funciona la rotación. Si un número complejo $z$ representa un vector con longitud $r$ y ángulo $\theta$, multiplicar por otro número complejo con ángulo $\phi$ lo que hace es rotar el vector original por $\phi$ y escalar su longitud por la magnitud del segundo número. Esta propiedad conecta el álgebra compleja directamente con la geometría euclidiana, lo que permite encontrar soluciones elegantes a problemas de polígonos regulares y simetría rotacional.
Imagina que 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 $r = |z|$ es el módulo y $\theta = \arg(z)$ es el argumento.
La Fórmula del Producto: $$z_1 z_2 = r_1 r_2 [\cos(\theta_1 + \theta_2) + i \sin(\theta_1 + \theta_2)]$$
Usando la Notación $\text{cis}$: Si defines $\text{cis } \theta = \cos \theta + i \sin \theta$, la fórmula queda así: $$(r_1 \text{ cis } \theta_1) \cdot (r_2 \text{ cis } \theta_2) = r_1 r_2 \text{ cis }(\theta_1 + \theta_2)$$
Usando la Forma Exponencial de Euler: $$r_1 e^{i\theta_1} \cdot r_2 e^{i\theta_2} = r_1 r_2 e^{i(\theta_1 + \theta_2)}$$
Propiedades Geométricas: El módulo y el argumento del producto cumplen lo siguiente: $$|z_1 z_2| = |z_1| \cdot |z_2|$$ $$\arg(z_1 z_2) \equiv \arg(z_1) + \arg(z_2) \pmod{2\pi}$$
Para demostrar la fórmula de multiplicación, usa la forma trigonométrica de los números complejos y las identidades trigonométricas de suma estándar.
Teorema: Para $z_1 = r_1(\cos \theta_1 + i \sin \theta_1)$ y $z_2 = r_2(\cos \theta_2 + i \sin \theta_2)$, su producto es $z_1 z_2 = r_1 r_2 [\cos(\theta_1 + \theta_2) + i \sin(\theta_1 + \theta_2)]$.
Demostración: Primero, escribe el producto de los dos números complejos: $$z_1 z_2 = [r_1(\cos \theta_1 + i \sin \theta_1)] \cdot [r_2(\cos \theta_2 + i \sin \theta_2)]$$
Puedes sacar las magnitudes escalares $r_1$ y $r_2$: $$z_1 z_2 = r_1 r_2 [(\cos \theta_1 + i \sin \theta_1)(\cos \theta_2 + i \sin \theta_2)]$$
Luego, expande el producto de los binomios usando la propiedad distributiva: $$(\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$$
Recuerda que $i^2 = -1$, así que sustituye este valor y agrupa las partes reales por un lado y las imaginarias por el otro: $$= (\cos \theta_1 \cos \theta_2 - \sin \theta_1 \sin \theta_2) + i(\cos \theta_1 \sin \theta_2 + \sin \theta_1 \cos \theta_2)$$
Ahora aplica las identidades de suma trigonométrica para el coseno y el seno:
Al sustituir estas identidades en la expresión, obtienes: $$= \cos(\theta_1 + \theta_2) + i \sin(\theta_1 + \theta_2)$$
Finalmente, vuelve a incluir las magnitudes $r_1 r_2$ para llegar al resultado final: $$z_1 z_2 = r_1 r_2 [\cos(\theta_1 + \theta_2) + i \sin(\theta_1 + \theta_2)]$$
$\square$