El cuadrilátero completo y sus cuatro triángulos de Miquel
Un cuadrilátero completo es la figura determinada por cuatro rectas , , , en posición general (ninguna paralela, ninguna triple concurrente). Las seis intersecciones () se llaman los seis vértices del cuadrilátero completo. Las ternas de rectas determinan cuatro triángulos: es el triángulo formado por , , .
Para cada triángulo , la cuarta recta () corta a los tres lados de en tres puntos , , (los pies de sobre los lados del triángulo). Por el Teorema de Miquel para triángulos, los tres circuncírculos de los triángulos , , (donde , , son los vértices de ) concurren en un punto, el punto de Miquel del triángulo con respecto a los tres puntos dados por .
De este modo, el cuadrilátero completo produce cuatro puntos de Miquel: , , , . El resultado central del capítulo es que estos cuatro puntos son concíclicos.
Teorema de Miquel para el cuadrilátero completo
Teorema (Miquel, 1838). Los cuatro puntos de Miquel , , , de un cuadrilátero completo son concíclicos. El círculo que los contiene se llama el círculo de Miquel del cuadrilátero completo.
Demostración. Usamos la caracterización del punto de Miquel en términos de ángulos inscritos. Sea para . El punto (Miquel de respecto de ) es el segundo punto de intersección de los circuncírculos y y ... Simplificamos la notación.
Etiquetemos los seis vértices del cuadrilátero completo como: , , , , , . El triángulo (omitiendo ) tiene vértices , , y la recta lo corta en , , . El punto de Miquel es el segundo punto de (abreviando la construcción estándar).
Para demostrar que , , , son concíclicos, es suficiente demostrar que (o que el ángulo sea el mismo, dependiendo de la posición). El cálculo se reduce a: (ángulo entre las rectas y ), y (el mismo ángulo). Por tanto , , , son concíclicos con el ángulo inscrito . La demostración detallada usa ángulos inscritos en los cuatro circuncírculos de los triángulos de Miquel.
El punto de Miquel de un cuadrilátero cíclico
Cuando el cuadrilátero completo tiene la propiedad adicional de que cuatro de sus seis vértices son concíclicos (es decir, cuando las cuatro rectas son los lados de un cuadrilátero inscrito en un círculo), el círculo de Miquel tiene propiedades especiales.
Sea un cuadrilátero cíclico inscrito en , y sean (intersección de diagonales) y , (los dos "vértices exteriores" del cuadrilátero completo). El punto de Miquel de este cuadrilátero completo es el segundo punto de intersección de los circuncírculos de y (equivalentemente, de y ).
Teorema. El punto de Miquel del cuadrilátero cíclico es el punto desde el cual los cuatro lados se ven bajo ángulos iguales. Más precisamente, es el centro de la espiral de semejanza que lleva (y también la que lleva ). Esto conecta el punto de Miquel con las espirales de semejanza del Capítulo 4.
Corolario: el punto de Miquel y la recta de Simson. Si es cíclico y es su punto de Miquel, entonces la recta de Simson de con respecto al triángulo pasa por (y la recta de Simson de con respecto a pasa por , etc.). Esta relación bidireccional entre Simson y Miquel es una de las más potentes del capítulo.
Relación con el polo-polar. El punto de Miquel del cuadrilátero cíclico es el polo de la "diagonal de Newton" (la recta que une los puntos medios de , y ) con respecto al circuncírculo . Esto conecta Miquel con la geometría proyectiva del Capítulo 3.
El Teorema de Clifford: generalización a $n$ rectas
El Teorema de Miquel para cuatro rectas es el caso de una cadena de resultados debida a W.K. Clifford (1870), conocida como los Círculos de Clifford:
:** Tres rectas determinan tres pares de rectas; cada par tiene un punto de Miquel (el punto de concurrencia de los tres circuncírculos). Los tres puntos de Miquel son colineales (este es el Teorema de Miquel clásico para tres rectas, equivalente al estudio del capítulo 4).
:** Cuatro rectas, cuatro triángulos, cuatro puntos de Miquel — concíclicos (Teorema de Miquel para el cuadrilátero completo, demostrado arriba).
:** Cinco rectas, cinco cuadriláteros completos, cinco círculos de Miquel — concurrentes en un punto (primer Teorema de Clifford para 5 rectas).
:** Seis rectas producen seis puntos de concurrencia — concíclicos (segundo Teorema de Clifford).
El patrón alterna: para impar, los objetos relevantes son concurrentes (en un punto); para par, son concíclicos (en un círculo). Esta alternancia es uno de los resultados más elegantes de la geometría clásica y tiene una demostración unificada mediante inversión y transformaciones de Möbius.
Aplicación en concursos. El Teorema de Clifford para (que los cuatro puntos de Miquel son concíclicos) es el que aparece más frecuentemente en el ISL. Para (que cinco círculos de Miquel concurren) aparece en problemas de nivel G7 o superior. En la práctica, identificar qué cuatro (o cinco) rectas están "escondidas" en el enunciado del problema es la clave para aplicar estos teoremas.
Estrategia integrada: Miquel en problemas del ISL
Regla de oro. Siempre que un problema de geometría olímpica involucre cuatro rectas o cuatro puntos sobre dos rectas o dos círculos, considera si la configuración puede verse como un cuadrilátero completo. Si es así, el Teorema de Miquel garantiza la concicilidad de los cuatro puntos de Miquel, y el punto de Miquel del cuadrilátero (si es cíclico) proporciona relaciones angulares entre los cuatro vértices.
Paso 1: identificar las cuatro rectas. En problemas que involucran dos triángulos perspectivos, los lados de los triángulos dan naturalmente seis rectas; elige cuatro y aplica Miquel. En problemas con un cuadrilátero y sus diagonales, los cuatro lados son las cuatro rectas.
Paso 2: encontrar los cuatro puntos de Miquel. Cada punto de Miquel es el segundo punto de intersección de dos circuncírculos bien definidos. En la práctica, solo necesitas calcular uno o dos de los cuatro para identificar el círculo de Miquel.
Paso 3: explotar la concicilidad. Una vez que , , , están en el círculo de Miquel, los ángulos inscritos dan relaciones entre los ángulos de las cuatro rectas originales. Esto suele ser suficiente para resolver la concurrencia o colinealidad pedida.
Conexión con el Capítulo 4. El punto de Miquel del cuadrilátero completo es el centro de la espiral de semejanza que lleva un triángulo al opuesto en el cuadrilátero. Esta conexión con espirales (Capítulo 4) y la conexión con la recta de Simson (Lección 5.1) hacen del Teorema de Miquel para cuatro rectas el nodo central de la geometría olímpica avanzada.