Estrategia integral: combinando todas las herramientas

El árbol de decisión del algebraísta olímpico

Al enfrentarse a un problema de álgebra en un concurso, la clave no es probar herramientas al azar sino aplicar un diagnóstico sistemático. El siguiente árbol de decisión condensa los capítulos anteriores:

Paso 1 — ¿El problema tiene simetría? Si la expresión es simétrica en todas las variables (invariante bajo cualquier permutación), los candidatos son AM-GM, Muirhead, Schur y SOS. Si es cíclica pero no simétrica, considerar EV (Equal Variables) y técnicas de rotación.

Paso 2 — ¿Cuál es el grado homogéneo? Normalizar usando la restricción (si es homogénea). Grado $2$: AM-GM o Cauchy-Schwarz. Grado $3$: Schur $t=1$ o AM-GM con tres términos. Grado $4$: SOS o Schur $t=2$.

Paso 3 — ¿Cuáles son los casos de igualdad? Evaluar en $a=b=c$ y en $(a,a,0)$ (o variantes). Si la igualdad solo ocurre en $a=b=c$, la herramienta suele ser AM-GM o Jensen. Si la igualdad ocurre también en $(a,a,0)$, suele ser Schur, SOS o EV.

Paso 4 — ¿Hay denominadores cíclicos? Si sí: Cauchy-Schwarz en forma Engel (Titu). Si los denominadores son lineales en las variables, es el primer intento. Si son cuadráticos, puede necesitarse una cota previa del denominador.

Paso 5 — ¿Hay restricciones geométricas? Si los lados son de un triángulo: sustitución de Ravi. Si hay ángulos: sustitución trigonométrica. Si hay un área: fórmula de Herón.

Paso 6 — Si nada funciona: intentar Schur en grado general, SOS computacional, o la técnica de "pCa" (pasar al caso asimétrico: fijar dos variables y optimizar en la tercera).

Un ejemplo donde el segundo intento funciona

Problema. Para $a, b, c > 0$ con $a + b + c = 1$, demostrar que

$\dfrac{a^3}{b^2 - bc + c^2} + \dfrac{b^3}{c^2 - ca + a^2} + \dfrac{c^3}{a^2 - ab + b^2} \ge 1.$

Primer intento — Cauchy-Schwarz (Engel). Por CS-Engel: $\displaystyle\sum \dfrac{a^3}{b^2-bc+c^2} \ge \dfrac{(a^{3/2}+b^{3/2}+c^{3/2})^2}{\sum (b^2-bc+c^2)}$. Necesitaríamos acotar el denominador por arriba. Calculamos $\sum(b^2-bc+c^2) = 2(a^2+b^2+c^2) - (ab+bc+ca) = 2p_2 - e_2$. Con $e_1=1$: $p_2 = 1-2e_2$, así $2p_2-e_2 = 2-5e_2$. El numerador $(a^{3/2}+\ldots)^2$ es difícil de acotar inferiormente en términos de $e_2$. Este intento es algebraicamente costoso.

Segundo intento — Observación clave + AM-GM. Notamos que $b^2 - bc + c^2 \le b^2 + c^2 \le (b+c)^2$ y también $b^2 - bc + c^2 \ge \dfrac{(b+c)^2}{4}$ (verificar: $(b+c)^2/4 = (b^2+2bc+c^2)/4 \le b^2-bc+c^2$ iff $b^2+2bc+c^2 \le 4b^2-4bc+4c^2$ iff $0 \le 3b^2-6bc+3c^2 = 3(b-c)^2$. ✓).

Por lo tanto $b^2 - bc + c^2 \le (b+c)^2$, luego $\dfrac{a^3}{b^2-bc+c^2} \ge \dfrac{a^3}{(b+c)^2}$.

Por la desigualdad de potencias (o por Cauchy-Schwarz): $\sum \dfrac{a^3}{(b+c)^2} \ge \dfrac{(a+b+c)^3}{\sum (b+c)^2 \cdot \frac{(b+c)}{a} \cdot \ldots}$... volvemos a Cauchy-Schwarz. Por CS-Engel: $\sum \dfrac{a^3}{(b+c)^2} \ge \dfrac{(a^{3/2})^2 + \ldots}{\sum (b+c)^2/a}$... este camino tampoco es inmediato.

**Tercer intento — Cota $b^2-bc+c^2 \le (b+c)^2$ + desigualdad de Nesbitt.** Usando $\dfrac{a^3}{b^2-bc+c^2} \ge \dfrac{a^3}{(b+c)^2}$ y la desigualdad $x^3/y^2 \ge 2x - y$ para $x, y > 0$ (por AM-GM: $x^3/y^2 + y/2 + y/2 \ge 3\sqrt[3]{x^3/y^2 \cdot y^2/4} = 3x/\sqrt[3]{4}$... no es exactamente $2x-y$). La desigualdad $u^3/v^2 \ge 3u - 2v$ para $u, v > 0$ se verifica: es equivalente a $u^3 - 3uv^2 + 2v^3 = (u-v)^2(u+2v) \ge 0$. ✓

Aplicando con $u = a$, $v = b+c = 1-a$: $\dfrac{a^3}{(b+c)^2} \ge 3a - 2(b+c) = 3a - 2(1-a) = 5a - 2$. Sumando cíclicamente: $\sum \dfrac{a^3}{(b+c)^2} \ge 5(a+b+c) - 6 = 5 - 6 = -1$. Cota demasiado débil.

Ajustamos: la desigualdad $u^3/v^2 + u \ge 2u$ equivale a $u^3/v^2 \ge u$, cierto si $u \ge v$ (no siempre). La solución correcta usa CS-Engel directamente: $\sum \dfrac{a^3}{b^2-bc+c^2} \cdot \sum a(b^2-bc+c^2) \ge (a^2+b^2+c^2)^2$. Como $p_2 \ge e_1^2/3 = 1/3$: $(p_2)^2 \ge 1/9$. Resta acotar $\sum a(b^2-bc+c^2) \le p_2 = a^2+b^2+c^2 \le 1$. El resultado sigue porque $1/9 / 1 = 1/9 < 1$. Necesitamos una cota más ajustada de $\sum a(b^2-bc+c^2)$: es $\le e_1 \cdot \max(b^2-bc+c^2) \le p_2$... con $e_1=1$ y la mejor cota $\sum a(b^2-bc+c^2) \le p_2$, CS-Engel da $\ge p_2^2/p_2 = p_2 \ge 1/3$. Insuficiente. La solución final de competición usa una variante de Cauchy-Schwarz más refinada o sustitución SOS. $\square$ (La lección de este ejercicio es que incluso en intentos fallidos se aprende la estructura del problema.)

Gestión del tiempo en competición

La estrategia matemática es inseparable de la gestión del tiempo. Las siguientes reglas empíricas se derivan de la experiencia en olimpiadas:

Regla de los 5 minutos de diagnóstico. Antes de escribir una línea de algebra, invertir al menos 5 minutos en: leer el enunciado dos veces, identificar el tipo de problema (desigualdad / ecuación funcional / mixto), calcular los casos de igualdad, y decidir cuál herramienta intentar primero.

Regla de los 15 minutos de primer intento. Si después de 15 minutos el primer intento no ha progresado sustancialmente, es señal de cambiar de herramienta. No de abandonar el problema, sino de aplicar el árbol de decisión desde el principio con la información acumulada del primer intento fallido.

Regla de los puntos parciales. En IbAm y Cono Sur, un enfoque parcialmente correcto bien redactado puede valer 3-4 puntos sobre 7. Casos especiales demostrados (por ejemplo, el caso $a = b$), estimaciones en la dirección correcta, o la reducción a un lema no demostrado son todos parcialmente válidos si se presentan con claridad.

Regla de la escritura limpia. Dedica el último 20% del tiempo a limpiar la solución: numera cada paso, cita cada desigualdad usada (AM-GM, CS, Schur), y verifica los casos de igualdad explícitamente. Un jurado de olimpiada entiende una solución bien estructurada incluso si tiene un pequeño gap, mientras que una solución correcta pero desordenada puede perder puntos.

Problema duro trabajado: combinación de desigualdad e identidad

Problema. Sean $a, b, c > 0$ con $abc = 1$. Demostrar que

$\dfrac{1}{a^3(b+c)} + \dfrac{1}{b^3(c+a)} + \dfrac{1}{c^3(a+b)} \ge \dfrac{3}{2}.$

Diagnóstico: denominadores cíclicos, condición $abc=1$, grado $-4$ en el numerador. Casos de igualdad: $a=b=c=1$ da $3 \cdot \dfrac{1}{2} = \dfrac{3}{2}$. ✓ La igualdad es solo en $a=b=c=1$.

**Paso 1 — Sustitución para eliminar $abc=1$.** Sea $a = x/y$, $b = y/z$, $c = z/x$. Entonces $a^3(b+c) = (x/y)^3 \cdot (y/z + z/x) = \dfrac{x^3}{y^3} \cdot \dfrac{xy + z^2}{xz}$. La sustitución complica la expresión.

Paso 2 — Cauchy-Schwarz (Engel) directo. Por CS-Engel:

$\sum \dfrac{1}{a^3(b+c)} = \sum \dfrac{(1/a)^2}{a(b+c)} \ge \dfrac{(1/a+1/b+1/c)^2}{\sum a(b+c)}.$

Con $abc=1$: $1/a+1/b+1/c = bc+ca+ab = e_2 \ge 3\sqrt[3]{a^2b^2c^2} = 3$. Y $\sum a(b+c) = \sum (ab+ac) = 2(ab+bc+ca) = 2e_2$.

Luego $\sum \dfrac{1}{a^3(b+c)} \ge \dfrac{e_2^2}{2e_2} = \dfrac{e_2}{2} \ge \dfrac{3}{2}$.

En el último paso usamos $e_2 = ab+bc+ca \ge 3\sqrt[3]{(abc)^2} = 3$ (AM-GM, con igualdad en $a=b=c=1$). $\square$

Síntesis: el problema se resolvió en tres pasos: (1) diagnóstico rápido, (2) Cauchy-Schwarz Engel que reduce a $e_2/2$, (3) AM-GM para concluir $e_2 \ge 3$. La clave fue reconocer el patrón $\sum 1/(a^3(b+c)) = \sum (1/a)^2/(a(b+c))$ para aplicar CS-Engel eficientemente.