Contraejemplo
Un contraejemplo es un caso específico que refuta un enunciado general al mostrar que falla en al menos un caso.
Definition
Un contraejemplo es un ejemplo específico que demuestra que un enunciado es falso; solo necesitas un caso donde la regla se rompa para refutar una afirmación de "para todo." Formalmente, un contraejemplo a "Para todo $x$, $P(x)$" es un valor específico $x_0$ tal que $P(x_0)$ es falso, y un contraejemplo refuta completamente una afirmación universal. En teoría de modelos, una estructura que satisface la negación de un enunciado es un modelo contraejemplo; la construcción de contraejemplos es una técnica de investigación importante, y cada "hipótesis" en el enunciado de un teorema típicamente existe porque algún contraejemplo muestra que no puede eliminarse.
Example
Enunciado: "Todos los números primos son impares." Contraejemplo: $2$ es primo y par, un ejemplo basta para refutar todo el enunciado. Considera la conjetura "$f'(x) = 0$ en un punto crítico implica un extremo local": el contraejemplo $f(x) = x^3$ en $x = 0$ tiene $f'(0) = 0$ pero $x = 0$ es un punto de inflexión, ni un máximo ni un mínimo. La función de Weierstrass (continua pero no diferenciable en ningún punto) fue un contraejemplo a la intuición de que las funciones continuas son diferenciables casi en todas partes, y la paradoja de Banach-Tarski, usando el Axioma de Elección, es un contraejemplo a la intuición de que los movimientos rígidos preservan el volumen.
Key Insight
En matemáticas, demostrar que algo es verdadero requiere mostrar que funciona para TODOS los casos, pero refutarlo solo requiere encontrar UN caso donde falle, así que siempre intenta encontrar un contraejemplo antes de intentar una demostración. Los contraejemplos patológicos revelan los límites de la intuición y motivan las condiciones precisas en los teoremas.