Multiplicar números complejos usando la distributiva.
La multiplicación de números complejos es una operación algebraica que extiende la aritmética de los números reales al plano complejo. Algebraicamente, si multiplicas dos números complejos $z_1 = a + bi$ y $z_2 = c + di$, lo que haces es tratar a los números como binomios y aplicas la propiedad distributiva (lo que a veces te enseñan como el método FOIL: Primero, Exterior, Interior, Último). La característica que define a esta operación es que reduces el término $i^2$ usando la identidad fundamental $i^2 = -1$. Esto asegura que el producto de dos números complejos te siga dando un número complejo de la forma $A + Bi$, donde $A$ y $B$ son reales.
Geométricamente, la multiplicación compleja te da una visión profunda que es crucial para los problemas de olimpiada: representa una rotación y una dilatación (escalamiento). Cuando multiplicas dos números complejos, multiplicas sus módulos y sumas sus argumentos (los ángulos respecto al eje real positivo). Por ejemplo, si multiplicas un número complejo $z$ por $i$, rotas a $z$ por $90^\circ$ en sentido antihorario alrededor del origen. Esta interpretación geométrica te permite encontrar soluciones elegantes a problemas que involucran transformaciones rígidas, polígonos regulares y semejanzas espirales en el plano complejo.
Dominar la multiplicación compleja es esencial para las competencias de álgebra y geometría avanzada (como el AMC 12 o el AIME). Te sirve como base para el Teorema de De Moivre y la fórmula de Euler, que conectan la trigonometría con el álgebra. Entender la naturaleza dual de esta operación —la expansión algebraica para calcular y la transformación geométrica para visualizar— es una habilidad clave para que resuelvas problemas de alto nivel en las competencias.
Forma Rectangular (Definición Algebraica) Para $z_1 = a + bi$ y $z_2 = c + di$: $$z_1 z_2 = (ac - bd) + (ad + bc)i$$
Formas Polar y Exponencial (Interpretación Geométrica) Para $z_1 = r_1(\cos \theta_1 + i\sin \theta_1) = r_1 e^{i\theta_1}$ y $z_2 = r_2(\cos \theta_2 + i\sin \theta_2) = r_2 e^{i\theta_2}$: $$z_1 z_2 = r_1 r_2 [\cos(\theta_1 + \theta_2) + i\sin(\theta_1 + \theta_2)] = r_1 r_2 e^{i(\theta_1 + \theta_2)}$$
Propiedades del Módulo y el Argumento $$|z_1 z_2| = |z_1| \cdot |z_2|$$ $$\arg(z_1 z_2) \equiv \arg(z_1) + \arg(z_2) \pmod{2\pi}$$
Casos Especiales
Teorema: Para los números complejos $z_1 = a+bi$ y $z_2 = c+di$, el producto es $z_1 z_2 = (ac-bd) + (ad+bc)i$.
Demostración: Trata a los números complejos como binomios de la forma $x + y$, donde $x$ es la parte real y $y$ es la parte imaginaria. Supón