Inducción en problemas IbAm y Cono Sur

¿Cuándo usar inducción y cuándo álgebra directa?

La inducción es la herramienta indicada cuando el enunciado tiene un **parámetro entero $n$** que crece y la estructura del problema para $n+1$ se reduce naturalmente al caso $n$. Las señales en el enunciado son: "para todo entero $n \ge 1$", "para $n$ números reales positivos", "una sucesión de $n$ términos", o "demostrar que para todo $k \in \mathbb{Z}_{>0}$".

La manipulación algebraica directa es preferible cuando el enunciado involucra un número fijo de variables (usualmente 2 o 3) y herramientas como AM-GM, Cauchy-Schwarz o Schur se aplican directamente. Si el número de variables es fijo, la inducción raramente es la ruta más corta.

Señales de que la inducción es la ruta equivocada: (i) el enunciado dice "$a, b, c > 0$" sin generalizar a $n$ variables, (ii) la desigualdad es homogénea de grado fijo y las técnicas clásicas aplican, (iii) intentar el paso inductivo añade una variable sin estructura clara.

Señales de que la inducción es la ruta correcta: (i) la demostración necesita usar el caso con $n-1$ variables para construir el caso de $n$ variables, (ii) la identidad tiene una estructura telescópica, (iii) el problema pide el resultado para toda potencia de $2$ (inducción en la potencia) o para todo $n$ donde la base $n=1$ o $n=2$ es trivial.

Ejemplo 1 — Desigualdad por inducción: AM-GM para $n$ variables

Enunciado. Para $n \ge 1$ y $x_1, x_2, \ldots, x_n > 0$, demostrar que

$\dfrac{x_1 + x_2 + \cdots + x_n}{n} \ge \sqrt[n]{x_1 x_2 \cdots x_n}.$

Estrategia. Usamos la demostración de Cauchy (inducción hacia adelante y hacia atrás):

Paso A — Inducción hacia adelante para potencias de 2. Base $n=2$: $\dfrac{x_1+x_2}{2} \ge \sqrt{x_1 x_2}$, equivalente a $(\sqrt{x_1}-\sqrt{x_2})^2 \ge 0$. $\checkmark$ Paso $n \to 2n$: dado el resultado para $n$ variables, sean $A = (x_1+\cdots+x_n)/n$ y $B=(x_{n+1}+\cdots+x_{2n})/n$. Entonces $(x_1+\cdots+x_{2n})/(2n) = (A+B)/2 \ge \sqrt{AB} \ge \sqrt{(x_1\cdots x_n)^{1/n}(x_{n+1}\cdots x_{2n})^{1/n}} = (x_1 \cdots x_{2n})^{1/(2n)}$. Por el paso base y la hipótesis inductiva. $\checkmark$

Paso B — Inducción hacia atrás (de $n$ a $n-1$). Supuesto el resultado para $n$ variables, sean $x_1, \ldots, x_{n-1} > 0$ y sea $x_n = \dfrac{x_1+\cdots+x_{n-1}}{n-1} =: M_{n-1}$. Aplicando AM-GM a $n$ variables: $M_{n-1} = \dfrac{x_1+\cdots+x_{n-1}+x_n}{n} \ge (x_1 \cdots x_{n-1} \cdot M_{n-1})^{1/n}$. Elevando a la $n$: $M_{n-1}^n \ge x_1 \cdots x_{n-1} \cdot M_{n-1}$. Dividiendo por $M_{n-1}$: $M_{n-1}^{n-1} \ge x_1 \cdots x_{n-1}$, es decir $M_{n-1} \ge (x_1 \cdots x_{n-1})^{1/(n-1)}$. $\square$

Esta demostración ilustra el uso combinado de inducción hacia adelante (para potencias de 2) e inducción hacia atrás (para rellenar los valores intermedios), una técnica característica de los problemas IbAm de nivel 3-4.

Ejemplo 2 — Identidad algebraica por inducción

Enunciado (estilo IbAm). Para todo $n \ge 1$, demostrar la identidad:

$\sum_{k=1}^{n} k \cdot k! = (n+1)! - 1.$

Demostración. Procedemos por inducción débil sobre $n$.

**Base $n=1$:** $\sum_{k=1}^{1} k \cdot k! = 1 \cdot 1 = 1$ y $(1+1)!-1 = 2-1 = 1$. $\checkmark$

Hipótesis inductiva: supongamos que $\displaystyle\sum_{k=1}^{n} k \cdot k! = (n+1)! - 1$ para cierto $n \ge 1$.

Paso inductivo: $\displaystyle\sum_{k=1}^{n+1} k \cdot k! = \left(\sum_{k=1}^{n} k \cdot k!\right) + (n+1)(n+1)! = (n+1)!-1 + (n+1)(n+1)!$. Factorizando: $= (n+1)!(1+(n+1)) - 1 = (n+1)! \cdot (n+2) - 1 = (n+2)! - 1$. $\square$

La clave del paso inductivo fue reconocer que $k \cdot k! = (k+1)! - k!$, lo que transforma la suma en telescópica. Esta observación hubiera dado una demostración directa: $\sum_{k=1}^n k \cdot k! = \sum_{k=1}^n ((k+1)!-k!) = (n+1)!-1!=(n+1)!-1$. Esto ilustra que en identidades con suma, siempre conviene buscar si hay una telescopización antes de recurrir a la inducción.

Cómo estructurar una solución por inducción en un examen olímpico

En las olimpiadas, la presentación de una demostración inductiva sigue un protocolo que los jueces esperan explícitamente:

(1) **Declarar la propiedad $P(n)$** con precisión matemática, no solo en palabras. Ejemplo: "$P(n)$: para todo $x_1, \ldots, x_n > 0$, se tiene $\dfrac{x_1+\cdots+x_n}{n} \ge (x_1 \cdots x_n)^{1/n}$."

(2) Indicar el tipo de inducción (débil, fuerte, hacia atrás) y los casos base que se verificarán.

(3) Verificar explícitamente los casos base con todos los cálculos, aunque sean triviales.

(4) Enunciar la hipótesis de inducción de forma precisa antes del paso inductivo.

(5) El paso inductivo debe indicar claramente dónde se usa la hipótesis. Una frase como "por hipótesis inductiva" o "aplicando $P(n)$" señala el lugar exacto.

(6) Conclusión: cerrar con "Por el principio de inducción matemática, $P(n)$ es verdadera para todo $n \ge 1$." y el símbolo $\square$.

Un error frecuente de los competidores es verificar solo $n=1$ y $n=2$ y asumir que el patrón es obvio. Los jueces descuentan puntos si el paso inductivo no es explícito aunque la identidad base sea correcta.