Construcciones y contra-ejemplos en álgebra olímpica

La dualidad construcción/demostración en álgebra IMO

Muchos problemas IMO de álgebra tienen la forma: "¿Es cierto que para toda función $f$ con propiedad $P$, se cumple $Q$?" o equivalentemente "Encuentra todas las $f$ con propiedad $P$ tal que $Q$". En ambos casos, el trabajo se divide en dos partes:

(a) Construcción (existencia). Exhibir explícitamente un objeto que satisfaga las propiedades pedidas. En álgebra, esto significa: dar una fórmula para $f$, o una sucesión, o un polinomio. No basta decir "existe": hay que construir y verificar.

(b) Demostración (unicidad o completitud). Mostrar que los objetos construidos son todos los que satisfacen las condiciones, o que no hay objetos con ciertas propiedades (imposibilidad).

Un contraejemplo es una construcción especial: un objeto que satisface las hipótesis pero no la conclusión. Para refutar "toda $f$ con propiedad $P$ satisface $Q$", basta una $f$ con $P$ pero sin $Q$.

La habilidad de construir contraejemplos es tan importante como la de demostrar: ahorra tiempo (si la afirmación es falsa, no hay que buscar una demostración) y entrena la intuición sobre qué es verdadero.

Técnicas de construcción en ecuaciones funcionales

Construcción por forma paramétrica. Si se busca $f$ con $f(x+y) = h(f(x), f(y))$ para alguna $h$ conocida, ensaya $f(x) = ax+b$, $f(x) = e^{cx}$, $f(x) = x^c$, $f(x) = \sin(cx)$. La familia correcta se determina por la forma de $h$.

Construcción por restricción al dominio. Si el dominio es $\mathbb{Z}$ o $\mathbb{Q}$, construye $f$ primero en los enteros/racionales y extiende. Por ejemplo, para $f:\mathbb{Z}\to\mathbb{Z}$ con $f(m+n)f(m-n)=f(m)^2-f(n)^2$: ensaya $f(n) = cn$; verificación: $c(m+n)\cdot c(m-n) = c^2(m^2-n^2) = (cm)^2 - (cn)^2$. Funciona para cualquier $c\in\mathbb{Z}$.

Construcción por partición del dominio. Para construir funciones "exóticas" (no continuas, no monótonas), define $f$ de forma diferente en distintos subconjuntos. Ejemplo: $f(x) = x$ para $x\in\mathbb{Q}$, $f(x) = -x$ para $x\in\mathbb{R}\setminus\mathbb{Q}$. Esta función satisface $f(f(x))=x$ en todo $\mathbb{R}$, es una involución no lineal.

Construcción inductiva/recursiva. Define $f(0)$ libremente, luego extiende usando la ecuación funcional. La construcción funciona si la ecuación no crea contradicciones (consistencia). Por ejemplo, en $f(2x)=f(x)+1$: define $f(1)=0$, luego $f(2)=1$, $f(4)=2$, $f(1/2)=-1$, etc. Para $x$ no de la forma $2^n$, $f$ puede definirse libremente — mostrando que la ecuación no determina $f$ en todo $\mathbb{R}$.

Construcción por análisis del grafo. La ecuación $f(x+y)+f(x-y)=2f(x)f(y)$ dice que si $(x,f(x))$ y $(y,f(y))$ están en el grafo, también $(x+y, ?)$ está relacionado con el producto. Las soluciones coseno, cosh y la función nula son las únicas compatibles con la estructura de grupo de $(\mathbb{R},+)$.

Contraejemplos en desigualdades y polinomios

Contraejemplos en desigualdades. Para refutar "$f(a,b,c) \geq 0$ para todo $a,b,c > 0$", basta encontrar $a_0, b_0, c_0 > 0$ con $f(a_0,b_0,c_0) < 0$. Las elecciones más productivas:

(i) Valores extremos: $a=1$, $b=c=\epsilon$ con $\epsilon\to 0^+$. Muchas desigualdades falsas se "rompen" cuando una variable es mucho más pequeña que las otras.

(ii) Valores grandes: $a=M$, $b=c=1$ con $M\to\infty$. Si la desigualdad tiene exponentes diferentes en cada variable, los crecimientos asintóticos diferentes revelan la falsedad.

(iii) Valores racionales simples: $a=2$, $b=1$, $c=1$. Si el contraejemplo existe, a menudo se puede encontrar con enteros pequeños.

Contraejemplos en polinomios. Si se afirma que un polinomio $P(x)$ con propiedades $\mathcal{P}$ siempre satisface $Q$, el contraejemplo es un polinomio $P_0$ con $\mathcal{P}$ pero sin $Q$. Estrategia: ensaya $P_0(x) = x^n$, $P_0(x) = x^n - 1$, $P_0(x) = x(x-1)(x-2)\cdots(x-k)$. Estos polinomios "canónicos" cubren muchos casos.

El método del azar controlado. Para problemas de existencia difíciles, una técnica poderosa es el método probabilístico: demostrar que un objeto aleatorio tiene las propiedades deseadas con probabilidad positiva. En álgebra olímpica, esto se aplica a la existencia de polinomios con raíces en ciertos conjuntos o de funciones con valores prescritos en finitos puntos.

Análisis de la falsedad: cuándo sospechar un contraejemplo

Desarrollar el instinto de falsabilidad es crucial para no perder tiempo buscando demostraciones de afirmaciones falsas. Las señales de que una afirmación puede ser falsa:

(1) Asimetría oculta. Si la afirmación parece simétrica en sus variables pero la hipótesis no lo es, probablemente hay una configuración asimétrica que es contraejemplo.

(2) Condiciones de borde tensas. Si la afirmación pide "$f(x) \geq 0$ para todo $x > 0$" pero experimentalmente $f(x) \to 0^-$ cuando $x\to 0^+$, el contraejemplo está cerca del origen.

(3) Falta de estabilidad bajo perturbación. Si la afirmación "funciona" solo en casos muy especiales (igualdad perfecta) pero no parece robusta cuando perturbes los parámetros, es sospechosa.

(4) Incompatibilidad de grados. En polinomios, si la hipótesis es $\deg P = n$ y la conclusión requiere algo de grado $< n$, hay tensión que puede producir contraejemplos para $n$ grande.

Por otro lado, señales de que una afirmación probablemente es verdadera: (a) todos los casos pequeños verificados funcionan; (b) hay una estructura algebraica clara (grupo, anillo) que "fuerza" el resultado; (c) la afirmación es un caso especial de un teorema conocido más general.

Regla práctica. En una olimpiada, si después de 10 minutos no has encontrado contraejemplo ni idea de demostración, invierte 5 minutos en buscar contraejemplos sistemáticamente (valores extremos, $n=1,2,3$) antes de continuar con la demostración.

Problema resuelto: construcción de soluciones y verificación de unicidad

Problema (ISL 2012, A1). Halla todas las funciones $f: \mathbb{Z} \to \mathbb{Z}$ tales que para todos $m, n \in \mathbb{Z}$: $f(m-n)\cdot f(m+n) = f(m)^2 - f(n)^2$.

Análisis. La ecuación recuerda la identidad trigonométrica $\sin(m-n)\sin(m+n) = \sin^2 m - \sin^2 n$, pero sobre $\mathbb{Z}$.

Paso 1. $m=n=0$: $f(0)^2 = 0$, luego $f(0) = 0$.

Paso 2. $m=0$: $f(-n)f(n) = -f(n)^2$, luego $f(-n) = -f(n)$ si $f(n)\neq 0$. Si $f(n)=0$: $f(-n)f(n) = 0 = -f(n)^2 = 0$, consistente con cualquier $f(-n)$. Pero la ecuación también da con $n=0$: $f(m)f(m) = f(m)^2 - 0 = f(m)^2$, tautología. Con $m=n$: $f(0)f(2m) = 0$, consistente.

Paso 3. Ensayamos $f(n) = cn$ para $c\in\mathbb{Z}$: $c(m-n)\cdot c(m+n) = c^2(m^2-n^2) = (cm)^2 - (cn)^2 = f(m)^2-f(n)^2$. ✓ También $f\equiv 0$ funciona.

Paso 4 (unicidad). Si $f$ satisface la ecuación y $f(1) = c$, mostramos $f(n)=cn$ para todo $n\geq 0$ por inducción. Usando $f(m-n)f(m+n)=f(m)^2-f(n)^2$ con $n=1$: $f(m-1)f(m+1) = f(m)^2-c^2$. Si $f(m-1)=c(m-1)$ y $f(m)=cm$, entonces $f(m+1) = (c^2m^2-c^2)/(c(m-1)) = c(m+1)$ (siempre que $m\neq 1$ o $c\neq 0$). La inducción se completa verificando el caso base y el caso $c=0$. Las soluciones son $f(n)=cn$ para $c\in\mathbb{Z}$. $\blacksquare$