Logaritmos y exponenciales de base \(a \gt 0\), trigonométricas inversas e hiperbólicas y sus inversas
Diez ejercicios y quince lagartijas que juntan tres familias: \(\log_a\) y \(a^{x}\) (con \(\log_a x = \ln x/\ln a\)
todo vuelve a la Clase 9 y la Clase 10), las inversas trigonométricas de la Clase 9, y las funciones
hiperbólicas — que el curso todavía no ha presentado: se definen con \(e^{x}\) y \(e^{-x}\), y la sección 7.7
del Thomas es la referencia para tenerlas a la mano. Ninguno se resolvió en el pizarrón: aquí está el
enunciado fiel, una pista, la respuesta para comparar y la parte del curso donde vive cada herramienta.
10 ejercicios + 15 lagartijas
Todos para el cuaderno: pista y respuesta verificada
Hiperbólicas: con el Thomas §7.7 a la mano
Los ejercicios
Ejercicio por ejercicio, con su parte
El enunciado fiel y, debajo, la pista, la respuesta para comparar y el botón a la parte de la clase
interactiva donde vive la herramienta. Lo honesto: primero inténtalo en tu cuaderno.
a) \(\operatorname{Dom}(f)\). b) \(\operatorname{Im}(f)\). c) Intersecciones con los ejes.
d) Puntos críticos. e) Límites al infinito. f) Gráfica de \(f\).
✍️ Para tu cuaderno — pendiente. La pista: \(\log_2 u = \ln u/\ln 2\), así que
\(f'(x) = \dfrac{2x}{(1+x^{2})\ln 2}\) y \(f''(x) = \dfrac{2(1-x^{2})}{(1+x^{2})^{2}\ln 2}\), y el plan de graficar
con \(f'\) y \(f''\) hace el resto. Respuestas para comparar: dominio \(\mathbb{R}\) (\(1+x^2 \gt 0\) siempre);
imagen \([0,\infty)\) (\(1+x^{2}\) recorre \([1,\infty)\) y \(\log_2\) es creciente con \(\log_2 1 = 0\));
la única intersección es \((0,0)\); un solo punto crítico, \(x = 0\), y es mínimo (\(f'\) pasa de negativa a
positiva); \(f \to +\infty\) cuando \(x \to \pm\infty\), sin asíntota horizontal aunque crece despacio
(\(f(x) \approx 2\log_2|x|\)). Gráfica: \(f\) es par, cóncava hacia arriba solo en \((-1,1)\), con inflexiones
en \((\pm 1, 1)\); pasa por \((\pm\sqrt{3}, 2)\).
✍️ Para tu cuaderno — pendiente. En (a) y (e), el triángulo de la Clase 9: si
\(\theta = \operatorname{arc\,sen}\sqrt{x}\), el cateto opuesto es \(\sqrt{x}\), la hipotenusa \(1\) y el adyacente
\(\sqrt{1-x}\). En (b), (c) y (d), las hiperbólicas se definen con exponenciales —
\(\cosh u = \frac{e^{u}+e^{-u}}{2}\), \(\operatorname{senh} u = \frac{e^{u}-e^{-u}}{2}\) — y \(e^{\ln x} = x\) hace el resto;
para (d) sirve también \(\cosh^{2} - \operatorname{senh}^{2} = 1\) con \(\cosh \gt 0\). Respuestas:
(a) \(\dfrac{1}{\sqrt{1-x}}\), \(0 \le x \lt 1\); (b) \(\dfrac{x^{2}+1}{2x}\), \(x \gt 0\);
(c) \(\dfrac{x^{2}-1}{x^{2}+1}\), \(x \gt 0\); (d) \(\sqrt{1+x^{2}}\); (e) \(\dfrac{\sqrt{25-x^{2}}}{5}\), \(|x| \le 5\).
✍️ Para tu cuaderno — pendiente. Todo sale de las definiciones. (a) Eleva al cuadrado:
\(\cosh^{2}x = \frac{e^{2x} + 2 + e^{-2x}}{4} = \frac{\cosh 2x + 1}{2}\) — la gemela de \(\cos^2 x = \frac{1+\cos 2x}{2}\)
que la Clase 9 despejó de la identidad. (b) Desarrolla \(\frac{(e^{x}-e^{-x})^{3}}{8}\) y agrupa, o usa
\(\operatorname{senh}(a+b) = \operatorname{senh}a\cosh b + \cosh a\operatorname{senh}b\) con \(a = 2x\), \(b = x\).
(c) \(\cosh x + \operatorname{senh} x = e^{x}\), así que el lado izquierdo es \(e^{nx} = \cosh nx + \operatorname{senh} nx\):
vale para cualquier \(n\) real, no solo entero. (d) Escribe \(x = \frac{x+y}{2} + \frac{x-y}{2}\),
\(y = \frac{x+y}{2} - \frac{x-y}{2}\) y aplica la fórmula de la suma; el signo de en medio cancela o duplica.
Las cuatro, verificadas en sympy.
4π/2 + arcsen(1 − ln x): dominio, inversa y bosquejo
Considérese la función \(f(x) = \dfrac{\pi}{2} + \operatorname{arc\,sen}(1 - \ln(x))\).
a) Obtener: 1) \(\operatorname{Dom}(f)\). 2) \(\operatorname{Im}(f)\). 3) Ceros de \(f\). 4) Soluciones de \(f(x) = -\pi\).
b) Probar que \(f\) es inyectiva. c) Caracterizar la función inversa de \(f\) (dominio, imagen, regla de correspondencia). d) Hacer un bosquejo de la gráfica de \(f\).
✍️ Para tu cuaderno — pendiente. La pista: \(\operatorname{arc\,sen}\) solo acepta \([-1,1]\) y devuelve
\([-\pi/2, \pi/2]\), así que \(-1 \le 1 - \ln x \le 1 \iff 0 \le \ln x \le 2\). Respuestas: dominio \([1, e^{2}]\);
imagen \([0, \pi]\); único cero en \(x = e^{2}\) (donde \(1 - \ln x = -1\)); \(f(x) = -\pi\) no tiene solución
porque \(-\pi \notin [0,\pi]\). Inyectiva: \(1 - \ln x\) decrece y \(\operatorname{arc\,sen}\) crece, luego \(f\) decrece
estrictamente — o \(f'(x) = -\dfrac{1}{x\sqrt{1-(1-\ln x)^{2}}} \lt 0\) en \((1, e^{2})\). Inversa: de
\(y - \frac{\pi}{2} = \operatorname{arc\,sen}(1 - \ln x)\) sale \(\operatorname{sen}(y - \frac{\pi}{2}) = -\cos y = 1 - \ln x\), es decir
\(f^{-1}(y) = e^{\,1 + \cos y}\), con dominio \([0,\pi]\) e imagen \([1, e^{2}]\). Bosquejo: de \((1,\pi)\) a
\((e^{2}, 0)\) pasando por \((e, \pi/2)\), con tangentes verticales en los extremos (ahí \(\operatorname{arc\,sen}\) las tiene).
✍️ Para tu cuaderno — pendiente. Es la gemela hiperbólica de \(x = \sec\theta\) de la Clase 12:
\(dx = \operatorname{senh}u\,du\), \(\sqrt{x^{2}-1} = \operatorname{senh} u\) (por \(\cosh^2 - \operatorname{senh}^2 = 1\), y \(u \ge 0\) quita el
valor absoluto), y los límites viajan: \(x = 1 \leftrightarrow u = 0\), \(x = \cosh t \leftrightarrow u = t\). Queda
\(\int_{0}^{t}\cosh^{2}u\,\operatorname{senh}^{2}u\,du = \tfrac14\int_{0}^{t}\operatorname{senh}^{2}(2u)\,du = \tfrac18\int_{0}^{t}(\cosh 4u - 1)\,du
= \dfrac{\operatorname{senh}4t}{32} - \dfrac{t}{8}\). Un detalle de rigor: con \(u \ge 0\), el límite \(u = t\) pide \(t \ge 0\);
si \(t \lt 0\) el lado izquierdo solo depende de \(|t|\) (\(\cosh\) es par) y el derecho cambia de signo, así que la
identidad es para \(t \ge 0\). Verificada numéricamente en \(t = 0.3,\,1,\,1.7\).
✍️ Para tu cuaderno — pendiente. Aplica \(\operatorname{arcsenh}\) a los dos lados:
\(y\sqrt{1+x^{2}} = \operatorname{arcsenh} x\), y deriva en \(x\). La derivada de \(\operatorname{arcsenh}\) sale de la derivada
de la inversa: \(\dfrac{1}{\cosh(\operatorname{arcsenh} x)} = \dfrac{1}{\sqrt{1+x^{2}}}\) (es el inciso 2d). Queda
\(y'\sqrt{1+x^{2}} + \dfrac{xy}{\sqrt{1+x^{2}}} = \dfrac{1}{\sqrt{1+x^{2}}}\); multiplica por \(\sqrt{1+x^{2}}\) y listo.
Comprobado en sympy con \(y = \operatorname{arcsenh} x/\sqrt{1+x^{2}}\).
✍️ Para tu cuaderno — pendiente. Escribe \(x = \coth y = \dfrac{e^{y}+e^{-y}}{e^{y}-e^{-y}}\), multiplica
arriba y abajo por \(e^{y}\): \(x = \dfrac{e^{2y}+1}{e^{2y}-1}\), despeja \(e^{2y} = \dfrac{x+1}{x-1}\) y pasa al logaritmo
(Clase 10). Como \(e^{2y} \gt 0\), hace falta \(\frac{x+1}{x-1} \gt 0\), es decir \(|x| \gt 1\): \(\coth\) nunca cae en
\([-1,1]\). Para la integral, deriva: \(\tfrac12\left[\frac{1}{x+1} - \frac{1}{x-1}\right] = \dfrac{1}{1-x^{2}}\).
El otro caso: en \(|x| \lt 1\) la misma integral da \(\operatorname{arctanh} x = \tfrac12\ln\frac{1+x}{1-x}\); en la Clase 6
esa integral apareció como \(\int du/(u^{2}-1)\), con un asterisco.
Sea \(\displaystyle I(r) = \int_{-r}^{r} [f(u)]^{2}\,du\), donde \(f(u) = \operatorname{sech}\!\left(\dfrac{u}{2}\right)\).
Muestra que \(\displaystyle\lim_{r \to \infty} I(r) = 4\).
✍️ Para tu cuaderno — pendiente. La gemela de \((\tan)' = \sec^{2}\): \((\tanh v)' = \operatorname{sech}^{2} v\),
así que \(\int \operatorname{sech}^{2}(u/2)\,du = 2\tanh(u/2) + C\) y, como \(\tanh\) es impar,
\(I(r) = 2\tanh(r/2) - 2\tanh(-r/2) = 4\tanh(r/2)\). Y \(\tanh(r/2) = \dfrac{e^{r}-1}{e^{r}+1} \to 1\) (divide entre
\(e^{r}\)). Con \(r = 20\) ya da \(3.99999998\).
✍️ Para tu cuaderno — pendiente. La misma sustitución del ejercicio 5, sin el \(x^{2}\):
\(x = \cosh u\), \(dx = \operatorname{senh} u\,du\), \(\sqrt{x^{2}-1} = \operatorname{senh} u\) y los límites \(0\) y \(t\). Luego
despeja \(\operatorname{senh}^{2}u = \dfrac{\cosh 2u - 1}{2}\) e integra: \(\left[\dfrac{\operatorname{senh}2u}{4} - \dfrac{u}{2}\right]_{0}^{t}\).
Verificado numéricamente en \(t = 0.4,\,1,\,2\).
Halla la ecuación de la recta tangente a la curva \(y = f(x)\) en \(x = 1\), si
$$f(x) = \int_{3}^{1+2^{x}} \frac{\log_{2}(t-1)}{t-1}\,dt, \qquad x \in \mathbb{R}.$$
✍️ Para tu cuaderno — pendiente, pero es el gemelo del problema que la Clase 12 hizo con \(\log_4\) y
\(1 + 4^{x}\). TFC más regla de la cadena: \(f'(x) = \dfrac{\log_2(2^{x})}{2^{x}}\cdot 2^{x}\ln 2 = x\ln 2\); en \(x = 1\)
los límites coinciden (\(1 + 2 = 3\)), así que \(f(1) = 0\). La tangente: \(y = (\ln 2)(x - 1)\). De regalo: con
\(s = \log_2(t-1)\) la integral se calcula y \(f(x) = \dfrac{\ln 2}{2}\left(x^{2}-1\right)\), una parábola.
El PDF cierra con ejercicios cortos de la misma familia: \(\log_a\) que se convierte en \(\ln\), \(a^{x}\) que se
integra con \(\ln a\), y las hiperbólicas con sus identidades.
✍️ Para tu cuaderno — pendientes. Convierte cada \(\log_a\) en \(\ln/\ln a\), usa
\((\cosh u)' = \operatorname{senh}u \cdot u'\), y en (e) separa antes de derivar: \(\log_3(3^{x}) - \log_3(1-3^{x}) = x - \log_3(1-3^{x})\).
Respuestas: (a) \(\dfrac{2\ln x}{x\,\ln 2\,\ln 3}\); (b) \(-\dfrac{x\operatorname{senh}\!\left(\sqrt{1-x^{2}}\right)}{\sqrt{1-x^{2}}}\);
(c) \(2e^{2x}\sec^{2}\!\left(e^{2x}\right)\operatorname{senh}\!\left(\tan e^{2x}\right)\);
(d) \(-\dfrac{1}{x\,\ln 2\,\ln x\,\bigl[\log_2(\log_2 x)\bigr]^{2}}\), con \(x \gt 1\), \(x \ne 2\);
(e) \(\dfrac{1}{1-3^{x}}\), con \(x \lt 0\);
(f) \(-\dfrac{e^{x}\operatorname{senh}\!\left(2\sqrt{2-e^{x}}\right)}{2\sqrt{2-e^{x}}}\), con \(x \lt \ln 2\) (usando \(2\operatorname{senh}w\cosh w = \operatorname{senh}2w\)).
Las seis, verificadas en sympy.
Sigue con el Laboratorio 8: formas indeterminadas. Las herramientas de este
laboratorio viven en la Clase 9 (inversas trigonométricas y el logaritmo), la
Clase 10 (la exponencial y \(a^{x}\)) y la Clase 12
(\(\log_a x = \ln x/\ln a\) en acción). ¿Vienes del principio? El Laboratorio 5 está antes.