Teorema del valor intermedio
Una verdad geométricamente obvia... pero matemáticamente profunda
El Teorema del Valor Intermedio (TVI) dice algo que parece evidente: si una función continua vale 3 en un punto y 7 en otro, en algún lugar intermedio tiene que valer 5 (o cualquier número entre 3 y 7). Si conectas dos puntos con una curva sin levantar el lápiz, la curva tiene que cruzar cada altura intermedia.
Pero demostrar esto rigurosamente es otra historia. Y sus consecuencias son mucho más potentes de lo que parece a primera vista.
Enunciado formal
Teorema del Valor Intermedio: Sea f continua en el intervalo cerrado [a, b]. Si k es cualquier valor entre f(a) y f(b), es decir:
min(f(a), f(b)) ≤ k ≤ max(f(a), f(b))
entonces existe al menos un número c ∈ (a, b) tal que f(c) = k.
Corolario: garantía de raíces
Si f es continua en [a, b] y f(a) y f(b) tienen signos opuestos (uno positivo, otro negativo), entonces existe al menos un c ∈ (a, b) tal que f(c) = 0.
En otras palabras: si la función cambia de signo en un intervalo, tiene al menos una raíz ahí.
Aplicaciones para encontrar raíces
Ejemplo 1 — Verificar que una ecuación tiene solución
¿Tiene f(x) = x³ − x − 2 alguna raíz en [1, 2]?
f(1) = 1 − 1 − 2 = −2 < 0
f(2) = 8 − 2 − 2 = 4 > 0
f es continua (polinomio), y cambia de signo en [1, 2]. Por el TVI, existe c ∈ (1, 2) tal que f(c) = 0.
Ejemplo 2 — Método de bisección
El TVI es la base del método de bisección, uno de los algoritmos más sencillos para aproximar raíces numéricamente. Se divide el intervalo a la mitad, se evalúa el signo en el punto medio, y se repite con la mitad que contiene el cambio de signo:
[1, 2]: f(1.5) = 3.375 − 1.5 − 2 = −0.125 < 0
→ raíz en [1.5, 2]
f(1.75) = 5.359 − 1.75 − 2 = 1.609 > 0
→ raíz en [1.5, 1.75]
...
Convergiendo hacia c ≈ 1.5214.
Otros usos del Teorema del Valor Intermedio
Existencia de puntos fijos
Si f: [0,1] → [0,1] es continua, entonces existe x₀ ∈ [0,1] tal que f(x₀) = x₀ (punto fijo). Demostración: define g(x) = f(x) − x. g(0) = f(0) ≥ 0 y g(1) = f(1)−1 ≤ 0. Por TVI, g(c) = 0 para algún c, es decir f(c) = c.
Problema de los hemisferios
Si en cualquier instante existe una línea ecuatorial en la Tierra donde la temperatura sea exactamente la misma a ambos lados opuestos, se puede demostrar mediante el TVI.
En economía
Si un bien cuesta 10€ un día y 15€ a la semana, y el precio varía de forma continua, en algún momento costó exactamente 12.50€.
Advertencia: el TVI garantiza existencia, no unicidad
El teorema dice que existe al menos un c, pero puede haber varios. Por ejemplo, sen(x) = 0.5 tiene infinitas soluciones en [0, ∞).
Tampoco dice dónde está c exactamente. Para encontrar la raíz con precisión, se necesitan métodos numéricos como bisección, Newton-Raphson o la regula falsi.
Resumen
f continua en [a, b] + f(a) y f(b) de signos opuestos
↓
Existe c ∈ (a, b) tal que f(c) = 0
El TVI es una herramienta de existencia: certifica que hay una solución sin calcularla exactamente. Es uno de los teoremas que más se usa en matemáticas aplicadas y análisis numérico.