Cuándo elegir inversión, baricéntricas o complejos

El problema de la parálisis por elección

En geometría olímpica avanzada existe al menos cuatro familias de herramientas poderosas: la inversión, las coordenadas complejas, las coordenadas baricéntricas y la geometría sintética pura (que incluye persecución de ángulos, potencia de un punto, homotecia y los grandes teoremas proyectivos). Cada herramienta es extraordinariamente eficaz dentro de su dominio natural y puede volverse un laberinto de cálculo cuando se la aplica fuera de ese dominio.

El error más costoso en un examen de olimpiada es elegir la herramienta equivocada: pasar 40 minutos en un cálculo baricéntrico que resulta con denominadores gigantes, cuando una inversión habría resuelto el problema en 6 líneas. El objetivo de esta lección es construir un árbol de decisión fiable que, dada la estructura superficial del enunciado (número de círculos, tipo de condición, presencia de ángulos o longitudes), apunte directamente a la herramienta correcta.

Regla de oro preliminar: nunca elige la herramienta por comodidad o costumbre; elige por estructura. Si te sientes cómodo con baricéntricas pero el problema tiene cuatro círculos tangentes, la inversión es casi seguramente el camino correcto.

Cuándo usar inversión

Señal principal: el enunciado tiene dos o más círculos, especialmente si son tangentes entre sí o a una recta. La inversión convierte círculos que pasan por el centro de inversión en rectas, y los círculos que no pasan por él en círculos de radio diferente. El efecto neto es simplificar la figura: menos círculos, más rectas, configuraciones más simétricas.

Señales secundarias: (a) el problema menciona una circunferencia inscrita, mixtilineal o excrita tangente a lados de un triángulo; (b) el enunciado tiene un punto de tangencia $T$ entre dos círculos y pide algo sobre rectas que pasan por $T$; (c) hay tres o más círculos mutuamente tangentes (configuración de Apollonius o de Descartes); (d) el problema equivale a demostrar que ciertos círculos son coaxiales.

El truco del centro: elegir el centro de inversión en un punto de tangencia convierte los dos círculos tangentes en dos rectas paralelas (o perpendiculares), y el problema se reduce a geometría plana elemental. Si no hay un punto de tangencia obvio, centrar la inversión en un punto que aparece en muchos de los objetos del problema (por ejemplo, un vértice del triángulo si la figura tiene simetría en ese vértice).

Cuándo NO usar inversión: si el enunciado habla de longitudes de segmentos o razones de segmentos sin círculos presentes, la inversión distorsiona las longitudes de formas no triviales. En ese caso, baricéntricas o trigonometría son más directas.

Cuándo usar coordenadas complejas

Señal principal: el problema involucra una rotación o una espiral de semejanza (rotación más homotecia). Si la condición del problema puede formularse como "$P$ es la imagen de $Q$ bajo una rotación de ángulo $\theta$ alrededor de $O$", las coordenadas complejas son la herramienta natural porque la rotación es simplemente la multiplicación por $e^{i\theta}$.

Señales secundarias: (a) la figura tiene un centro natural (el circuncentro, un punto de tangencia, el origen de una homotecia) respecto del cual varios ángulos son iguales o los módulos de varios vectores son iguales; (b) el problema involucra la circunferencia unidad (circuncircunferencia colocada en $|z| = 1$); (c) el enunciado pide demostrar que tres puntos son colineales y los puntos son expresables como combinaciones lineales de complejos con coeficientes reales; (d) hay ángulos de $60°$, $90°$ o $120°$ que sugieren multiplicación por $i$, $\omega = e^{2\pi i/3}$, etc.

La colinealidad en complejos: tres puntos $z_1$, $z_2$, $z_3$ son colineales si y solo si la razón $\frac{z_3 - z_1}{z_2 - z_1}$ es real, es decir, $\operatorname{Im}\!\left(\frac{z_3 - z_1}{z_2 - z_1}\right) = 0$. La concíclicidad (o colinealidad en el caso degenerado) equivale a que la razón cruzada $(z_1, z_2; z_3, z_4)$ sea real.

Cuándo NO usar complejos: si el problema tiene muchos puntos de importancia igual (vértices de un triángulo más incentro, excentros, midpoints de arcos...), las expresiones complejas para cada punto pueden volverse intrincadas. En ese contexto, baricéntricas son más sistemáticas.

Cuándo usar coordenadas baricéntricas

Señal principal: el problema tiene un triángulo de referencia $\triangle ABC$ con puntos definidos en términos de cevianas (medianas, bisectrices, alturas) o de centros notables (incentro $I$, excentros $I_A$, $I_B$, $I_C$, circuncentro $O$, ortocentro $H$, centroide $G$). Las baricéntricas expresan cualquier punto del plano como $P = (x : y : z)$ en términos de los vértices, y los centros notables tienen coordenadas memorables: $I = (a : b : c)$, $O = (\sin 2A : \sin 2B : \sin 2C)$, $H = (\tan A : \tan B : \tan C)$.

Señales secundarias: (a) el enunciado involucra el incentro o los excentros de manera central; (b) hay condiciones de tangencia con el incírculo o los excírculos; (c) el problema pide demostrar que un punto está sobre una ceviana o que tres cevianas son concurrentes (el criterio de Ceva en baricéntricas es $xyz = x'y'z'$ si los puntos son $(0:y:z)$, $(x:0:z)$, $(x:y:0)$); (d) el enunciado mezcla razones de segmentos a lo largo de los lados del triángulo.

La trampa de las baricéntricas: el cálculo puede volverse pesado si la ecuación de un círculo tiene denominadores complicados. La ecuación general de un círculo en baricéntricas es $-a^2yz - b^2zx - c^2xy + (ux + vy + wz)(x + y + z) = 0$. Para círculos comunes (incírculo, excírculos) las fórmulas son conocidas; para círculos definidos por tres puntos arbitrarios, el cálculo del determinante $3 \times 3$ puede tomar media página.

Cuándo NO usar baricéntricas: si el problema no tiene un triángulo de referencia natural, o si los objetos del problema son principalmente círculos (no cevianas), las baricéntricas son la herramienta equivocada.

Tabla comparativa y árbol de decisión

La siguiente tabla resume los criterios de elección. Úsala como checklist rápido al leer el enunciado:

Inversión: señal = "círculos tangentes", "circunferencia mixtilineal", "punto de tangencia". Fortaleza = simplifica configuraciones circulares complejas. Debilidad = distorsiona longitudes; difícil controlar la imagen de muchos puntos.

Complejos: señal = "rotación", "espiral de semejanza", "circunferencia unidad", "ángulos de 60°/90°/120°". Fortaleza = rotaciones y espirales de semejanza son multiplicaciones simples. Debilidad = verificar que una expresión es real puede requerir mucho álgebra si hay varios puntos.

Baricéntricas: señal = "incentro", "excéntrico", "cevianas", "tangencia con incírculo". Fortaleza = coordenadas memorables para todos los centros; Ceva y Menelao son inmediatos. Debilidad = círculos tienen ecuaciones pesadas; no natural para figuras sin triángulo de referencia.

Sintético puro: señal = "demostrar que cuatro puntos son concíclicos", "colinealidad elegante", "concurrencia de tres rectas". Fortaleza = la solución es corta, elegante y generalizable. Debilidad = requiere reconocer la configuración correcta (Miquel, Pascal, radical axis); no hay algoritmo mecánico.

Árbol de decisión (90 segundos): Paso 1 — ¿hay dos o más círculos con tangencias? → inversión. Paso 2 — ¿hay rotaciones o espirales de semejanza, o la figura vive en la circunferencia unidad? → complejos. Paso 3 — ¿hay un triángulo con cevianas o incentro/excentros como protagonistas? → baricéntricas. Paso 4 — ¿la configuración parece proyectiva o tiene simetría ángulo-ángulo sin longitudes? → sintético con ángulos orientados.