|z - a| = r describe un círculo.
El concepto del lugar geométrico de una circunferencia en el plano complejo conecta la geometría euclidiana con el álgebra compleja. En el plano de Argand, un número complejo $z$ representa un punto $(x, y)$. El módulo de la diferencia entre dos números complejos, $|z - a|$, representa la distancia euclidiana entre los puntos que corresponden a $z$ y $a$. Por eso, la ecuación $|z - a| = r$, donde $a$ es un número complejo fijo y $r$ es una constante real positiva, describe el lugar geométrico de los puntos $z$ que están a una distancia fija $r$ del centro $a$. Esta es la definición geométrica fundamental de una circunferencia.
Esta representación algebraica es súper poderosa en las matemáticas de olimpiada (AIME, USAMO, IMO) porque te permite manipular restricciones geométricas usando las propiedades de la conjugación compleja y la aritmética de módulos. A diferencia de las coordenadas cartesianas, que manejan a $x$ y $y$ como variables separadas, la formulación compleja trata al punto $z$ como una sola entidad. Esto simplifica los problemas que involucran rotaciones, semejanzas espirales e intersecciones de circunferencias.
Un punto clave al trabajar con el lugar geométrico de la circunferencia es el paso de la forma de módulo a la forma conjugada. Al elevar la ecuación al cuadrado para tener $|z - a|^2 = r^2$ y expandirla como $(z - a)(\bar{