Introducción

En esta sección ligaremos el concepto de continuidad con el de derivabilidad; tal relación no presentará ninguna sorpresa considerando el ejemplo de la función valor absoluto revisada en la entrada anterior. Adicionalmente, nos enfocaremos en la demostración de algunas propiedades básicas de la derivada.

Relación entre derivabilidad y continuidad

Proposición. Sean $A\subset \mathbb{R}$, $f:A\to \mathbb{R}$ y $x_0\in A$, si $f$ es derivable en $x_0$, entonces $f$ es continua en $x_0$.

Demostración.

$$\begin{array}{rl}\underset{x\to x_0}{lim}f(x)& =\underset{x\to x_0}{lim}(f(x)–f(x_0)+f(x_0))\\ \\ & =\underset{x\to x_0}{lim}[\left(\frac{f(x)-f(x_0)}{x-x_0}\right)(x-x_0)+f(x_0)]\\ \\ & =f^{\prime }(x_0)\cdot 0+f(x_0)\text{, pues }f\text{ es derivable}\\ \\ & =f(x_0).\end{array}$$

$$\therefore \underset{x\to x_0}{lim}f(x)=f(x_0).$$

Por tanto, $f$ es continua en $x_0$.

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fb.svg">}$

Veremos que el regreso no es cierto, es decir, si $f$ es continua en $x_0$ no necesariamente es derivable en $x_0$.

Ejemplo 1. Consideremos $f:\mathbb{R}\to \mathbb{R}$, $f(x)=|x|.$

Primero probaremos que $f$ es continua en $x_0=0$.

Demostración.

Sea $\epsilon >0$.

Consideremos $\delta =\epsilon$.

Si $|x-0|<\delta$, entonces

$$\begin{array}{rl}|f(x)-0|& =|f(x)|\\ & =||x||\\ & =|x|\\ & <\delta \\ & =\epsilon .\end{array}$$

$$\therefore |f(x)-0|<\epsilon .$$

Con esto, hemos probado que $f$ es continua en $x_0=0$, sin embargo, en la entrada anterior vimos que no era derivable en tal punto.

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fb.svg">}$

Para continuar, revisaremos algunas propiedades básicas de la derivada, tal como qué sucede con la derivada de la suma o producto de funciones, y sus demostraciones se obtienen directamente de la definición, razón por la cual será conveniente tenerla presente.

Derivada de la suma de funciones

Proposición. Sean $A\subset \mathbb{R}$, $f:A\to \mathbb{R}$, $g:A\to \mathbb{R}$ y $x_0\in A$ tales que $f$ y $g$ son derivables en $x_0$, es decir, $f^{\prime }(x_0)$ y $g^{\prime }(x_0)$ sí existen. Entonces

1. $f+g$ es derivable en $x_0$, además $$(f+g{)}^{\prime }(x_0)=f^{\prime }(x_0)+g^{\prime }(x_0).$$
2. Si $c\in \mathbb{R}$ es una constante, $cf$ es derivable en $x_0$, además $$(cf{)}^{\prime }(x_0)=c{f}^{\prime }(x_0).$$
3. $f-g$ es derivable en $x_0$, además $$(f-g{)}^{\prime }(x_0)=f^{\prime }(x_0)–g^{\prime }(x_0).$$

Demostración.

$(1)$

$$\begin{array}{rl}(f+g{)}^{\prime }(x_0)& =\underset{x\to x_0}{lim}\frac{(f(x)+g(x))-(f(x_0)+g(x_0))}{x-x_0}\\ \\ & =\underset{x\to x_0}{lim}\frac{f(x)+g(x)-f(x_0)-g(x_0)}{x-x_0}\\ \\ & =\underset{x\to x_0}{lim}\frac{(f(x)-f(x_0))+(g(x)-g(x_0))}{x-x_0}\\ \\ & =\underset{x\to x_0}{lim}(\frac{f(x)-f(x_0)}{x-x_0}+\frac{g(x)-g(x_0)}{x-x_0})\\ \\ & =\underset{x\to x_0}{lim}\frac{f(x)-f(x_0)}{x-x_0}+\underset{x\to x_0}{lim}\frac{g(x)-g(x_0)}{x-x_0}\text{, pues }f\text{ y }g\text{ son derivables en }{x}_0.\\ \\ & =f^{\prime }(x_0)+g^{\prime }(x_0)\end{array}$$

$$\therefore (f+g{)}^{\prime }(x_0)=f^{\prime }(x_0)+g^{\prime }(x_0).$$

$(2)\text{ y }(3)$ quedarán como tarea moral.

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fb.svg">}$

Derivada del producto de funciones

Proposición. Sean $A\subset \mathbb{R}$, $f:A\to \mathbb{R}$, $g:A\to \mathbb{R}$ y $x_0\in A$ tales que $f$ y $g$ son derivables en $x_0$, es decir, $f^{\prime }(x_0)$ y $g^{\prime }(x_0)$ sí existen. Entonces

1. $f\cdot g$ es derivable en $x_0$, además $$(f\cdot g{)}^{\prime }(x_0)=f(x_0)g^{\prime }(x_0)+f^{\prime }(x_0)g(x_0).$$
2. Si $g(x_0)\ne 0$, entonces $\frac{1}{g}$ es derivable en $x_0$, además $${\left(\frac{1}{g}\right)}^{\prime }(x_0)=-g(x_0)\left(\frac{1}{(g(x_0){)}^2}\right).$$
3. Si $g(x_0)\ne 0$, entonces $\frac{f}{g}$ es derivable en $x_0$, además $${\left(\frac{f}{g}\right)}^{\prime }(x_0)=\frac{-f(x_0)g^{\prime }(x_0)+g(x_0)f^{\prime }(x_0)}{(g(x_0){)}^2}.$$

Demostración.

$(1)$

$$\begin{array}{rl}(f\cdot g{)}^{\prime }(x_0)& =\underset{x\to x_0}{lim}\frac{f(x)g(x)-f(x_0)g(x_0)}{x-x_0}\\ \\ & =\underset{x\to x_0}{lim}\frac{f(x)g(x)-f(x_0)g(x)+f(x_0)g(x)-f(x_0)g(x_0)}{x-x_0}\\ \\ & =\underset{x\to x_0}{lim}(\frac{f(x)-f(x_0)}{x-x_0}\cdot g(x)+f(x_0)\cdot \frac{g(x)-g(x_0)}{x-x_0})\\ \\ & =f^{\prime }(x_0)g(x_0)+f(x_0)g^{\prime }(x_0).\end{array}$$

Notemos que en el último paso se utiliza que $f$ y $g$ son derivables, y eso en particular implica que $g$ es continua por lo cual podemos aplicar el límite.

$$\therefore (f\cdot g{)}^{\prime }(x_0)=f(x_0)g^{\prime }(x_0)+f^{\prime }(x_0)g(x_0).$$

$(2)$

$$\begin{array}{rl}{\left(\frac{1}{g}\right)}^{\prime }(x_0)& =\underset{x\to x_0}{lim}\frac{\left(\frac{1}{g}\right)(x)–\left(\frac{1}{g}\right)(x_0)}{x-x_0}\\ \\ & =\underset{x\to x_0}{lim}\frac{\frac{1}{g(x)}-\frac{1}{g(x_0)}}{x-x_0}\\ \\ & =\underset{x\to x_0}{lim}\frac{\frac{g(x_0)-g(x)}{g(x)\cdot g(x_0)}}{x-x_0}\\ \\ & =\underset{x\to x_0}{lim}(-\frac{g(x)-g(x_0)}{x-x_0})\cdot \left(\frac{1}{g(x)\cdot g(x_0)}\right)\\ \\ & =-g(x_0)\left(\frac{1}{(g(x_0){)}^2}\right)\text{, pues }g\text{ es derivable (y continua).}\end{array}$$

$$\therefore {\left(\frac{1}{g}\right)}^{\prime }(x_0)=-g(x_0)\left(\frac{1}{(g(x_0){)}^2}\right).$$

$(3)$

$$\begin{array}{rl}{\left(\frac{f}{g}\right)}^{\prime }(x_0)& ={(f\cdot \left(\frac{1}{g}\right))}^{\prime }(x_0)\\ \\ & =f(x_0){\left(\frac{1}{g}\right)}^{\prime }(x_0)+f^{\prime }(x_0)\left(\frac{1}{g}\right)(x_0)\text{, por (1)}\\ \\ & =f(x_0)\left(\frac{-g^{\prime }(x_0)}{(g(x_0){)}^2}\right)+\frac{f^{\prime }(x_0)}{g(x_0)}\text{, por (2)}\\ \\ & =\frac{-f(x_0)g^{\prime }(x_0)+g(x_0)f^{\prime }(x_0)}{(g(x_0){)}^2}.\end{array}$$

$$\therefore {\left(\frac{f}{g}\right)}^{\prime }(x_0)=\frac{-f(x_0)g^{\prime }(x_0)+g(x_0)f^{\prime }(x_0)}{(g(x_0){)}^2}.$$

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fb.svg">}$

Un par de ejemplos

Lo siguiente será revisar un par de ejemplos para aplicar las propiedades revisadas. Recordemos que gracias a la entrada anterior ya conocemos la derivada de algunas funciones:

$$\begin{array}{cc}{f}_1(x)=ax+b,& f_1^{\prime }(x)=a.\\ f_2(x)=x^2,& f_2^{\prime }(x)=2x.\\ f_3(x)=c,& f_3^{\prime }(x)=0.\\ f_4(x)=\sqrt{x},& f_4^{\prime }(x)=\frac{1}{2\sqrt{x}}.\end{array}$$

Ejemplo 2. Encuentra la derivada de la función $f(x)=\sqrt{x}+x^2-10$.

Notemos que $f(x)=f_4(x)+f_2(x)–f_3(x)$. Sabemos que la derivada de una suma (resta) de funciones es la suma (resta) de sus respectivas derivadas, así tenemos que

$$\begin{array}{rl}{f}^{\prime }(x)& =f_4^{\prime }(x)+f_2^{\prime }(x)–f_3^{\prime }(x)\\ & =\frac{1}{2\sqrt{x}}+2x.\end{array}$$

Ejemplo 3. Encuentra la derivada de la función $f(x)=\frac{\sqrt{x}}{5x+30}$.

Notemos que $f(x)=\frac{f_4(x)}{f_1(x)}$. Usando la propiedad de la derivada del cociente de funciones, tenemos que

$$\begin{array}{rl}{f}^{\prime }(x)& =\frac{-f_4(x_0)f_1^{\prime }(x_0)+f_1(x_0)f_4^{\prime }(x_0)}{(f_1(x_0){)}^2}\\ \\ & =\frac{-\sqrt{x}\cdot 5+(5x+30)(\frac{1}{2\sqrt{x}})}{(5x+30{)}^2}\\ & =\frac{-5\sqrt{x}+(\frac{5x+30}{2\sqrt{x}})}{(5x+30{)}^2}\\ \\ & =\frac{\frac{-10x+5x+30}{2\sqrt{x}}}{25\cdot (x+6{)}^2}\\ \\ & =\frac{5(6-x)}{50\sqrt{x}(x+6{)}^2}\\ \\ & =\frac{6-x}{10\sqrt{x}(x+6{)}^2}.\end{array}$$

Más adelante…

Después de haber revisado qué sucede cuando se deriva la suma, el producto y el cociente de funciones surge una pregunta natural en términos de las operaciones disponibles para las funciones: ¿qué pasa con la composición de funciones?

En la siguiente entrada responderemos esta pregunta y estudiaremos la famosa Regla de la Cadena.

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.

• Sean $A\subset \mathbb{R}$, $f:A\to \mathbb{R}$, $g:A\to \mathbb{R}$ y $x_0\in A$ tales que $f$ y $g$ son derivables en $x_0$, es decir, $f^{\prime }(x_0)$ y $g^{\prime }(x_0)$ sí existen. Prueba que:
  • Si $c\in \mathbb{R}$ es una constante, $cf$ es derivable en $x_0$, además $$(cf{)}^{\prime }(x_0)=c{f}^{\prime }(x_0).$$
  • $f-g$ es derivable en $x_0$, además $$(f-g{)}^{\prime }(x_0)=f^{\prime }(x_0)–g^{\prime }(x_0).$$
• Prueba que si $f_1$, $f_2$, $\dots$, $f_n$ son funciones derivables en $x_0\in A\subset \mathbb{R}$, entonces
  • La función $f_1+f_2+\dots +f_n$ es derivable en $x_0$ y $(f_1+f_2+\dots +f_n{)}^{\prime }(x_0)=f_1^{\prime }(x_0)+f_2\prime (x_0)+\dots +f_n^{\prime }(x_0).$
  • La función $f_1\cdot f_2\cdot \dots \cdot f_n$ es derivable en $x_0$ y
    $$\begin{array}{rl}(f_1\cdot f_2\cdot \dots \cdot f_n{)}^{\prime }(x_0)=& f_1\prime (x_0)\cdot f_2(x_0)\cdot \dots \cdot f_n(x_0)+f_1(x_0)\cdot f_2\prime (x_0)\cdot \dots \cdot f_n(x_0)\\ & +\dots +f_1(x_0)\cdot f_2(x_0)\cdot \dots \cdot f_n^{\prime }(x_0).\end{array}$$
    
• Empleando las propiedades revisadas en esta entrada, encuentra la derivada de las siguientes funciones:
  • $f(x)=\frac{1}{\sqrt{x}}.$
  • $g(x)=\frac{x-1}{5-2x+x^2}.$

Entradas relacionadas

• Ir a Cálculo Diferencial e Integral I
• Entrada anterior del curso: La derivada
• Siguiente entrada del curso: La regla de la cadena
• 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»