Introducción
Anteriormente habíamos revisado algunos teoremas relacionados con la derivada de funciones. Esta entrada tiene como objetivo mostrar un resumen de las reglas de derivación que hemos estudiado hasta ahora y agregar algunas reglas nuevas; éstas seguro te harán recordar las clases de cálculo del bachillerato, tal como la derivada de una constante o la derivada de $x^n$.
Reglas de derivación para la suma, el producto, el cociente y la composición de funciones
Previamente revisamos algunas reglas que son fundamentales para el cálculo de las derivadas, tales como que la derivada de una suma de funciones es la suma de sus respectivas derivadas o que la derivada de una función que está siendo multiplicada por una constante es igual a la derivada de la función multiplicada por la constante. Procederemos a enlistarlas pues será importante tenerlas muy presentes:
Sean $A \subset \RR$, $f: A \to \RR$, $g: A \to \RR$ y $x_0 \in A$ tales que $f$ y $g$ son derivables en $x_0$, es decir, $f'(x_0)$ y $g'(x_0)$ sí existen. Entonces
- $f+g$ es derivable en $x_0$, además $$(f+g)'(x_0) = f'(x_0) + g'(x_0).$$
- Si $c \in \RR$ es una constante, $cf$ es derivable en $x_0$, además $$(cf)'(x_0) = cf'(x_0).$$
- $f \cdot g$ es derivable en $x_0$, además $$(f \cdot g)'(x_0) = f(x_0)g'(x_0) + f'(x_0) g(x_0).$$
- Si $g(x_0) \neq 0$, entonces $\frac{f}{g}$ es derivable en $x_0$, además $$\left( \frac{f}{g} \right)’ (x_0) = \frac{-f(x_0)g'(x_0) + g(x_0)f'(x_0)}{(g(x_0))^2}.$$
Teorema. Sean $A$, $B \subset \RR$, $g: A \to \RR$, $f: B \to \RR$ y $x_0 \in A$ tales que
- Para todo $x \in A$, $g(x) \in B$.
- $g$ es derivable en $x_0$, es decir $$\lim_{x \to x_0} \frac{g(x)-g(x_0)}{x-x_0} = g'(x_0).$$
- $f$ es derivable en $g(x_0)$, es decir $$\lim_{t \to x_0} \frac{f(t)-f(g(x_0))}{t-g(x_0)} = f'(g(x_0)).$$
Entonces $f \circ g$ es derivable en $x_0$, además $$(f \circ g)'(x_0) = f'(g(x_0))g'(x_0).$$
Algunas reglas adicionales
Notemos que las reglas de la lista anterior se enfocan en encontrar la derivada de diversas operaciones que se pueden hacer con las funciones. Pero también es relevante tener presentes algunas derivadas de funciones específicas que suelen aparecer con mucha frecuencia. Algunas de ellas ya las probamos en una entrada anterior y solo las mencionaremos.
Proposición (Derivada de una constante). Sea $f: \RR \to \RR$, donde $f(x) = c$, entonces $f'(x)=0$ para todo $x \in \RR.$
Proposición (Derivada de la función identidad). Sea $f: \RR \to \RR$, donde $f(x) = x$, entonces $f'(x)=1$ para todo $x \in \RR.$
Demostración.
Sea $x_0 \in \RR$, entonces
\begin{align*}
f'(x_0) & = \lim_{ x \to x_0} \frac{f(x)-f(x_0)}{x-x_0} \\ \\
& = \lim_{x \to x_0} \frac{x-x_0}{x-x_0} \\ \\
& = \lim_{x \to x_0} 1 \\ \\
& = 1.
\end{align*}
$$\therefore f'(x_0) = 1.$$
$\square$
Proposición. Sea $f: \RR \to \RR$, donde $f(x) = x^n$, entonces $f'(x)=nx^{n-1}$ para todo $x \in \RR.$
Demostración.
Procederemos a hacer la demostración por inducción. Sea $x_0 \in \RR.$
Caso base: n = 1. Sea $g(x) = x$, entonces $g'(x_0) = 1$. Esto se comprueba directamente de la proposición anterior.
Hipótesis de inducción: Para $h(x) = x^n$, se tiene que $h'(x_0) = n x^{n-1}$.
Sea $f(x) = x^{n+1}$. Notemos que $f(x) = (h \cdot g) (x)$, por la regla de la derivada del producto tenemos que
\begin{align*}
f'(x_0) & = h'(x_0)g(x_0)+h(x_0)g'(x_0) \\ \\
& = nx_0^{n-1} \cdot x_0 + x_0^n \cdot 1 \\ \\
& = nx_0^n + x_0^n \\ \\
& = (n+1)x_0^n.
\end{align*}
$$\therefore f'(x_0)=(n+1)x_0^n.$$
Por tanto, podemos concluir que para todo $n \in \mathbb{N}$ se tiene que si $f(x) = x^n$, entonces $f'(x)=nx^{n-1}.$
$\square$
La proposición anterior la probamos para todo $n$ en los naturales, sin embargo, esto también es cierto para cualquier valor real. Pero será en la siguiente entrada donde obtengamos las herramientas que nos permitirán probarlo.
Proposición. Sea $f: A \subset (0, \infty) \to \RR$, donde $f(x) = \sqrt{x}$, entonces $f'(x)=\frac{1}{2 \sqrt{x}}$ para todo $x \in A.$
Proposición. Sea $f: A \subset \RR – \{0\} \to \RR$, donde $f(x) = \frac{1}{x}$, entonces $f'(x)=-\frac{1}{x^2}$ para todo $x \in A.$
Demostración.
Sea $x_0 \in A$, entonces
\begin{align*}
f'(x_0) & = \lim_{ x \to x_0} \frac{f(x)-f(x_0)}{x-x_0} \\ \\
& = \lim_{x \to x_0} \frac{\frac{1}{x}-\frac{1}{x_0}}{x-x_0} \\ \\
& = \lim_{x \to x_0} \frac{\frac{x_0-x}{xx_0}}{x-x_0} \\ \\
& = \lim_{x \to x_0} \frac{x_0-x}{(x-x_0)(xx_0)} \\ \\
& = \lim_{x \to x_0} \frac{-(x-x_0)}{(x-x_0)(xx_0)} \\ \\
& = \lim_{x \to x_0} \frac{-1}{xx_0} \\ \\
& = -\frac{1}{x_0^2}.
\end{align*}
$$\therefore f'(x_0) = -\frac{1}{x_0^2}.$$
$\square$
Más adelante…
En las siguientes entradas se hará un estudio particular de la derivada de algunas funciones especiales como lo son las funciones trigonométricas, la función exponencial y la función logarítmica.
Tarea moral
A continuación hay algunos ejercicios para que practiques los conceptos vistos en esta entrada. Te será de mucha utilidad intentarlos para entender más la teoría vista.
- Para cada una de las siguientes funciones $f$, halla $f'(f(x))$:
- $f(x)=\frac{1}{1+x}.$
- $f(x)=x^2.$
- $f(x)=17.$
- Para cada una de las siguientes funciones $f$, halla $f(f'(x))$
- $f(x)=\frac{1}{x}.$
- $f(x)=x^2.$
- $f(x)=17x.$
- Para cada una de las siguientes funciones halla $f’$ en función de $g’$
- $f(x)=g(x+g(x_0)).$$f(x)=g(x+g(x)).$
- $f(x)=g(x)(x-x_0).$
- $f(x)=g(x \cdot g(x_0)).$
- $f(x+3)=g(x^2).$
Entradas relacionadas
- Ir a Cálculo Diferencial e Integral I
- Entrada anterior del curso: La regla de la cadena
- Siguiente entrada del curso: Derivadas de las funciones exponencial y logarítmica
- Resto de cursos: Cursos
Agradecimientos
Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE104522 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 2»