Re(az + b) = 0 y formas relacionadas.
El estudio de las rectas en el plano complejo une la geometría euclidiana con el álgebra compleja. Mientras que una recta en coordenadas cartesianas la definimos como $Ax + By + C = 0$, la representación compleja trata a los puntos como variables individuales $z$. Este enfoque es súper útil en la geometría de olimpiadas porque te permite manipular restricciones geométricas (colinealidad, perpendicularidad y rotación) usando propiedades algebraicas de los conjugados y los módulos. Muchas veces esto simplifica problemas que serían pesadísimos con coordenadas o métodos sintéticos.
Un lugar geométrico de una recta en el plano complejo es el conjunto de números complejos $z$ que cumplen una relación lineal específica que involucra a $z$ y a su conjugado $\bar{z}$. La idea fundamental es que puedes ver cualquier recta como el conjunto de puntos que están a la misma distancia de dos puntos específicos (una mediatriz) o como una traslación y rotación del eje real. Algebraicamente, como una recta tiene un solo grado de libertad en un plano 2D, la ecuación tiene que reducir las dos dimensiones reales de $z$ a una sola restricción.
En las matemáticas de competencia, identificar la estructura de la ecuación de una recta te permite encontrar rápido puntos de intersección, reflejar puntos sobre rectas y demostrar concurrencias. La forma general $\bar{a}z + a\bar{z} + c = 0$ (donde $c$ es real) aparece por todos lados. Si te das cuenta de que $\bar{a}z + a\bar{z}$ es simplemente $2\text{Re}(\bar{a}z)$, puedes conectar esta forma algebraica con la proyección geométrica de vectores. Esto te da una perspectiva doble que es clave para resolver problemas de alto nivel en el AIME y el USAMO.
1. Ecuación General de una Recta El conjunto de puntos $z$ que forman una recta está dado por: $$ \bar{\omega}z + \omega\bar{z} + k = 0 $$ donde $\omega \in \mathbb{C} \setminus {0}$ es un vector constante normal a la recta, y $k \in \mathbb{R}$.
2. Forma de Dos Puntos (Condición de Colinealidad) Tres puntos $z, z_1, z_2$ son colineales si y solo si la pendiente entre ellos es real: $$ \frac{z - z_1}{z_2 - z_1} \in \mathbb{R} \iff \frac{z - z_1}{z_2 - z_1} = \overline{\left(\frac{z - z_1}{z_2 - z_1}\right)} $$ Al expandir esto, obtienes la forma de determinante: $$ z(\bar{z}_1 - \bar{z}_2) + \bar{z}(z_2 - z_1) + (z_1\bar{z}_2 - z_2\bar{z}_1) = 0 $$
3. Forma Paramétrica Una recta que pasa por el punto $z_0$ en la dirección del número complejo $v$ (donde $v \neq 0$) la escribimos como: $$ z = z_0 + t v, \quad t \in \mathbb{R} $$
4. Mediatriz La recta que es la mediatriz del segmento que une $a$ y $b$ es el lugar geométrico de los puntos $z$ tales que: $$ |z - a| = |z - b| $$ Si elevas ambos lados al cuadrado, llegas a la forma lineal $z(\bar{a}-\bar{b}) + \bar{z}(a-b) + (|b|^2 - |a|^2) = 0$.
Teorema: La ecuación de cualquier recta en el plano complejo la puedes escribir de la forma $\bar{\omega}z + \omega\bar{z} + k = 0$, donde $\omega \in \mathbb{C} \setminus {0}$ y $k \in \mathbb{R}$.
Demostración: Para llegar a este resultado, vamos a convertir la ecuación cartesiana estándar de una recta a coordenadas complejas.
Paso 1: Definición Cartesiana En el plano cartesiano $\mathbb{R}^2$, la ecuación general de una recta es: $$ Ax + By + C = 0 $$ donde $A, B, C \in \mathbb{R}$ y $A, B$ no son ambos cero.
Paso 2: Conversión a Variables Complejas Toma $z = x + iy$. Puedes expresar las variables reales $x$ e $y$ en términos de $z$ y su conjugado $\bar{z} = x - iy$: $$ x = \frac{z + \bar{z}}{2}, \quad y = \frac{z - \bar{z}}{2i} $$
Paso 3: Sustitución Sustituye estas expresiones en la ecuación cartesiana: $$ A\left(\frac{z + \bar{z}}{2}\right) + B\left(\frac{z - \bar{z}}{2i}\right) + C = 0 $$
Paso 4: Reordenamiento Para aislar $z$ y $\bar{z}$, multiplica toda la ecuación por 2 para quitar los denominadores (fíjate que $1/i = -i$): $$ A(z + \bar{z}) - iB(z - \bar{z}) + 2C = 0 $$ Agrupa los términos que tienen $z$ y los que tienen $\bar{z}$: $$ (A - iB)z + (A + iB)\bar{z} + 2C = 0 $$
Paso 5: Definición de Constantes Define $\omega = A + iB$. Entonces el conjugado de $\omega$ es $\bar{\omega} = A - iB$. Define $k = 2C$. Como $C \in \mathbb{R}$, $k$ también es un número real.
Al sustituir esto en la ecuación que reordenaste, obtienes: $$ \bar{\omega}z + \omega\bar{z} + k = 0 $$
Como $A$ y $B$ no son ambos cero, $\omega \neq 0$. Así que cualquier recta en el plano cumple con esta ecuación. Al revés, cualquier ecuación de esta forma la puedes expandir de nuevo a $x$ e $y$ para recuperar una ecuación cartesiana lineal, lo que representa una recta.
$\square$