Módulos / geometria-3 / Capítulo 5 — Configuraciones olímpicas: Simson, Miquel, Ptolemy / Lección 5.2

El Teorema de Miquel para cuatro rectas

Lección 5.2·Capítulo 5 — Configuraciones olímpicas: Simson, Miquel, Ptolemy·14 min·Piloto

Video en producción

El contenido pedagógico de esta lección ya está completo y lo puedes leer abajo. El video con la voz de Eduardo Espinoza Ramos se produce según la Política de IA.

Disclosure de IA: al publicarse, este contenido reproducirá digitalmente, con autorización expresa del autor, la voz y fisonomía de Eduardo Espinoza Ramos. Curaduría revisada por matemáticos profesionales. Política completa →

Objetivo de la lección

Enunciar y demostrar el Teorema de Miquel para cuatro rectas (cuadrilátero completo): los cuatro puntos de Miquel de las cuatro triangulaciones son concíclicos y su círculo es el círculo de Miquel; demostrar la posición del punto de Miquel de un cuadrilátero cíclico; establecer la relación entre el punto de Miquel, el polo de la diagonal y la recta de Simson; aplicar el Teorema de Miquel a problemas de concurrencia de nivel ISL G5–G7.

El cuadrilátero completo y sus cuatro triángulos de Miquel

Un cuadrilátero completo es la figura determinada por cuatro rectas 1\ell_1, 2\ell_2, 3\ell_3, 4\ell_4 en posición general (ninguna paralela, ninguna triple concurrente). Las seis intersecciones ij\ell_i \cap \ell_j (i<ji < j) se llaman los seis vértices del cuadrilátero completo. Las (43)=4\binom{4}{3} = 4 ternas de rectas determinan cuatro triángulos: TijkT_{ijk} es el triángulo formado por i\ell_i, j\ell_j, k\ell_k.

Para cada triángulo TijkT_{ijk}, la cuarta recta m\ell_m (mi,j,km \neq i, j, k) corta a los tres lados de TijkT_{ijk} en tres puntos PiP_i, PjP_j, PkP_k (los pies de m\ell_m sobre los lados del triángulo). Por el Teorema de Miquel para triángulos, los tres circuncírculos de los triángulos AiPjPk\triangle A_i P_j P_k, AjPiPk\triangle A_j P_i P_k, AkPiPj\triangle A_k P_i P_j (donde AiA_i, AjA_j, AkA_k son los vértices de TijkT_{ijk}) concurren en un punto, el punto de Miquel MijkM_{ijk} del triángulo TijkT_{ijk} con respecto a los tres puntos dados por m\ell_m.

De este modo, el cuadrilátero completo produce cuatro puntos de Miquel: M123M_{123}, M124M_{124}, M134M_{134}, M234M_{234}. 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 M123M_{123}, M124M_{124}, M134M_{134}, M234M_{234} 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 Pij=ijP_{ij} = \ell_i \cap \ell_j para i<ji < j. El punto M123M_{123} (Miquel de T123T_{123} respecto de 4\ell_4) es el segundo punto de intersección de los circuncírculos (P12P14P24)(P_{12} P_{14} P_{24}) y (P13P14P34)(P_{13} P_{14} P_{34}) y (P23P24P34)(P_{23} P_{24} P_{34})... Simplificamos la notación.

Etiquetemos los seis vértices del cuadrilátero completo como: A=12A = \ell_1 \cap \ell_2, B=13B = \ell_1 \cap \ell_3, C=14C = \ell_1 \cap \ell_4, D=23D = \ell_2 \cap \ell_3, E=24E = \ell_2 \cap \ell_4, F=34F = \ell_3 \cap \ell_4. El triángulo T123T_{123} (omitiendo 4\ell_4) tiene vértices AA, BB, DD y la recta 4\ell_4 lo corta en CABC \in AB, EADE \in AD, FBDF \in BD. El punto de Miquel M4=M123M_4 = M_{123} es el segundo punto de (ACE)(BDF)(ACE) \cap (BDF) (abreviando la construcción estándar).

Para demostrar que M1M_1, M2M_2, M3M_3, M4M_4 son concíclicos, es suficiente demostrar que M1M4M2+M1M3M2=180°\angle M_1 M_4 M_2 + \angle M_1 M_3 M_2 = 180° (o que el ángulo sea el mismo, dependiendo de la posición). El cálculo se reduce a: (M1M4,M2M4)=(1,2)\angle(M_1 M_4, M_2 M_4) = \angle(\ell_1, \ell_2) (ángulo entre las rectas 1\ell_1 y 2\ell_2), y (M1M3,M2M3)=(1,2)\angle(M_1 M_3, M_2 M_3) = \angle(\ell_1, \ell_2) (el mismo ángulo). Por tanto M1M_1, M2M_2, M3M_3, M4M_4 son concíclicos con el ángulo inscrito (1,2)\angle(\ell_1, \ell_2). La demostración detallada usa ángulos inscritos en los cuatro circuncírculos de los triángulos de Miquel.

M123,  M124,  M134,  M234ωMiquelM_{123},\; M_{124},\; M_{134},\; M_{234} \in \omega_{\text{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 ABCDABCD un cuadrilátero cíclico inscrito en ω\omega, y sean P=ACBDP = AC \cap BD (intersección de diagonales) y Q=ABCDQ = AB \cap CD, R=ADBCR = AD \cap BC (los dos "vértices exteriores" del cuadrilátero completo). El punto de Miquel MM de este cuadrilátero completo es el segundo punto de intersección de los circuncírculos de ABP\triangle ABP y CDP\triangle CDP (equivalentemente, de (ADP)(ADP) y (BCP)(BCP)).

Teorema. El punto de Miquel MM del cuadrilátero cíclico ABCDABCD es el punto desde el cual los cuatro lados se ven bajo ángulos iguales. Más precisamente, MM es el centro de la espiral de semejanza que lleva ABDCAB \mapsto DC (y también la que lleva ADBCAD \mapsto BC). 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 ABCDABCD es cíclico y MM es su punto de Miquel, entonces la recta de Simson de MM con respecto al triángulo ABC\triangle ABC pasa por DD (y la recta de Simson de MM con respecto a ABD\triangle ABD pasa por CC, 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 MM del cuadrilátero cíclico ABCDABCD es el polo de la "diagonal de Newton" (la recta que une los puntos medios de ACAC, BDBD y QRQR) con respecto al circuncírculo ω\omega. 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 n=4n = 4 de una cadena de resultados debida a W.K. Clifford (1870), conocida como los Círculos de Clifford:

n=3n = 3:** 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).

n=4n = 4:** Cuatro rectas, cuatro triángulos, cuatro puntos de Miquel — concíclicos (Teorema de Miquel para el cuadrilátero completo, demostrado arriba).

n=5n = 5:** Cinco rectas, cinco cuadriláteros completos, cinco círculos de Miquel — concurrentes en un punto (primer Teorema de Clifford para 5 rectas).

n=6n = 6:** Seis rectas producen seis puntos de concurrencia — concíclicos (segundo Teorema de Clifford).

El patrón alterna: para nn impar, los nn objetos relevantes son concurrentes (en un punto); para nn 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 n=4n = 4 (que los cuatro puntos de Miquel son concíclicos) es el que aparece más frecuentemente en el ISL. Para n=5n = 5 (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 M1M_1, M2M_2, M3M_3, M4M_4 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.

Problemas del Capítulo 5 — con solución

8 problemas verificados. Intenta cada uno antes de abrir la solución.

G3-5.1★★★★IMO Shortlist 2004, G2

Sea ABC\triangle ABC un triángulo inscrito en el círculo ω\omega. Sea PP un punto en el arco BCBC de ω\omega que no contiene AA. Sean DD, EE, FF los pies de las perpendiculares desde PP a las rectas BCBC, CACA, ABAB respectivamente. Demuestra que la recta de Simson s(P)s(P) del punto PP respecto de ABC\triangle ABC bisecta al segmento PHPH, donde HH es el ortocentro de ABC\triangle ABC.

G3-5.2★★★★IMO Shortlist 2007, G3

Sea ABCDABCD un cuadrilátero cíclico inscrito en el círculo ω\omega. Las rectas ABAB y CDCD se cortan en PP; las rectas ADAD y BCBC se cortan en QQ. Sea MM el punto de intersección de las diagonales ACAC y BDBD. Demuestra que el circuncírculo del triángulo PQM\triangle PQM es ortogonal al círculo ω\omega.

G3-5.3★★★★IMO 1985, Problema 5

Sea MM un punto interior al triángulo ABC\triangle ABC. Sean AA', BB', CC' las intersecciones de AMAM, BMBM, CMCM con los lados opuestos respectivamente. Demuestra que, para cualquier punto PP en el circuncírculo de ABC\triangle ABC, se tiene la desigualdad max(PA,PB,PC)PMmin(PA,PB,PC)\max(PA, PB, PC) \geq PM \geq \min(PA, PB, PC). [Versión Ptolomeo:] Sean AA, BB, CC, DD cuatro puntos en orden sobre un círculo. Demuestra, usando el Teorema de Ptolomeo, que PAPCPBPDPQACPA \cdot PC - PB \cdot PD \leq P Q \cdot AC... [Versión limpia:] Sea ABCDABCD un cuadrilátero cíclico con ACBDAC \perp BD. Demuestra que AB2+CD2=BC2+DA2AB^2 + CD^2 = BC^2 + DA^2 usando el Teorema de Ptolomeo.

G3-5.4★★★★★IMO Shortlist 2009, G6

Sea ABCABC un triángulo con circuncírculo ω\omega e incentro II. Sea MAM_A el punto medio del arco BCBC de ω\omega que no contiene AA. La recta MAIM_A I corta al lado BCBC en el punto DAD_A. Demuestra que MADA=MAIM_A D_A = M_A I, usando el Teorema de Ptolomeo aplicado al cuadrilátero MABICM_A BIC (que es cíclico en ω\omega).

G3-5.5★★★★IMO Shortlist 2011, G2

Sea ABCDABCD un cuadrilátero cíclico convexo. Sea PP el punto de intersección de las diagonales ACAC y BDBD, y sea R1R_1, R2R_2, R3R_3, R4R_4 los circunradios de los triángulos APB\triangle APB, BPC\triangle BPC, CPD\triangle CPD, DPA\triangle DPA respectivamente. Demuestra que R1+R3=R2+R4R_1 + R_3 = R_2 + R_4.

G3-5.6★★★★★IMO 2009, Problema 2

Sea ABCABC un triángulo. Los puntos A1A_1, B1B_1, C1C_1 son los puntos de tangencia del incírculo de ABC\triangle ABC con los lados BCBC, CACA, ABAB respectivamente. La línea A1B1A_1 B_1 corta a la bisectriz del ángulo exterior de C\angle C en el punto KK. Demuestra que KIA1=B1IA1\angle KIA_1 = \angle B_1 IA_1, donde II es el incentro de ABC\triangle ABC.

G3-5.7★★★★★IMO Shortlist 2014, G5

Sea ABCDABCD un cuadrilátero cíclico con AB=CDAB = CD. Las diagonales ACAC y BDBD se cortan en MM y los lados ABAB, CDCD se cortan (en sus prolongaciones) en NN. Sea PP la intersección de las mediatrices de ACAC y BDBD. Demuestra que la recta MNMN es perpendicular a OPOP, donde OO es el circuncentro de ABCDABCD.

G3-5.8★★★★★IMO Shortlist 2012, G5

Sea ABC\triangle ABC un triángulo con circuncírculo ω\omega y circuncentro OO. Sea PP el punto de Miquel del cuadrilátero cíclico ABCDABCD (donde DD es un punto en ω\omega distinto de AA, BB, CC). La recta de Simson de DD con respecto a ABC\triangle ABC pasa por el punto medio de DHDH, donde HH es el ortocentro de ABC\triangle ABC. Demuestra que el punto de Miquel PP del cuadrilátero ABCDABCD, el punto medio de DHDH y el circuncentro OO son colineales.