El Módulo como Distancia

Teoría

El concepto del módulo como distancia es el puente fundamental entre el álgebra de los números complejos y la geometría euclidiana. En el plano complejo (diagrama de Argand), un número complejo $z = x + iy$ representa al punto $(x, y)$. El módulo de $z$, que escribimos como $|z|$, lo definimos como $\sqrt{x^2 + y^2}$, lo cual corresponde a la distancia desde el origen hasta el punto $z$. Por extensión, la expresión $|z - w|$ representa la distancia euclidiana entre los números complejos $z$ y $w$. Esta interpretación te permite ver la diferencia $z - w$ como un vector que apunta desde $w$ hacia $z$, donde su magnitud es la longitud de ese vector.

Este concepto es crucial en las matemáticas de competencia porque permite traducir condiciones geométricas directamente a ecuaciones algebraicas con números complejos. En lugar de trabajar con geometría analítica, que seguido implica sistemas de ecuaciones pesados con $x$ y $y$, puedes manipular la variable única $z$. Por ejemplo, la condición de que un punto $z$ esté en un círculo se puede escribir de forma súper sencilla como una ecuación de módulo. Además, al elevar el módulo al cuadrado y usar la propiedad $|z|^2 = z\bar{z}$, puedes resolver problemas geométricos sobre distancias, lugares geométricos e intersecciones usando factorización y simplificación algebraica.

La intuición detrás de esta técnica se basa en reconocer lugares geométricos estándar en sus formas complejas. Así como $|x|$ en los números reales representa la distancia al cero, $|z - z_0|$ representa la distancia a un punto fijo $z_0$. Por eso, las ecuaciones con módulos suelen describir círculos, rectas (mediatrices), elipses o regiones en el plano. Dominar esta traducción te permite encontrar soluciones elegantes a problemas de transformaciones rígidas, cuadriláteros cíclicos y optimización con la Desigualdad del Triángulo.

Fórmulas Clave

Definición de Distancia La distancia euclidiana entre dos números complejos $z_1 = x_1 + iy_1$ y $z_2 = x_2 + iy_2$ es: $$ |z_1 - z_2| = \sqrt{(x_1 - x_2)^2 + (y_1 - y_2)^2} $$

Manipulación Algebraica La identidad algebraica más importante para problemas de distancia es la relación entre el módulo y el conjugado: $$ |z - w|^2 = (z - w)\overline{(z - w)} = (z - w)(\bar{z} - \bar{w}) $$

Lugares Geométricos Estándar

1. Círculo: El lugar geométrico de los puntos $z$ a una distancia fija $r$ del centro $c$: $$ |z - c| = r $$
2. Mediatriz: El lugar geométrico de los puntos $z$ que equidistan de dos puntos fijos $a$ y $b$: $$ |z - a| = |z - b| $$
3. Elipse: El lugar geométrico de los puntos donde la suma de las distancias a dos focos $a$ y $b$ es una constante $k$ (donde $k > |a-b|$): $$ |z - a| + |z - b| = k $$

Desigualdad del Triángulo Para cualesquiera números complejos $z$ y $w$, la distancia cumple que: $$ |z + w| \le |z| + |w| $$ $$ |z - w| \ge \big| |z| - |w| \big| $$ Geométricamente, esto dice que la longitud de un lado de un triángulo es menor o igual a la suma de las longitudes de los otros dos lados.

Demostración

Teorema: Para dos números complejos $z_1$ y $z_2$, el módulo de su diferencia $|z_1 - z_2|$ es igual a la distancia euclidiana entre sus puntos correspondientes en el plano cartesiano.

Demostración:

Toma $z_1$ y $z_2$ como dos números complejos definidos por sus partes reales e imaginarias: $$ z_1 = x_1 + i y_1 $$ $$ z_2 = x_2 + i y_2 $$ donde $x_1, y_1, x_2, y_2 \in \mathbb{R}$. Estos corresponden a los puntos $P_1(x_1, y_1)$ y $P_2(x_2, y_2)$ en el plano cartesiano.

Primero, calcula la diferencia $z_1 - z_2$: $$ z_1 - z_2 = (x_1 + i y_1) - (x_2 + i y_2) $$ Al agrupar las partes reales e imaginarias, obtienes: $$ z_1 - z_2 = (x_1 - x_2) + i(y_1 - y_2) $$

Ahora, aplica la definición del módulo. Para cualquier número complejo $w = u + iv$, el módulo lo definimos como $|w| = \sqrt{u^2 + v^2}$. Aquí, la parte real es $u = (x_1 - x_2)$ y la parte imaginaria es $v = (y_1 - y_2)$.

Al sustituir esto en la definición de módulo: $$ |z_1 - z_2| = \sqrt{(x_1 - x_2)^2 + (y_1 - y_2)^2} $$

Nota que el lado derecho es exactamente la fórmula estándar de la distancia euclidiana, que viene del teorema de Pitágoras, para la distancia entre los puntos $(x_1, y_1)$ y $(x_2, y_2)$.

Así, $|z_1 - z_2|$ representa la distancia geométrica entre los puntos representados por $z_1$ y $z_2$.

$\square$