Patrones recurrentes en problemas IbAm y Cono Sur

Los cinco patrones dominantes

Después de revisar los problemas de álgebra de las olimpiadas Iberoamericana (IbAm) y Cono Sur de los últimos quince años, se distinguen cinco patrones que cubren el $80\%$ de los problemas:

Patrón 1 — Desigualdad simétrica normalizada. Se pide probar $f(a,b,c) \ge k$ (o $\le k$) con $a + b + c = 1$ (o $= 3$) y $a, b, c \ge 0$. La herramienta es AM-GM, Cauchy-Schwarz, Schur o EV según la estructura de $f$.

**Patrón 2 — Condición $abc = 1$.** Las variables son positivas con producto fijo. La sustitución $a = x/y$, $b = y/z$, $c = z/x$ elimina la restricción. Alternativamente, AM-GM con $abc = 1$ da $a + b + c \ge 3$.

Patrón 3 — Sistema con suma y producto. Se conocen $s = a + b$ y $p = ab$ (o su variante con tres variables). La estrategia es trabajar con $e_1, e_2, e_3$ y aplicar las desigualdades $e_2 \le e_1^2/3$ (AM-GM) y Schur para $e_3$.

Patrón 4 — Desigualdad con fracciones cíclicas. Expresiones de la forma $\sum_{\text{cíc}} \dfrac{a}{b+c}$ o $\sum \dfrac{a^2}{b+c}$. La herramienta central es Cauchy-Schwarz (Engel/Titu) o la desigualdad de Nesbitt.

Patrón 5 — Existencia y construcción. El problema pide hallar todos los reales (o enteros) que satisfacen un sistema de ecuaciones con restricciones. La estrategia es escribir el sistema en términos de $e_k$, acotar $e_k$ con desigualdades, y encontrar los puntos de igualdad.

Diagnóstico rápido: lectura táctica del enunciado

Al leer un problema de álgebra de IbAm o Cono Sur, aplica en orden este diagnóstico de tres pasos:

Paso 1 — ¿Cuál es la estructura de la expresión? Homogénea (mismo grado en todos los términos) o no homogénea. Si es homogénea, se puede normalizar sin pérdida de generalidad.

Paso 2 — ¿Cuáles son los casos de igualdad? Evalúa la expresión en $a = b = c$ y en $(a, a, 0)$ (o $(1, 0, 0)$). Esto sugiere qué desigualdad usar: si la igualdad es solo en $a = b = c$, es AM-GM o Jensen; si también hay igualdad en $(a, a, 0)$, es Schur o EV.

Paso 3 — ¿La expresión tiene denominadores? Si hay denominadores cíclicos ($b + c$, $1 + a$, $b^2 + c$), la primera herramienta a intentar es Cauchy-Schwarz en forma Engel.

Ejemplo de diagnóstico. Problema: para $a, b, c > 0$ con $a + b + c = 1$, probar que $\dfrac{a^2+b^2}{a+b} + \dfrac{b^2+c^2}{b+c} + \dfrac{c^2+a^2}{c+a} \ge 1$.\nDiagnóstico: expresión con denominadores cíclicos; evaluar en $a = b = c = 1/3$ da $1$ (igualdad), en $(1/2, 1/2, 0)$ da $1/2 + 1/2 + 1/2 =$ ... verificar. Herramienta sugerida: Cauchy-Schwarz o simplificación de $\dfrac{a^2+b^2}{a+b} \ge \dfrac{a+b}{2}$ (por QM-AM). Sumando: $\sum \dfrac{a^2+b^2}{a+b} \ge \sum \dfrac{a+b}{2} = \dfrac{2(a+b+c)}{2} = 1$. $\square$

Patrón 1 en detalle: desigualdad simétrica normalizada

La gran mayoría de desigualdades en IbAm son **homogéneas de grado $\le 4$** con tres variables. Una vez reconocido el grado y los casos de igualdad, el árbol de decisión es:

Grado 2: AM-GM directo o Cauchy-Schwarz.

Grado 3: si la igualdad es solo $a = b = c$, usar AM-GM. Si la igualdad incluye $(a, a, 0)$, es Schur $t = 1$ o SOS.

Grado 4: SOS con coeficientes lineales, o Schur $t = 2$. Si hay términos $a^2b^2$, intentar AM-GM por parejas.

Ejemplo modelo (IbAm 2003, P1). Para $a, b, c \ge 0$ con $a + b + c = 1$, probar $a^2 + b^2 + c^2 + 2abc \ge \dfrac{1}{3}$. Casos de igualdad: $a = b = c = 1/3$ (verificar: $3 \cdot 1/9 + 2/27 = 1/3 + 2/27 = 9/27 + 2/27 = 11/27 > 1/3$). Espera: $1/3 = 9/27$ y $11/27 > 9/27$. ✓ Igualdad: en $a = b = c = 1/3$ la expresión vale $11/27 > 1/3$. El mínimo se alcanza en $(1/2, 1/2, 0)$: $1/4 + 1/4 + 0 + 0 = 1/2 > 1/3$. Y en $(1, 0, 0)$: $1 + 0 + 0 + 0 = 1 > 1/3$. El mínimo es en $a = b = c = 1/3$: $11/27 \approx 0.407$. Cota pedida $1/3 \approx 0.333$. La herramienta: $a^2+b^2+c^2 \ge \dfrac{(a+b+c)^2}{3} = \dfrac{1}{3}$ por Cauchy-Schwarz, y $2abc \ge 0$. Suma: $a^2+b^2+c^2+2abc \ge \dfrac{1}{3}+0 = \dfrac{1}{3}$. $\square$

Patrón 2 en detalle: condición $abc = 1$

Cuando el enunciado dice "$a, b, c > 0$ con $abc = 1$", las herramientas estándar son:

(1) **Sustitución $a = x/y$, $b = y/z$, $c = z/x$**: elimina la restricción. La expresión se reescribe en $x, y, z > 0$ sin restricciones.

(2) AM-GM directa: $a + b + c \ge 3\sqrt[3]{abc} = 3$. De modo similar, $\dfrac{1}{a} + \dfrac{1}{b} + \dfrac{1}{c} = \dfrac{ab+bc+ca}{abc} = ab+bc+ca \ge 3$.

(3) Paso a logaritmos: si la desigualdad involucra $\ln a + \ln b + \ln c = 0$, se puede usar Jensen con la función $\ln$ o $\exp$.

Ejemplo (Cono Sur 2016, P2). Para $a, b, c > 0$ con $abc = 1$, probar que $\dfrac{a^2}{b+c} + \dfrac{b^2}{c+a} + \dfrac{c^2}{a+b} \ge \dfrac{3}{2}$.

Por Cauchy-Schwarz (Engel): $\displaystyle\sum \dfrac{a^2}{b+c} \ge \dfrac{(a+b+c)^2}{2(a+b+c)} = \dfrac{a+b+c}{2} \ge \dfrac{3\sqrt[3]{abc}}{2} = \dfrac{3}{2}$. $\square$ La desigualdad de Nesbitt/Cauchy es suficiente; no se necesita la condición $abc = 1$ más que para la última cota AM-GM.

Patrón 4 en detalle: fracciones cíclicas y Nesbitt

La desigualdad de Nesbitt es la piedra de toque de las fracciones cíclicas:

$\dfrac{a}{b+c} + \dfrac{b}{c+a} + \dfrac{c}{a+b} \ge \dfrac{3}{2}$ para $a, b, c > 0$.

Demostración estándar: sumamos $1$ a cada fracción: $\sum \dfrac{a}{b+c} + 3 = \sum \dfrac{a+b+c}{b+c} = (a+b+c) \sum \dfrac{1}{b+c}$. Por AM-HM: $\dfrac{1}{b+c} + \dfrac{1}{c+a} + \dfrac{1}{a+b} \ge \dfrac{9}{2(a+b+c)}$. Luego $(a+b+c) \cdot \dfrac{9}{2(a+b+c)} = \dfrac{9}{2}$. Restando $3$: $\ge \dfrac{9}{2} - 3 = \dfrac{3}{2}$. $\square$

Generalizaciones frecuentes en IbAm: $\sum \dfrac{a^k}{b+c} \ge \dfrac{3}{2}\left(\dfrac{a+b+c}{3}\right)^{k-1}$ para $k \ge 1$. La prueba usa Cauchy-Schwarz en la forma de Engel: $\sum \dfrac{a^k}{b+c} = \sum \dfrac{(a^{k/2})^2 \cdot a^{k-k}}{\ldots}$ o directamente por la desigualdad de potencias.

Señal de alerta: si el denominador no es $b+c$ sino $b^2+c$ o $b+c^2$, Nesbitt no aplica directamente. En ese caso hay que usar Cauchy-Schwarz en forma matricial o estimar el denominador.