Reglas de derivación
Cómo calcular la derivada de casi cualquier función sin volver a la definición con límites: cuatro reglas (suma, producto, cociente, cadena), una tabla corta y unos pocos trucos para lo que no está en la tabla (tangente, arcoseno, $x^x$…).
0Antes de empezar U p.78
Calcular una derivada con la definición (un límite) es lento. Este tema te da un «manual de montaje»: la derivada de las piezas básicas (una tabla corta) y una regla para cada forma de combinar piezas (sumar, multiplicar, dividir, meter una función dentro de otra). Con eso derivas casi todo lo que vas a encontrar.
U pp.78-79Qué necesitas saber ya U p.75 U p.78 U p.42
- Qué es la derivada $f'(a)$: el límite del cociente incremental $\lim_{h\to0}\frac{f(a+h)-f(a)}{h}$, que mide la pendiente de la recta tangente en $a$ (tema 2.1). Si ese límite existe y es un número real, se dice que $f$ es derivable en $a$.
- Función derivada $f'$: la que a cada punto donde $f$ es derivable le asigna $f'(x)$; su dominio es el conjunto de puntos donde $f$ es derivable.
- Composición de funciones: $(g\circ f)(x)=g(f(x))$, «primero $f$, luego $g$».
- Funciones elementales y sus dominios: potencias, exponencial, logaritmo, seno, coseno, tangente, y las inversas de las trigonométricas (U las supone conocidas).
- Las identidades $\operatorname{sen}^2x+\cos^2x=1$ y $\operatorname{tg}x=\frac{\operatorname{sen}x}{\cos x}$.
U avisa de que este tema «debería ser de repaso para la mayoría de los lectores» y de que conocer las reglas no basta para derivar con soltura: hay que hacer muchas derivadas. Por eso el tema tiene una sección de guía y muchos ejercicios. U p.78
Mapa del tema
| Apartado | Qué contiene | Dónde está en los libros |
|---|---|---|
| 1 Idea general | de qué va el cálculo de derivadas | U p.79 |
| 2 Suma y constante | Prop. 2.1 (suma) | U p.79 · L pp.109-110 |
| 3 Producto | Prop. 2.1 (producto) | U p.79 · S p.185 · L p.118 |
| 4 Cociente | Prop. 2.1 (cociente) | U p.79 · S p.187 · L p.120 |
| 5 Cadena | regla de la cadena | U p.79 · S p.199 · L p.130 |
| 6 Tabla de derivadas | tabla de U y su versión con cadena, más las de tg, sec, arcsen… | U pp.79-80 · S p.194, p.214 · L p.122, p.369 |
| 7 Trigonométricas | tg, cotg, sec, csc a partir de sen y cos | U p.80 · S p.194 · L p.122 |
| 8 Función inversa | $(f^{-1})'$, arcsen, arccos, arctg | U p.80 · S pp.213-214 · L pp.341, 369 |
| 9 Derivación logarítmica | $A(x)^{B(x)}$ y productos largos | S pp.220-222 · L p.323 |
| 10 Dominio de $f'$ | puntos donde la fórmula falla | U pp.78, 81 · S p.159 |
| 11 Guía «qué regla uso» | método de decisión | propio |
| 12 Ejercicios | E 2.3, 2.4, 2.5, 2.10-2.13, 2.15, 2.16 | E pp.52-61 |
Qué se pide en los ejercicios
Los nueve ejercicios de E de este tema piden: (1) derivar funciones con varias capas (producto, cociente y cadena mezclados: 2.3, 2.4, 2.5, 2.11); (2) calcular el dominio de una función y el de su derivada (2.10, 2.13); (3) derivar cuando la función «desconocida» $g$ va dentro (2.12); (4) derivar $x^{1/x}$, con la variable a la vez en la base y el exponente (2.16); y (5) calcular la derivada de una función inversa sin conocer su fórmula (2.13 con arcocoseno, 2.15). E pp.52-61
Comprobado en el texto: en §2.2 el libro U sólo trae la tabla de ocho derivadas (constante, $e^x$, $\ln x$, $\operatorname{sen}x$, $x^c$, $a^x$, $\log_ax$, $\cos x$), la regla de la cadena y los ejemplos de $\operatorname{tg}$ y $\arcsin$. No trae: las derivadas de $\sec$, $\operatorname{cotg}$, $\arccos$ y $\operatorname{arctg}$; el teorema general de la derivada de la función inversa (sólo usa el truco de derivar $f^{-1}(f(x))=x$); ni la derivación logarítmica. Se explican en los apartados 7, 8 y 9 con Stewart y Larson (etiquetas S y L), indicando la página.
1La idea general: piezas y pegamento U p.79
Piensa en un mecano. Hay piezas (potencias, $e^x$, $\ln x$, $\operatorname{sen}x$…) cuya derivada te sabes de memoria, y hay pegamentos (sumar, multiplicar, dividir, componer). Cada pegamento tiene su regla: si sabes derivar las dos piezas que pegas, sabes derivar la pieza resultante. Derivar una función complicada consiste en desmontarla en piezas, derivar cada una y volver a montar.
U pp.79-80La derivada en un punto $a$ es un número; la función derivada $f'$ es la que sale de derivar «en general». Todas las reglas de abajo se enuncian en un punto $a$ y con hipótesis: sólo son válidas si las funciones que intervienen son derivables donde hace falta. Esas hipótesis son las que luego deciden el dominio de $f'$ (apartado 10).
Antes de derivar, pregúntate «¿cuál es la última operación que se hace al calcular $f(x)$?». Esa operación (suma, producto, cociente o composición) manda: es la primera regla que aplicas. Las demás vienen dentro. Es la base de la guía del apartado 11.
2Suma, resta y constante por función U p.79
Dos grifos llenan el mismo depósito. Si uno aporta 3 litros por minuto y el otro 5, el nivel sube a 8 litros por minuto: las velocidades de cambio se suman. Y si duplicas la cantidad que aporta un grifo, duplicas su velocidad.
PSi $f$ y $g$ son derivables en $a$, entonces $f+g$ es derivable en $a$ y $$(f+g)'(a)=f'(a)+g'(a).$$
U p.79 L pp.109-110Consecuencias (se deducen de la regla del producto con una función constante, cuya derivada es $0$: U p.76):
- Constante por función: $(c\,f)'(a)=c\,f'(a)$ si $f$ es derivable en $a$ y $c\in\mathbb R$ es constante.
- Resta: $(f-g)'(a)=f'(a)-g'(a)$ (es $f+(-1)\,g$).
- La derivada de una constante es $0$, por eso «desaparecen» los sumandos constantes: $(x^2+7)'=2x$.
$h(x)=3x^4-5e^x+\ln x+7$ para $x>0$.
- Es una suma de cuatro piezas; se deriva pieza a pieza (regla de la suma).
- $(3x^4)'=3\cdot4x^3=12x^3$ (constante por función y $x^c$); $(-5e^x)'=-5e^x$; $(\ln x)'=\frac1x$; $(7)'=0$.
- $h'(x)=12x^3-5e^x+\frac1x$, $x>0$.
Pensar que la regla «se reparte» igual para todo: la suma sí se reparte, el producto y el cociente no (apartados 3 y 4).
3Regla del producto U p.79
Un rectángulo tiene base $u(x)$ y altura $v(x)$; su área es $u\cdot v$. Si $x$ crece un poco, la base crece $\Delta u$ y la altura $\Delta v$. El área gana dos franjas largas ($v\cdot\Delta u$ y $u\cdot\Delta v$) y un cuadradito de esquina $\Delta u\,\Delta v$, que es «pequeño por pequeño» y se vuelve despreciable frente a las franjas. Por eso la variación del área es $v\,\Delta u+u\,\Delta v$: cada factor varía y el otro se queda quieto.
Si $f$ y $g$ son derivables en $a$, entonces $f\cdot g$ es derivable en $a$ y $$(f\cdot g)'(a)=f'(a)\,g(a)+f(a)\,g'(a).$$ En palabras: «derivada del primero por el segundo, más el primero por la derivada del segundo».
U p.79 S p.185 L p.118$f(x)=x^2\operatorname{sen}x$, derivable en todo $\mathbb R$.
- Última operación: producto de $u=x^2$ y $v=\operatorname{sen}x$.
- $u'=2x$, $v'=\cos x$ (tabla).
- $f'(x)=2x\operatorname{sen}x+x^2\cos x$.
Escribir $(uv)'=u'v'$. Con $u=v=x$: $(x\cdot x)'=(x^2)'=2x$, pero $u'v'=1\cdot1=1$. La derivada del producto no es el producto de las derivadas.
4Regla del cociente U p.79
Si $q=\dfrac uv$, entonces $u=q\,v$. Derivando con la regla del producto, $u'=q'v+qv'$, y despejando $q'=\dfrac{u'-qv'}{v}=\dfrac{u'v-uv'}{v^2}$. Esta deducción supone que $q$ ya es derivable, así que no es una demostración: sirve para recordar el orden y el signo del numerador. U enuncia la Proposición 2.1 sin demostrarla (p.79); la demostración completa del cociente está en Larson (Teor. 2.8, p.120), y consiste en sumar y restar una misma cantidad en el cociente incremental.
P L p.120Si $f$ y $g$ son derivables en $a$ y además $g(a)\neq0$, entonces $\dfrac fg$ es derivable en $a$ y $$\left(\frac fg\right)'(a)=\frac{f'(a)\,g(a)-f(a)\,g'(a)}{[g(a)]^2}.$$ Regla nemotécnica: «derivada del de arriba por el de abajo, menos el de arriba por la derivada del de abajo, todo entre el de abajo al cuadrado».
U p.79 S p.187 L p.120$f(x)=\dfrac{\operatorname{sen}x}{1+\cos x}$.
- Dominio: hace falta $1+\cos x\neq0$, es decir $x\neq\pi+2k\pi$, $k\in\mathbb Z$.
- Cociente con $f=\operatorname{sen}x$, $g=1+\cos x$ (denominador $\neq0$ en el dominio): $$f'(x)=\frac{\cos x\,(1+\cos x)-\operatorname{sen}x\,(-\operatorname{sen}x)}{(1+\cos x)^2}=\frac{\cos x+\cos^2x+\operatorname{sen}^2x}{(1+\cos x)^2}.$$
- Como $\cos^2x+\operatorname{sen}^2x=1$, el numerador es $1+\cos x$, que se puede simplificar porque $1+\cos x\neq0$: $\;f'(x)=\dfrac{1}{1+\cos x}$.
Moraleja: tras derivar, busca identidades que simplifiquen el resultado.
PCambiar el orden del numerador: $u'v-uv'$ y $uv'-u'v$ dan resultados opuestos. Prueba con $\frac1x$ ($u=1$, $v=x$): debe salir $-\frac1{x^2}$, y sólo sale con $u'v-uv'=0\cdot x-1\cdot1=-1$.
5Regla de la cadena: funciones dentro de funciones U p.79
Si $u$ cambia al doble de rápido que $x$ y $y$ cambia tres veces más rápido que $u$, entonces $y$ cambia $2\cdot3=6$ veces más rápido que $x$. Las velocidades de cambio se multiplican a lo largo de la cadena. Así lo cuenta Stewart, y es exactamente la regla.
Si $f$ es derivable en $a$ y $g$ es derivable en $f(a)$, entonces la composición $g\circ f$ es derivable en $a$ y $$(g\circ f)'(a)=g'\big(f(a)\big)\cdot f'(a).$$ En palabras: derivada de la función de fuera, evaluada en lo que hay dentro, por la derivada de la función de dentro.
U p.79 S p.199 L p.130Fíjate en la hipótesis: la exterior tiene que ser derivable en el punto $f(a)$, no en $a$. En notación de Leibniz, con $y=F(u)$ y $u=u(x)$: $\dfrac{dy}{dx}=\dfrac{dy}{du}\cdot\dfrac{du}{dx}$.
Aviso de notación: U escribe la cadena como $(g\circ f)'(a)=g'(f(a))f'(a)$ (la exterior es $g$). En E (margen de la p.53 y Ejercicio 2.4) la exterior es $f$ y la interior $g$: $(f\circ g)'=(f'\circ g)\cdot g'$. Es la misma regla con los nombres intercambiados; fíjate siempre en cuál es la de fuera.
(a) $g(x)=e^{x^4}$. Capas: interior $u=x^4$, exterior $e^u$. $g'(x)=e^{x^4}\cdot4x^3=4x^3e^{x^4}$.
(b) $f(x)=\operatorname{sen}(\ln x^2)$, con $x\neq0$. Capas: $u=x^2\;\to\;\ln u\;\to\;\operatorname{sen}$. Se deriva de fuera hacia dentro: $\cos(\ln x^2)\cdot\dfrac1{x^2}\cdot2x=\dfrac2x\cos(\ln x^2)$.
(c) $h(x)=(3x+1)^{10}$. Capas: interior $3x+1$, exterior $u^{10}$. $h'(x)=10(3x+1)^9\cdot3=30(3x+1)^9$.
U p.81 P(1) Olvidar la cadena: $(\operatorname{sen}x^2)'$ no es $\cos x^2$, es $2x\cos x^2$. (2) Con varias capas, perder un factor: 3 capas dan 3 factores. (3) Confundir $\operatorname{sen}x^2$ (que es $\operatorname{sen}(x^2)$) con $\operatorname{sen}^2x=(\operatorname{sen}x)^2$: son funciones distintas y con derivadas distintas.
6Tabla de derivadas U pp.79-80
La tabla de U tiene sólo ocho filas. Con las reglas de los apartados anteriores se genera todo lo demás. Aquí va ampliada; la columna «con cadena» es la misma fórmula cuando en lugar de $x$ hay una función $u=u(x)$ (se multiplica por $u'$). En las filas marcadas con «*» la derivada no está en U: se deduce en los apartados 7 y 8.
| Función | Derivada | Con cadena, $u=u(x)$ | Dónde vale / fuente |
|---|---|---|---|
| $c$ (constante) | $0$ | $0$ | todo $\mathbb R$ · U p.79 |
| $x^c$, $c\in\mathbb R$ | $c\,x^{c-1}$ | $c\,u^{c-1}u'$ | siempre en $x>0$; $c\in\mathbb N$: todo $\mathbb R$; $c$ entero negativo: $x\neq0$; $c=p/q$ con $q$ impar: también $x<0$ (con $x^{p/q}$ definida como $\sqrt[q]{x}^{\,p}$) · U p.79 |
| $e^x$ | $e^x$ | $e^{u}\,u'$ | $\mathbb R$ · U p.79 |
| $a^x$, $a>0$ | $a^x\ln a$ | $a^{u}(\ln a)\,u'$ | $\mathbb R$ · U p.79 |
| $\ln x$ | $\dfrac1x$ | $\dfrac{u'}{u}$ | $x>0$ (y $\ln|x|$ tiene derivada $\frac1x$ para $x\neq0$) · U p.79, S p.220 |
| $\log_a x$ | $\dfrac1x\log_ae=\dfrac1{x\ln a}$ | $\dfrac{\log_ae}{u}\,u'$ | $x>0$, $a>0$, $a\neq1$ · U p.79 |
| $\operatorname{sen}x$ | $\cos x$ | $\cos u\cdot u'$ | $\mathbb R$ · U p.79 |
| $\cos x$ | $-\operatorname{sen}x$ | $-\operatorname{sen}u\cdot u'$ | $\mathbb R$ · U p.79 |
| $\operatorname{tg}x$ | $\dfrac1{\cos^2x}=1+\operatorname{tg}^2x$ | $\dfrac{u'}{\cos^2u}$ | $x\neq\frac\pi2+k\pi$ · U p.80, S p.194 |
| $\operatorname{cotg}x$* | $-\dfrac1{\operatorname{sen}^2x}$ | $-\dfrac{u'}{\operatorname{sen}^2u}$ | $x\neq k\pi$ · S p.194, L p.122 |
| $\sec x$* | $\sec x\operatorname{tg}x$ | $\sec u\operatorname{tg}u\cdot u'$ | $x\neq\frac\pi2+k\pi$ · S p.194, L p.122 |
| $\csc x$* | $-\csc x\operatorname{cotg}x$ | $-\csc u\operatorname{cotg}u\cdot u'$ | $x\neq k\pi$ · S p.194, L p.122 |
| $\arcsin x$ | $\dfrac1{\sqrt{1-x^2}}$ | $\dfrac{u'}{\sqrt{1-u^2}}$ | $x\in(-1,1)$ · U p.80, S p.214, L p.369 |
| $\arccos x$* | $-\dfrac1{\sqrt{1-x^2}}$ | $-\dfrac{u'}{\sqrt{1-u^2}}$ | $x\in(-1,1)$ · S p.214, L p.369 |
| $\operatorname{arctg}x$* | $\dfrac1{1+x^2}$ | $\dfrac{u'}{1+u^2}$ | $\mathbb R$ · S p.214, L p.369 |
Para las trigonométricas hay que medir los ángulos en radianes. Larson (Teor. 5.16, p.369) da además $\operatorname{arccotg}$, $\operatorname{arcsec}$ y $\operatorname{arccsc}$; no se necesitan para los ejercicios de este tema. U pp.79-80 S pp.194, 214 L pp.122, 369
No memorices 30 fórmulas: memoriza las ocho de U y aprende a deducir las demás en 3 líneas (apartados 7 y 8). Las de la columna «con cadena» no hay que aprenderlas: es la fila normal más «por $u'$».
$x^c$ (base variable, exponente constante) se deriva como $c\,x^{c-1}$. $a^x$ (base constante, exponente variable) se deriva como $a^x\ln a$. En $x^x$ o $x^{1/x}$ no vale ninguna de las dos: se resuelve en el apartado 9.
S p.221U escribe $(x^c)'=cx^{c-1}$ con $c\in\mathbb R$. Vale siempre en $x>0$. Para $x<0$ sólo tiene sentido si $x^c$ está definida ahí: si $c$ es un entero positivo, en todo $\mathbb R$; si es un entero negativo, en $x\neq0$; si $c=p/q$ con $q$ impar (como $\sqrt[3]x=x^{1/3}$ en E 2.10), también para $x<0$ con $x^{p/q}=\sqrt[q]{x}^{\,p}$; si $c$ es irracional o $q$ es par, $x^c$ no existe para $x<0$ (p. ej. $x^{3/2}$).
7Tangente, cotangente, secante y cosecante: «pescar» las que faltan U p.80
Las funciones que no están en la tabla se reescriben con $\operatorname{sen}$ y $\cos$, que sí están, y se aplica el cociente. U lo ilustra con $\operatorname{tg}$ y lo resume así: «no me regales pescado y enséñame a pescar».
U p.80Con $\operatorname{tg}x=\dfrac{\operatorname{sen}x}{\cos x}$ y la regla del cociente (donde $\cos x\neq0$): $$(\operatorname{tg}x)'=\frac{\cos x\cos x-\operatorname{sen}x(-\operatorname{sen}x)}{\cos^2x}=\frac{\cos^2x+\operatorname{sen}^2x}{\cos^2x}=\frac1{\cos^2x}=1+\operatorname{tg}^2x.$$ Del mismo modo, con $\operatorname{sen}x\neq0$ para $\operatorname{cotg}$ y $\csc$, y $\cos x\neq0$ para $\sec$: $$(\operatorname{cotg}x)'=\frac{-\operatorname{sen}x\operatorname{sen}x-\cos x\cos x}{\operatorname{sen}^2x}=\frac{-1}{\operatorname{sen}^2x},$$ $$(\sec x)'=\Big(\frac1{\cos x}\Big)'=\frac{0\cdot\cos x-1\cdot(-\operatorname{sen}x)}{\cos^2x}=\sec x\operatorname{tg}x,\qquad(\csc x)'=\frac{-\cos x}{\operatorname{sen}^2x}=-\csc x\operatorname{cotg}x.$$
U p.80 S p.194 L p.122Regla mnemotécnica de Stewart: las derivadas de las «cofunciones» ($\cos$, $\csc$, $\operatorname{cotg}$) llevan signo menos.
S p.1948Derivada de una función inversa: arcoseno, arcocoseno, arcotangente U p.80
La gráfica de $f^{-1}$ es la de $f$ reflejada en la diagonal $y=x$. Al reflejar, la recta tangente también se refleja, y el «subir tanto por cada tanto que avanzo» se convierte en «avanzar tanto por cada tanto que subo»: la pendiente se invierte. Si en $x_0$ la pendiente de $f$ es $3$, en el punto simétrico la pendiente de $f^{-1}$ es $\tfrac13$.
Sea $f$ derivable e inyectiva en un intervalo $I$ (es decir, valores distintos de $x$ dan valores distintos de $f(x)$), y sea $g=f^{-1}:f(I)\to I$ su inversa, donde $f(I)$ es la imagen de $I$ (el conjunto de todos los valores $f(x)$, $x\in I$). Entonces $g$ es derivable en todo punto $y=f(x)$ con $f'(x)\neq0$, y $$(f^{-1})'(y)=\frac1{f'\big(f^{-1}(y)\big)}.$$ Si $f'(x_0)=0$, $f^{-1}$ no es derivable en $y_0=f(x_0)$: si lo fuera, derivando $f^{-1}(f(x))=x$ en $x_0$ saldría $(f^{-1})'(y_0)\cdot0=1$, absurdo (geométricamente, la tangente de $f^{-1}$ es vertical).
L p.341 S pp.213, 217 P (no está en U)El método de U: derivar la igualdad $f^{-1}(f(x))=x$
No hace falta recordar la fórmula: se deduce en dos líneas. Derivando $f^{-1}(f(x))=x$ con la cadena (suponiendo $f^{-1}$ derivable, lo que garantiza el teorema anterior): $(f^{-1})'(f(x))\cdot f'(x)=1$, y de ahí $(f^{-1})'(f(x))=\dfrac1{f'(x)}$. Es lo que U hace para el arcoseno.
Se elige el intervalo $[-\frac\pi2,\frac\pi2]$ donde $\operatorname{sen}$ es inyectiva y toma todos los valores de $[-1,1]$; $\arcsin:[-1,1]\to[-\frac\pi2,\frac\pi2]$ (convenio de U).
- $\arcsin(\operatorname{sen}t)=t$ para $t\in[-\frac\pi2,\frac\pi2]$. Derivando: $\arcsin'(\operatorname{sen}t)\cdot\cos t=1$.
- Despejando (hace falta $\cos t\neq0$, es decir $t\in(-\frac\pi2,\frac\pi2)$): $\arcsin'(\operatorname{sen}t)=\dfrac1{\cos t}$.
- En $(-\frac\pi2,\frac\pi2)$ es $\cos t>0$, así que $\cos t=+\sqrt{1-\operatorname{sen}^2t}$. Con $y=\operatorname{sen}t$: $$\arcsin'(y)=\frac1{\sqrt{1-y^2}},\qquad y\in(-1,1).$$
En $y=\pm1$ la tangente es vertical: no es derivable.
U p.80 U p.62 S pp.213-214La nota al margen de U dice que $\operatorname{sen}x$ tiene inversa «por ejemplo, en $[\frac\pi2,\frac{3\pi}2]$». Es cierto que ahí es inyectiva, pero el cálculo del ejemplo usa $\cos x=+\sqrt{1-\operatorname{sen}^2x}$, que sólo es cierto si $\cos x\ge0$, es decir en $[-\frac\pi2,\frac\pi2]$, el intervalo estándar del arcoseno. En $[\frac\pi2,\frac{3\pi}2]$ saldría $-1/\sqrt{1-y^2}$. Regla: al despejar una raíz, decide el signo según el intervalo elegido.
U p.80Convenio de U: $\arccos:[-1,1]\to[0,\pi]$ (en $[0,\pi]$ el coseno es estrictamente decreciente).
- $\arccos(\cos t)=t$ para $t\in[0,\pi]$. Derivando: $\arccos'(\cos t)\cdot(-\operatorname{sen}t)=1$.
- Hace falta $\operatorname{sen}t\neq0$, es decir $t\in(0,\pi)$; así $\arccos'(\cos t)=\dfrac{-1}{\operatorname{sen}t}$.
- En $(0,\pi)$ es $\operatorname{sen}t>0$: $\operatorname{sen}t=+\sqrt{1-\cos^2t}$. Con $y=\cos t$: $$\arccos'(y)=\frac{-1}{\sqrt{1-y^2}},\qquad y\in(-1,1).$$
Es la opuesta de la del arcoseno (coherente con $\arcsin y+\arccos y=\frac\pi2$).
S p.214 L p.369 U p.62$\operatorname{tg}:(-\frac\pi2,\frac\pi2)\to\mathbb R$ es biyectiva y $\operatorname{tg}'t=1+\operatorname{tg}^2t\neq0$. Convenio de U: $\operatorname{arctg}:\mathbb R\to(-\frac\pi2,\frac\pi2)$.
- Derivando $\operatorname{arctg}(\operatorname{tg}t)=t$: $\operatorname{arctg}'(\operatorname{tg}t)\,(1+\operatorname{tg}^2t)=1$.
- Con $y=\operatorname{tg}t$ (aquí no hay raíz ni signo que decidir): $$\operatorname{arctg}'(y)=\frac1{1+y^2},\qquad y\in\mathbb R.$$
- Consecuencia: para $x\neq0$, $\Big(\operatorname{arctg}\dfrac1x\Big)'=\dfrac1{1+1/x^2}\cdot\dfrac{-1}{x^2}=\dfrac{-1}{x^2+1}$, justo la opuesta de $(\operatorname{arctg}x)'$.
$f(x)=x+e^x$. Calcula $(f^{-1})'(1)$.
- $f'(x)=1+e^x>0$, luego $f$ es estrictamente creciente, inyectiva, y $f'\neq0$ en todas partes: se puede aplicar el teorema.
- Se busca $x_0$ con $f(x_0)=1$: probando, $f(0)=0+e^0=1$. Es el único por la inyectividad.
- $(f^{-1})'(1)=\dfrac1{f'(0)}=\dfrac1{1+1}=\dfrac12$.
$f^{-1}$ no se puede escribir con funciones elementales, pero su derivada en un punto sí se calcula.
PEvaluar $f'$ en el punto equivocado: $(f^{-1})'(y_0)=1/f'(\underline{x_0})$ con $x_0=f^{-1}(y_0)$, no $1/f'(y_0)$. Y no confundir $f^{-1}$ (inversa) con $\frac1f$ (inverso multiplicativo).
9Derivación logarítmica: cuando la variable está en la base y en el exponente S pp.220-222
Ninguna fila de la tabla sirve para $x^x$: $x^c$ exige exponente constante y $a^x$ exige base constante. El truco es pasar la función al mundo de las exponenciales con la identidad $A=e^{\ln A}$, válida si $A>0$. Entonces $A(x)^{B(x)}=e^{B(x)\ln A(x)}$, que es una $e^{u(x)}$ que ya sabes derivar con la cadena. Los logaritmos convierten potencias en productos y productos en sumas, que son más fáciles de derivar.
S pp.220-221Sean $A$ y $B$ derivables en $x$ con $A(x)>0$. Entonces $f(x)=A(x)^{B(x)}=e^{B(x)\ln A(x)}$ es derivable en $x$ y $$f'(x)=f(x)\cdot\big(B(x)\ln A(x)\big)'=A^B\left(B'\ln A+B\,\frac{A'}{A}\right).$$ Es la suma de las dos «reglas incorrectas»: la de la potencia (trata $B$ como constante) y la de la exponencial (trata $A$ como constante).
S pp.221-222 L p.323El método de tres pasos (equivalente a lo anterior)
- Toma logaritmos: $\ln y=B\ln A$ (posible porque $y>0$).
- Deriva los dos lados respecto de $x$: $\dfrac{y'}{y}=(B\ln A)'$ (cadena del $\ln$ a la izquierda).
- Despeja: $y'=y\cdot(B\ln A)'$. No olvides multiplicar por $y$.
(a) $f(x)=x^x$, $x>0$. $f=e^{x\ln x}$, $(x\ln x)'=\ln x+1$, luego $f'(x)=x^x(\ln x+1)$.
(b) $f(x)=x^{\sqrt x}$, $x>0$. $f=e^{\sqrt x\ln x}$ y $(\sqrt x\ln x)'=\dfrac{\ln x}{2\sqrt x}+\dfrac1{\sqrt x}=\dfrac{2+\ln x}{2\sqrt x}$. Así $f'(x)=x^{\sqrt x}\,\dfrac{2+\ln x}{2\sqrt x}$.
(La función de E 2.16, $x^{1/x}$, se resuelve en el apartado 12.)
P S pp.221-222$f(x)=\dfrac{x^2\sqrt{x+1}}{x^2+1}$, $x>0$. Derivarla con cociente y producto es pesado; con logaritmos:
- $\ln f=2\ln x+\tfrac12\ln(x+1)-\ln(x^2+1)$ (propiedades de $\ln$; todo es positivo si $x>0$).
- Derivando: $\dfrac{f'}{f}=\dfrac2x+\dfrac1{2(x+1)}-\dfrac{2x}{x^2+1}$.
- $f'(x)=\dfrac{x^2\sqrt{x+1}}{x^2+1}\left(\dfrac2x+\dfrac1{2(x+1)}-\dfrac{2x}{x^2+1}\right)$.
Si $f$ toma valores negativos, se aplica a $|f|$: $(\ln|f|)'=f'/f$ (para $f\ne0$; recuerda que $(\ln|x|)'=\frac1x$).
S pp.220-221 L p.323(1) Aplicar $(x^{1/x})'=\frac1x\,x^{\frac1x-1}$ o $x^{1/x}\ln x\cdot(\frac1x)'$: cada una trata como constante algo que no lo es. (2) Tomar $\ln$ de algo que puede ser $\le0$. (3) Despejar $y'$ y olvidar multiplicar por $y$.
10Dominio de $f'$: cuando la fórmula falla U pp.78, 81
Las reglas dicen: «si las piezas son derivables aquí, entonces la combinación lo es». No dicen nada de qué pasa donde las hipótesis fallan (una raíz en $0$, un denominador que se anula…). Ahí la fórmula que sale de las reglas no existe, pero la función puede ser derivable o no: hay que mirar con la definición.
S p.159- $f'$ tiene como dominio el conjunto de puntos donde $f$ es derivable; por tanto $\operatorname{dom}f'\subseteq\operatorname{dom}f$.
- Un punto de $\operatorname{dom}f$ donde la fórmula de $f'$ tiene sentido y se han cumplido las hipótesis de cada regla está en $\operatorname{dom}f'$.
- Un punto de $\operatorname{dom}f$ donde la fórmula falla se decide con la definición (cociente incremental) o con las derivadas laterales: $f'(a^+)=\lim_{h\to0^+}\frac{f(a+h)-f(a)}h$ y $f'(a^-)=\lim_{h\to0^-}\frac{f(a+h)-f(a)}h$. Si existen, son finitas e iguales, $f'(a)$ existe; si no, no es derivable. Si $a$ es un extremo del dominio (por ejemplo $a=0$ en $x^{3/2}$, definida para $x\ge0$, o $a=-8$ en E 2.10) sólo tiene sentido una derivada lateral y esa decide: si es finita, $f$ es derivable en $a$ (con esa derivada); si es infinita, no.
Estudia la derivabilidad en $x=0$ de (a) $f(x)=\sqrt{x^2-x^3}$ y (b) $g(x)=\sqrt{x^4+x^6}$.
- (a) $\operatorname{dom}f$: $x^2(1-x)\ge0\iff x\le1$. Las reglas dan $f'(x)=\dfrac{2x-3x^2}{2\sqrt{x^2-x^3}}$, que no existe en $x=0$ ni en $x=1$.
- En $0$: $f(h)=|h|\sqrt{1-h}$, luego $\dfrac{f(h)-f(0)}h=\dfrac{|h|}h\sqrt{1-h}$, que tiende a $1$ si $h\to0^+$ y a $-1$ si $h\to0^-$. Las derivadas laterales existen pero son distintas: no es derivable (hay un «pico»). En $x=1$ el cociente por la izquierda tiende a $-\infty$: tampoco. $\operatorname{dom}f'=(-\infty,0)\cup(0,1)$.
- (b) Las reglas dan $g'(x)=\dfrac{4x^3+6x^5}{2\sqrt{x^4+x^6}}$, que en $x=0$ es $\frac00$: no existe. Pero $g(h)=h^2\sqrt{1+h^2}$ y $\dfrac{g(h)-g(0)}h=h\sqrt{1+h^2}\to0$. $g$ sí es derivable en $0$ con $g'(0)=0$, y $\operatorname{dom}g'=\mathbb R$.
Cuando te pidan «dominio de $f$ y de $f'$»: (1) dominio de $f$ mirando cada pieza delicada (raíz par: radicando $\ge0$; denominador $\neq0$; logaritmo: argumento $>0$); (2) deriva con las reglas; (3) en cada punto del dominio donde la fórmula falla, decide con el cociente incremental. No respondas sólo «donde tiene sentido la fórmula».
11Guía «¿qué regla uso?»
- Dominio. ¿Dónde tiene sentido $f$? (raíces pares, denominadores, logaritmos, tangentes…).
- Última operación. ¿Suma, producto, cociente, composición o una potencia con variable en el exponente? Esa es tu primera regla.
- Desmonta en capas y escribe cada derivada por separado antes de juntar.
- Monta y simplifica (busca $\operatorname{sen}^2+\cos^2=1$, factor común, cancelaciones válidas).
- Dominio de $f'$. Comprueba los puntos donde la fórmula falla (apartado 10).
| La función tiene la forma… | Regla | Ojo con… |
|---|---|---|
| $u\pm v$ , $c\cdot u$ | suma; constante por función | la constante sale fuera, la suma se reparte |
| $u\cdot v$ | producto: $u'v+uv'$ | no es $u'v'$ |
| $u/v$ | cociente: $\dfrac{u'v-uv'}{v^2}$ | signo y orden del numerador; $v\neq0$ |
| $F(u(x))$ (función dentro de función) | cadena: $F'(u)\,u'$ | no olvidar $u'$; una derivada por capa |
| $u^c$ con $c$ constante | cadena con la fila $x^c$: $c\,u^{c-1}u'$ | $c$ constante de verdad |
| $a^{u}$ ($a$ constante), $e^{u}$ | cadena con la fila $a^x$: $a^u(\ln a)u'$ | el $\ln a$ |
| $A(x)^{B(x)}$ | $e^{B\ln A}$ (derivación logarítmica) | $A>0$; multiplicar por la función |
| $\operatorname{tg},\operatorname{cotg},\sec,\csc$ | reescribir con $\operatorname{sen},\cos$ y cociente (o fila de la tabla) | signo $-$ en las «co» |
| $\arcsin,\arccos,\operatorname{arctg}$ de algo | fila de la tabla y cadena | dominio $(-1,1)$ para $\arcsin,\arccos$ |
| $f^{-1}$ en un punto, sin fórmula | $(f^{-1})'(y_0)=1/f'(x_0)$, $f(x_0)=y_0$ | evaluar $f'$ en $x_0$, no en $y_0$ |
| producto/cociente largo con potencias | logaritmos ($\ln|f|$) | puede haber signos negativos |
| una función «desconocida» $g$ dentro | cadena en general y sustituir el dato | $g'$ se evalúa en $u(a)$, no en $a$ |
12Ejercicios del libro, resueltos E pp.52-61
Orden de estudio recomendado, de fácil a difícil: 2.3 → 2.11 → 2.4 → 2.12 → 2.5 → 2.10 → 2.16 → 2.13 → 2.15. Aquí van por numeración para que los encuentres rápido. Todos los resultados están comprobados con sympy.
Ejercicio 2.3 — producto y cociente: $\operatorname{sen}x\cos x$ y $\sec x$ E p.52
Calcula las derivadas de las funciones dadas por $f(x)=\operatorname{sen}x\cos x$ y $g(x)=\sec x$.
Parte $f$.
- Estructura. $f$ es el producto de $u=\operatorname{sen}x$ y $v=\cos x$, derivables en todo $\mathbb R$: $u'=\cos x$, $v'=-\operatorname{sen}x$ (tabla, U p.79).
- Regla del producto (U Prop. 2.1): $f'(x)=\cos x\cos x+\operatorname{sen}x(-\operatorname{sen}x)=\cos^2x-\operatorname{sen}^2x$.
- Comprobación por otro camino. $\operatorname{sen}2x=2\operatorname{sen}x\cos x$, luego $f=\tfrac12\operatorname{sen}2x$ y por la cadena $f'(x)=\tfrac12\cos(2x)\cdot2=\cos2x$.
- Ambas respuestas coinciden: $\cos2x=\cos^2x-\operatorname{sen}^2x$. Dos caminos correctos dan la misma función aunque con distinto aspecto.
Parte $g$.
- Reescribir: $\sec x=\dfrac1{\cos x}$, con dominio $x\neq\frac\pi2+k\pi$, $k\in\mathbb Z$.
- Cociente (exige denominador $\neq0$, justo el dominio): $g'(x)=\dfrac{0\cdot\cos x-1\cdot(-\operatorname{sen}x)}{\cos^2x}=\dfrac{\operatorname{sen}x}{\cos^2x}=\sec x\operatorname{tg}x$.
- Otro camino (cadena): $g=(\cos x)^{-1}$, $g'=(-1)(\cos x)^{-2}(-\operatorname{sen}x)=\sec x\operatorname{tg}x$.
- $g'$ existe en todo el dominio de $g$.
Resultado: $f'(x)=\cos^2x-\operatorname{sen}^2x=\cos2x$; $\ g'(x)=\sec x\operatorname{tg}x$ para $x\neq\frac\pi2+k\pi$.
Error típico: creer que $(uv)'=u'v'$ (daría $-\cos x\operatorname{sen}x$, falso), o tomar por distintas dos respuestas equivalentes.
Nota sobre E: el libro escribe «¡Oh! Hemos llegado a resultados distintos?» (falta el signo de apertura); no hay error matemático.
Ejercicio 2.4 — cadena con tres capas E p.53
Calcula la derivada de la función dada por $h(x)=\operatorname{sen}\big((1+\cos x)^2\big)$.
- Capas (de dentro hacia fuera): $u=1+\cos x\to v=u^2\to F=\operatorname{sen}v$. Todas derivables en $\mathbb R$; $h$ también.
- Capa exterior (U p.79): $h'(x)=\cos\big((1+\cos x)^2\big)\cdot\big[(1+\cos x)^2\big]'$.
- Capa intermedia (fila $u^c$, $c=2$, U p.80): $\big[(1+\cos x)^2\big]'=2(1+\cos x)\cdot(1+\cos x)'$.
- Capa interior: $(1+\cos x)'=0-\operatorname{sen}x=-\operatorname{sen}x$.
- Juntar: $$h'(x)=-2\operatorname{sen}x\,(1+\cos x)\cos\big((1+\cos x)^2\big).$$
Error típico: derivar dos capas de golpe y perder un factor (p. ej. el $-\operatorname{sen}x$), o cambiar el argumento del coseno.
Ejercicio 2.5 — dominio, cadena, producto y logaritmo E p.54
Calcula la derivada de la función dada por $f(x)=\operatorname{sen}\!\big(e^{x^2}+(x+1)\ln x^2\big)$.
- Dominio. $\operatorname{sen}$ y $e^t$ existen en todo $\mathbb R$; $\ln t$ exige $t>0$, aquí $t=x^2>0\iff x\neq0$. $\operatorname{dom}f=\mathbb R\setminus\{0\}$.
- Capa exterior. $f=\operatorname{sen}\circ G$ con $G(x)=e^{x^2}+(x+1)\ln x^2$: $f'(x)=\cos(G(x))\cdot G'(x)$.
- Derivar $G$ sumando a sumando:
- $\big(e^{x^2}\big)'=2x\,e^{x^2}$ (fila $e^{u}$).
- $\big((x+1)\ln x^2\big)'$ es un producto: $1\cdot\ln x^2+(x+1)(\ln x^2)'$.
- $(\ln x^2)'=\dfrac1{x^2}\cdot2x=\dfrac2x$ (fila $\ln u$), válido para $x>0$ y para $x<0$.
- Luego $\big((x+1)\ln x^2\big)'=\ln x^2+\dfrac{2(x+1)}x=\ln x^2+2+\dfrac2x$.
- Resultado ($x\neq0$): $$f'(x)=\cos\!\big(e^{x^2}+(x+1)\ln x^2\big)\Big(2xe^{x^2}+\ln x^2+2+\frac2x\Big).$$
- Dominio de $f'$: en todo $x\neq0$ se han cumplido las hipótesis de cada regla: $\operatorname{dom}f'=\mathbb R\setminus\{0\}=\operatorname{dom}f$.
Error típico: simplificar $\ln x^2=2\ln x$: sólo vale para $x>0$; lo correcto es $2\ln|x|$. Derivar como $\ln u(x)$, como aquí, evita el problema.
Ejercicio 2.10 — dominio de $f$ y de $f'$ (raíces y exponencial) E p.57
Compare el dominio de las funciones dadas por $f(x)=\sqrt{2+\sqrt[3]{x}}$ y $g(x)=e^{\frac{x}{x+1}}$ con el de las funciones que se obtienen al aplicar las reglas de derivación a $f(x)$ y $g(x)$. Represente gráficamente $f$ y $g$ utilizando Maxima.
Función $f$.
- Dominio de $f$. $\sqrt[3]x$ existe para todo $x\in\mathbb R$ (raíz de índice impar). La raíz cuadrada exige $2+\sqrt[3]x\ge0\iff\sqrt[3]x\ge-2\iff x\ge-8$ (el último paso es válido porque $t\mapsto t^3$ es estrictamente creciente). $\operatorname{dom}f=[-8,+\infty)$.
- Derivada de $\sqrt[3]x$. Para $x>0$ es $x^{1/3}$ y da $\frac13x^{-2/3}=\dfrac1{3\sqrt[3]{x^2}}$. Para $x<0$, $\sqrt[3]x=-(-x)^{1/3}$ y por la cadena sale la misma expresión. En $x=0$ no existe la fórmula: con la definición, $\dfrac{\sqrt[3]h-0}{h}=h^{-2/3}\to+\infty$, no es finito, $\sqrt[3]{\cdot}$ no es derivable en $0$.
- Cadena (con $(\sqrt t)'=\frac1{2\sqrt t}$, válida para $t>0$): $$f'(x)=\frac1{2\sqrt{2+\sqrt[3]x}}\cdot\frac1{3\sqrt[3]{x^2}}=\frac1{6\sqrt{2+\sqrt[3]x}\,\sqrt[3]{x^2}},$$ válida si $x>-8$ y $x\neq0$.
- Los puntos dudosos, con la definición. Que la fórmula no exista no prueba por sí solo que $f$ no sea derivable (apartado 10). En $x=0$: $\dfrac{f(h)-f(0)}h=\dfrac{\sqrt{2+\sqrt[3]h}-\sqrt2}h\to+\infty$ (tangente vertical). En $x=-8$ (sólo por la derecha): $\dfrac{\sqrt{2+\sqrt[3]{-8+h}}}h\to+\infty$ si $h\to0^+$. En ambos, no derivable.
- Conclusión: $\operatorname{dom}f'=(-8,0)\cup(0,+\infty)\subsetneq\operatorname{dom}f=[-8,+\infty)$.
Función $g$.
- $\operatorname{dom}g=\mathbb R\setminus\{-1\}$ (el exponente exige $x\neq-1$).
- Cadena con $e^{u}$ y cociente: $g'(x)=e^{\frac x{x+1}}\cdot\dfrac{1\cdot(x+1)-x\cdot1}{(x+1)^2}=\dfrac{e^{\frac x{x+1}}}{(x+1)^2}$.
- Las reglas valen en todo $x\neq-1$: $\operatorname{dom}g'=\operatorname{dom}g=\mathbb R\setminus\{-1\}$.
- Maxima. Con
plot2d(sqrt(2+x^(1/3)),[x,-8,20])Maxima toma $x^{1/3}$ como complejo para $x<0$ y no dibuja esa parte; usa la raíz realsignum(x)*abs(x)^(1/3). Para $g$:plot2d(exp(x/(x+1)),[x,-5,5],[y,0,10]).
Error típico: dar como dominio de $f'$ «donde tiene sentido la fórmula», o incluir $x=-8$ porque «está en el dominio de $f$».
Omisión de E: el libro deduce $\operatorname{dom}f'$ sólo mirando dónde se anula el denominador de la fórmula. El resultado es correcto pero el argumento es incompleto: hay que estudiar $x=0$ y $x=-8$ con la definición.
Ejercicio 2.11 — cadena con cotangente (test) E p.58
Señale la derivada de la función dada por $h(x)=\operatorname{cotg}x^3$: a) $h'(x)=\dfrac{-3x^2}{\operatorname{sen}^2x^3}$; b) $h'(x)=\dfrac{-1}{\operatorname{sen}^2x^3}$; c) $h'(x)=\dfrac{3x^2}{\operatorname{sen}x}$.
- Leer bien. $\operatorname{cotg}x^3=\operatorname{cotg}(x^3)$: composición $h=F\circ u$ con $u=x^3$, $F=\operatorname{cotg}$.
- Exterior. $(\operatorname{cotg}t)'=\dfrac{-1}{\operatorname{sen}^2t}$ (apartado 7, cociente con $\operatorname{cotg}t=\frac{\cos t}{\operatorname{sen}t}$).
- Interior. $u'=3x^2$.
- Cadena: $h'(x)=\dfrac{-1}{\operatorname{sen}^2(x^3)}\cdot3x^2=\dfrac{-3x^2}{\operatorname{sen}^2x^3}$, válida donde $\operatorname{sen}(x^3)\neq0$.
- Descartar. b) olvida $u'=3x^2$; c) tiene signo y denominador incorrectos. Correcta: a).
Error típico: la opción b), olvidar el factor $u'(x)$.
Ejercicio 2.12 — cadena con una función desconocida E p.59
De la función $g$ se sabe que es derivable en todo $\mathbb R$ y además verifica $g'(2)=3$. Calcula el valor de $f'(1)$ para la función $f$ dada por $f(x)=g(2x^a)$, en función del parámetro $a\in[1,\infty)$.
- Idea. No conocemos $g$, pero la cadena sólo necesita $g'$ en un punto concreto: el valor de la función interior en $x=1$.
- Interior. $u(x)=2x^a$. Cerca de $x=1$ es $x>0$, y ahí $x^a$ es derivable con $(x^a)'=a x^{a-1}$ para cualquier $a$ real. Luego $u'(x)=2ax^{a-1}$ y $u(1)=2$.
- Hipótesis de la cadena: $u$ derivable en $1$ y $g$ derivable en $u(1)=2$ (cierto, $g$ es derivable en todo $\mathbb R$). Entonces $$f'(1)=g'(u(1))\,u'(1)=g'(2)\cdot2a\cdot1^{a-1}=3\cdot2a=6a.$$
Resultado: $f'(1)=6a$.
Error típico: escribir $f'(1)=g'(1)\cdots$ (evaluar $g'$ en $x=1$ en vez de en $u(1)=2$), o pensar que «faltan datos».
Errata de E: el libro afirma que «$x^a$ es derivable en todo $\mathbb R$ para todo $a\in[1,\infty)$». Es falso si $a$ no es entero (p. ej. $x^{3/2}$ no está definida para $x<0$). No afecta al resultado porque sólo hace falta derivabilidad cerca de $x=1$. La restricción $a\ge1$ tampoco es necesaria: $f'(1)=6a$ vale para todo $a\in\mathbb R$.
Ejercicio 2.13 — dominio y derivada de $\arccos\sqrt x$ E p.59
Determina el dominio y calcula la derivada de la función dada por $f(x)=\arccos\sqrt x$.
- Qué es $\arccos$. El coseno es estrictamente decreciente en $[0,\pi]$ y allí toma todos los valores de $[-1,1]$; por eso $\arccos:[-1,1]\to[0,\pi]$ (convenio de U p.62 y de E). $\arccos y$ es el único $\alpha\in[0,\pi]$ con $\cos\alpha=y$.
- Dominio. Se necesita $x\ge0$ y $\sqrt x\in[-1,1]$, es decir $0\le\sqrt x\le1\iff0\le x\le1$. $\operatorname{dom}f=[0,1]$.
- Derivada de $\arccos$ (apartado 8): $\arccos'(y)=\dfrac{-1}{\sqrt{1-y^2}}$ para $y\in(-1,1)$. Aquí es donde importa el signo: $\operatorname{sen}t>0$ en $(0,\pi)$.
- Cadena con $u(x)=\sqrt x$, $u'(x)=\dfrac1{2\sqrt x}$ (para $x>0$), y $u(x)\in(-1,1)\iff x<1$: $$f'(x)=\frac{-1}{\sqrt{1-x}}\cdot\frac1{2\sqrt x}=\frac{-1}{2\sqrt{x-x^2}},\qquad0<x<1.$$ (Se usa $\sqrt a\sqrt b=\sqrt{ab}$ para $a,b\ge0$.)
- Extremos. En $x=0$ y $x=1$ la fórmula no existe. Con la definición, las derivadas laterales valen $-\infty$ (tangentes verticales): por ejemplo, cerca de $1$, $f(1-h)\approx\sqrt h$ y el cociente incremental es $\approx-\frac1{\sqrt h}\to-\infty$. No derivable. Por tanto $\operatorname{dom}f'=(0,1)$.
Resultado: $\operatorname{dom}f=[0,1]$; $f'(x)=\dfrac{-1}{2\sqrt{x-x^2}}$ en $(0,1)$.
Error típico: escribir $\operatorname{sen}t=\pm\sqrt{1-\cos^2t}$ sin decidir el signo; olvidar el signo menos del $\arccos'$; dar $[0,1]$ como dominio de $f'$.
Omisión de E: el libro divide por $\operatorname{sen}x$ y toma la raíz positiva sin decir que eso exige $x\in(0,\pi)$; no da el dominio de $f'$ (que es $(0,1)$) y supone que $\arccos$ es derivable sin justificarlo.
Ejercicio 2.15 — derivada de una inversa en un punto (test) E p.60 L p.341
Señala el valor de la derivada de la función inversa de $f(x)=x^5+x^3+x$ en el punto $y=3$: a) $6$; b) $9$; c) $\frac16$; d) $\frac19$.
- ¿Existe $f^{-1}$? Hace falta $f$ inyectiva. $f'(x)=5x^4+3x^2+1\ge1>0$, luego $f$ es estrictamente creciente en $\mathbb R$ (esto lo justifica U en la Prop. 2.4 de §2.5.4, p.98) y por tanto inyectiva. También se ve directamente: $x^5$, $x^3$ y $x$ son estrictamente crecientes y su suma también.
- ¿Dónde está definida? $f$ es continua, tiende a $-\infty$ y a $+\infty$ en los extremos; por el teorema de los valores intermedios (U p.52) toma todos los valores reales: $f^{-1}:\mathbb R\to\mathbb R$.
- Fórmula. Como $f'(x)\neq0$, $f^{-1}$ es derivable (Teor. 5.9 de Larson). Derivando $f^{-1}(f(x))=x$: $(f^{-1})'(f(x))=\dfrac1{f'(x)}=\dfrac1{5x^4+3x^2+1}$.
- El $x$ que corresponde a $y=3$. Se resuelve $x^5+x^3+x=3$; se prueba $x=1$: $1+1+1=3$. Es la única solución por inyectividad: $f^{-1}(3)=1$.
- Sustituir: $(f^{-1})'(3)=\dfrac1{f'(1)}=\dfrac1{5+3+1}=\dfrac19$. Opción d).
Error típico: evaluar en el punto equivocado, $\frac1{f'(3)}=\frac1{433}$; o no invertir y contestar $f'(1)=9$ (opción b), que es la trampa del test.
Comentario: E usa «$f'>0$ implica estrictamente creciente» (en U es la Prop. 2.4, posterior a este tema) y la derivabilidad de $f^{-1}$, que ni U ni E demuestran. El ejemplo de L Ej. 5, p.341, es análogo (usa $f(x)=\frac{x^3}4+x-1$).
Ejercicio 2.16 — derivación logarítmica de $x^{1/x}$ E p.61
Calcula el valor de la derivada de $f:(0,+\infty)\to\mathbb R$ dada por $f(x)=\sqrt[x]{x}$ (raíz $x$-ésima de $x$).
- Reescribir como potencia. $\sqrt[x]x=x^{1/x}$.
- Por qué no sirve la tabla. La fila $x^c$ exige exponente constante y la $a^x$ exige base constante; aquí varían ambos.
- Truco. Para $x>0$, $x=e^{\ln x}$, luego $f(x)=e^{\frac{\ln x}x}$. (Equivale a «tomar logaritmos»: $\ln f=\frac1x\ln x$, posible porque $f>0$.)
- Derivar el exponente $u(x)=\dfrac{\ln x}x$ con el cociente: $u'(x)=\dfrac{\frac1x\cdot x-\ln x\cdot1}{x^2}=\dfrac{1-\ln x}{x^2}$.
- Cadena con $e^{u}$: $f'(x)=e^{u}u'=x^{1/x}\,\dfrac{1-\ln x}{x^2}$, $x>0$.
- Comprobación de sentido. $f'>0$ si $x<e$ y $f'<0$ si $x>e$: $x^{1/x}$ crece hasta $x=e$ y luego decrece (máximo $e^{1/e}\approx1{,}44$), y tiende a $1$ cuando $x\to\infty$ (U Ej. 2.12, p.84, calcula ese límite con logaritmos).
Resultado: $f'(x)=x^{1/x}\dfrac{1-\ln x}{x^2}$ (E da la forma equivalente $x^{1/x}\big[\frac{-1}{x^2}\ln x+\frac1{x^2}\big]$).
Error típico: aplicar la regla de la potencia $\frac1x x^{\frac1x-1}$ o la de la exponencial $x^{1/x}\ln x\cdot(\frac1x)'$: cada una trata como constante algo que no lo es (el resultado correcto es la suma de ambas). Otro: despejar $f'$ y olvidar multiplicar por $f(x)$.
Nota: no confundir con $x^{\sqrt x}$, que es el ejemplo (b) del apartado 9.
13Así lo preguntan en el examen X
Estos son los tipos reales que caen de este tema en los exámenes resueltos. Son preguntas cortas (1 punto): la dificultad no está en la teoría, sino en no perder ningún factor de la cadena, en leer bien el enunciado ($\operatorname{sen}^2 3x$ no es $\operatorname{sen}(\operatorname{sen}3x)$) y en evaluar cada derivada en el punto correcto cuando hay una función desconocida. Intenta cada problema antes de abrir la solución.
Problema 1 — producto y cadena: $f(x)=x^2e^{\cos x}$ X p.96
Determine la derivada de la función $f(x)=x^2e^{\cos x}$.
Es un producto de dos cosas ($x^2$ y $e^{\cos x}$): se usa la regla del producto, y la segunda cosa, que tiene algo «dentro», se deriva con la regla de la cadena.
- Regla del producto. $f=u\cdot v$ con $u=x^2$ y $v=e^{\cos x}$, y $f'=u'v+uv'$.
- Derivar $u$: $u'=2x$.
- Derivar $v$ con la cadena: se deriva la exponencial dejando el interior igual, y se multiplica por la derivada del interior: $v'=e^{\cos x}\cdot(-\operatorname{sen}x)$.
- Juntar: $f'=2x\,e^{\cos x}+x^2e^{\cos x}(-\operatorname{sen}x)$.
- Sacar factor común $e^{\cos x}$ (opcional, queda más limpio).
Lo que escribes en el examen: $$f'(x)=e^{\cos x}\bigl(2x-x^2\operatorname{sen}x\bigr),\qquad x\in\mathbb R$$ (es derivable en todo $\mathbb R$: producto y composición de funciones derivables).
Error típico: olvidar el signo de $(\cos x)'=-\operatorname{sen}x$. La solución impresa coincide.
Problema 2 — cadena con varias capas: $\operatorname{sen}\bigl[\cos^2(2/x)\bigr]$ X p.52
Calcular la derivada de la función $\operatorname{sen}\left[\cos^2\left(\dfrac{2}{x}\right)\right]$.
Es como una muñeca rusa: una función dentro de otra dentro de otra. Se abre de fuera hacia dentro, se deriva cada capa y se multiplican todas las derivadas.
- Contar las capas (de fuera a dentro): $\operatorname{sen}(\cdots)$, luego $(\cdots)^2$, luego $\cos(\cdots)$, luego $2/x$. Son 4 capas, así que saldrán 4 factores.
- Derivar cada capa dejando intacto lo que tiene dentro:
- $\operatorname{sen}$ da $\cos\bigl[\cos^2\frac2x\bigr]$;
- el cuadrado da $2\cos\frac2x$;
- $\cos$ da $-\operatorname{sen}\frac2x$;
- $\frac2x=2x^{-1}$ da $-\frac2{x^2}$.
- Multiplicar los 4 factores. Los dos signos menos se cancelan y $2\cdot2=4$.
Lo que escribes en el examen: $$f'(x)=\frac{4}{x^2}\cos\frac2x\,\operatorname{sen}\frac2x\,\cos\!\Bigl[\cos^2\frac2x\Bigr],\qquad x\neq0.$$ (Opcional: $2\operatorname{sen}a\cos a=\operatorname{sen}2a$ da $f'(x)=\frac{2}{x^2}\operatorname{sen}\frac4x\cos[\cos^2\frac2x]$.)
Error típico: leer $\cos^2(2/x)$ como $\cos(\cos(2/x))$, o perder la capa $2/x$ o su signo.
No indica el dominio $x\neq0$ (el resultado coincide).
Problema 3 — arcotangente y cadena: $\operatorname{arctg}\sqrt{x^2-1}-\operatorname{sen}^2 3x$ X p.46
Calcular la derivada de $f(x)=\operatorname{arctg}\sqrt{x^2-1}-\operatorname{sen}^2 3x$.
Son dos sumandos: se derivan por separado, cada uno con la regla de la cadena (de fuera hacia dentro), y se restan.
- Dónde existe. La raíz pide $x^2-1\ge0$, o sea $|x|\ge1$. Pero $\sqrt{\ }$ no se puede derivar donde vale $0$, así que la fórmula valdrá para $|x|>1$ (en $x=\pm1$ la tangente es vertical y $f$ no es derivable).
- Primer sumando, $\operatorname{arctg}\sqrt{x^2-1}$. Tres capas, tres factores:
- $\operatorname{arctg}$ da $\dfrac1{1+(x^2-1)}=\dfrac1{x^2}$ (se simplifica ya);
- la raíz da $\dfrac1{2\sqrt{x^2-1}}$;
- $x^2-1$ da $2x$.
- Segundo sumando, $\operatorname{sen}^2 3x$. Es $(\operatorname{sen}3x)^2$; tres capas: el cuadrado da $2\operatorname{sen}3x$, el seno da $\cos3x$, el $3x$ da $3$. Total: $6\operatorname{sen}3x\cos3x$.
- Restar.
Lo que escribes en el examen: $$f'(x)=\frac{1}{x\sqrt{x^2-1}}-6\operatorname{sen}3x\cos3x,\qquad |x|>1.$$
Error típico: escribir $\frac{1}{\sqrt{x^4-x^2}}$: siempre es positivo, pero para $x<-1$ el término correcto $\frac1{x\sqrt{x^2-1}}$ es negativo. Deja $x$ sin meterla en la raíz.
Resultado correcto, pero no indica el dominio ni que $f$ no es derivable en $x=\pm1$.
Problema 4 — cadena con función desconocida: $g(x)=\operatorname{sen}\bigl(f(5x^2-8)\bigr)$ X p.144
Sabiendo que $f$ es derivable y verifica $f(2)=\pi$ y $f'(2)=3$, calcular $g'(\sqrt2)$ siendo $g(x)=\operatorname{sen}\bigl(f(5x^2-8)\bigr)$.
No conocemos $f$, solo sus valores en $2$. Se deriva con la cadena sin sustituir nada y, al final, se ve que en $x=\sqrt2$ lo de dentro de $f$ vale justo $2$, el punto donde nos dan los datos.
- Derivar con la cadena (tres capas: $\operatorname{sen}$, $f$ y $5x^2-8$): $$g'(x)=\cos\bigl(f(5x^2-8)\bigr)\cdot f'(5x^2-8)\cdot10x.$$
- Ver qué vale lo de dentro en $x=\sqrt2$: $5\cdot(\sqrt2)^2-8=5\cdot2-8=2$. Es el punto de los datos.
- Sustituir $f(2)=\pi$ y $f'(2)=3$: $g'(\sqrt2)=\cos\pi\cdot3\cdot10\sqrt2$.
Lo que escribes en el examen: como $\cos\pi=-1$, $$g'(\sqrt2)=-30\sqrt2.$$
Error típico: escribir $f'(\sqrt2)$ en lugar de $f'(2)$ (la $f'$ se evalúa en lo de dentro, no en $x$).
Escribe «$(g(\sqrt2))'$» por $g'(\sqrt2)$; el resultado coincide.
Variantes del mismo tipo para practicar:
- $f(0)=1$, $f'(0)=-2$, $g(x)=f^2(\operatorname{sen}x)$: $g'(x)=2f(\operatorname{sen}x)\,f'(\operatorname{sen}x)\cos x$ y $g'(0)=-4$. Ojo: $f^2(\operatorname{sen}x)$ es $[f(\operatorname{sen}x)]^2$, no $f(f(\operatorname{sen}x))$. X p.25
- $f(0)=\pi$, $f'(0)=2$, $g(x)=\cos\bigl(f(\cos x)\bigr)$: $g'(x)=\operatorname{sen}\bigl(f(\cos x)\bigr)f'(\cos x)\operatorname{sen}x$ y $g'(\pi/2)=\operatorname{sen}\pi\cdot2\cdot1=0$ (opción A del test). La impresa tiene un paréntesis sin cerrar, errata tipográfica sin consecuencias. X pp.122-123
Problema 5 — el problema «al revés»: hallar $g'(2)$ a partir de $f(x)=x\,g(2x)$ X p.64
Se sabe que $f$ y $g$ son derivables, $g(2)=-1$, $f'(1)=2$ y que $f(x)=x\,g(2x)$. Calcule $g'(2)$. Indicación: aplique la regla de la cadena.
Se deriva la igualdad $f(x)=x\,g(2x)$ (producto y cadena) y se sustituye en el $x$ que hace que $g'$ aparezca justo en el punto pedido; ahí hay una ecuación con $g'(2)$ y se despeja.
- Derivar con el producto: $f'(x)=1\cdot g(2x)+x\cdot\bigl(g(2x)\bigr)'$.
- Derivar $g(2x)$ con la cadena: $g'(2x)\cdot2$. Queda $$f'(x)=g(2x)+2x\,g'(2x).$$
- Elegir $x$. Para tener $g'(2)$ hace falta $2x=2$, o sea $x=1$. Y en $x=1$ conocemos $f'(1)=2$.
- Sustituir $x=1$ y los datos $g(2)=-1$, $f'(1)=2$: $\;2=-1+2g'(2)$.
- Despejar: $2g'(2)=3$.
Lo que escribes en el examen: $f'(x)=g(2x)+2x\,g'(2x)$; en $x=1$: $2=-1+2g'(2)$, luego $g'(2)=\tfrac32$.
Error típico: olvidar el factor $2$ de la derivada de $2x$ y obtener $g'(2)=3$. La solución impresa coincide.
Problema 6 — derivada segunda: $f(x)=\dfrac1{x^2+2x+1}+\cos(e^x)$ X p.139
Sea $f(x)=\dfrac{1}{x^2+2x+1}+\cos(e^x)$. ¿Cuál es su derivada segunda?
La derivada segunda es derivar dos veces. Antes de empezar, el denominador se reconoce como un cuadrado, $(x+1)^2$, para tratarlo como una potencia y no usar la regla del cociente.
- Reescribir: $x^2+2x+1=(x+1)^2$, así que $\dfrac1{x^2+2x+1}=(x+1)^{-2}$ (dominio $x\neq-1$).
- Primera derivada del primer sumando: $\bigl((x+1)^{-2}\bigr)'=-2(x+1)^{-3}$.
- Primera derivada del segundo sumando (cadena: $\cos$ por fuera, $e^x$ por dentro): $\bigl(\cos e^x\bigr)'=-e^x\operatorname{sen}(e^x)$.
- Segunda derivada del primer sumando: $\bigl(-2(x+1)^{-3}\bigr)'=6(x+1)^{-4}$.
- Segunda derivada del segundo sumando. $-e^x\operatorname{sen}(e^x)$ es un producto; la derivada de $e^x\operatorname{sen}(e^x)$ es $e^x\operatorname{sen}(e^x)+e^x\cos(e^x)\,e^x$ (el último $e^x$ sale de la cadena). Con el signo menos delante queda $-e^x\operatorname{sen}(e^x)-e^{2x}\cos(e^x)$.
Lo que escribes en el examen: $f'(x)=-2(x+1)^{-3}-e^x\operatorname{sen}(e^x)$ y $$f''(x)=\frac{6}{(x+1)^4}-e^x\operatorname{sen}(e^x)-e^{2x}\cos(e^x),\qquad x\neq-1.$$
Error típico: derivar $e^x\operatorname{sen}(e^x)$ sin la regla del producto (quedándose solo con $e^{2x}\cos(e^x)$).
El PDF no trae la solución; esta es propia y verificada con sympy.
- Derivada de la función inversa en un punto, $(f^{-1})'(y_0)=1/f'(x_0)$ (p. ej. $f(x)=x^3+x$, $(f^{-1})'(2)=\tfrac14$), y deducción de $(\operatorname{arcsen})'$, $(\operatorname{arccos})'$ (apartado 8).
- Derivación logarítmica ($x^x$, $(\operatorname{sen}x)^x$…) (apartado 9).
- Derivación implícita en una variable (tangente a $F(x,y)=0$, p. ej. $x^2+y^2=9$); en X sólo aparece como función implícita en varias variables (tema 5).
- Derivadas de $\operatorname{tg}$, $\sec$, $\operatorname{cotg}$ como pregunta propia (apartado 7).
- Dominio de $f'$ y puntos donde la fórmula falla (apartado 10); aparece implícito en el Problema 3 y en preguntas de §2.1 tipo «¿es derivable $|x^2\operatorname{sen}x|$ en $0$?».
- Recta tangente: sale en X (clasificada en 2.1), con derivadas inmediatas.
Cúbrelos con los ejercicios de E de este tema (2.3-2.5, 2.10-2.13, 2.15-2.16).
14Chuleta y lista de comprobación
Suma: $(f+g)'=f'+g'$. Constante: $(cf)'=cf'$. Producto: $(fg)'=f'g+fg'$. Cociente ($g(a)\neq0$): $\Big(\dfrac fg\Big)'=\dfrac{f'g-fg'}{g^2}$. Cadena ($f$ derivable en $a$, $g$ derivable en $f(a)$): $(g\circ f)'(a)=g'(f(a))\,f'(a)$.
Inversa ($f$ derivable e inyectiva en un intervalo): $(f^{-1})'(y_0)=\dfrac1{f'(x_0)}$ con $f(x_0)=y_0$ y $f'(x_0)\neq0$. Base y exponente variables ($A>0$): $(A^B)'=A^B\big(B'\ln A+BA'/A\big)$.
U p.79 L p.341 S p.221$(x^c)'=cx^{c-1}$ · $(e^x)'=e^x$ · $(a^x)'=a^x\ln a$ · $(\ln x)'=\frac1x$ · $(\log_ax)'=\frac1{x\ln a}$ · $(\operatorname{sen}x)'=\cos x$ · $(\cos x)'=-\operatorname{sen}x$ · $(\operatorname{tg}x)'=\frac1{\cos^2x}$ · $(\operatorname{cotg}x)'=-\frac1{\operatorname{sen}^2x}$ · $(\sec x)'=\sec x\operatorname{tg}x$ · $(\csc x)'=-\csc x\operatorname{cotg}x$ · $(\arcsin x)'=\frac1{\sqrt{1-x^2}}$ · $(\arccos x)'=-\frac1{\sqrt{1-x^2}}$ · $(\operatorname{arctg}x)'=\frac1{1+x^2}$. Con cadena: multiplica por $u'$.
U pp.79-80 S pp.194, 214Lista de comprobación: sé…
- Enunciar las reglas de la suma, el producto, el cociente y la cadena con sus hipótesis.
- Decidir la primera regla mirando la última operación de la función.
- Desmontar una composición en capas y derivar de fuera hacia dentro sin perder ningún factor.
- Deducir las derivadas de $\operatorname{tg}$, $\operatorname{cotg}$, $\sec$, $\csc$ a partir de $\operatorname{sen}$ y $\cos$.
- Deducir $\arcsin'$, $\arccos'$, $\operatorname{arctg}'$ derivando $f^{-1}(f(x))=x$, eligiendo bien el signo de la raíz.
- Calcular $(f^{-1})'(y_0)$ sin conocer $f^{-1}$ (comprobar inyectividad, hallar $x_0$, invertir $f'(x_0)$).
- Derivar $A(x)^{B(x)}$ y productos/cocientes largos con logaritmos.
- Hallar el dominio de $f$ y el de $f'$, y decidir los puntos dudosos con la definición o las derivadas laterales.
- Distinguir $x^c$ de $a^x$ y $\operatorname{sen}x^2$ de $\operatorname{sen}^2x$.
- Simplificar un resultado con $\operatorname{sen}^2+\cos^2=1$.
$(uv)'=u'v'$ · signo/orden del cociente · olvidar $u'$ de la cadena · $\ln x^2=2\ln x$ para $x<0$ · «no existe la fórmula ⇒ no derivable» · signo de la raíz en $\arcsin'$ / $\arccos'$ · evaluar $f'$ en $y_0$ en lugar de $x_0$ · olvidar multiplicar por $y$ en la derivación logarítmica.