1. Enunciado Fundamental del Teorema de Bolzano
Si una función \( f(x) \) es continua en un intervalo cerrado \( [a, b] \) y toma valores de signos opuestos en los extremos (\( f(a) \cdot f(b) < 0 \)), entonces existe al menos un punto \( c \in (a, b) \) tal que \( f(c) = 0 \):
\[ f(a) \cdot f(b) < 0 \implies \exists c \in (a, b) \text{ tal que } f(c) = 0 \]Demostremos que la ecuación \( x^3 + 2x - 5 = 0 \) posee al menos una raíz real en el intervalo \([1, 2]\):
Definimos \( f(x) = x^3 + 2x - 5 \), que es polinómica y por ende continua en \([1, 2]\). Evaluamos los extremos:
Al verificarse \( f(1) \cdot f(2) < 0 \), por el Teorema de Bolzano existe al menos un \( c \in (1, 2) \) con \( f(c) = 0 \).
2. Ejemplos Prácticos
Demostrar que \( x^3 + 2x - 1 = 0 \) tiene una solución en \( [0, 1] \).
\( f(0) = -1 < 0 \), \( f(1) = 2 > 0 \). Continua en \( [0, 1] \) con cambio de signo \( \implies \exists c \in (0, 1) \) con \( f(c) = 0 \).
\( \cos x = x \iff f(x) = \cos x - x = 0 \) en \( [0, \pi/2] \). \( f(0)=1 > 0 \), \( f(\pi/2) = -\pi/2 < 0 \implies \) Se cortan.
\( f'(x) = 3x^2 + 2 > 0 \) para todo \( x \implies f \) es estrictamente creciente \( \implies \) La solución es única.