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

Configuraciones estrella: incentro, excentros y Feuerbach

Lección 5.4·Capítulo 5 — Configuraciones olímpicas: Simson, Miquel, Ptolemy·16 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

Demostrar las identidades clásicas sobre el incentro y los excentros (triángulo excentral, circuncentro del triángulo excentral, ortocentro del triángulo excentral); enunciar y demostrar el Teorema de Feuerbach: el círculo de los nueve puntos es tangente interiormente al incírculo y tangente exteriormente a cada uno de los tres excírculos; aplicar la inversión y la recta de Simson para probar el Teorema de Feuerbach; utilizar la configuración incentro-excentros para resolver problemas del IMO de nivel G4–G6.

El triángulo excentral y sus propiedades

Los tres excentros de un triángulo ABC\triangle ABC son los centros IAI_A, IBI_B, ICI_C de los tres excírculos (el círculo tangente al lado BCBC y a las prolongaciones de ABAB y ACAC, etc.). El triángulo excentral es el triángulo IAIBICI_A I_B I_C.

Propiedad fundamental. El triángulo ABC\triangle ABC es el triángulo órtico del triángulo excentral IAIBIC\triangle I_A I_B I_C: es decir, AA, BB, CC son los pies de las alturas de IAIBIC\triangle I_A I_B I_C. Consecuentemente, el incentro II de ABC\triangle ABC es el ortocentro del triángulo excentral IAIBIC\triangle I_A I_B I_C.

Demostración. IBICI_B I_C es la bisectriz exterior de A\angle A y la bisectriz interior de B\angle B y C\angle C... más precisamente, IAI_A bisecta el ángulo exterior BIC\angle BIC y está en la bisectriz interna de A\angle A. La clave es: IBAIC=90°\angle I_B A I_C = 90° (pues IBI_B y ICI_C están en las bisectrices de los ángulos en BB y CC respectivamente, y la bisectriz interna y externa de un ángulo son perpendiculares). Por tanto AIAIBICAI_A \perp I_B I_C, es decir la altura desde AA en IAIBIC\triangle I_A I_B I_C pasa por AA, y AA es el pie de esa altura.

El circuncírculo del triángulo excentral tiene radio 2R2R (el doble del circunradio de ABC\triangle ABC) y su circuncentro es el punto antipodal del incentro II respecto del circuncírculo ω\omega de ABC\triangle ABC. Esta relación hace del triángulo excentral una "versión ampliada" del triángulo original.

Simetría de la configuración. El circuncírculo ω\omega de ABC\triangle ABC es el círculo de los nueve puntos del triángulo excentral. Esta observación es el punto de partida para el Teorema de Feuerbach: conecta el círculo de nueve puntos de ABC\triangle ABC con el incírculo y los excírculos.

El círculo de los nueve puntos y su relación con $I$ y $I_A$, $I_B$, $I_C$

El círculo de los nueve puntos N\mathcal{N} del triángulo ABC\triangle ABC pasa por: los puntos medios de los lados MAM_A, MBM_B, MCM_C; los pies de las alturas HAH_A, HBH_B, HCH_C; los puntos medios de los segmentos del ortocentro a cada vértice EAE_A, EBE_B, ECE_C. El circuncentro del círculo de los nueve puntos es el punto de Euler N9N_9 (punto medio del segmento OHOH) y su radio es R/2R/2.

Teorema de Feuerbach (1822). El círculo de los nueve puntos N\mathcal{N} del triángulo ABC\triangle ABC es tangente interiormente al incírculo y tangente exteriormente a cada uno de los tres excírculos. El punto de tangencia con el incírculo se llama el punto de Feuerbach FeF_e, y es uno de los puntos más ricos en propiedades de la geometría del triángulo.

Importancia olímpica. El Teorema de Feuerbach es uno de los resultados más profundos de la geometría elemental. No aparece como enunciado directo en el IMO, pero sus consecuencias y métodos de demostración (inversión, recta de Simson, transformaciones) son herramientas de nivel olímpico. Conocer la demostración es señal de madurez matemática.

Fórmulas de distancia. La distancia del circuncentro OO al incentro II satisface la fórmula de Euler: OI2=R22RrOI^2 = R^2 - 2Rr (donde RR es el circunradio y rr el inradio). La fórmula análoga para los excentros es OIA2=R2+2RrAOI_A^2 = R^2 + 2Rr_A. El Teorema de Feuerbach es en cierto sentido la "versión geométrica" de estas fórmulas algebraicas.

OI2=R(R2r)(foˊrmula de Euler)OI^2 = R(R - 2r) \quad (\text{fórmula de Euler})

Demostración del Teorema de Feuerbach por inversión

Demostración. Aplicamos una inversión ι\iota de centro AA y radio ρ=ABAC\rho = \sqrt{AB \cdot AC} (la "inversión natural" del ángulo AA). Esta inversión tiene la propiedad de intercambiar el incírculo con uno de los excírculos (una inversión bien elegida permite simplificar enormemente la configuración).

Tras la inversión, el incírculo ωI\omega_I y el excírculo ωA\omega_A se intercambian (o van a sí mismos), y la imagen del círculo de los nueve puntos N\mathcal{N} es otro círculo N\mathcal{N}' que se puede calcular explícitamente. La condición de tangencia NωI={Fe}\mathcal{N} \cap \omega_I = \{F_e\} se traduce en la condición NωI={Fe}\mathcal{N}' \cap \omega_I' = \{F_e'\}, que es una tangencia entre dos círculos explícitamente calculables.

En coordenadas: usemos el sistema en que el incírculo tiene centro I=(0,0)I = (0, 0) y radio rr. Los excentros son IAI_A, IBI_B, ICI_C con radios rAr_A, rBr_B, rCr_C. El centro del círculo de nueve puntos es N9N_9 con radio R/2R/2. La condición de tangencia interna es N9I=R/2r|N_9 I| = R/2 - r. La fórmula de Euler OI2=R(R2r)OI^2 = R(R-2r) implica N9I=OI/2|N_9 I| = |O I|/2... (usando que N9N_9 es el punto medio de OHOH y que H=OI/1...H = -\vec{OI}/1...). El cálculo detallado usando la fórmula de Euler y la posición del centro de nueve puntos verifica N9I=R/2r|N_9 I| = R/2 - r, es decir tangencia interna.

La tangencia externa con ωA\omega_A: N9IA=R/2+rA|N_9 I_A| = R/2 + r_A. Esto se verifica de manera análoga usando OIA2=R2+2RrAOI_A^2 = R^2 + 2Rr_A.

Demostración alternativa por la recta de Simson. El punto de Feuerbach FeF_e puede identificarse como el punto del círculo de los nueve puntos tal que la recta de Simson de FeF_e respecto del triángulo excentral pasa por el incentro II. Esta identificación, combinada con las propiedades del triángulo excentral (que es el triángulo órtico de ABC\triangle ABC), da una demostración elegante del Teorema de Feuerbach usando únicamente la Lección 5.1.

El punto de Feuerbach y sus propiedades

El punto de Feuerbach FeF_e es el punto de tangencia del incírculo con el círculo de los nueve puntos. Es un punto extraordinariamente rico: en él se concentran propiedades del incentro, del ortocentro, del circuncentro y del círculo de nueve puntos simultáneamente.

Propiedad 1 (recta de Feuerbach). La recta que une el punto de Feuerbach FeF_e con el incentro II también pasa por el punto de Euler N9N_9 (el centro del círculo de los nueve puntos). Esta "recta de Feuerbach" es un objeto notable del triángulo.

Propiedad 2 (coordenadas baricentricas). En coordenadas baricéntricas normalizadas, el punto de Feuerbach es Fe=(a(bc)2:b(ca)2:c(ab)2)F_e = (a(b-c)^2 : b(c-a)^2 : c(a-b)^2) donde a=BCa = BC, b=CAb = CA, c=ABc = AB. Esta expresión muestra que FeF_e es simétrica en los lados y se anula cuando el triángulo es isósceles (en ese caso, FeF_e degenera a un punto en el eje de simetría).

Propiedad 3 (tangencia con los excírculos). Los tres puntos de tangencia de N\mathcal{N} con los excírculos ωA\omega_A, ωB\omega_B, ωC\omega_C se llaman FAF_A, FBF_B, FCF_C. Las rectas AFAAF_A, BFBBF_B, CFCCF_C son concurrentes (en el punto de Nagel del triángulo). Esta concurrencia se demuestra usando el Teorema de Ceva y las propiedades de los puntos de tangencia.

Aplicación en el IMO. La configuración incentro-excentros-Feuerbach aparece en problemas del tipo "demuestra que el punto PP es el incentro de algún triángulo" o "demuestra que el triángulo XYZXYZ tiene incírculo tangente al círculo de nueve puntos de ABC\triangle ABC". En ambos casos, la estrategia es identificar PP o el incírculo de XYZ\triangle XYZ con la configuración de Feuerbach del triángulo original.

Estrategia integrada: incentro, excentros y Feuerbach en concursos

La configuración incentro-excentros tiene varios "ganchos" que permiten reconocerla en un enunciado:

**Gancho 1: ángulos de 90°90°.** BICC=90°\angle BI_CC = 90°, BIAC=90°\angle BI_AC = 90°, IAIIB=90°\angle I_A I I_B = 90°, etc. Siempre que aparezcan muchos ángulos rectos en una configuración con bisectrices, sospecha de la configuración excentral.

**Gancho 2: cuatro puntos concíclicos con II.** Siempre que el incentro II sea uno de cuatro puntos concíclicos, el cuarto punto suele ser un excentro o el antipodal de II en el circuncírculo (que resulta ser el punto medio del arco BCBC que no contiene AA).

Gancho 3: el círculo de nueve puntos tangente a algo. Si en el problema se da que un círculo es tangente interiormente a otro y el interior parece ser un excírculo o incírculo, Feuerbach es la clave. Identifica el "algo" como el incírculo o un excírculo y el primer círculo como el de nueve puntos.

Ejemplo: IMO 2008/6 (versión simplificada). Sea ABC\triangle ABC con incírculo tangente a BCBC en XX. El círculo de nueve puntos de ABC\triangle ABC es tangente a los excírculos en XAX_A, XBX_B, XCX_C. Las rectas XXAXX_A, XXBXX_B, XXCXX_C son concurrentes en un punto (relacionado con el punto de Nagel). La demostración combina Ptolomeo (para las distancias de tangencia), la recta de Simson (para el punto de Feuerbach) y la configuración excentral.

Resumen del Capítulo 5. Las tres configuraciones del capítulo —Simson, Miquel para cuatro rectas, Ptolomeo— son los ladrillos con los que se construyen las soluciones a los problemas de geometría más difíciles del IMO. Simson da colinealidades de proyecciones; Miquel da concicilidades de puntos notables; Ptolomeo da igualdades entre productos de segmentos. La configuración Feuerbach los unifica: Simson entra en su demostración, Miquel da el punto de Miquel del cuadrilátero excentral, y Ptolomeo permite calcular las distancias de tangencia.

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.