Módulos / geometria-3 / Capítulo 6 — Problemas IMO de geometría: taxonomía y estrategia / Lección 6.2

Cuándo usar coordenadas vs. argumentos sintéticos

Lección 6.2·Capítulo 6 — Problemas IMO de geometría: taxonomía y estrategia·13 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

Desarrollar criterios precisos para decidir entre un argumento sintético (ángulos, semejanzas, transformaciones) y un argumento analítico (coordenadas complejas, baricéntricas, cartesianas) en un problema de geometría IMO; identificar los tipos de problemas donde cada enfoque es netamente superior; aprender a combinar ambos enfoques (argumento híbrido) para problemas de nivel G5–G7 del ISL.

La falsa dicotomía

Existe una creencia muy extendida entre los estudiantes olímpicos: "los argumentos sintéticos son más elegantes pero los coordinados son más seguros". Esta creencia es peligrosa porque lleva a estrategias subóptimas: estudiantes que pasan una hora en un cálculo de baricéntricas cuando un argumento de ángulos inscritos de tres líneas habría bastado, o estudiantes que buscan en vano una "idea clave sintética" cuando el problema está diseñado para resolverse por coordenadas.

La realidad es que los mejores resolutores en el IMO usan ambos enfoques fluidamente y la elección depende de la estructura del problema, no de la preferencia personal.

En esta lección desarrollamos criterios objetivos para hacer esa elección.

Cuándo los argumentos sintéticos son superiores

Criterio 1: la configuración tiene simetría o involuciones. Si el problema tiene un eje de simetría, una reflexión, o una involución (por ejemplo, la reflexión de un punto sobre una recta, o la conjugación isogonal), un argumento sintético captura esa simetría de forma directa. Un argumento de coordenadas la puede manejar, pero requiere verificar que la transformación es una isometría, lo que añade pasos.

Criterio 2: la conclusión es una igualdad de ángulos o de razones. Si el problema pide probar APB=CPD\angle APB = \angle CPD o PAPB=PCPD\frac{PA}{PB} = \frac{PC}{PD}, la herramienta natural son los ángulos inscritos y las semejanzas de triángulos. Traducir esto a coordenadas introduce cosenos y senos de ángulos, que llenan el cálculo de expresiones irracionales.

Criterio 3: la configuración involucra inversión o espirales. Inversión e inversión de Möbius son transformaciones que actúan perfectamente en el plano sintético: el "argumento de inversión" consiste en aplicar la inversión, observar la imagen simplificada, y traducir el resultado. En coordenadas, la fórmula de inversión zr2/zˉz \mapsto r^2/\bar{z} introduce conjugados complejos que complican el álgebra.

Criterio 4: el argumento tiene solo dos o tres pasos. Si la estructura del problema sugiere que la solución es corta (por ejemplo, un resultado de nivel G1–G3 del ISL), es casi seguro que hay un argumento sintético directo. Gastar tiempo en coordenadas para un problema de dos pasos es ineficiente.

Cuándo las coordenadas son superiores

Criterio 1: la conclusión involucra colinealidad de tres puntos definidos algebraicamente. Si los tres puntos son intersecciones de rectas definidas por ecuaciones, la colinealidad se verifica por el determinante 3×33 \times 3 de las coordenadas. Este determinante es un cálculo directo, aunque largo. En cambio, el argumento sintético para la colinealidad (por ejemplo, Menelao o eje radical) requiere identificar la razón exacta, lo que puede ser difícil.

Criterio 2: los puntos clave tienen definiciones recursivas o iteradas. Si el punto PP se define como la intersección de una recta con una circunferencia, y luego QQ se define a partir de PP, y así sucesivamente, las coordenadas permiten seguir la cadena de definiciones de forma mecánica. El argumento sintético requiere identificar propiedades de cada punto intermedio, lo que puede ser muy laborioso.

Criterio 3: el problema tiene una hipótesis algebraica (razones iguales, ángulos dados numéricamente). Si el enunciado dice "la ceviana ADAD divide BCBC en razón 2:12:1" o "el ángulo BAC=60°\angle BAC = 60°", las coordenadas baricéntricas (para el primer caso) o las coordenadas cartesianas con el ángulo explícito (para el segundo) son inmediatas.

Criterio 4: el problema es de nivel G5–G7 del ISL y tiene muchos puntos. Cuando la configuración tiene diez o más puntos relevantes, el argumento sintético requiere mantener en la mente un gran número de relaciones simultáneamente. Las coordenadas permiten organizar la información en un sistema de ecuaciones y resolver mecánicamente.

El argumento híbrido: la estrategia del campeón

En los problemas de nivel G5–G7 del ISL, la estrategia más potente combina los dos enfoques: se usa un argumento sintético para reducir el problema a una forma más simple, y luego coordenadas para ejecutar el cálculo final.

Ejemplo de argumento híbrido. El problema pide probar que tres puntos PP, QQ, RR son colineales. Argumento sintético: se identifica que PP es el punto de Miquel de un cuadrilátero cíclico ABCDABCD, que QQ es el polo de la diagonal ACAC respecto del circuncírculo, y que RR es el punto de intersección de dos rectas tangentes. Esto reduce el problema a: "el punto de Miquel, el polo de la diagonal y la intersección de tangentes son colineales". Coordenadas complejas en el círculo unitario: p=abc+abd+acd+bcda+b+c+dp = \frac{abc+abd+acd+bcd}{a+b+c+d}, q=ac(b+d)ac+bdq = \frac{ac \cdot (b+d)}{ac + bd}... se verifica que pp, qq, rr son colineales comprobando que Im(qprp)=0\text{Im}\left(\frac{q-p}{r-p}\right) = 0.

Cuándo pasar al argumento híbrido. Si después de diez minutos con el argumento sintético no has encontrado la "idea clave" que simplifica todo, es señal de que el problema requiere coordenadas para algún paso. Pasa al híbrido: reduce lo que puedas sintéticamente y coordina el resto.

La trampa del cálculo sin fin. Un argumento de coordenadas puro que "funciona en principio" pero produce expresiones de más de una página es una trampa. En el IMO, un argumento de coordenadas de más de una página casi siempre puede simplificarse con una observación sintética previa. Si el cálculo se complica, da un paso atrás y busca la simplificación sintética que te falta.

Diagnóstico rápido: tabla de decisión

Resumimos los criterios en una tabla de diagnóstico rápido. Ante un problema de geometría IMO, hazte las siguientes preguntas:

¿La conclusión es una igualdad de ángulos? → Sintético (ángulos inscritos, semejanzas).

¿La conclusión es colinealidad de tres puntos definidos como intersecciones? → Coordenadas (determinante 3×33 \times 3) o Menelao sintético si la razón es identificable.

¿La conclusión es concurrencia de tres rectas? → Sintético (Ceva, Pascal, Miquel) o coordenadas (resolver sistema lineal 3×33 \times 3).

¿La configuración tiene una simetría obvia? → Sintético (la simetría hace el trabajo).

¿Los puntos tienen definiciones recursivas? → Coordenadas (seguir la cadena mecánicamente).

¿El enunciado tiene diez o más puntos relevantes? → Híbrido (reducción sintética + cálculo de coordenadas).

¿El problema es de nivel G1–G3? → Sintético en casi todos los casos.

¿El problema es de nivel G5–G7? → Híbrido en la mayoría de los casos; coordenadas puras solo si la configuración es explícitamente algebraica.

Problemas del Capítulo 6 — con solución

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

G3-6.1★★★★IMO 2008, Problema 1

Sea HH el ortocentro del triángulo acutángulo ABC\triangle ABC. Los circuncírculos de los triángulos BHC\triangle BHC, CHA\triangle CHA y AHB\triangle AHB tienen radios RAR_A, RBR_B y RCR_C respectivamente. Demuestra que el área del triángulo ABC\triangle ABC es mayor o igual que 334min(RA2,RB2,RC2)\frac{3\sqrt{3}}{4} \min(R_A^2, R_B^2, R_C^2), y determina cuándo se da la igualdad.

G3-6.2★★★★IMO 2014, Problema 4

Sea PP y QQ los puntos de intersección de la circunferencia ω1\omega_1 y la circunferencia ω2\omega_2. Sean AA y BB puntos en ω1\omega_1 de modo que la recta tangente a ω1\omega_1 en AA pasa por QQ y la recta tangente a ω1\omega_1 en BB pasa por QQ. Sean CC y DD puntos en ω2\omega_2 de modo que la recta tangente a ω2\omega_2 en CC pasa por PP y la recta tangente a ω2\omega_2 en DD pasa por PP. Suponiendo que AA, BB, CC, DD están en el mismo semiplano respecto de la recta PQPQ, demuestra que ABAB, CDCD y PQPQ son concurrentes (o paralelas).

G3-6.3★★★★IMO Shortlist 2016, G3

Sea ABC\triangle ABC un triángulo con circuncírculo ω\omega. Sea PP un punto en el interior del triángulo. Sean DD, EE, FF los segundos puntos de intersección de las rectas APAP, BPBP, CPCP con ω\omega respectivamente. El punto XX se elige en el interior del segmento EFEF. Sea MM la segunda intersección de la recta XBXB con ω\omega, y sea NN la segunda intersección de la recta XCXC con ω\omega. Demuestra que AA, MM, DD, NN son concíclicos.

G3-6.4★★★★IMO Shortlist 2017, G4

Sea OO el circuncentro del triángulo acutángulo ABC\triangle ABC. Sea Γ\Gamma la circunferencia que pasa por BB, CC y OO. Las rectas ABAB y ACAC cortan a Γ\Gamma en los puntos DD y EE respectivamente (distintos de BB y CC). Sea FF el punto de intersección de las tangentes a Γ\Gamma en DD y en EE. Demuestra que OFAFOF \perp AF.

G3-6.5★★★★★IMO 2015, Problema 3

Sea ABCABC un triángulo acutángulo con AB>ACAB > AC. Sea Γ\Gamma su circuncírculo, HH su ortocentro y FF el pie de la altitud desde AA. Sean MM y NN los puntos medios de BCBC y AHAH respectivamente. La recta AMAM corta a Γ\Gamma en un segundo punto KK diferente de AA. Supón que EKF=90°\angle EKF = 90° donde EE es el punto de intersección de Γ\Gamma con la mediatriz de ACAC. Demuestra que BB, NN, KK son colineales.

G3-6.6★★★★★IMO Shortlist 2019, G6

Sea II el incentro del triángulo ABC\triangle ABC con ABACAB \neq AC. La circunferencia ωI\omega_I inscrita en ABC\triangle ABC es tangente a BCBC, CACA, ABAB en DD, EE, FF respectivamente. Sea PP la intersección de ADAD con ωI\omega_I (distinta de DD). El circuncírculo de APF\triangle APF corta al lado ABAB en el punto QAQ \neq A. Demuestra que CICI, BQBQ y DPDP son concurrentes.

G3-6.7★★★★★IMO Shortlist 2020, G7

Sea ABC\triangle ABC un triángulo con circuncentro OO y circuncírculo Γ\Gamma. Sea MM el punto medio del arco BCBC de Γ\Gamma que no contiene AA. Sea TT la proyección de MM sobre la tangente a Γ\Gamma en AA. Sea KK la intersección de la recta MTMT con la recta BCBC. Demuestra que KK es el punto medio de la cuerda que el incírculo de ABC\triangle ABC corta en la recta BCBC.

G3-6.8★★★★★IMO 2022, Problema 3

Sea ABCDEABCDE un convexo pentágono tal que BC=DEBC = DE. Supon que hay un punto TT en el interior del pentágono tal que TB=TDTB = TD, TC=TETC = TE y ABT=CDT\angle ABT = \angle CDT. Sea \ell la recta que pasa por los puntos medios de los segmentos ACAC y BEBE. Demuestra que ABT=CDT\angle ABT = \angle CDT implica que AA, TT, DD son colineales, y que la recta \ell divide el pentágono en dos regiones de igual área.