La Clase 9 dejó el logaritmo biyectivo y una promesa: su inversa. Hoy se cumple con rigor — \(\ln(e^{x}) = x\) y \(e^{\ln y} = y\) demostradas con un «sea \(z\)» —, se grafica \(y = e^{x}\) ganando su derivada con la inversa, se demuestran las cuatro leyes de los exponentes pasando al logaritmo, y con \(a^{x} := e^{x\ln a}\) se cierra un hueco de siglos: elevar cualquier base positiva a cualquier exponente real. De postre, el laboratorio 3: la regla de L'Hôpital con sus hipótesis, una función reconstruida desde la gráfica de su derivada (con un error que vale más que la respuesta) y un azulejo mitad azul, mitad amarillo.
La exponencial, sus leyes, la base general y las herramientas del laboratorio: lo que vas a estar consultando al resolver.
Saber pasar de y = ln x a x = eʸ y de regreso: lo básico.
Creciente, convexa, pasa por (0,1) a 45°, asíntota y = 0.
Se demuestran bautizando (w, z), pasando a ln y regresando.
Solo eˣ entra a 45°; 2ˣ a 34.7°; (1/e)ˣ a 135°.
Si f(a) = g(a) = 0, f y g derivables en una vecindad, g′ ≠ 0 ahí y el límite de la derecha existe. Sin revisarlo, «se prohíbe».
Pegar tramos: valor Y derivada iguales en la unión.
Cuatro capítulos: la inversa y su gráfica, las cuatro leyes demostradas, la base general, y tres problemas del laboratorio 3.
Mueve la base \(a\): la curva \(y = a^{x}\) (índigo) y su espejo, la inversa (teal), se calculan en tu navegador. La tangente en \((0,1)\) tiene pendiente \(\ln a\): observa cómo el ángulo cruza los \(45^\circ\) exactamente en \(a = e\), y cómo todo se voltea al pasar \(a = 1\).
El problema 2 del laboratorio, sin parábolas: \(f(x) = f(1) + \int_1^x f'(t)\,dt\). Arrastra la \(x\): el área bajo la gráfica de \(f'\) (positiva en teal, negativa en ámbar) se acumula y dibuja a \(f\). Lee \(f(2)\) y \(f(3)\)… y mira dónde \(f\) tiene su mínimo y su máximo.
El azulejo del problema 3, generalizado: azul entre \(y = x^{1/p}\) y \(y = x^{p}\). Para \(p = 3\) sale mitad y mitad. Mueve \(p\): el área azul es \(\int_0^1 (x^{1/p} - x^{p})\,dx = \dfrac{p-1}{p+1}\). ¿Para qué \(p\) el azul gana?
\(z = e^{\ln x}\) ⇒ \(\ln z = \ln x\cdot\ln e = \ln x\) ⇒ \(z = x\) (inyectividad).
$$e^{\ln x} = x,\qquad \ln(e^{y}) = y$$\(x = e^{y}\), \(y = \ln x\):
$$\frac{d\,e^{y}}{dy} = \frac{1}{d\ln x/dx} = \frac{1}{1/x} = x = e^{y}$$\(w = e^{x}, z = e^{y}, s = e^{x+y}\); \(\ln s = x + y = \ln w + \ln z = \ln(wz)\) ⇒ \(s = wz\).
\(w = e^{-x}\) ⇒ \(x = \ln\tfrac1w\); \(z = \tfrac{1}{e^{x}}\) ⇒ \(\ln z = -x\) ⇒ \(x = \ln\tfrac1z\); iguales ⇒ \(w = z\).
\(\ln w = y\ln(e^{x}) = yx\ln e = xy\) (en dos tiempos); \(\ln z = xy\) ⇒ \(w = z\).
Sustituir da \(0/0\). Hipótesis: numerador derivable (TFC) y continuo, denominador \(x\), forma \(0/0\). Entonces:
$$\lim_{x\to 0}\frac{\int_2^{2+x}\sqrt{1+t^{3}}\,dt}{x} = \lim_{x\to 0}\frac{\sqrt{1+(2+x)^{3}}}{1} = 3$$O como derivada: \(G(u) = \int_2^u\sqrt{1+t^3}\,dt\), el cociente es \(\frac{G(2+x) - G(2)}{x} \to G'(2) = 3\).
\(f'\) lineal por tramos ⇒ \(f\) cuadrática por tramos. En \([0,2]\): \(2A_1 + B_1 = 0\), \(4A_1 + B_1 = 2\), \(f(1) = 10\):
$$f_1(x) = x^{2} - 2x + 11,\qquad f(2) = 11$$El reto del error: \(f'(3) = 0, f'(4) = -1\) describen el tramo \([3,4]\), no \([2,3]\) — por eso \(f_2'(2) = 1 \neq 2\). Con \([2,3]\): \(f_2 = -x^{2} + 6x + 3\), \(f(3) = 12\). Camino corto: \(f(3) = 10 + 1 + 1\) (dos triángulos).
Cuadrado de área 1; azul entre \(x^{1/3}\) (arriba) y \(x^{3}\) (abajo):
$$A_{\text{azul}} = \int_0^1\big(x^{1/3} - x^{3}\big)dx = \Big[\tfrac34 x^{4/3} - \tfrac{x^4}{4}\Big]_0^1 = \tfrac12$$Amarillo \(= 1 - \tfrac12 = \tfrac12\): la misma cantidad. (Las curvas son inversas: reflejos en \(y = x\).)
Traslación: \(\int_a^b f(x)\,dx = \int_{a+\lambda}^{b+\lambda} f(x-\lambda)\,dx\) con \(u = x - \lambda\) («ya lo hicimos»). Y \(h(x) = \int_1^x \frac{f(t)}{t}\,dt\): con \(f \equiv 1\) es \(\ln x\); en general \(h'(x) = f(x)/x\), \(h(1) = 0\).
Las doce fotos de la sesión: de la definición de \(e\) al azulejo. Toca cualquiera para ampliarla.
1 · ¿Cómo se define el número \(e\)?
2 · ¿Cómo se ganó la derivada de \(e^{x}\) sin «saberla»?
3 · En la demostración de \((e^{x})^{y} = e^{xy}\), ¿por qué NO se baja el \(xy\) de golpe?
4 · ¿Qué significa \(5^{x}\) para \(x\) irracional?
5 · \(y = (1/3)^{x}\): ¿crece o decrece, y cómo se curva?
6 · ¿Cuándo se puede aplicar la regla de L'Hôpital?
7 · Con \(f(1) = 10\) y la gráfica de \(f'\) del laboratorio, ¿cuánto vale \(f(2)\)?
\(\ln(e^{3}) = 3\) y \(e^{\ln 5} = 5\): las identidades inversas.
\(e^{2\ln 3} = e^{\ln(3^{2})} = 3^{2} = 9\) — bajar/subir el exponente con \(\ln(a^{b}) = b\ln a\). (O por la definición: \(3^{2} = e^{2\ln 3}\).)
Cruza en \((0,1)\) con pendiente \((3^{x})'(0) = 3^{0}\ln 3 = \ln 3 \approx 1.0986\).
\(\theta = \arctan(\ln 3) \approx 47.7^\circ\): un poco más que los \(45^\circ\) de \(e^{x}\), porque \(3 > e\).
Reconociendo: \(2^{x} = 8 = 2^{3}\) ⇒ \(x = 3\) (la exponencial es inyectiva).
Cambiando de idioma: \(2^{x} = 8\) ⇒ \(x\ln 2 = \ln 8\) ⇒ \(x = \frac{\ln 8}{\ln 2} = \frac{3\ln 2}{\ln 2} = 3\).
Sustituir: \(\frac{1 - 1}{0} = \frac{0}{0}\) ✓ forma indeterminada. \(e^{x} - 1\) y \(x\) son derivables en todo \(\mathbb{R}\) ✓, \((x)' = 1 \neq 0\) ✓.
\(\lim_{x\to 0}\frac{e^{x}}{1} = 1\) ✓ existe. Por lo tanto el límite vale \(1\). (Es la derivada de \(e^{x}\) en 0 — la pendiente de \(45^\circ\).)
Arriba \(\sqrt x\), abajo \(x^{2}\) (en \(x = \tfrac14\): \(\tfrac12 > \tfrac1{16}\)). Son inversas: reflejos en \(y = x\).
$$A = \int_0^1\big(x^{1/2} - x^{2}\big)dx = \Big[\tfrac23 x^{3/2} - \tfrac13 x^{3}\Big]_0^1 = \tfrac23 - \tfrac13 = \tfrac13$$Con la fórmula del laboratorio, \(p = 2\): \(\frac{p-1}{p+1} = \frac13\) ✓.
¿Te perdiste algo? La Clase 10 Interactiva te lleva por las 21 partes al ritmo de la voz del profesor. Las clases anteriores siguen en la portada del curso para el repaso.