K
Análisis 2021 Navarra

Continuidad y Teorema de Bolzano con funciones logarítmicas

Se considera la función $f(x) = \log_2 \left[ \sin \frac{\pi (x+1)}{4} + 2^{\frac{x-5}{2}} \right]$. a) Demuestra que la función es continua en el intervalo $[6, 7]$. (1 punto) b) Demuestra que existe un valor $\alpha \in (6, 7)$ tal que $f(\alpha) = 0$. Enuncia el/los resulatdo(s) teórico(s) utilizado(s), y justifica su uso. (1.5 puntos)
Paso 1
Análisis de la composición de funciones
**a) Demuestra que la función es continua en el intervalo $[6, 7]$.** Para analizar la continuidad de $f(x)$, observamos que es una función compuesta de la forma $f(x) = \log_2(g(x))$, donde: $$g(x) = \sin \left( \frac{\pi (x+1)}{4} \right) + 2^{\frac{x-5}{2}}$$ La función $g(x)$ es la suma de dos funciones: 1. Una función trigonométrica: $s(x) = \sin \left( \frac{\pi (x+1)}{4} \right)$, que es continua en todo $\mathbb{R}$ por ser composición de una función lineal y el seno. 2. Una función exponencial: $e(x) = 2^{\frac{x-5}{2}}$, que es continua en todo $\mathbb{R}$ por ser una función exponencial con exponente lineal. Al ser suma de funciones continuas, **$g(x)$ es continua en todo $\mathbb{R}$** y, por tanto, en el intervalo $[6, 7]$. 💡 **Tip:** Recuerda que la función logaritmo $\log_a(u)$ es continua siempre que su argumento sea estrictamente positivo ($u \gt 0$).
Paso 2
Estudio del dominio del logaritmo en el intervalo
Para que $f(x) = \log_2(g(x))$ sea continua en $[6, 7]$, debemos asegurar que el argumento del logaritmo sea positivo ($g(x) \gt 0$) para todo $x \in [6, 7]$. Analicemos los valores de los sumandos en dicho intervalo: - El término exponencial $2^{\frac{x-5}{2}}$ es siempre positivo. En el intervalo $[6, 7]$, su valor mínimo se alcanza en $x=6$: $$2^{\frac{6-5}{2}} = 2^{1/2} = \sqrt{2} \approx 1,414$$ - El término trigonométrico $\sin \left( \frac{\pi (x+1)}{4} \right)$ oscila entre $-1$ y $1$. Dado que $\sqrt{2} \gt 1$, la suma siempre será positiva: $$g(x) \ge -1 + \sqrt{2} \approx 0,414 \gt 0$$ Como $g(x)$ es continua y positiva en $[6, 7]$, la función $f(x) = \log_2(g(x))$ es continua en dicho intervalo por ser composición de funciones continuas en sus dominios. $$\boxed{\text{f(x) es continua en } [6, 7]}$$
Paso 3
Enunciado del Teorema de Bolzano
**b) Demuestra que existe un valor $\alpha \in (6, 7)$ tal que $f(\alpha) = 0$. Enuncia el/los resulatdo(s) teórico(s) utilizado(s), y justifica su uso.** Para demostrar la existencia de una raíz en un intervalo, utilizaremos el **Teorema de Bolzano**. **Teorema de Bolzano:** Sea $f(x)$ una función continua en un intervalo cerrado $[a, b]$. Si los signos de la función en los extremos son distintos (es decir, $f(a) \cdot f(b) \lt 0$), entonces existe al menos un punto $\alpha \in (a, b)$ tal que $f(\alpha) = 0$. 💡 **Tip:** Este teorema garantiza la existencia de al menos una solución a la ecuación $f(x)=0$ (punto de corte con el eje OX) si hay cambio de signo en un intervalo de continuidad.
Paso 4
Evaluación de la función en los extremos del intervalo
Ya hemos demostrado en el apartado anterior que $f(x)$ es continua en $[6, 7]$. Ahora calculamos los valores en los extremos: Para $x=6$: $$f(6) = \log_2 \left[ \sin \frac{\pi (6+1)}{4} + 2^{\frac{6-5}{2}} \right] = \log_2 \left[ \sin \frac{7\pi}{4} + \sqrt{2} \right]$$ Sabemos que $\sin \frac{7\pi}{4} = -\frac{\sqrt{2}}{2}$: $$f(6) = \log_2 \left[ -\frac{\sqrt{2}}{2} + \sqrt{2} \right] = \log_2 \left[ \frac{\sqrt{2}}{2} \right] = \log_2 (2^{1/2} \cdot 2^{-1}) = \log_2 (2^{-1/2}) = -\frac{1}{2} \lt 0$$ Para $x=7$: $$f(7) = \log_2 \left[ \sin \frac{\pi (7+1)}{4} + 2^{\frac{7-5}{2}} \right] = \log_2 \left[ \sin (2\pi) + 2^1 \right]$$ Como $\sin(2\pi) = 0$: $$f(7) = \log_2 [ 0 + 2 ] = \log_2 (2) = 1 \gt 0$$ $$\boxed{f(6) = -0,5 \quad \text{y} \quad f(7) = 1}$$
Paso 5
Aplicación del teorema y conclusión
Resumimos las condiciones aplicadas: 1. $f(x)$ es **continua** en $[6, 7]$ (demostrado en el apartado a). 2. $f(6) = -0,5 \lt 0$ y $f(7) = 1 \gt 0$, por lo que existe un **cambio de signo** en los extremos del intervalo. Por el Teorema de Bolzano, existe al menos un valor $\alpha \in (6, 7)$ tal que $f(\alpha) = 0$. $$\boxed{\exists \alpha \in (6, 7) : f(\alpha) = 0}$$
Vista Previa