Existencia de un valor de la derivada (Teorema de Bolzano)

**Demuestra que existe $\alpha \in (1, e)$ tal que $f' (\alpha)= e+ 1$, siendo $f(x) = (x + e^x - e)^{\frac{x}{2}}$.** Para que la función $f(x)$ sea continua y derivable, necesitamos que la base de la potencia sea positiva, ya que el exponente es una función variable. Definimos $g(x) = x + e^x - e$. 1. Estudiamos el signo de $g(x)$ en el intervalo $[1, e]$: - $g(1) = 1 + e^1 - e = 1 > 0$. - $g'(x) = 1 + e^x$. Como $e^x > 0$ para todo $x$, $g'(x) > 0$, lo que implica que $g(x)$ es estrictamente creciente. - Si $g(1) > 0$ y la función crece, entonces $g(x) > 0$ para todo $x \in [1, e]$. Al ser la base positiva y estar compuesta por funciones elementales continuas y derivables (polinómicas y exponenciales), la función **$f(x)$ es continua en $[1, e]$ y derivable en $(1, e)$**. 💡 **Tip:** Las funciones del tipo $u(x)^{v(x)}$ requieren que $u(x) > 0$ para asegurar que están bien definidas en el campo de los números reales.

Para derivar $f(x) = (x + e^x - e)^{\frac{x}{2}}$, utilizamos la derivación logarítmica o la igualdad $f(x) = e^{\frac{x}{2} \ln(x + e^x - e)}$. Calculamos $f'(x)$ usando la regla de la cadena y la regla del producto: $$f'(x) = f(x) \cdot \left[ \frac{1}{2} \cdot \ln(x + e^x - e) + \frac{x}{2} \cdot \frac{1 + e^x}{x + e^x - e} \right]$$ Simplificando un poco la expresión: $$f'(x) = (x + e^x - e)^{\frac{x}{2}} \left( \frac{\ln(x + e^x - e)}{2} + \frac{x(1 + e^x)}{2(x + e^x - e)} \right)$$ 💡 **Tip:** Recuerda que la derivada de una función potencia-función es $(u^v)' = u^v (v' \ln u + v \frac{u'}{u})$.

Calculamos el valor de $f'(x)$ en $x=1$ y estimamos su valor en $x=e$ para comprobar si el valor $e+1$ se encuentra entre ambos. **Para $x = 1$:** $$f'(1) = (1 + e - e)^{1/2} \left( \frac{\ln(1 + e - e)}{2} + \frac{1(1 + e)}{2(1 + e - e)} \right)$$ $$f'(1) = 1^{1/2} \left( \frac{\ln(1)}{2} + \frac{1 + e}{2} \right) = 1 \left( 0 + \frac{1 + e}{2} \right) = \frac{e+1}{2} \approx 1.86$$ **Para $x = e$:** $$f'(e) = (e + e^e - e)^{e/2} \left( \frac{\ln(e^e)}{2} + \frac{e(1 + e^e)}{2(e + e^e - e)} \right)$$ $$f'(e) = (e^e)^{e/2} \left( \frac{e}{2} + \frac{e(1 + e^e)}{2e^e} \right) = e^{e^2/2} \left( \frac{e}{2} + \frac{1 + e^e}{2e^{e-1}} \right)$$ Sabiendo que $e \approx 2.718$, evaluamos aproximadamente: $f'(e) \approx 38.09 \cdot (1.36 + 1.45) \approx 107$. Observamos que: $$f'(1) = \frac{e+1}{2} < e+1 < f'(e)$$ Ya que $1.86 < 3.72 < 107$.

Para demostrar la existencia de $\alpha$, emplearemos el **Teorema de los Valores Intermedios** (también conocido como propiedad de Darboux para derivadas o simplemente aplicando el **Teorema de Bolzano** a una función auxiliar). Definimos la función auxiliar $h(x) = f'(x) - (e+1)$: 1. $h(x)$ es **continua** en $[1, e]$ por ser suma y composición de funciones continuas en ese dominio. 2. Evaluamos en los extremos: - $h(1) = f'(1) - (e+1) = \frac{e+1}{2} - (e+1) = -\frac{e+1}{2} < 0$. - $h(e) = f'(e) - (e+1) \approx 107 - 3.72 > 0$. Al ser $h(x)$ continua y presentar un cambio de signo en los extremos del intervalo $(h(1) < 0$ y $h(e) > 0)$, por el **Teorema de Bolzano**, existe al menos un punto $\alpha \in (1, e)$ tal que $h(\alpha) = 0$. Esto implica que: $$f'(\alpha) - (e+1) = 0 \implies f'(\alpha) = e+1$$ $$\boxed{\text{Queda demostrado que existe } \alpha \in (1, e) \text{ tal que } f'(\alpha) = e+1}$$ 💡 **Tip:** El Teorema de Bolzano dice que si una función es continua en $[a, b]$ y $f(a) \cdot f(b) < 0$, entonces existe $c \in (a, b)$ tal que $f(c) = 0$.