Espirales en problemas olímpicos: círculos de Miquel y más

El Teorema de Miquel para cuadriláteros completos

Un cuadrilátero completo es la figura formada por cuatro rectas en posición general (ninguna paralela, ninguna concurrente de tres en tres). Las cuatro rectas determinan $\binom{4}{2} = 6$ puntos de intersección y $\binom{4}{3} = 4$ triángulos (cada uno formado por tres de las cuatro rectas).

Teorema de Miquel para cuadrilátero completo. Sean $\ell_1$, $\ell_2$, $\ell_3$, $\ell_4$ cuatro rectas en posición general. Para cada selección de tres de las cuatro rectas, se forma un triángulo; el cuarto punto de intersección (el que involucra a la cuarta recta) define un punto en cada lado de ese triángulo, y por tanto hay un punto de Miquel del triángulo respecto de estos tres puntos. El teorema afirma que los cuatro puntos de Miquel así definidos son concíclicos (¡todos cuatro en un mismo círculo!). Este círculo se llama el círculo de Miquel del cuadrilátero completo.

Demostración. Etiquetemos las cuatro rectas $a$, $b$, $c$, $d$ y sus puntos de intersección: $A = a \cap b$, $B = a \cap c$, $C = a \cap d$, $D = b \cap c$, $E = b \cap d$, $F = c \cap d$. Los cuatro triángulos son $\triangle DEF$ (rectas $b$, $c$, $d$), $\triangle CEF$... (Abreviamos: cada triángulo se forma omitiendo una recta.)

La estrategia es mostrar que los cuatro puntos de Miquel $M_{abc}$, $M_{abd}$, $M_{acd}$, $M_{bcd}$ (el subíndice indica qué tres rectas se usan) son concíclicos. Esto se demuestra verificando que los ángulos inscritos en el círculo de Miquel satisfacen la condición de concicilidad. La argumentación usa la espiral de semejanza: $M_{abc}$ es el centro de la espiral que lleva el triángulo formado por $b$, $c$ al triángulo formado por $a$, $c$ (o equivalentemente al formado por $a$, $b$). La condición de que los cuatro puntos sean concíclicos se reduce entonces a que ciertas composiciones de espirales sean la identidad, que es exactamente la condición del Teorema de los Tres Centros.

El punto de Miquel como invariante de una espiral

La conexión fundamental entre el punto de Miquel y las espirales de semejanza se cristaliza en el siguiente resultado:

Teorema. Sea $ABCD$ un cuadrilátero cíclico (inscrito en un círculo $\omega$) con diagonales $AC$ y $BD$ que se cortan en $P$. Sea $M$ el segundo punto de intersección de los circuncírculos de $\triangle ABP$ y $\triangle CDP$. Entonces $M$ es el centro de la espiral de semejanza que lleva $AB \mapsto DC$ (y también la que lleva $AD \mapsto BC$). Además, $M$ pertenece al circuncírculo de $\triangle ADP$ y al de $\triangle BCP$.

Demostración. La espiral de semejanza que lleva $A \mapsto D$ y $B \mapsto C$ tiene centro en $(ABD) \cap (ABC) = M$ por el Teorema de la Lección 4.1. Que $M \in (ABP)$: como $M$ es el centro de la espiral $A \mapsto D$, $B \mapsto C$, se tiene $\angle AMB = \angle DMC$ (ángulos del centro de la espiral) y $MA/MB = MD/MC$. La concicilidad de $M$, $A$, $B$, $P$ se sigue de que $\angle APB = \angle ADB + \angle CAB$ (ángulos en el cuadrilátero cíclico $ABCD$)... la verificación detallada usa que $\angle AMB$ es el ángulo inscrito en $(ABCD)$ que subtiende $AB$.

Corolario para problemas. Si en un problema se dan cuatro puntos $A$, $B$, $C$, $D$ y se pide probar que cierto punto $M$ tiene alguna propiedad especial, una estrategia eficaz es mostrar que $M$ es el punto de Miquel de la cuadrupla $ABCD$, lo que inmediatamente da que $M$ pertenece a cuatro círculos definidos por ternas de los cuatro puntos y el punto de intersección de las diagonales.

Técnica de "perseguir espirales"

En analogía con la técnica de "perseguir ángulos" (ángulos en la misma circunferencia), la técnica de perseguir espirales consiste en identificar en el enunciado del problema qué pares de triángulos son semejantes (con la misma orientación), deducir los centros de las espirales correspondientes y rastrear en qué círculos deben estar esos centros.

Paso 1: Identificar semejanzas. Buscar en el diagrama pares de triángulos $\triangle XYZ \sim \triangle X'Y'Z'$ (directamente semejantes). Cada par de tales triángulos determina una espiral de semejanza con un centro bien definido.

Paso 2: Localizar el centro. El centro de la espiral que lleva $\triangle XYZ$ a $\triangle X'Y'Z'$ está en $(XX'Z) \cap (XX'Z')$ (u otras intersecciones equivalentes de circuncírculos de triángulos formados por los pares de puntos correspondientes y un tercer punto).

Paso 3: Explotar la membresía en círculos. El hecho de que $O$ pertenezca a cierto círculo $(XYP)$ significa $\angle XOP = \angle XYP$ (ángulo inscripto), lo que da relaciones angulares útiles.

Paso 4: Componer espirales. Si la composición de dos (o más) espirales identificadas en el problema debe ser la identidad (o una traslación, o una rotación), el Teorema de los Tres Centros (o su versión más general para $n$ espirales) da relaciones de colinealidad o concurrencia entre los centros.

Ejemplo de aplicación (IMO 2014/3, versión geométrica). En la configuración del problema, se identifican dos triángulos semejantes cuyas espirales componen a la identidad; los tres centros de espirales son colineales, lo que da la colinealidad pedida en el problema. Este esquema, una vez internalizado, convierte problemas de nivel G6-G7 en ejercicios sistemáticos.

Teorema de Miquel para cuadriláteros inscritos y configuraciones avanzadas

Teorema de Miquel para cuadrilátero inscrito. Sea $ABCD$ un cuadrilátero inscrito en un círculo $\omega$. Los cuatro círculos de Miquel de las cuatro triangulaciones del cuadrilátero completo asociado a $ABCD$ concurren en un punto $M$ (el punto de Miquel del cuadrilátero). Además, $M$ es el polo de la recta de Newton (la recta que une los puntos medios de las tres diagonales del cuadrilátero completo) con respecto al círculo $\omega$.

Este resultado conecta la teoría de Miquel con la geometría proyectiva del Capítulo 3: el punto de Miquel es un invariante proyectivo del cuadrilátero completo, y su relación con el polo-polar proporciona una herramienta adicional para abordar problemas que combinan geometría proyectiva y transformaciones.

**Generalización: $n$ rectas.** El Teorema de Miquel se extiende a cualquier número $n$ de rectas en posición general: los $\binom{n}{n-1} = n$ puntos de Miquel (uno por cada $(n-1)$-tupla de rectas) son concíclicos si $n$ es par, y concurrentes si $n$ es impar (Teorema de Clifford). Para $n = 4$ (par) se obtiene el círculo de Miquel del cuadrilátero completo. Para $n = 5$ (impar) los cinco puntos de Miquel son concurrentes en un solo punto.

Espirales de semejanza en geometría hiperbólica (nota de extensión). Las espirales de semejanza admiten una analogía en la geometría hiperbólica del modelo del semiplano de Poincaré: las "isometrías loxodrómicas" (transformaciones de Möbius con dos puntos fijos) juegan el papel de las espirales de semejanza en el plano euclídeo. Esta conexión, aunque fuera del alcance de los concursos, muestra la profundidad estructural del concepto.

Estrategia integrada y problemas guía

A lo largo del Capítulo 4 hemos construido un arsenal de herramientas para manejar transformaciones en geometría olímpica. La tabla de estrategia integrada es la siguiente:

Si el problema pide concurrencia de tres círculos: buscar el punto de Miquel de tres puntos sobre los lados de un triángulo. Construir los tres circuncírculos y demostrar que la segunda intersección de dos de ellos pertenece al tercero (usando ángulos inscritos).

Si el problema pide colinealidad de tres puntos: buscar si esos tres puntos son los centros de tres espirales de semejanza cuya composición es la identidad (Teorema de los Tres Centros). Alternativamente, usar razón cruzada (Capítulo 3) y verificar que es real.

Si el problema involucra triángulos semejantes construidos sobre lados: usar la versión generalizada del Teorema de Napoleón con semejanzas arbitrarias. El punto de Miquel de la configuración es el centro de la espiral global.

Si el problema involucra cuadriláteros cíclicos: identificar el punto de Miquel del cuadrilátero como la segunda intersección de los circuncírculos de los dos triángulos en que se divide por cualquier diagonal. Usar la membresía de este punto en cuatro círculos para deducir ángulos.

Consejo final. En los problemas del IMO Shortlist de geometría de nivel G5 o superior que involucran múltiples puntos y círculos, es casi siempre productivo buscar qué semejanza directa lleva una parte de la figura a otra. Una vez encontrada esa semejanza y su centro, las concurrencias y colinealidades se deducen como consecuencias de la membresía del centro en los círculos adecuados.