La Trampa Puntual

Teoría

La Trampa Puntual es un error lógico común y también una técnica específica para resolver ecuaciones funcionales. Surge cuando deduces una propiedad que funciona para cada elemento individual del dominio, pero asumes por error que esa propiedad se cumple de forma uniforme para todo el dominio. Por ejemplo, si llegas a la ecuación $f(x)^2 = x^2$, esto implica que para cualquier $x_0$ específico, $f(x_0) = x_0$ o $f(x_0) = -x_0$. La "trampa" es concluir antes de tiempo que o bien $f(x)=x$ para toda $x$, o bien $f(x)=-x$ para toda $x$. En realidad, la función podría teóricamente "saltar" entre estos valores (por ejemplo, $f(x)=x$ para las $x$ racionales y $f(x)=-x$ para las $x$ irracionales), a menos que haya otras restricciones que lo impidan.

Este concepto es crucial en competencias avanzadas como la USAMO o la IMO, porque muchas ecuaciones funcionales terminan siendo una disyunción puntual. Para resolver estos problemas con rigor, tienes que demostrar que la función no puede andar saltando entre diferentes ramas. Esto normalmente lo logras con un "argumento de mezcla". La idea es suponer por contradicción que existen dos puntos, digamos $a$ y $b$, donde la función sigue reglas distintas (por ejemplo, $f(a)=a