Módulos / geometria-3 / Capítulo 3 — Geometría proyectiva olímpica / Lección 3.4

Aplicaciones: puntos harmónicos y problemas olímpicos

Lección 3.4·Capítulo 3 — Geometría proyectiva olímpica·15 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

Usar la razón cruzada, polo-polar y el Teorema de Desargues como herramientas de solución en problemas del IMO y del Shortlist; identificar las señales en un enunciado que sugieren el uso de geometría proyectiva; combinar la polaridad con baricéntricas para atacar problemas mixtos.

Cuándo usar geometría proyectiva: señales en el enunciado

La geometría proyectiva es la herramienta adecuada cuando el problema exhibe alguna de las siguientes características:

Señal 1 — Tangentes y cuerdas. El enunciado involucra tangentes a una circunferencia y cuerdas, y pide demostrar que ciertos puntos son colineales o ciertas rectas concurrentes. La polaridad convierte la tangencia en una condición de incidencia proyectiva.

Señal 2 — Cuatro puntos en una circunferencia. El enunciado menciona cuatro puntos concíclicos y pide una condición de razón de segmentos. La razón cruzada en la circunferencia simplifica la condición a una igualdad de razones trigonométricas.

Señal 3 — "Perspectiva" o "proyección". El enunciado habla de proyectar desde un punto, o de intersecciones de rectas que provienen de un punto común. El Teorema de Desargues puede ser aplicable.

Señal 4 — Concurrencia de tres rectas "simétricas". El enunciado pide demostrar que tres rectas definidas simétricamente respecto de tres vértices o tres lados concurren. Puede ser un caso del Teorema de Desargues aplicado a los triángulos "perspectivos".

Señal 5 — Punto harmónico o conjugado isogonal. El enunciado menciona "el simétrico de un punto respecto a la mediatriz", o involucra bisectrices y sus reflexiones. Puede ser un punto harmónico o un conjugado isogonal/isotómico, manejable con polaridad.

Estrategia 1: Usar la polaridad para convertir concurrencia en colinealidad

Por el Teorema de La Hire, si PP, QQ, RR son colineales, sus polares πP\pi_P, πQ\pi_Q, πR\pi_R respecto de cualquier cónica son concurrentes (en el polo de la recta PQRPQR). Esta equivalencia es la herramienta fundamental para "dualizare" un problema.

Ejemplo. Dado un triángulo ABCABC inscrito en un círculo ω\omega, y un punto PP interior a ω\omega. Sean AA', BB', CC' los segundos puntos de intersección de PAPA, PBPB, PCPC con ω\omega. La polar de PP respecto de ω\omega corta a BCBC en XX, a CACA en YY, a ABAB en ZZ. Problema: demostrar que AXA'X, BYB'Y, CZC'Z son concurrentes.

Estrategia: la polar de PP es una recta \ell. Los puntos X=BCX = \ell \cap BC, Y=CAY = \ell \cap CA, Z=ABZ = \ell \cap AB satisfacen (B,C;X,__)=1(B,C;X,\_\_) = -1 (por el Teorema del polo-polar). Los puntos AA', BB', CC' son los antipodales de AA, BB, CC bajo la involución inducida por PP. La concurrencia de AXA'X, BYB'Y, CZC'Z se verifica reconociendo el Teorema de Desargues: los triángulos ABCABC y ABCA'B'C' están en perspectiva desde PP (por construcción), luego están en perspectiva desde una recta \ell'; esa recta \ell' es precisamente la polar de PP, y los puntos XX, YY, ZZ son exactamente los puntos del eje de perspectiva.

Esto prueba que AXA'X, BYB'Y, CZC'Z concurren (en el centro de perspectiva de ABCABC y ABCA'B'C' en el sentido dual), y la concurrencia es consecuencia directa del Teorema de Desargues. \square

Estrategia 2: Razón cruzada en la circunferencia y ángulos inscritos

Para problemas que involucran cuatro puntos en una circunferencia, la razón cruzada se calcula mediante ángulos inscritos y las propiedades de la circunferencia. La fórmula del seno da:

(A,B;C,D)ω=sin(CAB)sin(DAB)1sin(CBD)sin(ABD)1(A,B;C,D)_{\omega} = \dfrac{\sin(\angle CAB) \cdot \sin(\angle DAB)^{-1}}{\sin(\angle CBD) \cdot \sin(\angle ABD)^{-1}}... más precisamente, la razón cruzada del haz O(A,B;C,D)O(A,B;C,D) para cualquier OωO \in \omega se calcula con la fórmula del seno, y su valor es independiente de OO.

Ejemplo clásico. Sea ABCDABCD un cuadrilátero cíclico (en ese orden en la circunferencia). Sea E=ACBDE = AC \cap BD y F=ABCDF = AB \cap CD, G=ADBCG = AD \cap BC. Entonces {E,F,G}\{E, F, G\} es el triángulo diagonal del cuadriángulo ABCDABCD, y es autopolar respecto de la circunferencia. En particular, EE es el polo de FGFG respecto de la circunferencia.

Consecuencia: la razón cruzada (A,C;E,H)=1(A,C;E,H) = -1, donde H=EFGACH = EFG \cap AC (la intersección de la polar de EE con la recta ACAC, que es la recta del lado FGFG)... de hecho, (F,G;E,H)=1(F,G;E,H) = -1 para el punto H=FGACH = FG \cap AC. Esto implica que EE y HH son conjugados harmónicos respecto del par F,GF, G.

Esta red de relaciones harmónicas en el cuadrilátero cíclico es la base de muchos problemas del Shortlist donde aparecen "configuraciones de perspectiva con respecto a una circunferencia inscrita o circunscrita".

(A,C;E,H)=1(relacioˊn harmoˊnica en el cuadrilaˊtero cıˊclico)(A,C;E,H) = -1 \quad\text{(relación harmónica en el cuadrilátero cíclico)}

Estrategia 3: El Teorema de Brocard como polo-polar

El Teorema de Brocard establece: si ABCDABCD es un cuadrilátero inscrito en un círculo ω\omega (con AA, BB, CC, DD en ese orden), y P=ACBDP = AC \cap BD, Q=ABCDQ = AB \cap CD, R=ADBCR = AD \cap BC, entonces el triángulo PQRPQR es autopolar respecto de ω\omega.

Este es exactamente el Teorema "triángulo diagonal es autopolar" de la Lección 3.3, pero reformulado en términos de cuadrilátero inscrito. En la práctica olímpica, el Teorema de Brocard se aplica para convertir una condición de tangencia o de polo-polar en una condición de concurrencia.

Aplicación directa. Dado ABCDABCD inscrito en ω\omega, el polo de la recta QRQR respecto de ω\omega es PP. Esto significa: la tangente a ω\omega en AA y la tangente en CC se cortan en un punto de la polar de PP, es decir, se cortan en la recta QRQR. Equivalentemente: las tangentes en AA y CC a ω\omega se cortan en un punto de la recta QRQR.

Esta observación permite demostrar que ciertos puntos de tangencia son colineales con QQ y RR, lo que a su vez implica concurrencias específicas. Varios problemas del IMO que involucran tangentes a la circuncircunferencia y cevinas del triángulo se resuelven por esta vía.

Integración con baricéntricas: polo-polar en coordenadas

En problemas complejos, combinar baricéntricas con polo-polar es muy eficiente. La estrategia es:

(1) Establecer coordenadas baricéntricas con el triángulo ABCABC como referencia.

(2) Calcular las coordenadas baricéntricas de los puntos del problema (usando las fórmulas de las Lecciones 2.1 y 2.2).

(3) Calcular las polares de ciertos puntos respecto de la circuncircunferencia (usando la fórmula de la Lección 3.2).

(4) Verificar concurrencias usando determinantes 3×33\times 3 y colinealidades usando la ecuación de recta.

Ejemplo de combinación. Sea HH el ortocentro y OO el circuncentro de ABCABC. El polo de HH respecto de la circuncircunferencia: con H=(tanA:tanB:tanC)H = (\tan A:\tan B:\tan C), la polar de HH es x(b2tanC+c2tanB)+y(c2tanA+a2tanC)+z(a2tanB+b2tanA)=0x(b^2\tan C + c^2\tan B) + y(c^2\tan A + a^2\tan C) + z(a^2\tan B + b^2\tan A) = 0. Usando a2=4R2sin2Aa^2 = 4R^2\sin^2 A y simplificando con tanA=sinA/cosA\tan A = \sin A/\cos A, la polar de HH resulta ser la recta xcosA+ycosB+zcosC=0x\cos A + y\cos B + z\cos C = 0 (en la normalización apropiada). Este es el "triángulo ortopolar" — la recta polar del ortocentro separa el triángulo en una configuración armónica con el circuncentro.

El conocimiento de esta recta permite resolver directamente preguntas como: ¿cuál es el polo del eje radical de dos circunferencias dadas, respecto de la circuncircunferencia del triángulo? La respuesta es un punto con coordenadas baricéntricas calculables por la fórmula de la Lección 3.2.

Resumen de la cadena de herramientas proyectivas

Las cuatro lecciones del Capítulo 3 forman una cadena coherente de herramientas:

Razón cruzada (Lección 3.1): el invariante fundamental de la geometría proyectiva. Se usa para caracterizar cuádruples harmónicos (A,B;C,D)=1(A,B;C,D) = -1 y para medir distancias proyectivas. Aparece en problemas de cuadriláteros cíclicos y haces de rectas.

Polo y polar (Lección 3.2): convierte la condición de tangencia en una condición de incidencia. La reciprocidad (Teorema de La Hire) dualiza concurrencias en colinealidades. El conjugado harmónico de un punto respecto de un par en la circunferencia es exactamente su polo-polar.

Cuadriángulos completos y Desargues (Lección 3.3): el cuadriángulo completo inscrito en una cónica genera automáticamente un triángulo autopolar (=Teorema de Brocard en el caso cíclico). El Teorema de Desargues convierte perspectividades en eje de perspectiva, y es la herramienta maestra de concurrencia proyectiva.

Aplicaciones olímpicas (Lección 3.4): la estrategia general para problemas IMO con estas herramientas es: identificar la "señal proyectiva" en el enunciado, elegir la herramienta (polaridad, Desargues, razón cruzada), formular la demostración, y si es necesario, calcular en baricéntricas para verificar.

Con el dominio de estas herramientas —y habiendo ya internalizado la inversión (Capítulo 1) y las similitudes espirales (Capítulo 2)— el alumno tiene a su disposición el arsenal completo de la geometría olímpica de nivel IMO.

Problemas del Capítulo 3 — con solución

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

G3-3.1★★★Ejercicio clásico de razón cruzada

Sean AA, BB, CC, DD cuatro puntos en una recta con coordenadas 00, 11, 22, tt respectivamente (para cierto t0,1,2t \neq 0, 1, 2). (a) Calcula la razón cruzada (A,B;C,D)(A,B;C,D) en función de tt. (b) Encuentra el valor de tt para el cual (A,B;C,D)=1(A,B;C,D) = -1 (cuarteto harmónico) y describe geométricamente la posición de DD.

G3-3.2★★★Ejercicio estándar de polo y polar

Sea ω\omega el círculo unitario x2+y2=1x^2 + y^2 = 1. Sea P=(3,0)P = (3, 0) un punto exterior. (a) Halla la polar de PP respecto de ω\omega. (b) Halla los puntos de tangencia de las tangentes desde PP a ω\omega y verifica que pertenecen a la polar de PP. (c) Si la recta :y=0\ell: y = 0 (el eje xx) corta a ω\omega en A=(1,0)A = (-1,0) y B=(1,0)B = (1,0), encuentra el conjugado harmónico de PP respecto de AA y BB.

G3-3.3★★★★IMO Shortlist 2005, G5 (adaptado)

Sea ABCABC un triángulo acutángulo. Las tangentes a la circuncircunferencia ω\omega en BB y en CC se cortan en el punto TT. Sea II el incentro de ABCABC y sea DD el segundo punto de intersección de la recta AIAI con ω\omega. Demuestra que II, TT y DD son colineales si y solo si AB=ACAB = AC.

G3-3.4★★★★IMO Shortlist 2010, G2

Sea ABCABC un triángulo con circuncircunferencia Γ\Gamma. Sea PP un punto interior a ABCABC. Las rectas APAP, BPBP, CPCP cortan de nuevo a Γ\Gamma en los puntos AA', BB', CC' respectivamente. Los segmentos ABA'B' y ACAC se cortan en QQ, y los segmentos ACA'C' y ABAB se cortan en RR. Demuestra que la recta BCBC y la recta QRQR se cortan en el polo de AA con respecto a Γ\Gamma.

G3-3.5★★★★IMO 2005, Problema 5

Sea ABCDABCD un cuadrilátero con ABC=ADC=90\angle ABC = \angle ADC = 90^\circ (es decir, ABCDABCD es cíclico con ACAC como diámetro, o BB y DD yacen en la circunferencia de diámetro ACAC). Sea MM el punto de intersección de los diagonales ACAC y BDBD. Sea KK el punto de la recta CDCD tal que BKBDBK \perp BD. Demuestra que KMA=90\angle KMA = 90^\circ.

G3-3.6★★★★★IMO 2014, Problema 3

Los puntos convexamente en posición PP y QQ están sobre la circunferencia Ω\Omega. PP es el polo de la recta QRQR con respecto a Ω\Omega, y QQ es el polo de la recta PRPR con respecto a Ω\Omega. Demuestra que RR es el polo de la recta PQPQ con respecto a Ω\Omega.

G3-3.7★★★★★IMO Shortlist 2016, G4

Sea ABCABC un triángulo con A=90\angle A = 90^\circ. Sea ω\omega su circunferencia circunscrita (de diámetro BCBC). Sea DD el pie de la altura desde AA sobre BCBC. Las tangentes a ω\omega en BB y en CC se cortan en TT. La recta ATAT corta a ω\omega en un segundo punto SS. Demuestra que DSBCDS \perp BC.

G3-3.8★★★★★IMO 2019, Problema 6

Sea II el incentro del triángulo acutángulo ABCABC. La circunferencia ω\omega centrada en II es tangente al lado BCBC en el punto XX. Sea MM el punto medio de BCBC. La bisectriz de BAC\angle BAC corta de nuevo a la circuncircunferencia de ABCABC en el punto AA'. Demostrar que la circunferencia circunscrita a XAM\triangle XA'M pasa por el punto de intersección de AIA'I y BCBC.