Describir curvas usando ecuaciones complejas.
En el contexto de la geometría compleja, un lugar geométrico es el conjunto de todos los puntos $z$ en el plano complejo que cumplen una condición geométrica específica derivada de una ecuación algebraica. A diferencia de la geometría cartesiana, que depende de las coordenadas $x$ y $y$, la geometría compleja utiliza la variable $z$ y su conjugado $\bar{z}$. Este enfoque es muy poderoso porque las transformaciones geométricas básicas —como la traslación, rotación y dilatación— las puedes expresar como operaciones aritméticas simples (suma y multiplicación).
La idea fundamental para resolver problemas de lugares geométricos es que interpretes el módulo $|z - w|$ como la distancia euclidiana entre los puntos representados por los números complejos $z$ y $w$. Por lo tanto, puedes traducir las definiciones geométricas que involucran distancias directamente a ecuaciones con módulos. Por ejemplo, un círculo lo definimos como el lugar geométrico de los puntos a una distancia fija de un centro, mientras que una mediatriz es el lugar geométrico de los puntos que están a la misma distancia de dos puntos fijos.
Si elevas al cuadrado estas ecuaciones de módulo y usas la identidad $|w|^2 = w\bar{w}$, puedes expandir las condiciones geométricas en ecuaciones algebraicas que involucren a $z$ y $\bar{z}$. Esta técnica te permite manipular las ecuaciones para descubrir la naturaleza de la curva (por ejemplo, para distinguir entre una recta y un círculo) o para demostrar propiedades como colinealidad y conciclicidad sin tener que usar identidades trigonométricas complicadas o geometría analítica.
1. Distancia y Módulo La distancia entre dos puntos $z$ y $w$ está dada por $|z - w|$. La identidad algebraica fundamental para expandir es: $$|z - w|^2 = (z - w)(\overline{z - w}) = (z - w)(\bar{z} - \bar{w})$$
2. El Círculo El lugar geométrico de los puntos $z$ a una distancia $r$ de un centro $z_0$ es: $$|z - z_0| = r$$ Forma expandida: $$z\bar{z} - z\bar{z}_0 - \bar{z}z_0 + |z_0|^2 - r^2 = 0$$
3. La Mediatriz El lugar geométrico de los puntos $z$ que equidistan de dos puntos distintos $a$ y $b$ es: $$|z - a| = |z - b|$$
4. Ecuación General de una Recta Cualquier recta en el plano complejo la puedes expresar de la forma: $$\bar{\alpha}z + \alpha\bar{z} + C = 0$$ donde $\alpha \in \mathbb{C} \setminus {0}$ es un vector normal a la recta, y $C \in \mathbb{R}$.
5. Círculo de Apollonius El lugar geométrico de los puntos $z$ tales que la razón de las distancias a dos puntos fijos $a$ y $b$ es una constante $k \neq 1$: $$\frac{|z - a|}{|z - b|} = k$$ Esta ecuación describe un círculo. Si $k=1$, se convierte en la mediatriz del segmento $ab$.
6. Condiciones de Argumento (Arcos y Rectas) El lugar geométrico de los puntos $z$ que subtienden un ángulo constante $\theta$ entre $a$ y $b$: $$\arg\left(\frac{z-a}{z-b}\right) = \theta$$ Si $\theta = 0$ o $\pi$, el lugar geométrico es la recta que pasa por $a$ y $b$. Para otros valores, es un arco de un círculo que pasa por $a$ y $b$.
Teorema: El lugar geométrico de los puntos que equidistan de dos puntos distintos $a$ y $b$ (la mediatriz) es una recta descrita por la ecuación $(\bar{b} - \bar{a})z + (b - a)\bar{z} + |a|^2 - |b|^2 = 0$.
Demostración:
Toma un punto $z$ en la mediatriz del segmento que une los números complejos $a$ y $b$. Por definición, la distancia de $z$ a $a$ es igual a la distancia de $z$ a $b$.
Plantea la ecuación de módulo: $$|z - a| = |z - b|$$
Eleva ambos lados al cuadrado: Como la distancia no es negativa, elevar al cuadrado mantiene la igualdad y te permite usar la propiedad $|w|^2 = w\bar{w}$. $$|z - a|^2 = |z - b|^2$$
Expande usando conjugados: $$(z - a)(\overline{z - a}) = (z - b)(\overline{z - b})$$ $$(z - a)(\bar{z} - \bar{a}) = (z - b)(\bar{z} - \bar{b})$$
Distribuye los términos: $$z\bar{z} - z\bar{a} - a\bar{z} + a\bar{a} = z\bar{z} - z\bar{b} - b\bar{z} + b\bar{b}$$
Simplifica: Resta $z\bar{z}$ de ambos lados (nota que $z\bar{z} = |z|^2$, que representa la distancia al cuadrado desde el origen y se cancela, lo que indica que el lugar geométrico es lineal en lugar de cuadrático o circular). $$- z\bar{a} - a\bar{z} + |a|^2 = - z\bar{b} - b\bar{z} + |b|^2$$
Reacomoda para agrupar los términos con $z$ y $\bar{z}$: Pasa todos los términos con variables a la izquierda y los términos constantes a la derecha, o agrúpalos para que la ecuación sea igual a cero. $$z\bar{b} - z\bar{a} + b\bar{z} - a\bar{z} + |a|^2 - |b|^2 = 0$$ $$(\bar{b} - \bar{a})z + (b - a)\bar{z} + (|a|^2 - |b|^2) = 0$$
Esta ecuación tiene la forma $\bar{\alpha}z + \alpha\bar{z} + C = 0$, donde $\alpha = b - a$ y $C = |a|^2 - |b|^2$. Como $C$ es un número real (la diferencia de magnitudes al cuadrado) y $\alpha \neq 0$ (ya que $a$ y $b$ son distintos), esto confirma que el lugar geométrico es una línea recta.
$\square$