Cal Culo Diff I Sica

Clculo diferencial e integral I
Notas de Clase v2.2

Guillermo Ramrez Orozco
memo9@prodigy.net.mx
Depto. de Matemticas.
CUCEI
Universidad de Guadalajara
2014 B
II
ndice general
1. Conjuntos, funciones y nmeros reales
2. Lmites y continuidad de funciones
25
3. Diferenciabilidad
57
4. Aplicaciones de derivadas
85
5. La integral de Riemann
121
6. Funciones logartmicas y exponenciales
139
7. Funciones circulares
173
III
IV
Captulo 1
Conjuntos, funciones y nmeros reales

Conjuntos
Un conjunto se considera, simplemente, como una coleccin de objetos. A cada uno de estos objetos se
les llama elemento, o miembro, del conjunto.
Usaremos letras maysculas A, B , C , . . . para indicar conjuntos y letras minsculas para los elementos
de un conjunto. Al hablar de un conjunto y sus elementos, lo importante es que podamos determinar si
un objeto es o no un elemento del conjunto. Para indicar que un objeto x es un elemento de un conjunto
dado A, escribimos x A, que se lee x es un elemento del conjunto A o solamente, x pertenece a A; en
caso contrario, se escribe x 6 A y, obviamente, se lee x no es elemento del conjunto A o x no pertenece
a A.
El uso de letras maysculas para denotar conjuntos, no dice nada acerca de la naturaleza de sus elementos; si el conjunto contiene solo unos cuantos elementos, los podemos enumerar en una lista encerrada
entre llaves. Por ejemplo, si escribimos1
A = {a, e, i , o, u} ,
el lado derecho del signo igual, nos dice que los elementos del conjunto A son las vocales a, e, i , o, y u y
ninguna otra letra del alfabeto es un miembro de A; en otras palabras, tenemos que
a A, e A, i A, o A, y u A;
pero
b 6 A, c 6 A, d 6 A, . . . .
1 Es importante tener en cuenta que el orden en que se listan los elementos dentro de las llaves es irrelevante.
En ocasiones es mejor describir los elementos de un conjunto mediante una propiedad que determine
definitivamente la relacin pertenece a; as, en el ejemplo previo, podemos expresar
A = {x | x es una vocal} .
El par de llaves es una abreviacin simblica de decir el conjunto de y la barra vertical se lee como
tales que. De esta manera cuando se escribe x A, se sabe con toda certeza que x es una de las vocales
a, e, i , o u y no puede ser ninguna otra letra.
Si A es el conjunto dado como
A = x N | x es impar y menor que 10 ,
la propiedad que describe cada uno de sus elementos es P (x) = x es impar y menor que 10, y lo leemos2
como A es el conjunto de todos los nmeros naturales x tales que x es impar y menor que 10 .
De forma general, si P (x) representa una propiedad3 para los elementos de un conjunto A, entonces los
elementos de A que satisfacen esta propiedad constituyen un conjunto que podemos describir como
B = {x A | P (x) es vlida} = {x A | x satisface P (x)} .
(1.1)
Si un conjunto contiene demasiados elementos, la mejor manera de describirlo es, mediante una propiedad que caracteriza a sus elementos; sin embargo, en algunos casos, el conjunto puede tener una
infinidad de elementos, pero hay alguna forma simple de describirlos; por ejemplo, el conjunto N de los
nmeros naturales4 ;lo escribimos como,
N = {1, 2, 3, 4, 5, . . .} .
De esta manera, la expresin x N significa que x es un nmero natural. Debe ser claro que si escribimos N = {1, 2, 3, 4, 5, . . .}, los tres puntos, indican y as sucesivamente. Por lo tanto, dentro de la llaves
estamos dando una lista de todos sus elementos.
Por otra lado, no hay una manera de enlistar los nmeros primos5 . Lo mejor ser describirlos como,
P = x N | x es un nmero primo .
2 En lenguaje ordinario, simplemente decimos el conjunto de nmeros naturales impares menores a 10.
3 Esta propiedad puede ser vlida o no para los elementos de A.
4 Es decir, los nmeros que se usamos para contar
5 Un nmero primo es un nmero natural que tiene exactamente dos divisores
G*ro
Por conveniencia, debemos considerar un conjunto sin elementos, en este caso, se dice que el conjunto
es vaco y se denota con el smbolo ;. Una propiedad P (x), falsa para todos los miembros de un conjunto
A nos lleva al conjunto vaco. Por ejemplo (aqu A = N),
{x N | x + 1 = 1}
es un conjunto vaco; de modo que podemos escribir,
{x N | x + 1 = 1} = ;.
Definicin 1 Si A y B son conjuntos y cada elemento de A es un elemento de B , entonces se dice que A es

un subconjunto de B .
Tambin se dice que A est contenido en B o que B contiene a A. Escribimos simblicamente, esta
relacin como
A B o bien, B A.
La raya en el smbolo , o en el smbolo , indica la posibilidad de que B contenga los mismos elementos
que A. Si al menos un elemento de B no pertenece a A, entonces se dice que A es un subconjunto propio
de B y se denota como
A B o bien, A ( B.
Observacin 1 El conjunto ; es un subconjunto de cualquier conjunto; esto es, ; A, cualquiera que sea
el conjunto A,
El conjunto de los nmeros primos es un subconjunto del conjunto de los nmeros naturales, pero hay
nmeros naturales que no son primos; para comprobar que P es un subconjunto de N pero no es igual
a l, es suficiente exhibir un nmero natural que no sea primo, por ejemplo, 1 6 P ; de donde,
P ( N.
Observacin 2 Todo conjunto es un subconjunto de s mismo; esto es, para cualquier conjunto A, A A.
La relacin de contencin (o inclusin) permite determinar si dos conjuntos son iguales; como se
establece en la siguiente.
Definicin 2 Se dice que dos conjuntos A y B son iguales, si todo elemento de A es un elemento de B y
todo elemento de B es un elemento de A.
Esto es,
A=B
si
AB
y B A.
(1.2)
Dados dos conjuntos podemos obtener nuevos conjuntos a partir de ellos con las siguientes operaciones
bsicas..
Si A y B son conjuntos entonces
1. La unin de A y B es el conjunto,
A B = {x | x A x B } .
(1.3)
La letra o significa en uno, o en el otro, o en ambos. As, A B es el conjunto de todos los x que
pertenecen a A, o pertenecen a B , o a ambos.
2. La interseccin de A con B es el conjunto,
A B = x | x A y x B .
(1.4)
La letra y en la definicin de A B , es una forma de decir que los elementos de la interseccin

son los elementos comunes a A y a B . Puede suceder que no haya elementos comunes en A y B , de
modo que A B = ;. En este caso diremos que A y B son conjuntos disjuntos.
3. La diferencia B A es el conjunto,
BA= x |x B
y x 6 A .
(1.5)
Observacin 3 Tambin se dice que B A es el complemento de A en B . Si se tiene un conjunto U

que trabaja como el conjunto total en determinado contexto, entonces la diferencia U A, en donde
A es cualquier subconjunto de U , se conoce como el complemento de A y se escribe A c . En este caso
se dice que U es el conjunto universo.
G*ro
4. Dados dos conjuntos A y B , se define su producto cartesiano A B , como el conjunto de todos los
pares ordenados (a, b) tales que a A y b B ; esto es,
A B = (a, b) | a A y b B .
(1.6)
Cuando se habla de un par ordenado, (a, b), se est dando a entender que (a, b) 6= (b, a) (a menos
que a = b), de tal forma que, en general, el producto cartesiano A B es distinto del producto
cartesiano B A; en otras palabras B A 6= A B .
El conjunto ; tiene la propiedad que, cualquiera que sea el conjunto A,

A ; = A,
A ; = ;.
Conjuntos de nmeros
Nos interesa principalmente el conjunto de los nmeros reales. Este conjunto es la base para construir
todas nuestras ideas del clculo. No daremos una construccin de tal conjunto; que asumiremos que
es un conjunto conocido. Haremos bsicamente una recopilacin de ideas y hechos de utilidad para
nuestro curso.
Ya mencionamos el conjunto N de los nmeros naturales, del cual se puede obtener el conjunto mayor
Z, de los nmeros enteros,
Z = {. . . , 3, 2, 1, 0, 1, 2, 3, . . .} .
Claramente, N Z. A partir de Z obtenemos el conjunto Q, de los nmeros racionales. Es el conjunto
de todos los cocientes (o razones) de nmeros enteros con denominador distinto de 0; esto es,
p
Q = x | x = , con p, q Q y q 6= 0 .
q
Cada uno de los siguientes nmeros es un racional,
1 3 23 223
, , ,
.
2 4 15 342
Ntese que Z Q. Podemos visualizar el conjunto de los nmeros racionales como una regla (una linea
recta) con marcas muy pequeas, representando cada uno de tales nmeros. Puede entonces parecer
que estas marcas llenan la recta; sin embargo, no es as, dado que hay ciertosp
puntos que no corresponp
den a nmeros racionales. Ejemplos tpicos de nmeros
no
racionales
son
2,
3 y , entre muchos
p
ms. Mostraremos enseguida que, en particular, 2 no puede ser un nmero racional.
El conjunto Q no es completo
El siguiente resultado es el ejemplo usual para mostrar que la recta racional tiene agujeros. Esto no
ocurre cuando se considera al conjunto de los nmeros reales. De esta manera, el conjunto de los nmeros racionales no es lo suficientemente grande para medir cualquier magnitud.
Proposicin 1 No existe un nmero racional r tal que r 2 = 2.
Demostracin. Supongamos, al contrario que hay nmeros p, q Z tales que

2
p
= 2.
q
Podemos asumir que p, q > 0 y no tienen factores comunes enteros, excepto 1.

Ahora bien, como p 2 = 2q 2 , resulta que p 2 es un nmero par y en consecuencia p tambin es un nmero
par (si p = 2n 1 es impar p 2 tambin ser impar).
Como 2 no puede ser un factor comn de p y q, entonces q debe ser un nmero impar.
Siendo p un nmero par, podemos expresarlo como p = 2m, para cierto m N, en consecuencia
2q 2 = p 2 = 4m 2
o, 2m 2 = q 2 . Esto significa que q 2 es par y por tanto q N tambin es par; lo cual es una contradiccin.
Por tanto, la suposicin es falso y el teorema es verdadero.
Un nmero que no es racional se conoce como nmero irracional. Denotaremos con Qc al conjunto de
los nmeros irracionales. La unin de los nmeros racionales con los nmeros irracionales constituyen
el conjunto de los nmeros reales, que se indican con R, as
R = Q Qc .
Es claro que Q Qc = ; y, adems,

Qc = R Q
De lo anterior si x es un nmero real, entonces x es o bien racional o bien irracional, pero no ambos. El
conjunto R es el conjunto fundamental en el Clculo.
G*ro
Una manera de distinguir un nmero real como nmero racional o como nmero irracional es observar
su desarrollo decimal. Un nmero racional tiene decimales peridicos; esto es, a partir de cierto lugar
en su parte decimal, todos los dgitos siguientes o bien son 0 (en ocasiones dicho como desarrollo decimal finito), o bien, es un conjunto de dgitos, llamado el periodo, que se repite indefinidamente, por
ejemplo
parte decimal
z
}|
{
x = 12. 270 |1234
{z } 12341234 . . .
periodo
Naturalmente, para obtener el desarrollo decimal de cualquier nmero real, slo tenemos que efectuar
la divisin. Otros ejemplos de nmeros racionales son
1
= 0.50000 . . . ,
2
1
= 0.33333 . . . ,
3
169
= 8.047619047619047619 . . .
21
Los nmeros irracionales tienen desarrollos decimales que no son peridicos, por ejemplo,
3.1415926535898 . . .
El sistema de los nmeros reales

La completez de R
p
p
Sabemos que el nmero real 26 no puede ser un racional; i.e., 2 6 Q. Esta observacin muestra la
necesidad de una propiedad adicional para caracterizar al sistema de los nmeros reales R, se conoce
como la Propiedad de Completez y es esencial en R. Esta propiedad nos permitir definir varios procesos
al lmite que se tratarn posteriormente.
Observacin. La completez es una propiedad que Q no posee.
Hay distintas maneras de establecer la completez de R, lo haremos aqu con un el llamado axioma del
supremo, con este propsito empezamos con un poco de terminologa. Usaremos principalmente la
letra S para indicar conjuntos de nmeros reales.
Nota. Los smbolos ; 6= S R se leen S (es) un (sub)conjunto no vaco de nmeros reales.
Definicin 3 Sea ; 6= S R. Se dice que S es acotado superiormente o acotado por arriba, si existe un
u R tal que s u, para todo s S. Al nmero real u se le llama una cota superior de S.
6
p
2 es el nmero real x tal que x 2 = 2
Definicin 4 Sea ; 6= S R. Se dice que S es acotado inferiormente o acotado por abajo, si existe un
w R tal que w s, para todo s S. A dicho nmero w se le llama una cota inferior de S.
Definicin 5 Se dice que un conjunto ; 6= S R es acotado si es, tanto acotado superiormente como inferiormente.
A partir de las definiciones anteriores, un conjunto S 6= ; de nmeros reales es acotado, si existe un

nmero M > 0 de tal manera que si x S, entonces |x| M , ya que la desigualdad es vlida cuando
M max{|w|, |u|}, en donde w = nf S y u = sup S.
Ejemplo 1 Sea
S = {x R | x < 1} .
Entonces S es un conjunto acotado superiormente; de hecho, el nmero 1 es una cota superior de l y

todo nmero b > 1 tambin es una cota superior de S. Sin embargo, S no tiene cotas inferiores, por lo
tanto no es acotado.
Si un conjunto tiene una cota superior, tiene una infinidad de cotas superiores. Similarmente, si tiene
un acota inferior tiene una infinidad de ellas. De particular inters son, la mnima de las cotas superiores y la mxima de las cotas inferiores de un conjunto S; de manera que se les da un nombre especial,
establecido a continuacin.
Definicin 6 Sea ; 6= S R.
a) Si S es acotado superiormente, entonces u R es un supremo (o mnima cota superior ) de S, si
S1) u es una cota superior de S, y
S2) si v es cualquier cota superior de S, entonces u v.
b) Si S es acotado inferiormente, entonces w R es un nfimo (o mxima cota inferior) de S, si
I1) w es una cota inferior de S, y
I2) si v es otra cota inferior de S, entonces v w.
Notacin. Escribiremos sup S para indicar supremo de S e nf S para nfimo de S.

Si un conjunto tiene un supremo (o un nfimo), es nico, como se establece en la proposicin siguiente.
Proposicin 2 Si ; 6= S R es acotado por arriba, tiene un nico supremo.
G*ro
Demostracin Supongamos que

u 1 = sup S
y u 2 = sup S.
Si u 1 < u 2 , entonces u 1 no puede ser cota superior de S. De la misma manera, no es posible que u 2 < u 1 .
Por lo tanto, u 1 = u 2 .
Descripcin del supremo

y cotas superiores
Proposicin 3 Una cota superior u, de ; 6= S R es el supremo de S si y solo si, para todo > 0, existe un
s S tal que u < s .
Ntese que el supremo de un conjunto puede pertenecer o no, al conjunto.
Ejemplo 2 Un conjunto finito S 6= ;, tiene un supremo y tiene un nfimo.
Ejemplo 3 Sea
S = {x | 0 x 1} .
Entonces, S es un conjunto acotado superiormente; de hecho, que 1 es una cota superior de S. Aun ms,
1 = sup S, ya que si v < 1, entonces existe un x v S tal que v < s v . De este modo, v no puede ser una cota
superior de S. Un argumento similar, prueba que 0 = nf S. Por lo tanto, S es acotado.
Ntese que nf S S y sup S S.
Por otro lado, si
T = {x | 0 < x < 1} ,
tambin es cierto que
nf T = 1 y
sup T = 1;
sin embargo, en este caso nf T 6 T y sup T 6 T .
Ejemplo 4 Si ; 6= A, B R son conjuntos tales que a b para todo a A y para todo b B , entonces
sup A nf B.
10
Si b B , entonces a b, para todo a A; de donde se sigue que b es una cota superior de A, por lo tanto
sup A b.
Tambin, es cierto que sup A b, para todo b B , por lo tanto sup A es una cota inferior de B , a partir de
estas dos situaciones se deduce que
sup A nf B
Propiedad de completez de R (Axioma del supremo)
Todo conjunto no vaco de nmeros reales que tiene una cota superior, tiene un supremo en R.
La propiedad arquimediana
Puede parecer obvio que N no es acotado en R. Sin embargo, este hecho no se puede probar a partir de las
propiedades algebraicas y de orden de R. Debemos usar la propiedad de completez de R y la propiedad
inductiva de N.
Teorema 1 (Propiedad Arquimediana) Si x R, existe un n(x) N tal que x < n.
Demostracin (Por reduccin al absurdo) Si, por el contrario, x < n, para todo n N, entonces x es una
cota superior de N, por lo tanto, existe un u R tal que
u = sup N.
Entonces, u 1 no es una cota superior de N, de manera que existe un m N tal que u 1 < m < u, de
donde, u < m + 1. Pero como m + 1 N, se contradice que u es una cota superior de N.
Corolario 1
1
0 = nf
|nN .
n
Demostracin Sea
S=
1
|nN .
n
Es claro que S 6= ; y que 0 es una cota inferior de S; por tanto, existe w = nf S y, adems, w 0 (w < 0 no
puede ser nf S). Ahora bien, por la propiedad arquimediana, para cualquier > 0, existe un n N tal que
1
=x <n
G*ro
11
de donde,
1
< .
n
En consecuencia,
0w
Como es arbitrario, se obtiene w = 0.
1
< .
n
Corolario 2 Si a > 0, entonces existe un n = n(a) N tal que 0 < 1/n < a.
Demostracin Como
1
0 = nf
|nN
n
y a > 0, entonces a no es una cota inferior de S. Por tanto, existe un n(a) = n N tal que
0<
1
< a.
n
Corolario 3 Si y > 0, existe un n = n(y) N, tal que

n 1 y < n.
Demostracin Sea
S = m N | y < m N.
Por la propiedad arquimediana S 6= ;. Por el Principio del Buen Orden, S tiene un elemento mnimo,
digamos n = n(y) N.
Entonces
n 1 6 S,
en consecuencia
n 1 y < n.
Existencia de
p
2
Terminamos esta seccin con un resultado clsico que sugiere la completez de R. Este teorema muestra
cmo usar la propiedad de completez para determinar cualquier nmero real.
12

2
Teorema 2 Existe un x R tal que x = 2.

+
Demostracin. Consideremos el conjunto
S = y 0 | y 2 2 R.
El nmero real 1 > 0 satisface la desigualdad 12 2, en consecuencia 1 S, de modo que S 6= ;. Adems,

si v > 2, entonces v 2 > 4 (i.e., v 6 S), por lo tanto v es una cota superior para S. As, por la propiedad del
supremo, existe un x R tal que
x = sup S.
Como 1 S, se tiene que x > 1. Ahora probaremos que no se pueden dar las posibilidades
x 2 < 2 y x 2 > 2;
en consecuencia, se debe tener que x 2 = 2 lo cual probar el resultado.
Supongamos primero que x 2 < 2; esto es, que 2 x 2 > 0. Entonces, para n N,
x+
1
n
= x2 +
esto es,
1
x+
n
2x 1
2x
1
+ 2 x2 +
+ ,
n
n
n
n
x2 +
2x + 1
.
n
Ahora bien, como x > 1 y 2 x 2 > 0, entonces

2 x2
> 0,
2x + 1
por la propiedad arquimediana, podemos escoger un n B tal que
1 2 x2
<
.
n 2x + 1
Con esta eleccin de n obtenemos que
1
x+
n
x2 +
1
2 x2
(2x + 1) < x 2 +
(2x + 1) = 2;
n
2x + 1
es decir,
1
x+
n
Por lo tanto,
x+
< 2.
1
S.
n
G*ro
13
2
Esto contradice que x = sup S. De esta manera, no puede suceder que x < 2.
Supongamos ahora que x 2 > 2; es decir, x 2 2 > 0. Ahora bien, para cualquier n N, se tiene,
1
n
Como
= x2
2x
1
+ 2.
n
n
x2 2
>0
2x
podemos escoger un m N tal que

1 x2 2
<
.
n
2x
Para esta eleccin de n,
1
x
n
2x
x 2
2
>x
> x 2x
= 2;
n
2x
2
esto es,
1
x
n
> 2.
Por otra parte, si y S, entonces
1 2
y2 < 2 < x
n
de donde (recordemos que x = sup S),

y <x<x
1
.
n
Por tanto, x 1/n es una cota superior (que es menor a x) de S, esto, de nuevo contradice que x = sup S.
Y, en concescuencia no puede suceder que x 2 > 2. Esto muestra lo que se quera.
Intervalos
Los intervalos son conjuntos de nmeros reales que se utilizan con mucha frecuencia en el Cculo, bsicamente son conjuntos en R hechos de una sola pieza, se clasifican segn contengan o no a sus puntos
extremos. Si a, b R, el conjunto
(a, b) = {x R | a < x < b}
(1.7)
se conoce como el intervalo abierto con extremos a y b. El nmero a es el extremo izquierdo o inferior
y b el extremo derecho o superior. Ntese que ninguno de los extremos es un elemento del intervalo. El
14
conjunto
[a, b] = {x R | a x b}
(1.8)
es el intervalo cerrado con extremos a y b; en este tipo de intervalos, los extremos pertenecen a ellos.
Los conjuntos
[a, b) = {x R | a x < b} y (a, b] = {x R | a < x b}
(1.9)
se llaman intervalos semiabiertos, o semicerrados. Claramente estos son conjuntos acotados. Los siguientes son intervalos abiertos no acotados
(, a) = {x R | x < a}
y (a, +) = {x R | x > a}
(1.10)
(, a] = {x R | x a}
y [a, +) = {x R | x a}
(1.11)
mientras que
son intervalos cerrados no acotados. El mismo conjunto R se puede considerar un intervalo, ya que
R = (, +)
este intervalo es a la vez abierto y cerrado.

Observacin. Los smbolos, , + e no son nmeros reales (no son puntos de R).
Vecindad de un punto
Si x R y es un nmero real positivo, el intervalo abierto
V (x) = (x , x + )
se conoce como vecindad de x; tambin usaremos la notacin B (x; ).
Definicin 7 Si S R se dice que un nmero x R es un punto de acumulacin de S, si toda vecindad
de x contiene al menos un punto de S distinto de x.
G*ro
15
En otras palabras, cualquiera que sea > 0, se tiene que

(V (x) {x}) S 6= ;.
Indicaremos con S a al conjunto de los puntos de acumulacin de un conjunto S. Esto es
S a = puntos de acumulacin de S .
(1.12)
Si S es el intervalo abierto
(a, b) = {x R | a < x < b} R,
cada punto x en el intervalo es un punto de acumulacin de S, ya que toda vecindad de x contiene
otros puntos de S. Lo mismo es cierto para los puntos extremos o terminales a y b del intervalo. Por lo
tanto,
S a = {x | a < x < b} {a} {b} = [a, b].
An cuando a 6 S y b 6 S, es cierto que a S a y b S a ; en este ejemplo, tenemos que S S a ; sin embargo,
no debe pensarse que esta inclusin es verdadera en toda situacin; veamos el siguiente caso. Si T es el
conjunto,
1
T = x = |nN ,
n
ninguno de sus puntos es un punto de acumulacin; para cualquier x T , siempre es posible encontrar
un > 0 con la propiedad que
(V (x) {x}) T = ;.
De esta manera, T tiene solamente un punto de acumulacin el 0, y no pertenece a l, es decir.
T a = {0} .
A partir de este ejemplo, es claro que cuando se dice que un conjunto dado tiene un punto de acumulacin, no significa que lo contiene. Los puntos de acumulacin desempean un papel central en la teora
de lmites.
Funciones
Definicin 8 Sean A y B conjuntos. Una funcin de A en B (o, de A a B ) es un conjunto f de pares ordenados en A B tal que para cada a A existe un nico b B con (a, b) f ; es decir, si (a, b) f y (a, b 0 ) f ,
entonces b = b 0 .
16
Al conjunto A de los elementos que aparecen como primer componente de los elementos de f se le llama
dominio de f y se denotar con Dom( f ) o simplemente, con D( f ). Al conjunto de todos los segundos
elementos en f se le conoce como el rango o imagen de f y se denota con Rango( f ), R( f ) o Im(f). As,
Dom( f ) = a A | (a, b) f
Rango( f ) = b B | (a, b) f .
Usaremos la notacin f : A B , para indicar que f es una funcin de A a B ; en este caso se dice que f
aplica A en B . Adems, en lugar de escribir (a, b) f , escribimos b = f (a) y decimos que b es el valor de
f en a o que es la imagen de a bajo f .
En nuestro trabajo consideraremos bsicamente funciones reales de variable real; es decir funciones f
en donde A y B son conjuntos de nmeros reales. Si A = B = R, el producto cartesiano R R se identifica
con el plano x y y se denota simplemente como R2 ; esto es,
R R = R2 = (x, y) | x, y R .
El plano x y identificado como R2
La linea horizontal se conoce como el eje de las coordenadas x (o abscisas) , o simplemente el eje x y la
lnea vertical como el eje de las coordenadas y (u ordenadas), o solamente, eje y.
Un subconjunto no vaco f R2 define una funcin, si la interseccin de toda recta vertical con f es
solamente un punto. La siguiente figura ilustra esta situacin.
G*ro
17
R
La recta vertical cruza al conjunto

f solo una vez.
La siguiente figura muestra el caso de un subconjunto de R2 que no es una funcin.
La recta vertical cruza al conjunto

f ms de una vez.
Si una funcin est dada de la forma
f = (x, y) R2 | x y y satisfacen una determinada ecuacin, E (x, y) = 0
endonces
D( f ) = x R | E (x, y) = 0
R( f ) = y R | E (x, y) = 0 ;
esto es, el dominio de f consiste de todas las abscisas x de los pares (x,y) que satisfacen dicha ecuacin,
mientras que el rango de f consiste de todas las ordenadas y correspondientes.
El conjunto
(x, y) R2 | x y y satisfacen una determinada ecuacin, E (x, y) = 0
se conoce como la (representacin) grfica de la ecuacin E (x, y) = 0. Por otro lado, si f R2 es una
18
funcin, la grfica de f es el conjunto

Grfica( f ) =
(x, y) R2 | x, y f
(x, y) R2 | y = f (x)
(x, y) R2 | y f (x) = 0
Cuando f es una funcin real de una variable real, simplemente escribimos

f : R R.
Definicin 9 Si f : A B es una funcin y E A, llamamos imagen (o imagen directa) de E bajo f al

conjunto f (E ) dado por
f (E ) = f (x) | x E B.
Si H B , la preimagen (o imagen inversa) de H bajo f es el conjunto f 1 (H ) A, dado por
f 1 (H ) = x A | f (x) H .
De acuerdo a la definicin anterior, un punto y B est en f (E ) si y solo si existe un x E tal que y = f (x).
Anlogamente, un punto x A est en la preimagen f 1 (H ) si y solo si f (x) pertenece a H .
Ntese que f 1 (H ) puede ser igual ;.
Ejemplo Si f : R R est definida por f (x) = x 2 y si E = {x | 0 x 2}, entonces la imagen de E bajo f
es el conjunto
f (E ) = y | 0 y 4 .
Por otro lado, si G = y | 0 y 4 , entonces la preimagen de G es el conjunto

f 1 (G) = {x | 2 x 2} .
Deber notarse que f 1 ( f (E )) 6= E y que f ( f 1 (G)) = G, pero si H = y | 1 y 1 , entonces
f ( f 1 )(H ) = {x | 0 x 1} 6= H .
Definicin 10 Una funcin f : A B es inyectiva si, siempre que x 1 6= x 2 , entonces f (x 1 ) 6= f (x 2 ).
Equivalentemente, f es inyectiva si y solo si f (x 1 ) = f (x 2 ) implica que x 1 = x 2 . En otras palabras, si y solo

si toda imagen f (x) tiene una preimagen nica x X .
G*ro
19
Ejemplo Sea A = {x R | x 6= 1} y f : A R definida por

f (x) =
x
.
x 1
Para comprobar que f es inyectiva, tomemos x 1 , x 2 A y supongamos que f (x 1 ) = f (x 2 ), entonces

x1
x2
=
x1 1 x2 1
y haciendo las cuentas
x 1 (x 2 1) =
x 2 (x 1 1)
x1 x2 x1
x2 x1 x2
encontramos que x 1 = x 2 . Por tanto, f es inyectiva.

Ahora encontraremos el rango de f :
R( f ) = y B | y = f (x), para algn x A
Como R( f ) 3 y = f (x), debemos resolver para x en trminos de y la ecuacin,

y=
x
.
x 1
Entonces
y(x 1) =
yx y
yx x
x(y 1) = y
por tanto,
x=
y
y 1
y el rango de f es
R( f ) = y R | y 6= 1
Definicin 11 Una funcin f : A B es sobreyectiva, si cada elemento de B es la imagen bajo f de

algn elemento de A; esto es, si para cada b B existe un a A tal que b = f (A).
En otras palabras f es sobreyectiva si f (A) = B .
20
Definicin 12 Una funcin f que es tanto inyectiva como sobreyectiva, se dice que es biyectiva. En este
caso, tambin se dice que f es una biyeccin o que es una correspondencia uno-a-uno.
Si f : A B es biyectiva, existe una funcin inversa, f 1 : B A, caracterizada por
x = f 1 (y) si y solo si
y = f (x)
(1.13)
para todo y B y para todo x A.

Si f : A B es biyectiva y H B , entonces f 1 (H ) significa
la preimagen de H bajo f , o bien,
la imagen de H bajo f 1 .
sin embargo, de cualquier forma se obtiene el mismo subconjunto de A, de manera que no hay ambigedad.
Definicin 13 Si f : A B y g : B C , en donde f (A) B , la funcin compuesta g f es la funcin de

A a C definida por
g f (x) = g ( f (x)), para x A.
Debe notarse el orden de la composicin. Por ejemplo si f (x) = x + 1 y g (x) = x 2 , entonces D( f ) = R,
D(g ) = R y R( f ) R de modo que D(g f ) tambin es R y la composicin est dada por
g f (x) = g (x + 1) = (x + 1)2 = x 2 + 2x + 1.
Por otro lado, tambin D( f g ) = R, pero en este caso,
f g (x) = f (x 2 ) = x 2 + 1.
Por lo tanto, g f 6= f g .
Tambin, se debe comprobar que el codominio de f est contenido en el dominio
de g . Por ejemplo, si
p
p
2
2
f (x) = 1 x y g (x) = x, entonces la composicin est dada como g f (x) = 1/x , y
D(g f ) = x | f (x) 0 = {x | 1 x 1} .
p
Si se invierte el orden de la composicin, entonces f g (x) = f ( x) = 1 x, y
D( f g ) = {x R | x 0} .
G*ro
21
Funciones acotadas
Como sabemos, el rango o imagen de una funcin f : D R R, es el conjunto
f (D) = f (x) | x D R.
Si f (D) est acotado por arriba, diremos que f es una funcin acotada por arriba.
Si f (D) est acotado por abajo, diremos que f es una funcin acotada por abajo.
Diremos que f est acotada, si est acotada tanto por arriba como por abajo; en otras palabra, si
existe una constante M > 0 tal que | f (x)| M , para todo x D.
Ejemplo 5 Sean f , g : D R R funciones acotadas. Si f (x) g (x), para todo x D, entonces
sup f (D) sup g (D),
en otras palabras,
sup f (x) | x D sup g (x) | x D .
La figura siguiente muestra que la desigualdad f (x) g (x), no es otra cosa que decir que la grfica de f
est punto a punto por debajo de la grfica de g .
sup f (D)sup g (D)

x
Como f (x) g (x) sup g (D), entonces sup g (D) es una cota superior de f (D), por lo tanto,
sup f (D) sup g (D).
Ntese que de la desigualdad f (x) g (x), para todo x D, no se deduce ninguna relacin entre el
sup f (D) y el nf f (D).
Ejemplo 6 Si f (x) g (y), para todo x y todo y en D, entonces

sup f (D) nf g (D).
22
La figura siguiente muestra que la desigualdad f (x) g (y), cualesquiera que sean x, y D, muestra que
la grfica completa de f queda siempre por debajo de la grfica de g esto es, ningn valor de f es mayor
a algn valor de g .
f
sup f (D)nf g (D)
x
Para cualquier y D, se tiene f (x) g (y), para todo x D, entonces sup f (D) g (y). Pero tambin esta
desigualdad se cumple para todo y D; esto es, sup f (D) es una cota superior de g (D). Por lo tanto,
sup f (D) nf g (D).
Tipos particulares de funciones

Algunas clases importantes de funciones son las siguientes.
Funciones caractersticas de conjuntos Si D R, la funcin caracterstica de D es la funcin,

A : R R,
dada por A (x) =
1, si x A
0, si x 6 A
Funciones constantes Si c R y f : D R R est dada por f (x) = c, para todo x D, entonces decimos que f es constante en D.
Funciones escalonadas Si I = [a, b] es un intervalo cerrado, una particin de I es una divisin de I en
subintervalos I j = [x j 1 , x j ], en donde
a = x 0 < x 1 < x 2 < < x n1 < x n = b.
Los intervalos I j = (x j 1 , x j ) son los subintervalos abiertos de la particin. Diremos que una funcin f : [a, b] R es escalonada si f es constante sobre cada uno de los intervalos abiertos I j de
la particin de I .
Funciones lineales Una funcin f : R R definida por f (x) = ax + b, en donde a, b R es una funcin
lineal. Si a = 0, obviamente es una funcin constante.
G*ro
23
2
Funciones cuadrticas Si a, b, c R y a 6= 0, una funcin f : R R dada por f (x) = ax + bx + c se

conoce como funcin cuadrtica. Su grfica es una parbola.
Funciones polinomiales Si a 0 , a 1 , . . . , a n R y a n 6= 0, una funcin de la forma f : R R definida como
f (x) = a 0 + a 1 x + a 2 x 2 + + a n x n
se conoce como funcin polinomial, a la expresin algebraica a 0 + a 1 x + a 2 x 2 + + a n x n se le
llama polinomio de grado n. Ntese que las funciones constantes, lineales, cuadrticas, cbicas,
son casos particulares de stas. Debe quedar claro que si f es una funcin polinomial, su dominio
es todo el conjunto R.
Funciones racionales Una funcin racional es un cociente de dos funciones polinomiales; es decir, una
funcin de la forma
p(x)
a0 + a1 x + a2 x 2 + + an x n
f (x) =
=
q(x) b 0 + b 1 x + b 2 x 2 + + b m x m
en donde a j , b k R con j = 0, 1, . . . n, k = 0, 1, . . . m y a n , b m 6= 0.
Si f es una funcin, el conjunto de ceros reales de f es el conjunto
Z f = x R | f (x) = 0 .
En otras palabras Z f es el conjunto de soluciones de la ecuacin f (x) = 0.

Debemos observar que, si
f (x) =
p(x)
q(x)
es una funcin polinomial, entonces

Dom( f ) = R Z q .
Por otro lado, la propiedad de completez de R nos permite asegurar la existencia de una raz cuadrada
para cualquier x R+ ; de modo que podemos definir la funcin raz cuadrada,
f : R+ R+ ,
Tambin escribiremos
dada por
f (x) =
x.
x = x 2 . Ms adelante trataremos potencias racionales en general.
24
Captulo 2
Lmites y continuidad de funciones
Sucesiones de nmeros reales y convergencia

Definicin 14 Una sucesin de nmeros reales es una funcin X : N R. Esta funcin asocia un nmero
real X (n), a cada nmero natural n.
Un ejemplo tpico de una sucesin es X : N R dada por X (n) = n1 .

En lugar de escribir las sucesiones como lo acabamos de hacer; es decir como cualquier funcin, se
acostumbra escribir el valor X (n) de la sucesin como x n y se le llama trmino ensimo o trmino
general de la sucesin. Y la misma sucesin se escribe indicando sus trminos o el trmino ensimo
dentro de parntesis. De esta manera, la sucesin del ejemplo previo la escribimos como
1 1
X = 1, , , . . .
2 3
o simplemente, usando la expresin del trmino ensimo, como

1
X = (x n ) =
.
n
El uso de los parntesis es para indicar que el orden de los trminos importa, en este sentido, se debe
diferenciar la escritura (x n ) de {x n }. Cuando escribimos {x n } estamos hablando del conjunto de los trminos de la sucesin y no de la sucesin misma. Para ilustrar esta diferencia consideremos la sucesin
X = (1)n+1 .
25
26
En este caso la sucesin es
(1)n+1 = (1, 1, 1, 1, . . .)
y el conjunto de sus trminos es
(1)n+1 = {1, 1}.
En todo lo que sigue usaremos la escritura X = (x n ) para las sucesiones.

(Abuso de) Notacin. Para indicar que tenemos una sucesin de nmeros reales usaremos, por ejemplo, los smbolos (x n ) R.
Podemos graficar la sucesin ( n1 ) como se muestra en la siguiente figura.
La sucesin
0 ...
1
3
1
2

1
n
Otra forma en la que podemos obtener una visualizacin grfica de una sucesin es con la ayuda de la
funcin f (x) = x1 , como se muestra en la siguiente figura.
La sucesin
1
2
1
3
..
.
Otros ejemplos de sucesiones son:

1
n
G*ro
27
1. Sucesiones constantes. Si a R, X = (a, a, a, . . .) es una sucesin constate. Por ejemplo, si a = 2,

tenemos X = (2, 2, 2, . . .).
2. La sucesin de nmeros naturales X = (n) = (1, 2, 3, . . .).
3. La sucesin de los cuadrados de nmeros naturales X = (n 2 ) = (1, 4, 9, . . .).
4. La sucesin de potencias de un nmero real: si a R,
X = (a n ) = (a, a 2 , a 3 , . . .).
Las sucesiones se pueden sumar, restar, multiplicar y dividir, siempre que los divisores no sean cero
y tales operaciones se efectan trmino a trmino1 ; esto es, Si X = (x n ) y Y = (y n ) son sucesiones de
nmeros reales entonces
1. La suma X + Y , es la sucesin definida como (x n + y n )

2. El producto X Y , es la sucesin definida como (x n y n ).
Observaciones.
La resta de sucesiones se obtiene a partir de la suma. X Y es la sucesin (x n y n ).

Si X = (c) es una sucesin constante, entonces X Y = cY = (c y n ).
Si y n 6= 0, para todos los n, entonces, la divisin X /Y = (x n /y n ).
Por ejemplo, si X = (n) = (1, 2, 3 . . .), Y = (1/n) = (1, 1/2, 1/3, . . .), entonces
1
n +1
X +Y = n +
=
n
n
1
n 1
X Y = n
=
n
n
Explcitamente,
5 10 17
X + Y = 2, , , , . . .
2 3 4
3 8 15
... .
X Y = 0, , ,
2 3 4
Tambin
3
3 3
3Y = 3, , 1, , , . . . .
2
4 5
1 El trmino de una con el trmino correspondiente de la otra.
28
En ocasiones, una sucesin se define dando valores a los primeros trminos y luego obtener los trminos
siguientes a partir de una relacin con los anteriores, un ejemplo conocido de este tipo de definicin de
una sucesin es la sucesin de Fibonacci; en este caso, se dan los dos trminos iniciales y los siguientes
se obtienen como la suma de los dos anteriores. Esto es,

F = f n , en donde f 1 = 1, f 2 = 1, f n+1 = f n1 + f n (n 2).
Explcitamente, los primeros trminos de la sucesin de Fibonacci son
F = (1, 2, 3, 5, 8, 13, . . .) .
Cuando trabajamos con sucesiones, tal vez, lo ms importante es determinar hacia dnde van los trminos de la sucesin. En otras palabras, nos interesa saber si la sucesin tiende a un valor real especfico
o si sus trminos aumentan o disminuyen infinitamente; si ocurre la primera de estas situaciones se dice
que la sucesin tiene un lmite o que converge, de lo contrario, si ocurre cualesquiera de las otras dos
situaciones, la sucesin no tendr un lmite o, equivalentemente, ser divergente. As, lo primero que
hacemos es establecer con precisin el concepto de lmite. Lo hacemos en la siguiente.
Definicin 15 (Lmite de una sucesin) Si2 X = (x n ) R, decimos que x R es un lmite de la sucesin
(x n ), si para toda vecindad de x, existe un nmero natural3 N , de tal manera que si n N , entonces el
trmino x n pertenece a la vecindad de x.
Como una vecindad de un punto x, no es otra cosa que un intervalo abierto de radio con centro en
el punto x, la definicin anterior establece que, si se da un intervalo centrado en x de radio debemos
comprobar la existencia de un ndice N , a partir del cual todos los trminos de la sucesin se localizan
dentro de dicho intervalo. Por otro lado, el intervalo abierto de radio y centro en x se puede describir en
trminos del valor absoluto (o geomtricamente, en trminos de distancia) como ya es sabido; es decir,
(x , x + ) = y R | | |x y| < .
De esta manera, podemos refrasear la defincin anterior como sigue.
Definicin 16 (Lmite de una sucesin, versin equivalente) Un nmero x R es un lmite de una sucesin (x n ) R, si para todo > 0 exitse un N N tal que, si n N , entonces
|x n x| < .
Notacin. Si X = (x n ) R y x R es un lmite de la sucesin, escribimos
lm X = x,
lm (x n ) = x
n
X x, cuando n .
2 Recordemos el significado de esta simbologa: una sucesin de nmeros reales

3 De hecho, N = N () lo que significa que el valor de N depender del valor de .
G*ro
29
Como siempre se toma n , tambin escribimos, simplemente lm(x n ) o lm X . Cuando una sucesin tiene lmite x, tambin se dice que converge a x, o que es una sucesin convergente con lmite x.
De lo contrario se dice que la sucesin diverge o es divergente.
Ntese que la definicin no dice cmo se obtiene un lmite, en realidad, necesitamos un candidato x a
ser el lmite de una sucesin, la manera de obtener ese candidato es por otros medios, una vez que se
obtiene, usamos la definicin para establecer que efectivamente es, o no, el lmite.
Observacin. [Unicidad del lmite] Puede probarse que si un lmite existe es nico, en consecuencia, en
lugar de decir x es un lmite de una sucesin diremos x es el lmite de una sucesin. A continuacin
se da un ejemplo que ilustra cmo usar la definicin para probar la existencia del lmite.
Ejemplo 7 Probar que
1.

1
lm
= 0.
n
2.
lm
1
= 0.
n2
Es claro que cuando n entonces

1
0 y, tambin,
n
1
0.
n2
De hecho, podemos usar las grficas de las funciones
f (x) =
1
x
f (x) =
1
x2
para observar este comportamiento: si x , claramente cuando tomamos x = n tenemos el mismo

comportamiento; esto es, n1 0 y n12 0.
30
f (x)=
1
x2
f (x)= x1
De esta manera, 0 es el candidato a lmite de cada sucesin. Sin embargo, se debe probar que efectivamente es el lmite de acuerdo a la definicin.
Empezamos con la primera de las sucesiones. Segn la definicin de lmite, dado cualquier > 0 dado
( es el radio del intervalo abierto alrededor de 0), debemos asegurar que hay un nmero natural N (es
decir, un ndice de los trminos de la sucesin) de tal modo que, si n N , entonces
1
1
|x n 0| = 0 = < .
(2.1)
n
n
Cmo podemos asegurar la existencia de dicho natural N ?. La respuesta nos la ofrece la Propiedad
Arquimediana: para el nmero real 1 > 0, siempre existe un nmero natural4 N tal que
0<
1
<N
de donde,
1
< .
N
As, si n N , entonces
1
n
1
N . Por tanto, si n
N,
1
<
n
lo que prueba la desigualdad (2.1), y, entonces

1
lm
= 0.
n
4 Ntese que el nmero natural N depende del valor que se de a .
G*ro
31
Nota. En ocasiones expresamos la desigualdad (2.1) diciendo que, la diferencia
0
n
se puede hacer suficientemente pequea, tomando n suficientemente grande.
Para probar que 0 es el lmite de la sucesin ( n12 ). Seguimos el mismo juego; es decir, considerar cualquier
valor > 0 y determinar si hay un natural n suficientemente grande que haga
0 < .
(2.2)
n2
De nuevo, por la Propiedad Arquimediana, para el nmero real positivo

tal que
1
1
< N 2.
p < N , o bien,
p1 , existe un nmero natural
Si n N , entonces n 2 N 2 y
1
1
2 <
2
n
N
esto muestra que la desigualdad (2.2) es vlida. Por lo tanto

1
lm 2 = 0.
n
Qu propiedad o caracterstica debe tener una sucesin para que pueda ser convergente?. La respuesta
la da la siguiente.
Proposicin 4 Toda sucesin convergente, (x n ) R est acotada,
Al igual que las funciones, de hecho recordemos que una sucesin es una funcin muy particular, una
sucesin es acotada si existe un nmero real M > 0 tal que
|x n | M ,
para todo n N.
Por ejemplo la sucesin X = (n) no est acotada; as, por la proposicin anterior, no puede ser convergente o, en otras palabra, no puede tener un lmite. Sin embargo, es importante observar, que una
sucesin puede estar acotada y no tener lmite. Es el caso de la sucesin
Y = (1)n+1 = (1, 1, 1, 1, 1, . . .) ,
32
que no tiene un lmite.

Veremos a continuacin algunos criterios bsicos para calcular lmites de sucesiones. El primero de esos
criterios es el teorema siguiente cuya demostracin se omite.

Teorema 3 Sea X = (x n ) , Y = y n R. Si X x y Y y, entonces
1. X Y x y
2. X Y x y
3. y, si y n 6= 0 para todo n, entonces X /Y x/y.
Ejemplo 8 Encontrar

2
lm
n
Solucin. En el Ejemplo 1 probamos que n1 0 y, claramente la sucesin constante X = (2, 2, 2, . . .) converge a 2. Por el teorema previo el producto de ambas sucesiones es convergente y

2
1
lm
= lm(2) lm
= 2 0 = 0.
n
n
Ntese que no se puede usar la parte (3) del teorema, ya que la sucesin (y n ) = (n) no es convergente.

Ejemplo 9 Encontrar
4n + 2
lm
n
Solucin. Nuevamente, no podemos usar la parte (3) del teorema dado que ni la sucesin del numerador
ni la del denominador son convergentes. Pero como
4n + 2
2
= 4+ ,
n
n
entonces, por la parte (1) del teorema,

4n + 2
2
lm
= lm(4) + lm
= 4 + 0 = 4.
n
n
G*ro
33
Ejemplo 10 Encontrar
lm
n
.
4n 2 + 2
En este ejemplo, tampoco podemos usar la parte (3) del teorema directamente, pero si escribimos
1
n
= n ,
4n 2 + 2 4 + 22
n
entonces podemos aplicarla a la fraccin de la derecha y tenemos5

lm n1
0
n
=
lm
= = 0.
2
2
4n + 2
4
lm 4 + n 2
Si los trminos de una sucesin convergente se localizan (todos) dentro de un intervalo cerrado [a, b],
entonces su lmite est dentro del intervalo, formalmente, tenemos el siguiente.
Teorema 4 Si (x n ) R converge a x y es tal que, a x n b, entonces a x b.
Se sigue de este teorema que si (x n ) es una sucesin de trminos no negativos; i.e., x n 0, que tiene
lmite x, entonces x 0, es decir, el lmite no puede ser negativo. Por ejemplo,
lm
2
0.
n +1
Teorema 5 Si (x n ), (y n ), (z n ) R satisfacen las desigualdades x n y n z n , para todo n; y si lm(x n ) =

lm(z n ), entonces (y n ) tambin es convergente y
lm(y n ) = lm(x n ) = lm(z n ).
Para el siguiente ejemplo supondremos que el estudiante conoce el significado de seno de un nmero.
Ejemplo 11
lm
sen n
=0
5 Obviamente, el lmite en el numerador de la segunda fraccin se calcula con la parte (1) del Teorema
34
x
f (x)= sen
x
Solucin. Como |sen x| 1, entonces
1 sen n 1
n
n
n
el resto se sigue del teorema anterior y el hecho que
1
n
0.
Lmites de funciones
Ahora trabajaremos sobre los lmites de funciones, la definicin de lmite de una funcin es similar a la de
lmite de una sucesin, pero con algunas variantes que son importantes. Antes de empezar recordemos
que un punto de acumulacin de un conjunto D R es un nmero real a, para el cual toda vecindad
del punto a contiene puntos del conjunto D; lo que escribimos
(V (a) {a}) D = ;.
Podemos usar sucesiones para describir los puntos de acumulacin como sigue
Definicin 17 (Punto de acumulacin, definicin con sucesiones) Un nmero a R es un punto de acumulacin de un conjunto D R si existe una sucesin6 (x n ) D con x n 6= a, para todo n N, tal que
lm (x n ) = a
[, x n a].
Previamente hemos visto que los puntos de acumulacin de un intervalo abierto (a, b) son todos los
puntos del intervalo y adems los puntos extremos a y b; esto es, si I = (a, b), entonces I a = [a, b]. Si
6 Los smbolos (x ) D los leemos como una sucesin de puntos de D o simplemente, una sucesin en D.
n
G*ro
35
1
n,
hacemos, por ejemplo, x n = a + para n suficientemente grande, entonces los trminos de la sucesin
(x n ) estn dentro del intervalo I , todos son distintos de a y
1
lm (x n ) = lm a +
=a
n
por lo tanto, a es unpunto de acumulacin de I ; i.e., a I a . Tambin es cierto que b I a , si consideramos
la sucesin de trmino general
1
yn = b .
n
Moraleja: los extremos de un intervalo acotado son puntos de acumulacin de dicho intervalo.
Definicin 18 (Lmite de una funcin) Sean D R, a D a y f : D R una funcin. Se dice que un
nmero real L es un lmite de f en a si, para toda7 V (L), existe una8 V (a) tal que,
f (x) V (L) para todo x (V (a) {a}) D.
f (x)
L
V (L)
V (a)
Observacin. Como sucede con las sucesiones, si existe el lmite de una funcin, es nico.
Si L es el lmite de f en a, se escribe
L = lm f
xa
L = lm f (x),
xa
f (x) L, cuando x a.
(2.3)
Y tambin se dice que f tiende a L cuando x tiende a a, o f se aproxima a L cuando x se aproxima a a.

La definicin de lmite se puede describir tambin en trminos del valor absoluto o distancia. Como se
muestra en la siguiente
7 vecindad de L
8 vecindad de a
36

a
Proposicin 5 (Formulacin ) Si f : D D y a D , entonces

lm f = L
xa
si
y solo si,
para todo > 0, existe un = () > 0 de tal manera que, si x D y 0 < |x a| < , entonces
f (x) L < .
Al igual que con las sucesiones, ni la definicin ni su descripcin mediante la proposicin anterior, nos
dice cmo encontrar el lmite L, nicamente dice cmo debemos probar su existencia una vez que se
conoce L. Daremos algunos ejemplos de existencia de lmites antes de indagar cmo encontrar los candidatos a limite de una funcin.
Observacin importante. Como a es un punto de acumulacin del dominio de definicin de la funcin,
i.e., a D a , la funcin puede no estar definida en a, pero puede tener o no, un lmite en ese punto; en
este sentido la frase f tiende a L cuando x tiende a A es mas descriptiva. En la literatura tradicional de
Clculo suele expresarse esta situacin con la frase f definida, posiblemente, en el punto a.
Daremos ahora los ejemplos usuales de cmo probar que un nmero L es el lmite de una funcin dada.
Usaremos la formulacin . Debe tenerse en cuenta que se procede de forma similar al caso de los
lmites de sucesiones.
Ejemplo 12 (Funcin constante) Si f : R R, es una funcin constante, digamos f (x) = c, donde c R,
entonces, para cualquier nmero real a,
lm f = c.
xa
Solucin. Para cualquier > 0 dado debemos encontrar un = () > 0 de tal forma que si 0 < |x a| < ,
entonces | f (x)c| < . Ahora bien, para > 0 dado, podemos elegir9 = 1. As, si 0 < |x a| < 1, entonces
f (x) c = |c c| = 0 < .
Esto muestra lo que se quera.
Ejemplo 13 (Funcin identidad) Si f : R R, es la funcin identidad, f (x) = x, entonces, para cualquier nmero real a,
lm f = a.
xa
Solucin. Dado > 0, podemos escoger = () = . De esta manera, si 0 < |x a| < , claramente se
tiene que
f (x) a = |x a| < .
Y se prueba el lmite deseado.
9 De hecho como f es constante, cualquier valor positivo trabaja bien como el que exige la definicin o la Proposicin
G*ro
37
2
Ejemplo 14 (Funcin cuadrado (parbola)) Si f : R R, es la funcin, f (x) = x , entonces, para cualquier nmero real a,
lm f = a 2 .
xa
Solucin. Dado > 0, queremos que | f (x) a 2 | sea menor que , cuando x se toma suficientemente
cerca de a. Para ello notemos que
f (x) a 2 = x 2 a 2 = |x + c| |x a| .
Ahora buscamos acotar el factor |x +a| en una vecindad conveniente de a, tomamos entonces |x a| < 1,
de manera que
|x| |a| |x a| < 1,
esto es |x| |a| + 1
y,
|x + a| |x| + |a| (|a| + 1) + |a| = 2|a| + 1.
Por lo tanto, tomando x con la condicin de que |x a| < 1, entonces
2
x a 2 = |x + a| |x a| (2|a| + 1) |x a| .
Adems, si
|x a| <
(2.4)
,
2|a| + 1
entonces
(2|a| + 1) |x a| < .
En resumen, escogiendo
= nf 1,
2|a| + 1
se sigue que
f (x) a 2 = x 2 a 2 (2|a| + 1) |x a| < .
esto muestra que

lm f = a 2 .
xa
Ejemplo 15 (Funcin recproco (hiprbola)) Si f : R R, es la funcin, f (x) = x1 , para x > 0 , entonces,

para cualquier nmero real a,
1
lm f = .
xa
a
38
Solucin. Como se hizo en el ejemplo anterior, dado > 0 queremos que
f (x) 1 = 1 1
a
x a
sea menor que cuando x est suficientemente cerca de a. En este caso tenemos que
1 1 1
1
=
x a ax (a x) = ax |x a| , x > 0.
De nuevo buscamos una cota superior para
ticular, si
1
ax ,
cuando x est en una vecindad apropiada de a. En par-
|x a| <
entonces
As, si x > a2 , entonces
a
a
< x a <
2
2
1 2
<
x a
a
,
2
a
3
<x< .
2
2
1
2
< 2
ax a
(a > 0).
En otras palabras,
si |x a| <
a
1
2
.
, entonces
<
2
ax a 2
Por lo tanto, si |x a| < a2 , se tiene que
f (x) 1 2 |x a|
a a2
Para hacer que la desigualdad (2.5) sea menor que es suficiente tomar
|x a| <
a2
.
2
Por lo tanto, si tomamos

= nf
a a2
,
2 2
y si 0 < |x a| < , entonces
1 1
< .
x a
Lmites de funciones usando sucesiones

El siguiente teorema es una formulacin equivalente a la definicin de lmite de una funcin.
(2.5)
G*ro
39
a
Proposicin 6 Si f : D R es una funcin, a D y L R; entonces

lm f = L
xa
si y solo si, para toda sucesin (x n ) D {a}, con x n a, se tiene que f (x n ) L.

Nota. Los simblos (x n ) D {a} quieren decir, simplemente, que (x n ) es una sucesin cuyos trminos
x n viven en D, pero todos son distintos del punto a (en el caso que a sea un elemento de D).
Demostracin de la proposicin (Opcional)
Supongamos primero, que
lm f = L
xa
(2.6)
debemos probar, entonces, que cualquiera que sea la sucesin (x n ) (con x n 6= a), que converja a a, la
sucesin cuyos trminos son sus imgenes i.e.. ( f (x n )), es una sucesin de nmeros reales que converge
al valor L.
Por la Proposicin 5, para > 0 dado, existe un = () > 0 tal que,
si x D y 0 < |x a| < , entonces | f (x) L| < .
(2.7)
Ahora bien, si x n a, de acuerdo a la definicin de convergencia de una sucesin (con en lugar de ),

para este valor de , existe un N N de tal manera que si n N , entonces
|x n a| < .
Ahora bien, de la condicin (2.7), se sigue que
f (x n ) L < [si n N ]
(2.8)
(2.9)
Esto es, la sucesin ( f (x n )) converge a L. Esto demuestra la primera parte de la proposicin.
Ahora debemos demostrar el recproco; esto es, si para toda sucesin (x n ) D {a} que converge a a,
se tiene que la sucesin f (x n ) converge a L, entonces lmxa f = L. Probaremos esta afirmacin por
reduccin al absurdo.
Si, al contrario, no es cierto que
lm f = L
xa
entonces existe, al menos, una vecindad V0 (L) de tal manera que para toda vecindad V (a), hay al menos
un x D V (a), distinto de a y, tal que
f (x) L .
Ahora bien, para cada = n1 , existe un x n D V 1 (a) tal que
n
f (x n ) L 0 .
40
Esto es, obtenemos una sucesin (x n ) que converge a a, pero la sucesin ( f (x n )) no converge a L; esto
contradice la hiptesis y prueba que el recproco es cierto.
Observacin. La Proposicin 6 no es de mucha ayuda para determinar si una funcin tiene un lmite L,
su valor es mas bien terico; sin embargo, como se ve en la demostracin del recproco, s es til cuando
se trata de probar que una funcin no tiene un lmite en un punto dado: es suficiente encontra una
sucesin (x n ) que converja al punto en consideracin, pero que la sucesin de sus imgenes ( f (x n )) no
converja.
Ejemplo 16 (No existencia de lmite) Si f (x) = x1 , para x > 0, entonces
lm f
x0
no existe.
Solucin. Es suficiente notar que

1
0,
(x n ) =
n
pero
1
f (x n ) = 1 = (n)
no converge.
En este ejemplo, es claro que D = Dom( f ) = {x R | x > 0} y 0 D a (i.e., 0 es un punto de acumulacin de

D).
El resultado siguiente es una consecuencia (corolario) de la proposicin anterior, por su importancia lo
establecemos explcitamente.
Corolario 4 Sea f : D R una funcin y a R un punto de acumulacin de D. Entonces f no tiene un
lmite en a si y solo si existe una sucesin (x n ) D a tal que x n a pero f (x n ) no converge en R.

Ejercicio. Si x > 0, mostrar que
1
lm p
x
x0
lm
x0
1
x2
no existen.
El clculo de lmites
Estudiaremos ahora algunos resultados clsicos que nos permiten calcular lmites. Empezaremos dando
un resultado que nos da una condicin necesaria para que una funcin pueda tener un lmite. Para
G*ro
41
ello necesitamos la idea de acotacin en una vecindad de un punto, que no es otra cosa que la funcin
sea acotada en las cercanas del punto en consideracin; en otras palabras, se dice que una funcin
f : D R est acotada en una vecindad V (a), de a D a , si existe una constante M > 0 tal que para
toda x V (a) D,
| f (x)| M .
Teorema 6 Si f : D R tiene un lmite en a R, entonces f est acotada en alguna vecindad de a.
La figura siguiente muestra claramente lo que sucede si una funcin no est acotada en una vecindad
del punto en el que se desea determinar el lmite.
f (x)=
1
x2
)
V (a)
Teorema 7 Si D R, a D a y sean f , g : D R funciones tales que

L = lm f
xa
y M = lm g
xa
entonces existen los lmites de f g y f g en a, y

lm ( f g ) = L M = lm f lm g ,
xa
xa
xa
lm ( f g ) = L M = lm f lm g .
xa
xa
xa
Adems, si g (x) 6= 0, para x D, y M 6= 0, entonces

lm
xa
L
lmxa f
f
=
=
.
g M lmxa g
42
Demostracin (Demostracin parcial). Sea (x n ) D {a} tal que x n a, entonces

f (x n ) L
y g (x n ) M .
Como las sucesiones ( f (x n )) y (g (x n )) son son convergentes, entonces ( f (x n ) g (x n )) convergen y

( f (x n ) g (x n )) L M .
Las demostraciones del producto y la del cociente son similares (y quedan de ejercicio).
Observacin El teorema anterior se puede extender (por induccin finita) a sumas y productos finitos;
esto es, si D R, a D a y si, para j = 1, 2, . . . , n, f j : D R son funciones para las cuales existe
lm f j .
xa
Entonces
lm f 1 f 2 f n = lm f 1 lm f 2 lm f n
xa
xa
xa
xa
lm f 1 f 2 f n = lm f 1 lm f 2 lm f n .
xa
xa
xa
xa
Proposicin 7 Si D R, a D a y si f : D R, satisfacen las desigualdades c f (x) d , para toda x

D {a} y si existe lmxa f entonces
c lm f d .
xa
Proposicin 8 Si D R, a D a y si f , g , h : D R, satisfacen las desigualdades f (x) g (x) h(x), para toda x

D {a} y si lmxa f = lmxa h entonces
lm g = lm f .
xa
xa
No existencia de lmites por medio de sucesiones: ejemplos

Daremos algunos ejemplos sencillos que ilustran cmo probar que no existe el lmite de una funcin en
un punto dado, haciendo uso de sucesiones.
Ejemplo 17 No existe
lm
x2
1
.
x 2
G*ro
43
Solucin. Si bien podemos concluir la no existencia del lmite observando (cmo?) que la funcin no es
acotada en ningn intervalo alrededor de x = 2. probaremos este hecho usando sucesiones. Recordemos
que solamente necesitamos encontrar una sucesin (x n ), con x n 6= 2, que converja a 2 y que la sucesin
( f (x n )) no sea convergente. En este caso, consideramos
(1)n+1
2 + n1 , si n es impar
xn = 2 +
=
2 n1 , si n es par
n
Entonces x n 2 (porqu?) y
1
f (x n ) =
=
xn 2
1
n
, si n es impar
=
1 , si n es par
n, si n es impar
n, si n es par
As, ( f (x n )) no converge. Por tanto, el lmite no existe.
(
f (x)=
1
(x2)2
)
V (2)
Ejercicio 1 Probar el mismo resultado usando x n = n1 .

Ejemplo 18 No existe
lm
x0
|x|
.
x
solucin. Esta funcin tiene un salto en a = 0. Escogemos la sucesin
(1)n+1
(x n ) =
n
Obviamente, x n 0. Pero,
|x n |
=
f (x n ) =
xn
Esto es, la sucesin ( f (x n )) no converge.
1, si n es impar
1, si n es par
44
f (x)= |x|
x
Ejercicio 2 Probar que los lmites

1
lm
x4 2x 8
lm
|x 1|
,
x 1
lm
|2x 10|
,
x 5
x1
no existen.
Ejercicio 3 Probar que los lmites

1
lm
x2 (x 2)2
x5
no existen
Los ejemplos siguientes muestran cmo podemos usar la Proposicin (8) para mostrar la existancia de
lmites.
Ejemplo 19
3
lm x 2 = 0, x > 0.
x0
Solucin. En este caso, tenemos que

3
f (x) = x 2 ,
D = Dom( f ) = R+
a
y 0 R+ .
1
Ahora bien, si 0 < x 1, entonces x x 2 1; multiplicando por x, obtenemos x x x x 2 x; esto es,

x 2 f (x) x
Ntese que aun cuando el dominio de f es R+ , en realidad al calcular el lmite en cero, no necesitamos
que las desigualdades de la proposicin se satisfagan en todo el dominio, basta que sean vlidas en algn
subconjunto apropiado del dominio, como lo vemos en este caso.
G*ro
45
Como
lm x 2 = 0 y
x0
lm x = 0
x0
se sigue de la proposicin que

3
lm x 2 = 0, x > 0.
x0
El ejemplo siguiente se desarrolla de manera similar.
Ejemplo 20
5
lm x 2 = 0, x > 0.
x0
En este caso, f (x) = x 2 ; el dominio de f es R+ y 0 es un punto de acumulacin del dominio de f . Si

1
1
0 < x 1, entonces 0 < x x 2 1 y multiplicando por x 2 , tenemos x 2 x x 2 x 2 x 2 . Esto es,
5
x 3 x 2 x 2.
Teniendo que cuenta que
lm x 3 = 0 (porqu?) y
lm x 2 = 0
x0
x0
a partir de la proposicin, se tiene

5
lm x 2 = 0.
x0
Cul es lmx0 x 2 ?.
Es fcil determinar los lmites de funciones polinomiales, por ejemplo, una aplicacin directa del Teorema 5 en las notas de clase, nos permite calcular,
lm x 2 + x + 1 = lm x 2 + lm x + lm 1 = a 2 + a + 1;
xa
xa
xa
xa
de manera que, con fines prcticos, para encontrar este tipo de lmites podemos hacer una sustitucin directa de x por a. Sin embargo, para funciones racionales, esta sustitucin directa no siempre
funciona. Como se muestra en el ejemplo siguiente.
Ejemplo 21 (Un ejemplo tpico) Si a R, encontrar

x2 4
.
xa x 2
lm
46
Si
x2 4
x 2
entonces D = Dom( f ) = R {2} y D a = R; esto es, todo nmero real es un punto de acumulacin del
dominio de la funcin.
f (x) =
Si a 6= 2, el Teorema 5, nos permite hacer una sustitucin directa ya que tanto la funcin del numerador
como la del denominador tienen lmite en a = 2; de hecho,
x2 4
xa x 2
lm
lmxa x 2 4
lmxa x 2
lmxa x 2 lmxa 4
lmxa x lmxa 2
a2 4
.
a2 2
Pero si a = 2 (recordemos que 2 D a ), el Teorema 5 no puede aplicarse debido a que el denominador

se anula. Sin embargo podemos encontra una funcin equivalente que nos permita calcular el lmite en
a = 2, lo que hacemos es, simplemente, factorizar el numerador:
x 2 4 (x + 2)(x 2)
=
= x + 2.
x 2
x 2
Lo que obtenemos es la funcin g (x) = x +2. Ntese que f (x) = g (x) si Dom(g ) = R {2} y no necesitamos
que g est definida en x = 2 para calcular su lmite en ese punto. As
lm f (x) = lm g (x) = 2 + 2 = 4.
x2
x2
Lmites laterales
En ciertas ocasiones es til considerar lmites de funciones, aproximndonos al punto x = a solamente
por la izquierda; esto es, considerando nicamente valores de x en el conjunto D (, a), o bien aproximndonos al punto x = a solamente por la derecha; es decir, tomando nicamente valores de x en el
conjunto D (a, ). En particular, hacemos esto cuando una funcin tiene un salto en el punto a. Una
de tales funciones sa da en el siguiente.
Ejemplo 22 (Funcin signo) La funcin signo de x, es la funcin
+1, si x > 0,
0, si x = 0,
sgn(x) : R R, dada por sgn(x) =
1, si x < 0.
G*ro
47
Observacin.
sgn(x) =
x
, si x 6= 0.
|x|
Si a R, entonces es claro que,
lm sgn(x) =
xa
1, si a > 0,
1, si a < 0.
La pregunta, luego es cul es el lmite de la funcin en 0?. Podemos, aproximndonos por la izquierda,
considerar la sucesin (x n ), en donde x n = n1 , entonces x n 0; sin embargo, para todo n N,
1
f (x n ) = f ( ) = 1;
n
de donde,
f (x n ) 1.
Aproximndonos por la derecha, con y n = n1 , se tiene que para todo n N,
f (y n ) = f (1/n) = 1;
por tanto,
f (y n ) 1.
Como sabemos, una funcin dada no puede tener ms de un lmite en un punto a; los clculos anteriores
nos permiten concluir que no existe el lmite en a = 0; esto es
lm sgn(x)
x0
no existe.
El ejemplo anterior ilustra dos cosas importantes, en algunos puntos en los que el lmite no existe todava
podemos calcular el lmite aproximndonos por un lado; es decir, un lmite natural y segundo podemos
usar sucesiones para determinar el lmite. Las definicin de lmites laterales se da a continuacin y la
descripcin con sucesiones en las proposiciones siguientes.
Definicin 19 Si f : D R R es una funcin y si a [D (, a)]a , se dice que L R es lmite de f por

la izquierda en a, escrito
lm f = L,
xa
si para todo > 0 existe un = () > 0 de tal manera que, si x D y 0 < a x < , entonces | f (x) L| < .
48
Ntese que
D (, a) = {x D | x < a} .
y
a [D (, a)]a : a es un punto de acumulacin de {x D | x < a} .
La figura siguiente ilustra el caso del lmite por la izquierda en un punto a, una figura similar tomando
el conjunto D (a, +), ilustra la situacin para el lmite por la derecha.
f (x)
D(,a)
El lmite lateral se puede describir usando sucesiones como lo dice la siguiente.
Proposicin 9 Si f : D R R es una funcin y si a [D (, a)]a , entonces

lm = L R
xa
si y solo si para toda sucesin x n a, con x n D (, a), f (x n ) L.
Nota. La expresin x n D (, a), significa que x n D y x n < a.

Para el lmite por la derecha tenemos la siguiente.
Definicin 20 Si f : D R R es una funcin y si a [D (a, +)]a , se dice que L R es lmite de f por

la derecha en a, escrito
lm+ f = L,
xa
si para todo > 0 existe un = () > 0 de tal manera que, si x D y 0 < x a < , entonces | f (x) L| < .
G*ro
49
Ntese que
D (a, +) = {x D | x > a} .
y
a [D (a, +)]a : a es un punto de acumulacin de {x D | x > a} .
La descripcin del lmite por la derecha mediante sucesiones se establece en la siguiente.
Proposicin 10 Si f : D R R es una funcin y si a [D (a, +)]a , entonces

lm = L R
xa
si y solo si para toda sucesin x n a, con x n D (a, +), f (x n ) L.
Nota. La expresin x n D (a, +), significa que x n D y x n > a.
Ejemplo 23 (Funcin signo de x) Es claro que

lm sgn(x) = 1 y
x0
lm sgn(x) = 1.
x0+
Si una funcin tiene lmite en un punto x = a, entonces, de acuerdo a las definiciones previas, tambin
tiene lmites laterales en ese punto y son iugales al lmite y, recprocamente, si existen los lmites laterales
y son iguales entonces existe el lmite en ese punto y es igual a cualquiera de los lmites laterales. En
resumen, tenemos la siguiente.
Proposicin 11
lm f (x) = L
xa
si y solo si
lm f (x) = L = lm+ f (x).
xa
xa
Ejemplo 24 (Funcin signo de x) Si a R {0}, entonces

lm sgn(x) = lm+ sgn(x) = lm sgn(x) = 1,
xa
xa
xa
si a < 0
y
lm sgn(x) = lm+ sgn(x) = lm sgn(x) = 1,
xa
xa
xa
si a > 0.
50
Lmites infinitos
Hemos visto ya que si una funcin no est acotada en una vecindad de un punto, no tiene lmite en ese
punto; es el caso de la funcin
1
f (x) = 2 , x 6= 0
x
que no tiene lmite en a = 0; sin embargo, se puede decir que f tiende a , cuando x 0. Sin embargo,
debe tenerse en cuenta que el smbolo es slo eso, un smbolo y no un nmero real. Lo mismo es cierto
cuando se escribe o +.
Definicin 21 Sea f : D R R una funcin y a D a . Se dice que f tiende a , cuando x tiende a a,

escrito
lm f = ,
xa
si para todo M R existe un = (M ) > 0 de tal manera que, si x D con 0 < |x a| < , entonces f (x) > M .
Otra manera de expresar f tiende a , cuando x tiende a a es, simplemente: f , cuando n a.
Ejemplo 25 Si f (x) =
1
, entonces
x2
Solucin. Si M > 0, escogemos =
f , cuando x 0.
p1 . De esta manera, si
M
1
0 < |x 0| < = p ,
M
o lo que es lo mismo,
1
0 < |x| < p ,
M
entonces
|x 2 | = x 2 <
1
M
de donde,
1
= f (x) > M .
x2
Observacin. La funcin
f (x) =
no tiende a ni a , cuando x 0. Porqu?
1
, x 6= 0.
x
G*ro
51
a
Definicin 22 Sea f : D R R una funcin y a D . Se dice que f tiende a , cuando x tiende a a,

escrito
lm f = ,
xa
si para todo N R existe un = (N ) > 0 de tal manera que, si x D con 0 < |x a| < , entonces f (x) < N .
Lmites en el infinito
Definicin 23 (Lmite en ) Sea f : D R R una funcin y supongamos que para algn c R, (c, )
D. Se dice que L R es lmite de f cuando x , escrito
lm f = L,
si para todo > 0, existe un M = M () > c, de tal manera que, si x > M , entonces
f (x) L < .
Definicin 24 (Lmite en ) Sea f : D R R una funcin y supongamos que para algn c R,

(, c) D. Se dice que L R es lmite de f cuando x , escrito
lm f = L,
si para todo > 0, existe un N = N () < c, de tal manera que, si x < N , entonces
f (x) L < .
Proposicin 12 Sea f : D R R una funcin y supongamos que para algn c R, (c, ) D.Entonces
lm f = L
si y solo si, para toda (x n ) D (c, ), con x n , f (x n ) L.
Continuidad
En esta seccin estudiaremos brevemente una clase de funciones conocida como funciones continuas.
Esas funciones son las ms importantes en nuestro estudio del Clculo. Intuitivamente, las funciones
continuas son aquellas que no presentan huecos en sus grficas, esta propiedad est fuertemente ligada
a la existancia de lmites en los puntos del dominio de estas funciones. Empezamos dando la definicin
de continuidad en un punto.
52
Definicin 25 (Continuidad en un punto) Si f : D R es una funcin y si a D, entonces se dice que f es

continua en a si, para toda vecindad V ( f (a)), existe una vecindad V (a) de tal f (x) V ( f (a)), para todo
x V (a).
Comparando esta definicin, con la definicin (18) de lmite, tenemos que, si a D a , entonces f es
continua en a si y solo si
f (a) = lm f .
(2.10)
xa
Esto lleva a la formulacin clsica de continuidad en un punto, como sigue. Si a D a , entonces se satisface (2.10) si
1. f est definida en a; es decir, que exista el valor f (a),

2. existe L = lmxa f , y
3. L = f (a).
Los ejemplos siguientes muestran esta descripcin de la continuidad, vense los ejemplos correspondientes a los lmites.
Ejemplo 26 (Funciones constantes) La funcin constante f : R R, dada por f (x) = c, para cualquier
c R, es continua en R.
De hecho, si a es cualquier nmero real, entonces

lm f = c = f (a);
xa
as, f es continua en todo a R, por lo tanto es continua en R.
Ejemplo 27 (La funcin cuadrado) La funcin f : R R, dada por f (x) = x 2 , es continua en R.
Para cualquier a R, se tiene que

lm f = a 2 = f (a);
xa
por tanto f es continua en a y, en consecuencia, continua en R.
Ejemplo 28 (Funcin recproco) La funcin f : R+ R, definida por f (x) = x1 , es continua en R+ .
G*ro
53
Para cualquier a R ,
+
lm f =
xa
por tanto, f es continua en a.
1
= f (a);
a
Las dos proposiciones siguientes dan las formulaciones de la continuidad en trminos del valor absoluto
(o distancia) y en trminos de sucesiones.
Proposicin 13 Una funcin f : D R R es continua en un punto a D si y solo si, para todo > 0
existe un = () > 0, de tal manera que, si x D con |x a| < , entonces
f (x) f (a) < .

Proposicin 14 Una funcin f : D R R es continua en un punto a D si y solo si, para toda sucesin
(x n ) D que converge a a, la sucesin f (x n ) converge a f (a).
Como consecuencia de sta proposicin, obtenemos un criterio para establecer cundo una funcin no
es continua en un punto a D. SE establece este criterio como una proposicin debido a su importancia.
Proposicin 15 Una funcin f : D R R no es continua en un punto a D si y solo si, existe una

sucesin (x n ) D que converge a a, pero la sucesin f (x n ) no converge a f (a).
Cuando una funcin no es continua en un punto, tambin se dice que es discontinua en dicho punto.
Hay dos situaciones en las que una funcin no es continua en un punto a, a saber, cuando
1. f no tiene lmite, cuando x a, y
2. f tiene lmite L, cuando x a, pero L 6= f (a).
En el primer caso se dice que a es una discontinuidad no removible, en ocasiones, esencial. En el segundo caso se dice que la discontinuidad es removible o no esencial.
Ejemplo 29 (Discontinuidad removible) Si
f (x) =
entonces a = 0 es una discontinuidad removible.
(x + 2)2 4
,
x
54
Notemos primero que

D = Dom( f ) = R {0}.
Para encontrar lmx0 f , primero hacemos un poco de lgebra. Tenemos que
(x + 2)2 4 x 2 + 4x + 4 4 x 2 + 4x
=
=
= x + 4.
x
x
x
De donde
(x + 2)2 4
= lm (x + 4) = 4.
x0
x0
x
Con este valor del lmite podemos definir una nueva funcin
f (x), si x D,
F : D {0} R, por F (x) =
4, si x = 0.
lm
Entonces F es una funcin continua en a = 0.
Este ejemplo, ilustra el procedimiento general para obtener funciones continuas en un punto a partir
de una funcin que tiene una discontinuidad removible en ese punto: si f tiene una discontinuidad
removible en x = a, la funcin
f (x), si x D,
F : D {a} R, por F (x) =
L, si x = a.
En donde D es el dominio de f y
L = lm f .
xa
Ejemplo 30 (Discontinuidad esencial) La funcin

f (x) =
x 1
x +1
tiene una discontinuidad esencial en el punto a = 1.
Ejemplo 31 La funcin
f (x) =
x2 + x 2
x 1
tiene una discontinuidad removible en a = 1.
De hecho,
x2 + x 2
= lm (x + 2) = 3.
x1
x1
x 1
lm
Terminamos con un ejemplo importante que muestra un hecho relevante que veremos ms adelante.
G*ro
55
Ejemplo 32 Si existe
L = lm
h0
f (a + h) f (a)
,
h
entonces f es continua en a.
Si tomamos x = a + h, entonces h = x a y si x a entonces h 0. Para probar la continuidad de f en

a debemos probar que
lm f (x) = f (a).
xa
Ahora bien,
f (x) f (a) =
De donde
f (x) f (a)
h
h
f (x) f (a)
lm f (x) f (a) = lm
lm h = L 0 = 0.
xa
h0
h0
h
Como
0 = lm f (x) f (a) = lm f (x) lm f (a)

xa
xa
xa
se obtiene
lm f (x) = f (a),
xa
que es lo que queramos.
La continuidad de las funciones polinomiales y racionales se deduce del siguiente resultado.

Teorema 8 Si f , g : D R R son funciones continuas en a D. Entonces f g y f g tambin son
continuas en a. Adems, si h : D R R es continua en a y h(x) 6= 0, para x D, entonces f /g es continua
en a.
Ejemplo 33 (Funciones polinomiales) Toda funcin polinomial

p(x) = a n x n + a n1 x n1 + + a 1 x + a 0
es continua en R.
Ejemplo 34 Una funcin racional r (x) = p(x)/q(x) es continua en a, si q(a) 6= 0; i.e., si a 6 Z q .
56
Captulo 3
Diferenciabilidad
Definicin 26 Sea I R un intervalo, a I y f : I R R. Un nmero L R es la derivada de f en a, si
para todo > 0 existe un = () > 0 de tal manera que si x I con 0 < |x a| < , entonces
f (x) f (a)
< .
x a
(3.1)
Se dice entonces que f es derivable o diferenciable en a y que L es la derivada de f en a.
Escribiremos f 0 (a), en lugar de L, para indicar la derivada de f en a y comparando esta definicin con
la definicin de lmite, podemos expresar
f 0 (a) = lm
xa
f (x) f (a)
f (a + h) f (a)
= lm
h0
x a
h
(3.2)
siempre que el lmite exista. Si f tiene derivada en cada punto del intervalo, decimos, simplemente, que
es diferenciable.
Observacin. La definicin (y recordando la de lmite, a I a ) anterior permite que el punto a pueda
ser un punto extremo del intervalo; sin embargo, en general, trabajaremos con puntos interiores del
intervalo.
57
58
La derivada como una funcin

Si la funcin f : I R R, tiene derivada en cada punto de un subconjunto I 0 I , entonces la asignacin x 7 f 0 (x) define una funcin f 0 : I 0 R que, naturalmente, llamamos derivada de f . Por ejemplo, si f : R R, est dada por f (x) = x 2 . Entonces, para cualquier a R,
f 0 (a) =
=
=
f (x) f (a)
x a
x2 a2
lm
xa x a
lm (x + a)
lm
xa
xa
= 2a.
Como a es cualquier nmero real, escribiendo x en lugar de a, obtenemos la funcin
f 0 : R R, dada por f 0 (x) = 2x.
Geomtricamente, si una funcin es diferenciable su grfica es suave; esto es no tiene, vrtices y tampoco saltos. Una funcin suave tiene una grfica como la siguiente
Una funcin suave

no tiene vrtices,
saltos ni
discontinuidades.
El resultado siguiente se estudia en la Actividad 2.2: lmites.

Proposicin 16 Si una funcin f : I R R tiene derivada en a I , entonces es continua en a.
Sin embargo, una funcin puede ser continua en un punto, pero no tener derivada ah, el ejemplo ms
conocido de esta situacin es la funcin f (x) = |x|, que claramente es una funcin continua en a = 0,
G*ro
59
pero
f (x) f (0) |x|
=
=
x 0
x
1,
1,
x >0
x <0
De donde se sigue que no existe

lm f .
x0
Observacin. La continuidad no es suficiente para la existencia de la derivada.

En los ejemplos siguientes usaremos la segunda expresin de la derivada en (3.2)
Ejemplo 35 (Funciones constantes) Si f (x) = c, entonces f 0 (x) = 0.
Solucin. Si h 6= 0, entonces, para cualquier x R,
f 0 (x) = lm
h0
c c
f (x + h) f (x)
= lm
= 0.
h0 h
h
Ejemplo 36 (Funciones lineales) Si f (x) = c x, entonces f 0 (x) = c, en donde c R es una constante.

f 0 (x) = lm
h0
f (x + h) f (x)
c(x + h) c x ch
= lm
=
= c.
h0
h
h
h
Ejemplo 37 Si
f (x) =
1
,
x +1
encontrar f 0 (x).
f (x + h) f (x)
=
h
1
x+h+1
1
x+1
1 (x + 1) (x + h + 1)
1
=
h (x + h + 1)(x + 1)
(x + h + 1)(x + 1)
Por lo tanto,
f 0 (x) = lm
h0
f (x + h) f (x)
1
=
.
h
(x + 1)2
El resultado siguiente nos da las reglas bsicas para encontrar derivadas.
60
Teorema 9 Sea I R un intervalo, a I y sean f , g : I R derivables en a. Entonces
1. c f es derivable en a y,
(c f )0 (a) = c f 0 (a).
2. f + g es derivable en a y,
( f + g )0 (a) = f 0 (a) + g 0 (a).
3. f g es derivable en a y,
( f g )0 (x) = f 0 (x)g (x) + f (x)g 0 (x).
4. Si g 0 (a) 6= 0, entonces f /g es derivable en a y,
0
f
f 0 (a)g (a) f (a)g 0 (a)
(a) =
.
2
g
g (a)
Demostracin.
1. La demostracin queda de ejercicio.

2. Sea s = f + g , entonces para x I {a},
s(x) s(a) f (x) + g (x) f (a) g (a) f (x) f (a) g (x) g (a)
=
=
+
.
x a
x a
x a
x a
por lo tanto,
s(x) s(a)
f (x) f (a)
g (x) g (a)
= lm
+ lm
= f 0 (a) + g 0 (a).
xa
xa
xa
x a
x a
x a
lm
Esto es,
( f + g )0 (a) = s 0 (a) = f 0 (a) + g 0 (a).
3. Sea p = f g , entonces para x I {a},
p(x) p(a) f (x)g (x) f (a)g (a)
=
.
x a
x a
Sumando un cero,
f (x)g (x) f (a)g (a) f (x)g (x) f (a)g (x) + f (a)g (x) f (a)g (a)
=
.
x a
x a
de donde
p(x) p(a)
f (x) f (a)
g (x) g (a)
= lm
g (x) + lm f (a)
.
x0
x0
x0
x a
x a
x a
lm
G*ro
61
Como f y g son diferenciables
lm
x0
f (x) f (a)
= f 0 (a),
x a
lm f (a)
x0
g (x) g (a)
= g 0 (a)
x a
y, tambin, g es continua en a, de modo que

lm g (x) = g (a)
x0
Por lo tanto,
p 0 (a) = ( f g )0 (a) = f 0 (a)g (a) + f (a)g 0 (a).
4. Pongamos q = f /g . Como g 0 (a) 6= 0 y g es continua, entonces g 0 (x) 6= 0 en algn intervalo J I .
As, si x J {a}, entonces
q(x) q(a)
=
x a
f (x)
g (x)
f (a)
g (a)
x a
f (x)g (a) f (a)g (x)

g (x)g (a)(x a)
de nuevo necesitamos sumar un cero:

f (x)g (a) f (a)g (x) f (x)g (a) f (a)g (a) + f (a)g (a) f (a)g (x)
=
g (x)g (a)(x a)
g (x)g (a)(x a)
el lado derecho de la igualdad anterior la expresamos como
1
f (x) f (a)
g (x) g (a)
g (x) f (a)
,
g (x)g (a)
x a
x a
por la derivabilidad de f y g ,
0
1
q(x) q(a)
0
=
2 f (a)g (a) f (a)g (a) ;
x0
x a
g 0 (a)
lm
lo que verifica el resultado.
Ejercicio 4 Probar el primer inciso del teorema anterior.
La suma y el producto se pueden extender a un nmero finito de funciones; esto es una consecuencia
del teorema anterior. De hecho, tenemos el siguiente
Corolario 5 Si f 1 , f 2 , . . . , f n : I R son derivables en a, entonces
1.
0
f 1 + f 2 + + f n (a) = f 10 (a) + f 20 (a) + + f n0 (a)
62

2.
f 1 f 2 f n (a) =
f 10 (a) f 2 (a) f n (a) + f 1 (a) f 20 (a) f n (a) + + f 1 (a) f 2 (a) f n0 (a).
Ntese que si f = f j , para j = 1, 2, . . . , n, entonces del inciso 2,
n1 0
0
f (a).
f n (a) = n f (a)
Ahora se dan algunos ejemplos en donde se usa el teorema previo.
Ejemplo 38 Si f (x) = x 2 , calcular f 0 (x)
Solucin. Por el inciso 3,

f 0 (x) = 1 x + x 1 = 2x.
Ejemplo 39 si f (x) = x 2 (x + 3), calcular f 0 (x).

f 0 (x) = 2x(x + 3) + x 2 1 = 3x 2 + 6x.
Ejemplo 40 Calcular f 0 (x), para

f (x) =
x +2
.
x2 + 2

h 0 (x) =
(x + 2)0 (x 2 + 2) (x + 2)(x 2 + 2)0

(x 2 + 2)2
(x 2 + 2) (x + 2)2x
(x 2 + 2)2
2 x 2 4x
(x 2 + 2)2
G*ro
63
n
Ejemplo 41 Si n N y f (x) = x , entonces f es derivable y
f 0 (x) = nx n1 .
(3.3)
Podemos usar el corolario del teorema o el teorema del binomio (tambin se puede usar induccin sobre
n).
Nota la frmula se puede extender a enteros negativos y, naturalmente, a n = 0.
Notacin de Leibniz. Cuando se usa una variable independiente, digamos x, tambin se escribe
df
dx
en lugar de f 0 .
Por ejemplo, para la suma de funciones tenemos
d
df
dg
( f (x) + g (x)) =
(x) +
(x).
dx
dx
dx
La regla de la cadena
La regla de la cadena es la frmula que nos permite encontrar la derivada de una composicin de funciones. Se da su enunciado a continuacin.
Teorema 10 Sean f : I R R, g : J R R, a I y f (I ) J . Si f tiene derivada en a y g tiene derivada

en b = f (a), entonces g f tiene derivada en a, y
gf
= g 0 ( f (a)) f 0 (a).
Observacin. Se puede intentar considerar el producto de cocientes

g ( f (x)) g ( f (a)) f (x) f (a)
;
f (x) f (a)
x a
(3.4)
64
sin embargo, puede suceder que (el denominador) f (x) f (a) = 0. La demostracin evita este problema definiendo una funcin nueva funcin G que asigna el cociente de Newton de g cuando y 6= b y la
derivada en b si y = b; esto es,
(
G(y) =
g (y)g (b)
,
yb
0
g (b),
si y J {b}
si y = b
(3.5)
Demostracin. Primero notemos que G es continua en b, ya que

lm G(y) = g 0 (b) = G(b).
yb
Tambin G f es continua en a, dado que f es continua en a y G es continua en b = f (a), (debe tenerse

en cuenta que f (I ) J ). De esta manera,
lm G f (x) = lm G( f (x)) = lm G(y) = g 0 (b) = g 0 ( f (a)).
xa
xa
yb
(3.6)
Ahora bien, si y J , de (3.5) tenemos que

g (y) g (b) = G(y)(y b).
(3.7)
As, si y = f (x), para x I ,

g (y) g (b) = g ( f (x)) g ( f (a)) y G(y)(y b) = G( f (x))( f (x) f (a)).
Entonces podemos expresar (3.7) como
g f (x) g f (a) = G f (x) f (x) f (a)
y, si x I {a},
f (x) f (a)
g f (x) g f (a)
= G f (x)
x a
x a
tomando lmites,
g f (x) g f (a)
f (x) f (a)
= lm G f (x) lm
,
xa
xa
xa
x a
x a
lm
entonces, por la definicin de derivada y por (3.6), se tiene que

lm
xa
g f (x) g f (a)
= g 0 ( f (a)) f 0 (a).
x a
Esto muestra que la composicin g f es derivable en a y su derivada satisface la frmula (3.4).
Ejemplo 42 Si f : I R es diferenciable en I y si g : R R est dada por g (y) = y n , para (cualquier)

n N, entonces
g 0 (y) = n y n1 .
G*ro
65
0
Por la regla de la cadena, para x I , g f (x) = g ( f (x)) f (x) por lo tanto si y = f (x), obtenemos
n1 0
n 0
f (x).
(x) = n f (x)
f
En otras palabras
n1 0
0
f (x).
[ f (x)]n = n f (x)
(3.8)
Ejemplo 43 Si f : I R es diferenciable en I , con f (x) 6= 0 y f 0 (x) 6= 0, para x I y si

g (y) =
Entonces
g 0 (y) =
1
, y 6= 0.
y
1
, y R2 .
y2
Por la regla de la cadena, si y = f (x),

0
0
1
f 0 (x)
(x) = g f (x) = g 0 ( f (x)) f 0 (x) =
2 , x I .
f
f (x)
Esto es,
1
f (x)
f 0 (x)
2
f (x)
(3.9)
La derivada de potencias racionales

En esta seccin se estudia cmo se puede extender la frmula (3.3) a exponentes racionales; esto es,
queremos tener la frmula
r 0
x = r x r 1 ,
en donde r = m
n , con m, n Z y n 6= 0; adems de que, obviamente, la frmula (3.8) sea vlida tambin
para exponentes racionales.
Empezamos nuestro estudio considerando la grfica de una potencia, especficamente la figura siguiente muestra la grfica de f (x) = x 3 , para x 0.
66
Grfica de
y=x n , o de x=y 1/n
Las grficas de f (x) = x n para otros valores de n N, tienen una apariencia similar. Si hacemos y = f (x)
la grfica sugiere que para cada y 0, existe un nico x 0 de tal forma que
y = xn ;
es decir1 Rango( f ) = R+ ; i.e., f (R+ ) = R+ . La unicidad de x nos indica que el conjunto
g = (y, x) | y = x n
define una funcin2 que llamamos funcin raz n-sima y podemos escribirla como
1
x = g (y) = y n .
La figura previa muestra que las grficas de ambas funciones son la misma cuando se interpreta y como
variable independiente y x como variable dependiente; es decir, cuando x = g (y). Para obtener la grfica de g en la forma usual; es decir, intercambiando los nombres x y y, de modo que Dom(g ) eje x,
simplemente se refleja la grfica de y = x n sobre la recta diagonal y = x. La figura siguiente muestra las
grficas de f y de g cuando se hace esta reflexin; ntese que, la grfica de g , al igual que la de f , no
tiene discontinuidades, ni vrtices; de esta manera, la grfica sugiere que g es una funcin diferenciable:
cualquier recta tangente a y = x n no horizontal, se refleja en una recta tangente a la grfica de f que no
es vertical.
Grfica de f
Grfica de g
1 La demostracin de este hecho, requiere de la completez de R.

2 De hecho, es la inversa de y = x n .
G*ro
67
Supondremos entonces que g es diferenciable para x > 0. As que, si

1
g (x) = x n ,
entonces
g (x)
= x.
(3.10)
Si tomamos f (x) = x n , entonces tenemos la composicin,
n
h(x) = f g (x) = f (g (x)) = g (x) .
Por la regla de la cadena,

1 n1
n1 0
h 0 (x) = f 0 (g (x)) g 0 (x) = n g (x)
g (x) = n x n
g 0 (x)
pero, por otro lado, de la ecuacin (3.10), se tiene que h(x) = x, entonces
1 n1
g 0 (x)
1=n xn
de donde
g 0 (x) =
1 1 1n 1 1n 1 1 1
xn
= x n = xn .
n
n
n
En resumen,
Si g (x) = x n , entonces g 0 (x) =
1 1 1
xn .
n
(3.11)
Ahora mostraremos que la frmula para derivar potencias tambin es vlida cuando el exponente es
cualquier nmero raciones.Consideremos la funcin
m
f (x) = x n , m, n N.
entonces
Por la regla de la cadena,

esto es,
f 0 (x) =
n
f (x) = x m .
n1 0
n f (x)
f (x) = mx m1 ;
mx m1
mx m1
m x m1
m m1 m(n1)/n
=
x
x
n1 =
n1 =
m(n1)/n
m/n
n x
n
n f (x)
n x
i.e.,
f 0 (x) =
m m1 m(11/n) m m1 m+m/n m m/n1

x
x
=
x
x
=
x
n
n
n
68
Por lo tanto, tenemos la frmula que queramos; a saber,
Si f (x) = x n , entonces f 0 (x) =
m m 1
xn .
n
(3.12)
Siguiendo un argumento similar se puede probar, lo siguiente
Si f (x) = x n , entonces f 0 (x) =
m m 1
x n .
n
(3.13)
En resumen, si f (x) = x r , para x > 0 y r Q, es una funcin diferenciable, entonces la formula para
derivar potencias racionales es como sigue.
Si f (x) = x r , entonces f 0 (x) = r x r 1 , x > 0, r Q.
Ejemplo 44 Si h(x) =
(3.14)
x 2 + 4, encontrar h 0 (x)
Solucin. Notemos primero que si f (x) = x 2 + 4 y g (x) =

cadena,
h 0 (x) =
x, entonces h(x) = g f (x) y por la regla de la
g 0 ( f (x)) f 0 (x)
1
1
f (x) 2 f 0 (x)
2
1
1 2
x + 4 2 2x
2
=
=
x2 + 4
x
x2 + 4
G*ro
69
Ejemplo 45 Si
x +2
h(x) = p
x
1/4
encontrar h 0 (x).
Solucin. En este caso tomamos
x +2
f (x) = p
x
y g (x) = x 4 .
Entonces h(x) = g f (x) y usamos la regla de la cadena para encontrar h 0 (x); esto es,
3
3 0
1 x +2 4 0
1
4
f (x)
f (x) =
f (x)
h (x) = g ( f (x)) f (x) =
p
4
4
x
0
El clculo de f 0 (x) queda de ejercicio.
Ejercicio 5 Encontrar la derivada de
a)
b)
r
h(x) =
1+
1 + x.
3
1 p 2
h(x) = 2 + x
.
x
Derivacin de funciones definidas implcitamente

Estudiaremos a continuacin las derivadas de funciones definidas implcitamente por medio de una
ecuacin. Tal vez el ejemplo ms ilustrativo de una funcin definida implcitamente lo obtenemos de la
ecuacin de un crculo. El crculo3 en el plano con centro en el origen de coordenadas; es decir, en el
punto (0, 0), y de radio r > 0, es el conjunto
S = (x, y) R2 | distancia (x, y), (0, 0) = r
= (x, y) R2 | x 2 + y 2 = r 2
en particular, si r = 1, tenemos el crculo unitario:
S1 = (x, y) R2 | x 2 + y 2 = 1
3 Geomtricamente, un crculo es el conjunto de los puntos a igual distancia de un punto fijo (el centro del crculo).
70
Es costumbre solamente describir el crculo mediante la ecuacin que describe al conjunto de sus puntos; esto es, con x 2 + y 2 = r 2 o bien, para el caso del circulo unitario, con x 2 + y 2 = 1.
Toda recta vertical que cruce el eje x en un punto x, en donde 1 < x < 1, toca la grfica del crculo
unitario en dos puntos distintos; de modo que la ecuacin x 2 + y 2 = 1 no define una funcin f . Sin
embargo; se pueden encontrar funciones
f : (1, 1) R
que satisfagan la ecuacin x 2 + y 2 = 1; es decir, funciones tales que si 1 < x < 1, entonces
2
x 2 + f (x) = 1.
(3.15)
De hecho, si y = f (x), despejando y de la ecuacin del crculo unitario S1 , encontramos que

f 1 (x) =
p
1 x2
y
p
f 2 (x) = 1 x 2
De esta manera, si 1 < x < 1, tanto f 1 como f 2 satisfacen (3.15). En este caso se dice que la f 1 , al igual
que f 2 , est definida implcitamente por la ecuacin x 2 + y 2 = 1.
La grfica de la funcin f 1 es el semicrculo superior y la grfica de f 2 es el semicrculo inferior, como se
ve en las figuras siguientes.
G*ro
71
p
f 1 = 1x 2
1
1
p
f 2 = 1x 2
Si despejamos x en lugar de y en la ecuacin del crculo unitario, obtenemos las funciones definidas
implcitamente por la ecuacin de dicho crculo,
q
x = g 1 (y) = 1 y 2
y
q
x = g 2 (y) = 1 y 2 ,
cuyas grficas son el semicrculo derecho y el semicrculo izquierdo, respectivamente.

Observacin Ntese que podemos hacer que el dominio de f 1 y el de f 2 sea el intervalo [1, 1], pero si
queremos hablar de la derivada de estas funciones, encontramos que no tienen derivada en los puntos
terminales del intervalo geomtricamente el crculo unitario tiene tangentes verticales en estos puntos, lo que significa que sus pendientes son infinitas.
Podemos usar la regla de la cadena para encontrar la derivada de una funcin definida implcitamente;
en este ejemplo vemos que tanto la funcin f 1 como la funcin f 2 tienen derivada en cualquier x
(1, 1).
De la ecuacin (3.15), usando la regla de la cadena, como f es diferenciable, tenemos que,
2x + 2[ f (x)] f 0 (x) = 0
de donde, despejando f 0 (x), se encuentra,
f 0 (x) =
En particular, si f (x) = f 1 (x) =
x
.
f (x)
p
1 x 2 , entonces
x
f 10 (x) = p
1 x2
72
p
y, si f (x) = f 2 (x) = 1 x 2 , entonces
x
.
f 20 (x) = p
1 x2
En ocasiones es ms sencillo usar la escritura y = f (x), as, derivando la ecuacin x 2 + y 2 = 1, asumiendo
que y = f (x) es una funcin definida implcitamente por la ecuacin dada y diferenciable, entonces
2x + 2y y 0 = 0
de donde
x
y0 = .
y
Es importante tener en cuenta que no siempre es posible determinar explcitamente, como en el ejemplo anterior, una funcin f definida por una ecuacin, la existencia de dicha funcin requiere de un
conjunto de condiciones que no son de naturaleza elemental. Por lo que, en estas notas, simplemente
asumiremos que una ecuacin dada define implcitamente una funcin f y que dicha funcin es diferenciable. Sin embargo, es importante tener cuidado en los puntos en la grfica de la ecuacin en donde
puedan haber pendientes infinitas.
En general, si F (x, y) = 0 es una ecuacin en dos variables x y y,
G = (x, y) R2 | F (x, y) = 0
es la grfica de la ecuacin F (x, y) = 0 y si f : (a, b) R es una funcin tal que, para todo x (a, b), se
satisface la ecuacin
F x, f (x) = 0,
(3.16)
entonces se dice que f es una funcin definida implcitamente por la ecuacin F (x, y) = 0 o que f es
una solucin implcita de la ecuacin F (x, y) = 0. Suponiendo la existencia de una funcin diferenciable
f , la regla de la cadena nos permite determinar la derivada f 0 , de f , como una funcin de x y y.
Observacin. Puede ocurrir que no existan funciones definidas implcitamente por una ecuacin dada
F (x, y) = 0, un ejemplo trivial de esto, sucede cuando
F (x, y) = x 2 + y 2 + 1;
esto es, no existe ninguna funcin f que sea solucin implcita de la ecuacin
x 2 + y 2 + 1 = 0.
An cuando formalmente se puede encontrar una derivada
y0 =
x
y
esto no tiene sentido porque ningn punto (x, y) satisface la ecuacin dada.
G*ro
73
Ejercicio 6 Asumiendo que existe una funcin diferenciable y = f (x) definida implcitamente por la ecuacin dada, usar la diferenciacin implcita para encontrar y 0 = f 0 (x), como una funcin de x y y.
a) x = 4y 2 + y + 1.
c)
x+y
xy
1 = x.
b)
d)
x + y 2 y = x.
p
x + y x y = x.
Funciones montonas e inversas

Se dice que una funcin f : D R R es creciente en D si para cualquier par de nmeros x 1 , x 2 D,
con x 1 < x 2 , se tiene que f (x 1 ) f (x 2 ).
Se dice que una funcin f : D R R es estrictamente creciente en D si para cualquier par de nmeros x 1 , x 2 D, con x 1 < x 2 , se tiene que f (x 1 ) < f (x 2 ).
Se dice que una funcin f : D R R es decreciente en D si para cualquier par de nmeros x 1 , x 2 D,
con x 1 < x 2 , se tiene que f (x 1 ) f (x 2 ).
Se dice que una funcin f : D R R es estrictamente decreciente en D si para cualquier par de
nmeros x 1 , x 2 D, con x 1 < x 2 , se tiene que f (x 1 ) > f (x 2 ).
Cuando una funcin f : D R R es creciente, o bien decreciente en D, se dice que es montona en
D.
Cuando una funcin f : D R R es estrictamente creciente o bien, estrictamente decreciente en D,
se dice que es estrictamente montona en D.
Observaciones.
1. Si f es (estrictamente) creciente en D, entonces f es (estrictamente) decreciente en D.

2. Si g es (estrictamente) decreciente en D, entonces g es (estrictamente) creciente en D.
3. Una funcin montona no tiene que ser continua, de hecho, puede tener saltos.
74
Si I R es un intervalo y a no es un punto extremo (terminal) de I , el salto en a, de una funcin creciente

en I , se define como
j f (a) = nf f (x) | x I , x > a sup f (x) | x I , x < a .
j f (2)
Ntese que f es continua en a, si y solo si j f (a) = 0.
Un hecho relevante es que para una funcin montona en un intervalo I el conjunto de sus discontinuidades no es un conjunto muy gordo. (Es lo que se conoce como un conjunto contable: finito o con la
misma cantidad de elementos que el conjunto N).
Ejemplos
1. Toda funcin constante es montona.
2. f : R+ R dada por f (x) = x 2 es estrictamente creciente.
3. f : R R dada por f (x) = x 2 es estrictamente decreciente.
4. f : R R dada por f (x) = x 3 es estrictamente creciente.
p
5. f : R+ R dada por f (x) = x es estrictamente creciente.
Se sigue inmediatamente de la definicin que una funcin f estrictamente montona es inyectiva. En

consecuencia, funcin f estrictamente montona tiene una inversa f 1 , definida en f (I ); esto es,
f 1 : f (I ) I .
G*ro
75
Teorema 11 Si I R es un intervalo y f : I R es estrictamente montona y continua, entonces f

I es estrictamente montona y continua.
: f (I )
La funcin raz ensima.

Consideremos la funcin f (x) = x n .
Si n es par tomamos I = R+ y f : I I . As, si x, y I y x < y, entonces f (x) = x n < y n = f (y), esto es, f
es estrictamente creciente, adems, como f es una funcin polinomial, es continua. Ntese que f (I ) = I .
Entonces, por el teorema anterior,
p
f 1 : R+ R+ , en donde f (x) = n x,
es una funcin estrictamente creciente y continua.
Si n es impar, entonces I = R y f (R) = R. Como en el caso previo, f es estrictamente creciente y continua,
por lo tanto
p
f 1 : R R, en donde f (x) = n x,
es estrictamente creciente y continua.
Derivada de la inversa
Ahora veremos cmo es la conexin entre la derivada de una funcin con la derivada de su inversa. En
lo que sigue, el conjunto I R se considera un intervalo y f (I ) = J tambin es un intervalo (si f es una
funcin continua).
Teorema 12 Sea f : I R estrictamente montona y continua en I . Si f es diferenciable en a I y f 0 (a) 6=
0, entonces g = f 1 es diferenciable en b = f (a), y
g 0 (b) =
Demostracin Definimos
h(y) =
1
f
0 (a)
1
f
0 (g (b))
(3.17)
f (g (y)) f (g (b))
,
g (y) g (b)
para y I {b}.
Ntese que h est bien definida en J = f (I ) dado que, como g = f 1 es estrictamente montona, si
y I {b} se tiene g (y) 6= g (b). Adems, h 6= 0 porque, como y = f (g (y)), b = f (g (b)), entonces
h(y) =
y b
.
g (y) g (b)
76
Queremos probar que

lm h(y) = f 0 (a).
yb
(3.18)
Ahora bien, como f es diferenciable en a = g (b), para > 0 dado, existe un > 0 de tal manera que, si
x I satisface 0 < |x a| < , entonces
f (x) f (a)
f (a) < .
x a
Por la continuidad de g = f 1 en b = f (a), para este valor de , existe un > 0 de tal modo que si y J y
|y b| < , entonces
0 < |g (y) g (b)| < .
Como g (b) = a y g es inyectiva (por ser estrictamente montona), si y J y 0 < |y b|, entonces |g (y)
a| < . De esta manera, si y J y 0 < |y b| < , entonces
h(y) f 0 (a) = f (g (y)) f (g (b)) f 0 (a) < .
g (y) g (b)
Esto prueba (3.18).
Ahora bien,
g (y) g (b)
1
=
y b
h(y)
para y J {b}. de donde
g (y) g (b)
1
1
= lm
= 0
.
yb
yb h(y)
y b
f (a)
lm
Por lo tanto, existe g 0 (b) y, adems,

g 0 (b) =
1
f
0 (a)
Si f es diferenciable en cualquier x I y f 0 (x) 6= 0, la frmula es, simplemente,
g0 =
1
f
0g
(3.19)
Tambin podemos escribir
g 0 (y) =
1
f
0 g (y)
, para y J
(3.20)
G*ro
77
o bien,
g 0 f (x) =
1
f
(3.21)
0 (x)
La funcin raz ensima.

Si n es par y f : R+ R+ est dada por f (x) = x n , entonces la funcin inversa g = f 1 : R+ R+ , en
p
donde g (y) = n y tiene como derivada
g 0 (y) =
1
f
0 (g (y))
n g (y)
n1 =
1
n
n1
y 1/n
1 1/n1
y
.
n
Ejercicio 7 . Determinar la derivada de la inversa de las funciones f (x) = x 2 y f (x) = x 4 .
Ejercicio 8 Encontrar la derivada de la inversa de f (x) = x n , cuando n es impar (cuidado con x = 0).
Ejercicio 9 Determinar la derivada de la inversa de las funciones f (x) = x 3 y f (x) = x 5 .
Ejercicio 10 Encontrar la derivada de la inversa de f (x) = x m/n . Ilustrar esto con algunos casos particulares.
Tangentes, aproximaciones lineales y diferenciales

Con frecuencia queremos aproximar una funcin arbitraria f mediante una funcin lineal l (x).4 De entre
todas las rectas no verticales que pasan por el punto (x 0 , f (x 0 )) de la grfica de f , nos interesa la recta
que es tangente en ese punto. La definicin siguiente establece cul es la recta tangente en el punto en
cosideracin.
4 Recordemos que una funcin lineal tiene la forma l (x) = mx + c y su grfica es una lnea recta, en donde m es la pendiente
o medida de la inclinacin de la recta. Si m 6= 0, la recta no es horizontal; si m R {0}, la recta no es vertical.
78

0
Definicin 27 Sea (x 0 , f (x 0 )) un punto sobre la grfica de f . Si existe f (x 0 ), se dice entonces que f tiene
una tangente no vertical en el punto x 0 . La tangente a f en x 0 se define como la recta que pasa por el
punto (x 0 , f (x 0 )) y que tiene pendiente m = f 0 (x 0 ). Si f 0 (x 0 ) no existe, se dice entonces que f no tiene una
tangente, no vertical, en x 0 .
La funcin lineal cuya grfica es la recta tangente a f en el punto (x 0 , f (x 0 )) es
T (x) = f (x 0 ) + f 0 (x 0 )(x x 0 ).
(3.22)
Si se prefiere escribir y = T (x), entonces la ecuacin de la recta tangente es

y = f (x 0 ) + f 0 (x 0 )(x x 0 ).
As, para determinar la ecuacin de la recta tangente, solamente necesitamos conocer el punto de tangencia (x 0 , f (x 0 )) y el valor, f 0 (x 0 ), de la derivada en x 0 .
Ejemplo 46 Encontrar la ecuacin de la recta tangente a la parbola

y = 4x 2 + 1 en el punto x = 1.
Solucin. Tenemos que x 0 = 1 y f (x 0 ) = 5, como f (x) = 4x 2 +1, entonces f 0 (x) = 8x y, as, f 0 (x 0 ) = f 0 (1) =
8, por lo tanto, la ecuacin de la recta tangente requerida es
y = 5 + 8(x 1)
0
8x + y + 3 = 0.
Ejemplo 47 Determinar el punto (x, y) sobre la grfica de la parbola y = x 2 + x + 1, en el cual la recta

tangente tiene pendiente m = 3.
Solucin. Sabemos que la pendiente de la recta tangente est dada por la derivada de la funcin. Como
f (x) = x 2 + x + 1, su derivada es f 0 (x) = 2x + 1. De esta manera, tenemos que resolver la ecuacin lineal
f 0 (x) = 3; es decir, resolver la ecuacin 2x + 1 = 3, claramente la solucin es x = 1. Por lo tanto la recta
tangente a la parbola en el punto (1, f (1)) = (1, 3), tiene pendiente m = 3.
G*ro
79
Ejemplo 48 Si f es una funcin diferenciable en x 0 y si d (x) = T (x) f (x) es la distancia vertical entre f
y la recta tangente en x, entonces
lm
xx 0
d (x)
= 0.
x x0
(3.23)
Solucin. Tenemos que

d (x)
T (x) f (x) f (x 0 ) + f 0 (x 0 )(x x 0 ) f (x) f (x 0 ) f (x) f 0 (x 0 )(x x 0 )
=
=
=
+
x x0
x x0
x x0
x x0
x x0
esto es,
d (x)
f (x) f (x 0 )
= f 0 (x 0 )
;
x x0
x x0
por lo tanto,
f (x) f (x 0 )
d (x)
= f 0 (x 0 ) lm
= f 0 (x 0 ) f 0 (x 0 ) = 0.
xx 0
xx 0 x x 0
x x0
Es fcil ver (invirtiendo los pasos en el ejemplo previo) que, recprocamente, si
lm
lm
xx 0
d (x)
=0
x x0
entonces f tiene derivada en x 0 y y = T (x) es la ecuacin de la recta tangente a la grfica de f en

(x 0 , f (x 0 )).
Aproximaciones lineales
Si L(x) es una recta no vertical que pasa por el punto (x 0 , f (x 0 )) y la usamos para aproximar f (x) en
puntos x cercanos a x 0 , entonces el error E (x) de sta aproximacin es la diferencia
L(x) f (x) = distancia vertical de f (x) a L(x).
Para que L sea una buena aproximacin, E (x) debe tender a cero lo ms rpido posible, cuando x x 0 .
De entro todas las rectas no verticales L(x) que pasan por (x 0 , f (x 0 )), cul de ellas de la mejor aproximacipn? o, en otras palabras, Cul debe ser la pendiente m que produzca la mejor aproximacin
lineal L(x)?. El ejemplo 48 nos da la respuesta: m = f 0 (x 0 ). De hecho, el resultado siguiente resume esta
discusin.
Teorema 13 Si L(x) = f (x 0 ) + m(x x 0 ) es una aproximacin lineal a f cerca del punto x 0 y si E (x) =
L(x) f (x), entonces
E (x)
=0
lm
xx 0 x x 0
si y solo si f es diferenciable en x 0 y m = f 0 (x 0 ).
80
Importante: Si f no es diferenciable en x 0 , f no se podr aproximar por una funcin lineal L de tal

manera que
E (x)
= 0.
lm
xx 0 x x 0
Observemos de paso, que si
lm E (x) = 0
xx 0
entonces f es continua en x 0 . De hecho,
lm E (x) = lm L(x) f (x) = lm f (x 0 ) m(x x 0 ) f (x)

xx 0
xx 0
xx 0
de donde
lm E (x) = f (x 0 ) lm f (x).
xx 0
xx 0
Por tanto,
lm E (x) = 0 si y solo si lm f (x) = f (x 0 ).
xx 0
xx 0
Lo que muestra que f es continua en x 0 .

Por lo tanto la mejor aproximacin lineal a f en la cercana de x 0 , est dada por la funcin
T (x) = f (x 0 ) + f 0 (x 0 )(x x 0 )
y, en consecuencia,
f (x) T (x) = f (x 0 ) + f 0 (x 0 )(x x 0 ).
(3.24)
Definicin 28 La funcin d f , definida por

d f (x x 0 ) = f 0 (x 0 )(x x 0 )
se conoce como diferencial de f en x 0 .
Importante. d f es una funcin que depende de x x 0 (no de x solamente). Si se hace h = x x 0 , se puede
escribir,
d f (h) = f 0 (x 0 )h.
De esta forma, d f es la funcin lineal cuya grfica pasa por el origen y tiene pendiente m = f 0 (x 0 ). Si se
escribe y = f (x), entonces se suele escribir d x en lugar de h, lo que indica que la variable independiente
en la funcin diferencial de f es d x y se escribe d y en lugar de d f (h).
G*ro
81
Veamos un ejemplo de estos hechos. Si f (x) =

en x 0 es
x entonces f (x) =
p1
x
y si x 0 = 2, entonces la diferencial
1
d y = p d x.
2 2
p
Si por otro lado, queremos dar una estimacin de 4.1. Tomamos x 0 = 4 y x = 4.1 (un valor cercano a x 0 ),
de modo que x x 0 = .1, entonces usando la aproximacin T (x):
p
p
1
4.1 4 + p (.1) = 2 + 0.0250 = 2.0250.
2 4
El valor correcto (exacto) con cuatro decimales es 2.0248.
Otra notacin. En ocasiones en lugar de escribir

f (x) f (x 0 ) f 0 (x 0 )(x x 0 )
se escribe
f f 0 (x 0 )x.
Como es sabido, la derivada f 0 (x 0 ) de f en el punto x 0 da la variacin (o razn de cambio) instantnea

de f en ese punto; esta variacin es equivalente a la pendiente de la recta tangente a f en dicho punto. De este manera, podemos decir que la pendiente de una funcin
diferenciable f en un punto x 0 es la pendiente de la recta tangente a
f (x)
la grfica en ese punto. Un valor pequeo de la pendiente de la recta
tangente en un punto x 0 significa entonces que los valores de f en los
puntos x prximos a x 0 cambian poco; sin embargo, un valor grande
T (x)
de la pendiente de la recta tangente, significa que f estn cambiando
f (x 0 )
sus valores rpidamente. Si, por ejemplo, consideramos un punto x 1 a
la derecha del punto x 0 sealado en la figura de la izquierda, claramente f se incrementan ms rpidamente que en el punto actual x 0 . Esto
x0
es, del punto x 1 a otro punto x cercano, la diferencia entre f (x) y f (x 1 ),
en general, es mayor, que la diferencia existente entre f (x) y f (x 0 ), para
Figura 3.1: Recta tangente a f en x 0 .
valores x cercanos de x 0 . Por otro lado, la figura muestra que cuando x
se aproxima a x 0 , entonces la diferencia f (x) T (x) se hace cada vez ms pequea.
Si x es un punto cercano a x 0 , el error E (x) = f (x) T (x) es pequeo. Esto nos permite aproximar los
valores de una funcin dada, principalmente si es algo complicada, mediante los valores de la funcin
82
lineal, mucho ms sencilla, en puntos x cercanos al punto x 0 . De hecho, hemos mencionado previamente que T (x) es la funcin lineal que
mejor aproxima a f en puntos cercanos al punto x 0 (en la grfica de la
derecha, se muestra el punto x a la derecha de x 0 , obviamente esto es
ilustrativo, lo mismo es cierto cuando x se localiza a su izquierda, pero
E (x)
cercano). De hecho, en el Ejemplo (3), se prob que lmxx0 xx
= 0.
0
f (x)
E (x)
f (x )
0
Lo que indica que el error tiende. muy rpidamente, a cero tiende
a cero an cuando est dividido por x x 0 que, generalmente es una
cantidad muy pequea. Esto se ilustra bien en el caso anterior cuando
x0
x
p
buscamos una aproximacin al valor de 4.1, en donde, claramente,
p
la funcin deba ser f (x) = x y se tom la recta tangente en el punto Figura 3.2: El error entre la recta tangente a f en x 0 y f (x).
x 0 = 4 (El punto x = 4.1 est prximo a 4).
Si f es diferenciable en x 0 y x es un punto cercano a x 0 , y si escribimos y = f (x), y 0 = f (x 0 ), entonces,

podemos expresar y = y y 0 = f (x) f (x 0 ) y, tambin, x = x x 0 . Entonces la derivada de f en x 0
dy
y
es igual a lmxx0 x y se acostumbra denotarla con d x . Esta notacin,
conocida como la notacin de Leibniz, no permite especificar claraf
mente que la derivada se est tomando en el punto x 0 (como sucede
dy
con la notacin f 0 (x 0 )), es importante tener en cuenta que d x es un sf (x)
T
lo smbolo; no tiene (hasta ahora) ningn significado aparte de indicar
que es la derivada de y con respecto a x; as, una ventaja de esta notaf (x 0 )
cin es que permite decir cul es la variable con respecto a la que se
deriva la otra variable. Consideremos un punto P en el plano con las
coordenadas (x, y), si movemos el eje x hasta x 0 , entonces las coordex0
x
nadas de P cambian a (x x 0 , y), moviendo ahora el eje y hasta y 0 , P
tiene ahora coordenadas (x , y ) = (x x 0 , y y 0 ). As, trasladando los
Figura 3.3: Origen en (x 0 , f (x 0 ).
ejes x y y hasta el punto el punto de tangencia (x 0 , y 0 ), la recta tengente
ahora pasa por el nuevo origen de coordenadas x y , y su ecuacin es y = f 0 (x 0 )x . Si en lugar de y y
x usamos como nombres de variables d x y d y, entonces la ecuacin de la recta tangente a y = f (x) en
dy
el punto x 0 es, d y = f 0 (x 0 )d x. Esta ecuacin nos permite ahora, darle sentido a la expresin d x como un
cociente de nmeros reales.
Si x es un punto cercano a x 0 , entonces y d y. Esto es si nos movemos de x 0 a x, el valor d y es el cambio sobre la recta tangente y, como es sabido, y es el cambio en los valores de la funcin dada, de esto se
G*ro
83
sigue que f (x) f (x 0 ) + d y; lo que nos permite usar diferenciales para

aproximar los valores de f , o bien, aproximar y . La figura de la derecha muestra el valor d y sobre la recta tangente (y en las coordenadas
originales x y), cuando nos movemos de x 0 a x
Por ejemplo, sabemos que A(r ) = r es el rea de un crculo de radio

r > 0. Si el radio crece de r = 4 a 4.1 cm. Podemos usar d A para hacer
una estimacin del crecimiento del rea del crculo. El incremento estidx
mado est dado por d A = 2r d r . Como r = 5 y, el incremento del radio
x0
x
es d r = r = 0.1, tenemos entonces que la estimacin en el crecimiento del rea A es, d A = 2(4) (0.1) = .8 cm2 . Por lo tanto, A d A = .8 Figura 3.4: Variacin sobre la tangente.
cm2 .
dy
84
Captulo 4
Aplicaciones de derivadas
En este captulo estudiaremos algunas propiedades fundamentales de funciones continuas, as como
algunos aspectos geomtricos de sus grficas. Bsicamente estudiaremos funciones continuas definidas
sobre intervalos [a, b] y no un dominio D de cualquier tipo. Si bien hemos ya establecido algunos conceptos que estudiaremos aqu como funcin acotada y sus valores extremos, lo repetiremos con fines
pedaggicos.
La continuidad de un funcin f sobre un intervalo cerrado y acotado1 significa que
f es continua en todo punto interior del intervalo. Esto es, si satisface

lm f = f (x 0 ),
xx 0
para todo x 0 con a < x 0 < b.

f es continua en a. Esto es, si satisface
lm f = f (a).
xa +
f es continua en b. Esto es, si satisface

lm f = f (b).
xb
Por ejemplo la funcin f : [1, 1] R definida por f (x) = x 3 x es continua en [1, 1] ya que
1 Cuando el intervalo es cerrado y acotado, tambin se le dice compacto.
85
86

si x 0 (1, 1), entonces
lm f = f (x 0 ) = x 03 x 0 ,
xx 0
en a = 1,
lm f = 0 = f (1),
x1+
en b = 1,
lm f = 0 = f (1).
x1
La grfica de la funcin muestra esta situacin:
0.5
-1
-0.5
0.5
-0.5
-1
Propiedades de las funciones continuas

Si f es una funcin definida sobre el intervalo cerrado [a, b]. Un nmero M R es un valor mximo para
f sobre el intervalo [a, b] si, para todo x [a, b],
f (x) M
y
M = f (x 0 )
para algn x 0 [a, b].
Similarmente, un nmero m R es un valor mnimo para f sobre el intervalo [a, b] si, para todo x [a, b],
m f (x)
G*ro
87
y
m = f (x 0 )
para algn x 0 [a, b].
p p
Por ejemplo, la funcin f : [ 3, 3] R definida por f (x) = x 3 3x, tiene tanto un valor mnimo
m = 2 en x = 1, como un valor mximo M = 2, en x = 1; es decir, 2 = f (1) y 2 = f (1). Esto lo muestra
su grfica:
-2
-1
-1
-2
A continuacin estudiamos dos propiedades fundamentales de las funciones continuas.
1. Se dice que una funcin f : [a, b] R tiene la propiedad del valor extremo en [a, b] si f tiene un
valor mximo y un valor mnimo en [a, b].
2. Se dice que una funcin f : [a, b] R tiene la propiedad del valor intermedio en [a, b] si, para
cualquier y R entre f (a) y f (b), existe (al menos) un x en [a, b] para el cual f (x) = y.
La siguiente figura ilustra la propiedad del valor intermedio, obsrvese que para algunos valores de y hay
ms de un x tal que f (x) = y.
88
f (b)
a
f (a)
b
x
Las figuras previas sugieren que si una funcin dada es continua, entonces tendr las dos propiedades
fundamentales anteriores. Los dos teoremas siguientes establecen precisamente esto. Su demostracin
queda fuera del alcance de estas notas, sin embargo, bsicamente podemos decir que lo ms importante
es que la imagen f ([a, b]), siendo f una funcin continua, es un intervalo. Una advertencia, si la grfica
oscila no es intuitivamente claro lo que sucede y requiere ms trabajo probar estos hechos.
Teorema 14 (Valores extremos) Si f : [a, b] R es continua en [a, b], entonces f tiene la propiedad del
valor extremo en [a, b].
Teorema 15 (Valor intermedio) Si f : [a, b] R es continua en [a, b], entonces f tiene la propiedad del
valor intermedio en [a, b].
Ntese que ambos teoremas afirman que existe un nmero x 0 en [a, b] con una cierta propiedad: en el
primer teorema, que f (x 0 ) es un valor extremo de la funcin y en el segundo que f (x 0 ) es un nmero y
entre f (a) y f (b).
Ejercicio 11 Si [a, b] = [3, 3] y f est definida por
|x|, 0 |x| < 1

f (x) =
1 |x|, 1 < |x| 3
Decidir si f satisface
1. la propiedad del valor mximo,
2. la propiedad del valor mnimo
3. la propiedad del valor intermedio.
G*ro
89
Las grficas anteriores sugieren que si una funcin tiene un valor extremo (mximo o mnimo) en un
punto interior del intervalo, entonces tiene una tangente horizontal en dicho punto; de esta manera,
vemos que la derivada tiene una conexin directa con la determinacin de dichos valores extremos. El
siguiente teorema establece dicha conexin.
Tangente horizontal: f 0 (x0 )=0
Tangente horizontal: f 0 (x1 )=0
x0
x1
Teorema 16 (Valor extremo interior) Si f : [a, b] R tiene un valor extremo en un punto interior x 0 de
[a, b] y si f es diferenciable en x 0 , entonces f 0 (x 0 ) = 0.
Antes de ir a la demostracin del teorema hacemos la siguiente.

Observacin. Si lmxx0 g (x) = L, entonces en algn pequeo intervalo alrededor de x 0 , la funcin g
mantiene el signo de L.
Supongamos que f tiene un valor mximo2 en x 0 . Para probar que f 0 (x 0 ) = 0, debe probarse que los
casos f 0 (x 0 ) > 0 y f 0 (x 0 ) < 0 no son posibles, de acuerdo a las hiptesis del teorema.
Ahora bien como f tiene derivada en x 0 , se tiene que
f 0 (x 0 ) = lm
xx 0
Si consideramos la funcin
g (x) =
f (x) f (x 0 )
.
x x0
f (x) f (x 0 )
,
x x0
entonces de acuerdo a la observacin anterior g tiene el mismo signo que el lmite alrededor de un
intervalo de x 0 ; en otras palabras, si f 0 (x 0 ) > 0, entonces existe un pequeo intervalo alrededor de x 0 tal
2 La demostracin en el caso de un valor mnimo m es similar.
90
que
f (x) f (x 0 )
> 0, x 6= x 0
x x0
Si tomamos x > x 0 , entonces f (x) f (x 0 ) > 0, de donde
f (x) > f (x 0 )
lo que contradice que f (x 0 ) es un valor mximo de f . Por tanto, no es posible que f 0 (x 0 ) > 0.
La prueba de que f 0 (x 0 ) < 0 no es posible, es similar y se omite. Por lo tanto,
f 0 (x 0 ) = 0.
Si f toma un valor extremo en un punto x 0 , se dice que x 0 es un punto extremo de f . Si x 0 es un punto

en el cual f 0 (x 0 ) = 0, entonces se dice que x 0 es un punto estacionario de f .
Un punto x en el que f 0 (x) = 0 (estacionario) o no existe su derivada f 0 (x), se llama punto crtico de f .
De lo anterior, una funcin continua f definida en [a, b] alcanza sus valores extremos en un punto extremo del intervalo o bien en un punto crtico.
Ejemplo 49 Si f : [1, 2] R est dada por f (x) = x 3 x. Determinar los puntos extremos y valores
extremos de f sobre [1, 2]
Calculamos primero la derivada f 0 (x). Tenemos
f 0 (x) = 3x 2 1.
Para determinar los puntos estacionarios de f , debemos igualar la derivada a cero, f 0 (x) = 0, y resolver
la ecuacin resultante con respecto a x:
0 = 3x 2 1
1 = 3x 2
1
= x2
3
de donde se obtienen,
1
x0 = p
3
Los valores de f en estos puntos son
1
2
f (x 0 ) f p = p
3
3 3
1
x1 = p .
3
1
2
f (x 1 ) f p = p .
3
3 3
G*ro
91
Los valores de f en los puntos extremos del intervalo son

f (1) = 0
f (2) = 6.
p
Por lo tanto, el punto mnimo es x 1 = 1/ 3 y el punto mximo, es el extremo del intervalo x = 2. Obviap
mente, el valor mnimo de f es 2/3 3 y el valor mximo es 6.
La grfica de esta funcin es
10
f (x)=x 3 x
-5
-2.5
x=1
2.5
x=2
Ejercicio 12 Determinar los extremos de la funcin f (x) = 2 |1 x| en [0, 2].
Teorema 17 (Rolle) Si f : [a, b] R es continua en [a, b] y diferenciable en (a, b) y si, adems, f (a) =
f (b), entonces existe un x 0 (a, b), para el cual f 0 (x 0 ) = 0.
Si f : [a, b] R es una funcin constante, entonces f 0 = 0 y el teorema es cierto. Supongamos, ahora

que f no es constante en [a, b]. Como f es continua, por el teorema de valores extremos tiene un valor
mximo y un valor mnimo en [a, b] y, al menos, uno de estos valores ocurre en el interior del intervalo;
es decir, en algn punto x 0 (a, b). Como f 0 (x 0 ) existe, por el teorema anterior, se tiene que f 0 (x 0 ) = 0.

La figura siguiente ilustra el teorema de Rolle.
92
f (x)
x0
Ilustracin del teorema de Rolle
Teorema 18 (Teorema del valor medio) Si f : [a, b] R es continua en [a, b] y diferenciable en (a, b) y
si, adems, f (a) 6= f (b), entonces existe un x 0 (a, b), para el cual
f 0 (x 0 ) =
f (b) f (a)
.
ba
La idea de la demostracin es poder aplicar el teorema de Rolle. Como f (a) 6= f (b), la pendiente de la
recta que pasa por los puntos (a, f (a)) y (b, f (b)) es
m=
f (b) f (a)
.
ba
De esta manera, si l (x) es la recta que pasa por dichos puntos y si g (x) = f (x) l (x), resulta que g es
una funcin continua3 en [a, b] y diferenciable en (a, b); adems g (a) = g (b) = 0. Por lo tanto, admite las
condiciones del teorema de Rolle, de manera que existe un punto x 0 (a, b) para el cual g 0 (x 0 ) = 0. Pero
g 0 (x) = f 0 (x) l 0 (x) = f 0 (x) m,
as,
g 0 (x 0 ) = f 0 (x 0 ) m = f 0 (x 0 )
Como g 0 (x 0 ) = 0, resulta que
f 0 (x 0 ) =
f (b) f (a)
.
ba
f (b) f (a)
.
ba
En ocasiones se dice que

f (b) f (a)
ba
3 g es la resta de dos funciones continuas en el intervalo cerrado y difernciables en el intervalo abierto.
G*ro
93
0
es el valor medio de f en [a, b].

La figura siguiente ilustra el teorema del valor medio.
(b, f (b))
f (x)
(a, f (a))
x0
Ilustracin del teorema de Rolle
Ejemplo 50 Si f (x) = 3x 2 x +1, encontrar el punto en donde f 0 toma su valor medio en el intervalo [2, 4].
Como f 0 (x) = 6x 1 y
f (b) f (a) f (4) f (2) 45 11

=
=
= 17
ba
42
2
entonces 6x 1 = 17 resolviendo para x, se tiene x = 3.
Usaremos el teorema del valor medio para probar el siguiente.

Teorema 19 (Derivada nula) Si f 0 (x) = 0 para todo x [a, b], entonces f es constante en [a, b].
Si a < x < b, por el teorema del valor medio, aplicado a f sobre el intervalo [a, x],
f 0 (x 0 ) =
f (x) f (a)
x a
para algn x 0 (a, x). Como f 0 = 0, entonces

0=
f (x) f (a)
,
x a
de donde se sigue que f (x) f (a) = 0 y, en consecuencia f (x) = f (a). Por tanto, f es constante.
94
Ejercicio 13 Determinar los puntos en los que f toma su valor medio, para f (x) = x 2 + 4x + 1, en [1, 3].
Hacer lo mismo, para la funcin g (x) = x 3 x 2 + x en [0, 4].
0
Extremos locales o relativos

Si f es una funcin continua definida en un intervalo I con extremos a y b (I no necesita ser cerrado), se
dice que f tiene un
valor mximo local o valor mximo relativo en un punto interior x 0 del intervalo I , si existe un
intervalo [a 0 , b 0 ] I de tal forma que a 0 < x 0 < b 0 y f (x 0 ) f (x), para todo x [a 0 , b 0 ].
Se dice que x 0 es un mximo relativo o local.
valor mnimo local o valor mnimo relativo en un punto interior x 1 del intervalo I , si existe un
intervalo [a 1 , b 1 ] I de tal forma que a 1 < x 0 < b 1 y f (x) f (x 1 ), para todo x [a 1 , b 1 ].
Se dice que x 1 es un mnimo relativo o local.
mximo relativo en el extremo izquierdo a de I , si existe un intervalo [a, c] I tal que f (a) f (x),
para todo x [a, c].
mximo relativo en el extremo derecho b de I , si existe un intervalo [d , b] I tal que f (b) f (x),
para todo x [d , b].
Podemos describir de forma ms breve los valores extremos relativos diciendo; por ejemplo, que f : I
R, en donde I es un intervalo, tiene un mximo relativo en x 0 I , si existe una vecindad V (x 0 ) de x 0 de
tal manera que
f (x) f (x 0 ),
para todo x V (x 0 ) I .
(4.1)
Similarmente f tiene un mnimo relativo en x 1 I , si existe una vecindad V (x 1 ) tal que
f (x) f (x 1 ),
para todo x V (x 1 ) I .
(4.2)
Ya hemos visto que f (x) = |x| para x [1, 1] tiene un valor mnimo interior ( un mnimo absoluto) en el
punto x 0 = 0. De hecho, se muestra en la siguiente figura.
G*ro
95
Evidentemente, no existe derivada en el punto x 0 = 0. Esta situacin la describimos con el resultado

siguiente. Vase el teorema (16),
Si f : I R es continua en I y si f es un extremo relativo en un punto interior x 0 I , entonces,

o bien f 0 (x 0 ) = 0 o bien, f 0 (x 0 ) no existe.
Ntese que si este es el caso, x 0 es un punto crtico de f . Aprovechamos este repaso por el teorema (16)
para establecer una consecuencia til.
Proposicin 17 Si f , g son funciones continuas en I = [a, b], diferenciables en I = (a, b) y si f 0 (x) = g 0 (x),
para todo x I , entonces existe una constante C tal que f = g +C .
De hecho si hacemos que h = f g , entonces h es continua en I y diferenciable en I ; adems

h 0 (x) = f 0 (x) g 0 (x) = 0
por lo tanto h es una funcin constante; es decir, h(x) = C , para cierto nmero real C y todo x I . De
donde se sigue que f (x) = g (x) +C , para todo x I . Las funciones f (x) = x 3 x + 1 y g (x) = x 3 x + 3
tienen la misma derivada en todo x R y claramente g = f +2, en otras palabras, para cada x R, se tiene
que g (x) = f (x) + 2.
96
g (0)= f (0)+2
g ( 32 )= f ( 23 )+2
Intervalos de monotona
El signo de la derivada en un intervalo, nos permite decidir el tipo de monotona de una funcin (creciente o decreciente) en dicho intervalo, esto es til para determinar la naturaleza de un valor extremo
de la funcin en un punto estacionario. El siguiente teorema establece el resultado fundamental.
Teorema 20 Si f : I R es diferenciable en I . Entonces

1. f es creciente en I si y solo si f 0 (x) 0, para todo x I .
2. f es decreciente en I si y solo si f 0 (x) 0, para todo x I .
Como caso ilustrativo solo probaremos el primer inciso del enunciado del teorema. Esto es, suponemos
primero que f 0 es no negativa en I y probamos que f es creciente en el intervalo y, luego probaremos el
recproco. El segundo inciso es similar y se deja como un ejercicio de entrenamiento al estudiante.
Supongamos, pues que f 0 (x) 0, para x I . Si x 1 , x 2 I y x 1 < x 2 , entonces aplicamos el teorema del
valor medio a f sobre el intervalo [x 1 , x 2 ] ya que f es continua en este intervalo y diferenciable en el
G*ro
97
intervalo abierto (x 1 , x 2 ). Entonces existe un c (x 1 , x 2 ) para el cual

f (x 2 ) f (x 1 ) = f 0 (c)(x 2 x 1 ).
Como f 0 (c) 0 y, tambin, x 2 x 1 > 0, entonces
f (x 2 ) f (x 1 ) 0.
De donde, f (x 2 ) f (x 1 ). Como x 1 y x 2 son puntos arbitrarios de I , se sigue que f es creciente en I .
(Recproco) Supongamos ahora que f es creciente (y diferenciable) en I . Si x 0 es cualquier punto en I y
si x > x 0 , entonces f (x) f (x 0 ) o, lo que es lo mismo, f (x) f (x 0 ) 0. De manera que
f (x) f (x 0 )
0
x x0
Por lo tanto (el lmite no cambiar de signo en las cercanas de x 0 ),
lm
xx 0
f (x) f (x 0 )
0;
x x0
de donde, f 0 (x 0 ) 0; es decir, la derivada de f es no negativa en cualquier punto x 0 de I . Por otro lado, si

x < x 0 , entonces f (x) f (x 0 ) 0 y x x 0 < 0, en consecuencia
f (x) f (x 0 )
0,
x x0
y, de nuevo,
f 0 (x 0 ) = lm
xx 0
f (x) f (x 0 )
0.
x x0
De la misma forma se puede probar que
1. si f 0 (x) > 0, para todo x I , entonces f es estricamente creciente en I , y

2. si f 0 (x) < 0, para todo x I , entonces f es estricamente decreciente en I .
Sin embargo, debe hacer una advertencia en este punto, ninguno de los dos incisos se establece como
un si y solo si; esto es, el recproco de cada uno de los dos incisos, en general, no se cumple; por ejemplo,
una funcin bien puede ser estrictamente creciente y tener derivada distinta de 0 en algunos puntos del
intervalo; el ejemplo tpico de esto es la funcin estrictamente creciente f (x) = x 3 , para la cual si x 0 = 0,
entonces f 0 (x 0 ) = 0 (y no, f 0 (x 0 ) > 0). La grfica de esta funcin es la siguiente.
98

f (x) = x 3
f estrictamente creciente
pero, f 0 (0)=0
La discusin anterior da los criterios para encontrar los intervalos de crecimiento o de decrecimiento de
una funcin as como un criterio para determinar la naturaleza de un punto crtico. De hecho tenemos el
resultado siguiente, cuya demostracin depende del teorema del valor medio y se omitir. En el enuciado
se considera que I = [a, b] y que I = (a, b) (para decir que un punto x es interior al intervalo I , escribimos
x I ).
Teorema 21 Supongamos que f es continua en I , x 0 I y, que f es diferenciable en los intervalos (a, x 0 )

y (x 0 , b). Si existe una vecindad (x 0 , x 0 + ) I tal que
1.
f 0 (x) 0, para x 0 < x < x 0

f 0 (x) 0, para x 0 < x < x 0 + ,
entonces f tiene un (valor) mximo relativo en x 0 .

2.
f 0 (x) 0, para x 0 < x < x 0

f 0 (x) 0, para x 0 < x < x 0 + ,
entonces f tiene un (valor) mnimo relativo en x 0 .
Cuidado!: el recproco del criterio de la primera derivada para valores extremos no se cumple, en general.
La figura siguiente ilustra el criterio de la primera derivada para un valor mximo relativo.
G*ro
99
f 0 (x 0 )=0
f 0 (x)>0
f 0 (x)<0
Ejemplo 51 Determinar los extremos locales de f (x) = x 3 3x 4 y su naturaleza, y encontrar los intervalos de monotona de f .
Solucin. Debemos encontrar en dnde f 0 < 0, f 0 > 0 y f 0 = 0. La derivada de la funcin es

f 0 (x) = 3x 2 3 = 3(x 2 1) = 3(x 1)(x + 1).
1. Para localizar los puntos estacionarios resolvemos la ecuacin f 0 (x) = 0; esto es,
3(x 1)(x + 1) = 0.
Como, obviamente, 3 6= 0, resolvemos la ecuacin (x 1)(x + 1) = 0. Sus soluciones son, por tanto,
x = 1 y x = 1 .
2. Para determinar los intervalos de crecimiento resolvemos la desigualdad f 0 (x) > 0; esto es,
3(x 1)(x + 1) > 0.
Como en el caso anterior, es suficiente resolver (x 1)(x + 1) > 0. As
(x 1) < 0 y (x + 1) < 0, o bien, (x 1) > 0 y (x + 1) > 0
de donde,
x < 1 y x < 1, o x > 1 y x > 1.
Por tanto, f es creciente en los intervalos (, 1) y (1, ) .
100
3. Para determinar los intervalos de decrecimiento resolvemos la desigualdad f 0 (x) < 0; esto es,
3(x 1)(x + 1) < 0.
Es suficiente resolver (x 1)(x + 1) < 0. As
(x 1) < 0 y (x + 1) > 0, o bien, (x 1) > 0 y (x + 1) < 0.
Del primer par de desigualdades, se obtiene 1 < x < 1, el segundo par de desigualdades no tiene
soluciones. Por tanto, el intervalo de decrecimiento de f es (1, 1) .
4. Conforme a los resultados de los incisos anteriores, se tiene que f tiene un mximo local en x = 1
y un mnimo local en x = 1, Los valores mximo y mnimo son, respectivamente f (1) = 2 y
f (1) = 6 . Como lo ilustra la grfica siguiente.
f (x)=x 3 3x4
Para finalizar, debemos mencionar que el criterio de la primera derivada tambin trabaja en los puntos
extremos de un intervalo, queda como un ejercicio al estudiante establecer dicho criterio para estos
casos.
Ejercicio 14 Encontrar los extremos locales, determinar su tipo y determinar los intervalos de (de)crecimiento
de la funcin dada.
a) f (x) = x 2 3x + 5
c) f (x) = x + x1 , para x 6= 0
b) g (x) = 3x 4x 2
p
p
d) h(x) = x 2 x + 2, para x > 0
G*ro
101
El criterio de la segunda derivada
Si la derivada f 0 de una funcin diferenciable f , tambin es diferenciable, entonces su derivada ( f 0 )0 es

d2 f
la segunda derivada de f y se escribe simplemente como f 00 o, en la notacin de Leibniz, como d x 2 .

El signo de la segunda deriva permite decidir si en un punto estacionario x 0 , f tiene un mnimo o un
mximo relativo. Esto se muestra en el siguiente teorema (queda pendiente su demostracin).
Teorema 22 (Criterio de la segunda derivada) Supongamos que f es diferenciable en en I = (a, b) y que

x 0 I es un punto estacionario de f . Entonces
1. si f 00 (x 0 ) > 0, entonces f tiene un mnimo local en x 0 ,
2. si f 00 (x 0 ) < 0, entonces f tiene un mximo local en x 0 .
3. si f 00 (x 0 ) = 0, no se puede deducir nada.
Para la funcin del ejemplo anterior, f (x) = x 3 3x 4, tenemos que f 00 (x) = 6x. Por lo tanto,
en el punto estacionario x = 1, f 00 (1) = 6(1) = 6 < 0, en consecuencia, hay un mximo local;
en el punto estacionario x = 1, f 00 (1) = 6(1) = 6 > 0, en consecuencia, hay un mnimo local
La funcin f (x) = x 4 tiene segunda derivada f 0 (x) = 12x 2 y x 0 = 0 es un punto estacionario; sin embargo,
f 00 (0) = 0. La figura siguiente, muestra que f tiene un mnimo (global o absoluto) en x = 0, pero eso no
se concluye del resultado anterior.
102

f (x)=x 4
Ejercicio 15 Utilizar el criterio de la segunda derivada para determinar los extremos locales de las funciones de los ejercicios anteriores.
Concavidad de la grfica
La segunda derivada nos da ms informacin cualitativa acerca de la grfica de una funcin. Por ejemplo con la primera derivada determinamos cando una funcin es creciente, pero no nos dice la forma
o apariencia del crecimiento, las siguientes figuras muestran bsicamente tenemos dos formas de crecimiento. El signo de la segunda derivada, nos permite distinguir con precisin estos dos tipos.
f creciente
(Cncava)
f creciente
(Convexa)
G*ro
103
Si T (x) es la recta tangente a la grfica de una funcin diferenciable f en un intervalo I = (a, b) y si

x 0 I , entonces
la grfica de f es cncava hacia arriba (o cnvexa) en x 0 si
f (x) > T (x),
para todo x 6= x 0 en algn intervalo abierto J I ;
la grfica de f es cncava hacia abajo (o simplemente, convcava) en x 0 si
f (x) < T (x),
para todo x 6= x 0 en algn intervalo abierto J I .
f (x)<T (x)
(Cncava)
f (x)>T (x)
(Convexa)
Definicin 29 Un punto x 0 es un punto de inflexin para f , si la concavidad de la grfica cambia en ese

punto.
104
Un punto de inflexin
Teorema 23 Si f es diferenciable en (a, b) y si x 0 (a, b) es un punto en donde existe f 00 (x 0 ). Entonces

1. si f 00 (x 0 ) > 0, la grfica de f es cncava hacia arriba en x 0
2. si f 00 (x 0 ) < 0, la grfica de f es cncava hacia abajo en x 0
3. si x 0 es un punto de inflexin, entonces f 00 (x 0 ) = 0.
Observacin. Hemos vista que si f (x) = x 4 , entonces f 00 (0) = 0; sin embargo, x 0 = 0 no es un punto de
inflexin: no basta que la segunda derivada se anule en el punto, para que dicho punto sea de inflexin.
Moraleja: si x 0 es un punto en el cual f 00 (x 0 ) = 0, entonces x 0 es un punto de inflexin si la grfica de f

cambia su concavidad en x 0 .
Ejercicio 16 Encontrar los intervalos en donde la grfica de la funcin es cncava hacia arriba o hacia
abajo y sus puntos de inflexin, para las funciones dadas en la seccin anterior de ejercicios.
Formas indeterminadas y la regla de LHospital

Una extensin del teorema del valor medio es el Teorema del valor medio de Cauchy. Este teorema es de
utilidad al tratar con las formas indeterminadas. Su demostracin est basada en el teorema de Rolle.
G*ro
105
Teorema 24 (Teorema del valor medio de Cauchy) Sea I = [a, b] y sean f , g : I R funciones continuas
en I y diferenciables en I . Si g 0 6= 0 en I , entonces existe un punto x 0 I para el cual
f (b) f (a) f 0 (x 0 )
=
.
g (b) g (a) g 0 (x 0 )
Para la demostracin, se define la funcin
h(x) =
f (b) f (a)
g (x) g (a) f (x) f (a)
g (b) g (a)
y se verifica que satisface las condiciones del teorema de Rolle para concluir el resultado.
En los teoremas sobre lmites consideramos el caso de lmites de cocientes; es decir, si existen los lmites
lm f = L
xx 0
lm g = M 6= 0
xx 0
entonces tambin existe el lmite del cociente y

lm
xx 0
f
L
= .
g M
Cuando L = M = 0, se dice que el lmite de f /g es indeterminado, lo que significa que tal lmite puede
existir o no. Esta situacin se expresa simblicamente, escribiendo 0/0. Por ejemplo,
ax
= a R (i.e., existe!)
x0 x
lm
La siguiente simbologa representan otras formas indeterminadas, su significado es obvio,
, 0 , 00 , 1 , 0 e .
Analizaremos bsicamente las formas indeterminadas 0/0 e /. Los restantes casos indeterminados,
en general se reducen a una de stos. El siguiente teorema muestra como las derivadas tienen un uso
natural en el estudio de las formas indeterminadas.
Teorema 25 Sean f , g : [a, b] R tales que f (a) = g (a) = 0 y g 6= 0 en I . Si existen f 0 (a) y g 0 (a) y, adems
g 0 (a) 6= 0, entonces existe
f 0 (a)
f
= lm .
g 0 (a) xa g
De modo que
lm+
xa
f
f 0 (a)
= 0
g g (a)
106
Demostracin. Si x I , entonces (porque, 0 = f (a) = g (a))

f (x) f (x) f (a)
=
=
g (x) g (x) g (a)
f (x) f (a)
xa
g (x)g (a)
xa
Como f y g son diferenciables en I existen

lm
xa
f (x) f (a)
= f 0 (a) y
x a
lm
xa
g (x) g (a)
= g 0 (a) 6= 0.
x a
Por lo tanto, por la regla del cociente para lmites,

f (x) lmxa +
=
g (x) lmxa +
lm+
xa
f (x) f (a)
xa
g (x)g (a)
xa
f 0 (a)
.
g 0 (a)
Importante. Si f (x) = x + 1 y g (x) = 3x + 10, entonces

f 0 (0) 1
=
g 0 (0) 3
pero, como f (0) = 1 y g(0) = 10, entonces
f (x)
1
1 f 0 (0)
=
6= = 0 .
x0 g (x)
10 3 g (0)
lm
Esto se debe al hecho de que f (0) 6= g (0), como lo exigen las hiptesis del teorema. Esto significa que no
se puede eliminar de las hiptesis que f (a) debe ser igual a g (a).
Ahora estudiamos la llamada regla de LHospital, en ella no supone que las funciones tengan derivada
en el punto a (requiere la versin del teorema del valor medio de Cauchy). En su enunciado I = [a, b].
Teorema 26 (Regla de LHospital (para la forma 0/0)) Sean f , g : I R funciones continuas en I y diferenciables en I ; en donde g 6= 0 y g 0 6= 0 en I y, si f (a) = g (a) = 0 entonces se tiene que,
1.
si lm+
xa
f (x)
f 0 (x)
= L R, entonces lm+
=L
0
xa g (x)
g (x)
2.
si lm+
xa
3.
si lm+
xa
f 0 (x)
f (x)
= , entonces lm+
=
0
xa g (x)
g (x)
f 0 (x)
f (x)
= , entonces lm+
=
0
xa g (x)
g (x)
G*ro
107
La regla de LHopital tambin vale para los casos de lmites por la izquierda:
1.
si lm
xb
f 0 (x)
f (x)
= L R, entonces lm
=L
xb g (x)
g 0 (x)
2.
si lm
xb
3.
f 0 (x)
f (x)
= , entonces lm
=
0
xb g (x)
g (x)
f 0 (x)
f (x)
= , entonces lm
=
0
xb g (x)
g (x)
si lm
xb
as como, para lmites bilaterales:
1.
si lm
xc
f 0 (x)
f (x)
= L R, entonces lm
=L
0
xc
g (x)
g (x)
2.
si lm
xc
3.
si lm
xc
f 0 (x)
f (x)
= , entonces lm
=
0
xc g (x)
g (x)
f (x)
f 0 (x)
= , entonces lm
=
xc g (x)
g 0 (x)
Para lmites en el infinito el resultado es como sigue.
Teorema 27 Si f y g son continuas y diferenciables en el intervalo [b, ) y si

lm f = lm g = 0,
en donde g (x) 6= 0 y g 0 (x) 6= 0, para x > b, entonces

f (x)
f 0 (x)
= lm 0 .
x g (x)
x g (x)
lm
El caso cuando x es similar y el estudiante deber enunciarlo.
108
Teorema 28 (Regla de LHospital (para la forma /)) Si f y g son funciones diferenciables en (a, b) y
si
lm+ f (x) = y lm+ g (x) = ,
xa
xa
en donde g 6= 0 y g 0 6= 0 en (a, b), entonces se tiene que
1.
f (x)
f 0 (x)
= L R, entonces lm+
= L,
xa g (x)
g 0 (x)
si lm+
xa
2.
si lm+
xa
3.
si lm+
xa
f 0 (x)
f (x)
= , entonces lm+
=
xa g (x)
g 0 (x)
f 0 (x)
f (x)
= , entonces lm+
=
xa g (x)
g 0 (x)
Este teorema tambin vale para los casos cuando x y x . Se recomienda que el estudiante
formule estos casos.
Algunos ejemplos
p
1 + x 1 x/2
.
lm
x0
x2
Solucin. Notemos primero que f (x) =
p
1 + x 1x/2 y g (x) = x 2 , de modo que f (0) = 0 y g (0) = 0. As,
lm f (x) = 0 = lm g (0).
x0
x0
Por otro lado,

1
1
f 0 (x) = p
,
2 1+x 2
g 0 (x) = 2x,
de donde
lm f 0 (x) = 0
x0
El cociente
lm g 0 (x) = 0.
x0
f 0 (x)
x0 g 0 (x)
lm
G*ro
109
nos produce de nuevo una forma indeterminada 0/0, de manera que podemos hacer uso una vez ms
de la regla de LHospital:
f 0 (x) f 00 (0)
lm 0
= 00
x0 g (x)
g (0)
Pero
3
1
1
f 00 (x) = (1 + x) 2 = p
4
4 (1 + x)3
y
g 00 (x) = 2.
De este modo,
f 0 (x) 1
=
x0 g 0 (x)
8
lm
x 2x 2
.
x 3x 2 + 5x
lm
Solucin. Por la regla de LHospital,

1 4x
4
2
x 2x 2
= lm
= lm
=
x 6x + 5
x 6
x 3x 2 + 5x
3
lm
Ejercicio 17 Usar la regla de LHospital para evaluar los lmites siguientes
b)
a)
x 2
lm
x2 x 2 4
c)
5x 2 3x
x 7x 2 + 1
lm
d)
x3 1
lm 3
x1 4x x 3
e)
2x 2 + 3x
x x 3 + x + 1
lm
f)
2x
lm
p
x0 x + 7 x
g)
p
lm
x2
p
2x 2 (3x + 1) x + 2
lm
x1
x 1
h)
x2 + 5 3
x2 4
lm+
x0
1
1
p
x
x
110
Polinomios de Taylor
Cuando nos interesa calcular valores de una funcin para valores dados de x, no encontramos que muchas de las funciones tienen una regla que no da una manera de calcular tales valores, esto ocurre hasta
p
con funciones con apariencia sencilla como por ejemplo f (x) = x. Los polinomios no presentan esta dificultad, la regla que define al polinomio da la receta para calcularlos. De esta manera, es razonable indagar cmo una funcin general se puede representar mediante polinomios. Si f es una funcin
que tiene derivadas hasta de orden n en algn punto a, es posible construir un polinomio p n tal que
p n (a) = f (a) y, tambin p n0 (a) = f 0 (a), p n00 (a) = f 00 (a), ... , p n(n) (a) = f (n) (a).
Consideremos un polinomio p(x) de grado n = 1, y escribiendo (en lugar de p(x) = a 0 + a 1 x)
p(x) = c 0 + c 1 (x a)
entonces p(a) = c 0 y como p 0 (x) = c 1 obtenemos que p 0 (a) = c 1 ; esto es, los coeficientes del polinomio
estn dados por
c 0 = p(a) y c 1 = p 0 (a).
Por lo tanto,
p(x) = p(a) + p 0 (a)(x a).
Ahora bien, queremos que p(a) = f (a) y p 0 (a) = f 00 (a), entonces
p(x) = f (a) + f 0 (a)(x a).
Ahora bien, si n = 2, escribimos
p(x) = c 0 + c 1 (x a) + c 2 (x a)2 .
Los coeficientes c 0 y c 1 , se obtienen como en el caso previo, para obtener c 2 derivamos dos veces y encontramos que p 00 (a) = 2c 2 , o c 2 = p 00 (a)/2. Como queremos que p(a) = f (a), p 0 (a) = f 0 (a) y p 00 (a) = f 00 (a),
entonces debemos tomar
c 0 = f (a), c 1 = f 0 (a) y c 2 = f 00 (a)
con lo que obtenemos
p(x) = f (a) + f 0 (a)(x a) +
f 00 (a)
(x a)2 .
2
Para el caso general de un polinomio de grado n, si

p(x) = c 0 + c 1 (x a) + c 2 (x a)2 + c 3 (x a)3 + + c n (x a)n
entonces el coeficiente c k se obtiene con la derivada k-sima:
p (k) (a) = k(k 1)(k 2) 2 1 c k
Nota. El nmero k(k 1)(k 2) 2 1 se conoce como el factorial de k (k es un nmero natural) y se
indica con k!. Se conviene en que 0! = 1
G*ro
111
Usando la notacin del factorial,

p (k) (a) = k!c k
o bien, c k =
p (k) (a)
.
k!
Ahora bien, si pedimos que

p(a) = f (a) y p (k) (a) = f (k) (a), para k = 1, 2, ..., n
entonces
ck =
f (k) (a)
k!
Ntese que esta frmula tambin vale para k = 0, en este caso, f (0) (a) = f (a). El polinomio, que escribiremos como Tn f (x),
Tn f (x) = f (a) + f 0 (a)(x a) +
f 00 (a)
f (n) (a)
(x a)2 + +
(x a)n
2!
n!
(4.3)
se conoce como polinomio de Taylor de orden n para f en el punto a o ensimo polinomio de Taylor
de f en a. En ocasiones lo escribiremos simplemente como p n (x).
Si a = 0, entonces
Tn f (x) = f (0) + f 0 (0)x +
f 00 (0) 2
f (n) (0) n
x ++
x
2!
n!
(4.4)
y, en este caso, Tn f (x) se conoce como polinomio de Maclaurin.

No hay necesidad de indicar el punto en el que se quiere el polinomio, dentro de la notacin, pero si se
prefiere hacerlo as, podramos escribir, algo como Tn f (a)(x).
Los teoremas siguientes muestran los hechos relacionados con los polinomios de Taylor.
Teorema 29 Si f es una funcin con derivadas hasta de orden n en a. Existe un polinomio nico p(x) de
grado no mayor a n tal que
p(a) = f (a), p 0 (a) = f 0 (a), . . . , p (n) (a) = f (n) (a)
y dado por
p n (x) = f (a) + f 0 (a)(x a) +
f (n) (a)
f 00 (a)
(x a)2 + +
(x a)n
2!
n!
112
Ntese que el polinomio p n (x) descrito en el teorema anterior es el ensimo polinomio de Taylor de f
en a; esto es,
p n (x) = Tn f (x).
Cuando una funcin f tiene derivadas continuas hasta de orden n en un intervalo I , se dice que es de
clase C n en I y se escribe f C n (I ). De esta manera, una funcin de clase C n tiene un ensimo polinomio
de Taylor en un punto a I
Teorema 30 (Linealidad) Sean Tn f (x) y Tn g (x) los ensimos polinomios de Taylor para f y g respectivamente, en el punto a = 0. Si c 1 y c 2 son constantes, entonces
Tn (c 1 f + c 2 g )(x) = c 1 Tn f (x) + c 2 Tn g (x).
En otras palabras c 1 Tn f (x) + c 2 Tn g (x) es el polinomio de Taylor de orden n de la funcin c 1 f + c 2 g . Es la

propiedad de linealidad de los polinomios de Taylor.
Teorema 31 Si g (x) = f (kx), en donde k es una constante y Tn f (x) es el ensimo polinomio de Taylor de
f , entonces
Tn g (x) = Tn f (kx)
Teorema 32 Si Tn f (x) = c 0 + c 1 x + c 2 x 2 + + c n x n y si para k = 2, 3, . . ., g (x) = f (x k ), entonces

Tkn g (x) = Tn f (x k ) = c 0 + c 1 x k + c 2 x 2k + + c n x nk
Teorema 33 (Polinomio de Taylor de la derivada) Si Tn f (x) = c 0 + c 1 x + c 2 x 2 + + c n x n , entonces

Tn1 f 0 (x) = c 1 x + 2c 2 x + + nc n x n1
En otras palabras,
Tn1 f 0 (x) = (Tn f (x))0 .
Conviene de una vez establecer un resultado para el caso de la integral de un funcin f . Despus de que
se estudie la integral este teorema queda de referencia cuando se trate de polinomios de Taylor.
Teorema 34 (Polinomio de Taylor de la integral) Si Tn f (x) = c 0 + c 1 x + c 2 x 2 + + c n x n , entonces
Z x
c1
c3
c n n+1
Tn f (x) = c 0 x + x 2 + x 3 + +
x
2
3
n +1
0
G*ro
113
es el (n+1)-simo polinomio de Taylor para

x
F (x) =
f (t ) d t .
0
En otras palabras, el teorema establece que

x
Tn+1
Z
f (t ) d t (x) =
x
0
Tn f (x) d x.
Ejemplos de polinomios de Taylor

Recordemos que la forma general del n-simo polinomio de Taylor de una funcin dada f en un punto
x = a est dada por
(Tn f )(x) = f (a) + f 0 (a)(x a) +
f (2) (a)
f (3) (a)
f (n) (a)
(x a)2 +
(x a)3 +
(x a)n
2!
3!
n!
A continuacin calcularemos los primeros polinomios de Taylor para la funcin f (x) =

del punto x = 0.
Empezamos calculando las derivadas sucesivas de f (x) = (1 + x)1/2 .
1. f 0 (x) = 21 (1 + x)1/2
2. f (2) (x) = 212 (1 + x)3/2
3. f (3) (x) =
3
(1 + x)5/2
23
4. f (4) (x) = 53
(1 + x)7/2
24
5. f (5) (x) =
753
(1 + x)9/2
25
(1 + x)11/2
6. f (6) (x) = 9753
26
7. f (7) (x) =
119753
(1 + x)13/2
27
8. f (8) (x) = 13119753

(1 + x)15/2
28
9. . . .
(4.5)
p
1 + x, alrededor
114
Ahora evaluamos cada una de estas derivadas en a = 0 para obtener,

1. f 0 (0) =
1
2
2. f (2) (0) = 212

3. f (3) (0) =
3
23
4. f (4) (0) = 53
24
5. f (5) (0) =
753
25
6. f (6) (0) = 9753

26
7. f (7) (0) =
119753
27
8. f (8) (0) = 13119753

28
9. . . .
10. f (n) (0) = (1)n+1 (2n3)(2n5)(2n7)...3
2n
Ahora bien, los coeficientes de Taylor son
1. c 0 = f (0) = 1
2. c 1 = f 0 (0) =
1
2
3. c 2 =
1
2!
f (2) (0) = 2212!
4. c 3 =
1
3!
f (3) (0) =
5. c 4 =
1
4!
f (4) (0) = 253

4 4!
6. c 5 =
1
5!
f (5) (0) =
7. c 6 =
1
6!
f (6) (0) = 9753

26 6!
8. c 7 =
1
7!
f (7) (0) =
9. c 8 =
1
8!
f (8) (0) = 13119753

28 8!
1
n!
f (n) (0) = (1)n+1 (2n3)(2n5)(2n7)...3

2n n!
3
23 3!
753
25 5!
119753
27 7!
10. . . .
11. c n =
G*ro
115
Por lo tanto de acuerdo a la frmula (4.5), tenemos
1. T0 f (x) = 1
2. T1 f (x) = 1 + 12 x
3. T2 f (x) = 1 + 12 x 2212! x 2
4. T3 f (x) = 1 + 12 x 2212! x 2 + 2333! x 3
4
5. T4 f (x) = 1 + 12 x 2212! x 2 + 2333! x 3 253
4 4! x
753 5
4
6. T5 f (x) = 1 + 21 x 2212! x 2 + 2333! x 3 253
4 4! x + 25 5! x
753 5
9753 6
4
7. T6 f (x) = 1 + 12 x 2212! x 2 + 2333! x 3 253
4 4! x + 25 5! x 26 6! x
753 5
9753 6
119753 7
4
x
8. T7 f (x) = 1 + 21 x 2212! x 2 + 2333! x 3 253
4 4! x + 25 5! x 26 6! x +
27 7!
753 5
9753 6
119753 7
4
9. T8 f (x) = 1 + 21 x 2212! x 2 + 2333! x 3 253
x 13119753
x8
4 4! x + 25 5! x 26 6! x +
27 7!
28 8!
10. . . .
753 5
4
n+1 (2n3)(2n5)3 n
x
11. Tn f (x) = 1 + 12 x 2212! x 2 + 2333! x 3 253
4 4! x + 25 5! x + + (1)
22 n!
Nota. Los valores simplificados de los coeficientes son
1. c 0 = 1
2. c 1 =
1
2
3. c 2 = 81
4. c 3 =
1
16
5
5. c 4 = 128
6. c 5 =
7
256
21
7. c 6 = 1024
8. c 7 =
33
2048
429
9. c 8 = 32768
116

p
Calcularemos ahora algunos polinomios de Taylor para la funcin g (x) = 1 + 4x. Notemos primero que
g (0) = 0.
Empezamos calculando las derivadas sucesivas de g (x) = (1 + 4x)1/2 .
1. g 0 (x) = 4 21 (1 + 4x)1/2
2. g (2) (x) = 42 212 (1 + 4x)3/2
3. g (3) (x) = 43 23 212 (1 + 4x)5/2
4. g (4) (x) = 44 53
(1 + 4x)7/2
24
5. g (5) (x) = 45 753
(1 + 4x)9/2
25
6. g (6) (x) = 46 9753
(1 + 4x)11/2
26
7. g (7) (x) = 47 119753
(1 + 4x)13/2
27
8. g (8) (x) = 48 13119753
(1 + 4x)15/2
28
9. . . .
Cuando x = 0 obtenemos
1. g 0 (0) = 4 12 = 2
2. g (2) (0) = 42 212 = 22
3. g (3) (0) = 43 233 = 3 23
4. g (4) (0) = 44 53
= 5 3 24
24
= 7 5 3 25
5. g (5) (0) = 45 753
25
6. g (6) (0) = 46 9753
= 9 7 5 3 26
26
7. g (7) (0) = 47 119753
= 11 9 7 5 3 27
27
8. g (8) (0) = 48 13119753
= 13 11 9 7 5 3 28
28
9. . . .
10. g (0) (x) = (1)n+1 4n (2n3)(2n5)(2n7)...3
= (1)n+1 2n (2n 3) (2n 5) (2n 7) . . . 3
2n
Los coeficientes de Taylor son
G*ro
117
1. c 0 = g (0) = 1
2. c 1 = g 0 (0) = 2
3. c 2 =
1 (2)
22
2! g (0) = 2!
= 2
4. c 3 =
323
1 (3)
3! g (0) = 3!
=4
5. c 4 =
5324
1 (4)
4! g (0) = 4!
= 10
6. c 5 =
1 (5)
75325
5! g (0) =
5!
= 28
7. c 6 =
1 (6)
975326
6! g (0) =
6!
= 84
8. c 7 =
11975327
1 (7)
7! g (0) =
7!
= 264
9. c 8 =
1 (8)
1311975328
8! g (0) =
8!
= 858
10. . . .
11. c n =
n
1 (n)
(0) = (1)n+1 (2n3)(2n5)(2n7)...32
n! g
n!
Por lo tanto,
Tn g (x) = 1 + 2x 2x 2 + 4x 3 10x 4 + 28x 5 84x 6 + + (1)n+1
(2n 3) (2n 5) (2n 7) . . . 3 2n n

x
n!
Por otro lado, de acuerdo con el teorema (), como g (x) = f (4x), entonces Tn g (x) = Tn f (4x) y, como
1
1
1
5 4
7 5
Tn f (x) = 1 + x x 2 + x 3
x +
x
2
8
16
128
256
entonces
1
1
1
5
7
Tn f (4x) = 1 + (4x) (4x)2 + (4x)3
(4x)4 +
(4x)5
2
8
16
128
256
= 1 + 2x 2x 2 + 4x 3 10x 4 + 28x 5
As, como era de esperarse ambos clculos coinciden.
A continuacin comprobamos estos resultados en Maxima.
Ejercicio 18 Determinar los polinomios de Taylor para cada uno de los siguientes polinomios en los puntos que se especifican.
118

3
a) f (x) = x , en el punto a = 1.
b) f (x) = x , en el punto a = 1.
c) f (x) = 4x 3 2x + 1, en el punto a = 2.
Ejercicio 19 Determina los polinomios de Taylor de grado n (si es posible, si no, para algn n apropiado).
a) f (x) = (1 x)1
b) f (x) = (1 x)1/2
c) f (x) = (1 x)3/2
d) f (x) = (1 + x)3/2
Ejercicio 20 Usar los teoremas de polinomios de Taylor para determinar el polinomio en 0 de
a) f (x) =
p
1 + 4x (de grado n)
b) f (x) = (1 x 2 )1/2 (de grado 2n)
Teorema 35 (Taylor) Sea I = [a, b] y f : I R una funcin de clase C n en I y supongamos que f (n + 1)

existe en I . Si x 0 I , entonces para cualquier x I existe un punto c entre x 0 y x para el cual
f (x) = f (x 0 ) + f 0 (x 0 )(x x 0 ) +
f 00 (x 0 )
f (n) (x 0 )
f (n+1) (c)
(x x 0 )2 + +
(x x 0 )n +
(x x 0 )n+1 (4.6)
2!
n!
(n + 1)!
El ltimo trmino del lado derecho de (35), que escribiremos como

R n (x) =
f (n+1) (c)
(x x 0 )n+1
(n + 1)!
se conoce como la forma de Lagrange del residuo. Podemos entonces expresar dicha frmula como
f (x) = Tn f (x) + R n (x)
Si f (x) =
p
3
1 + x, para x > 1. Entonces si x 0 = 0 y n = 2,
f (x) = 1 +
x x2
+ R 2 (x)
3
9
G*ro
119
en donde,
f (3) (c) 3
x
3!
y c es un punto entre 0 y x. Ahora bien, si x = 0.3, entonces
R 2 (x) =
P 2 (0.3) = 1 +
es la segunda aproximacin de Taylor para
p
3
1.3, con residuo
R 2 (0.3) =
Como 0 < c < 0.3, entonces
0.3 (0.3)2
= 1.09
3
9
5
1
p
(0.3)3
3
81
(1 + c)8
1
<1
p
3
(1 + c)8
y, as,

5 3 3
1
1
R 2 (0.3)
=
= 0.0016... < 0.0017 = 0.17 2
81 10
600
10
Se puede usar el teorema de Taylor para probar un resultado til para determinar la naturaleza de un
punto estacionario y se da a continuacin.
Teorema 36 Sea I un intervalo y x 0 I . Supongamos que f es una funcin de clase C n (para n 2) en
una vecindad de x 0 y supongamos tambin que f ( j ) (x 0 ) = 0 para j = 1...n 1, pero f (n+1) (x 0 ) 6= 0. Entonces
1. Si n es par y f (n) > 0, f tiene un mnimo local en x 0 .
2. Si n es par y f (n) < 0, f tiene un mximo local en x 0 .
3. Si n es impar entonces f no tiene un mximo local ni un mntimo local en x 0 .
120
Captulo 5
La integral de Riemann
Sumas de Darboux y la integral de Riemann

En lo que sigue consideraremos un intervalo cerrado y acotado (i.e., un intervalo compacto) I = [a, b]
arbitrario y funciones acotadas definidas en I .
Para definir las sumas de Darboux, necesitamos establecer la idea de particin del intervalo I , que es
como sigue. Si x 1 , x 2 , x 3 , . . . , x n1 I , en donde
x 1 < x 2 < x 3 < < x n1
entonces una particin P de I es el conjunto ordenado
P = (x 0 = a, x 1 , x 2 , . . . , x n = b) .
Los puntos de la particin dividen al intervalo en los subintervalos que no se traslapan
[x 0 , x 1 ], [x 1 , x 2 ], [x 2 , x 3 ], . . . [x n1 , x n ].
Dada un funcin acotada f : I R y, si P = (x 0 , x 1 , x 2 , . . . , x n ) es una particin de I , entonces si escribimos
m k = nf f (x) | x [x k1 , x k ]
y
M k = sup f (x) | x [x k1 , x k ]
121
122
para k = 1, 2, . . . , n. Entonces la suma inferior de Darboux se define como
S(P ; f ) =
n
X
m k (x k x k1 )
(5.1)
M k (x k x k1 )
(5.2)
k=1
y la suma superior de Darboux como
S(P ; f ) =
n
X
k=1
En ocasiones se escribe L(P ; f ) y U (P ; f ) en lugar de S(P ; f ) y S(P ; f ), respectivamente.

Si f es una funcin positiva en el intervalo I , entonces geomtricamente S(P ; f ) se puede considerar como la suma de las reas de los rectngulos inscritos (i.e., por debajo) en la grfica de f , como lo muestra
la figura siguiente.
mk
x k1
xk
Suma inferior de Darboux
De la misma manera, si f es positiva, S(P ; f ) se puede interpretar como la suma de las reas de los
rectngulos circunscritos (i.e., por encima) a la grfica de f . Como se ve a continuacin.
G*ro
123
Mk
x k1
xk
Suma superior de Darboux
Claramente m k M k , para k = 1, 2, . . . , n, por tanto, para cualquier particin P de I , se tiene la desigualdad,
S(P ; f ) S(P ; f ).
(5.3)
Si usamos funciones positivas, la desiguladad anterior establece que la suma de las reas de los rectngulos inscritos no excede a la suma de las reas de los rectngulos circunscritos, lo que a simple vista es
obvio.
Si se agregan puntos a una particin P , para obtener una particin P 0 , entonces la suma inferior de la
nueva particin, en general, se incrementa y la suma superior disminuye. Esto es,
S(P ; f ) S(P 0 ; f ) y S(P 0 ; f ) S(P ; f ).
(5.4)
Una particin P 0 obtenida de otra particin P al agregar ms de un punto, se conoce como un refinamiento de P ; es decir, si P P 0 , entonces P 0 es un refinamiento de P .
124
Adems, si P 1 y P 2 son dos particiones cualesquiera de I , entonces
S(P 1 ; f ) S(P 2 ; f ).
(5.5)
En otras palabras, ninguna suma inferior exceda a una suma superior, an cuando las particiones sean
distintas. Esto es importante ya que nos interesa considerar el nfimo de todas las sumas superiores
posibles y el supremo de todas las sumas inferiores posibles. De hecho tenemos la siguiente definicin
en donde P es la familia de todas las particiones del intervalo.
Definicin 30 Definimos la integral superior de Darboux de f sobre el intervalo I como
b
a
o
n
f = nf S(P ; f ) | P P .
(5.6)
De manera similar la integral inferior de Darboux de f sobre I , se define como
n
o
f = sup S(P ; f ) | P P .
(5.7)
Debe observarse que como f es una funcin acotada siempre existen las integrales anteriores y, adems
(5.8)
Finalmente llegamos a la definicin que nos interesa.

Definicin 31 (Integral de Riemann) Se dice que una funcin f : I R es Riemann integrable en I si
f =
a
f
a
(5.9)
G*ro
125
En este caso el valor comn se denota con
f (x) d x
(5.10)
y se dice que es la integral de Riemann de f en I .

Se definen adems,
Z
b
f =
f =0
(5.11)
Como trabajaremos nicamente con integrales de Riemann, en lo sucesivo solo usaremos los trminos
integral e integrable, para referirnos a la integral de Riemann y a Riemann integrable.
El siguiente teorema es un criterio para establecer la existencia de la integral para una funcin acotada
definida sobre un intervalo compacto.
Teorema 37 (Criterio de integrabilidad de Riemann) Una funcin acotada f : I R es integrable en I

si y solo si, para todo > 0, existe una particin P () de I para la cual
0 S(P ; f ) S(P ; f ) <
(5.12)
Ejemplo 54 Una funcin constante definida en un intervalo compacto es Riemann integrable.
De hecho si f : [a, b] R est dada por f (x) = c, entonces para cualquier particin P de [a, b],
S(P ; f ) =
n
X
c(x k x k+1 )
k=0
n
X
= c
(x k x k+1 )
k=0
= c(b a)
126
y
S(P ; f ) =
n
X
c(x k x k+1 )
k=0
n
X
= c
(x k x k+1 )
k=0
= c(b a)
por lo tanto, al tomar tanto el nfimo de las sumas superiores como el supremo de las sumas inferiores,
se obtiene
Z b
Z b
f = c(b a) =
f.
a
De donde se sigue que

Z
b
a
f = c(b a).
Ejemplo 55 Si f : [0, 1] R est dada por f (x) = x, entonces f es integrable.
En este ejemplo usamos la frmula (que se prueba por induccin)

1+2+3++k =
k(k + 1)
2
Consideremos la particin
1 2 3
P n = 0, , , , . . . , 1 .
n n n
Como f es creciente, en cada subintervalo el valor mnimo de f se localiza en el extremo izquierdo y el

valor mximo en el extremo derecho, de modo que si I j = [x j 1 , x j ], entonces
mj =
j 1
n
Mj =
j
n
y como x j x j 1 = 1/n, para j {1, . . . , n},
n j 1 1
X
1
1 n(n 1) 1
1
S(P n ; f ) =
= 2 (1 + 2 + + n 1) = 2
=
1
n n
n
2
2
n
j =1 n
y
n j 1
X
1
1 n(n + 1)
S(P n ; f ) =
= 2 (1 + 2 + + n) = 2
n
n
2
j =1 n n
1
1
=
1+
.
2
n
G*ro
Entonces
127
1
sup S(P n ; f ) | n N =
2
n
o 1
nf S(P n ; f ) | n N =
2
y como
sup S(P n ; f ) | n N sup S(P ; f ) | P P
n
o
n
o
nf S(P n ; f ) | n N nf S(P ; f ) | P P ,
resulta
1
1
2
de esta manera,
1
1
f = .
2
0
f =
0
Por lo tanto, f es integrable en [0, 1] y,

1
Z
0
f =
1
x dx = .
2
Propiedades de la integral
Enseguida damos una lista de las propiedades de la integral de Riemann. La primera de ellas as la linealidad y se establece como un teorema. A menos que se diga lo contrario, continuamos asumiendo que I
es el intervalo compacto [a, b]
Teorema 38 (Linealidad de la integral) Si f y g son funciones integrables en I y si k R, entonces k f y

f + g son integrables en I y,
b
a
kf =k
(f + g) =
b
a
f+
(5.13)
La integrabilidad de la suma se puede extender a un nmero finito de funciones integrables; esto es,
Z
n
b X
a j =1
fj =
n Z
X
j =1 a
fj
128
Teorema 39 Si f es integrable en I y si f (x) 0 para todo x I , entonces

Z b
f 0
a
Este teorema tiene las siguientes dos consecuencias.

Corolario 6 Si f y g son funciones integrables en I y f (x) g (x), para x I , entonces
b
a
(5.14)
Corolario 7 Si f es integrable en I y m f M , entonces

b
m(b a)
f M (b a)
(5.15)
Teorema 40 Si f es integrable en I y si c I , entonces f es integrable tanto en [a, c] como en [c, b] y,

adems
f =
c
a
f+
(5.16)
De nuevo este resultado se puede extender a una divisin finita de subintervalos de I ; de hecho,
Z b
n Z xj
X
f =
f
a
j =1 x j 1
en donde a = x 0 < x 1 < < x n = b.
El teorema fundamental del clculo

Como hicimos previamente asumiremos que I = [a, b], a menos que se establezca de otro modo.
G*ro
129
Si f es integrable en I , entonces es integrable en cualquier subintervalo [a, x], en donde x I . Esto nos
permite definir una funcin
F a : [a, b] R
relacionada con f de la siguiente manera
x
F a (x) =
f,
x I.
Se dice entonces que F a es la integral indefinida de f en I .

Aun cuando una funcin integrable f no tiene que ser continua, la funcin relacionada F a siempre lo es.
De gran importancia es el siguiente.
Teorema 41 Si f es integrable en I y es continua en c I , entonces F a es diferenciable en c y su derivada

es, F a0 (c) = f (c).
Si f es continua por la derecha en a, entonces F a0 (a + ) = f (a) y si f es continua por la izquierda en b,
entonces F a0 (b ) = f (b).
Definicin 32 Se dice que una funcin F es una antiderivada o primitiva de otra funcin f en I si
F 0 (x) = f (x),
para todo x I .
Observacin. De acuerdo al teorema (41), si f es continua en I , entonces F a es diferenciable y de hecho,

F a0 (x) = f (x) para todo x I ; en otras palabras, F a es una antiderivada de f en I .
Estamos ya en posicin de mostrar uno de los resultados ms importantes del Clculo.
Teorema 42 (Teorema fundamental del clculo) Si f : I R es una funcin continua. Entonces una
funcin F : I R satisface
x
F (x) F (a) =
f
a
si y solo si F 0 (x) = f (x), para todo x I .

Demostracin. Si
F (x) F (a) =
f,
a
(5.17)
130
entonces F (x) F (a) = F a (x) para x I . Como f es continua, se sigue que F a es diferenciable y, as,
F 0 (x) = F a0 (x) = f (x), para x I .
Para probar el recproco, suponemos que F satisface F 0 (x) = f (x) en I . Entonces
F 0 (x) = F a0 (x), para x I
por tanto, existe una constante C tal que
F (x) = F a (x) +C para x I .
Ahora bien, como
F (a) =
f =0
se sigue que F (a) = F a (a) +C = C . Por lo tanto,

x
F (x) C = F (x) F (a) = F a (x) =
f.
Corolario 8 Si f es continua en I y F 0 (x) = f (x) en I , entonces
F (b) F (a) =
f.
Demostracin. Es suficiente tomar x = b en el teorema anterior.
Evaluacin de una integral

Si f es una funcin continua, la evaluacin de la integral
Z
f
a
se puede dividir en dos pasos:
1. encontrar una antiderivada F para f ,
(5.18)
G*ro
131
2. calcular F (b) F (a).

Para facilitar la evaluacin de una integral es ms conveniente utilizar la notacin
Z b
f (x)d x;
a
el smbolo d x se usa para especificar cul es la variable independiente, entre las letras involucradas en
una expresin de una funcin. Por ejemplo, si f (x) = (x t )2 y escribimos
Z 1
(x t )2 d x
0
el smbolo d x nos indica que x es un valor (variable) en el intervalo [0, 1], mientras que t es fijo. Por otro
lado, si escribimos
Z
1
(x t )2 d t
entonces la variable independiente ahora es t y x es un valor fijo. En la evaluacin de integrales es comn

utilizar la siguiente
Notacin.
F (b) F (a) = F (x) ,

a
o bien,
x=b
F (b) F (a) = F (x)

.
x=a
Por tanto, podemos resumir los pasos de la evaluacin de una integral con la frmula,
Z b
b
f (x)d x = F (x) = F (b) F (a).

a
Cuando f aparece en la integral

Z
f
a
se le conoce como el integrando.

Ejemplo 56 Si 0 < a < b y n 6= 1, calcular
Z
xn d x
Solucin. Es claro que la funcin

x n+1
n +1
es una antiderivada de f (x) = x n . Por lo tanto, de acuerdo a lo expuesto anteriormente,
F (x) =
b
a
b x n+1 b b n+1 a n+1
=
x = F (x) =
.
a
n + 1 a n + 1 n + 1
n
132
En particular, si a = 1, b = 2 y n = 3, tenemos
2
Z
1
2
x 4
24 14
x =
= 4.
=
4 1 4
4
3
Ejemplo 57 Calcular las integrales

2
Z
0
(3t 2 + 3x 2 )d x
e
0
(3t 2 + 3x 2 )d t .
Ntemos que para la primera integral la variable independiente es x. Una antiderivada para f (x) = 3t 2 +
3x 2 es la funcin F (x) = 3t 2 x + x 3 , de modo que
2
Z
0
x=2
(3t 2 + 3x 2 )d x = 3t 2 x + x 3
= 3t 2 2 + 23 (3t 2 0 + 0) = 6t 2 + 8.
x=0
Mientras que para la segunda integral la variable independiente es t y una antiderivada de f (t ) = 3t 2 +

3x 2 es la funcin G(t ) = t 3 + 3x 2 t . Por lo tanto,
2
Z
0
t =2
(3t 2 + 3x 2 )d t = t 3 + 3x 2 t
= 23 + 3x 2 2 (03 + 3x 2 0) = 8 + 6x 2 .
t =0
Debemos observar que si C es cualquier nmero real, entonces F (x) +C = 3t 2 x + x 3 +C , tambin es una
antiderivada de f (x); como lo es G(t ) +C para la funcin f (t ).
Hemos visto en el teorema (41) que si f es una funcin integrable y continua, entonces existe F 0 y, adems, F 0 (x) = f (x). Por lo tanto, si a manera de ejemplo, consideramos la funcin
xp
F (x) =
entonces observamos que f (x) =
su su derivada en x > 1 es
1 + t 2d t
p
1 + x 2 , donde x > 1, es continua; por lo tanto F (x) es diferenciable y
F 0 (x) = f (x) =
1 + x2
y su valor en un punto particular x 0 es F 0 (x 0 ) = f (x 0 ). As, si x 0 = 2, entonces F 0 (2) =
p
5.
Ejercicio 21 Calcula cada una de las integrales siguientes, determinando una antiderivada por inspeccin.
G*ro
133
a)
b)
2
(3x 1)d x
Z
4
c)
x 2 4x d x
d)
Z 3
1
Z 3
1
3
4x + 2 d x
x
3
4
+
dx
x2 x3
e)
f)
2
2x
3/2
+x
1/2
dx
2t 3 + at d t
h)
g)
Z
1
1
(x t )2 d x
Ejercicio 22 Calcule las derivadas que se piden a continuacin.
1. F 0 (x) y F 0 (2), si
xp
F (x) =
1 + t 2d t
2.
d
dx
xp
Z
1
1+ t3
3. F 0 (1), si
xp
F (x) =
4 t 2d t
Ejercicio 23 Encuentre un valor de x para el cual F 00 (x) = 2, si

x
F (x) =
1
d t , x > 0.
t
(x t )2 d t
134
rea de una regin entre grficas

Queremos determinar el rea A de una regin entre las grficas de dos funciones integrables f y g en I .
Si f g , podramos definir
Z b
A=
f (x) g (x) d x
a
Sin embargo, las grficas se pueden cruzar, como se muestra en la siguiente figura.
si c es el punto en donde se cruzan las grficas podramos definir

Z c
Z b
A=
f g +
gf;
a
sin embargo, es ms conveniente, definir el rea de la regin entre las grficas de f y g que se encuentra
entre x = a y x = b; como
A=
b
a
| f g |,
(5.19)
teniendo en cuenta que para determinar efectivamente esta rea, debemos localizar los puntos en donde la funcin f g cambia de signo.
G*ro
135
Ejemplo 58 Encontrar el rea A de la regin acotada por la grfica de la funcin f (x) = x(x 1)(x 2), el
eje x y las rectas x = 0 y x = 2.
Solucin. De acuerdo con la frmula (5.19), el rea de dicha regin es
Z 2
|x(x 1)(x 2)| d x.
A=
0
Ahora bien, si 0 x 1 tenemos que x(x 1)(x 2) 0, de modo que

|x(x 1)(x 2)| = x(x 1)(x 2) = x(x 2 3x + 2) = x 3 3x 2 + 2x
y para 1 x 2, se tiene x(x 1)(x 2) 0 y, en consecuencia,
|x(x 1)(x 2)| = x(x 1)(x 2) = x(x 2 3x + 2) = (x 3 3x 2 + 2x).
Por tanto,
1
x 3x + 2x d x
x 3 3x 2 + 2x d x
1 4
2
x4
x
x 3 + x 2
x 3 + x 2
4
4
0
1

1
1

4
4
=
=
1

2
La regin en cosideracin se puede visualizar en la siguiente figura.
=
0.8
R
-1
-0.8
-1.6
136
Ejercicio 24 Plantear las integrales que calculan el rea de las regiones y calcularlas. Graficar tales regiones.
1. La regin entre y = 3x 2, el eje x y las rectas x = 1 y x = 4.

2. La regin entre y = 2x 2, la parbola y = 2x 2 x y las rectas x = 1 y x = 2.
3. La regin arriba de la parbola y = 2x 2 + 1 y debajo de la parbola y = x 2 + 5
4. La regin entre la curva y = x 3 y la recta y = 4x
Funciones montonas (potencias racionales)

Se puede probar que las funciones montonas acotadas son integrables, aunque no lo haremos aqu. Sin
embargo, esto nos permite considerar las potencias racionales de x, para x > 0. Esto es, si x > 0 y r Q,
entonces
f (x) = x r
es una funcin montona. De hecho,
si r > 0, f es creciente,
si r = 0, f es constante y,
Si r < 0, f es decreciente.
As, si 0 < a < b, f es integrable en I = [a, b] y si r 6= 1, entonces
F (x) =
x n+1
n +1
(5.20)
es una antiderivada de f y, en consecuencia
b
a
x n+1
1 n+1
x =
=
b
a n+1
n +1 a r +1
r
(5.21)
G*ro
137
Observacin importante. Si r = 1, la frmula (5.21) no permite determinar una antiderivada, para

f (x) = 1/x; pero si 0 < a < b, f es creciente en I = [a, b] y por el teorema fundamental
x
1
dt
t
existe y
x
F (x) =
1
dt
t
es una antiderivada de f (x) = 1/x. Volveremos a esta integral ms adelante.
Teorema del valor medio para integrales

Teorema 43 Si f es una funcin continua en I = [a, b], entonces existe un punto x I para el cual
b
a
f (x)d x = f (x )(b a).
(5.22)
Demostracin. Sabemos que como f es continua en el intervalo compacto I , existen m y M R tales

que m f (x) M , para todo x I , en consecuencia
Z
b
a
m dx
f (x) d x
M dx
a
es decir,
b
m(b a)
f (x) d x M (b a)
de donde se obtiene que

m
1
ba
f (x) d x M .
Como f toma todos sus valores entre m y M , debe haber al menos un x I que sea igual al valor
1
ba
f (x) d x
a
i.e.,
1
f (x ) =
ba
f (x) d x.
a
138
De esta manera,
b
f (x) d x = f (x )(b a).
Por ejemplo, Si f (x) = x 2 , para x [0, 2], entonces

2
Z
0
por otro lado
x2 d x =
1 3 2 8
x = ,
3
3
0
2
2
f (x )(b a) = x (2 0) = 2 x .
Igualando los resultados,

2 8
2 x =
3
de donde
4
3
2
o, x = p .
3
Captulo 6
Funciones logartmicas y exponenciales
Funciones logartmicas
Estudiaremos ahora las funciones logartmicas, en particular la funcin logaritmo a veces conocida como logaritmo natural. En cursos elementales aprendimos que si x es un nmero positivo, el logaritmo
decimal o logaritmo de base 10 de x, es un nmero y para el cual 10 y = x. De esta manera, tenemos que
el logaritmo en base 10, de 100 es 2, dado que 102 = 100; tambin, el logaritmo decimal de 1000 es 3, ya
que 103 = 1000. Para indicar el logaritmo decimal de un nmero positivo x, usamos la notacin log10 x.
Por lo tanto,
2 = log10 100 y 3 = log10 1000.
De esta manera, la expresin y = log10 x significa que 10 y = x. Sin embargo, debemos observar
que surp
gen algunas dificultades, como por ejemplo, responder las preguntas qu significa x = 10 2 ? o cmo
saber si existe un y que satisfaga la ecuacin x = 10 y . Podemos recurrir a la propiedad de completez de
R para dar una respuesta, pero en nuestro caso recurrimos a una propiedad fundamental de los logaritmos, para definir una funcin f (x) = log10 x que allane estas dificultades. Esta propiedad, que tambin
aprendimos en la escuela elemental, hace que los logaritmos decimales constituyen una herramienta
computacional muy poderosa; y es el hecho que: el logaritmo de un producto es la suma de los logaritmos:
log10 x y = log10 x + log10 y.
En otras palabras, si x > 0 y, asumimos que hay una funcin f (x) = log10 (x), entonces tal funcin debe
139
140
satisfacer la identidad logartmica,
f (x y) = f (x) + f (y),
para todos x, y > 0.
(6.1)
Nuestro propsito ahora es definir la funcin logaritmo o logaritmo natural, su base es un nmero real
e llamado nmero de Euler, de la cual se puede determinar en particular la funcin logaritmo decimal o
de base 10.
Observacin 4 Para cualquier base (positiva), el logaritmo de un producto producto es igual a la suma
de los logaritmos.
Para definir la funcin logaritmo, empezaremos con la identidad logartmica anterior y buscaremos determinar una funcin diferenciable que satisfaga dicha identidad.
Si hay una funcin diferenciable f que satisfaga (6.1), entonces, derivando con respecto a x,
f 0 (x y) y = f 0 (x).
(6.2)
Si x = 1, entonces obtenemos
f 0 (y) y = f 0 (1), en donde y > 0.
Si f 0 (1) = c, para cierta constante c, entonces para todo y > 0,
f 0 (y) =
c
.
y
(6.3)
Notemos que si c = 0, entonces f = 0; es decir, f (x) = 0, para todo x.

Usaremos ahora el teorema fundamental del clculo para determinar una funcin f que satisfaga (6.3).
De hecho, primero definimos la siguiente funcin. Para x > 0, por el teorema fundamental del clculo
definimos la funcin,
x
L(x) =
dt
,
t
de manera que su derivada es L 0 (x) = 1/x. Si ahora hacemos

Z x
dt
f (x) = cL(x) = c
,
1 t
(6.4)
G*ro
141
entonces
c
.
x
Como dos funciones con la misma derivada difieren por una constante, entonces si f satisface (6.1) y es
diferenciable, existe una constante k tal que
f 0 (x) = cL 0 (x) =
f (x) = cL(x) + k
De hecho, la constante k es igual a 0; porque como f satisface la identidad logartmica (6.1) entonces
f (1) = f (1 1) = f (1) + f (1) = 2 f (1)
y, en consecuencia, f (1) = 0. Por lo tanto,
0 = f (1) = cL(1) + k = k;
i.e., k = 0 y, as,
f (x) = cL(x).
A continuacin probaremos que L(x) satisface la identidad logartmica. Fijando y, hacemos
Z x
Z xy
dt
dt
G(x) = L(x y) L(x) =

t
1 t
1
Derivando G con respecto a x y usando la regla de la cadena,
G 0 (x) = L 0 (x y) t L 0 (x)
=
1
1
y
xy
x
= 0.
As G(x) = constante. Pero G(1) = L(y) L(1) = L(y), de modo que para todo x > 0, G(x) = G(1) = L(y);
esto es,
L(x y) L(x) = L(y)
y se tiene que L satisface (6.1); es decir,
L(x y) = L(x) + L(y).
Toda la discusin previa prueba el siguiente.
Teorema 44 Una funcin diferenciable f satisface
f (x y) = f (x) + f (y)
para todos los x, y > 0, si y solo si
f (x) = c
para alguna constante c.
dt
,
t
142
La grfica de L(x)
Escribiremos la funcin L(x) como log(x), o sin el parntesis como log x; de esta manera,
x
log x =
dt
t
(6.5)
y la llamaremos funcin logaritmo; tambin se le conoce como logaritmo natural y, en este caso, se
denota como ln(x).
La funcin log x tiene las siguientes propiedades.
1. Si f (x) = x1 , x > 0, entonces, para x > 1, log x representa el rea bajo la grfica de f entre 1 y x. Como
se muestra en la siguiente figura
f (x)= x1
El rea de la regin es
Rx
log(x)= 1 f (t )d t
Para 0 < x < 1, entonces log x representa menos el rea de la regin bajo de la grfica de f entre x y 1.
2. Ntese que log 1 = 0; ya que
log 1 =
dt
= 0.
t
3. log x es creciente; esto es, si x < y, entonces log x < log y:

y
log y log x =
dt
Z
1
dt
=
t
Z
1
dt
+
y
Z
x
dt
=
t
Z
x
dt
> 0.
t
En otras palabras, si x < y, el rea desde 1 hasta x es menor que el rea desde 1 hasta y.
G*ro
143
4. log x es continua: como f es continua, entonces log x es diferenciable y, por tanto, continua. Por lo
tanto, si x > 0, entonces
lm log(x + h) = log(x).
h0
5. Comportamiento cuando x 0+ y cuando x +. Usaremos aqu las propiedades de los logaritmos,

que se mencionan ms adelante.
Por el teorema del valor medio para integrales, se tiene que
Z 2
dt
1
log(2) =
= (2 1)
t
1 t
para cierto 1 t 2. Entonces
1
es decir,
1
1
;
t
2
1
log(2) 1.
2
Ahora bien, si x > 22n , entonces (dado que log(x) es creciente)

log(x) > log(22n ) = 2n log(2) 2n
1
=n
2
por tanto,
lm log(x) = +
(6.6)
Si, ahora, se hace u = x1 , entonces u +, cuando x 0+ , como

1
log(x) = log
x
entonces
1
= lm log(u) = lm log(u) =
lm+ log(x) = lm+ log
u+
u+
x0
x0
x
6. log x es cncava hacia abajo, ya que la segunda derivada es negativa para todo x > 0:
log00 (x) =
1
< 0.
x2
7. Nmero de Euler e. El nmero x para el cual log(x) = 1, se denota con la letra e; esto es, log(e) = 1 y
e 2.71828 . . .
144
8. Las spropiedades 1 y 5, nos permiten establecer el dominio y la imagen de la funcin log x; a saber,
Dom(log x) = R+ = (0, +),
e Im(log x) = R = (, +).
(6.7)
Obviament, podemos escribir la imagen o rango como

log R+ = R.
Con las propiedades anteriores podemos obtener la grfica de log(x). La grfica se muestra acontinuacin.
La grfica de la funcin
Rx
log(x)= 1 f (t )d t
Propiedades de los logaritmos naturales
Podemos obtener ahora las conocidas propiedades de los logaritmos (naturales) como sigue.
Si a, b R+ y r Q, entonces
1. log ab = log a + log b

2. log 1/b = log b
3. log a/b = log a log b
G*ro
145
r
4. log a = r log a
Para comprobar estas propiedades, consideramos la funcin

f (x) = log ax
en donde a es constante. Ahora bien, como
f 0 (x) =
1
1
a =
ax
x
resulta que f (x) y log x tienen la misma derivada, para x > 0. Por tanto,
log ax = log x + K
para cierta constante K . Tomando x = 1, obtenemos
log a = log 1 + K = 0 + K
As,
log ax = log x + log a
Tomando ahora x = b,
log ab = log a + log b.
Ahora bien, como 0 = log 1,
1
1
= log b + log
0 = log 1 = log b
b
b
de donde se obtiene que

log
1
= log b.
b
Tambin tenemos que

log
a
1
1
= log a = log a + log = log a log b.
b
b
b
Finalmente, tenemos que
0
1
r
log x r = r x r 1 =
x
x
0 r
r log x =
x
r
es decir, las dos funciones log x y r log x son antiderivadas de la funcin x/r , por tanto difieren por una
constante, as
log x r r log x = K
146
y si tomamos x = 1, encontramos que log 1 r log 1 = K , en consecuencia K = 0. Por tanto,

log x r = r log x
ahora tomamos x = a, para obtener el resultado:
log a r = r log a.
Ejercicio 25 Encuentra un valor aproximado, digamos hasta cuatro cifras decimales, para log 2 usando
polinomios da Taylor. Ten cuidado al elegir el punto en el cual se expande el polinomio de Taylor. Una vez
obtenido tal valor, encuentra las aproximaciones para log 4, log 8, log 1/2 y log 1/4.
Derivadas e integrales
Tenemos ya la primera frmula para derivadas; a saber, si x > 0,
log0 (x) =
1
x
(6.8)
Si tenemos una funcin positiva y diferenciable f , entonces podemos formar la composicin h(x) =
log f (x) y usar la regla de la cadena para encontrar
0
h 0 (x) = log f (x) =
1
f 0 (x)
f 0 (x) =
f (x)
f (x)
As, nuestra segunda frmula es
0 f 0 (x)
log f (x) =
f (x)
(6.9)
Esta frmula establece entonces que, log f (x) es una antiderivada del cociente f 0 / f . Ahora bien, si f < 0,
entonces
f 0 (x)
1
log( f (x)) =
f 0 (x) =
f (x)
f (x)
Combinando estos resultados, si f 6= 0 en un intervalo I , entonces log | f | es una antiderivada del cociente
f 0 / f ; de esta manera,
log0 | f (x)| =
f0
, si f 6= 0
f
(6.10)
G*ro
147
En particular, si x 6= 0
log0 |x| =
1
x
(6.11)
Las frmulas anteriores de derivadas traducidas en frmulas para integrales indefinidas son
dx
= log |x| +C
x
(6.12)
f 0 (x)
d x = log f (x) +C
f (x)
(6.13)
Ejemplo 59 Si f (x) = log(x 2 + log x), encontrar f 0 (x)
Solucin. Usamos la regla de la cadena o la frmula (6.13), para encontrar

f 0 (x) =
2
0
1
1
1
1
2x + 1
=
x
+
log
x
2x
+
=
x 2 + log x
x 2 + log x
x
x 2 + log x
x
o bien,
f 0 (x) =
2x 2 + 1
.
x 3 + x log x
Ejemplo 60 Calcular
Z
2x
dx
x2 + 1
Si tomamos f (x) = x 2 + 1, entonces f 0 (x) = 2x y, de esta manera,

Z
2x
dx =
x2 + 1
f 0 (x)
d x = log f (x) +C = log(x 2 + 1) +C
f (x)
148
Se omite el valor absoluto ya que f es una funcin positiva.

Observacin. Normalmente en la literatura del Clculo, se usa una sustitucin u para determinar integrales indefinidas, entonces se escribe u = f (x) y, en este caso se usa d u = f 0 (x)d x, para completar
el juego de la composicin. En el ejemplo anterior, simplemente u = x 2 + 1 y d u = 2xd x. Entonces la
integral original se convierte en la integral
Z
du
= log |u| +C
u
y finalmente se regresa a la variable original, x en este ejemplo.

En ocasiones se requiere usar la propiedad
Z
Z
c f (x) d x = c f (x) d x
para ajustar las integrales mediante una constante.
Ejemplo 61 Calcular
Z
x
dx
4 x2
Solucin. Si f (x) = 4 x 2 (o u = 4 x 2 ), entonces f 0 (x) = 2x (d u = 2xd x). Por tanto,

Z
2x
dx =
4 x2
f 0 (x)
d x = log f (x) +C = log 4 x 2 +C
f (x)
as, para la integral original tenemos

Z
2x
1
x
dx =
d x = log 4 x 2 +C .
2
2
4x
4x
2
Ejercicio 26 Calcule las derivadas de
a) f (x) = x log x
p
c) f (x) = log 1 + x 2
e) f (x) = log log x
2
b) f (x) = (x + 1) log x
4
d) f (x) = log(x 2 + 4)
G*ro
149
b)
a)
xp
f (x) = log
f (x) = x log x 2 log x
1+ t2 dt
c)
d)
f (x) = log
Z 2p
x
x2 1
f (x) = log 2
x +1
1+ t3 dt
Ejercicio 28 Calcule las siguientes integrales
a)
b)
Z
dx
x +4
2xd x
x2 4
dx
x log x
dx
2x + 4
d)
c)
Z
x
x2 + 1
dx
Ejercicio 29 Calcule las integrales
b)
a)
Z
dx
p
1 x2
c)
d)
Z
dx
p
4x 2 + 1
e)
x3
dx
x4 + 1
f)
Z
dx
(2x + 1) log(2x + 1)
x
(x 2 + 1) log(x 2 + 1)
g)
x 1
x +1
150
Derivacin logartmica
Si una funcin f tiene un varios factores, se puede usar el logaritmo para la evaluacin de f 0 , esto se
conoce como derivacin logartmica.
Ejemplo 62 Si
p
(x 1)2 2x + 3
f (x) =
(x + 4)3 (2x 1)4
encontrar f 0 (x).
Solucin. Primero podemos usar las propiedades de logaritmos, para calcular log | f |, como sigue.
h
i
p
log f (x) = log (x 1)2 2x + 3 log (x + 4)3 (2x 1)4

p
= log(x 1)2 + log 2x + 3 log(x + 4)3 log(2x 1)4
1
= 2 log |x 1| + log |2x + 3| 3 log |x + 4| 4 log |2x + 1|
2
derivando tenemos,
f 0 (x)
2
1
3
8
=
+
f (x) x 1 2x + 3 x + 4 2x + 1
por tanto
1
3
8
2
+
f (x) =
x 1 2x + 3 x + 4 2x + 1
0
!
p
(x 1)2 2x + 3
(x + 4)3 (2x 1)4
Ejercicio 30 Calcule f 0 mediante la derivacin logartmica.
1.
f (x) =
2.
3.
(x 1)2 (2x + 3)3

x 4
p
2x 3
f (x) =
(x + 4)3
2
(2x 1)3
f (x) = p
(7x + 3)2 (x 1) 3
4x 3
4.
f (x) =
p
(x a 1 )(x a 2 ) (x a n )
G*ro
151
La funcin exponencial e
Al estudiar la funcin logaritmo, L(x) o log x,

log x : R+ R
hemos visto (recordemos que log x es inyectiva) que a cada y R corresponde un nico x R+ tal que
y = log x. Esto define una funcin funcin inversa,
E = L 1 : R R+ ;
en donde, obviamente x = E (y) si y solo si y = L(x), de modo que
E (L(x)) = x, para todo x Rx
y L(E (y)) = y, para todo y R.
Como L es una funcin creciente, continua y diferenciable, entonces E tambin es creciente, continua y
diferenciable.
Adems, como L(1) = 0, entonces E (0) = 1; dado que E (0) = E (L(1)) = 1.
Ntese que si x = E (a), para a R, entonces L(x) = L(E (a)) = a; en otras palabras, x es el nmero real
para el cual log x = a. Por ejemplo, si x = E (1), entonces E (1) es el nmero real para el cual log x = 1; i.e.,
log E (1) = 1 y, como ya sabemos, entonces E (1) = e (el nmero de Euler). En resumen:
si x = E (y), entonces E (y) es el nmero x tal que log x = y.
Proposicin 18 La funcin E satisface la ley de los exponentes,

E (x + y) = E (x) E (y).
Bast verificar que E (x + y) y E (x)E (y) tienen el mismo logaritmo; esto es, satisfacen
log E (x + y) = log E (x)E (y).
As, por definicin,
L(E (x + y)) = x + y
y por la identidad logartmica
L(E (x)E (y)) = L(E (x)) + L(E (y)) = x + y.
Por lo tanto,
E (x + y) = E (x)E (y).
152
La derivada de E
Usamos el teorema de la funcin inversa para establecer que E = l 1 es una funcin diferenciable (y
creciente), porque la funcin L lo es; el mismo teorema nos permite encontrar la derivada de E . De
hecho, como L 0 (x) = x1 6= 0, entonces, de acuerdo al teorema de la funcin inversa, con f (x) = L(x) y
g (y) = E (y), tenemos que
E 0 (y) =
1
L 0 E (y)
1
1
E (y)
= E (y), para todo y R;
i.e.,
E 0 (y) = E (y), y R.
Nota. Si escribimos en la forma usual, x para la variable independiente, entonces la frmula de la derivada es
E 0 (x) = E (x), x R
(6.14)
Forma clsica de determinar la derivada de E (x)
La manera usual de probar que E es una funcin diferenciable, es mostrando que existe el lmite,
lm
h0
E (x + h) E (x)
.
h
En este caso, estamos usando x como el nombre de la variable independiente. Para probar la existencia
de este lmite, fijamos x y hacemos y = E (x) y y + k = E (x + h), entonces
x = L(y) y x + h = L(y + k).
Por lo tanto, el cociente diferencial (cociente de Newton) es
E (x + h) E (x) y + k y k
k
k
=
= =
=
h
h
h x + h x L(y + k) L(y)
lo que escribimos como
E (x + h) E (x)
=
h
1
L(y+k)L(y)
k
Ahora bien, como E es una funcin continua, si h 0, entonces k 0 (i.e., lmh0 E (x + h) = E (x)) y
lm
h0
E (x + h) E (x)
= lm
k0
h
1
L(y+k)L(y)
k
1
1
y
= y = E (x).
G*ro
153
0
Esto muestra que E es diferenciable y E (x) = E (x) como era de esperarse.

Notacin. Es comn escribir e x en lugar de E (x). En otras ocasiones, por cuestiones tipogrficas se usa
exp(x).
Usando esta notacin escribimos la frmula para la derivada de la funcin exponencial como
x 0
e = ex
d x
e = e x , x R.
dx
o bien,
(6.15)
La frmula correspondiente para la composicin; esto es, la regla de la cadena, es como sigue.
Si h(x) = e f (x) , entonces h 0 (x) = e f (x) f 0 (x)
(6.16)
Nota. Normalmente en la literatura de Clculo, se utiliza u = f (x) y su derivada d u/d x = f 0 (x).

Escribiendo log x y e y , en lugar de L(x) y E (y), la relacin de inversin
x = ey
si y solo si
log x = y
significa
1. Para todo y R,
y = log e y .
2. Para todo x R+ ,
x = e log x .
Daremos algunos ejemplos de cmo encontrar la derivada de una composicin. Recordemos que la frmula es
h
i0
d f (x)
d
e f (x) = e f (x) f 0 (x) o bien,
e
= e f (x)
f (x).
dx
dx
p
1. Si h(x) = exp( x 2 + 1) entonces
0
h (x) = e
x 2 +1
x2 + 1
=e
x 2 +1
2
0
1
1
x +1
p
2 2 x2 + 1
154
la derivada del ltimo factor es 2x, as obtenemos

p
x
2
e x +1 .
h 0 (x) = p
2
2 x +1
Ejemplo 63 Usar la frmula anterior para encontrar la derivada de f (x) = e 6x .
Soluicn. En este ejemplo, tomamos f (x) = 6x, as f 0 (x) = 6. Por la frmula anterior,
d 6x
d
e = e 6x
(6x) = e 6x 6 = 6e 6x .
dx
dx
Ejercicio 31 Encuentre las derivadas de las funciones h(x) = e 1/x y h(x) = e 4x .
En ocasiones tenemos funciones que involucran exponenciales pero no composiciones, en esta caso
requerimos de las reglas de derivacin normales.
Ejemplo 64 Encontremos la derivada de

f (x) =
e x e x
.
e x + e x
Solucin. En este caso tenemos un cociente con exponenciales, de manera que usamos la regla para
derivar cocientes. Tenemos entonces que
f 0 (x) =
=
=
1
(e x + e x )2
1
(e x
+ e x )2
(e e x )0 (e x + e x ) (e x e x )(e x + e x )0
x
(e + e x )(e x + e x ) (e x e x )(e x e x )
4
(e x
+ e x )2
Ejercicio 32 Derive la funcin f (x) = x 3 e x .
G*ro
155
Integrales
La frmula (6.15) muestra que e x es una antiderivada de s misma; entonces, por el teorema fundamental
b
ex d x = ex = eb ea.
a
La frmula para la integral indefinida es
e x d x = e x +C
(6.17)
e f (x) f 0 (x) d x = e f (x) +C
(6.18)
De la frmula (6.16), tenemos
Ejemplo 65 Evaluar la integral indefinida

Z
e 5x d x.
Solucin. Si hacemos (la sustitucin) f (x) = 5x, entonces f 0 (x) = 5 y, por la frmula (6.18) tenemos,
Z
Z
Z
1
1
1
1
5x
5x
e dx =
5e d x =
e f (x) f 0 (x)d x = e f (x) +C = e 5x +C .
5
5
5
5

Z
xe x d x.
Solucin. Si hacemos f (x) = x 2 , entonces f 0 (x) = 2x y, por la frmula (6.18) tenemos,

Z
Z
Z
2
2
1
1 2
1
xe x d x =
2x e x d x =
e f (x) f 0 (x) d x = e x +C .
2
2
2
156

Z
e 2x
p
1 + e 2x d x.
Solucin. En este caso tomamos f (x) = 1 + e 2x , de modo que f 0 (x) = 2e 2x y

Z
Z
Z
Z
p
p
1
1
1
1
1
2x
2x
2x
2x 2
2x
2x
e
1+e dx =
2e
1+e dx =
2e 1 + e
dx =
f (x) 2 f 0 (x) d x;
2
2
2
evidentemente, en este caso, no podemos usar la frmula (6.18) sino la frmula para potencias racionales, de manera que
1
2
f (x)
1
2
3
q
3
1 f (x) 2
1
f (x) d x =
+C
=
1 + e 2x +C .
3
2
3
2
0
Ejemplo 68 Evaluemos la integral indefinida

Z
e x d x.
Solucin. Nota: e x = e1x . Claramente, f (x) = x y f 0 (x) = 1. Por la frmula anterior

Z
Z
Z
e x d x = e x (1)d x = e f (x) f 0 (x) d x = e f (x) +C = e x +C .
Si se usa la escritura (con diferenciales) u en lugar de f y d u/d x en lugar de f 0 (x), entonces tenemos que
u = x y dd ux = 1, entonces
Z
Z
du
x
d x.
e d x = eu
dx
Normalmente se acostumbra escribir
du
dx
dx
simplemente como d u, de modo que para pode escribir la integral en trminos de la variable u, debemos
tener que d u = d x; por tanto,
Z
Z
Z
e x d x = e x (d x) = e u d u = e u +C = e x +C .
normalmente slo
e x
p .
x
G*ro
157
p
1
2
1 21
2x
1
p
Solucin. Tomamos f (x) = x = x , entonces f (x) =

= 2 x . Como el 2 del denominador de f 0 (x)
no aparece en la expresin de la integral, podemos agregarlo, sacando un 2 de la integral; esto es
p
e x
p =2
x
e x
p .
2 x
Ahora podemos ver que

p
e x
p =2
2 x
e f (x) f 0 (x) d x
y podemos utilizar la frmula anterior para encontras que

p
p
e x
p = 2e f (x) +C = 2e x +C .
2 x
Ejercicio 33 Evaluar las integrales siguientes.
1.
Z
x 3e x d x
2.
Z
ex
d x.
1 + ex
3.
Z p
e x d x.
Propiedades de e x
Sabemos que para obtener la grfica de la inversa de una funcin f , si en ambas se usa x como la variable
independiente, solamente tenemos que reflejarla sobre la recta diagonal y = x. De esta manera la grfica
de e x es como sigue.
158

ex
log x
La funcin exponencial e x tiene las siguientes propiedades (vea la grfica anterior).
1. e x+y = e x e y .
2. e x > 0, para todo x R. De esto se sigue que Dom(e x ) = R = (, +).
3. El rango de la exponencial son todos los nmeros reales positivos; esto es, Im(e x ) = R+ = (0, +).
De hecho,
lm e x = +
x+
lm e x = 0.
4. e x es una funcin creciente, continua y diferenciable; de hecho tiene derivadas de todos los rdenes; es decir, e x C .
5. La grfica es , ya que (e x )00 = e x > 0.
Exponencial e x y logaritmo log x

Revisaremos algunos aspectos computacionales, como la simplificacin de expresiones, utilizando las
propiedades de los logaritmos y exponenciales. Para estos aspectos computacionales, hacemos uso de
lo siguiente
G*ro
159
x
Como f (x) = log x y g (x) = e son funciones inversas, la exponencial anula al logaritmo y viceversa; esto es,
log e x = x y e log x = x.
log 1 = 0 y e 0 = 1.
e x+y = e x e y .
Las propiedades de los logaritmos.
Ejemplo 70 Simplificar la expresin e log x .
Solucin. Como el logaritmo anula el efecto de la exponencial,

2
e log x = x 2 ,
adems, como log x est definida solamente para valores positivos de x; coloquialmente podemos decir
que
log (expresin en x)
tiene sentido o que est bien definida si, expresin en x > 0. De esta menera, como x 2 =
6 0, si x 6= 0, la
expresin la expresin log x 2 est bien definida y la simplificacin vale para todo x 6= 0.
Ejemplo 71 Simplificar la expresin log
1
ex
Solucin. Como 1/e x = e x , entonces
log
1
= log e x = x,
ex
y la simplificacin es vlida para todo x R, dado que la exponencial admite tanto valores positivos
como valores negativos en su argumento. Adems.
e cualquier expresin en x > 0;
por lo tanto, est bien definida uuna expresin de la forma
log e cualquier expresin en x .
Ejercicio 34 Simplifique la expresin dada y establezca los valores de x para los que es vlida dicha simplificacin.
160
a) e

log x
d) log e (x
b) log e
p
3
x)
x 2
c) log (xe x ).
e) e xlog x .
Ejemplo 72 Resolver la ecuacin e x + e x = 2.
Solucin. En este caso, como la exponencial es una funcin diferenciable, podemos derivar en ambos
lados para obtener, la ecuacin e x e x = 0, de esta manera, resolvemos el sistema de dos ecuaciones
e x + e x
e x e x
= 2
= 0
simplemente, sumando ambas ecuaciones, para obtener

2e x = 2 o bien, e x = 1
de donde, se sigue que x = 0.
Ejercicio 35 Resuelva las ecuaciones
log x 2 = 5
log(log x) = 0.
Como un ejemplo final, probaremos que una funcin f que es una antiderivada de s misma, es un
mltiplo real de la exponencial;
Proposicin 19 Si f 0 (x) = f (x), entonces
f (x) = ce x .
Demostracin. Consideramos la funcin

g (x) = e x f (x).
Entonces, como f 0 (x) = f (x), tenemos que
g 0 (x) = e x f (x) + e x f 0 (x) = e x f (x) + e x f (x) = 0,
por tanto, g es una funcin constante; digamos, g (x) = c. En consecuencia,

e x f (x) = c
y as,
f (x) = ce x .
G*ro
161
Las funciones loga x y a
Nos interesa estudiar las funciones logartmicas de base a > 0 (y a 6= 1), loga x. Como motivacin recordemos un poco de los logaritmos decimales o logaritmos de base 10, que se han enseado en la escuela
elemental. Se dice que si x > 0, el logaritmo decimal de x es el nmero y R para el cual
10 y = x.
De acuerdo con esta definicin aritmtica, tenemos, por ejemplo, que como
100
= 1,
0 es el logaritmo decimal de 1
10
= 10,
10
= 100,
10
= 1000,
..
.
101
= .1,
10
= .01,
10
= .001,
..
.
1 es el logaritmo decimal de .1
Si escribimos y = log10 x para indicar que y R es el logaritmo decimal de x R+ , entonces de la lista

anterior, vemos por ejemplo que,
0 = log10 1
1 = log10 10
2 = log10 100
3 = log10 100
y
1 = log10 (.1)
2 = log10 (.01)
3 = log10 (.001)
162
Debemos notar que, por ejemplo,

log10 1 + log10 10 = 0 + 1 = 1 = log10 10 [ 10 = 1 10 ],
log10 10 + log10 (.1) = 1 + (1) = 0 = log10 1 [ 1 = 10 .1 ],
log10 100 + log10 (.1) = 2 + (1) = 1 = log10 10 [ 10 = 100 .1 ],
log10 10 + log10 100 = 1 + 2 = 3 = log10 1000 [ 1000 = 10 100 ].
Estos clculos ilustran la identidad logartmica
log10 x + log10 y = log10 x y.
Tambin tenemos que
2 = log10 100 = log10 102 = 2 log10 10 = 2 1
y
3 = log10 .001 = log10
1
1
= log10 3 = log10 103 = 3 log10 10 = 3 1.
1000
10
Esto muestra la propiedad,

log10 x n = n log10 x.
Observacin. La expresin y = log10 x significa que
10log10 x = x.
(6.19)
La correspondencia x 7 y = log10 x, nos permite definir la funcin

log10 : R+ R
y como vimos previamente estas funcin satisface la identidad logartmitca.
En nuestro estudio de la funcin log x probamos que si una funcin f satisface la identidad logartmica,
entonces es un mltiplo real de la funcin log x. Por lo tanto, como log10 x satisface esa identidad, tenemos que log10 x = c log x, para cierta constante c. Determinamos la constante c teniendo en cuenta que
log10 10 = 1; as
1 = log10 10 = c log 10
de donde se obtiene,
c=
1
.
log 10
G*ro
163
Por lo tanto,
log10 x =
1
log x.
log 10
(6.20)
Si a R+ {1}, podemos hacer la misma discusin que hemos hecho para a = 10, palabra por palabra,
para obtener una funcin
loga : R+ R
que satisface la identidad logartmica y que se expresa en trminos del logaritmo como
loga x =
1
log x.
log a
(6.21)
Adems, la expresin y = loga x significa que
a loga x = x.
(6.22)
La grfica de loga x para algunos valores de a se muestran a continuacin.
log2 x
log x
log3 x
log10 x
164
Como loga x es un mltiplo de log x, se sigue que es una funcin creciente si a > 1 y decreciente si
0 < a < 1, continua y diferenciable.
La derivada se obtiene como sigue
0
loga x =
0
1
1
.
log x =
log a
x log a
Por lo tanto
0
loga x =
1
.
x log a
(6.23)
Si f > 0 es una funcin diferenciable (positiva),
0
loga f (x) =
1
f 0 (x).
f (x) log a
(6.24)
Ejemplo 73 Calculemos la derivada de la funcin log10 x.

Solucin. Por la frmula (6.23) tenemos
0
log10 x =
1
.
x log 10
Ejemplo 74 Calculemos la derivada de f (x) = log2 x + log2 x 2 .

Solucin. En este caso, usamos las dos frmulas anteriores, en el segundo trmino del lado derecho se
tiene una composicin. As
f 0 (x) =
1
1
2
3
1
+ 2
2x =
+
=
.
x log 2 x log 2
x log 2 x log 2 x log 2
G*ro
165
a) f (x) = log2 4x.
b) f (x) = log3 (1 + x log 3).
e) f (x) = log2 8x log,2 .
d) f (x) = 3 log8 (log2 x).
c) f (x) = log3 e log2
x.
La funcin a x .
Estudiaremos ahora las funciones exponenciales a x , estas funciones estan definidas en trminos de la
exponencial natural y el logaritmo natural como veremos a continuacin.
La ecuacin
x = e log x
nos permite definir una funcin a x , para a > 0 y x R. Notemos primero que
1. Si a > 0, entonces a = e log a .
n
2. Si a > 0 y n N, entonces a n = e log a = e n log a .

r
3. Si a > 0 y r Q, entonces a r = e log a = e r log a .

Para el caso de potencias reales tenemos la siguiente.
Definicin 33 Si a > 0 y x R, definimos
a x = e x log a .
Proposicin 20 La funcin a x , satisface la ley de los exponentes; esto es,

a x+y = a x a y .
Derivadas y antiderivadas
Usaremos la derivada de la exponencial e x para derivar la funcin f (x) = a x .
Si f (x) = a x = e x log x , entonces
f 0 (x) = e x log a log a = a x log a.
0
a x = a x log a
o bien,
d x
a = a x log a.
dx
(6.25)
166
Por la regla de la cadena
0
a f (x) = a f (x) f 0 (x) log a
(6.26)
Ejemplo 75 Si f (x) = 10x , entonces

f (x) = e x
log 10
y
f 0 (x) = e x
log 10
2x log 10
Las frmula (6.25) y (6.26) dan las frmulas correspondientes para las integrales indefinidas. De hecho,
como
x
a
d
= ax
d x log a
entonces
ax
log a
es una antiderivada de a x . Por lo tanto,
ax
d x = a x +C .
log a
(6.27)
De la misma manera,
"
#
d a f (x)
= a f (x) f 0 (x).
d x log a
As
a f (x)
log a
es una antiderivada de a f (x) f 0 (x). Por lo tanto,
a f (x) f 0 (x) d x =
a f (x)
+C
log a
(6.28)
G*ro
167
Ejemplo 76
Z
2x d x =
2x
+C .
log 2
Ejemplo 77 Evaluar
Z
x2x d x.
Solucin. En este problema usamos las frmula (6.28), con f (x) = x 2 y f 0 (x) = 2x, entonces tenemos
Z
1
x2 d x =
2
x2
1
(2x)2 d x =
2
x2
f (x)
2 f (x)
2x
f (x) d x =
+C =
+C .
log 2
log 2
0
Ejercicio 37 Evaluar la integral

Z
25x d x.
Exponenciales a x y logaritmos loga x

Recordemos que
a x = e x log a
loga x =
log x
.
log a
Las funciones loga x y a x son inversas una de la otra; de hecho,

log x
a loga x = e (loga x) log a = e loga x
log a
= e log x = x
y
loga a x =
1
1
log a x =
x log a = x.
log a
log a
Por lo tanto, una anula el efecto de la otra; es decir
loga a x = x
y a loga x = x.
(6.29)
Adems
loga a = 1 y a 0 = 1.
(6.30)
168
La siguiente figura muestra algunas de estas funciones

e x 2x
10x
log2 x
2.5
log x
log10 x
-2.5
2.5
las rectas muestran que

log2 2=1
-2.5
Ejemplo 78
10log10 x = x, para x > 0
log10 10x = x para x R.
2log2 x = x, para x > 0

log2 2x = x para x R.
Ejemplo 79
Ejemplo 80
(a) log2 (25 ) = 5.
(b) 5log5 4 = 4.
Ejercicio 38 Simplifique las expresiones siguientes.

a) 8log8
p
2
p
d) log3 3
b) 1.3log1.3 75
c) log4 16
e) 2log4 x
f ) 9log3 x
Ejercicio Despeje x de la expresin 3log3 7 + 2log2 5 = 5log5 x
G*ro
169
Clculo de derivadas
Las frmulas para derivar estas funciones son

d x
a = a x log a
dx
d h f (x) i
a
= a f (x) log a f 0 (x)
dx
Ejemplo 81 Encontrar la derivada de y = 10(log10 x+x ) .
Solucin La segunda de las frmulas anteriores nos dice que
d h (log x+x ) i
d
10 10
= 10(log10 x+x ) log 10
log10 x + x
dx
dx
1
log10 x+x )
(
= 10
log 10
+1
x log 10
log10 x
x 1
+ log 10
= 10
10
x
1
= x 10x
+ log 10
x
por lo tanto,
d h (log x+x ) i
= 10x 1 + x log 10
10 10
dx
Ejemplo 82 Encontrar la derivada de y =
log2 x
2x .
Solucin. En este caso usamos la regla del cociente:
(log2 x)0 2x log2 x (2x )0

d log2 x
=
dx
2x
(2x )2
Como
1
d
log2 x =
dx
x log 2
d x
2 = 2x log 2
dx
170
resulta que
1
d log2 x
1
1
1
x
x
= x 2
2 log2 x (2 log 2) = x
log2 x (log 2) ,
dx
2x
2 x log 2
(2 ) x log 2
pero
log2 x =
entonces
log x
,
log 2
1
1
1 x log 2 log x
d log2 x
1 1 x log 2 log x
=
=
log
x
=
.
x
x
x
dx
2
2 x log 2
2
x log 2
x 2x log 2
Ejercicio 39 Encuentra las derivadas de las funciones siguientes.
a) y = 10log x
b) y = log log(log x)
c) y = log25 e x log5
d) y = log5 e x
e) y = 3log2 t
f ) y = 3x
g) y = 2x
h) y = log2 8t log 2
Ejercicio 40 Evala las integrales
a)
c)
b)
Z
3x
p
3
d x.
x1
x (log 2)1 .
d)
Z 3 p
p
2+1 x 2dx
0
Ejercicio 41 Evala las integrales
a)
b)
Z
log10 x
x
d x.
c)
4
Z
1
log 2 log2 x
x
d x.
0
log2 (x + 2)
x +2
d x.
G*ro
171
e)
d)
10
log10 (10x)
x
1/10
f)
Z
d x.
1
d x.
x log10 x
h)
g)
log x
Z
1
1
d x.
x(log8 x)2
i)
1
d t , x > 1.
t
ex
Z
1
1
dt.
t
1/x
Z
1
1
d t , x > 0.
t
La derivada de x r para cualquier exponente real r

Ya hemos visto que si r Q y f (x) = x r , entonces f 0 (x) = r x r 1 , ahora podemos comprobar que esta
frmula tambin es vlida si r es cualquier nmero real. De hecho, si r R y f (x) = x r , entonces f (x) =
e r log x y, en consecuencia,
0
r
r
f 0 (x) = e r log x r log x = e r log x = x r = r x r 1 .
x
x
xr
= r x r 1 , para r R.
(6.31)
Por la regla de la cadena
f (x)r
r 1
.
= r f (x)
Ejemplo 83 Si f (x) = x , entonces f 0 (x) = x 1 .
Ejemplo 84 Si f (x) = x
p
2
, entonces f 0 (x) =
p p21
2x
.
La derivada de x x
si f (x) = x x , entonces f (x) = e x log x y,
0
f (x) = e
x log x
x log x = e
x log x
1
log x + x
= e x log x log x + 1 = x x log x + 1
x
(6.32)
172
d x
x = x x log x + 1
dx
(6.33)
Captulo 7
Funciones circulares
En esta seccin estudiaremos las funciones circulares o trigonomtricas. Para definir estas funciones
consideremos el crculo unitario
S 1 = (x, y) R2 | x 2 + y 2 = 1
y consideremos tambin, el origen O = (0, 0) y el punto P = (1, 0).

Para cada nmero s, con 0 s 2, indiquemos con Q al punto en S 1 , para el cual el arco circular PQ
tiene longitud s, en donde la longitud se mide en la direccin contraria al movimiento de las manecillas
del reloj. Como se muestra a continuacin.
Arco circular PQ
173
174
Advertencia. Estamos asumiendo que por cada s [0, 2]] existe un punto Q para el cual
s = longitud del arco circular PQ
lo que significa que, en realidad, debemos tener una definicin para la longitud de arco y segundo, probar la existencia de dicho punto Q. Estos dos requerimientos quedan fuera del alcance de este curso y
asumiremos que son ciertos. En un curso posterior de Clculo puede darse una definicin de longitud
de arco y mostrar que
longitud del arco circular PQ = 2 rea del sector circular POQ.
(7.1)
Por ejemplo, sabemos que el rea de un crculo de radio r > 0 es r 2 as, en particular, el rea del crculo
unitario es y por la ecuacin (7.1) anterior, si P = (1, 0) y Q = (0, 1), entonces
longitud del arco circular PQ = 2 rea del sector circular POQ = 2
.
4
Volviendo a la definicin de las funciones trigonomtricas. Si (x, y) son las coordenadas del punto Q,
entonces definimos
sen s
cos s
tan s
y/x,
si x 6= 0.
Q=(x,y)
s
y=sen s
x=cos s
G*ro
175
1
Como Q = (x, y) = (cos s, sen s) es un punto del crculo unitario S , sus coordenadas satisfacen la identidad
(cos s)2 + (sen s)2 = 1.
Notacin. Se acostumbra escribir las potencias de las funciones trigonomtricas con el exponente despus de su nombre; por ejemplo
(sen s)n
se escribe como senn s.
Con esta notacin, la identidad anterior se escribe como
sen2 s + cos2 s = 1.
(7.2)
Tambin se puede dar una representacin geomtrica de la tangente y la cotangente como sigue. La
ecuacin de la recta que pasa por el origen y el punto Q = (cos s, sen s) es, obsrvese la figura siguiente,
(sen s)x (cos s)y = 0.
Queremos determinar las coordenadas del punto R de interseccin de sta recta con la recta x = 1 y del
punto S de interseccin con la recta y = 1.
x=1
S
y=1
R
Q
s
Las coordenadas del punto R son (1, tan s); ya que para x = 1 y cualquier valor de y,
(sen s)x (cos s)y
= 0
sen s (cos s)y
= 0
(cos s)y
= sen s
= tan s
176
por lo tanto, R = (1, tan s).

Para encontrar las coordenadas de S, si y = 1 y x toma cualquier valor, entonces
(sen s)x (cos s)y
= 0
(sen s)x cos s
= 0
(sen s)x
= cos s
= cot s
por lo tanto S = (cot s, 1).

Para definir las funciones circulares, hemos tomado 0 s 2; sin embargo, podemos extender el dominio de estas funciones a todo R, requiriendo que satisfagan la identidad
f (s) = f (s + 2), s R.
(7.3)
Ahora bien, como sen 0 = sen 2, cos 0 = cos 2 y tan 0 = tan 2; de hecho
sen 0 = sen 2 = 0
cos 0 = cos 2 = 1
tan 0 = tan 2 = 0,
entonces si conocemos los valores de estas funciones en [0, 2], la frmula (7.3), nos dice cmo van a ser
sus valores en los intervalos [2, 4], [4, 6], ... y en [2, 0], [4, 2], ...
Advertencia. Debe tenerse cuidado al extender el dominio de la tangente dado que no est definida en
los puntos en donde cos x = 0.
Finalmente, cuando consideramos como el ngulo central POQ, decimos que s R es la medida en
radianes del ngulo .
Observacin. Usualmente se identifica el ngulo con su medida en radianes, de manera que se habla
de, por ejemplo, un ngulo entre 0 y cuando en realidad es un ngulo cuya medida en radianes
es un valor entre 0 y .
As, de acuerdo a la observacin anterior se tiene la siguiente.
Definicin 34
sen
= sen s
cos
= cos s
tan
= tan s.
G*ro
177
A continuacin definimos las funciones trigonomtricas cotangente, secante y cosecante. Si s [0, 2] y

Q = (x, y) es el punto para el cual
s = longitud del arco circular PQ
entonces
cot s
x/y, si y 6= 0
sec s
= 1/x, si x 6= 0
csc s
= 1/y, si y 6= 0.
O bien, si consideramos como el ngulo POQ,

cot
sec
= 1/x, si x 6= 0
csc
= 1/y, si y 6= 0.
x/y, si y 6= 0
Debe notarse que

cot s
= 1/ tan s, si tan s 6= 0
sec s
= 1/ cos s, si cos s 6= 0
csc s
= 1/sen s, si sen s 6= 0.
Tambin se pueden extender estas funciones a todos los valores reales de s por
f (s) = f (s + 2)
siempre que las funciones estn definidas. Por ejemplo, csc 0 no existe, en consecuencia, no tiene sentido
considerar csc(0 + 2).
Una funcin g que satisface
g (x) = g (x + a)
para algn valor de a 6= 0, se dice que es peridica y al menor valor de a para el cual se satisface esta
identidad se le conoce como el periodo de g .
Las funciones
seno, coseno, secante y cosecante son de periodo 2,

tangente y cotangente son de periodo .
178
Las funciones sen x y cos x

Queremos probar ahora la continuidad y la diferenciabilidad de las funciones circulares. Esto requiere
considerar algunos lmites que nos permitirn establecer estas propiedades. El primero de ellos requiere
de argumentos geomtricos que usaremos intuitivamente. Consideremos un punto Q = (p, q) S 1 que
se localiza en el primer cuadrante, como en la siguiente figura.
S
Q
De la figura, es claro que,

rea 4ORQ rea 4OPQ rea sector OPQ rea 4OP S
Como
rea 4ORQ
1
2 pq
1
2 sen cos
rea 4OPQ
1
1
2 pq + 2 (1 p)q
1
2 sen
rea sector OPQ
rea 4OP S
1
2 tan
entonces, para 0 /2, de las desigualdades anteriores obtenemos,

sen cos sen tan .
Si = x, entonces de (7.4) se tiene (con 0 x /2),
0 x sen x x
(7.4)
G*ro
179
de donde
x sen x x
o
|sen x| x
Puede probarse que la desigualdad anterior tambin es vlida para /2 x 0. Por tanto, si /2 x
/2, entonces
|sen x| |x|.
(7.5)
As, como 0 |sen x| |x|, se sigue que
lm sen x = 0.
x0
(7.6)
Por otro lado, de (7.2) obtenemos la identidad

cos x =
y, como
p
1 sen2 x
p
1 y 2 es una funcin continua, entonces
lm cos x
x0
=
=
lm
x0
1 lm sen2 x
x0
p
1 sen2 x
2
1 lm sen x .
x0
Por lo tanto,
lm cos x = 1
x0
(7.7)
Ms adelante usaremos los lmites (7.6) y (7.7) para probar la continuidad de sen x y cos x.
Para probar la existencia de las derivadas de las funciones seno y coseno, necesitaremos calcular los
siguientes lmites.
Por las desigualdades (7.4), para /2 x /2,
sen x cos x x tan x
180
dividiendo estas desigualdades por sen x, obtenemos

cos x
1
x
sen x cos x
de donde,
x
1
lm
h0 sen x
h0 cos x
lm cos x lm
h0
y por el lmite (7.7),

x
1,
h0 sen x
1 lm
de manera que
x
= 1;
h0 sen x
lm
por lo tanto,
lm
h0
sen x
= 1.
x
(7.8)
Ahora, usando el lmite (7.8) calculamos el lmite siguiente,
lm
x0
1 cos x
= 0.
x
(7.9)
nicamente tenemos que expresar

1 cos2 x
sen2 x
1
1 cos x 1 cos x 1 + cos x
=
=
=
x
x
1 + cos x x(1 + cos x)
x
1 + cos x
y tomar el lmite cuando x 0. Los detalles se dejan al estudiante.
Tambin podemos usar los lmites anteriores para calcular otros, como se muestra en el ejemplo siguiente.
Ejemplo 85 Calcular
lm
x0
sen 3x
.
x
G*ro
181
Solucin Notemos priimero que si x 0, entonces para a R, se tiene que u = ax 0. Por lo tanto, si
tenemos
sen ax
sen u
lm
= lm
= 1.
x0 ax
u0 u
As, para encontrar el lmite que nos interesa, escribimos
lm
x0
en donde, u = 3x.
sen 3x
sen 3x
sen u
= 3 lm
= 3 lm
= 3 1 = 3;
x0
u0
x
3x
u
Continuidad, diferenciabilidad e integrabilidad de sen x y cos x

Como hemos visto antes, una vez hecha la extensin peridica, consideramos Dom(sen) = R; es decir,
sen : R R.
De la misma forma, Dom(cos) = R; es decir,
cos : R R.
Observacin. A partir de la definicin, es claro que ambas funciones tienen mismo rango; es decir,
sen(R) = [1, 1] y
cos(R) = [1, 1].
Por lo tanto, sen x es una funcin acotada y, por la misma razn, cos x es una funcin acotada.
Probaremos a continuacin que son funciones continuas, diferenciables e integrables.
Proposicin 21 La funcin
sen : R R
es continua en todo x R.
Demostracin. Debemos probar que, para cualquier x R,

lm sen (x + h) = sen x.
h0
Para ello, necesitamos la identidad trigonomtrica:

sen (a + b) = sen a cos b + cos a sen b.
182
Con esta identidad trigonomtrica,

lm sen (x + h) = lm sen x cos h + lm cos x sen h = sen x lm cos h + cos x lm sen h.
h0
h0
h0
h0
h0
Ahora hacemos uso de los lmites (7.6) y (7.7), para obtener

lm sen (x + h) = sen x 1 + cos x 0 = sen x,
h0
lo que prueba la continuidad de sen en R.
cos : R R
es continua en todo x R.
Demostracin. Como en el caso anterior debemos probar que, para todo x R

lm cos(x + h) = cos x.
x0
Ahora necesitaremos la identidad trigonomtrica

cos(a + b) = cos a cos b sen a sen b.
Usando esta identidad,
lm cos(x + h) = cos x lm cos h sen x lm sen h = cos x 1 sen x 0 = cos x.
h0
h0
Lo que muestra la continuidad de cos en R.
h0
Ahora probaremos la diferenciabilidad de las funciones en la siguiente.
Proposicin 23 La funcin sen es diferenciable en R y,

(sen x)0 = cos x
G*ro
183
Demostracin. Solamente necesitamos usar la definicin de derivada y los lmites (7.8) y (7.9). As
(sen x)0
lm
h0
sen (x + h) sen x
h
sen x cos h + cos x sen h sen x

h
cos h 1
sen h
= lm sen x
+ lm cos x
h0
h0
h
h
cos h 1
sen h
= sen x lm
+ cos x lm
h0
h0 h
h
=
lm
h0
= sen x 0 + cos x 1
Por lo tanto sen es diferenciable y s derivada es
(sen x)0 = cos x.
(7.10)
Proposicin 24 La funcin cos es diferenciable en R y,

(cos x)0 = sen x.
Demostracin. De nuevo, por la definicin de derivada,

(cos x)0
=
=
cos(x + h) cos x
h0
h
lm
lm
h0 h
[cos x cos h sen x sen h cos h]
= cos x lm
h0
cos h 1
sen h
sen x lm
h0 h
h
= cos x 0 sen x 1
Por lo tanto,
(cos x)0 = sen x.
(7.11)
184
Observacin. Las funciones sen y cos no tienen puntos en donde sus derivadas no existan. As, los
nicos puntos crticos sern puntos estacionarios.
Para obtener la integrabilidad de la funcin sen, observemos que a frmula (7.10) establece que F (x) =
sen x es una antiderivada de f (x) = cos x, por lo tanto,
cos x d x = sen x +C .
(7.12)
y, para la integrabilidad de la funcin cos, vemos que de (7.11), F (x) = cos x es una antiderivada de f (x) =
sen x, de esta manera,
sen x d x = cos x +C
(7.13)
Las grficas de las funciones seno y coseno
Debido a la periodicidad de las funciones, es suficiente trazar las grficas de estas funciones en el intervalo [0, 2].
Como (sen x)0 = cos x, tenemos que las soluciones a la ecuacin cos x = 0; i.e., los puntos estacionarios de
sen x, son
3
x =
y x =
;
2
2
para los cuales,
sen x = 1 y sen x = 1.
Por otro lado, como cos x > 0 (en los cuadrantes I y III), para (0, /2) (3/2, 2), entonces sen x es creciente en esos intervalos y como cos x < 0 en el intervalo (/2, 3/2), es decreciente en dicho intervalo.
Adems, como
00
(sen x) = sen x
< 0, si x (0, )
> 0, si x (, 2)
se tiene que sen x es en el intervalo (0, ) y es en el intervalo (, 2), de esta manera tenemos que
el cambio de concavidad se da en el punto (de inflexin) x = .
G*ro
185
Adems, por el criterio de la segunda derivada, sen x = 1 es un valor mximo local y sen x = 1 es un
valor mnimo local.
La grfica de sen x es como sigue.
3
2
La informacin para obtener la grfica de cos x se obtiene de manera similar, los detalles se dejan al
estudiante. Su grfica es como se muestra en la siguiente figura.
3
2
Las funciones tan x y cot x

Como
tan x =
sen x
,
cos x
186
entonces la funcin tan est definida y es continua en todos los puntos en donde cos x 6= 0. En otras
palabras, como cos x = 0, cuando x = /2 + n, para n entero,
n
o
Dom(tan) = x R | x 6= + n, n Z .
2
Ahora bien, como
lm + tan x = lm +
x 2
x 2
sen x
=
cos x
dado que, si x (/2)+ , entonces cos x 0, con valores positivos, pero sen x 1, con valores negativos; y, de forma similar,
sen x
lm
tan x = lm
= ,
x 2
x 2 cos x
resulta que la tangente es una funcin no acotada; de hecho, su rango es

= (, +) = R.
tan ,
2 2
Observacin. Los dos lmites anteriores indican que las rectas
x =
y x=
son asntotas verticales de la funcin tan x. Por lo tanto, en la extensin peridica, todas las rectas x =
2 + n, con n entero, sern asntotas verticales.

Como
tan(x + ) =
sen (x + ) sen x
=
= tan x,
cos(x + ) cos x
entonces tan es peridica de periodo , por lo tanto, para conocer su grfica, es suficiente trazarla sobre
el intervalo abierto 2 , 2 .
La derivada de la tangente se obtiene a partir de las frmulas (7.10) y (7.11), y la regla para derivar un
cociente de funciones. De hecho, tenemos la siguiente.

R
tan : ,
2 2
es diferenciable y su derivada est dada por
(tan x)0 = sec2 x.
(7.14)
G*ro
187
Demostracin.
(tan x)0
(sen x)0 cos x sen x (cos x)0

cos2 x
cos x cos x sen x ( sen x)

cos2 x
cos2 x + sen2 x
cos2 x
1
.
cos2 x
Por tanto,
(tan x)0 = sec2 x.
Como
sec x =
1
cos x
entonces (tan x)0 > 0, para todo x 6= /2 + n, en otras palabras, tan x es creciente en todos los puntos de
su dominio.
Observacin. La frmula (7.14) nos dice que F (x) = tan x es una antiderivada de f (x) = sec2 x. De modo
que
sec2 x d x = tan x +C .
(7.15)
Sin embargo, para obtener una frmula de integracin de la tangente tenemos que recurrir a la frmula
del logaritmo; esto es,
Z
Z
sen x
tan x d x =
dx
cos x
En este caso, tomamos f (x) = cos x, de manera que f 0 (x) = sen x y, entonces,
Z
sen x
dx =
cos x
sen x
dx =
cos x
f 0 (x)
= log | f (x)| +C = log | cos x| +C .
f (x)
Por lo tanto,
tan x d x = log | cos x| +C = log | cos x|1 +C = log | sec x| +C
(7.16)
188
Analizaremos ahora la funcin cotangente. Como

cot x =
cos x
,
sen x
entonces la funcin cot est definida y es continua en todos los puntos en donde sen x 6= 0. En otras
palabras, como sen x = 0, cuando x = n, para n entero,
Dom(cot) = {x R | x 6= n, n Z} .
Ahora bien, como
lm cot x = lm+
x0+
x0
cos x
=
sen x
dado que, si x 0+ , entonces sen x 0, con valores positivos, y cos x 1, tambin con valores positivos y como, por otro lado,
cos x
lm cot x = lm
= ,
x
x sen x
resulta que la cotangente es una funcin no acotada; de hecho, su rango es
cot ((0, )) = (, +) = R.
Observacin. Los dos lmites anteriores indican que las rectas

x =0 y x =
son asntotas verticales de la funcin cot x. Por lo tanto, en la extensin peridica, todas las rectas x =
n, con n entero, sern asntotas verticales.
Como
cot(x + ) =
cos(x + ) cos x
=
= cot x,
sen (x + ) sen x
entonces cot es peridica de periodo , por lo tanto, para conocer su grfica, es suficiente trazarla sobre
el intervalo abierto (0, ).
La continuidad de cot se sigue de la de sen y cos.
cot : (0, ) R
es diferenciable y su derivada est dada por
(cot x)0 = csc2 x.
(7.17)
G*ro
189
Demostracin. Por la definicin de cotangente,
(cot x)0
(cos x)0 sen x cos x (sen x)0

sen2 x
sen x sen x cos x cos x

sen2 x
1
sen2 x
= csc2 x.
Observacin. Se sigue de (7.17) que la contangente es una funcin decreciente.

De nuevo, de (7.17) se obtiene la frmula
csc2 d x = cot x +C .
(7.18)
Ejercicio 42 Usar la frmula del logaritmo para encontrar
cot x d x = log |sen x| +C .
(7.19)
Ejercicio 43 Determinar los intervalos de concavidad (hacia arriba y hacia abajo) y los puntos de inflexin de las funciones tan y cot.
Las grficas de tan x y cot x son las siguientes.
190
tan x
cot x
Las funciones sec x y csc x

El anlisis de la continuidad, diferenciabilidad e integracin de las funciones secante y cosecante es
similar al de las funciones circulares anteriores y queda de ejercicio. Daremos solamente las frmulas
correspondientes.
Ejercicio 44 Para las funciones sec y csc. Establecer
1. sus dominios,
2. sus rangos.
3. su continuidad de sec y csc,
4. su diferenciabilidad y derivadas, y
5. si son acotadas o no.
Las grficas de sec y csc son las siguientes.
G*ro
191
sec x
csc x
Las derivadas de estan funciones son
(sec x)0 = sec x tan x.
(7.20)
(csc x)0 = csc x cot x.
(7.21)
De las cuales se obtienen, las frmulas siguientes
sec x tan x d x = sec x +C .
(7.22)
csc x cot x d x = csc +C .
(7.23)
192
Derivadas de composiciones con funciones circulares

Si las funciones trigonomtricas tienen como argumento una funcin diferenciable f (x), entonces por
la regla de la cadena obtenemos las frmulas siguientes.
0
sen f (x) = cos f (x) f 0 (x).
(7.24)
0
cos f (x) = sen f (x) f 0 (x).
(7.25)
0
tan f (x) = sec2 f (x) f 0 (x).
(7.26)
0
cot f (x) = csc2 f (x) f 0 (x).
(7.27)
0
sec f (x) = sec f (x) tan f (x) f 0 (x).
(7.28)
0
csc f (x) = csc f (x) cot f (x) f 0 (x).
(7.29)
Ejemplo 86 Encontrar la derivada de g (x) = sen (5x + 1).

Solucin. Para encontrar esta derivada usamos la frmula (7.24), dado que sen (5x + 1) = sen ( f (x)) con
f (x) = 5x + 1. As
g 0 (x) = cos(5x + 1) (5x + 1)0 = cos(5x + 1) 5 = 5 cos(5x + 1).
Ejemplo 87 Encontrar la derivada de g (x) = cos4 x
G*ro
193
Solucin. Notemos que g es una potencia de cos x, de manera que no podemos usar la frmula (7.25),
sino la de la potencia de una composicin; esto es,
g 0 (x) =
d
d
(cos x)4 = 4 (cos x)3
(cos x) = 4 cos3 x sen x.
dx
dx
Ejemplo 88 Encontrar la derivada de
1 + sen x
g (x) = log
.
1 cos x
Solucin. En este caso empezamos con la regla para derivar logaritmos, usando la regla de la cadena.
Esto es,

d
1 + sen x
1
d 1 + sen x
g 0 (x) =
log
= 1+ sen x
,
dx
1 cos x
d x 1 cos x
1cos x
para la derivada del lado derecho, utilizamos la regla del cociente; esto es,
1 cos x (1 + sen x)0 (1 cos x) (1 + sen x)(1 cos x)0

g (x) =
1 + sen x
(1 cos x)2
0
as
1 cos x cos x(1 cos x) (1 + sen x)sen x

g (x) =
1 + sen x
(1 cos x)2
0
o
g 0 (x) =
cos x(1 cos x) (1 + sen x)sen x

1
1 + sen x
(1 cos x)
podemos simplificar el numerador como sigue

cos x(1 cos x) (1 + sen x)sen x = cos x cos2 x sen x sen2 x = cos x sen x (cos2 x + sen2 x)
pero cos2 x + sen2 x = 1. Por lo tanto,
1
cos x sen x 1
g (x) =
1 + sen x
(1 cos x)
0
Ejercicio 45 Encontrar las derivadas de las funciones siguientes.
194
a)
b)
c)
g (x) =
1
g (x) = tan2 x + 1 2
e
1 + cos x
g (x) = e x sen 2x.
e)
d)
g (x) = sen2 x
Z
0
cos x p
1 t2 dt.
g (x) =
1 t2 dt.
Integrales
De las frmulas para las derivadas de la composicin, obtenemos las frmulas siguientes.
Z
cos f (x) f 0 (x) d x = sen f (x) +C .
(7.30)
sen f (x) f 0 (x) d x = cos f (x) +C .
(7.31)
sec2 f (x) f 0 (x) d x = tan f (x) +C .
(7.32)
Ejemplo 89 Evaluar la integral

Z
sen ax d x. (a 6= 0)
Solucin. Usamos (7.31) con f (x) = ax, entonces f 0 (x) = a y,
Z
Z
Z
1
1
1
a sen ax d x =
sen f (x) f 0 (x) d x = cos f (x) +C .
sen ax d x =
a
a
a
por lo tanto,
Z
sen ax d x =
1
cos ax +C .
a
(7.33)
G*ro
195

Z
cos, ax d x. (a 6= 0)
Solucin. Usamos (7.30) con f (x) = ax, entonces f 0 (x) = a y,

Z
Z
Z
1
1
1
cos ax d x =
a cos ax d x =
cos f (x) f 0 (x) d x = sen f (x) +C .
a
a
a
por lo tanto,
cos ax d x =
1
sen ax +C .
a
Ejemplo 91 Calcular
Z
x cos x 2 d x.
Solucin. Tomando f (x) = x 2 , tenemos que f 0 (x) = 2x y por la frmula (??)

Z
Z
Z
1
1
1
x cos x 2 d x =
2x cos x 2 d x =
cos x f 0 (x) d x = sen f (x) +C .
2
2
2
Por lo tanto,
x cos x 2 d x =
1
sen x 2 +C .
2
Ejemplo 92 Calcular la integral

Z
cos x e sen x d x.
Solucin. Tomamos f (x) = sen x as, f 0 (x) = cos x. Por lo tanto,

Z
Z
cos x e sen x d x = e f (x) f 0 (x) d x = e f (x) +C = e sen x +C .
Ejercicio 46 Calcular las siguientes integrales
(7.34)
196

b)
a)
Z
c)
x
d x.
cos2 x 2
e x sen e x d x.
d)
x 2 sen (x 3 + 1) d x.
e)
Z
tan x d x.
cot x d x.
Ejercicio 47 Evaluar las integrales siguientes
a)
b)
cos 4x d x.
sec x d x.
Funciones circulares inversas

La funcin sen1 x
Como la funcin seno no es inyectiva, para poder encontrar una inversa necesitamos restringir el dominio a un intervalo en donde s lo sea, en general se acostumbra restringirla al intervalo [/2, /2]; o
cualquier otro en donde sea estrictamente montona, como lo vemos en la siguiente figura.
intervalo de inyectividad de sen x
G*ro
197
En este caso tenemos que
h i
sen : ,
[1, 1] R
2 2
es estrictamente creciente; esto es si x 1 , x 2 [/2, /2], entonces sen x 1 < sen x 2 . Luego sen es inyectiva.
Por tanto, existe la inversa
h i
sen1 : [1, 1] ,
2 2
y,
sen1 y = x
si y solo si
y = sen x.
(7.35)
El enunciado anterior anterior dice que si x = sen1 y, entonces y es un nmero en el intervalo [/2, /2]
para el cual sen x = y; y recprocamente.
Ejemplo 93 Si x = sen1 1, entonces 1 es el nmero para el cual sen x = 1; en otras palabras,
= sen 1 si y solo si sen = 1.

2
2
Notacin. Con frecuencia en lugar de escribir sen1 x se escribe arcsen x y se lee como arco seno de x.
Como sabemos para obtener la grfica de la inversa, hacemos una reflexin sobre la diagonal, como se
muestra a continuacin.
reflexin sobre la diagonal de sen x
As la grfica de la inversa del seno es
198
La grfica de sen1 x
Si f (x) = sen x y si g (y) = sen1 y, entonces por el teorema de la funcin inversa,

g 0 (y) =
Usando la identidad cos x =
1
f
0 g (y)
1
cos g (y)
p
1 sen2 x, obtenemos
1
1
=p
cos(g (y))
1 (sen g (y))2
y como sen g (y) = sen (sen1 y) = y, resulta

g 0 (y) = p
1
1 y2
Por lo tanto, al cambiar el nombre de la variable, obtenemos la frmula
0
1
sen1 x = p
1 x2
o bien,
d
1
sen1 x = p
dx
1 x2
(7.36)
Observacin. De lo anterior y por el teorema fundamental, podemos expresar la funcin sen1 x como
una integral, de hecho,
Z x
dt
1
sen x =
+C
p
0
1 t2
y como sen1 0 = 0, entonces
1
sen
0=
dt
+C
p
1 t2
G*ro
199
esto es, C = 0. Por lo tanto,
sen1 x =
Z
0
dt
,
p
1 t2
si 1 < x < 1.
(7.37)
La traduccin de la frmula (7.36) a una frmula para la integral indefinida es
dx
= sen1 x +C
p
1 x2
(7.38)
Si h(x) = sen1 f (x), entonces por la regla de la cadena,
0
sen1 f (x) = p
f 0 (x).
(7.39)
f 0 (x)
d x = sen1 f (x) +C .
p
1 + f 2 (x)
(7.40)
1 ( f (x))2
y,
Ejemplo 94 Encontremos la integral indefinida

Z
p
dx
a2 x2
para a > 0.
Solucin. Factorizamos a 2 en el denominador,
s
r
x 2
x 2
p
2
2
2
a x = a 1
= a 1
.
a
a
Si f (x) = x/a, entonces f 0 (x) = 1/a y podemos expresar la integral como sigue.
Z
Z
Z
dx
dx
f 0 (x)
=
=
dx
p
p
1 f 2 (x)
a 1 f 2 (x)
a2 x2
200
y, por (7.40), obtenemos la frmula

dx
a2 x2
= sen1
+C .
(7.41)
Ejemplo 95 Calculemos la derivada de h(x) = sen 1 x 2 .

Solucin. Tomando f (x) = x 2 , entonces por la frmula (7.39), obtenemos
h 0 (x) = p
2x
.
2x = p
1 x4
1 (x 2 )2
Ejemplo 96 Calculemos la derivada de sen1 (1/x).

Solucin. De nuevo por la frmula (7.39), tomando f (x) = 1/x,
0
1
1
1
1
1
1
sen (1/x) = q
= q
.
2 = q
= p
2
x
x x2 1
1 x12
x 2 1 x12
x 2 x x1
2
Ejemplo 97 Evaluar
Z
ex
d x.
p
1 e 2x
Si tomamos f (x) = e x , entonces f 2 (x) = e 2x y, adems, f 0 (x) = e x , por lo tanto podemos usar la frmula
(7.40), como sigue.
Z
Z
ex
f 0 (x)
d x = sen1 f (x) +C = sen1 e x +C .
d
x
=
p
p
2
2x
1 f (x)
1e
Ejercicio 48 Utilice la frmula (7.41) para evaluar la integral indefinida

Z
dx
.
p
4 x2
Ejercicio 49 Evaluar
Z
2 d x.
1 log x
G*ro
201
1
La funcin cos
Como la funcin coseno no es inyectiva, para encontrar una inversa restringimos el dominio al intervalo
[0, ], como lo vemos en la siguiente figura.
intervalo de inyectividad de cos x
En este caso tenemos que

cos : [0, ] [1, 1] R
es estrictamente decreciente; esto es si x 1 , x 2 [0, ], entonces cos x 1 > cos x 2 . Luego cos es inyectiva;
entonces, existe su inversa
cos1 : [1, 1] [0, ]
y,
cos1 y = x
si y solo si
y = cos x.
(7.42)
El enunciado anterior anterior dice que si x = cos1 y, entonces y es un nmero en el intervalo [0, ]
para el cual cos x = y; y recprocamente.
Notacin. La funcin cos1 x se escribe como arc cos x y se lee: arco coseno de x. Como sabemos para
obtener la grfica de cos1 x, hacemos una reflexin sobre la diagonal, como se muestra a continuacin.
202
cos1 x
cos x
Para determinar la derivada de cos1 hacemos uso nuevamente del teorema de la funcin inversa. Si
f (x) = cos x y g (y) = cos1 y, de modo que f 0 (x) = sen x, entonces
g 0 (y) =
De la identidad, sen x =
1
1
=
.
f 0 g (y)
sen g (y)
p
1 cos2 x, tenemos que
1
1
1
= q
= q
g 0 (y) = p
2 .
2
1 cos2 g (y)
1 cos g (y)
1 cos(cos1 y)
Por lo tanto,
g 0 (y) = p
1
1 y2
Cambiando y por x, obtenemos la siguiente frmula de la derivada.
0
1
cos1 x = p
.
1 x2
(7.43)
Observacin. La derivada de cos1 difiere de la derivada de sen1 nicamente en un signo; esto es,
comparando esta frmula con (7.36), nos damos cuenta que es innecesaria una frmula correspondiente
para la integral. Esta situacin es la misma para las restantes funciones inversas cot1 y csc1 . Por lo
tanto, no requieren un estudio particular.
G*ro
203
Si f es una funcin diferenciable, entonces
0
cos1 f (x) = p
1
1 f 2 (x)
f 0 (x).
(7.44)
La funcin tan1 x
Para definir la inversa de la tangente restringimos el domino al intervalo abierto (/2, /2), en donde
la funcin es estrictamente creciente.
Intervalo de inyectividad
De esta manera,

R
tan1 : ,
2 2
es invertible y su inversa es la funcin

tan1 : R ,
2 2
204
de forma tal que
si y solo si x = tan1 y.
y = tan x
(7.45)
La grfica de la funcin tan1 es la siguiente.
tan1 x
2
Encontramos la derivada de la tangente como sigue. Si f (x) = tan x y g (y) = tan1 y, entonces
g 0 (y) =
1
f
0 g (y)
1
sec2 g (y)
De la identidad sec2 x = 1 + tan2 x, se sigue que

g 0 (y) =
1
1
=
.
2
1 + tan g (y) 1 + tan(tan1 y) 2
Por lo tanto
g 0 (y) =
1
.
1 + y2
Cambiando el nombre a la variable, por x, obtenemos la frmula,
1 0
tan x =
1
.
1 + x2
(7.46)
Por la regla de la cadena, obtenemos la frmula,
1
0
tan f (x) =
1
f 0 (x).
1 + f 2 (x)
(7.47)
G*ro
205
De las frmulas (7.46) obtenemos las frmulas correspondientes para la integral indefinida,
1
d x = tan1 x +C .
1 + x2
(7.48)
1
f 0 (x) d x = tan1 f (x) +C .
1 + f 2 (x)
(7.49)
Ejemplo 98 Evaluar
Z
dx
.
1 + 9x 2
Solucin. Como 9x 2 = (3x)2 , tomamos f (x) = 3x, entonces f 0 (x) = 3 y podemos escribir,
Z
1
dx
=
2
1 + 9x
3
Por la frmula (7.49),

1
3
1
3
dx =
2
1 + 9x
3
f 0 (x)
d x.
1 + f 2 (x)
f 0 (x)
1
d x = tan1 f (x) +C .
1 + f 2 (x)
3
Por lo tanto, sustituyendo f (x) = 3x, obtenemos

Z
1
dx
= tan1 (9x 2 ) +C .
2
1 + 9x
3
Ejercicio 50 Evale
Z
dx
.
1 + 3x 2
Ejemplo 99 Evaluemos la integral indefinida

Z
dx
a2 + x2
en donde a 6= 0.
206
Solucin. Notemos primero que cuando a = 1, tenemos la frmula (7.46). Para a 6= 1, factorizamos a 2 en
el denominador del integrando,
x 2
.
a2 + x2 = a2 1 +
a
Luego, haciendo f (x) = x/a, tenemos que f 0 (x) = 1/a y podemos expresar la integral indefinida como
Z
Z
Z
dx
1
1/a
1
f 0 (x)
=
d
x
=
dx
a2 + x2 a 1 + x 2
a 1 + f 2 (x)
a
Ahora, podemos usar la frmula (7.47) para obtener

Z
x
dx
1
1
= tan1 f (x) +C = tan1
+C .
2
2
a +x
a
a
a
Este ejercicio, produce la frmula

dx
1
1 x
=
tan
+C . (a 6= 0)
a2 + x2 a
a
(7.50)

x
x4 + 1
d x.
Solucin. Si escribimos la fraccin del integrando como
x2
x
2
+1
entonces si hacemos f (x) = x 2 , su derivada es f 0 (x) = 2x y, podemos expresar la integral indefinida anterior como sigue.
Z
Z
Z
x
1
2x
1
f 0 (x)
d
x
=
d
x
=
dx
x4 + 1
2 1 + x4
2 1 + f 2 (x)
Entonces, de la (7.49), obtenemos
Z
x
1
1
d x = tan1 f (x) +C = tan1 x 2 +C .
4
x +1
2
2
Z
sen x
dx
1 + cos2 x
G*ro
207
Z
ex
dx
4 + e 2x
1
Z
1
1
dx
1 + x2
Las funciones sec1 x y csc1 x

El anlisis de estas funciones es similar al de las anteriores y lo omitiremos. Sus grficas se muestran a
continuacin.
sec1 x
csc1 x
208
Las derivadas de estas funciones son
1 0
1
sec x = p
x x2 1
(7.51)
1 0
1
csc x = p
x x2 1
(7.52)
Si f es una funcin diferenciable, entonces
1
0
sec f (x) =
1
f (x)
f 2 (x) 1
(7.53)
De (7.51) obtenemos la frmula siguiente.
x x2 1
d x = sec1 x +C .
(7.54)
Y de (7.53), obtenemos
f (x)
2 (x) 1
d x = sec1 f (x) +C .
Ejemplo 101 El uso de (7.55) produce la frmula siguiente.
(7.55)
G*ro
209
Z
x x2 a2
dx =
1
x
sec1 +C . (a > 0)
a
a
Ejemplo 102
Z
1
x
d x = p sec1 p +C .
x x2
p
(7.56)

Cal Culo Diff I Sica

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Cal Culo Diff I Sica

Uploaded by

Copyright:

Available Formats

Clculo diferencial e integral I

Notas de Clase v2.2

Clculo diferencial e integral I

1. Conjuntos, funciones y nmeros reales

2. Lmites y continuidad de funciones

6. Funciones logartmicas y exponenciales

Clculo diferencial e integral I

Conjuntos, funciones y nmeros reales

Clculo diferencial e integral I

A = x N | x es impar y menor que 10 ,

B = {x A | P (x) es vlida} = {x A | x satisface P (x)} .

Definicin 1 Si A y B son conjuntos y cada elemento de A es un elemento de B , entonces se dice que A es

Clculo diferencial e integral I

La letra y en la definicin de A B , es una forma de decir que los elementos de la interseccin

Observacin 3 Tambin se dice que B A es el complemento de A en B . Si se tiene un conjunto U

El conjunto ; tiene la propiedad que, cualquiera que sea el conjunto A,

Clculo diferencial e integral I

Proposicin 1 No existe un nmero racional r tal que r 2 = 2.

Demostracin. Supongamos, al contrario que hay nmeros p, q Z tales que

Podemos asumir que p, q > 0 y no tienen factores comunes enteros, excepto 1.

Es claro que Q Qc = ; y, adems,

El sistema de los nmeros reales

Clculo diferencial e integral I

A partir de las definiciones anteriores, un conjunto S 6= ; de nmeros reales es acotado, si existe un

Entonces S es un conjunto acotado superiormente; de hecho, el nmero 1 es una cota superior de l y

Notacin. Escribiremos sup S para indicar supremo de S e nf S para nfimo de S.

Demostracin Supongamos que

Descripcin del supremo

Ntese que el supremo de un conjunto puede pertenecer o no, al conjunto.

Ejemplo 2 Un conjunto finito S 6= ;, tiene un supremo y tiene un nfimo.

sin embargo, en este caso nf T 6 T y sup T 6 T .

Clculo diferencial e integral I

Corolario 3 Si y > 0, existe un n = n(y) N, tal que

Clculo diferencial e integral I

Teorema 2 Existe un x R tal que x = 2.

Demostracin. Consideremos el conjunto

El nmero real 1 > 0 satisface la desigualdad 12 2, en consecuencia 1 S, de modo que S 6= ;. Adems,

Ahora bien, como x > 1 y 2 x 2 > 0, entonces

podemos escoger un m N tal que

Por otra parte, si y S, entonces

de donde (recordemos que x = sup S),

(a, b) = {x R | a < x < b}

Clculo diferencial e integral I

[a, b) = {x R | a x < b} y (a, b] = {x R | a < x b}

este intervalo es a la vez abierto y cerrado.

En otras palabras, cualquiera que sea > 0, se tiene que

Indicaremos con S a al conjunto de los puntos de acumulacin de un conjunto S. Esto es

Clculo diferencial e integral I

El plano x y identificado como R2

La recta vertical cruza al conjunto

La siguiente figura muestra el caso de un subconjunto de R2 que no es una funcin.

La recta vertical cruza al conjunto

Si una funcin est dada de la forma

f = (x, y) R2 | x y y satisfacen una determinada ecuacin, E (x, y) = 0

(x, y) R2 | x y y satisfacen una determinada ecuacin, E (x, y) = 0

Clculo diferencial e integral I

funcin, la grfica de f es el conjunto

Cuando f es una funcin real de una variable real, simplemente escribimos

Definicin 9 Si f : A B es una funcin y E A, llamamos imagen (o imagen directa) de E bajo f al

Por otro lado, si G = y | 0 y 4 , entonces la preimagen de G es el conjunto

Deber notarse que f 1 ( f (E )) 6= E y que f ( f 1 (G)) = G, pero si H = y | 1 y 1 , entonces

Definicin 10 Una funcin f : A B es inyectiva si, siempre que x 1 6= x 2 , entonces f (x 1 ) 6= f (x 2 ).

Equivalentemente, f es inyectiva si y solo si f (x 1 ) = f (x 2 ) implica que x 1 = x 2 . En otras palabras, si y solo