Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Calculo Diferencial en Una Variable Juan Carlos Trujillo PDF
Calculo Diferencial en Una Variable Juan Carlos Trujillo PDF
Editor:
Juan Carlos Trujillo
1 Lmites 1
1.1 Aproximar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 La recta tangente a una curva . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.2.1 Formulacin del problema . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.2.2 Aproximacin numrica al concepto de lmite . . . . . . . . . . . . . . 6
1.2.3 Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.3 La definicin de lmite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.3.1 Solucin del problema . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.3.2 La definicin de lmite . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.3.3 Dos observaciones a la definicin de lmite . . . . . . . . . . . . . . . . 23
1.3.4 Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
1.4 Continuidad de una funcin . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
1.5 Interpretacin geomtrica de la definicin de lmite . . . . . . . . . . . . . . . 33
1.5.1 Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
1.6 Energa solar para Intipamba . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
1.6.1 Planteamiento del problema . . . . . . . . . . . . . . . . . . . . . . . . 41
1.6.2 El modelo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
1.6.3 El problema matemtico . . . . . . . . . . . . . . . . . . . . . . . . . . 43
1.6.4 Solucin del problema matemtico . . . . . . . . . . . . . . . . . . . . 43
1.6.5 Solucin del problema . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
1.6.6 Eplogo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
1.6.7 Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
1.7 Propiedades de los lmites . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
1.7.1 Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
1.7.2 Generalizaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
1.7.3 Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
1.8 El lmite de una composicin: cambio de variable . . . . . . . . . . . . . . . . 55
1.8.1 Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
1.9 El teorema del sandwich . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
1.9.1 Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66
1.10 Lmites unilaterales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66
1.10.1 Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
1.11 Lmites infinitos y al infinito . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
1.11.1 Lmites infinitos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72
1.11.2 Propiedades de los lmites infinitos . . . . . . . . . . . . . . . . . . . . 79
1.11.3 Lmites al infinito . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
1.11.4 Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 90
ii TABLA DE CONTENIDOS
2 La derivada: su motivacin 93
2.1 La recta tangente a una curva . . . . . . . . . . . . . . . . . . . . . . . . . . . 93
2.2 Cmo medir el cambio? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 96
2.2.1 Cunto cuesta producir autos? . . . . . . . . . . . . . . . . . . . . . . 96
2.2.2 Las variables representan magnitudes . . . . . . . . . . . . . . . . . . . 97
2.2.3 La funcin como modelo de la dependencia entre magnitudes . . . . . 97
2.2.4 La variaciones absoluta y relativa como medidas del cambio . . . . . . 99
2.3 Razn de cambio, elasticidad y magnitudes marginales . . . . . . . . . . . . . 101
2.3.1 Magnitudes marginales en Economa . . . . . . . . . . . . . . . . . . . 105
2.3.2 Elasticidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105
2.4 La descripcin del movimiento . . . . . . . . . . . . . . . . . . . . . . . . . . . 108
2.4.1 El concepto de velocidad . . . . . . . . . . . . . . . . . . . . . . . . . . 109
2.4.2 Caso general: movimiento no-uniforme . . . . . . . . . . . . . . . . . . 112
2.5 Conclusin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 114
2.6 Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 114
Entre los objetivos de la unificacin de los programas de la asignatura Clculo en una Va-
riable en la Escuela Politcnica Nacional, est el de uniformizar sus contenidos y el nivel de
la enseanza aprendizaje en todos los paralelos de las carreras de ingeniera y ciencias de la
Institucin.
En una serie de reuniones de los profesores que impartimos dicha asignatura en la Insti-
tucin, vimos que para lograr este objetivo es necesario contar con bibliografa comn y, en
lo posible, con un texto politcnico de Clculo en una Variable que sea el referente en todos
los paralelos en que se dicte la materia.
El presente trabajo es la primera edicin de la primera parte del texto, que cubre los
contenidos de Clculo Diferencial que constan en el programa vigente. Los autores lo ponemos
a consideracin de la comunidad politcnica, en especial de los profesores de Clculo en una
Variable y los alumnos que toman esta asignatura, con la esperanza de que sirva como un
primer borrador de lo que ser en un futuro cercano el texto politcnico que tanta falta nos
hace. La redaccin de la segunda parte, la de Clculo Integral, est concluida y se halla en
revisin por parte de alumnos y algunos profesores, previa a la publicacin de su primera
edicin.
Creemos necesario aclarar que los ejercicios resueltos y los propuestos han sido tomados
o son modificaciones a los que se encuentran en diversas obras similares, como son los textos
de Apostol, Zill, Douchet y Zwahlen, Demidovich y dems textos rusos, Leithold, etc.
Debemos agradecer a las Autoridades de la Institucin y de las unidades acadmicas a
las que estamos adscritos, por el apoyo que nos han brindado para la realizacin de nuestro
trabajo.
Quito, marzo 13 de 2009
Los Autores
vi TABLA DE CONTENIDOS
Lmites 1
1.1 Aproximar
Dado que ninguno de ellos es exactamente el nmero 43 , el que elijamos como aproximacin
debera ser el menos diferente del nmero 43 . Ahora, la resta entre nmeros es el modo como
se establece la diferencia entre dos nmeros. A esta diferencia le vamos a considerar como el
error que se comete al aproximar 43 con un nmero decimal con dos cifras despus del punto.
As, si se utilizara 1.31 como aproximacin, el error cometido se calculara de la siguiente
manera:
4 4 131
1.31 =
3 3 100
400 393 7
= = .
300 300 300
4 7
Es decir, el error que se comete al aproximar 3 con 1.31 es 300 .
2 Lmites
4 4 132
1.32 =
3 3 100
400 396 4
= = .
300 300 300
Vemos que 1.32 es una mejor aproximacin de 43 que 1.31 en el sentido de que el error que
se comete al aproximar 43 con 1.32 es de 300
4 7
, que es menor que 300 , el error que se comete al
4
aproximar 3 con 1.31.
4
Veamos qu sucede si aproximamos con 1.33. En este caso, el error cometido sera:
3
4 4 133
1.33 =
3 3 100
400 399 1
= = .
300 300 300
sta tercera aproximacin es mejor que las dos anteriores, porque el error cometido cuando
se aproxima 43 con 1.33, que es 300
1
, es menor que el error de aproximar 43 con 1.31 o 1.32.
El error cometido al aproximar 43 con 1.34 es:
4 4 134
1.34 =
3 3 100
400 402 2
= = .
300 300 300
El signo negativo indica que el nmero utilizado como aproximacin es mayor que el nmero
que se quiere aproximar. Sin embargo, si no nos interesa saber si el nmero que aproxima
a 43 es mayor o menor que ste, podemos tomar siempre la diferencia positiva, es decir, la
diferencia entre el nmero mayor y menor, la misma que es igual al valor absoluto de la resta
de ambos nmeros (sin importar cul es el mayor). En este caso, la diferencia positiva es:
4
1.34 = 2 = 2 .
3 300 300
A este nmero le denominamos error absoluto cometido al aproximar 43 con el nmero 1.34.
Anlogamente, calculemos el error absoluto que se comete al aproximar 43 con 1.35:
4 4 135
1.35 =
3 3 100
400 405
= = 5 .
300 300 300
Finalmente, si se toma un nmero decimal con dos cifras despus del punto, mayor que
1.35 o menor que 1.31 para aproximar 43 , podemos ver que el error absoluto cometido en esta
aproximacin ser mayor que cualquiera de las ya obtenidas. Por lo tanto, vemos que 1.33 es,
efectivamente, la mejor aproximacin de 43 con un nmero decimal con dos cifras decimales
despus del punto, porque el error que se comete al hacerlo es menor que el cometido con
cualquier otro nmero con solo dos cifras despus del punto.
Podemos, entonces, decir que la proximidad entre dos nmeros se mide a travs del valor
absoluto de la diferencia entre ellos. De manera ms precisa: si x e y son dos nmeros reales,
entonces la cantidad
|x y|
1.2 La recta tangente a una curva 3
y = x2 y y = 2x 1 y
y = x3
(1, 1)
y = 0.75x 0.25x
x x
x=1
(a) (b)
tangencia, no se interpone ninguna recta pas a ser la definicin de tangente, la misma que
ya fue utilizada por los gemetras griegos posteriores a Euclides.
Aunque el problema de formular una definicin de tangente adecuada para cualquier caso
fue resuelto como se indic, los matemticos griegos y los de la edad media no encontraron
un mtodo general para obtener esa recta tangente a cualquier curva y en cualquier punto de
ella. Este problema fue uno de los temas centrales de la matemtica en la modernidad: uno
de los primeros intentos por resolverlo fue realizado por el francs Pierre Fermat (1601-1665)
en 1636. Poco despus, se obtuvo una solucin. Pero sta trajo consigo un nuevo concepto en
las matemticas: el de derivada. Entre los protagonistas de estos descubrimientos estuvieron
el matemtico ingls Isaac Newton (1643-1727) y el alemn Gottfried Wilhelm Leibniz (1646-
1716). Con el concepto de derivada se encontr un mtodo general para obtener la recta
tangente a una curva de una clase amplia de curvas.
Ahora bien, el concepto de derivada descansa sobre otro: el de lmite. En los tiempos de
Newton y Leibiniz, este concepto fue tratado de una manera informal, lo que provoc serias
crticas y dudas sobre la validez del mtodo. Tuvieron que transcurrir aproximadamente 150
aos para que la comunidad matemtica cuente con el fundamento de la derivada: recin en
1823, el matemtico francs Augustin Cauchy (1789-1857) propuso una definicin rigurosa
de lmite, y sa es la que usamos hasta hoy en da. El tema de este captulo es estudiar,
precisamente, esa definicin de lmite como base para el estudio tanto del concepto de derivada
como del concepto de integral, otro de los grandes descubrimientos de la modernidad.
Pero antes de ello, vamos a presentar una solucin no rigurosa del problema de encontrar
la tangente a una curva cualquiera.
Dada una curva general C, como la de la figura (a), y un punto P en ella, se busca la recta t
tangente a C en el punto P :
C
Q
Q1
Q2
Q3
t t
P P
(a) (b)
donde g es una funcin real. Supongamos tambin que las coordenadas del punto P son
(a, g(a)). Entonces, encontrar la recta tangente a la curva C en el punto P significa conocer
la ecuacin de dicha recta en el sistema de coordenadas dado.
Ahora, para obtener la ecuacin de una recta es suficiente conocer su pendiente (la tangente
del ngulo que forma la recta con el eje horizontal) y un punto por el que la recta pase. Como
la tangente t debe pasar por P , ya tenemos el punto. Busquemos, entonces, la pendiente de
la recta t. Cmo? Utilizando las pendientes de las rectas secantes que unen los puntos de la
curva por los que se desplaza el mvil desde Q hacia al punto P , pues, as como creemos que
las rectas secantes alcanzarn la recta t como una posicin lmite, tal vez, las pendientes de
las rectas secantes alcancen un valor lmite: la pendiente de la recta tangente. Con esto en
mente, calculemos la pendiente de cualquiera de esas rectas secantes.
Sea R cualquier punto de la curva C que indica la posicin del mvil en su trayecto desde
Q hasta P . Aunque el punto R no se mueve (ni ningn otro punto de la curva), diremos que
el punto R se mueve hacia P para indicar que es el mvil el que se est moviendo. Esto nos
permitir indicar la posicin del mvil a travs de las coordenadas de los puntos de la curva.
En este sentido R no indica un nico punto, sino todos los puntos por dnde est pasando el
mvil en su camino hacia al punto P .
Sea x la abscisa de R; entonces, sus coordenadas son (x, g(x)):
y
g(x) R
P
g(a) S
a x x
Sabemos que la pendiente de la recta que pasa por P y R es igual a la tangente del ngulo
que forma la recta con el eje horizontal; este ngulo mide lo mismo que el ngulo SP R del
tringulo rectngulo SP R. Por lo tanto, la tangente de este ngulo es igual al cociente entre
la longitud RS (que, en el caso de la curva de la figura, es igual a la diferencia g(x) g(a))
y la longitud P S (que, en este caso, es igual a la diferencia x a 6= 0, pues el punto R no es
igual al punto P ); es decir, si representamos con mx la tangente del ngulo SP R, podemos
afirmar que:
g(x) g(a)
mx = . (1.1)
xa
La pendiente de cualquier secante que une el punto R, cuyas coordenadas son (x, g(x)) y que
se est moviendo hacia P , y el punto P se calcular mediante la frmula (1.1)1 .
Ahora, notemos que el mvil ubicado en el punto R se mueve hacia P cuando la abscisa x
de R se acerca hacia la abscisa a del punto P . Entonces, el problema de obtener la pendiente
de la recta tangente a la curva C en el punto P , en el que se concibe a dicha recta tangente
como la recta lmite de las secantes que pasan por P y R, que se aproxima a P , se sustituye
por el problema de encontrar un nmero al que los cocientes
g(x) g(a)
xa
se aproximan cuando el nmero x se aproxima al nmero a. A ese nmero le llamaremos,
provisionalmente, lmite de los cocientes.
1
La frmula (1.1) es vlida no solamente para curvas crecientes como la de la figura. Su validez ser
demostrada cuando se presente una definicin general para la pendiente de la recta tangente a una curva.
6 Lmites
Y cmo se puede hallar este lmite? Como un primer acercamiento a la solucin de este
nuevo problema, consideremos un ejemplo. Pero, antes, ampliemos un poco ms el significado
de aproximar que se discuti en la primera seccin.
Supongamos que la curva C es una parbola cuya ecuacin es y = 3x2 y el punto P tiene
coordenadas (2, 12). Entonces, g(x) = 3x2 . Queremos calcular el lmite de los cocientes
la siguiente seccin vamos a estudiarla y, con ella, podremos asegurar que el lmite de mx
cuando x se aproxima a 2 es, efectivamente, el nmero 12.
Aceptando como verdadero este resultado por el momento, obtengamos la ecuacin de la
recta tangente a la curva de ecuacin y = 3x2 en el punto (2, 12).
Ya sabemos, entonces, que la pendiente de dicha recta es igual a 12. Recordaremos que la
ecuacin de una recta de pendiente m que pasa por un punto de coordenadas (a, b) es
y b = m(x a).
En este caso m = 12 y (a, b) = (2, 12). Entonces, la ecuacin de la recta tangente a la curva
de ecuacin y = 3x2 que pasa por el punto (2, 12) es
y 12 = 12(x 2),
y = 12x 12.
En resumen:
y = 12x 12.
1.2.3 Ejercicios
1. Sean C una curva cuya ecuacin es y = x3 , literal anterior para escribir la ecuacin de
s un nmero real distinto de 1 y ms la pen- la recta tangente.
diente de la recta secante a C en los puntos de
coordenadas (1, 1) y (s, s3 ). (d) Dibuje la curva C, las secantes correspon-
dientes para s {1.1, 1.5, 2} y la recta
(a) Calcule ms . tangente.
(b) Elabore una tabla de dos columnas. En la
primera, coloque valores de s cercanos a 2. Para cada una de las funciones definidas a con-
1; en la segunda, los valores de ms corres- tinuacin, elabore una tabla para los valores
pondientes. Con la ayuda de esta tabla, f (xi ) con xi = a 10i con i {1, 2, . . . , 15}.
determine un candidato para el valor de Tiene f (x) un lmite cuando x se aproxima a
la pendiente de la recta tangente a la cur- a? En otras palabras, existe un nmero al que
va C en el punto de coordenadas (1, 1). f (x) parece acercarse cuando x toma valores
(c) Use el valor de la pendiente hallado en el cercanos al nmero a?
8 Lmites
(a) ( (f)
2
3 + 2x x si x < 1, f (x) = sin
f (x) = x
x2 4x + 7 si x > 1
con a = 0.
para a = 1.
Guardan alguna relacin el hecho de que la
(b)
2
funcin est o no definida en a y que parezca
x 4x + 5 si x < 1,
tener lmite cuando x se aproxima al nmero
f (x) = 3 si x = 1, a?
x+3 si x > 1
3. El mtodo utilizado en los ejercicios anteriores
para a = 1. para encontrar el lmite de una funcin puede
(c) sugerir la no necesidad de elaborar un concepto
3x 15 adecuado para la definicin del lmite y el co-
f (x) = rrespondiente desarrollo de tcnicas de clculo.
2
x 10x + 25
Sin embargo, la funcin h definida por
con a = 5.
(d) 3
x3 + 8 2
sin(3x) h(x) =
f (x) = x3
2x
nos alerta sobre el mtodo heurstico de la
con a = 0.
aproximacin numrica. Intente determinar
(e) un nmero al que parece acercarse h(x) cuando
1
f (x) = x toma valores cercanos al nmero 0 utilizan-
(x 2)2 do el procedimiento propuesto en el ejercicio
con a = 2. anterior.
Vamos a tratar de precisar lo que queremos decir con el lmite de los cocientes
3x2 12
mx =
x2
es 12 cuando x se aproxima a 2.
Para empezar, este cociente no est definido en x = 2, pero para todo x 6= 2:
mx = 3(x + 2).
3(x + 2) = 12.
mx 6= 12.
Sin embargo, vimos en la seccin anterior, que para valores de x cercanos a 2, mx toma
valores cercanos a 12, aunque nunca tomar el valor 12. Surge, entonces, la siguiente pregunta:
qu tan cerca de 12 puede llegar mx ? En otras palabras, podemos encontrar valores de x,
cercanos a 2, para los cuales mx no difiera de 12 en alguna cantidad dada; por ejemplo, que no
difiera en ms de 102 (es decir, en ms de 0.01)? Y qu tan cerca debe estar x del nmero
2 para que ello ocurra? Para responder esta pregunta, formulemos el problema con mayor
precisin.
1.3 La definicin de lmite 9
equivale a la siguiente:
a qu distancia debe estar x de 2 para asegurar que
|mx 12| < 102 ?
mx = 3(x + 2),
Este es un problema de bsqueda: debemos encontrar el nmero . Para ello, el mtodo que
vamos a aplicar consiste en suponer temporalmente que ya ha sido encontrado; es decir,
suponer que si x es un nmero tal que x 6= 2 y que satisface la desigualdad
|x 2| < , (1.4)
A partir de esta ltima desigualdad vamos a tratar de encontrar propiedades del nmero ,
an desconocido, que nos permitan hallarlo.
Qu camino seguir? Para no hacerlo a ciegas, el trabajo que realicemos con la desigual-
dad (1.5), o con una parte de ella, debe llevarnos de alguna manera a ; es decir, debe llevarnos
a la desigualdad (1.4) o a una similar. Con esto en mente, empecemos el trabajo con el miem-
bro izquierdo de la desigualdad (1.5), en el cual podemos aplicar propiedades conocidas del
valor absoluto de un nmero:
Es decir,
|3(x + 2) 12| = 3|x 2|. (1.6)
Pero hemos supuesto que
|x 2| < .
Entonces:
3|x 2| < 3.
Por lo tanto, por la propiedad transitiva de la relacin menor que, vemos que esta ltima
desigualdad y la igualdad (1.6) implican una nueva desigualdad:
En resumen:
|x 2| < , (1.4)
En otras palabras,
Recordemos que queremos que el nmero que encontremos nos garantice el cumplimiento
de la desigualdad
|3(x + 2) 12| < 102 . (1.5)
1.3 La definicin de lmite 11
Para lograrlo, comparemos entre s las desigualdades (1.7) y (1.5). Qu podemos observar?
Que si el nmero 3 fuera menor o igual que 102 , entonces obtendramos:
|3(x + 2) 12| < 3 102 ;
es decir:
si 3 102 , entonces |3(x + 2) 12| < 102 ,
donde la desigualdad de la derecha es la que queremos obtener. Por lo tanto, como la desigual-
dad
3 102
es equivalente a la desigualdad
102
,
3
podemos asegurar que:
102
3
y si x 6= 2 satisface la desigualdad
|x 2| < , (1.4)
la desigualdad requerida
|3(x + 2) 12| < 102 . (1.5)
es satisfecha. Es decir,
102
si 0 < y 0 < |x 2| < , entonces |3(x + 2) 12| < 102 .
3
2. Constatacin: con la eleccin del nmero que satisface la desigualdad (1.8) y bajo los
supuestos de que x 6= 2 y |x 2| < , se verifica el cumplimiento de la desigualdad
qu tan cerca debe estar x del nmero 2 para asegurar que mx difiera
de 12 en menos de 102 ?
La respuesta es:
102
si x difiere de 2 en menos de , mx difiere de 12 en menos de 102 .
3
Podremos encontrar valores de x cercanos a 2 que garanticen que mx difiera de 12 en
una cantidad an ms pequea que 102 ? Por ejemplo, qu difiera en menos de 106 ? La
respuesta es afirmativa, pues, si repasamos el modo cmo se resolvi este mismo problema
para el caso en que queramos que mx difiriera de 12 en menos de 102 , descubriremos lo
siguiente:
106
si x difiere de 2 en menos de , mx difiere de 12 en menos de 106 .
3
Si el lector tiene dudas de este resultado, deber leer una vez ms, en las pginas 8-11, el
procedimiento para resolver el problema cuando la diferencia entre mx y 12 difera en menos
de 102 . Cada vez que encuentre un 102 , deber sustituirlo por un 106 . Esto lo convencer
del todo.
Y ahora podemos responder a una pregunta ms general:
qu tan cerca debe estar x del nmero 2 para asegurar que mx difiera
de 12 en menos de ?
12 = lm mx.
x2
Al inicio de la seccin, nos habamos propuesto precisar la frase el lmite de los cocientes
mx es 12 cuando x se aproxima a 2. De lo mostrado anteriormente, vemos que esta frase debe
ser cambiada por la siguiente: 12 es aproximado por los cocientes mx con la precisin que se
desee, con tal que x, siendo distinto de 2, est lo suficientemente cerca de 2. Y ahora esta
frase tiene pleno sentido.
El proceso seguido para afirmar que 12 es el lmite de mx puede ser resumido de la siguiente
manera:
dado cualquier nmero > 0, encontramos un nmero > 0, que en nuestro caso
fue 3 , tal que 12 puede ser aproximado por mx con un error de aproximacin menor
que , siempre que x, siendo distinto de 2, se aproxime a 2 a una distancia menor
que .
Y este texto puede ser expresado simblicamente mediante desigualdades de la siguiente ma-
nera:
siempre que
0 < |x 2| < .
12 = lm mx .
x2
A partir de este ejemplo vamos a formular una definicin general de lmite de una funcin
real.
Sean:
1. a y L dos nmeros reales,
3. f una funcin real definida en I, salvo, tal vez, en a; es decir, I Dm(f ) {a}.
El nmero a generaliza a 2, L a 12, I a (, +) y f (x) a mx .
Lo que vamos a definir es:
L es el lmite de f (x) cuando x se aproxima a a.
Igual que en el ejemplo, esta frase se deber entender como:
L puede ser aproximado por los valores de f (x) con la precisin que se
desee, con la condicin de que x, siendo distinto de a, sea lo suficiente-
mente cercano a a.
14 Lmites
si para cualquier nmero > 0, existe un nmero > 0 tal que L puede
ser aproximado por f (x) con un error de aproximacin menor que ,
siempre que x, siendo distinto de a, se aproxime a a a una distancia
menor que .
3. f una funcin real definida en I , salvo, tal vez, en a; es decir, I Dm(f ) {a}.
Entonces:
L = lm f (x)
xa
|f (x) L| < ,
siempre que
0 < |x a| < .
Ejemplo 1.1
Probemos que
9 = lm x2 .
x3
Es decir, probemos que 9 puede ser aproximado por valores de x2 siempre y cuando elijamos
valores de x lo suficientemente cercanos a 3.
Solucin. Para ello, de la definicin de lmite, sabemos que, dado cualquier > 0, debemos hallar un
> 0 tal que
|x2 9| < (1.9)
siempre que x 6= 3 y
|x + 3| < . (1.10)
1.3 La definicin de lmite 15
Entonces, debemos encontrar los x 6= 3, pero cercanos a 3, para los que se verifique la desigualdad:
que es equivalente a la desigualdad (1.9). Es decir, debemos encontrar los x 6= 3, pero cercanos a
3, que hacen que el producto
|x 3||x + 3| (1.12)
est tan cerca de 0 como se quiera.
Ahora bien, como x est cerca a 3, el factor |x + 3| estar cerca de 0. Por lo tanto, para que
el producto (1.12) est tan cerca de 0 como se quiera, ser suficiente con que el otro factor, |x 3|,
no supere un cierto lmite; es decir, est acotado por arriba. Veamos si se es el caso. Para ello,
investiguemos el factor |x 3|.
Como x debe estar cerca a 3, consideremos solamente valores de x que estn en un intervalo que
contenga al nmero 3. Por ejemplo, tomemos valores de x distintos de 3 y tales que estn en el
intervalo con centro en 3 y radio 1, como el que se muestra en la siguiente figura:
4 3 2 1 0
4 < x < 2,
|x + 3| < 1. (1.14)
Bajo la suposicin del cumplimiento de estas desigualdades, veamos si el factor |x3| est acotado
por arriba. Para ello, construyamos el factor |x 3| a partir de las desigualdades (1.13).
En primer lugar, para obtener la diferencia x 3, podemos sumar el nmero 6 a los miembros
de estas desigualdades. Obtendremos lo siguiente:
|x + 3| < 1, (1.14)
la diferencia
x3
es negativa, y, por lo tanto:
|x 3| = (x 3);
es decir:
x 3 = |x 3|,
con lo cual podemos reescribir las desigualdades (1.15) de la siguiente manera:
7 < |x 3| < 5,
Hemos probado que, si x 6= 3 es tal que |x + 3| < 1, se verifica que el factor |x 3| est acotado
superiormente por el nmero 7:
|x 3| < 7.
Con este resultado, volvamos al producto (1.12). Ya podemos afirmar que, si x 6= 3 y |x + 3| < 1,
se debe verificar lo siguiente:
|x2 9| = |x 3||x + 3| < 7|x + 3|,
es decir:
|x2 9| < 7|x + 3|, (1.16)
siempre que
x 6= 3 y |x + 3| < 1.
Esto quiere decir que para el > 0 buscado, la desigualdad |x + 3| < deber garantizar el
cumplimiento de estas dos desigualdades. Cmo elegir ? Pues, como el ms pequeo entre los nmeros
1 y 7 : n o
= mn 1, .
7
Al hacerlo, garantizamos que
1 y ,
7
de donde, si x 6= 3 tal que
|x + 3| < ,
entonces
|x + 3| < 1 y |x + 3| < ,
7
con lo cual garantizamos que se verifique la desigualadad (1.9):
|x2 9| < . (1.9)
En resumen:
dado > 0, podemos garantizar que
|x2 9| < ,
Antes de estudiar otro ejemplo, tratemos de obtener un procedimiento para demostrar que
un nmero L es el lmite f (x) cuando x se aproxima al nmero a, a partir del que acabamos
de utilizar para encontrar el dado el .
Si leemos la demostracin realizada una vez ms, podemos resumir, en los siguientes pasos,
el procedimiento seguido:
|x2 9|
sea tan pequea como se desee (es decir, menor que ), se busca una cota superior para
el segundo factor |x 3|. En este ejemplo, se encontr que:
|x 3| < 7,
bajo el supuesto de que |x + 3| < 1. Esta ltima suposicin es realizada porque los x
deben estar cerca de 3, por lo que se decide trabajar con valores de x que estn en un
intervalo con centro en el nmero 3. En este caso, un intervalo de radio 1.
4. Para obtener |x2 9| < siempre que 0 < |x + 3| < , el resultado precedente nos dice
cmo elegir el nmero : n o
= mn 1, .
7
La eleccin de este muestra que:
|x2 9| = |x 3||x + 3|
< 7|x + 3|, pues |x + 3| < 1,
< 7, pues |x + 3| < ,
7 = , pues .
7 7
Por lo tanto:
|x2 9| < ,
siempre que n o
0 < |x + 3| < = mn 1, .
7
Generalicemos este procedimiento para probar que
L = lm f (x).
xa
18 Lmites
1. Hay que tratar de expresar el valor absoluto de la diferencia entre f (x) y el lmite L
para x 6= a de la siguiente manera:
2. Se busca una cota superior para el factor |g(x)|. Supongamos que esta cota superior sea
el nmero M > 0. Entonces, debe cumplirse la siguiente desigualdad:
|g(x)| < M.
Probablemente, para encontrar este valor M haya que suponer adicionalmente que
0 < |x a| < 1 ,
con cierto 1 > 0. Esta suposicin puede ser el resultado de trabajar con valores cercanos
al nmero a, para lo cual se decide trabajar con valores de x en un intervalo con centro
en el nmero a.
|f (x) L| = |g(x)||x a|
< M |x a|, pues |g(x)| < M debido a que |x a| < 1 ,
< M , pues |x a| < ,
M = , pues .
M M
Por lo tanto:
|f (x) L| < ,
siempre que n o
0 < |x a| < = mn 1 , .
M
Apliquemos este procedimiento en el siguiente ejemplo.
Ejemplo 1.2
Demostremos que
5x 3
2 = lm .
x3 x + 3
siempre que x 6= 3 y
|x 3| < . (1.20)
Vamos a aplicar el procedimiento descrito. Lo primero que tenemos que hacer es expresar el valor
absoluto de la diferencia entre 5x3
x+3 y 2 para x 6= 2, de la siguiente manera:
5x 3
x + 3 2 = |g(x)||x 3|.
(1.21)
Para ello, trabajemos con el lado izquierdo de la desigualdad (1.19). ste puede ser simplificado
de la siguiente manera:
5x 3 5x 3 2(x + 3)
x+3 2 =
x+3
3x 9 x 3
= = 3
x+3 x + 3
|x 3|
=3 .
|x + 3|
Es decir:
5x 3 3
x + 3 2 = |x + 3| |x 3|.
(1.22)
Entonces, si definimos:
3
g(x) = ,
x+3
ya tenemos la forma (1.21).
Lo segundo que hay que hacer es encontrar una cota superior para g(x). Es decir, debemos hallar
un nmero positivo M y, posiblemente, un nmero positivo 1 > 0 tales que:
3
< M, (1.23)
|x + 3|
siempre que
0 < |x 3| < 1 .
Para ello, como los x deben tomar valores cercanos al nmero 3, consideremos valores para x que
estn en el intervalo con centro en 3 y radio 1:
0 1 2 3 4
|x 3| < 1. (1.25)
Lo que vamos a hacer a continuacin es encontrar M reconstruyendo g(x) a partir de las desigual-
dades (1.24). Para ello, sumemos el nmero 3 a los miembros de estas desigualdades. Obtendremos lo
siguiente:
5 < x + 3 < 7. (1.26)
20 Lmites
x + 3 = |x + 3|,
es decir:
5x 3 3
x + 3 2 < 5 |x 3| < ,
(1.28)
siempre que
5
|x 3| < 1 y 0 < |x 3| < .
3
Ejemplo 1.3
Por lo tanto:
1
| x a| = |x a|. (1.30)
x+ a
Si definimos
1
g(x) = ,
x+ a
22 Lmites
|x a| < ,
|f (x) L| M |x a| (1.31)
para todos los elementos del dominio de la funcin f (con M = 1a ). Eso significa que la funcin
g del mtodo es menor o igual que la constante M en todo el dominio de f . Esto significa,
1.3 La definicin de lmite 23
entonces, que no hay necesidad de buscar un 1 para acotar g. A su vez, esto permite que el
nmero sea definido de la siguiente manera:
= .
M
Como se puede ver, esta versin del mtodo para hallar dado el funcionar siempre
que se verifique la desigualdad (1.31).
9 = lm x2 ,
x3
encontramos que n o
= mn 1, .
7
As, si tomamos = 14, entonces:
14
= mn 1, = mn{1, 2} = 1.
7
En cambio, si = 72 , entonces:
7 1 1
= mn 1, = mn{1, } = .
27 2 2
El significado del primer caso es que para que 9 pueda ser aproximado por x2 de modo que
el error de aproximacin sea menor que 14, es suficiente con elegir que x est a una distancia
de 3 menor que 1. En el segundo caso, para lograr que 9 sea aproximado por x2 con un error
ms pequeo que 72 es suficiente con que x est a una distancia de 3 menor que 12 .
Para recordar esta dependencia del nmero del nmero , se suele escribir, en la definicin
de lmite, () en lugar de solo escribir . En este libro, en aquellas situaciones en las que tener
en cuenta esta dependencia sea crtico, escribiremos delta seguido de epsilon entre parntesis.
Veamos un ejemplo ms donde obtenemos dado un , en el que se aprecia, una vez ms,
cmo depende de .
Ejemplo 1.4
y
4
x
1 1 2 3
Como se puede observar, f (x) est tan cerca del nmero 2 como se quiera si x est lo suficientemente
cerca de 1. A travs de la definicin de lmite, vamos a demostrar que esta conjetura es verdadera.
Sea > 0. Debemos hallar > 0 tal que
Para ello, debemos trabajar con el lado izquierdo de la desigualdad (1.32). Pero, como f est definida
por dos frmulas una para valores menores que 1 y otra para valores mayores que 1, vamos a
dividir el anlisis en dos casos: cuando x < 1 y cuando x > 1.
Antes de estudiar cada caso, como el lmite que nos interesa es cuando x tiende a 1, nos interesan
nicamente valores cercanos a 1. Por ello, en todo lo que sigue, suponemos que x toma valores en el
intervalo de centro 1 y radio 1; es decir, suponemos que x satisface la desigualdad |x 1| < 1, que es
equivalente a 0 < x < 2.
Por lo tanto, los dos casos a analizar son: 0 < x < 1 y 1 < x < 2.
Caso 1: 0 < x < 1. Analicemos el lado izquierdo de la desigualdad (1.32). Recordemos que para
x < 1 se tiene que f (x) = x2 + 1. Por lo tanto:
Caso 2: 1 < x < 2. Puesto que, para estos valores de x, se tiene que f (x) = 2x2 + 8x 4, el
lado izquierdo de la desigualdad (1.32) puede ser expresado de la siguiente manera:
|f (x) 2| = | 2x2 + 8x 4 2|
= |2x2 8x + 6|
= 2|x2 4x + 3| = 2|x 3||x 1|.
Ahora encontremos una cota superior para g(x). Para ello, recordemos que 1 < x < 2. De estas
desigualdades, tenemos que:
1 3 < x 3 < 2 3.
Es decir, se verifica que
2 < x 3 < 1 < 2.
Por lo tanto:
|x 3| < 2 y g(x) = 2|x 3| < 4.
Entonces, para x tal que 1 < x < 2, se verifica la desigualdad:
Conclusin. De los dos casos estudiados, podemos concluir que, si 0 < x < 2, el buscado debe
ser elegido de la siguiente manera: n o
= mn 1, , .
2 4
Pero, como
< ,
4 2
si n o
= mn 1, ,
4
se verifica la siguiente implicacin:
0 < |x a|.
Los siguientes ejemplos nos muestran porqu no es necesario tomar en cuenta al nmero
a en la definicin de lmite.
f (x) = 2x + 1.
Entonces:
3 = lm f (x).
x1
En efecto: sea > 0. Debemos encontrar un nmero > 0 tal que se verifique la igualdad
siempre que
0 < |x 1| < .
Para hallar el nmero , ya sabemos qu hacer. En primer lugar, tenemos que:
|f (x) 3| = |(2x + 1) 3|
= |2x 2|
= 2|x 1|.
De esta ltima desigualdad, se ve que, para que se verifique la desigualdad (1.37), basta elegir
el nmero tal que
2 = ,
es decir, tal que
= .
2
En efecto: si x es tal que
0 < |x 1| < = ,
2
entonces:
|f (x) 3| = 2|x 1|
< 2
= 2 = .
2
1.3 La definicin de lmite 27
En estos tres ejemplos podemos ver que, en lo que se refiere al lmite de una funcin en
un punto a, no importa el valor que pueda tomar la funcin en el punto a; incluso, la funcin
puede no estar definida en este punto. Lo que importa realmente es el comportamiento de la
funcin alrededor del punto a. Las grficas de las funciones f , g y h, que estn a continuacin,
ilustran esta ltima afirmacin:
28 Lmites
f (x)
f : R R
x 7 f (x) = 2x + 1
3
lm f (x) = 3 = f (1)
x1
1 x
g(x)
g : R R (
2x + 1 si x 6= 1
x 7 g(x) =
3 1 si x = 1
1 lm g(x) = 3 6= g(1)
x1
1 x
h(x)
h : R {1} R
x 7 h(x) = 2x + 1
3
lm f (x) = 3
x1
h(1) no existe
1 x
Podemos sistematizar la situacin que se ilustra en estos ejemplos, al mostrar que si dos
funciones solo difieren en un punto de su dominio, o bien las dos tienen lmite en dicho punto,
y es el mismo lmite, o bien ninguna tiene lmite. De manera ms precisa, se tiene el siguiente
teorema.
Teorema 1.1
Sean I y J dos intervalos abiertos y f : I R y g : J R tales que a I J y:
L = lm f (x).
xa
lm f (x).
xa
1.3 La definicin de lmite 29
g(x) = f (x)
Ejemplo 1.5
Calcular
x2 + x 2
lm .
xq x1
x2 + x 2
f (x) = .
x1
Debemos hallar una funcin g que sea igual a f , excepto en 1, y cuyo lmite conozcamos.
Esto se puede hacer, pues
x2 + x 2 (x 1)(x + 2)
f (x) = = = x + 2,
x1 x1
para todo x 6= 1. Por lo tanto, si se define
g(x) = x + 2,
sabemos que:
1. f (x) = g(x) para todo x 6= 1; y
2. lmx1 g(x) = 3.
Por lo tanto, el teorema (1.1), podemos afirmar que:
x2 + x 2
lm = lm g(x).
x1 x1 =3
Para terminar esta seccin, presentamos el siguiente teorema, que es una consecuencia
inmediata de la definicin de lmite, que es muy til en diferentes aplicaciones del concepto
de lmite.
Teorema 1.2
Sea f : Dm(f ) R. Entonces:
Pero, como
x+3 2x
3= ,
x+1 x+1
lo que hay que probar es
x
0 = lm 2 .
x0 x+1
Y, como
2 x = 2 x ,
x + 1 x + 1
1.3.4 Ejercicios
1. Demuestre, usando la definicin de lmite, que: 2. Use el teorema 1.1 para hallar los siguientes
lmites:
(a) lm (8x 15) = 9
x3
(b) lm (5x + 14) = 4 2x2 + x 3
(a) lm
x2 x1 x2 3x + 2
2x2 8
(c) lm = 8 x3
x2 x + 2 (b) lm
x9 x 9
2x2 + x 3
(d) lm 2 = 5 x2 + 5x + 4
x1 x 3x + 2 (c) lm
2 x1 x2 1
(e) lm (x + x + 1) = 3
x1 x8
(f) lm1 (9x2 + 3x + 1) = 1 (d) lm
x8 3 x 2
x 3
Las tres funciones utilizadas en la seccin precedente tienen lmite en el nmero 1. La primera
y la segunda tambin estn definidas en 1; es decir, 1 est en el dominio de f y g. Sin embargo,
en el caso de la primera, como f (1) = 3, el valor de f en 1 es igual al lmite; en el caso de la
segunda, como g(1) = 1 6= 3, esto no ocurre. Para la tercera funcin, el nmero 1 no est en
el dominio de h.
Los dibujos de estas tres funciones muestran que en el grfico de las funciones g y h hay
un salto al cruzar la recta vertical de ecuacin x = 1 (en la jerga matemtica, se suele decir
que hay un salto al pasar por 1). Si dibujramos los grficos de estas funciones, trazndolo
de izquierda a derecha, en el caso de la segunda y de la tercera, deberamos interrumpir
1.4 Continuidad de una funcin 31
o discontinuar el trazo. Para f eso no ocurrir. Por esa razn, la funcin f va a ser una
funcin continua, mientras que las otras dos no.
Lo que diferencia a f de g y h es el hecho de que, a ms de existir el lmite en 1, la funcin
est definida all y su valor es igual al lmite. sta es la definicin de continuidad:
1. a I ;
Una funcin es continua en el intervalo abierto I si es continua en todos y cada uno de los
elementos de I .
Observemos que no hace falta excluir el caso x = a, como se hace en la definicin de lmite,
porque, al ser f continua en a, si x = a, se verifica que:
Ejemplo 1.6
f (x) = c
2. f (a) = c = lm f (x).
xa
32 Lmites
Probaremos la segunda condicin nicamente, ya que con ello es suficiente para probar la primera.
Sea > 0. Debemos encontrar un nmero > 0 tal que
siempre que
|x a| < .
Ahora bien, puesto que
|f (x) c| = |c c| = 0 <
para todo x R, la desigualdad (1.39) ser verdadera cualquiera que sea el > 0 elegido. Es decir, el
nmero c es el lmite de f (x) cuando x se aproxima al nmero a.
Por lo tanto, este lmite existe, lo que prueba que la funcin constante es continua en a y, como a
es cualquier elemento del dominio de f , la funcin es continua en su dominio.
c = lm c. (1.40)
xa
Ejemplo 1.7
2. f (a) = a = lm f (x).
xa
Probaremos la segunda condicin nicamente, ya que con ello es suficiente para probar la primera.
Sea > 0. Debemos encontrar un nmero > 0 tal que
siempre que
|x a| < .
Como
|f (x) a| = |x a|,
es obvio que el nmero buscado es igual a . Si lo elegimos as, habremos probado que a es el lmite
de f (x) cuando x se aproxima al nmero a. Por lo tanto, ste lmite existe, lo que prueba que la
funcin identidad es continua en a, de donde, es continua en su dominio.
a = lm x. (1.42)
xa
Como hemos podido ver, encontrar el nmero dado el nmero no siempre es una tarea
fcil. Los ejemplos que hemos trabajado son sencillos relativamente. En general, demostrar
que un cierto nmero es el lmite de una funcin suele ser una tarea de considerable trabajo.
Por ello, el poder visualizar la definicin es de mucha ayuda para poder manipular luego las
desigualdades con los y . Esta visualizacin puede ser realizada de la siguiente manera.
En primer lugar, recordemos que la desigualdad
|x x0 | < r, (1.43)
x0 r < x < x0 + r.
Por lo tanto, el conjunto de todos los x que satisfacen la desigualdad (1.43) puede ser repre-
sentado geomtricamente por el intervalo ]x0 r, x0 + r[; es decir, por el intervalo abierto con
centro en x0 y radio r:
x0 r x0 x0 + r
dado cualquier nmero > 0, existe un nmero > 0 tal que f (x)
se encuentre en el intervalo de centro L y radio , siempre que x se
encuentre en el intervalo de centro a y radio y x 6= a.
f (x)
L+
L
L
a a a+ x
34 Lmites
A continuacin, dibujemos dos bandas: una horizontal, limitada por las rectas horizontales
cuyas ecuaciones son y = L y y = L + , y una vertical, limitada por las rectas verticales
cuyas ecuaciones son x = a y x = a + :
f (x)
L+
L
L
a a a+ x
El rectngulo obtenido por la interseccin de las dos bandas est representado por el
siguiente conjunto:
C = {(x, y) R2 : x ]a , a + [, y ]L , L + [}.
(x, f (x))
dado cualquier nmero > 0, existe un nmero > 0 tal que la grfica
de f en el conjunto ]a , a + [{a} est en el interior del conjunto C.
f (x)
L+
L
L
a a a+ x
f (x)
Con la definicin de caja, podemos decir que el conjunto C es, efectivamente, una caja
para el grfico de f centrada en el punto de coordenadas (a, L). En este caso, la caja C tiene
una altura igual a 2 y una base igual a 2.
En trminos de cajas, la definicin de lmite garantiza que:
si L es el lmite de f (x) cuando x se aproxima a a, entonces, el grfico
de f tiene cajas de todas las alturas positivas posibles centradas en el
punto (a, L).
El siguiente dibujo, muestra dos cajas para el grfico de f , ambas centradas en (a, L):
f (x) f (x)
L+ L+
L L
L
L
aaa+ x a a a+ x
Estos dos ltimos dibujos sugieren que el grfico de f tiene cajas centradas en (a, L) de
todas las alturas posibles.
A continuacin, podemos visualizar por qu las funciones f , g y h de la seccin anterior,
las que utilizamos para mostrar por qu en la definicin de lmite no importa el valor que
pueda tener (o no tener), tienen el mismo lmite:
3 3 3
1
1 x 1 x 1 x
Veamos un ejemplo.
36 Lmites
Ejemplo 1.8
Solucin.
1. En el ejemplo de la pgina 14, probamos que
9 = lm x2 .
x3
1 1
3 14
3+ 14 x
1 2 3
1 1
3 14
3+ 14 x
1 2 3
Para terminar esta seccin, veamos cmo la interpretacin geomtrica nos puede ser de
ayuda para demostrar que un cierto nmero L no es lmite de f (x) cuando x se aproxima al
nmero a.
De la definicin de lmite, decir que L no es el lmite equivale a decir que:
existe un nmero > 0 tal que, para todo nmero > 0, existe un
nmero x tal que
0 < |x a| < y |f (x) L| .
Ejemplo 1.9
Demostrar que
3
lm f (x) 6=
x1 2
si (
x si x [0, 1],
f (x) =
x+1 si x ]1, 2].
3
Solucin. Para demostrar que el nmero 2 no es el lmite de f (x) cuando x se aproxima a 1 si f est
definida de la siguiente manera:
(
x si x [0, 1],
f (x) =
x+1 si x ]1, 2],
debemos hallar un nmero > 0 tal que, para todo > 0, encontremos un nmero x Dm(f ) tal que
3
0 < |x 1| < y f (x) .
2
f (x)
2
3
2
1
1 x
Este dibujo nos permite ver que cualquier caja del grfico de f ubicada entre las rectas horizontales
de ecuaciones y = 1 y y = 2 no contendr ningn elemento del grfico de f . Recordemos que el alto
de la caja es 2: una distancia de un sobre 32 y una distancia de un bajo 32 . Por lo tanto, si elegimos
igual a 14 , la banda horizontal alrededor de 32 se vera as:
f (x)
2
3
2
1
1 x
A continuacin, podemos dibujar tres bandas verticales alrededor del nmero 1, lo que nos sugerir
que ninguna caja del grfico de f con el alto 2 elegido contendr elementos del grfico:
2 2 2
3 3 3
2 2 2
1 1 1
1 1 1+ x 1 1 1+ x 1 1 1+ x
1.5 Interpretacin geomtrica de la definicin de lmite 39
Estos dibujos nos sugieren cul debe ser el x que buscamos para el cual se verifiquen las condiciones
siguientes:
3
0 < |x 1| < y f (x) .
2
Cualquier x 6= 1 que est en el dominio de f y en el intervalo ]1, 1+[ satisfar estas dos condiciones.
Procedamos, entonces, a demostrar que el nmero 23 no es el lmite de f (x) cuando x se aproxima
a 1.
Sean = 14 y > 0. Si > 1, la banda vertical abarcara ms que el dominio de la funcin f . En
este caso, x = 0, satisfara las condiciones. En efecto:
1. x est en el dominio de f ;
2. Como x = 0, entonces x 6= 1 y
|x 1| = |0 1| = 1 < ;
Ahora, si 1, podemos elegir el nmero x que est en la mitad entre 1 y 1 . Ese nmero es:
(1 ) + 1
x= =1 .
2 2
Entonces:
1. x est en el dominio de f , pues, como
(a) 1 0, ya que 1 y
(b) 2 < , ya que > 0,
se tiene que
01 <1 < 1;
2
es decir, x [0, 1[.
2. Como > 0, entonces 2 > 0, entonces
x=1 6= 1.
2
1.5.1 Ejercicios
En los ejercicios propuestos a continuacin, se busca que el lector adquiera un dominio bsico del
aspecto operativo de la definicin de lmite, a pesar de que luego, en la prctica del clculo de lmites,
no se recurra a esta definicin, sino a las propiedades que se obtienen y se demuestran a partir de esta
definicin.
Intipamba es una pequea comunidad asentada en una meseta. Desde all, se tiene la sensacin
de poder acariciar las trenzadas montaas que, ms abajo, estn rodeadas por un lmpido cielo
azul la mayor parte del ao. El sol es un visitante asiduo de Intipamba. En algunas ocasiones
se ha quedado tanto tiempo que las tierras alrededor de Intipamba no han podido dar su
fruto, y los lugareos han tenido que ir muy lejos en busca de agua.
Los viejos ya no recuerdan cuando lleg la energa elctrica a Intipamba y los jvenes, si
no la tuvieran ya, la extraaran, pues, desde que tienen memoria, la han tenido. Pero en los
ltimos aos la energa elctrica que llega al pueblo ya no es suficiente. El gobierno les ha
dicho que llevar ms energa es muy costoso. Sin embargo, una organizacin no gubernamental
ha propuesto a la comunidad solventar la falta de energa mediante la construccin de una
pequea planta que genere energa elctrica a partir de energa solar, para aprovechar, as, el
sol de Intipamba.
Para abaratar los costos, la comunidad entera participar en la construccin de la planta.
Entre las tareas que realizarn los lugareos, est la construccin de los paneles solares. Las
especificaciones tcnicas indican que los paneles deben tener una forma rectangular, que el
largo debe medir el doble que el ancho, el cul no debe superar los tres metros, y que el rea
debe ser de ocho metros cuadrados, tolerndose a lo ms un error del uno por ciento.
Se ha decidido que cada panel tenga por dimensiones 2 y 4 metros, lo que satisface el
requerimiento de que la longitud del largo sea el doble que la del ancho. El problema en que
se encuentran los encargados de la construccin de los paneles consiste en determinar con qu
grado de precisin debe calibrarse la maquinaria que corta los paneles para que se garantice
que el rea obtenida no difiera de los ocho metros cuadrados en ms del uno por ciento.
1.6 Energa solar para Intipamba 41
En primer lugar, qu significa que el rea no difiera de los ocho metros cuadrados en ms
del uno por ciento? Ninguna mquina cortar los lados de cada panel de dos y cuatro metros
exactamente, sino que, en algunos cortes, por ejemplo, la dimensin del ancho ser un poco
menos que dos metros; en otros cortes, podra ser un poco ms; una situacin similar ocurrir
respecto de la dimensin del largo. El resultado de esto es que el rea de cada panel no ser
exactamente igual a ocho metros cuadrados.
La diferencia entre el rea real de un panel y los ocho metros cuadrados esperados se
denomina error. Esta cantidad puede ser positiva o negativa, segn el rea real sea mayor o
menor a ocho metros cuadrados. Para cuantificar nicamente la diferencia entre el rea real y
la esperada, se define el concepto de error absoluto como el valor absoluto del error. El error
absoluto no da cuenta de si el rea obtenida es mayor o menor que los ocho metros cuadrados
esperados, solo da cuenta de la diferencia positiva entre estos dos valores.
Si se representa con la letra a el nmero de metros cuadrados que mide el rea real de un
panel, el error absoluto se expresa de la siguiente manera:
La especificacin de que el rea no difiera de los ocho metros cuadrados en ms del uno
por ciento quiere decir, entonces, que el error absoluto sea menor que el uno por ciento del
rea esperada; es decir, que el error absoluto sea menor que el uno por ciento de ocho metros,
valor igual a 0.08 metros cuadrados. Por lo tanto, para que se cumpla con la especificacin
tcnica, la calibracin de la mquina debe asegurar la verificacin de la siguiente desigualdad:
|a 8| < 0.08.
sea verdadera.
1.6.2 El modelo
Qu se quiere decir con calibrar la mquina para garantizar que la desigualdad (1.46) sea
verdadera? Desde el punto de vista de la mquina, cuando sta dice que va a cortar el ancho
de dos metros, cortar, en realidad, de un poco ms de dos metros, en algunas ocasiones;
en otras, de un poco menos que dos metros. Lo mismo suceder con el largo. Esto significa
que el rea del panel obtenida en cada corte no ser, con toda seguridad, igual a ocho metros
cuadrados. La calibracin consiste, entonces, en decirle a la mquina en cunto se puede
equivocar a lo ms en el corte del largo y del ancho para que asegure a los lugareos de
Intipamba que el error absoluto en el rea del panel no difiera de ocho metros cuadrados en
ms del uno por ciento. En otras palabras, los constructores de los paneles quieren saber en
cunto la mquina puede equivocarse en el corte del largo y del ancho para que el rea del
panel no difiera en ms del uno por ciento; es decir, quieren saber el valor mximo permitido
para el error en las longitudes de los cortes, de manera que el rea no difiera en ms del uno
por ciento con el rea esperada.
El rea real de cada panel no es, entonces, constante; depender de las dos dimensiones del
panel que la mquina cortadora produzca realmente. Bajo la suposicin de que sta mquina
siempre logra cortar el largo de una longitud el doble que la del ancho, el rea real de cada
42 Lmites
panel se puede expresar exclusivamente en funcin de una de las dimensiones. Por ejemplo,
el ancho.
En efecto, los encargados de la construccin de los paneles utilizan la letra x para repre-
sentar el nmero de metros que mide el ancho real de un panel; entonces, 2x representa el
nmero de metros que mide el largo del panel. De esta manera, si el rea de cada panel es de
a metros cuadrados, a puede ser expresada en funcin de x de la siguiente manera:
a = 2x2 .
Vamos a representar con la letra A esta relacin funcional entre a y x. As, la funcin A
definida por
A(x) = 2x2
a = A(x) = 2x2 .
El problema que tienen los constructores es, entonces, saber de qu valor no debe superar
este error absoluto para asegurar que el rea del panel no difiera del uno por ciento del rea
esperada. Es decir, los constructores necesitan encontrar un nmero > 0 tal que
Ahora los lugareos de Intipamba acaban de formular un modelo matemtico del problema;
es decir, tienen una representacin mediante smbolos que, por un lado, representan elementos
del problema de construccin de los paneles, pero que, por otro lado, representan conceptos
matemticos que, en su interrelacin, plantean un problema matemtico que, al ser resuelto,
permita ofrecer una solucin al problema de los paneles solares. El modelo se puede resumir
de la siguiente manera:
2
No hay una sola manera de realizar esta eleccin; es decir, hay varias alternativas para el dominio de la
funcin A. En efecto, aunque los constructores de los paneles no saben de cunto exactamente es el ancho de
cada panel, estn seguros que no podr ser muy diferente de dos metros. Esto significa que se podra elegir
como dominio de la funcin A, por ejemplo, el intervalo [1.5, 2.5]; tambin se podra tomar el intervalo [1, 2.5].
1.6 Energa solar para Intipamba 43
A(x) = a = 2x2 .
|x 2| < (1.4)
A(x) = 2x2 ,
|x 2| < (1.4)
En esta formulacin, el significado de los smbolos que aparecen (A, x y ) carece de impor-
tancia. Solo importa que estos smbolos representan, respectivamente, una funcin, cualquier
nmero real en el intervalo ]0, 3] y un nmero real positivo.
El reto en este momento es resolver este problema. Si lo podemos hacer, usaremos la
solucin encontrada para responder la pregunta que se formularon los habitantes de Intipamba:
cul es la calibracin de la mquina que corta los paneles solares para garantizar que el rea
de los mismos no difiera de los ocho metros cuadrados en ms del uno por ciento?
Podemos aplicar el mtodo aprendido en la seccin anterior para encontrar el nmero . Sin
embargo, para resolver este problema, por tratarse de 2x2 , podemos hacer un atajo en el
mtodo.
44 Lmites
Es decir,
|2x2 8| = 2|x 2||x + 2|. (1.47)
Ahora debemos acotar g(x) = 2|x + 2|. Para ello, recordemos que x representa un nmero
que pertenece al dominio de la funcin A, es decir, x est en el intervalo ]0, 3]. Por lo tanto,
se verifican las desigualdades siguientes:
0 < x 3.
2 < x + 2 5. (1.48)
x + 2 = |x + 2|,
|x + 2| 5. (1.49)
Por lo tanto:
g(x) 10.
Entonces, de la igualdad (1.47), concluimos que:
|x 2| < ,
entonces:
|2x2 8| < 10,
para x (0, 3].
Por lo tanto, para que se verifique la desigualdad (1.5), podemos elegir de modo que:
10 = 0.08.
|x 2| < ,
1.6 Energa solar para Intipamba 45
10 < 0.008,
de donde
|2x2 8| < 0.08.
Es decir, todo los nmeros positivos menores que 0.008 aseguran el cumplimiento de la de-
sigualdad (1.5).
El problema matemtico ha sido resuelto. La solucin puede resumirse as:
0.008,
Observemos tambin que hemos hecho algo ms que resolver este problema particular.
Si en lugar de 0.08, tuviramos cualquier nmero positivo , lo que hemos demostrado es lo
siguiente:
|2x2 8| < .
1.6.6 Eplogo
1.6.7 Ejercicios
1. PRODAUTO es una empresa productora de ha previsto que, dadas las condiciones varia-
automviles. La gerencia ha establecido que el bles del mercado, habrn variaciones del nivel
costo de produccin mensual, expresado en mi- de produccin. Esto significa que los correspon-
les de dlares, de n vehculos puede ser obte- dientes costos de produccin variarn.
nido aproximadamente a travs de la siguiente
frmula: Luego de un anlisis de los flujos de caja y te-
2 niendo en cuenta la predisposicin de los inver-
C = 2000 + 11n 0.000 12n .
sionistas, se ha establecido que las variaciones
Actualmente, el nivel de produccin mensual del monto que se puede destinar a financiar los
es de 5 000 vehculos. El equipo de la gerencia costos de produccin debern ser menores a 4
1.7 Propiedades de los lmites 47
millones de dlares por mes. Como la planifica- A pesar de que el nivel mximo es de 35m, han
cin del trabajo, compra de insumos, planes de recomendado mantener el nivel en valores cer-
ventas, entre otras actividades de PRODAU- canos a 25 metros.
TO dependen del nivel de produccin, el equi- En la poca de estiaje es recomendable tener
po de la gerencia debe establecer un margen disponible la energa acumulada de este embal-
para el nivel de produccin actual, sabiendo se, pero, al ser necesaria la operacin de la cen-
que este nivel no puede variar en ms de 500 tral hidroelctrica, se ha decidido permitir que
autos mensualmente. Determinar el margen de las variaciones de la reserva de energa diarias
variacin para el nivel de produccin actual. sean menores a 500 MWh. Una manera sim-
2. Los constructores de una central hidroelctri- ple de controlar el cumplimiento de esta res-
ca de reserva han establecido que la relacin triccin es evitar variaciones muy grandes del
existente entre la altura h metros del espejo de nivel de agua, de modo que se garantice que se
agua del reservorio respecto al nivel mnimo de respetarn las restricciones a las variaciones de
operacin y la energa acumulada E Mwh que la reserva de energa. Determinar la variacin
se puede generar si se activan una o ms tur- de la altura del agua permitida para asegurar
binas, segn las necesidades planteadas por la que la variacin de la energa disponible est
demanda, viene dada por la siguiente frmula: siempre por debajo de los 500 Mwh.
E = 75h + 10h2 0.2h3 .
La definicin de lmite nos permite verificar si un nmero es el lmite o no de una funcin. Sin
embargo, no nos permite encontrar el lmite de una funcin. Las propiedades de los lmites
que vamos a estudiar en esta seccin son, en realidad, un conjunto de reglas de clculo de
lmites a partir del conocimiento de los lmites de algunas funciones.
Por ejemplo, demostramos que el lmite de una constante es la misma constante y que a
es el lmite de x cuando x se aproxima al nmero a. Probaremos ms adelante que, cuando x
se aproxima al nmero a, si L es el lmite de f (x) y M es el lmite de g(x), entonces LM es
el lmite de f (x)g(x). De estos tres resultados, podremos concluir quesin ms trmite que
su aplicacin inmediata, para una constante cualquiera k, el nmero ka2 es el lmite de kx2
cuando x se aproxima al nmero a.
Vamos a ver que un conjunto relativamente pequeo de reglas de clculo nos permitirn
obtener los lmites de una gran variedad de funciones.
Los dos teoremas siguientes dan las herramientas necesarias para poder calcular el lmite
de cualquier funcin racional
P (x)
f (x) = ,
Q(x)
donde P y Q son polinomios, cuando x se aproxima al nmero a y este nmero no es un cero
de Q.
El primer teorema ya lo demostramos. La prueba del anterior y de la mayora de los
siguientes, se presentarn en el siguiente captulo.
El siguiente teorema muestra que el lmite de una funcin preserva las operaciones de
suma, producto e inverso multiplicativo de funciones, pues el lmite de la suma, del producto
y del inverso multiplicativo siempre es igual a la suma, producto e inverso multiplicativo de
los lmites, siempre y cuando estos lmites existan y, en el caso del inverso multiplicativo, el
lmite sea diferente de cero.
L + M = lm (f (x) + g(x)).
xa
LM = lm (f (x)g(x)).
xa
1
3. Lmite del inverso multiplicativo: si M 6= 0, existe el lmite de y:
g(x)
1 1
= lm .
M xa g(x)
Por ejemplo, si a 6= 0, por la tercera parte de este teorema, podemos afirmar que
1 1
= lm ,
a xa x
pues, de la segunda parte del teorema del lmite de la funcin identidad (teorema 1.5), podemos
asegurar que
a = lm x.
xa
Ms adelante, calcularemos una gran variedad de lmites con el uso de estos teoremas.
Ahora hagamos la demostracin del primer numeral.
Demostracin. Sea > 0. Debemos probar que existe un nmero > 0 tal que
siempre que
0 < |x a| < y x Dm(f + g) = Dm(f ) Dm(g).
Para todo x Dm(f + g), tenemos que:
|f (x) L| y |g(x) M |.
para el x adecuado.
Ahora bien, estas dos diferencias s pueden hacerse tan pequeas como se quiera, pues L
es el lmite de f (x) y M el de g(x) cuando x se aproxima al nmero a. De manera ms precisa,
para obtener la desigualdad (1.51), es suficiente encontrar el x adecuado para que
|f (x) L| y |g(x) M |
= mn{1 , 2 },
L = lm f (x) y M = lm g(x),
xa xa
entonces:
1. Lmite del producto de un escalar por una funcin: existe el lmite de f (x) y:
L = lm (f (x)).
xa
L M = lm (f (x) g(x)).
xa
L + M = lm (f (x) + g(x)).
xa
f (x)
4. Lmite del cociente: existe el lmite de g(x) , siempre que M 6= 0. Entonces:
L f (x)
= lm .
M xa g(x)
Ejemplo 1.10
Calcular
x+3
lm .
x2 x5
2. Existe el lmite
lm (x).
x2
(x) lm (x)
lm = x2
x2 (x) lm (x)
x2
5
= .
3
Es decir,
x+3 5
lm = .
x2 x5 3
Ejemplo 1.11
s2 21
Calcule lm si existe
s7 s+2
Solucin. Para aplicar el teorema del lmite del cociente necesitamos saber si existen los lmites de las
funciones numerador y denominador, y si el lmite del denominador es distinto de 0. Empecemos con
el numerador:
lm (s + 2) = lm s + lm 2
s2 s7 s7
= 7 + 2 = 9 6= 0.
s2 21 lm (s2 21)
s7
lm =
s7 s + 2 lm (s + 2)
s7
28
= .
9
Ejemplo 1.12
Solucin.
lm (2t + 3)(3t2 5) = lm (2t + 3) lm (3t2 5)
t1 t1 t1
= lm 2t + lm 3 lm 3t2 + lm (5)
t1 t1 t1 t1
2
= 2 lm t + lm 3 3 lm t + lm (5)
t1 t1 t1 t1
h ih i
= 2 lm t + lm 3 3 lm t lm t + lm (5)
t1 t1 t1 t1 t1
= (2 1 + 3)(3[1 1] + (5))
= (2 + 3)(3 5) = 10.
Entonces
lm (2t + 3)(3t2 5) = 10.
t1
Ejemplo 1.13
4
Calcule lm y 1 si existe.
y0 y
Solucin. Si intentamos calcular el lmite como producto de lmites no podramos hacerlo, ya que
no tenemos an a disposicin ninguna herramienta que nos diga como obtener el lmite del primer
factor. En situaciones como sta, es necesario efectuar una manipulacin algebraica previa al clculo
del lmite:
4 4
lm y 1 = lm yy
y0 y y0 y
= lm (4 y) = 4 0 = 4.
y0
De donde:
4
lm y 1 = 4.
y0 y
1.7 Propiedades de los lmites 53
1.7.1 Ejercicios
1. En los siguientes ejercicios, calcule el lmite da- (h) lm 2x3 (x4 + 3x3 )1 .
x0
do si l existe. De ser necesario, realice primero
1 2x2 5x 1
una manipulacin algebraica. (i) lm + .
x0 x x
(a) lm (2x2 3x + 2).
x2 (j) lm (ar2 br)3 con a y b constantes. No
r1
x2 + x 1 desarrolle el cubo.
(b) lm . 1
x2 3x + 1 (k) lm (x + h)3 x3 .
x + 3 h0 h
(c) lm .
x3 2x 7 2. Calcule los lmites dados usando las propieda-
t3 1 des de los lmites. Indique qu propiedades us.
(d) lm .
t1 t 1
(a) lm 7.9
3z + 9 x3
(e) lm .
z3 36 4z 2 (b) lm (4x 8)
x5
1
(f) lm x . (c) lm (x5 7x + 1)
x0 x1 x2
3x 7
t3 + 1 (d) lm
(g) lm . x0 7x2 + 8
t1 t2 1
1.7.2 Generalizaciones
Los teoremas y el corolario sobre las propiedades algebraicas de los lmites y de la continuidad
estn formulados para las propiedades de dos funciones: la suma de dos funciones, el produc-
to, etctera. En el siguiente teorema se generalizan los anteriores para cualquier nmero de
funciones.
Li = lm fi (x)
xa
1. lm P (x) = P (a).
xa
P (x) P (a)
2. lm = , siempre que Q(a) 6= 0.
xa Q(x) Q(a)
Del lmite del producto generalizado, se obtiene que si f (x) tiene L como lmite cuando x
se aproxima al nmero a, entonces Ln es el lmite de f n (x). Esto tambin es verdadero para
el caso de la raz n-sima, aunque la demostracin de esta propiedad, que no se deriva del
teorema anterior, no es elemental.
p
n
q
n
lm f (x) = n lm f (x) = L.
xa xa
Ejemplo 1.14
p
Calcule lm 2x2 7 si existe.
x4
Solucin. El lmite pedido existir si existe el lm (2x2 7) y si ste es positivo. Entonces, calculemos
x4
primero dicho lmite:
lm (2x2 7) = 2 lm x2 + lm (7)
x4 x4 x4
= 2(4)(4) 7 = 25 > 0.
Por lo tanto:
p
lm 2x2 7 = 5.
x4
1.8 El lmite de una composicin: cambio de variable 55
Ejemplo 1.15
Calcule lm 3
x 7 si existe.
x3
Solucin. A diferencia del ejercicio anterior, y por ser raz impar, basta que exista el lm (x 7). Como
x3
lm (x 7) = 4,
x3
entonces
3
q
lm x 7 = 3 lm (x 7)
x3 x3
3
3
= 4 = 4.
Por lo tanto:
3 3
lm x 7 = 4.
x3
1.7.3 Ejercicios
s
3
x2 10 2x2 x + 3
2. lm . 6. lm
x2 x3 3 x1 x2 + x + 1
r
3 1 3x 5
3. lm (t + 2) 2 (2t + 4) 3 . 7. lm 3
t2 x2 2
2x x + 1
x+h x
4
x3 3x + 2
4. lm , x > 0. 8. lm
h0 h x1 3 1 2x + x4
Ms adelante, en este captulo, probaremos que la funcin sen es continua en R. Por lo tanto,
se cumplir que:
lm sen x = sen 0 = 0.
x0
lm sen (x2 1)
x1
g(x) 6= b
para todo x ]a r, a + r[.
Ejemplo 1.16
Calcular
lm sen(x2 1).
x1
Solucin. Sean f y g definidas por f (x) = sen x y g(x) = x2 1. Adems, hagamos a = 1. Entonces:
lm sen(x2 1) = lm f (g(x)).
x1 x1
Veamos si las funciones f y g satisfacen las condiciones del teorema 1.13. En primer lugar, determi-
nemos si el lmite de g(x) existe cuando x tiende a 1:
lm g(x) = lm (x2 1)
x1 x1
= ( lm x)2 lm 1
x1 x1
2
= 1 1 = 0.
Entonces:
0 = lm g(x).
x1
Por lo tanto, b = 0.
Ahora debemos determinar si f es continua en 0, o si existen lmx0 f (x) y un intervalo centrado
en 1 en el cual g es diferente de 0 (salvo, tal vez, en 1).
Como la funcin f es la funcin sen, entonces f es continua en 0 y, adems:
lm f (g(x)) = lm f (y)
x1 y0
= lm sen y = 0.
y0
Es decir:
lm sen(x2 1) = 0.
x1
Ejemplo 1.17
Calcular
sin(2x)
lm .
x0 x
Si definimos f por:
sen y
f (y) = 2 ,
y
lo que debemos calcular es:
sin(2x)
lm = lm f (g(x).
x0 x x0
58 Lmites
lm g(x)) = lm 2x = 2 lm x = 2 0 = 0.
x0 x0 x0
Por lo tanto, b = 0.
Para poder aplicar el teorema, nos falta determinar si f o bien es continua en 0 o si existe su
lmite en b = 0 y, en un intervalo centrado en a = 0, la funcin g es diferente de b = 0 (salvo, tal vez,
en 0).
Ahora bien, dado que f no est definida en 0, no puede ser continua en 0. Es decir, la primera
condicin no se verifica. Veamos si se cumple la segunda.
En primer lugar, s existe el lmite de f en 0, pues
sen y sen y
lm f (y) = lm 2 = 2 lm = 2 1 = 2.
y0 y0 y y0 y
sin(2x)
lm = lm f (g(x))
x0 x x0
= lm f (y) = 2.
y0
Es decir:
sin(2x)
lm = 2.
x0 x
En este segundo ejemplo, la funcin f del teorema 1.13 satisface la segunda condicin y no la
primera. Sin embargo, el lmite de este ejemplo puede ser resuelto aplicando la primera condicin si
se define f de tal manera que s sea continua en 0.
En efecto, si definimos
(
2 sen
y
y
si y 6= 0,
f (y) =
2 si y = 0,
entonces la funcin f s es continua en 0, pues est definida en dicho punto, y su valor all es 2, y el
lmite de f en 0 es 2.
Obviamente, al aplicar el teorema de cambio de variable a esta f , obtenemos el mismo resultado
que con la definicin anterior.
sen(2x) sen(2x)
lm = lm 2
x0 x x0 2x
sen(2x)
= 2 lm
x0 2x
sen(y)
= 2 lm = 2 1 = 2,
y0 y
Ejemplo 1.18
Sean ( (
4 si t 6= 1 1 si x 6= 2
f (t) = y g(x) =
3 si t = 1, 0 si x = 2.
Demostrar que
lm f (g(x)) 6= lm f (t).
x2 t1
Es decir, el teorema 1.13 del cambio de variable no es aplicable para calcular el lmite de la
compuesta de f con g en 2.
lm g(x) = 1,
x2
lm f (t) = 4.
t1
Por lo tanto:
lm f (g(x)) = 3.
x2
Y, como 3 6= 4, entonces:
lm f (g(x)) 6= lm f (t).
x2 t1
Aplicar el teorema del cambio de variable (o cualquier teorema) sin verificar que las hip-
tesis requeridas se satisfacen puede conducirnos a un error. Y, aunque no lo hiciera, hacerlo
es un error, porque no sabemos si el resultado obtenido es correcto o no.
Veamos algunos ejemplos adicionales en los que s se puede aplicar el teorema del cambio
de variable.
Ejemplo 1.19
Sean ( (
3 si x 6= 1 0 si x 6= 2
f (x) = y g(x) =
4 si x = 1, 1 si x = 2.
Utilizar el teorema del cambio de variable, si es aplicable, para mostrar que
lm f (g(x)) = f ( lm g(x))
x2 x2
Solucin.
En primer lugar, calculemos el lmite de la composicin sin utilizar el teorema del cambio de
variable. Luego lo aplicamos y miramos que el resultado obtenido es el mismo.
60 Lmites
Puesto que ( (
f (0) si x 6= 2 3 si x 6= 2
f (g(x)) = =
f (1) si x = 2 4 si x = 2,
entonces
lm f (g(x)) = lm 3 = 3.
x2 x2
Por lo tanto:
f lm g(x) = f (0) = 3.
x2
Podemos llegar a la misma conclusin al aplicar el teorema de cambio de variable, pues existe el
limite de f (y) cuando y se aproxima a 0 y es igual a 3; existe el lmite de g(x) cuando x se aproxima
a 2 y es igual a 0. Como f es continua en 0, el teorema es aplicable con a = 2 y b = 0.
Ejemplo 1.20
2 tan(x2 1)
Probar que, si f (x) = , entonces
x4 x2
lm f (x) = 2.
x1
Solucin. Sean
2 sen(x2 1)
k(x) = y h(x) = .
x2 cos(x2 1) x2 1
Como f (x) = k(x)h(x) tenemos que:
lm f (x) = lm k(x) lm h(x) ,
x1 x1 x1
pues podemos aplicar el teorema de la composicin, dado que la funcin cos es continua en R, como
lo probaremos ms adelante, y:
lm (x2 1) = 12 1 = 0.
x1
Por consiguiente, usando el teorema de las propiedades algebraicas de los lmites se tiene:
2 2
lm k(x) = = = 2.
x1 (lmx1 x2 ) (lmx1 cos(x2 1)) (1)(1)
Para calcular lmx1 h(x), notemos que h(x) = j(x2 1). En este caso, utilicemos el cambio de
variable t = g(x) = x2 1, para la cual conocemos que
lm t = lm g(x) = lm (x2 1) = 0.
x1 x1 x1
1.9 El teorema del sandwich 61
Como la funcin j no es continua en 0, para utilizar el teorema de cambio de variable, debemos probar
que g es distinta de 0 en un intervalo centrado en 1, excepto quizs en 1. El intervalo puede ser [0, 2],
pues, all, tenemos que
g(x) = x2 1 6= 0
si x 6= 1 (pues g se hace 0 nicamente en 1 y en 1). Por el teorema de cambio de variable tenemos
que:
lm h(x) = lm j(x2 1) = lm j(t) = 1.
x1 x1 t0
Por lo tanto:
lm f (x) = lm k(x) lm h(x) = 2 1 = 2.
x1 x1 x1
1.8.1 Ejercicios
1. Use el teorema del cambio de variable para cal- 4. Si existe, halle el valor del lmite dado. Haga
cular los lmites dados, justificando su uso en uso de las siguientes igualdades, cuya validez
cada caso. ser demostrada ms adelante:
sen(x2 4)
(a) lm . sen x 1 cos x
x2 x4 16 lm =1 y lm = 0.
p x0 x x0 x
(b) lm x2 3x + 4.
x1
p3 sen 3s
(c) lm x2 2x + 2. (a) lm .
x1
r
s0 5s
x + 8 tan 8t
(d) lm . (b) lm .
x0 x+2 t0 7t
2. Pruebe que si f no es continua, no se puede sen x + cos x
(c) lm .
usar el teorema del cambio de variable para x0 3 + cos x
calcular el lmite
sen(x2 1)
(d) lm .
1 x1 x2 3x + 2
lm f x sen ,
x0 x
2x2 + x 10
aunque se conozca que existe lm f (y) = L. (e) lm .
y0 x2 tan(2 x)
Con las propiedades sobre los lmites que hemos desarrollado hasta ahora, no es posible que
probemos que esta igualdad es verdadera.
En efecto, no podemos aplicar el lmite de un cociente, porque el lmite del denominador
es igual a 0. Por otro lado, no se vislumbra un cambio de variable que nos conduzca a algn
lmite ya calculado.
62 Lmites
En esta seccin, vamos a enunciar un teorema, conocido como el teorema del sandwich,
que nos proveer de una herramienta muy til para el clculo de lmites. En el siguiente
captulo, demostraremos la validez de este resultado.
Antes de enunciar el teorema, veamos cul es la idea subyacente a l. Para ello, analicemos
el caso del lmite
sen x
1 = lm .
x0 x
La interpretacin geomtrica de las funciones sen, cos y tan nos permiten establecer las
siguientes desigualdades:
sen x 1
0 < cos x <
< .
x cos x
Para demostrarlas, consideremos un crculo de centro O y radio igual a 1, como los que se
muestran en la siguiente figura:
P
R
sen x
x Q
A P
O x cos x C
tan x
x
x
P A
O
Entonces, si x es la medida en radianes de un ngulo agudo, entonces sen x, cos x y tan x son
las medidas de los segmentos CP , CO y AQ, respectivamente.
Adicionalmente, tenemos que:
1. OA = OP = OP = OR = 1.
2. La longitud de la cuerda P P es menor que la longitud del arco P AP . Puesto que
CP = CP = sen x, la desigualdad entre la cuerda y el arco se traduce en la siguiente
desigualdad:
2 sen x < (P AP ), (1.54)
donde (P AP ) indica la longitud del arco P AP .
3. La longitud de la lnea quebrada AQR es mayor que la longitud del arco AP R . Como
AQ = RQ = tan x, la desigualdad se traduce en:
(AP R ) < 2 tan x. (1.55)
4. Puesto que la longitud del arco AP es la mitad de la longitud del arco P AP y la
longitud del arco AP es la mitad de la longitud del arco AP R , las desigualdades (1.55)
y (1.54) implican las siguientes desigualdades:
sen x
(AP ) < y sen x < (AP ).
cos x
Por lo tanto, se deben verificar las siguientes desigualdades:
dades implican las siguientes:
sen x
cos x < < 1. (1.56)
(AP )
5. La longitud del arco AP es igual a x, pues, por la definicin de radin, se verifica que:
(AP ) = OAx = 1 x = x.
Teorema 1.14 (Teorema del sandwich o de los dos gendarmes, o principio de intercalacin)
Sean a R, f : Dm(f ) R, g : Dm(g) R, h : Dm(h) R tres funciones tales que sus
dominios contienen un intervalo abierto I centrado en a, excepto quizs el punto a.
Supongamos que:
f (x) g(x) h(x), para todo x I
y que
L = lm f (x) = lm h(x).
xa xa
Entonces
L = lm g(x).
xa
L = 1 = lm f (x) = lm h(x).
x0 x0
Ejemplo 1.21
Calcular
1
lm x2 sen2 y lm x cos .
x0 x x0 x
Solucin.
1. Si definimos f , g y h tales que
g(x) = 0, f (x) = x2 sen2 y h(x) = x2 ,
x
tenemos que, para todo x 6= 0:
g(x) f (x) h(x).
Como
lm g(x) = lm h(x) = 0,
x0 x0
lm f (x) = 0.
x0
2. Definamos:
1
g(x) = 0, f (x) = x cos
y h(x) = |x|.
x
Tenemos que, para todo x 6= 0:
g(x) f (x) h(x).
Por consiguiente:
1
lm |f (x)| = lm |x cos | = 0.
x0 x0 x
Puesto que (ver el teorema (1.2))
lm (x) = 0 lm |(x)| = 0,
xa xa
Como otro ejemplo, demostremos que las funciones sen y cos son continuas. El teorema
del sandwich ser de ayuda para ello.
Ejemplo 1.22
Las funciones sen y cos son continuas en R. Y, por lo tanto, las otras cuatro funciones
trigonomtricas son tambin continuas en sus respectivos dominios.
Solucin.
1. En primer lugar, probemos que sen es continua en 0. Para ello, probemos que
lm sen x = 0.
x0
La certeza de esta desigualdad puede ser obtenida del procedimiento seguido para probar que el
cociente senx x est acotado entre cos x y 1, desarrollado en pginas anteriores.
Por el teorema del sandwich y el teorema (1.2) tenemos que:
lm | sen x| = lm 0 = lm |x| = 0.
x0 x0 x0
Por lo tanto, otra vez por el teorema (1.2), podemos afirmar que
lm sen x = 0.
x0
2. Ahora probemos que cos es continua en 0. Para ello, debemos probar que
lm cos x = 1.
x0
66 Lmites
1.9.1 Ejercicios
Como una aplicacin de la propiedad arquimediana de los nmeros reales, sabemos que para
todo x R, existe un nico nmero entero n tal que
n x < n + 1. (1.58)
A este nmero n se le denomina el suelo de x. Por ejemplo, el suelo de 32.45 es 32, pues
32 32.45 < 33.
En este caso, n = 32.
En el caso de que x sea mayor que 0, el suelo de x ser la parte entera de su representacin
decimal. Por ello, al nmero n tambin se le conoce como la parte entera de x y se le suele
representar3 con x.
Dado un x R, la unicidad del nmero n que satisface las desigualdades (1.58), nos
permite definir la funcin suelo de la siguiente manera:
: R Z
x 7 x = n,
donde n satisface las desigualdades (1.58).
El lector puede constatar por s mismo que dibujar el grfico de la funcin suelo es muy
sencillo. Deber obtener algo similar al siguiente dibujo:
y
3
3 2 1 1 2 3
x
1
3
La notacin [x] tambin suele ser utilizada para representar la parte entera del nmero x.
1.10 Lmites unilaterales 67
W (n) = lg(n + 1) + 1
comparaciones del valor que busca con los valores que estn en la lista, donde n es el nmero
de elementos en la lista y lg es la funcin logaritmo en base 2.
En el caso del ejemplo, n = 106 . Entonces
1 = lm x cuando x > 1
x1
y que
0 = lm x cuando x < 1.
x1
L = lm f (x),
xa+
|f (x) L| < ,
L = lm f (x),
xa
|f (x) L| < ,
1 = lm x y 0 = lm x.
x1+ x1
Entonces:
lm x 6= lm x,
x1+ x1
Teorema 1.15
L es el lmite de f (x) cuando x se aproxima al nmero a si y solo si existe los dos lmites
unilaterales y son iguales a L.
Las propiedades de los lmites que enunciamos en teoremas anteriores se verifican tambin
para los lmites unilaterales con las evidentes modificaciones en cada caso.
Con la nocin de lmites unilaterales se puede definir la continuidad por la derecha y por
la izquierda mediante la siguiente modificacin de la definicin de continuidad: en lugar de
que f (a) sea el lmite de f (x) cuando x se aproxima a a, hay que cambiar, en el caso de la
continuidad por la derecha, que x se aproxima a a por la derecha; lo mismo para el caso de la
continuidad por la izquierda. Es inmediato de esta definicin que una funcin ser continua
en un punto si y solo si es continua por la derecha y por la izquierda del punto. Este hecho lo
expresamos en el siguiente teorema.
Teorema 1.16
Una funcin es continua en a si y solo si es continua en a por la derecha y es continua en a por
la izquierda.
1.10 Lmites unilaterales 69
Ejemplo 1.23
Sea f : [0, +[ [0, +[ definida por f (x) = x. Entonces f es continua en 0 por la
derecha.
Ejemplo 1.24
Sea
2
2x 1
si x > 1
f (x) = 2 si x = 1
2
x + 3x si x < 1
Es f continua en 1, por la derecha de 1, por la izquierda?
Solucin. Para saber si es continua en 1, veamos si es continua por la izquierda y por la derecha. Para
ello, calculemos lmx1 f (x) y lmx1+ f (x). En primer lugar:
lm f (x) = lm (x2 + 3x),
x1 x1
= (1)2 + 3 1 = 2.
En segundo lugar, como f (x) = 2x2 1 si x > 1, entonces:
lm f (x) = lm (2x2 1)
x1+ x1
= 2(1)2 1 = 1.
Por lo tanto:
lm f (x) = f (1) = 2 6= 1 = lm f (x).
x1 x1+
En conclusin, f es continua en 1 por la izquierda, pero no lo es por la derecha, ni tampoco es
continua en 1.
70 Lmites
Ejemplo 1.25
Solucin.
Sean x y n tales que f (x) = n. Entonces:
n x < n + 1.
Por lo tanto, f es constante en ]n, n+ 1[, por lo que es continua en cualquier intervalo entre dos enteros
consecutivos.
Veamos ahora que no es continua en ningn entero. Para ello calculemos los lmites laterales en
n. Para empezar:
lm f (x) = lm n = n = f (n).
xn+ xn
lm f (x) = lm (n 1) = n 1 6= f (n).
xn xn
Ejemplo 1.26
Solucin.
Sean f definida por f (x) = x y h definida por h(x) = x para todo x R. Entonces g = h f ,
pues
g(x) = h(x) f (x) = x x.
Si g fuera continua en n Z, como h es continua en R, es continua en n. Por lo tanto: g + h sera
continua en n. Pero f = h g sera continua en n, ya que h y g lo son. Pero sabemos por el ejercicio
anterior que f no es continua en ningn entero. Por lo tanto, g no puede ser continua en n.
Por qu el nmero g(x) es llamado la parte fraccionaria de x?
1.10.1 Ejercicios
para todo x R.
7. Pruebe que no existe el lmite dado.
3. Estudie la continuidad de la funcin f cuyo do-
minio es R y definida por f (x) = x x + 1. (a) lm f (x), si
x1
4. Calcule los lmites siguientes, si existen. En los
casos en que no exista el lmite, demustrelo: (
x 3 si x < 1
f (x) =
x1 2x + 1 si x > 1.
(a) lm+ 2 .
x1 x 3x + 2
1x 2x + 1
(b) lm 2 . (b) lm .
x1+ x 3x + 2 x4 4
x2
x+1 1
(c) lm 2 . (c) lm 2 .
x2 x 3x + 2 x1 x 5x + 4
2x2 x + 6
(
(d) lm 2 . x+1 si x < 0
x2 x 3x + 2 (d) lm f (x), si f (x) =
x0 2x 3 si x > 0.
5. Diga si la funcin f es continua en 1 por la
derecha o por la izquierda: 8. Con ayuda de las propiedades de la funcin lg
2 se puede probar, sin recurrir al uso de una cal-
x 3x + 1 si x > 1
culadora electrnica, el valor de W (106 ), dado
(a) f (x) = 1 si x = 1
2
por:
2x + x + 1 si x < 1. W (106 ) = lg(106 + 1) + 1.
x1
si x > 1 En primer lugar, el lector debe constar median-
(b) f (x) = 1 si x = 1 te un clculo directo que
2
x 3x + 3 si x < 1.
1 219 < 106 + 1 < 220 .
x1
si x > 1
(c) f (x) = 0 si x = 1 A continuacin, debe recordar que la funcin lg
x23x+2 si x < 1. es estrictamente creciente y lg(x) es el nmero
1x
( real al que hay que elevar 2 para obtener x. Es
x2 + x 2 si x > 1 decir:
(d) f (x) =
1 x2 si x 1. y = lg(x) x = 2y .
6. Use las definiciones de lmites laterales para Esta informacin es suficiente para obtener el
probar que: valor exacto de W (106 ).
Cuando una funcin tiene lmite en un punto, se dice que la funcin converge al lmite en ese
punto. Cuando la funcin no tiene lmite, se dice que diverge. Por ejemplo, la funcin suelo
diverge en todo nmero entero.
Hay varias maneras de divergir. Una como la de la funcin suelo. Otra, cuando la fun-
cin crece indefinidamente o decrece indefinidamente. En ese caso se dice que la divergencia
es al infinito, o que el lmite es infinito. Por ejemplo, probaremos que f (x) = x12 crece
indefinidamente cuando x tiende a 0.
Por otra parte, puede suceder que un nmero est tan cerca como se quiera de f (x) cuando
72 Lmites
En 1905, Albert Einstein corrigi un error que encontr en las leyes del movimiento enunciadas
por Newton doscientos aos atrs.
En efecto, la segunda ley de Newton asume implcitamente que la masa de un cuerpo es
constante. Sin embargo, Einstein descubri que la masa de un cuerpo vara con su velocidad4 .
De manera ms precisa, Einstein estableci que la masa de un cuerpo es una funcin de
su velocidad, que puede ser calculada a travs de la siguiente igualdad:
m0
m(v) = q ,
2
1 vc2
f (x) > R,
f (x) < R,
En los ejemplos y en los ejercicios de esta seccin, veremos definiciones anlogas a los
lmites laterales para el caso de lmites infinitos.
Veamos algunos ejemplos.
4
Un tratamiento conceptual, profundo, pero al mismo tiempo sencillo, se encuentra en el libro de Richard
Feynman, "The Feynman Lectures on Physics", en el captulo 15 del primer volumen.
1.11 Lmites infinitos y al infinito 73
Ejemplo 1.27
1
Probar que lm = +.
x0 x2
1
>R (1.59)
x2
1 1
> R x2 <
x2 R
1
0 < |x| < .
R
Por lo tanto:
1 1
2
> R 0 < |x| < . (1.60)
x R
Esta ltima equivalencia nos garantiza que el nmero buscado es:
1
= ,
R
pues, si se elige x de modo que 0 < |x| < , por las equivalencia (1.60), se verifica la desigualdad (1.59).
Por lo tanto, hemos probado que:
1
lm = +.
x0 x2
En el siguiente ejemplo, se requiere un trabajo mayor para encontrar el nmero que exige
la definicin de lmite infinito. Para encontrarlo, las siguientes reflexiones sobre este concepto
son de mucha ayuda.
Supongamos que
lm f (x) = +.
xa
Entonces, dado un nmero real R > 0, por la definicin de lmite, podemos asegurar la
existencia de un nmero > 0 tal que
f (x) > R
Teorema 1.17
Si
lm f (x) = +,
xa
Esta caracterstica de una funcin cuando tiende a ms o menos infinito, reduce el espacio
de bsqueda del nmero .
En efecto, en el caso de que se quiera demostrar que f (x) tiende a +, el anlisis para la
bsqueda del nmero solo debe reducirse al subconjunto del dominio de f en la que sta es
positiva. En el caso de que sea , el anlisis se realiza en el conjunto donde f sea negativa.
En otras palabras, conocer los valores de x donde f (x) es positiva o es negativa es de mucha
ayuda a la hora de buscar el nmero . Veamos cmo se puede hacer esto en el siguiente
ejemplo.
Ejemplo 1.28
(5 x)(1 x)
Pruebe que lm = .
x2 (x 2)2
Solucin.
(5 x)(1 x)
Sean f (x) = y R < 0. Debemos hallar > 0 tal que
(x 2)2
f (x) < R, (1.61)
0 < |x 2| < ,
(5 x)(1 x) < 0.
1.11 Lmites infinitos y al infinito 75
(5 x)(1 x) < M
La verdad de la ltima equivalencia se puede determinar si se considera que el grfico del polinomio
(x 5)(x 1) es una parbola convexa que corta el eje x en los abscisas 1 y 5, por lo que la parte de
la parbola que est bajo el eje x est entre 1 y 5, como se muestra en el siguiente dibujo:
y
x
1 2 3 4 5
El grfico de y = (5 x)(1 x)
En resumen, la funcin f es negativa en el intervalo ]1, 5[{2}. Es decir, vemos que
f (x) < 0,
de donde
3 5
<x< . (1.64)
2 2
3 5
Como para estos valores de x, f (x) < 0, si x 6= 2, entonces, busquemos M enel intervalo 2, 2 .
3 5
Para ello, definamos g(x) = (5 x)(1 x). Sabemos que, en el intervalo 2 , 2 , el grfico de g es
una parbola, como se mostr anteriormente. El mnimo de g en este intervalo est en el punto medio
de las dos races; es decir, en x = 3. Por lo tanto, en el intervalo 23 , 3 , y por ende en 32 , 3 , la funcin
g es decreciente, por lo que
3 3 3 7
g(x) < g = 5 1 =
2 2 2 4
se verifica que
(5 x)(1 x)
<R
(x 2)2
siempre que 0 < |x 2| < .
Hemos probado, entonces, que
(5 x)(1 x)
lm = .
x2 (x 2)2
lm f (x) = +
xa+
quiere decir que, dado cualquier nmero real positivo R, siempre existe un nmero > 0 tal
que
f (x) > R
siempre que 0 < x a < .
Definiciones similares se tienen para el caso de que x tiende al nmero a por la izquierda.
Con estas definiciones, podemos expresar el hecho de que la masa de un cuerpo, segn la
teora especial de la relatividad de Einstein, crezca indefinidamente cuando su velocidad se
acerca a la de la luz de la siguiente manera:
m0
lm q = +. (1.65)
vc v2
1 c2
1.11 Lmites infinitos y al infinito 77
Para probar que esta igualdad es verdadera, podramos recurrir a la definicin directa-
mente. Sin embargo, igual que ocurre con los lmites comunes y corrientes, vamos a utilizar
propiedades de los lmites infinitos que nos permitirn calcular muchos lmites, entre ellos el
de la masa de un cuerpo, conociendo algunos lmites infinitos solamente.
Teorema 1.18
1 1
lm = + y lm = .
x0+ x x0 x
L = lm f (x),
xa
pero ocurre que f (x) > L en un intervalo centrado en a; es decir, si existe un nmero r > 0
tal que f (x) > L para todo x ]a r, a + r[{a}, entonces diremos que f (x) tiende a L por
la derecha cuando x tiende al nmero a, y lo expresaremos simblicamente as:
lm f (x) = L+ o as f (x) L+ .
xa
cuando L = lm f (x) y exista r > 0 tal que f (x) < L siempre que x ]a r, a + r[{a}.
xa
Teorema 1.19
Sean I , un intervalo abierto, a I y f una funcin real tal que I Dm(f ) {a}. Entonces:
1
1. lm f (x) = 0+ si y solo si lm = +.
xa xa f (x)
1
2. lm f (x) = 0 si y solo si lm = .
xa xa f (x)
Este teorema tambin es vlido si los lmites son laterales. En los ejercicios de esta seccin,
el lector tendr la oportunidad de probar esta afirmacin.
Antes de estudiar la demostracin de este teorema, vamos a utilizarlo para calcular el
lmite (1.65).
78 Lmites
Ejemplo 1.29
Solucin. Para poder utilizar la primera parte del teorema (1.18), primeramente expresemos m(v) de
la siguiente manera:
1
m(v) = q .
1 2
m0 1 vc2
Ahora, podemos definir la funcin f as:
r
1 v2
f (v) = 1
m0 c2
para todo v [0, c[.
Lo que ahora tenemos que probar es que f (v) tiende a 0+ cuando x tiende a c por la izquierda.
Por un lado, tenemos que
f (v) > 0
para todo v [0, c[.
Por otro lado, cuando v tiende a c por la izquierda, entonces tenemos que:
v
lm = 1 ,
vc c
pues v < c. Por lo tanto, podemos concluir que:
v2
lm 1 = 0+ .
vc c2
As que, obtenemos que: r
1 v2
lm 1 = 0+ .
vc m0 c2
Por lo tanto, por el teorema 1.18, podemos concluir que
1
lm m(v) = lm q = +.
vc vc 1 v2
m0 1 c2
Es decir, cuando la velocidad de un cuerpo es cercana a la velocidad de la luz, su masa crece indefi-
nidamente.
Probemos a continuacin el primer numeral del teorema 1.19. El segundo se deja a que el
lector lo realice como un ejercicio.
La igualdad (1.66) implica, por un lado, que existe 1 > 0 tal que
La demostracin de que esta ltima igualdad implica la igualdad (1.66) es similar, por lo
que se deja al lector que la haga como un ejercicio.
1. acotada superiormente en A si existe una constante M tal que f (x) < M para todo x A;
3. est acotada si est acotada superiormente e inferiormente. Esto es equivalente a que exista
un intervalo ]K, M [ tal que f (x) ]K, M [. Tambin es equivalente a la afirmacin de que
exista un nmero P > 0 tal que |f (x)| < P para todo x A.
f (x) = x
80 Lmites
| sen x| 1 y | cos x| 1
para todo x R.
A continuacin, estudiemos la conexin entre el concepto de acotacin y el de lmite.
Supongamos que existe L R tal que L = lm f (x). Sabemos, entonces, que f (x) puede estar
xa
tan cerca de L como se quiera siempre que x est lo suficientemente cerca de a. Esto significa
que existir un intervalo I centrado en a tal que f est acotada en I {a}. Probemos esta
afirmacin.
Sea > 0. Existe, entonces, > 0 tal que |f (x) L| < siempre que 0 < |x a| < . Por
lo tanto
L < f (x) < L +
para todo x 6= a tal que a < x < a + .
Si definimos K = L , M = L + e I =]a , a + [, entonces f (x) ]K, M [ para todo
x I {a}.
Resumamos estos razonamientos en el siguiente teorema.
Teorema 1.20
Si L = lm f (x), entonces existe un intervalo abierto centrado en a tal que f est acotada en
xa
I {a}.
Teorema 1.21
Si lm f (x) = +, entonces f no est acotada superiormente en ningn intervalo centrado en
xa
a. En cambio, si lm f (x) = , la funcin f no est acotada inferiormente en ningn intervalo
xa
centrado en a.
lm [f (x)] = (+).
xa
4. Si lmxa f (x) = +, y existe lmxa g(x) > 0 o g est acotada inferiormente por un
nmero positivo en un intervalo alrededor de a, entonces:
lm [f (x)g(x)] = +.
xa
5. Si existe lmxa f (x) > 0 o f est acotada inferiormente por un nmero positivo en un
intervalo alrededor de a, y lmxa g(x) = 0+ , entonces:
f (x)
lm = +.
xa g(x)
Se pueden formular propiedades similares cuando las funciones tienden a . Esto se har
en el siguiente captulo. En ese captulo tambin se estudiarn algunas de las demostraciones.
Sin embargo, el lector interesado en adquirir una comprensin ms profunda del concepto de
lmite, debera realizar por s mismo estas demostraciones.
A continuacin, veamos algunos ejemplos del uso de las propiedades enunciadas.
Ejemplo 1.30
1
Calcular lm + sen x .
x0 x2
1
Solucin. Sean f (x) = y g(x) = sen x. Entonces, por el teorema 1.19, tenemos que
x
lm f (x) = +
x0
ya que
lm x2 = 0+ .
x0
Por otro lado, para todo x, se tiene que sen x 1; es decir, la funcin g est acotada inferiormente en
cualquier intervalo que contenga a 0. Por lo tanto, por la tercera propiedad del teorema 1.22, podemos
afirmar que:
1
lm + sen x = lm f (x) + g(x) = +.
x0 x2 x0
82 Lmites
Ejemplo 1.31
x2 + 1
Calcular lm .
x1+ x3 1
1
Solucin. Sean f (x) = x2 + 1 y g(x) = .
x3 1
Por un lado, para todo x R, se verifica que:
f (x) = x2 + 1 1.
Por lo tanto, f est acotada inferiormente por un nmero positivo en cualquier intervalo cuyo extremo
inferior sea el nmero 1.
Por otro lado, dado que
lm x3 1 = 0+ ,
x1+
entonces
1
lm g(x) = lm = +.
x1+ x3 1
x1+
De modo que, si aplicamos la cuarta propiedad enunciada en el teorema 1.22, podemos concluir
que
x2 + 1
lm+ = lm+ f (x)g(x) = +.
x1 x3 1 x1
Podemos llegar a la misma conclusin de otra manera. En efecto, dado que x 6= 0, podemos escribir
lo siguiente:
x2 1 1
x2 + 1 2
+ 2 1+ 2
= 3x x = x ,
x3 1 x 1 1
2 x
x2 x x2
podemos utilizar la cuarta propiedad del teorema 1.22 para calcular el lmite.
Para ello, definamos f (x) = 1 + x12 y g(x) = x x12 . Entonces tenemos que f est acotada
inferiormente por el nmero 1 en un intervalo abierto cuyo extremo inferior es el nmero 1, ya que
1 1
f (x) = 1 + 2 > 1 pues 2 > 0. Adicionalmente, tenemos que
x x
lm g(x) = 1 1 = 0
x1+
y, como
1
x > 0,
x2
pues
x > 1 = x2 > 1
1
= 2 < 1
x
1
= 2 > 1
x
1
= x 2 > 0,
x
tenemos que
lm g(x) = 0+ .
x1+
Entonces, si aplicamos la cuarta propiedad obtenemos que:
x2 + 1 f (x)
lm+ = lm = +.
x1 x3 1 x1+ g(x)
Cuando lm f (x) = lm g(x) = +, el teorema 1.22 no dice nada sobre lm [f (x) g(x)]
xa xa xa
f (x)
ni sobre lm . Los siguientes ejemplos nos van a decir por qu.
xa g(x)
1.11 Lmites infinitos y al infinito 83
Ejemplo 1.32
si: r r
x+1 1
1. f (x) = y g(x) = ; a = 0.
x x
1 1
2. f (x) = 3
y g(x) = ; a = 1.
(x 1) (x 1)2
Solucin.
r r
x+1 1 1 1
1. Tenemos que f (x) = = 1 + , que lm+ = + y que lm+ 1 + = + (por el
x x x0 x x0 x
numeral tres del teorema 1.22). Es decir:
x+1
lm = +. (1.70)
xo+ x
p
Por otro lado, es fcil demostrar que si lm (x) = +, entonces5 lm (x) = +. Si aplicamos
xa xa
esta propiedad en (1.70), entonces tenemos que
r
x+1
lm f (x) = lm = +.
x0+ x0+ x
2. Dado que, para x > 1, tenemos que (x 1)3 > 0, entonces lm+ (x 1)3 = 0+ . Por lo tanto, por el
x1
teorema 1.19, podemos concluir que:
1
lm f (x) = lm = +.
x1+ x1+ (x 1)3
5
En los ejercicios de esta seccin, se propone al lector la demostracin de esta propiedad.
84 Lmites
Ejemplo 1.33
f (x)
Calcular el lmite lmx0+ g(x) si:
1 1 1 1 1
1. f (x) = g(x) = . 2. f (x) = y g(x) = 2 . 3. f (x) = y g(x) = .
x x x x2 x
Veamos lo que sucede con el lmite del cociente entre f (x) y g(x) en cada caso.
f (x) f (x)
1. Tenemos que = 1. Por lo tanto, lm = 1.
g(x) x0+ g(x)
1
f (x) x f (x)
2. Tenemos que = = x. Por lo tanto: lm = 0.
g(x) 1 x0+ g(x)
x2
1
f (x) 2 1 f (x)
3. Tenemos que = x = . Por lo tanto, lm+ = +.
g(x) 1 x x0 g(x)
x
sen x 1 cos x 1
lm =1 y lm 2
= .
x0 x x0 x 2
0
Uno de los resultados estudiados en este captulo que ayuda a calcular los lmites del tipo 0
es el teorema 1.1 enunciado en la pgina 28.
f (n) = 2n3 n2
operaciones.
La complejidad computacional busca determinar cul de los dos algoritmos es ms eficiente,
para lo cual se determina la relacin entre f (n) y g(n) cuando n es un valor grande. De manera
f (n)
ms precisa, el problema se plantea en trminos de lmites: a dnde tiende el cociente
g(n)
cuando n crece indefinidamente?
En otras palabras, la pregunta que se formula es: existe un nmero real tan cerca como
f (n)
se quiera del cociente para todo n a partir de un cierto n0 ?
g(n)
El concepto de lmite al infinito permite responder esta pregunta.
|f (x) L| < ,
|f (x) L| < ,
Ejemplo 1.34
1 1
Mostrar que lm = 0 y lm = 0.
x+ x x x
Solucin.
1. Sea > 0. Debemos encontrar R > 0 tal que
1
0 <
x (1.71)
Ejemplo 1.35
Demostrar que:
x+1
1 = lm .
x+ x1
1.11 Lmites infinitos y al infinito 87
Solucin.
Sea > 0. Buscamos un nmero R > 0 tal que, si definimos
x+1
f (x) = ,
x1
se verifique que
|f (x) 1| < (1.73)
siempre que x > R.
Podemos suponer que x > 0; ms an, podemos suponer que x > 1, as f (x) > 1, con lo cual
restringiremos el anlisis a un intervalo donde f es positiva.
Por otro lado, dado que:
x+1 x+1x+1 2
f (x) 1 = 1= = > 1,
x1 x1 x1
pues x > 1, tenemos que
2
|f (x) 1| = .
x1
Por lo tanto, para que se verifique la desigualdad (1.73), es suficiente que se cumpla lo siguiente:
2
< .
x1
Pero:
2 x1 1
< >
x1 2
2
x 1 >
2
x > 1 + .
Es decir, para que se verifique la desigualdad (1.73), es suficiente que x > 1 y que
2
x>1+ .
Dado que > 0, entonces
2
1+ > 1,
2
por lo que podemos elegir R = 1 + para estar seguros de que la desigualdad (1.73) sea verdadera
para todo x > R.
Podemos tambin afirmar que
x+1
lm = 1+ ,
x+ x1
ya que f (x) > 1 para x > 1.
Igual a lo que sucede con los lmites finitos y los infinitos, existen propiedades de los
lmites al infinito que nos permiten calcular los lmites de muchas funciones a partir de ciertos
lmites que ya nos son conocidos. Estas propiedades son similares a las de los lmites finitos:
el lmite de una suma, resta, multiplicacin, divisin, raz, composicin, es la suma, resta,
etctera, de los lmites cuando estos existen con las correspondientes restricciones para el caso
de la divisin y las races pares. En otras palabras, en todos los teoremas que se enuncian
las propiedades de los lmites finitos se pueden sustituir el nmero a (a donde tiende x) por
+ o . En aquellas propiedades en las que se exige un comportamiento de f en intervalo
centrado en a, en el caso de los lmites al infinito, ese comportamiento deber suceder en un
intervalo del tipo ]R, +[ con R > 0 o ] , M [ con M < 0.
Las demostraciones son dejadas para que el lector las realice, pues no ofrecen ninguna
dificultad y son, ms bien, un buen entrenamiento para su comprensin del concepto de
lmite. A continuacin, se ofrecen algunos ejemplos del uso de las propiedades mencionadas.
88 Lmites
Ejemplo 1.36
3x + 1
Calcular lm .
x 2x 5
Ejemplo 1.37
Estudiemos la relacin entre las complejidades computacionales de los dos algoritmos para
multiplicar matrices dadas por las funciones
f (x) 2x3 x2
lm = lm .
x+ g(x) x+ 2x3 + 3x2 2x
Puesto que:
1
2x3 x2 2
= x
2x3 + 3x2 2x 1 1
2+3 2 2
x x
y que
1 1
lm = lm = 0,
x+ x x+ x2
podemos concluir que:
2x3 x2 20
lm = = 1.
x+ 2x3 2
+ 3x 2x 2+3020
f (x)
Es decir: lm = 1.
x+ g(x)
Cmo se interpreta este resultado?
Sea > 0. Entonces, existe R > 0 tal que
f (x)
g(x) 1 <
1.11 Lmites infinitos y al infinito 89
Para terminar esta seccin, podemos reunir los lmites infinitos y al infinito. De manera
ms precisa, podemos definir los siguientes lmites:
lm f (x) = + lm f (x) =
x+ x+
lm f (x) = + lm f (x) =
x x
Por ejemplo: lm f (x) se tiene cuando para todo R > 0, existe M > 0 tal que
x
f (x) > R,
lm f (x) = ,
x+
entonces
1
lm = 0 .
x+ f (x)
O, si
lm f (x) = + y lm g(x) = +,
x x
entonces:
lm [f (x) + g(x)] = + y lm f (x)g(x) = +.
x x
f (x)
lm [f (x) g(x)] y lm
x+ x+ g(x)
lm x = + y lm x = .
x+ x
90 Lmites
lm xn = +
x+
y (
n + si n es par,
lm x =
x si n es impar.
En el caso de que x tienda a +, estamos exigiendo que exista un intervalo del tipo
]R, +[ con R > 0 que est contenido en el dominio de la funcin f ; esto se traduce en que
podemos excluir el caso x 0 cuando analicemos un lmite donde x tiende a +. De manera
similar, cuando x tiende a , el dominio de la funcin debe contener un intervalo del tipo
] , M [ con M < 0. Por lo tanto, podemos excluir el caso x 0 cuando se analice un lmite
donde x tiende a .
1.11.4 Ejercicios
(2 x)(2x 1)
(c) lm = +. 3. Demostrar las siguientes propiedades de lmites
x1 |x 1| infinitos y al infinito:
x2
(d) lm = . (a) Si lm f (x) = L > 0, entonces
x0 x2 + |x|
x+
(2x 1)(7 2x)
(e) lm = +. p
x2 |x2 3x + 2| lm f (x) = L.
x+
sen x
(f) lm = 0.
x x (b) Si lm f (x) = , entonces
x2 2x x
(g) lm 2 = .
x1 |x 1| 1
lm = 0 .
2x2 5x + 1 x f (x)
(h) lm = 2.
x+ x2 + 1
(i) lm (1 x2 ) = . (c) Si f > M > 0 y lm g(x) = 0+ , enton-
x+ x+
ces
(j) f (x)
lm = +.
5 + 4x x+ g(x)
(k) lm+ = +.
x1 x2 5x + 4
(d) Si f est acotada y lm g(x) = +,
2. Calcule los lmites dados x+
entonces
1
(a) lm+ 2 .
x1 x 3x + 2 f (x)
x lm = 0.
(b) lm 2 .
x+ g(x)
x1 x 3x + 2
x2 4. Una recta no vertical de ecuacin y = ax + b es
(c) lm 2 .
x x + 3 una asntota 6 de la curva de ecuacin y = f (x)
x2 si una de las dos igualdades siguientes es ver-
(d) lm 2 . dadera (o ambas):
x+ x + 3
x+1
(e) lm . lm [f (x) (ax + b)] = 0
x |x + 1| x+
6
Cuando se estudie el concepto de derivada y se aplique a la obtencin del grfico de una curva, se har un
tratamiento ms profundo del concepto de asntota que el dado en este ejercicio
1.11 Lmites infinitos y al infinito 91
y
o
lm [f (x) (ax + b)] = 0.
x
a x
(d)
2a
a
a x
(a)
92 Lmites
La derivada: su
motivacin 2
Veamos algunos problemas que llevan a un mismo concepto: el de derivada.
En la segunda seccin del captulo de lmites, estudiamos el concepto de recta tangente a una
curva. Vimos que si sta es el grfico de una funcin g : D R R y P es un punto de la
curva con coordenadas (a, g(a)), para conocer la ecuacin de la recta tangente a la curva en
el punto P , que es
y = m(x a) + g(a),
bastaba con calcular su pendiente m.
Para ello, aproximamos m con la pendiente de una recta que pasa por P y por otro punto
Q de la recta de coordenadas (x, g(x)), que la notamos mx , y que es igual a:
g(x) g(a)
mx = .
xa
Para obtener m, la idea era acercar Q a P , esperando que, al hacerlo, mx se acercara a
m. En el ejemplo estudiado, vimos que eso era as y que, de hecho:
g(x) g(a)
m = lm mx = lm .
xa xa xa
En efecto, tenamos que g est definida por g(x) = 3x2 y que a = 2. Por lo tanto,
g(a) = g(2) = 12 y:
3x2 12
mx =
x2
3x2 12
m = lm = 12.
x2 x 2
La recta l de ecuacin
y = 12 + 12(x 2) = 12x + 10
es, efectivamente, la tangente al grfico de g que es una parbola p. Ms an, la recta l es la
nica recta que pasa por el punto de P de coordenadas (2, 12) y tiene un solo punto en comn
con la parbola p de ecuacin
y = g(x) = 3x2 ,
que es, justamente, el punto P .
94 La derivada: su motivacin
Por otra parte, si exceptuamos el punto P , toda la parbola est de un solo lado de la
recta l, y ninguna otra recta se interpone en el espacio entre la recta l y la parbola p, como
lo exige la definicin de Euclides.
Mostraremos ms tarde que esta afirmacin es verdadera, cuando estudiemos otras defi-
niciones de tangencia y mostremos algunas propiedades notables de la recta tangente. Por
ejemplo, probaremos que de entre todas las rectas que pasan por el punto de tangencia, la
recta tangente es la que mejor aproxima a la curva.
Ahora bien, del ejemplo citado resaltaremos el hecho de que la pendiente m de la recta
tangente al grfico de g en el punto (a, g(a)) est dada por
g(x) g(a)
m = lm .
xa xa
Esta propiedad la cumple la pendiente de la recta tangente en un punto dado de una
gran variedad de curvas que son el grfico de funciones (como son los polinomios, funciones
racionales, trigonomtricas, logartmicas, exponenciales, etctera). Esto nos motiva a cambiar
la tradicional definicin de recta tangente a una curva por la siguiente:
Ejemplo 2.38
1
= lm = 1.
x1 x
y=x
1
y = 2
x
2
1 b
1 x
Ejemplo 2.39
f (x) f (1) x3 + 1
m = lm = lm
x1 x (1) x1 x + 1
(x + 1)(x2 x + 1)
= lm = lm x2 x + 1 = 3.
x1 x+1 x1
b
y = 3x + 2
1
x
b
1
y = x3
Observemos en el dibujo que la recta tangente a la curva no tiene con sta un nico punto
en comn sino dos. El un punto, que es el de tangencia, tiene coordenadas (1, 1). Podemos
96 La derivada: su motivacin
x3
y =
y = 3x + 2
x3 = 3x + 2,
lo que equivale a
x3 3x 2 = 0.
Esta ecuacin puede tener hasta tres races reales. Sabemos que una de ellas es 1, porque
la tangente y la curva se encuentran en el punto de coordenadas (1, 1). Entonces, el
polinomio cbico x3 3x 2 tiene como factor (x + 1).
Por lo tanto, podemos obtener el otro factor si dividimos el cbico por (x + 1). Al hacerlo,
obtenemos que:
Entonces, el polinomio tiene las tres races son reales e iguales a 1, de multiplicidad 2, y 2.
Entonces, ya estamos seguros que la curva y la recta tangente se encuentran exactamente
en dos puntos: (1, 1) y (2, f (2)) = (2, 8).
Pero, no se suele decir que la tangente y la curva solo deben tener un punto en comn?
S, eso suele decirse, sin embargo, tal definicin no es del todo precisa, pues, en las cercanas
de (1, 1) la tangente y la curva tienen, efectivamente, un comportamiento de tangente en
el sentido tradicional.
Por esto, la propiedad de tangencia es de carcter local; es decir, no importa el compor-
tamiento de la curva y de la recta lejos del punto de tangencia sino en sus cercanas.
Tengamos en cuenta que la Matemtica desarrollada hasta antes del Renacimiento estudiaba
ms bien conceptos estticos: describir formas geomtricas que no cambian, calcular reas de
figuras simples, llevar cuentas, etctera. La geometra de Euclides, la aritmtica de Diofanto
y el lgebra desarrollada por Al-Khowarizmi fueron instrumentos idneos para responder a
esta visin esttica.
Pero cuando la humanidad intenta describir el movimiento que se produce en gran cantidad
de fenmenos estudiados, se hace necesaria la creacin de nuevos conceptos matemticos que
permitan responder adecuadamente a estos requerimientos.
Dado que el movimiento es percibido como el cambio de la posicin de un cuerpo en el
tiempo, una de las preguntas ms importantes que la matemtica enfrent fue cmo medir
el cambio?.
Veamos en esta seccin cmo la respuesta a esta pregunta nos lleva tambin al concepto
de derivada.
El administrador de una fbrica de autos desea tener informacin adecuada respecto a los
costos de produccin de la fbrica en funcin del nmero de vehculos en un mes dado. As,
deseara saber cmo varan estos costos al variar la produccin. Qu informacin requiere y
cmo presentarla? Cmo medir la variacin o cambio de los costos de la produccin? Cmo
2.2 Cmo medir el cambio? 97
Hemos visto el concepto de funcin. Ilustremos con tres ejemplos su uso como modelo de la
dependencia entre magnitudes.
f (x) 2 000
CU = = + 11 0.000 12x.
x x
A manera de ejemplo, en la siguiente tabla, se muestran los valores de C y del costo
unitario CU que cuesta producir cada auto si se producen x autos, dados en miles de dlares,
correspondientes al ao anterior:
98 La derivada: su motivacin
f (x)
x C = f (x) CU = x
La energa potencial E, medida en MWh, que est almacenada en una represa depende de la
cota h, medida en metros, se define como la altura sobre el nivel del mar del espejo de agua
en la represa.
Supongamos que, en una determinada represa, la cota puede estar entre 2 900 y 2 950
metros, existe una funcin g : Dm(g) R, con dominio Dm(g) = [2 900, 2 950], tal g(h) es
la energa almacenada E cuando la cota es h. Es decir:
E = g(h).
El diseo de los globos de esta fbrica establece que el globo se eleva si el dimetro mide,
al menos, 6 m. Adems, el mayor dimetro al que el globo puede ser inflado es de 12 m. Por
ello, el dominio de es Dm() = [60, 120].
Si el helio costara 40 centavos de dlar por cada m3 , podramos establecer el gasto G en
dlares que deberamos hacer por concepto de gas en funcin del dimetro del globo. As,
existe una funcin : Dm() R tal que
En la siguiente tabla, se muestran valores del volumen del globo y del gasto en el que hay
que incurrir para inflarlo para algunos valores del dimetro:
2.2 Cmo medir el cambio? 99
d V = (d) G = (d)
3
dm dm dlares
60 108.0 43.20
70 171.5 68.60
80 256.0 102.40
90 364.5 145.50
100 500.0 200.00
110 665.5 260.20
120 864.0 345.60
Cuando una variable, digamos x, toma diversos valores luego de haber tomado un valor
inicial x0 , unos dirn que vari mucho, otros lo contrario. Esto es algo subjetivo. Por ello, se
hace necesario establecer medidas objetivas del cambio producido. Para ello, nos serviremos
de los conceptos de variacin absoluta y relativa.
Ejemplo 2.40
Consideremos la situacin de la fbrica de autos una vez ms. Si su produccin, en un mes dado, fuera
de, digamos, 5 000 autos y, en el mes siguiente, sta pasara a ser de x autos, entonces la variacin
absoluta de la produccin estara dada por:
x = x 5 000.
En este caso, la variacin absoluta de los costos, que pasaran de 54 000 miles de dlares a C miles de
dlares sera igual a:
C = C 54 000.
Como
C = f (x) = 2 000 + 11x 0.000 12x2,
se tendr que
C = f (x) 54 000 = 52 000 + 11x 0.000 12x2.
100 La derivada: su motivacin
Anlogamente, la variacin absoluta del costo unitario, que pas de 10.8 miles de dlares a CU
miles de dlares, estara dado por:
CU = CU 10.8.
Puesto que:
f (x) 2 000
CU = = + 11 0.000 12x,
x x
se tendra que:
f (x) 2 000
CU = 10.8 = + 0.2 0.000 12x.
x x
Por ejemplo, si x = 6 000 autos, entonces:
f (6 000) 63 680
y
f (6 000)
10.613.
6 000
Adems, tendremos que:
Es decir que, si la produccin aumentara en 1 000 autos, los costos subiran en 9.68 millones de dlares,
mientras que el costo unitario bajara en 187 dlares por auto!
La variacin relativa
Si el precio del kilogramo de arroz se incrementara de un precio inicial de p0 = 0.40 dlares a
un precio de p = 0.70 dlares, el incremento del precio se medira por su variacin absoluta:
Ejemplo 2.41
En el caso de la fbrica de autos, considerando las mismas variaciones absolutas de autos, tendremos
que la variacin relativa de la produccin es:
x x 5 000
= ,
5 000 5 000
la variacin relativa del costo:
C C 54 000
=
54 000 54 000
y la del costo unitario:
f (x)
CU CU 10.8 10.8
= = x .
10.8 10.8 10.8
Si x = 6 000 autos, se tendr que la variacin porcentual de la produccin sera:
x 1 000
100 % = 100 % = 20 %,
5 000 5 000
la variacin porcentual del costo sera:
C 9 680
100 % = 100 % 18 %
54 000 54 000
y la del costo unitario sera:
CU 0.187
100 % = 100 % 1.7 %.
10.8 10.8
En otras palabras, al subir la produccin en un 20 %, los costos aumentan en un 18 %, mientras que
el costo unitario baja en 1.7 %.
Vimos que la dependencia entre las dos variables numricas que describen un fenmeno, diga-
mos una variable y que depende de otra variable x, puede ser descrita mediante una funcin
f : I R, donde I es un intervalo en el cual toma sus valores la variable independiente x.
Por ejemplo, y miles de dlares representa el costo de producir x autos en una fbrica
durante un mes, el intervalo I es, digamos, [1 000, 10 000] y la funcin f est definida por:
Ahora bien, si, en un mes dado, la produccin fue de x0 = 4 800 autos, los costos de
produccin ese mes fueron de y0 miles de dlares. Entonces:
Por lo tanto:
y0 = 2 000 + 48 000 = 50 000.
Supongamos que, en el siguiente mes, la produccin se elev a x autos. Este cambio se
puede medir, segn vimos, por la variacin absoluta x, llamada tambin incremento de x,
y por la variacin relativa x
x0 de la variable x. En este caso:
x = x x0 = x 4 800. (2.1)
x x x0 x 4 800
= = . (2.2)
x0 x0 4 800
102 La derivada: su motivacin
y = x (2.5)
y x
= . (2.6)
y0 x0
A la constante se le llama razn de cambio y a la constante , elasticidad de y respecto
de x. Calculemos estas dos constantes. De (2.1), (2.3) y (2.5) tenemos que:
y 48 000 + 10x
= = = 10. (2.7)
x x 4 800
De (2.6) y (2.7) obtenemos:
y
y x0 y 4 800
= 0 = = 10 = 0.96. (2.8)
x y0 x 50 000
x0
y
Es fcil verificar que esta sencilla dependencia de y respecto de x y de y0 respecto de
x
x0 se da siempre que f sea un polinomio de grado menor que o igual a 1:
Teorema 2.1
Si f : I R R definida por y = f (x) = mx + b, y para todo x0 I y todo x I , si:
se tiene que:
y x
y = x, = , (2.9)
y0 x0
donde
x0
=m y = m. (2.10)
y0
Recordemos que el grfico de f es una recta con pendiente m. Por lo tanto, la razn
de cambio es igual a m. Naturalmente, este caso es excepcional. En general, tenemos las
siguientes definiciones inspiradas en (2.7) y (2.8).
2.3 Razn de cambio, elasticidad y magnitudes marginales 103
y0 = f (x0 ), x = x x0 , y = y y0 ,
y f (x) f (x0 )
f (x0 ; x) = = . (2.11)
x x x0
y que f (x0 ; x) no es constante la mayora de las veces, sino que depende de x0 y de x. Sin
embargo, para muchas funciones, el valor de f (x0 ; x) es muy cercano a una constante para
valores pequeos de x. Ilustremos esto con un ejemplo.
Ejemplo. En el caso del globo, el costo G en dlares del gas necesario para inflar el globo
de dimetro d decmetros est dado por:
1 3
G = (d) = d , d [60, 120].
2 000
Si tomamos d0 = 80 y diferentes valores de d cercanos a 80 (ver la tabla a continuacin),
tendremos que los valores que toma la razn de cambio
G (d) (d0 )
(d0 ; d) = =
d d d0
son muy similares entre s y se acercan cada vez ms a 3.84. En otras palabras, podemos ver
que ese nmero es el lmite de la razn de cambio (d0 ; d) cuando d tiende a d0 !
80 102.40 0 3.84
(d) (d0 ) G
(d0 ) = lm (d0 ; d) = lm = lm = 3.84,
dd0 dd0 d d0 d0 d
podremos escribir
G 3.84d (d0 )d,
si d es pequeo. Es decir, G es casi directamente proporcional a d, si d es pequeo.
Al valor (d0 ) se le llama razn de cambio instantnea de en d0 .
En general:
y f (x0 )x.
Ejemplo 2.42
En la fbrica de autos, cuyo costo C miles de dlares est dado por
f (x) 2 000
CU = f1 (x) = = + 11 0.000 12x.
x x
Si la produccin pas de 5 000 a x autos, la razn de cambio de los costos C en el intervalo de extremos
5 000 y x est dada por:
C f (5 000)x = 9.8x,
CU f1 (5 000)x = 0.000 2x.
Si x = 1 000, entonces:
f (5 000)x = 9.8(1 000) = 9 800
y C = 9 600. Es decir, a pesar de que x no es tan pequeo, es cercano a C.
Tambin
f1 (5 000)x = 0.000 2(1 000) = 0.2
es cercano a CU que, en este caso, es
CU = 0.187.
En el ejemplo de la empresa de autos que produce 5 000 autos por mes, los administradores
quisieran saber cunto le costara a la fbrica producir 1 auto ms al mes; es decir, quisieran
averiguar el costo de produccin del auto nmero 5 001. A este costo se lo conoce con el
nombre de costo marginal.
Para averiguar el costo marginal al nivel de produccin de 5 000 autos mensuales solo hay
que calcular el incremento del costo en el intervalo [5 000, 5 001]. En este caso, x = 1 y:
que aproxima al costo marginal para una produccin de x = 5 000 autos, ya que x es
pequeo. Es decir, producir un auto ms cuesta 9 800 dlares aproximadamente.
En cambio, el costo unitario marginal para este mismo nivel de produccin sera:
Es decir, la variacin del costo unitario al producir el auto nmero 5 001 es 0.000 2 aproxi-
madamente y, por ser negativo, hay una ganancia de 20 centavos de dlar por auto cuando se
produce el auto nmero 5 001.
En la prctica se llama costo marginal a la razn de cambio instantnea del costo, y costo
unitario marginal a la razn de cambio instantnea del costo unitario.
Para otras magnitudes como ingreso, utilidades, demanda, etctera, a la razn de cambio
instantnea correspondiente se la llama, respectivamente, ingreso marginal, utilidad marginal,
demanda marginal, etctera.
2.3.2 Elasticidad
x
100 %
x0
106 La derivada: su motivacin
y la variacin porcentual de y:
y
100 %,
y0
y x
queremos conocer cmo depende y0 de x0 , donde
x = x x0 ; y = y y0 = f (x) f (x0 ),
con x 6= x0 .
En el ejemplo en el que los costos y en miles de dlares vienen dados a travs de la funcin
f definida por
y = f (x) = 2000 + 10x,
donde x [1 000, 10 000], vimos que si, en un momento dado, se estuvieran fabricando x0 =
4 800 autos a un costo de y0 = f (4 800) = 50 000 miles de dlares, nos interesara saber en
qu porcentaje se incrementaran los costos si elevramos la produccin en un 10 %.
Recordemos que, cuando f es un polinomio de grado menor o igual a 1 de la forma
f (x) = mx + b, la variacin relativa de y es directamente proporcional a la variacin relativa
de x! Es decir, existe una constante tal que
y x
= .
y0 x0
A esta constante la llamamos, precisamente, elasticidad de y respecto de x.
Como
y
y0 x0 y
= x = ,
x
f (x0 ) x
0
tendremos:
y f (x)f (x0 )
y0 f (x0 )
= x
= xx0
x0 x0
x0 (mx + b) (mx0 + b)
=
f (x0 ) x x0
mx0 x x0
= .
f (x0 ) x x0
Es decir:
mx0
= .
f (x0 )
Se dice que y es elstica si || > 1, inelstica si || < 1 y que la elasticidad es unitaria si
|| = 1.
En nuestro ejemplo: y = f (x) = 2000 + 10x, m = 10, x0 = 4800, y0 = f (x0 ) = 5000, por
lo que:
10 4800
= = 0.96.
5000
Entonces
y x
= 0.96 ,
y0 x0
x
por lo que, si la produccin se incrementara en un 10 %, es decir si x0 = 10 %, los costos se
incrementarn en y y0 = 0.96 10 %; es decir, en un 9.6 %.
obtendremos que
f (x) f (x0 )
f (x0 ) = lm ,
xx0 x x0
se puede observar que para valores de x cercanos a x0 ; es decir, cuando x es pequeo, los
valores que toma (x0 , x) son muy similares entre s y se acercan cada vez ms a
x0 f (x) f (x0 )
(x0 ) = lm (x0 , x) = lm ,
xx0 xx0 f (x0) x x0
x0
(x0 ) = f (x0 ).
f (x0 )
A (x0 ) se le llama elasticidad puntual de y en x0 , y si x es pequeo, tendremos que
y x
(x0 ) .
y0 x0
Ejemplo 2.43
Luego de un estudio de mercado, se determin que la demanda D de una marca de lavadoras es de
f (p) unidades si el precio es de p dlares. Como su produccin no es rentable si p < 200 y la marca
del competidor cuesta 500 dlares, tendremos que D(f ) = [200, 500]. El estudio revel tambin que
22 500
f (p) = 2 000 0.4p +
p
D0 = f (p0 ) = 1 955.
22 500
f (p) = 0.4 ,
p2
por lo que:
f (p0 ) = 0.65.
D
Se desea conocer el valor aproximado de D0 . Como:
p0 300 39
(p0 ) = f (p0 ) = (0.65) = 0.1,
D0 1 955 391
tenemos que:
D p 39
(p0 ) = (5 %) 0.5 %
D0 p0 391
Es decir, una rebaja del precio en un 5 % significara un incremento en la demanda de apenas el
0.5 %.
108 La derivada: su motivacin
Ejemplo 2.44
En el caso de la primera fbrica de autos cuyo nivel de produccin mensual pasara de 5 000 autos a
x autos, como los costos son C miles de dlares y
Esto quiere decir que si el nivel de produccin variara, digamos en a %, los costos variaran en 0.899 1a %
aproximadamente.
As, si la produccin subiera en un 5 %, los costos variaran en 0.899 1 5 % 4.5 %. Los costos
son, pues, poco elsticos respecto al nivel de produccin.
Un clculo anlogo lo podemos realizar para el costo unitario CU , teniendo en cuenta que:
2 000
CU = f1 (x) = + 11 0.000 12x,
x
f1 (5 000) = 10.8,
2 000
CU = f1 (x) = 2 0.000 12,
x
f1 (5 000) = 0.000 2,
y la elasticidad puntual del costo unitario para un nivel de produccin x0 = 5 000 autos sera:
5 000 5 000
1 (5 000) = f (5 000) = (0.000 2) 0.1.
f1 (5 000) 1 10.8
Esto quiere decir que, si el nivel de produccin aumentara, digamos en un 5 %, el costo unitario variara
en (0.1)5 % aproximadamente, es decir, bajara en 0.5 %.
x = x(0 , t) = f (t) f (0 ).
Cuando una partcula se mueve a lo largo de la recta, un observador puede opinar que sta se
mueve rpidamente, otro que se mueve lentamente. El concepto de rapidez tiene pues cierta
carga de subjetividad, pero se la puede medir objetivamente gracias a la cantidad llamada
velocidad. Veamos el concepto de velocidad en dos casos.
El movimiento uniforme
Supongamos que medimos la longitud en metros y el tiempo en segundos. Si x = f (t), con
0 t, es la posicin de una partcula, entre un instante t0 y otro instante t, 0 t0 < t,
habr transcurrido un lapso de t segundos, donde t = t t0 .
En ese lapso, se habr producido un desplazamiento de la partcula desde la posicin
x0 = f (t0 ) hasta la posicin x = f (t). El desplazamiento ser de x metros, donde x =
x x0 = f (t) f (t0 ).
Diremos que el movimiento es uniforme si x es directamente proporcional a t, es decir
si existe una constante de proporcionalidad v tal que
x = vt.
desplazamiento de la partcula
velocidad de la partcula =
lapso transcurrido
o tambin
x m x m
v uV = =
t s t s
y como v = x m
t , es cmodo escribir s en vez de uV , la unidad de la velocidad. Si se escoge
otra unidad uL del desplazamiento x y otra unidad uT del lapso t, se tendr otra unidad
de la velocidad uV .
En general, si la longitud se mide en uL y el tiempo en uT , pondremos uuTL en vez de uV .
Es fcil notar que, si x = f (t) es un polinomio de grado menor o igual a 1, el movimiento
es uniforme.
En efecto, en este caso:
x = f (t) = at + b,
Ejemplo 2.45
La empresa de transporte pesado TRANSLIT despach desde Guayaquil el camin No 17 a las 8h00
con una pequea carga destinada a un cliente en Balzar, y otra muy pesada a un cliente en Santo
Domingo. El chofer del camin es cambiado en Quevedo. El recorrido hacia Santo Domingo es realizado
por otro chofer.
El cliente que vive en Balzar llam para indicar que recibi el despacho a las 10h00, aunque
se le haba prometido que se le entregara el envo a las 9h30. Se le explic que el camin estaba
completamente cargado por lo que debi viajar lentamente. La empresa deber telefonear al chofer
que espera en Quevedo para indicarle la hora aproximada de llegada del camin para el cambio de
conductor. A qu hora llegar el camin a Quevedo? A qu hora se espera que el camin llegue a
Santo Domingo?
Para resolver el problema, observemos la informacin con que contamos sobre las distancias entre
las ciudades:
Guayaquil-Balzar : 96 km,
Balzar-Quevedo: 72 km,
t : instante en horas en que se da cada suceso; es el tiempo transcurrido desde las 0 horas
del da del viaje.
0 : instante que coincide con las 0 horas del da del viaje.
t0 : instante inicial en el que el camin inici su recorrido desde Guayaquil.
x : posicin del camin en la carretera Guayaquil-Balzar-Quevedo-Santo Domingo; es la
distancia recorrida en kilmetros desde Guayaquil al punto en la carretera en el mo-
mento t.
x0 : posicin inicial del camin en Guayaquil al tiempo t0 .
x1 : posicin del camin al pasar por Balzar.
t2 : hora de llegada a Quevedo.
t3 : hora de llegada a Santo Domingo.
Bajo el supuesto de que el movimiento del camin ser uniforme aproximadamente, la posicin
del camin en cualquier momento t puede ser descrito por la funcin f definida por:
x = f (t) = at + b.
Entonces:
0 = 8a + b
96 = 10a + b
Al restar la primera ecuacin de la segunda y, luego de dividir el resultado por 2, se obtendr que
a = 48 y, por consiguiente, que b = 384, pues b = 8a.
Entonces, tenemos que:
x = f (t) = 48t 384.
Ahora hallemos t2 . ste es el momento en que el camin llega a Quevedo. Como esta ciudad est
a 168 kilmetros de Guayaquil, t2 debe verificar la siguiente igualdad:
pues la distancia entre Guayaquil y Santo Domingo es de 288 kilmetros. Por lo tanto:
Si el cociente
x x(t0 , t)
vm (t0 , t) = =
t t(t0 , t)
no es constante, diremos que el movimiento es no-uniforme y a vm (t0 , t) le llamaremos velo-
cidad media de la partcula en el intervalo de tiempo [t0 , t].
Obviamente,
x = vm (t0 )t,
por lo que mientras mayor sea |vm (t0 , t)| ms rpido ser el movimiento de la partcula y
viceversa, lo que justifica su nombre.
Si el lapso considerado t toma valores cada vez ms pequeos para ciertas funciones
de posicin f : R R, t 7 x = f (t), puede suceder que los correspondientes valores de la
velocidad media vm (t0 ) sean muy similares y se acerquen al lmite de vm (t0 , t) cuando t tiende
a t0 (o, lo que es lo mismo, cuando t tiende a 0) que lo notaremos v0 = g(t0 ). Es decir
x
v0 = g(t0 ) = lm vm (t0 ) = lm .
tt0 t0 t
tendremos que:
x v0 t,
lo que justifica que a v0 = g(t0 ) se le llame velocidad instantnea en el instante t0 .
En efecto, para un t dado, mientras mayor sea v0 , ms grande ser el desplazamiento
que se produzca en el lapso t, lo que indica que la partcula se mueve ms rpidamente. Por
otra parte, v0 (uL ) es el desplazamiento que tendra si no se acelerara o frenara a la partcula
o, lo que es lo mismo, si sobre la partcula no actuara fuerza alguna. Esto es, si a partir del
instante t0 , el momento se vuelve uniforme.
Ejemplo 2.46
Si se deja caer un objeto desde lo alto de un rascacielos de 122.5 m de altura, sea x = f (t) metros
la altura del objeto medida desde el suelo despus de t segundos. Entonces, las leyes de Newton nos
dicen que:
x = f (t) = 122.5 4.9t2 .
Con qu velocidad choca el objeto con el suelo y en cunto tiempo lo hace? Cul es la velocidad
media con la que ha hecho el recorrido?
Sea t1 segundos el tiempo que tarda el objeto en llegar al suelo. Podemos determinar t1 de la
igualdad
x1 = f (t1 ) = 0,
puesto que 0 es la altura del objeto al llegar al suelo. Entonces:
lo que nos da que t21 = 25 o t1 = 5. La otra solucin de la ecuacin cuadrtica es 5. Aunque es solucin
de la ecuacin, no es solucin del problema, pues no hay como asignar un significado a t1 = 5.
En resumen, el objeto llegar al suelo en 5 segundos.
2.4 La descripcin del movimiento 113
f (t) f (t1 )
v1 = f (t1 ) = lm
tt1 t t1
(122.5 4.9t2 ) (122.5 4.9t21 )
= lm
tt1 t t1
4.9(t2 t21 )
= lm
tt1 t t1
4.9(t + t1 )(t t1 )
= lm
tt1 t t1
= lm (4.9)(t + t1 )
tt1
= 9.8t1 .
Es decir:
v1 = f (t1 ) = 9.8t1 .
Para t1 = 5, tendremos que:
v1 = f (5) = 9.8(5) = 49.
Es decir, el objeto llegar al suelo con una velocidad de 49 metros por segundo.
El signo negativo de la velocidad indica que el movimiento es hacia abajo, puesto que la altura se
mide desde el suelo hacia arriba.
Finalmente, calculemos la velocidad media en el intervalo [0, t1 ]:
Notas importantes
1. Solo por facilitar la exposicin hemos supuesto que t0 < t. Nada impide que t < t0 . Solo
que en este caso t = t t0 < 0. Es por eso que, en la definicin de velocidad instantnea,
pusimos:
x(t0 , t) x(t) x(t0 )
v(t0 ) = lm = lm
t0 t(t0 , t) t0 t
y no hace falta poner lmt0+ o lmtt0 + .
2. t representa el lapso (de tiempo, por supuesto) o el intervalo [t0 , t] si t > t0 , o [t, t0 ] si
t < t0 , en cuyo caso t < 0.
5. El signo de x da el sentido del desplazamiento: si x > 0 quiere decir que x(t) est a la
derecha de x(t0 ) y viceversa. Por consiguiente, como v(t0 ) > 0, se tiene que
x(t0 , t)
>0
t(t0 , t)
para |t| pequeo. Esto significa que la partcula se mueve de izquierda a derecha. Por el
contrario, si v(t0 ) < 0, el movimiento ser de derecha a izquierda.
114 La derivada: su motivacin
2.5 Conclusin
En los cuatro problemas que hemos tratado en este captulo, hemos llegado a establecer una
funcin f : I R R, donde I es un intervalo abierto, para la cual, si a I, existe el lmite
f (x) f (a)
lm .
xa xa
A este lmite le hemos representado con f (a) y se le denomina la derivada de f en a. En
el siguiente captulo, ser objeto de estudio pues, como lo hemos visto, es una herramienta
poderosa que resuelve una clase amplia de problemas. Un captulo ms adelante, veremos
algunas de sus principales aplicaciones.
2.6 Ejercicios
f (x) f (a)
lm (3.1)
xa xa
df
se dice que f es derivable en a. Este lmite se representa por f (a) o por dx (a), y es denominado
derivada de f en a. La funcin
f : Dm(f ) R
x 7 f (x),
donde Dm(f ) es el subconjunto de Dm(f ) donde f existe, es denominada la derivada de f .
lm f (x) = f (a).
xa
f (x) f (a)
,
xa
y es igual a f (a). Entonces:
por las propiedades algebraicas de los lmites. En resumen, acabamos de demostrar el siguiente
teorema.
118 La derivada: definicin y propiedades
Teorema 3.1
Si f es derivable en a, entonces f es continua en a.
|x| |x|
lm y lm ,
x0+ x x0 x
y seran iguales uno a otro. Sin embargo:
|x| x
lm = lm
x0+ x x0 x+
= lm 1 = 1,
x0+
pues x > 0, y
|x| x
lm = lm
x0 x x0 x
= lm 1 = 1,
x0
pues x < 0.
Por lo tanto, los lmites laterales son diferentes entre s, lo que significa que la funcin
valor absoluto no es derivable en 0.
Ejemplo 3.47
f (x) = c
f (x) f (a) cc
=
xa xa
0
= = 0,
xa
el lmite (3.1) existe para todo a R y es igual a 0. Esto significa que
f (a) = 0
Ejemplo 3.48
Solucin. Sea
I : R R
x 7 x.
Demostremos que el lmite (3.1) existe para cada a R.
Para ello, procedamos de la siguiente manera. Sean a R y x 6= a. Como
I(x) I(a) xa
= = 1,
xa xa
el lmite (3.1) existe para todo a R y es igual a 1. De manera que
I (a) = 1
Ejemplo 3.49
Ejemplo 3.50
f (a + h) f (a)
lm .
h0 h
En el caso en que f sea derivable en a, se verifica que:
f (a + h) f (a)
f (a) = lm .
h0 h
120 La derivada: definicin y propiedades
Como f es continua en a, pues es derivable en este punto, el teorema del lmite de la composicin de
funciones nos permite afirmar que existe
f (a + h) f (a)
lm
h0 h
y que es igual a:
f (a + h) f (a)
lm = f (a).
h
h0
Recprocamente, supongamos que el lmite
f (a + h) f (a)
lm (3.2)
h0 h
existe. El cambio de variable h = x a, junto con el teorema del lmite de la composicin de dos
funciones, implican que f es derivable en a y que la derivada es igual a este lmite.
Para demostrar que una funcin f es derivable en a y calcular f (a), es comn demostrar
que existe el lmite (3.2) y calcular su valor.
Ejemplo 3.51
Solucin. Sea x R. Veamos para qu valores de x existe el lmite (3.2). Para ello, procedamos as.
Sea h 6= 0:
f (x + h) f (x) [(x + h)3 (x + h) + 1] (x3 x + 1)
=
h h
[(x3 + 3x2 h + 3xh2 + h3 ) (x + h)] (x3 x)
=
h
3x2 h + 3xh2 + h2 h
=
h
= 3x2 + 3xh + h2 1.
Por lo tanto, para todo x R, existe el lmite (3.2) cuando h se aproxima a 0, y es igual a
f (x) = 3x2 1.
Ejemplo 3.52
Solucin. El dominio de la funcin sen es R. Veamos para qu valores x de este dominio existe sen (x).
Para ello, procedamos de la siguiente manera:
sen(x + h) sen x (sen x cos h + sen h cos x) sen x
=
h h
cos h 1 sen h
= sen x + cos x,
h h
3.1 Definicin 121
con x R y h 6= 0. Pero
sen h cos h 1
lm =1 y lm = 0.
h0 h h0 h
Entonces:
sen(x + h) sen x
sen (x) = lm
h0 h
cos h 1 sen h
= lm sen x + cos x
h0 h h
= 0 sen x + 1 cos x = cos x
Ejemplo 3.53
Solucin. El dominio de la funcin cos es R. Veamos para qu valores x R existe cos (x). Para ello,
procedamos de la siguiente manera:
con x R y h 6= 0.
Por lo tanto:
cos(x + h) cos x
cos (x) = lm
h0 h
cos h 1 sen h
= lm cos x sen x
h0 h h
= 0 cos x 1 sen x = sen x
Ejemplo 3.54
Sea f : [0, +[ R definida por f (x) = x. Obtener la derivada de f .
122 La derivada: definicin y propiedades
Solucin. Sea x [0, +[. Veamos para qu valores de x existe f (x). Para ello, procedamos as:
f (x + h) f (x) x+h x
=
h h
x+h x x+h+ x
=
h x+h+ x
(x + h) x
=
h x+h+ x
h
=
h x+h+ x
1
=
x+h+ x
con h 6= 0 y x 0.
Dado que f no est definida para valores menores que 0, si x = 0, para cualquier valor de h menor
que 0, sucede que x + h es menor que 0. Entonces, el lmite de
f (x + h) f (x)
h
no existe si x = 0.
En cambio, para x > 0, se tiene que:
1
f (x) = lm
h0 x+h+ x
1 1
= = .
x+0+ x 2 x
3.2 Ejercicios
pectivamente, del punto indicado. (a) Existen f (x0 ) y f+ (x0 ); y
En los siguientes ejemplos halle, si existen,
(b) f
(x0 ) = f+ (x0 ).
f+ (x0 ) y f (x0 ).
( Adems, en el caso de que exista f (x0 ), siem-
x2 + x 1 si x 1 pre se verificar que
(a) f (x) = 2
2x + 5x 2 si x > 1,
f (x0 ) = f
(x0 ) = f+ (x0 ).
x0 = 1. (
1
(x + 1) 3 si x 1 4. Pruebe que f no es derivable en el punto indi-
(b) f (x) =
x si x > 1, cado.
x0 = 1.
(
1 si x 1
p
(c) f (x) = |x 2|, x0 = 1. (a) f (x) = x
x = 1.
( x + 1 si x < 1,
x1 si x 1 1
(d) f (x) = (b) f (x) = x2 3x+2 , x = 1.
2
x 3x + 2 si x < 1,
(c) f (x) = 4
2x 9, x = 4.5.
x0 = 1. (
2x2 + 1 si x < 0
3. Demuestre que para f : R R y x0 R, (d) f (x) = x = 0.
existe f (x0 ) si y solo si: x + 1 si x 0,
Calcular la derivada de una funcin utilizando nicamente la definicin puede resultar muy
engorroso, como el lector puede comprobar en los ejercicios de la seccin anterior. Para facilitar
los clculos, a partir de las propiedades algebraicas de los lmites (lmite de la suma, del
producto, etctera), se obtienen propiedades algebraicas de la derivada. stas permitirn
calcular la derivada de muchas funciones si se conoce la derivada de funciones ms simples.
Por ejemplo, podemos calcular la derivada de f : R R definida por
f (x) = x + 2
f (x) = (x + 2)
= (x) + (2) = 1 + 0 = 1.
1. Suma: f + g es derivable en a y
2. Producto: f g es derivable en a y
1
3. Inverso multiplicativo: Si g(a) 6= 0, g es derivable en a y
1 g (a)
(a) = 2 .
g g (a)
(f ) (a) = f (a).
2. Resta: (f g) es derivable en a y
f
3. Cociente: si g(a) 6= 0, g es derivable en a y
f f (a)g(a) f (a)g (a)
(a) = .
g g2 (a)
Dada una funcin f , debe estar claro que f es diferente de f (x). El segundo smbolo indica
el valor que toma la funcin f en x. Sin embargo, es comn abusar del lenguaje y referirse
a la funcin f a travs de f (x). Si no se especifica a qu conjunto pertenece x, se entiende
tcitamente que el dominio de f es el conjunto ms grande de R en el cual f (x) est definida.
Es as que, si se pide calcular la derivada de la funcin x2 , lo que se pide realizar es el
clculo de la derivada de la funcin f definida por f (x) = x2 para todo x R.
En general, en vez de decir derivar la funcin f , se puede decir derive f (x), o derive
f (t), etctera. Tambin se podr decir calcule f (x) o f (t).
La ventaja de este abuso del lenguaje es que nos ahorra el introducir un nombre para la
funcin. A lo largo de este libro, utilizaremos indistintamente ambas formas de referirnos a
las funciones, salvo que pueda haber lugar para confundir la funcin f con el valor que sta
puede tomar en algn x en particular.
Ejemplo 3.55
(x2 ) = (f g) (x)
= f (x)g(x) + f (x)g (x)
= 1 x + x 1 = x + x,
3.3 Propiedades de la derivada 125
(x2 ) = 2x
para todo x R.
Para calcular la derivada de x3 , apliquemos nuevamente la regla de la derivada de un producto,
pero esta vez a x2 y a x:
(x3 ) = (x2 x)
= (x2 ) x + x2 (x)
= (2x)(x) + (x2 )(1) = 2x2 + x2 .
Por lo tanto:
(x3 ) = 3x2 .
Ahora obtengamos una frmula general para la derivada de xn con n un nmero natural.
Para ello, recordemos el siguiente producto notable:
Ejemplo 3.56
f (x) f (a) xn an
=
xa xa
(x a)(xn1 + xn2 a + xn3 a2 + + x2 an3 + xan2 + an1 )
=
xa
= xn1 + xn2 a + xn3 a2 + + x2 an3 + xan2 + an1 .
Por lo tanto:
f (x) f (a)
f (a) = lm
xa xa
= lm xn1 + xn2 a + xn3 a2 + + x2 an3 + xan2 + an1
xa
= an1 + an2 a + an3 a2 + + a2 an3 + aan2 + an1
= an1 + an1 + an1 + + an1 + an1 + an1
= nan1 ,
(xn ) = nxn1 ,
Ejemplo 3.57
Esta funcin es la suma y resta de funciones de la forma axn . Cada una de esas funciones tiene derivada
para cada nmero real x. La propiedad de la derivada para la suma de dos funciones (teorema 3.2), el
del producto de un escalar por una funcin (teorema 3.3) y el de la resta de dos funciones (teorema 3.3)
nos permiten proceder de la siguiente manera:
(x5 + 2x4 3x3 4x2 + 5x 1) = (x5 ) + (2x4 ) (3x3 ) (4x2 ) + (5x) (1)
= 5x4 + 2(x4 ) 3(x3 ) 4(x2 ) + 5(x) 0
= 5x4 + 2(4x3 ) 3(3x2 ) 4(2x) + 5(1)
= 5x4 + 8x3 9x2 8x + 5.
Por lo tanto:
(x5 + 2x4 3x3 4x2 + 5x 1) = 5x4 + 8x3 9x2 8x + 5
para todo x R.
Ejemplo 3.58
1 x + x2
Sea f (x) = . Calcular f (x).
1 + x x2
1 + x x2 = 0
1 5
son 2 y 1+2 5 .
Para todo x Dm(f ), se tiene que:
g(x)
f (x) = ,
h(x)
pues h(x) 6= 0 para dichos x.
Por la propiedad de la derivada de un cociente (teorema 3.3) tenemos que:
g(x)
f (x) =
h(x)
g (x)h(x) g(x)h (x)
=
h2 (x)
(1 x + x2 ) (1 + x x2 ) (1 x + x2 )(1 + x x2 )
=
(1 + x x2 )2
(0 1 + 2x)(1 + x x2 ) (1 x + x2 )(0 + 1 2x)
=
(1 + x x2 )2
(1 2x)(1 + x x2 ) (1 2x)(1 x + x2 )
=
(1 + x x2 )2
(1 2x)(1 + x x2 + 1 x + x2 )
= .
(1 + x x2 )2
Por lo tanto:
2(2x 1)
f (x) =
(1 x + x2 )2
para todo x Dm(f ).
3.3 Propiedades de la derivada 127
Ejemplo 3.59
Ejemplo 3.60
Solucin. Utilizando induccin matemtica sobre el nmero de trminos, se obtiene que la derivada
de la suma de un nmero arbitrario de funciones es igual a suma de las derivadas de cada una de esas
funciones. Como f puede ser visto como la suma de las n + 1 funciones fk definidas por:
fk (x) = ak xk ,
n
! n
X X
f (x) = ak xk
= fk (x).
k=0 k=0
ya que la derivada de un escalar por una funcin es igual al producto del escalar por la derivada de la
funcin (ver teorema 3.3) y por el ejemplo 3.3.
Para k = 0, en cambio, tenemos que:
f0 (x) = (a0 ) = 0,
para todo x R.
Ejemplo 3.61
Ejemplo 3.62
Por lo tanto:
cot x = (1 + cot2 x) = csc2 x
Ejemplo 3.63
cos x
sec x =
cos2 x
sen x
=
cos2 x
sen x 1
=
cos x cos x
para todo x 6= 2 + k. Por lo tanto:
sec x = tan x sec x
para todo x 6= 2 + k con k Z.
Ejemplo 3.64
1
csc x = .
sen x
130 La derivada: definicin y propiedades
Por lo tanto:
sen x
csc x =
sen2 x
cos x
=
sen2 x
cos x 1
=
sen x sen x
para todo x 6= k. Entonces:
csc x = cot x csc x
3.4 Ejercicios
Halle f (x) usando las propiedades algebraicas de la derivada (teoremas 3.2 y 3.3).
1. f (x) = 5x2 + 7. 10. f (x) = x + 3 x + 5 x.
2. f (x) = x3 + 3x2 5x + 2. 2 3 5
11. f (x) = x 2 x3 + 4 .
3 x
3. f (x) = 3x2 x + 1.
3
12. f (x) = x x 3
.
4. f (x) = 7x15 + 8x7 .
x+1 13. f (x) = 7x cos x.
5. f (x) = x1 .
14. f (x) = (x2 + 1) tan x.
2
6. f (x) = x2 +1 .
15. f (x) = x2 cot x + 5.
7. f (x) = x x
n n1
+ 1, n 2.
x
8. f (x) = x 3 x + 1. 16. f (x) = .
tan x
2 3 5 sen x + cos x
9. f (x) = + 3 + 5. 17. f (x) = .
x2 x x sen x cos x
1. g es derivable en a; y
2. f es derivable en g(a).
Ejemplo 3.65
h(x) = sen2 x
para todo x R. Aunque fuera posible expresar h(x) como suma, producto, etctera de otras funciones
cuyas derivadas conozcamos, no es fcil ver cules seran esas funciones. Sin embargo, mediante la regla
de la cadena podemos obtener la derivada de h, pues es la composicin de las funciones f y g definidas
de la siguiente manera:
f (u) = u2
para todo u R y
g(x) = sen x
para todo x R.
En efecto, si x R, tenemos que:
(f g)(x) = f (g(x))
= f (sen x) = (sen x)2
= sen2 x = h(x).
h (x) = (f g) (x)
= f (g(x)) g (x).
Pero
f (u) = 2u y g (x) = cos x.
Por lo tanto
f (g(x)) = 2g(x) = 2 sen x.
Entonces:
h (x) = 2senxcosx = sen2x
para todo x R. Por lo tanto:
(sen2 x) = sen 2x
para todo x R.
En otras palabras, la derivada del cuadrado del sen es dos veces el sen (como si fuera la funcin
x2 ) multiplicada por la derivada del sen, que es el cos.
3.6 Ejercicios
sen x
1. Antes de ejercitarse en la aplicacin de la re- (c) f (x) = .
21 + sen x
gla de la cadena, conviene llenar los casilleros p
3
vacos de la tabla 3.1 en la pgina 133. (d) f (x) = cos x + x2 .
3
(
(h) f (x) = (ax2 + bx + c)k con a, b, c, k en R. x + si x 1,
(a) f (x) =
kx
(i) f (x) = Ae (a sen x+b cos x) con A, k, a, b x2 si x > 1.
en R. (
r + x2 si |x| <1,
q
(b) f (x) = 1
(j) f (x) = 2 + 3 + x. |x| si |x| 1.
(
x3 + x si |x| 2,
r
n ax + b
(k) f (x) = con n N y a, b en R. (c) f (x) = 1 1
ax b sen x si |x| > 2.
x2
(l) f (x) = ln ln . 2x 2
si x 1,
5 (d) f (x) = (x 1)(x ) si 1 < x < 2,
x2 + tan x x
si x 2.
(m) f (x) = . 2 1
1 + x2
(n) f (x) = ln |x + ex |. 7. Halle los valores de y en R para que f sea
derivable en R:
(o) f (x) = sen(cos3 x) cos(sen3 x). (
tan x2 (x + )ex si x < 0,
(p) f (x) = . (a) f (x) = 2
tan2 x x + x + 1 si x 0.
sen2 x
(
(q) f (x) = . x + si x < 0,
sen x2 (b) f (x) =
r cos x + sen x si x 0.
1 + cos x
(r) f (x) = ln . 8. Para qu valores de x R, f (x) es derivable?
1 cos x
3. Resuelva la ecuacin y (x) = 0 si (a) f (x) = |x3 (x + 1)2 (x + 2)|.
(a) y = x3 4x2 + 5x 2. (b) f (x) = | sen x|.
x2 + x 6 (c) f (x) = x|x|.
(b) y = . (d) f (x) = | x| sen x.
x2 10x + 25
1
(
(c) y = . x3 si x 0,
1 + sen2 x (e) f (x) = 1
x
e si x > 0.
(d) y = x(x + 1)2 (x 1)3 . (
x2 cos x si x 6= 0,
e|x1| (f) f (x) =
(e) y = . 0 si x = 0.
x+1
(f) y = max{|x|3 , 7x 6x2 }. 9. Halle f (x) para los x en las que existe:
4. Si g y h son funciones derivables, calcule f (x):
(
x2 si x Q,
(a) f (x) =
(a) 0 si x 6 Q.
p
(b) f (x) = n [g(x)]2 + [h(x)2 ] si [g(x)]2 +
(
x2 si x Q,
[h(x)2 ] > 0 (b) f (x) =
2|x| 1 si x 6 Q.
g(x)
(c) f (x) = ln si g(x)h(x) 6= 0. (
x si x Q,
h(x) (c) f (x) =
(d) y = g(sen2 x) + h(cos2 x). 0 si x 6 Q.
(c) Si f (a) = g(a) y f (x) < g (x) para todo (f) Si f es par, entonces f es impar.
x I, entonces f (x) < g(x) para todo (g) Si f es impar, entonces f es par.
x I.
(h) Si f es derivable en I y lm f (x) = +,
(d) Si f es derivable en R y f es par, entonces xa+
entonces lmxa+ f (x) = +.
f es impar.
(i) Si f es derivable en I y lm+ f (x) = +,
(e) Si f es derivable en R y f es impar, en- xa
tonces f es par. entonces lmxa+ f (x) = +.
Ejemplo 3.66
Para inflar un globo esfrico inyectamos aire a razn de 500 l / min. Con qu razn vara la
longitud del radio cuando ste mide 1 m?
134 La derivada: definicin y propiedades
Solucin. Si V litros es el volumen del globo cuando su radio mide r decmetros1 , entonces:
4 3
V = r . (3.3)
3
Puesto que el aire ingresa al globo a una razn de 500 litros por minuto, entonces
dV
= 500.
dt
En este caso, las magnitudes V y r, que estn relacionadas entre s por medio de la igualdad (3.3),
dependen, ambas, de una tercera magnitud: el tiempo t. Y lo que queremos calcular, la razn de cambio
instantnea del radio cuando su longitud es 10 decmetros, es, precisamente, la razn de cambio es drdt
cuando r = 10, que est relacionada con la razn de cambio de V respecto de t.
Para ello, derivamos respecto de t ambos lados de la igualdad 3.3. Obtenemos as la relacin entre
las razones de cambio dr dV
dt y dt :
dV dr
= 4r2 .
dt dt
Entonces:
dr 1 dV
= .
dt 4r2 dt
dV
Por lo tanto, como r = 10 y dt = 500, obtenemos que:
dr 500 5
= 2
= 0.398.
dt 4 10 4
Es decir que la longitud del radio r vara a una velocidad de aproximadamente 3.98 centmetros por
minuto.
3.8 Ejercicios
1. El agua escapa del reservorio cnico, mostrado constante de un metro por minuto y la altura
en la figura 3.1a, a una razn de 20 litros por disminuye a una razn constante de dos metros
minuto: Con qu velocidad disminuye el nivel por minuto, con qu velocidad vara el rea del
de agua cuando su altura h desde el fondo es rectngulo? El rea, aumenta o disminuye?
de 5 metros? Cul es la razn de cambio de
radio r del espejo del agua en ese instante? 5. Si de un recipiente, que tiene la forma de una
pirmide truncada invertida de base cuadrada,
2. Un faro ubicado en un islote situado a 3 ki- de 10 metros de altura, de 10 metros el lado
lmetros de la playa emite un haz de luz que del cuadrado ms grande y de 5 metros el la-
gira dando una vuelta entera cada minuto (fi- do del cuadrado ms pequeo, y que est lleno
gura 3.1b). Con qu velocidad se mueve el de agua a media altura, se extrae el lquido a
punto P de la playa iluminado por el haz de luz una razn constante de un metro cbico por
F P emitido por el faro cuando P est situado minuto:
a 2 kilmetros del punto Q, que es el punto de
la playa ms cercano al faro? (a) Con qu rapidez baja el nivel del agua?
3. Un avin que est a 500 kilmetros al norte (b) Si, por otro lado, el nivel del agua sube un
de Quito viene hacia la capital a 400 kilme- metro por hora al bombear agua en el re-
tros por hora, mientras que otro, que est a 600 servorio cuando est lleno hasta la mitad,
kilmetros al este, lo hace a una velocidad de cul es el cauda de agua que se introdu-
300 kilmetros por hora. A qu velocidad se ce?
acercan el uno al otro?
6. Un radar que est a 12 kilmetros de una base
4. Un rectngulo mide 10 metros de altura por militar detecta que un avin sobrevuela la base
20 metros de base. Si la base aumenta a razn a 9 000 metros de altura y que se dirige hacia el
1
Hemos escogido como unidad de longitud el decmetro para que la unidad de volumen sea el litro, que es
un decmetro cbico.
3.9 Derivacin implcita 135
radar, manteniendo su altitud y velocidad. Si Supongamos que las longitudes estn expresa-
la rapidez con que decrece la distancia entre el das en metros.
avin y el radar es de 500 kilmetros por hora,
a qu velocidad vuela el avin? Si se sabe que en un punto de la abscisa 1, sta
7. Con qu rapidez vara el rea de la corona que se incrementa a una razn de dos metros por
queda entre dos circunferencias concntricas de segundo, qu sucede con la ordenada del pun-
radios 10 metros y 20 metros respectivamente, to con la abscisa dada? Considere los casos que
si el dimetro de la ms pequea aumenta un se derivan segn los cuadrantes en los que se
metro por hora y el dimetro de la ms gran- halla la ordenada.
de disminuye dos metros por hora? Y si los
dimetros aumentan un metro por hora? Si el
dimetro menor crece dos metros, cmo debe 9. Un buque se acerca a un faro de 50 metros de
variar el otro para que el rea de la corona no altura. Se sabe que el ngulo entre la horizon-
cambie? tal y la recta que une el buque con la punta
8. Una partcula se mueve en una trayectoria elp- del faro vara a una razn constante de por
tica cuya forma est dada por la ecuacin minuto, cuando el buque est a dos kilmetros
x 2 y 2 del faro. Cul es la velocidad del buque? Cul
+ = 1. sera un valor razonable para ?
3 2
8m
r
Playa
8m
Q b
F
3 km
La representacin en el plano cartesiano de las parejas ordenadas (x, y) que satisfacen una
ecuacin dada, llamada grfico de esa ecuacin, puede consistir en un punto, en una curva,
etctera.
Cuando ese grfico es una curva, sta no es necesariamente el grfico de una funcin
(sabemos que para que lo sea, su interseccin con cualquier vertical tiene que consistir, a lo
ms, en un punto).
Por ejemplo, el grfico de x2 + y 2 = 25 es la circunferencia de radio 5 cuyo centro es el
origen del sistema de coordenadas. La recta vertical x = 3 la corta en dos puntos, (3, 4) y
(3, 4), por lo que esta curva no puede ser el grfico de una funcin.
Sin embargo, si tomamos solo un pedazo de esa curva, puede suceder que ese trozo s
cumple con el criterio de los cortes verticales por lo que puede ser el grfico de una funcin.
En nuestro ejemplo, si tomamos el trozo de circunferencia que est sobre el eje horizontal, ese
136 La derivada: definicin y propiedades
Lo mismo hubiese sucedido si tombamos la semicircunferencia que est bajo el eje horizontal,
que puede considerarse como el grfico de una funcin g : R R definida por:
p
y = g(x) = 25 x2 .
En este caso, se dice que las funciones f y g estn definidas implcitamente por la ecuacin:
x2 + y 2 = 25,
Por otro lado, se pueden tomar otros pedazos o uniones de pedazos de circunferencia que
pueden considerarse grficos de funciones definidas implcitamente por la misma ecuacin
x2 + y 2 = 25. En este ejemplo logramos hallar frmulas para definir explcitamente a las
funciones f y g.
Si una funcin h : R R puede definirse mediante una frmula de la forma y = h(x), se
dice que h es una funcin explcita.
En general no siempre es posible explicitar una funcin implcita. Por ejemplo, para la
ecuacin
xy + x5 + 5x2 y 4 9y 5 + 2 = 0, (3.4)
vemos que no es posible despejar la y para ponerla en trminos de x, es decir que no podemos
explicitar las funciones implcitas cuyos grficos sean subconjuntos del grfico de esta ecuacin.
Sin embargo, gracias a la regla de la cadena, es posible, en estos casos, hallar la derivada
de las funciones implcitas, cuando, en las ecuaciones, cada uno de los miembros es una combi-
nacin (que consiste de sumas, restas, multiplicaciones, divisiones o composiciones finitas), de
las funciones elementales conocidas (polinomios, exponenciales, trigonomtricas, o las inversas
de las mencionadas).
En estos casos, se puede derivar ambos miembros respecto a la variable consideradas
independiente (x en el ejemplo), y luego se despeja fcilmente la derivada de la variable
dependiente (y en el ejemplo), que aparece al utilizar la regla de la cadena en las expresiones
que contienen la variable dependiente.
Al derivar ambos miembros de la ecuacin (3.4), tenemos que:
de donde
y + 5x4 + 10xy 4
y = .
x 20x2 y 3 + 45y 4
Ejemplo 3.67
y = 4 + m(x 3),
donde m es la pendiente.
Ahora bien, m es la derivada de la funcin explcita cuyo grfico es un pedazo de la circunferencia
que contenga al punto (3, 4).
Para hallar y , derivemos explcitamente x2 + y 2 = 25. Obtendremos que se verifica la igualdad
siguiente:
2x + 2yy = 0,
de donde se obtiene la derivada de y:
x
y = .
y
Para (x, y) = (3, 4) tendremos m = y = 43 . Entonces, la ecuacin de la recta ser:
3
y = 4 (x 3),
4
que es equivalente a:
3x + 4y 25 = 0.
3.10 Ejercicios
2 2 2
1. Si una funcin D : R y = f (x) es derivable (h) x 3 + y 3 = a 3 , con a > 0, y > 0.
y est definida implcitamente por la ecuacin (i) 5x2 + 9y 2 30x + 18y + 9 = 0 con y < 1.
dada a continuacin, calcule y = f (x).
(j) x2 4xy + 4y 2 + 4x 3y 7 = 0 con
5 3 x < 2y 1.
(a) y + y + y x = 0.
(b) y x = sen y con || < 1. 2. Si una funcin D : R y = f (x) es derivable
2
(c) y = 2px, con y > 0. y est definida implcitamente por la ecuacin
dada a continuacin, calcule f (a).
x2 y2
(d) + = 1 con y > 0. (a) x2 +y 2 6x+10y 2 = 0, y > 5 y a = 0.
a2 b2
x2 y2 (b) 6xy + 8y 2 12x 26y + 11 = 0, y < 0 y
(e) 2 2 = 1 con y < 0. a = 11
a b 12 .
x = f 1 (y) y = f (x).
f 1 (f (x)) = x
x = f 1 (y).
f (f 1 (y))(f 1 ) (y) = 1,
de donde:
1
(f 1 ) (y) = , (3.6)
f (f 1 (y))
siempre que y Dm(f 1 ) y que el denominador sea diferente de cero.
Ejemplo 3.68
Ejemplo 3.69
Solucin. En primer lugar, la funcin arc sen es la funcin inversa de la funcin sen restringida al
intervalo [ 2 , 2 ]. Sea, entonces, f definida por:
f (x) = sen x
para todo x [ 2 , 2 ].
Entonces f (x) = cos x y:
f (f 1 (y)) = cos(arc sen y) (3.7)
para todo y [1, 1] = Dm(arc sen).
3.11 Derivada de la funcin inversa 139
Con ayuda de esta ltima expresin, podemos reescribir la igualdad (3.7) de la siguiente manera:
1
(f 1 ) (y) =
f (f 1 (y))
1
= p .
1 y2
Por lo tanto:
1
(arc sen y) = p
1 y2
para todo y [1, 1].
Ejemplo 3.70
Las derivadas de arc cos, arctan y .
Solucin. El procedimiento es similar al del ejemplo anterior. Pero hay que considerar lo siguiente.
En el caso del arc cos, su dominio es [1, 1] y su imagen [0, ]. Esta funcin es la inversa de la
funcin cos, restringida al intervalo [0, ], cuya derivada es sen.
Como la funcin sen es positiva en el intervalo [0, ], entonces:
p
sen x = 1 cos2 x.
1
(arc cos y) = p
1 y2
sec2 x = 1 + tan2 x,
1
(arctan y) =
1 + y2
140 La derivada: definicin y propiedades
para todo y R.
Finalmente, para obtener la derivada de , solo hay que recordar que es la funcin inversa de la
funcin x2 restringida al intervalo [0, +]. Al aplicar la frmula (3.6), obtendremos que:
1
( y) =
2 y
3.12 Ejercicios
1. Calcule la derivada (f 1 ) (y0 ): 4. Calcule frmulas para las derivadas de las fun-
1 ciones inversas de sinh, cosh y tanh.
(a) f (x) = x + x3 , y0 {0, 34 , 11
3 }.
3 5. Calcule (f 1 ) y Dm((f 1 ) ):
1
(b) f (x) = 2x cos x, y0 = 21 . (a) f (x) = x + ln x, x > 0.
2
(c) f (x) = 0.1x + e0.01x , y0 = 1. (b) f (x) = x + exp x.
(d) f (x) = 2x2 x4 , x > 1 y y0 = 0. x2
(e) f (x) = 2x2 x4 , 0 < x < 1 y y0 = 34 . (c) f (x) = , x < 0.
1 + x2
2. Si conoce que (ln x) = 1
y que exp = ln1 , (d) f (x) = coth x, x > 0.
x
calcule exp . 6. Si f (x) = x+ sen x para todo x R, calcule los
3. Si conoce que exp = exp y que ln = exp1 , valores de a y de b para los cuales se verifican
calcule ln . las igualdades f (a) = + y f (b) = .
Al ser f una funcin, es posible que tambin sea derivable en algunos elementos de su
dominio. Esta situacin conduce a la siguiente definicin.
d2
f (a) o f (a).
dx2
Es decir:
d2
d d
f (a) = f (a) = f (a) = (f ) (a).
dx2 dx dx
Ejemplo 3.71
f (x) = cos x.
Por lo tanto:
(sen x) = sen x.
De manera similar se establece que cos x y ex tienen segunda derivada y:
y
(ex ) = (ex ) = ex .
Ahora bien, podra suceder que la funcin f tambin fuera derivable en algunos elementos
de su dominio. Entonces, existira la funcin f , que se definira por:
f = (f ) .
1. f (0) = f .
Si existe f (n) (a), este nmero es denominado la n-sima derivada de f en a y suele ser repre-
sentado de la siguiente manera:
dn
f (n) (a) = f (a).
dxn
dn dn1
(n) d
f (a) = n f (a) = f (a) = f (n1) (a).
dx dx dxn1
Tiene sentido definir como la derivada de orden 0 a la misma funcin, pues se puede
interpretar esto diciendo que no derivar la funcin es dejarla intacta.
Ejemplo 3.72
Establecer frmulas generales para las derivadas de orden n para sen x, cos x y ex .
Solucin. En el ejemplo anterior, calculamos la segunda derivada de estas tres funciones. Calculemos
ahora las derivadas de tercero y cuarto orden.
Para el caso de la funcin sen x:
Como podemos ver, la derivada de orden 4 de sen x es igual a la funcin sen x. Esto significa que la
derivada de orden 5 es igual a la primera derivada; la derivada de orden 6, igual a la segunda derivada;
la derivada de orden 7, igual a la tercera; y la de orden 8, a la de orden 4. Es decir, las derivadas se
repetirn cada cuatro rdenes. Podemos resumir esto de la siguiente manera:
para todo n 0.
De manera similar, se establece para cos x lo siguiente:
para todo n 0.
Finalmente, la derivada de ex siempre es igual a ex , por lo que se verifica la siguiente frmula:
(ex )(n) = ex
para todo n 0.
3.14 Ejercicios
x+1 8. f (x) = ln x.
1. f (x) = si n = 2.
x1 m
X
2. f (x) = x5 7x2 + 1 si n = 2. 9. f (x) = ak xk con m N {0}.
k=0
3. f (x) = ax2 + bx + c.
1
4. f (x) = ax3 + bx2 + cx + d. 10. f (x) = .
x
5. f (x) = sen(ax). 1
11. f (x) = .
(x + a)
6. f (x) = cos(ax).
x+a
7. f (x) = tan(ax). 12. f (x) = .
xa
3.15 Diferenciales
y = f (x0 ) + f (x0 ) (x x0 ).
Esta recta suele ser utilizada para aproximar el grfico de f para valores cercanos a x0 ,
pues, como se puede apreciar el grfico que est a continuacin, los valores de la recta y de la
funcin son prximos:
3.15 Diferenciales 143
y = f (x)
f (x0 )
x0 x
y = y y0 = f (x0 + x) f (x0 ).
Entonces, vamos a utilizar el valor que toma (x0 + x) en la recta tangente, en lugar del
que toma en f ; es decir, en lugar de utilizar el valor y = f (x0 + x), utilizamos el dado por
la ecuacin de la recta tangente:
Esto implica que al cambio y lo estamos aproximando con el cambio que se produce en
la recta al variar x, de x0 a x0 + x, que se nota dy y que se calcula as:
Ejemplo 3.73
Solucin. Sea y = f (x) = 3x2 + 2. Como f (x) = 6x, para x0 = 1, se tiene que:
dy = f (1) dx = 6dx.
Ejemplo 3.74
dz = g (2) dt = (1 + e2 )dt.
Entre las aplicaciones de los diferenciales est la posibilidad de realizar ciertos clculos
aproximados.
Ejemplo 3.75
Calcular un valor aproximado para 50.
Solucin. Ponemos f (x) = x, x0 = 49, x = dx = 1 y aproximamos y con dy:
1 1
dy = f (x0 ) dx = 1 = .
2 49 14
Entonces
1 1 99
50 = f (50) = f (49) + y f (49) + dy = 49 + =7+ = .
14 14 14
99
Si se tiene en cuenta que 50 7.071068 . . . y que 14 7.071429 . . . , vemos que la aproximacin es
aceptable.
La derivada:
aplicaciones 4
4.1 Romeo y Julieta: la modelizacin matemtica
Romeo estaba feliz. Acababa de recibir noticias de su amada Julieta, quien logr enviarle
clandestinamente un corto recado, escrito apuradamente en un trozo de papel:
Te esperar, luego de la cena, en el muelle de mi residencia. Estar oculta tras el farol
que queda junto a los sauces.
El dichoso Romeo, quien descansaba ese momento en sus alojamientos, decidi ir lo antes
posible en su bote a la cita. Record que, a un costado del lago, creca un hermoso jardn lleno
de bellas rosas en esta poca del ao, que l saba que eran de sumo agrado para Julieta. Cmo
no llevarle un ramo de esas rosas! Estaba, sin embargo, apurado, porque estaba a punto de
atardecer. Deba escoger el camino ms corto posible para llegar cuanto antes donde su amada
llevndole el ms bello ramo de rosas.
1. Identificacin clara del problema, objeto o fenmeno que se quiere modelizar. Como resul-
tado de esta fase, se obtiene el enunciado del problema o la descripcin precisa del objeto
o fenmeno estudiado.
146 La derivada: aplicaciones
3. Solucin del problema matemtico. Estudio del modelo matemtico y solucin del problema
matemtico, de ser el caso. Al final de esta etapa, se obtiene una solucin matemtica del
problema.
4. Interpretacin del modelo matemtico. Se interpretan los resultados del problema matem-
tico para dar respuestas al problema original o se da la adecuada interpretacin al estudio
del modelo matemtico escogido.
En este captulo, vamos a conocer los mtodos matemticos que permiten resolver proble-
mas como el de Romeo, entre otros. A manera de ejemplo, ilustremos las dos primeras etapas
del proceso de modelizacin con el problema de Romeo y Julieta. Luego de desarrollar las tc-
nicas apropiadas para resolver estos problemas mediante el clculo diferencial, completaremos
las otras dos etapas.
Sabemos que las residencias de Romeo y Julieta, representadas con los puntos R y J res-
pectivamente, estn separadas por una laguna rectangular de 3 kilmetros de ancho como se
ilustra en el siguiente dibujo:
2 km R
A
R Laguna
o
sP
a 3 km
l
B
1 kmJ
El jardn se halla entre el extremo A del lago, situado a 2 kilmetros de la residencia de
Romeo, y el extremo B del lago, situado a 1 kilmetro de la de Julieta. Lo que debemos hallar
es el punto P situado en algn lugar de la orilla AB del lago, para que el recorrido total,
RP + P J, sea lo ms corto posible.
Este es un problema de extremos, cuya solucin se obtiene a travs del concepto de derivada.
Ms adelante estudiaremos el siguiente modelo matemtico que es adecuado para el problema
de Romeo y Julieta.
x nf A y x sup A
para todo x A.
148 La derivada: aplicaciones
mn A = nf A si nf A A y nf A > ;
max A = sup A si sup A A y sup A < .
6 b c2 b c2
5
sup A bc
6 max A sup A b
max A
4 b
b bc
3
A bc
A
bc
2 b
nf A b
mn A nf A bc
6 mn A
1
b c1 b c2
0
0 1 2 3 4 5 6 7 8
En el dibujo, representamos, sobre sendas rectas reales verticales, dos casos cuando A R
es acotado por arriba y por abajo. En casos as, se dice, simplemente, que A es acotado. Se
tiene, entonces, la siguiente definicin.
para todo x A. Es fcil ver que A es acotado si y solo si existe R > 0 tal que
|x| < R
para todo x A.
La siguiente es una caracterizacin del supremo y del nfimo, muy til a la hora de trabajar
con estos dos nmeros.
Teorema 4.1
Sea A R. Entonces:
2. Si sup A < , entonces para todo > 0, existe a A tal que sup A < a sup A.
Es decir, el nf A (sup A) puede ser aproximado por un elemento de A con la precisin que
queramos.
Gracias a estos conceptos, podemos introducir otros anlogos para las funciones reales,
que son aquellas cuyo conjunto de llegada es R.
1. acotada por abajo (arriba) si y solo si el conjunto Im(f ) es acotado por abajo (arriba).
Teorema 4.2
Sean 6= y f : R. Entonces, las funcin f es:
f (x) c1 ,
f (x) c2 ,
c1 f (x) c2 ,
|f (x)| < R,
para todo x .
Definicin 4.5
Sean 6= y f : R. Definimos:
1. nf f (x) = nf Im(f ).
x
3. mn f (x) = mn Im(f ).
x
f (xm ) = mn f (x).
x
2.
A los nmeros mn f (x), que se lee mnimo de f en , y max f (x), que se lee mximo
x x
de f en , se les llama extremos globales o absolutos de f .
Ilustremos estos conceptos con un ejemplo sencillo.
Ejemplo 4.76
Sean R y f : R definida por
f (x) = 1 + (x 2)2 .
1. Supongamos que = R. Entonces, el grfico de f es la parbola cuyo vrtice es el punto de
coordenadas (2, 1), como se puede ver en el siguiente dibujo:
2 x
4.2 Extremos globales o absolutos 151
(c) acotada.
(c) acotada.
(a) acotada;
(b) sup f (x) = 5 = max f (x) = f (4);
x x
El ltimo numeral del ejemplo es un caso particular del resultado notable sobre la exis-
tencia de los extremos globales:
El ltimo ejemplo muestra lo indispensable que resulta exigir que sea un intervalo
cerrado y acotado. Por ejemplo, si es uno de los siguientes intervalos: ] , b], R, [a, +[,
]a, b], ]a, b[, etctera, el resultado podra no darse.
Es tambin de suma importancia que la funcin f sea continua. Esto se ilustra en el
siguiente ejemplo.
152 La derivada: aplicaciones
Ejemplo 4.77
Sean = [1, 3] y f : R, definida por
2
(x + 1)
si 1 x < 1,
f (x) = 1 si x = 1,
2 + x si 1 < x 3.
El siguiente es el grfico de f :
y
x
2 1 1 2 3
y que
nf f (x) = 1 y 6 mn f (x).
x x
Lema 4.1
Sean I =]a, b[ y f : I R, continua y montona en I . Entonces f (I) es el intervalo abierto de
extremos lmxa+ f (x) y lmxb f (x).
Im(f ) = ]A, B[
si f es creciente; en cambio:
Im(f ) = ]B, A[
4.3 Extremos locales o relativos 153
si f es decreciente.
Si alguno de los lmites laterales es infinito, digamos que A = ; entonces tenemos que
Im(f ) = ] , B[.
El lema sigue siendo verdadero si en lugar de intervalos finitos se tienen intervalos infinitos.
Por otro lado, si I es cerrado en uno de los dos extremos, o ambos, al ser f una funcin continua
en I, el lmite se reemplaza con el correspondiente valor de la funcin. Por ejemplo, si I = [a, b[
y f es decreciente, entonces
Im(f ) = ]B, f (a)].
Ejemplo 4.78
Si f : I R est definida por
f (x) = x2 4x + 3,
donde I = ] 1, 4], vamos a encontrar su imagen.
Sabemos que el grfico de f es una parbola de vrtice el punto de coordenadas (2, 1) tal que
la parbola es decreciente en ] , 2] y creciente en [2, +[. En particular, f es decreciente en
I1 = ] 1, 2] y creciente en I2 = [2, 4]. Adems sabemos que I = I1 I2 .
Sabemos que
f (I1 ) = [f (2), lm f (x)[= [f (2), f (1)[,
x1+
Entonces:
Im(f ) = f (I1 ) f (I2 ) = [1, 8[[1, 3] = [1, 8[.
Adems:
mn f (x) = 1 y sup f (x) = 8
xI xI
y no existe el mximo de f en I.
1. la funcin f alcanza un mnimo local o relativo en x si y solo si existe r > 0 tal que
f (x) f (x)
2. la funcin f alcanza un mximo local o relativo en x si y solo si existe r > 0 tal que
f (x) f (x)
En otras palabras, un mnimo local en x es el valor ms pequeo que toma una funcin en
un cierto intervalo centrado en x. De manera similar, un mximo local en x es el valor ms
grande que toma una funcin en un cierto intervalo centrado en x.
Ejemplo 4.79
El interior de I = [a, b] es I =]a, b[. El interior de I = [a, b[ es I =]a, b[. Para I =] , b[, el interior
I es ] , b[.
Ejemplo 4.80
Sea f : [2, 3] R definida por
(
1 x2 si 2 x 1,
f (x) = 3 2
2x 3x 12x + 13 si 1 < x 3.
Entonces (
2x = 0 si 2 x < 1,
f (x) = 0
6x2 6x 12 = 0 si 1 < x 3,
de donde
f (x) = 0 x {0, 2}.
Por lo tanto, de acuerdo a la definicin de punto crtico, a ms de 0 y de 2, el nmero 1 tambin
es un punto crtico de f .
Usaremos este teorema para la obtencin de los extremos absolutos de una funcin real
continua definida en un intervalo cerrado y acotado.
En efecto, supongamos que f : [a, b] R es continua. Entonces, existen xm y xM en [a, b]
en los cuales f alcanza el mnimo y el mximo globales, respectivamente. Sea K el conjunto
de todos los puntos crticos de f ; es decir:
Se tiene entonces que xm {a, b} K y que xM {a, b} K, pues todo extremo global
tambin es un extremo local.
Ahora bien, si K es finito, por ejemplo, K = {c1 , c2 , . . . , cN }, y es conocido, para encontrar
los extremos globales de f es suficiente que hagamos una tabla de valores con los elementos
del conjunto
{f (a), f (c1 ), f (c2 ), . . . , f (cN ), f (b)}.
Es obvio que el mayor de estos nmeros corresponder al mximo global de f y el menor, al
mnimo global. En el caso de que K = , los nicos extremos son f (a) y f (b). Veamos un
ejemplo.
Ejemplo 4.81
Sea I = [0, 52 ] y f : I R definida por
Determinemos el conjunto K.
Como f (x) = 6x2 18x + 12 = 6(x 2)(x 1), tenemos que los c I que satisfacen la igualdad
f (c) = 0 son c = 1 y c = 2. Adems, como f es derivable en el interior de I, el conjunto K es, entonces
K = {1, 2}.
Ahora construyamos la tabla de valores de f en K {f (0), f ( 25 )}:
5
x 0 1 2 2
f (x) 0 5 4 17.5
El siguiente teorema ofrece una condicin suficiente para que un extremo local sea global.
Teorema 4.5
Sea I un intervalo y f : I R una funcin continua. Si f tiene un nico extremo local en I ,
entonces dicho extremo tambin es global.
Ejemplo 4.82
Sean I =]0, +[ y f : I R definida por
f (x) = x2 2x + 3.
Es fcil ver que x = 1 se alcanza un mnimo local y que no hay ningn otro en I. Tambin es fcil ver
que f (1) es el mnimo absoluto.
4.4 Monotona
Es claro de la definicin que una funcin puede ser, por ejemplo, creciente en un subinter-
valo pero creciente en otro.
Ejemplo 4.83
Sea f : ] 32 , +[ R definida por f (x) = x2 3x + 2. Determinemos si es creciente o decreciente.
Para ello, sean x1 y x2 tales que 32 < x1 < x2 . Ahora estudiemos el signo de f (x2 ) f (x1 ).
Para ello, observemos que:
Probar que una funcin es creciente o decreciente no siempre es una tarea sencilla como
la que muestra el ltimo ejemplo. El lector podr convencerse de esta afirmacin si estudia la
monotona de la funcin f definida por f (x) = 2x3 9x2 + 12x con el mtodo utilizado en el
ejemplo. Constatara lo engorrosos que pueden llegar a ser los clculos.
Viene entonces en nuestra ayuda un resul-
y
tado que se ilustra, previamente, en el dibujo
de la derecha. Podemos observar que la rec-
ta tangente en cualquier punto de la curva en
los intervalos en los que es creciente tiene una
pendiente positiva. En cambio, en los interva-
los en que la curva es decreciente, la pendiente
es negativa. x
Esta observacin, y el hecho de que la de-
rivada representa la pendiente de la tangente,
inducen a pensar que si la derivada de una
funcin fuera positiva en (a, b), esa funcin
debera ser creciente en ese intervalo y, en el
caso contrario, si la derivada fuera negativa,
la funcin debera ser decreciente.
158 La derivada: aplicaciones
Teorema 4.6
Sean I un intervalo, f : I R continua en I y derivable en I . Entonces:
Veamos un ejemplo.
Ejemplo 4.84
Sea f : R R definida por f (x) = 2x3 9x2 + 12x. Su derivada es f (x) = 6x2 18x + 12. Como
f (x) = 6(x 1)(x 2), los signos de f son los siguientes:
x 1 2
(x 1) 0 + + +
(x 2) 0 +
f (x) + 0 0 +
Vemos, entonces, que f (x) > 0 si x ] , 1[ ]2, +[ y que f (x) < 0 si x ]1, 2[. Por lo tanto,
la funcin f es creciente en ] , 1[ ]2, +[ y es decreciente en ]1, 2[.
Ejemplo 4.85
En el ejemplo precedente, si f est definida por f (x) = 2x3 9x2 + 12x, la derivada f (x) de esta
funcin cambia de signo en 1 y en 2. Antes de 1 es creciente, luego de 1 es decreciente; por lo tanto,
f alcanza un mximo local en 1. Antes de 2 es decreciente y luego es creciente. Entonces, f alcanza
un mnimo local en 2.
4.5 Ejercicios
x+1
(c) f (x) = . x1 5
x2 + 1 (g) f (x) = 2 ; I= ,5 .
x +2 4
4 1
(d) f (x) = x 2 x 3 .
3. Halle los valores crticos y los extremos abso-
x1 lutos y relativos de la funcin f en el intervalo
(e) f (x) = 1 .
(x + 7) 3 I:
(f) f (x) = x3 + 2x2 7x + 4.
(a) f (x) = x4 4 |x + 2|; I = [3, 3].
x2
(g) f (x) = .
(
1x 2x + 1 si 2 x < 1,
(b) f (x) =
1 x2 + 2 si 1 x 3;
(h) f (x) = (5x + 2) 3 .
(i) f (x) = x2 (x + 7) 3 .
1
I = [2, 3].
(j) f (x) = 3 sen x + 5 cos x. (c) f (x) = 2x3 3x2 12x + 13; I = [2, 3].
(
2. Halle los extremos absolutos de f en el inter- x2 + x 2 si 2 x < 1,
(d) f (x) = 3 2
valo I: x 3x + 2 si 1 x 3;
(a) f (x) = x3 2x2 + x; I = [1, 4]. I = [2, 3].
2 1
(b) f (x) = 3x 5x + 2; I = [1, 3].
(e) f (x) = x + 1; I = [10, 10].
2
(c) f (x) = (x 1) ; I = [0, 10].
3
x1
2 (f) f (x) = x; I = [10, 2].
(d) f (x) = (x 1) 3 (x2 2x); I = [0, 2].
ax + b
(e) f (x) = x3 + x2 5x + 3; I = [2, 4]. (g) f (x) = ; I = [L, L], con L > 0, y
cx + d
(f) f (x) = (x + 1)4 (x 2)2 ; I = [0, 5]. si ad 6= bc y ad = bc.
f (a) = f (b).
Ejemplo 4.86
Vamos a utilizar el teorema de Rolle para averiguar si la funcin f definida por
f (x) = x3 3x2 + 2
tiene puntos crticos en el intervalo ] 3 + 1, 3 + 1[.
160 La derivada: aplicaciones
Como f es derivable
en R por ser un polinomio, es continua en R y, por consiguiente,
tambin es
continua en ] 3 + 1, 3 + 1[. Por lo tanto, los puntos crticos son todos los x ] 3 + 1, 3 + 1[
para los cualesf (x) = 0.
Como f ( 3 + 1) = f ( 3 1) = 0, el teorema de Rolle nos garantiza que existe c en ] 3+
1, 3 + 1[ tal que f (c) = 0. Para hallar tales nmeros c, debemos resolver la ecuacin f (c) = 0.
Ahora bien, como f (x) = 3x2 6x = 3x(x 2), tenemos que
En resumen, los nmeros 0 y 2 son los puntos crticos buscados, puesto que {0, 2} est incluido
en ] 3 + 1, 3 + 1[.
Ejemplo 4.87
Sea f la funcin real definida por f (x) = x3 3x2 + 3. Veamos cmo se aplica el teorema del valor
intermedio en el intervalo [1, 3].
Como f es un polinomio, es una funcin continua y derivable en R y, por ende, es continua en
el intervalo [1, 3] y derivable en el intervalo ]1, 3[. Entonces, se verifican las hiptesis del teorema del
valor intermedio, el que nos garantiza que existe c ]1, 3[ tal que
f (3) f (1) 31
f (c) = = = 1.
21 31
3c2 6c = 1.
f (x2 ) f (x1 )
f (c) = .
x2 x1
Por un lado, f (c) = 0; por otro, como x1 6= x2 y, hemos supuesto que f (x1 ) 6= f (x2 ), tenemos
que
f (x2 ) f (x1 )
0 = f (c) = 6= 0.
x2 x1
Esta contradiccin nos indica que no es posible que f (x1 ) 6= f (x2 ); por lo tanto, la funcin f
debe ser constante en ]a, b[.
Resumamos este resultado en el siguiente teorema.
4.7 Ejercicios 161
Teorema 4.10
Si f est definida en un intervalo I y es derivable en su interior I de modo f = 0 en I ,
entonces f es constante en I .
Finalmente, el siguiente es una generalizacin del teorema del valor intermedio. En los
ejercicios de esta seccin, se provee una sugerencia para la demostracin del teorema general.
4.7 Ejercicios
6. Sea f (x) = ax5 + bx3 + cx + d. Use el teorema 7. Use el teorema de Rolle y el mtodo de induc-
de Rolle para probar que la ecuacin f (x) = 0 cin para probar que un polinomio de grado
no puede tener dos races reales si a > 0, b > 0 n N y coeficientes reales tiene a lo sumo n
y c > 0. races reales.
4.8 Convexidad
Sean P0 y P1 dos puntos cualesquiera, distintos entre s y situados sobre una recta real. Sean
x0 y x1 sus respectivas coordenadas. Si tomamos un punto arbitrario P situado entre P0 y
P1 , de coordenada x, resulta que x puede expresarse de una manera sencilla en funcin de x0
y x1 . En efecto, tenemos el siguiente lema:
Lema 4.2
Sean x0 y x1 en R dos nmeros reales distintos entre s. Entonces, para cualquier x R
situado entre ellos; es decir, tal que x0 < x < x1 o x1 < x < x0 , existe t (0, 1) tal que:
P0 P P1
1. Supongamos que x0 < x < x1 : | | |
x0 x x1
Vemos que las distancias entre P y P0 y entre P0 y P1 son
P P0 = x x0 y P0 P1 = x1 x0 .
Adems, como
0 < P0 P < P0 P1 ,
existe t ]0, 1[ tal que
P0 P = tP0 P1 = t(x1 x0 ).
Por lo tanto:
x = x0 + P0 P = x0 + t(x1 x0 ) = tx1 + (1 t)x0 .
P1 P P0
2. Supongamos que x1 < x < x0 : | | |
x1 x x0
Vemos que las distancias entre P y P0 y entre P0 y P1 son
P P0 = x0 x y P0 P1 = x0 x1 .
Adems, como
0 < P0 P < P0 P1 ,
existe t ]0, 1[ tal que
P0 P = tP0 P1 = t(x0 x1 ).
Por lo tanto:
x = x0 P0 P = x0 t(x0 x1 ) = tx1 + (1 t)x0 .
4.8 Convexidad 163
{(x, f (x)) : x (x0 , x1 )} = {(xt , f (xt )) : xt = tx1 + (1 t)x0 , 0 < t < 1} (4.11)
queda por debajo (respectivamente por encima) del segmento de recta [P0 , P1 ], con P0 (x0 , y0 )
y P1 (x1 , y1 ), donde y0 = f (x0 ) y y1 = f (x1 ).
Teniendo en cuenta la igualdad (4.9), la ecuacin de la recta que une los puntos P0 y P1
es:
y1 y0
y = l(x) = y0 + (x x0 ), (4.12)
x1 x0
y si x = xt = tx1 + (1 t)x0 , obtenemos que:
Teorema 4.12
Una funcin f : I R es convexa (respectivamente cncava) si para todo t ]0, 1[ se verifica
que
f (xt ) yt (respectivamente f (xt ) yt ),
donde
yt = ty1 + (1 t)y0 ,
Ejemplo 4.88
Sea f una funcin definida por
f (x) = ax2 + bx + c.
Mediante el teorema 4.12, probemos que f es una funcin convexa cuando a > 0 y es cncava si a < 0.
4.8 Convexidad 165
Ejemplo 4.89
Sea f (x) = x4 + x2 + 1. Mediante la monotona de f , determinemos si f es o no convexa.
En primer lugar, tenemos que f (x) = 4x3 + 2x. Sean x1 y x2 en R tales que x1 < x2 . Entonces:
f (x2 ) f (x1 ) = 4x32 2x2 4x31 + 2x1
= 4(x32 x31 ) + 2(x2 x1 ).
Como x2 > x1 , entonces x32 x31 > 0 (la funcin cbica es creciente) y x2 x1 > 0. Por lo tanto
f (x2 ) f (x1 ) = 4(x32 x31 ) + 2(x2 x1 ) > 0.
Entonces f (x1 ) < f (x2 ); es decir, f es una funcin creciente. Entonces, por el teorema 4.13, f es
una funcin convexa.
Teorema 4.14
Si f es continua en [a, b] y existe f y es positiva (respectivamente negativa) en ]a, b[, entonces
f es convexa (respectivamente cncava) en [a, b].
166 La derivada: aplicaciones
Ejemplo 4.90
Sea f (x) = 3x4 4x3 + 29x2 + 2x 7. Probemos que esta funcin es convexa. Para ello, mostremos
que la segunda derivada de f es siempre positiva. As, por el teorema 4.14, f debe ser convexa.
Calculemos f (x). En primer lugar, tenemos que
En segundo lugar:
f (x) = 36x2 24x + 58.
Ahora bien, el discriminante del polinomio de segundo grado 36x2 24x + 58 es negativo, pues
Por lo tanto, para todo x R f (x) tiene el mismo signo. As, el signo de f (0) es el signo de todos
los f (x). Como f (0) = 58 > 0, tenemos que f (x) > 0 para todo x R. Es decir, f es convexa.
En el dibujo:
f es una funcin definida en un intervalo abierto I y x0 I tal que existe f (x0 ). El punto
P0 (x0 , f (x0 )) tiene la propiedad de que la grfica de f pasa de un lado a otro de la recta
tangente a la grfica de f en P0 , cuya ecuacin es
Observaciones
3. Sea f : [a, b] R. Si para x0 ]a, b[, el punto de coordenadas (x0 , f (x0 )) es un punto de
inflexin del grfico de f , y si f es derivable en x0 , existir r > 0 tal que los puntos del
grfico de f ; es decir, los puntos de coordenadas (x, f (x)), estarn de un lado de la recta
tangente en el punto (x0 , f (x0 )) para x ]x0 r, x0 [ y del otro lado para x ]x0 , x0 + r[.
Teorema 4.15
Si P0 (x0 , f (x0 )) es un punto de inflexin de la grfica de f , entonces f (x0 ) = 0 o no existe
f (x0 ).
Ejemplo 4.91
f (x) = x3 px
Por lo tanto, la grfica de f es simtrica respecto al punto de coordenadas (0, 0). Esto significa que
bastar con analizar f solo en uno de los dos intervalos: [0, +[ o ] , 0], porque en el otro intervalo
el grfico se obtiene del primero por medio de un reflexin y una rotacin, y los valores f (x) de la
identidad f (x) = f (x).
Ahora, busquemos los cortes de la grfica de f con el eje x; es decir, busquemos los x tales que
f (x) = 0:
x3 px = 0 (4.16)
La solucin de esta ecuacin depende del signo de p. Por lo tanto, hay tres casos que analizar.
1. Si p < 0, x = 0 es la nica raz real de (4.16); las otras dos son complejas.
2. Si p = 0, x = 0 es una raz triple de la ecuacin.
3. Si p < 0, x0 = 0, x1 = p y x2 = p son las tres races reales de la ecuacin (4.16).
Estudiemos el signo de f (x), para lo cual es conveniente buscar los valores de x para los cuales
f (x) = 0, en los tres casos ya considerados.
168 La derivada: aplicaciones
Para ver la ubicacin de los puntos (x, f (x)) de la grfica de f respecto a la recta y = g(x) = px,
basta analizar el signo de
El signo de h(x) coincide con el de x, por lo que la grfica de f estar en el semiplano g+ para x > 0
y en el semiplano g para x < 0.
El punto (0, 0) es pues un punto de inflexin de la grfica de f .
Como f es dos veces derivable para todo x y
f (x) = 6x,
tenemos que
.f (x) = 0 x=0
Por lo tanto, como (0, 0) es un punto de inflexin, ste ser el nico (de haber otros para x 6= 0, se
tendra que f (x) = 0; es decir, 6x = 0, lo cual es imposible).
Los resultados que sirven para analizar la funcin se pueden resumir en una tabla donde se los
anota a medida que se los obtiene y, finalmente, sirve para tener una idea completa del grfico de la
funcin que luego, con la ayuda de un nmero adecuado de puntos de la forma (a, f (a)), podr ser
realizado. En el ejemplo, para el tercer caso, p > 0, tenemos:
4.10 Ejercicios 169
i h i h
p p p
x , p p p, 3 3 3 ,0 0
f (x) 0 + + + 0
f (x) + + + 0
Resultados Mx. local Punto infl.
i h i h
p p p
x 0 0, 3 3 3 , p p p, +
f (x) 0 0 +
f (x) 0 + + +
Resultados Punto infl. Mn local
Cmo se corta la grfica de f con rectas horizontales de ecuacin y = c? Para responder a esta
pregunta en los tres casos considerados, podemos analizar las soluciones de la ecuacin f (x) = c:
x3 px = c. (4.18)
1. Si p < 0, la ecuacin (4.18) tiene una raz real simple para todo c.
2. Si p = 0, la ecuacin tiene una raz real simple para todo c 6= 0. Para c = 0, x = 0 es una raz
real triple.
3. Si p > 0, hay, a su vez, cuatro casos:
(a) Si c < f (x2 ) o c > f (x1 ), la ecuacin (4.18) tiene una sola raz real simple.
(b) Si f (x2 ) < c < f (x1 ), la ecuacin tiene tres races reales distintas.
(c) Si c = f (x2 ), x2 es raz doble de la ecuacin (4.18), y se tiene otra raz simple y negativa.
(d) Si c = f (x1 ), x1 es raz doble de la ecuacin, y se tiene otra raz simple y positiva.
4.10 Ejercicios
x3
(
(j) f (x) = . x2 + 1 si x2 3x + 2 0,
x+2 (b) f (x) =
7
3(x 1) si no.
(k) f (x) = x 3 + x.
6. Pruebe con un cambio de variable
(l) f (x) = sen x.
(m) f (x) = x cos x + 1. x = x1 , y = y1
(n) f (x) = tan x. (cambio de escala), que los tres casos de par-
2. Para la funcin f dada, utilice la segunda de- bola cbica se pueden reducir a
rivada para hallar los extremos locales y los
y1 = x31 x1 , y1 = x31 , y1 = x31 + x1 .
puntos de inflexin. Dibuje, aproximadamente,
el grfico de f .
7. Analice la funcin f dada por
(a) f (x) = (2 3x)2 .
1 f (x) = a0 + a1 x + a2 x2 + x3 , (4.19)
(b) f (x) = x3 2x2 + 3x.
3 con a0 , a1 , a2 en R. Halle los intervalos donde
(c) f (x) = 5x4 + x2 . f es montona. Luego halle , en R tales que
x4 + 4 con un traslado paralelo dado por el cambio de
(d) f (x) = . variables
x2
1
(e) f (x) = x 3 (x + 2). x = x1 + , y = y1 +
(f) f (x) = x x + 1.
x la ecuacin (4.19) sea equivalente a
(g) f (x) = x .
9
y1 = x31 x1 .
(h) f (x) = 3 sen x + 4 cos x.
(i) f (x) = x4 6x3 + 12x2 . Lo puede hacer mediante clculos directos o
(j) f (x) = sen(3x). teniendo en cuenta que (, ) es el punto de
inflexin de la grfica de f . Exprese entonces p
3. Dibuje, aproximadamente, el grfico de la fun- en funcin de a0 , a1 y a2
cin f que tenga las propiedades dadas.
p = p(a0 , a1 , a2 ).
(a) f (1) = f (2) = 0; f (x) < 0 para todo
x < 1 y f (x) > 0 para todo x > 1; y Del anlisis hecho anteriormente para la par-
f (0) = 1. bola cbica, deduzca en qu casos (para qu
(b) f (2) = f (1) = f (1) = f (3) = 0; relaciones entre a0 , a1 y a2 ) dados por p < 0,
f (x) > 0 para todo x < 23 o 0 < x < 2 p = 0 y p > 0, se tendrn para f una raz real
y f (x) < 0 para todo 23 < x < 0 o simple, una raz real triple o tres races reales
x > 2; y f (0) = 0. distintas.
Ejemplo 4.92
1 3 3 2 8
Dibujar el grfico de la funcin f definida por y = f (x) = 10 x 10 x 10 x.
f (x) = 0,
x 2 x1 1 0 1 2 3 4 x3 5
f (x) 0 + + 0 0 +
f (x) + 0 0 + +
f (x) 0 + + +
De la informacin contenida en esta tabla, colegimos que:
1. La funcin f alcanza un mximo local en 1, ya que antes de este punto, la derivada es positiva
y luego, negativa.
2. La funcin f alcanza un mnimo local en 3, ya que antes de este punto, la derivada es negativa
y luego, positiva.
3. En el punto 1, hay un punto de inflexin, ya que antes de este punto, la segunda derivada es
negativa y luego, positiva.
Dado que
x x1 1 0 1 3 x3
f (x) 0 0.4 0 1 2.4 0
podemos concluir que la grfica de f :
1. corta el eje horizontal en x1 , 0 y x3 ;
2. alcanza un mximo local igual a 0.4 en 1;
172 La derivada: aplicaciones
(1, 0.4)
b
i 0.4
b b
x1 x2
4 3 2 1 1 2 3 4 5
2
2.4 b
i
(3, 2.4)
Ejemplo 4.93
Como los correspondientes lmites laterales son iguales, concluimos la verdad de las siguientes igual-
dades:
lm f (x) = 1,
x1
lm f (x) = 1.
x1
4.11 Graficacin de funciones 173
lm f (x) = 1 = f (1).
x1
= lm (x2 x + 1)) = 3,
x1+
f (1) = 2 6= 3 = f+ (1).
Entonces no existe f (1).
f (x) f (1) x3 1
f (1) = lm = lm
x1 x1 x1 x 1
2
= lm (x + x + 1) = 3,
x1
1
f (x) f (1) 2 1
f+ (1) = lm+ = lm+ x
x1 x1 x1 x1
x+1
= lm+ 2 = 2,
x1 x
f (1) = 3 6= 2 = f+ (1).
Entonces no existe f (1).
Como en los puntos x = 1 y x = 1 no existe la derivada, la grfica de f no tiene tangente en esos
puntos. Adems, existe la posibilidad de que en ellos existan extremos locales. Claramente, f (0) = 0;
entonces hay la posibilidad de que en x = 0 exista un extremo local.
Ya solo falta averiguar en qu puntos la segunda derivada es igual a cero; ello sucede en x = 0.
En x = 0 podra haber un punto de inflexin.
En resumen, en x = 1, x = 0 y x = 1 buscaremos extremos locales. En x = 0 adems buscaremos
un punto de inflexin. Esta bsqueda la realizamos con ayuda de la siguiente tabla:
174 La derivada: aplicaciones
x ] , 1[ 1 ] 1, 0[ 0 ]0, +1[ +1 ] + 1, +[
f (x) 1 0 1
f (x) n. e. + 0 + n. e.
Monotona
f (x) 0 n. e. 0 + n. e +
Concavidad
Resultados m.l., p.i. p. i. M. l.
x
2 1 1 2 3
De los dos ejemplos, podemos proponer el siguiente procedimiento, bastante general, para
analizar el grfico de una funcin real.
2. Se identifican los valores especiales para f , que son sus races. Tambin sus puntos de
discontinuidad. Digamos que estos son x1 < x2 < < xN .
Con la tabla obtenida, podemos determinar los extremos locales, puntos de inflexin, intervalos
de monotona, concavidad y convexidad.
4.12 Ejercicios
Una de las principales aplicaciones de las derivadas consiste en proveer de un mtodo para
resolver problemas de optimizacin; es decir, problemas en los que hay que escoger de entre
varias opciones para la solucin la mejor o la ms conveniente, o la menos inconveniente. Por
ejemplo, en una empresa se busca que las prdidas sean mnimas y que las utilidades sean
mximas; un transportista busca la ruta ms corta o la ms rpida; un bodeguero trata de
guardar ms objetos en cada bodega, etctera. El problema de Romeo y Julieta con el que
iniciamos este captulo, es un ejemplo de un problema de optimizacin.
El modelo matemtico de una gran variedad de problemas de optimizacin se ajustan al
siguiente problema matemtico, denominado, problema de optimizacin:
Problema 4.1 (Bsico de optimizacin)
Dados I un intervalo y f : I R continua en I , se debe determinar si existen el mximo y el
mnimo de f en I . De existir, se debe hallar xm I y xM I tales que
Teorema 4.16
Sean I un intervalo y x I tal que f alcanza un extremo local en x. Entonces x es un punto
crtico de f ; es decir, f (x) = 0 o no existe la derivada de f en x.
Teorema 4.17
Sean I un intervalo y f : I R una funcin continua en I . Entonces la imagen de f , el conjunto
Im(f ) es un intervalo. En particular, si I = [a, b], entonces Im(f ) = [xm , xM ].
2. Sea K = {a, b} K0 K1 . Este es el conjunto de los candidatos a ser los puntos en los
que se alcancen los extremos globales. Obligatoriamente xm y xM , cuya existencia est
garantizada por el primer teorema, son elementos de K .
Escribamos K = {a1 = a < a2 < a3 < < aN = b}.
Los siguientes teoremas, en cambio, nos permiten establecer un algoritmo cuando el inter-
valo I no es cerrado y acotado.
Teorema 4.18
n
[
Si I = An y f : I R, entonces:
k=1
n
[
Im(f ) = f (Ak ).
k=1
Y, finalmente:
Teorema 4.19
Sean I =]a, b[ y f : I R una funcin continua en I . Entonces:
1. Si f es creciente en I , entonces Im(f ) = lm f (x), lm f (x) .
xa+ xb
2. Si f es decreciente en I , entonces Im(f ) = lm f (x), lm f (x) .
xb xa+
3. Resultados anlogos a los anteriores son verdaderos si I es uno de los siguientes interva-
los: ] , b[, ]a, +[ y ] , [.
Algoritmo 4.2
Sean I un intervalo ni es cerrado ni acotado y f : I R una funcin continua en I .
Este algoritmo sirve tambin si el dominio de la funcin se puede expresar como la unin
finita de intervalos, pues se lo puede aplicar a cada uno de esos intervalos y luego se calcula
la imagen de f con lo que, si existen, se determinan los extremos de la funcin.
Ahora resolvamos el problema de Romeo y Julieta.
Empecemos calculando la derivada de f para todo x I ya que f es derivable en su
dominio:
2x 2(3 x)
f (x) = +
2
2 x +4 2 (3 x)2 + 1
x 3x
= .
x2 + 4 (3 x)2 + 1
Por lo tanto:
x 3x
f (x) = 0
+4x2 (3 x)2 + 1
x 3x
= .
2
x +4 (3 x)2 + 1
Pero:
x 3x
x2 (3 x)2 + 1 = (3 x)2 (x2 + 4)
= 2
x2+4 (3 x) + 1
3x2 24x + 36 = 0
x {2, 6}.
Es decir, si f (x) = 0, necesariamente x = 2 x = 6.
Dado que 6 6 I y
2 32
f (2) = p
22 + 4 (3 2)2 + 1
2 1
= = 0,
2 2 2 2
tenemos que 2 es un punto crtico de f en I. Adems, es el nico punto crtico, por que si
hubiera otro, diferente de 2, debera ser el nmero 6, lo que no es posible.
Ahora calculemos la segunda derivada de f en 2 para saber si, en este nmero, la funcin
f alcanza un mximo o un mnimo local.
Para ello, luego de un clculo sencillo, vemos que, para cualquier x I, tenemos que:
4 1
f (x) = 3 + 3 .
(x2 + 4) 2
(3 x)2 + 1 2
Entonces, f (x) > 0 para todo x I. En particular, f (2) > 0. Esto significa que f (2) es
un mnimo local de f en I. Por lo tanto, el mnimo de f es:
f (2) = mn f (x) = 3 2 4.24.
xI
Eplogo
Se cuenta que Romeo lleg con un bello ramo de rosas donde Julieta cuando ella estaba a
punto de retirarse de su escondite creyendo que su amado no vendra. Las flores la llenaron
de alegra y justificaron plenamente su impaciente espera.
Para terminar, examinemos algunos ejemplos adicionales de optimizacin.
Ejemplo 4.94
16 x3 8
mx = g (x) = 2 3
=2 .
x x3
La funcin g no es derivable en x = 0 pero 0 / D(g).
Por otro lado, g (2) = 0. Posiblemente, existe extremo local en x = 2. Para averiguarlo, necesitamos
la segunda derivada de g (es decir, la tercera de f ):
48
mx = g (x) = .
x4
Tenemos que g (2) = 3 > 0.
Por el criterio de la segunda derivada, podemos concluir que, en x = 2, la funcin g tiene un
mnimo local. Debido a que es el nico extremo en D(g), es, a la vez, un mnimo absoluto y su valor
es: 8
mx = g(2) = 2(2) + 2 = 6.
x=2 2
As, pues, la pendiente ser mnima e igual a 6 para la recta tangente a la grfica de f en el punto
de coordenadas (2, 0).
y
4.13 Problemas de extremos 179
Ejemplo 4.95
Halle dos nmeros positivos cuya suma sea 100 y cuyo producto sea mximo.
Solucin. Sea x > 0 uno de dichos nmeros. El otro ser 100 x > 0 para que su suma sea 100.
Tenemos entonces que 0 < x < 100.
Sea P el producto de los dos nmeros. Naturalmente depender de x:
Como f es derivable en ]0, 100[, los puntos crticos de f en ese intervalo sern solucin de
f (x) = 100 2x = 0
Ejemplo 4.96
Halle el punto de la parbola que es la grfica de y = 1x2 ms cercano al punto A(2.5, 2.75).
Puede usar el hecho de que
(4x3 + 9x 5) = 0.
x=0.5
Como la funcin h definida por h(x) = x2 para todo x > 0 es continua y estrictamente creciente,
los extremos de h f coinciden con los extremos de f . Entonces, si la distancia d va a ser mnima, la
distancia al cuadrado d2 tambin ser mnima. Sea
Hallar mn g(x).
xR
Necesitamos la derivada
para hallar los puntos crticos de g. La ecuacin g (x) = 4x3 + 9x 5 = 0 puede escribirse como
Puesto que el segundo factor es un trinomio de discriminante negativo, la nica solucin real de la
ecuacin cbica es x = 21 la cual es, a la vez, nmero crtico de g.
180 La derivada: aplicaciones
y
d = mn f (x).
x= 12 xR
El punto buscado es
1 3
P (x, 1 x2 ) =P , ,
x= 12 2 4
y la distancia de A a P es
s
2 2
1 1 1 p
d =f = 2.5 + + 1.75 = 22 + 22 = 4 2.
x= 12 2 2 22
4.14 Ejercicios
(
1. Resuelva el problema bsico de optimizacin 1 x2 si x < 1 o x > 2,
(n) f (x) = I =
para las siguientes funciones f definidas en el 3 3x si 1 x 2,
intervalo I. Adicionalmente, determine el con- [0, 3].
junto Im(f ). (
4 x2 si x 2,
3 2 (o) f (x) = I = [1, 3].
(a) f (x) = 2x 15x + 24x, I = [0, 5]. 1
2 (x 2) si 2 < x,
(b) f (x) = 2x3 15x2 + 24x, I = [0, 5[.
p
(p) f (x) = x2 + x + 1, I = [2, 1[.
(c) f (x) = 2x3 15x2 + 24x, I =]0, 5[. 5
(q) f (x) = (x2 2x + 10) 2 , I =] 7, 5[.
(d) f (x) = 2x3 15x2 + 24x, I =]0, 5].
(
x x2 si 0 x 1,
(r) f (x) = I = R.
(e) f (x) = 2x3 15x2 + 24x, I = [0, 3]. sen(x) si no,
x3 2. Halle dos nmeros no negativos tales que:
(f) f (x) = , I = [0, +[.
x2
1 (a) Su suma sea igual a 1 y su producto sea
(g) f (x) = , I = R. mximo.
x2 + 25
(b) Su producto sea igual a 1 y su suma sea
(h) f (x) = 5x4 + 2x2 7, I = [1, 1]. mnima.
(i) f (x) = x4 + 6x2 7, I =] 3, 1]. (c) Su suma sea igual a 100 y el producto del
(j) f (x) = x4 + 6x2 7, I = [4, 1]. cuadrado del primero y el cubo del segun-
do sea mximo.
(k) f (x) = 4 sen x + 3 cos x, I = R.
3. Halle el punto de P de coordenadas ]a, b[ de la
(l) f (x)i= 4 senix + 3 cos x, parbola de ecuacin y = 1 x2 ms cercano
I= , . al punto Q de coordenadas ( 52 , 11
4 ).
4 2
(m) f (x)= 4 sen x +3 cos x, 4. Dadas la recta l de ecuacin y = 4 x y la
3 parbola p de ecuacin y = 1 x2 , halle los
I = arctan , . puntos P l y Q p ms cercanos entre s.
4
4.15 Regla de LHpital 181
5. Halle el punto del grfico de f donde la pen- Qu dimensiones tendr la pirmide de volu-
diente de la recta tangente sea mnima si men mximo si la cartulina tiene un metro de
f (x) = x3 6x2 . lado?
6. Se desea cerrar un terreno que es rectangular 12. Dos calles de diez metros de ancho se interse-
junto a un ro con una pared paralela a la ori- can. Se desea transportar horizontalmente una
lla del ro que cuesta 25 dlares el metro lineal varilla larga y delgada, pero, en la interseccin,
y dos alambradas perpendiculares al ro que se requiere virar a la derecha. Cul es el largo
cuestan 20 dlares el metro lineal. Si el terreno mximo de la varilla que se puede transportar
debe tener diez mil metros cuadrados de rea, si el grosor de la varilla es despreciable?
cules deben ser sus dimensiones para que los
costos sean mnimos?
7. Se quiere construir una caja abierta de un vo-
lumen dado V metros cbicos, cuya base rec-
tangular tenga el doble de largo que de ancho.
Cules deben ser sus dimensiones para que el
costo de los materiales sea mnimo? Y si la
caja es cerrada?
8. Halle las dimensiones del cilindro circular rec-
to de mximo volumen que puede inscribirse en
un cono circular recto de dimetro D metros y
de altura H metros.
9. Halle las dimensiones del cono circular recto de 13. Halle las dimensiones del cono circular recto de
volumen mximo que puede inscribirse en una volumen mnimo que circunscribe una esfera de
esfera de radio R metros. radio R.
10. Se desea elaborar tarros de un litro para con- 14. Un joven puede remar a razn de dos kilme-
servas de duraznos. Qu dimensiones tendr tros por hora y correr a seis kilmetros por ho-
cada tarro para que el costo por el metal utili- ra. Si est en el punto A de la playa y desea
zado sea mnimo? llegar lo antes posible al punto B, situado en
11. De un trozo cuadrado de cartulina se desea la isla de enfrente, que est a dos kilmetros
elaborar una pirmide de base cuadrada del punto C en la playa, hasta qu punto P
desechando la parte rayada y doblando en las de la playa debe correr para luego remar desde
lneas punteadas como se muestra en el dibujo: P hasta B? En qu tiempo llegar?
Isla
b
B
2 km
A P C
b b b
Playa 4 km
Al tratar de utilizar las propiedades de los lmites de la suma, producto, etctera, se puede
llegar a situaciones en que los resultados no se pueden aplicar por no cumplirse las condiciones
que las garantizan. Y resulta que bajo condiciones similares, los resultados obtenidos no
siempre son iguales. Por ejemplo, el lmite del cociente de dos funciones tales que cada una
tiende a 0, puede ser, en algunos casos, igual a 0; en otros, +; en otros, no existir; etctera.
Se dice, entonces, que estamos frente a una forma indeterminada. Veamos algunos casos.
182 La derivada: aplicaciones
f (x)
lm = L R {, },
xa g (x)
entonces
f (x) f (x)
lm = lm .
xa g(x) xa g (x)
Ejemplo 4.97
sen x
Calcular lmx0 x .
Solucin. Como el
(sen x) cos x
lm = lm =1
x0 (x) x0 1
existe, entonces, por la regla de LHpital:
sen x
lm = 1.
x0 x
Ejemplo 4.98
ln x
Calcular lmx x .
Solucin. Como el
1
(ln x)
lm
= lm x = 0
x (x) x 1
Con ciertas manipulaciones previas, el teorema es tambin til para levantar otras inde-
terminaciones como son
, 0 , 00 , 0 y 1 .
Veamos un ejemplo.
Ejemplo 4.99
Calcular lmx0+ 1 1
.
x x
Ejemplo 4.100
Solucin. Sean f (x) = sen x x cos x y g(x) = x2 + tan2 x. Se pide demostrar que
f (x)
lm = 0.
x0 g(x)
Aplicando propiedades de los lmites se encuentra fcilmente que
lm f (x) = lm (sen x x cos x) = 0,
x0 x0
lm g(x) = lm (x2 + tan2 x) = 0.
x0 x0
Como el lmite de la funcin del denominador lmx0 g(x) es igual a cero no podemos aplicar el
teorema del lmite de un cociente de funciones. Pero, por otro lado, tenemos que la funcin fg tiene
la forma indeterminada 00 en x = 0, lo cual nos permitira aplicar la regla de LHpital. Para ello
debemos encontrar el lmite
f (x)
lm .
x0 g (x)
Si este lmite existe la regla de LHpital nos dice que el lmite buscado es igual al anterior. Veamos,
pues, si existe dicho lmite:
f (x) (sen x x cos x)
lm = lm
x0 g (x) x0 (x2 + tan2 x)
cos x cos x + x sen x
= lm
x0 2x + 2 tan x sec2 x
x sen x
= lm .
x0 2x + 2 tan x sec2 x
Una inspeccin rpida del lmite anterior nos dice que la funcin fg tiene tambin la forma indeter-
minada 00 en x = 0. Intentamos nuevamente aplicar la regla de LHpital:
(f (x)) f (x)
lm
= lm
x0 (g (x)) x0 g (x)
(x sen x)
= lm
x0 (2x + 2 tan x sec2 x)
sen x + x cos x
= lm
x0 2 + 2 sec4 x + 2 tan2 x sec2 x
= 0.
Como el ltimo lmite existe podemos aplicar la regla de LHpital:
f (x) (f (x))
lm = lm = 0.
x0 g (x) x0 (g (x))
4.16 Ejercicios
sen x
1. Calcule los siguientes lmites. (f) lm .
x0 arctan x
1 cos x2 (2 x)ex x 2
(a) lm . (g) lm .
x0 x4 x0 x3
1 cos x2 sen(1/x)
(b) lm . (h) lm .
x0 x3 sin x x+ arctan(1/x)
x a
a x
(c) lm .
x0 x a
1 1 1
(i) lm .
(d) lm+ x ln x donde > 0. x0+ x sen x x
x0 tan x 5
x (j) lm .
(e) lm . x 2 sec x + 4
x+ 1 + x2