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 o , 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 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 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 se define como la intersección de una recta con una circunferencia, y luego se define a partir de , 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 divide en razón " o "el ángulo ", 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 , , son colineales. Argumento sintético: se identifica que es el punto de Miquel de un cuadrilátero cíclico , que es el polo de la diagonal respecto del circuncírculo, y que 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: , ... se verifica que , , son colineales comprobando que .
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 ) 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 ).
¿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.