Академический Документы
Профессиональный Документы
Культура Документы
Editor:
Juan Carlos Trujillo
Tabla de
contenidos
1 Lmites
1.1 Aproximar . . . . . . . . . . . . . . . . . . . . . . . .
1.2 La recta tangente a una curva . . . . . . . . . . . . .
1.2.1 Formulacin del problema . . . . . . . . . . .
1.2.2 Aproximacin numrica al concepto de lmite
1.2.3 Ejercicios . . . . . . . . . . . . . . . . . . . .
1.3 La definicin de lmite . . . . . . . . . . . . . . . . .
1.3.1 Solucin del problema . . . . . . . . . . . . .
1.3.2 La definicin de lmite . . . . . . . . . . . . .
1.3.3 Dos observaciones a la definicin de lmite . .
1.3.4 Ejercicios . . . . . . . . . . . . . . . . . . . .
1.4 Continuidad de una funcin . . . . . . . . . . . . . .
1.5 Interpretacin geomtrica de la definicin de lmite .
1.5.1 Ejercicios . . . . . . . . . . . . . . . . . . . .
1.6 Energa solar para Intipamba . . . . . . . . . . . . .
1.6.1 Planteamiento del problema . . . . . . . . . .
1.6.2 El modelo . . . . . . . . . . . . . . . . . . . .
1.6.3 El problema matemtico . . . . . . . . . . . .
1.6.4 Solucin del problema matemtico . . . . . .
1.6.5 Solucin del problema . . . . . . . . . . . . .
1.6.6 Eplogo . . . . . . . . . . . . . . . . . . . . .
1.6.7 Ejercicios . . . . . . . . . . . . . . . . . . . .
1.7 Propiedades de los lmites . . . . . . . . . . . . . . .
1.7.1 Ejercicios . . . . . . . . . . . . . . . . . . . .
1.7.2 Generalizaciones . . . . . . . . . . . . . . . .
1.7.3 Ejercicios . . . . . . . . . . . . . . . . . . . .
1.8 El lmite de una composicin: cambio de variable . .
1.8.1 Ejercicios . . . . . . . . . . . . . . . . . . . .
1.9 El teorema del sandwich . . . . . . . . . . . . . . .
1.9.1 Ejercicios . . . . . . . . . . . . . . . . . . . .
1.10 Lmites unilaterales . . . . . . . . . . . . . . . . . . .
1.10.1 Ejercicios . . . . . . . . . . . . . . . . . . . .
1.11 Lmites infinitos y al infinito . . . . . . . . . . . . . .
1.11.1 Lmites infinitos . . . . . . . . . . . . . . . .
1.11.2 Propiedades de los lmites infinitos . . . . . .
1.11.3 Lmites al infinito . . . . . . . . . . . . . . . .
1.11.4 Ejercicios . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1
1
3
4
6
7
8
10
13
23
30
30
33
40
40
41
41
43
43
46
46
46
47
53
53
55
55
61
61
66
66
70
71
72
79
85
90
ii
TABLA DE CONTENIDOS
2 La derivada: su motivacin
2.1 La recta tangente a una curva . . . . . . . . . . . . . . . . . . . . . .
2.2 Cmo medir el cambio? . . . . . . . . . . . . . . . . . . . . . . . . .
2.2.1 Cunto cuesta producir autos? . . . . . . . . . . . . . . . . .
2.2.2 Las variables representan magnitudes . . . . . . . . . . . . . .
2.2.3 La funcin como modelo de la dependencia entre magnitudes
2.2.4 La variaciones absoluta y relativa como medidas del cambio .
2.3 Razn de cambio, elasticidad y magnitudes marginales . . . . . . . .
2.3.1 Magnitudes marginales en Economa . . . . . . . . . . . . . .
2.3.2 Elasticidad . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.4 La descripcin del movimiento . . . . . . . . . . . . . . . . . . . . . .
2.4.1 El concepto de velocidad . . . . . . . . . . . . . . . . . . . . .
2.4.2 Caso general: movimiento no-uniforme . . . . . . . . . . . . .
2.5 Conclusin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.6 Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3 La derivada: definicin y propiedades
3.1 Definicin . . . . . . . . . . . . . . . . . . . . . . . .
3.2 Ejercicios . . . . . . . . . . . . . . . . . . . . . . . .
3.3 Propiedades de la derivada . . . . . . . . . . . . . . .
3.4 Ejercicios . . . . . . . . . . . . . . . . . . . . . . . .
3.5 La regla de la cadena o la derivada de la compuesta .
3.6 Ejercicios . . . . . . . . . . . . . . . . . . . . . . . .
3.7 Razones de cambio relacionadas . . . . . . . . . . . .
3.8 Ejercicios . . . . . . . . . . . . . . . . . . . . . . . .
3.9 Derivacin implcita . . . . . . . . . . . . . . . . . .
3.10 Ejercicios . . . . . . . . . . . . . . . . . . . . . . . .
3.11 Derivada de la funcin inversa . . . . . . . . . . . . .
3.12 Ejercicios . . . . . . . . . . . . . . . . . . . . . . . .
3.13 Derivadas de orden superior . . . . . . . . . . . . . .
3.14 Ejercicios . . . . . . . . . . . . . . . . . . . . . . . .
3.15 Diferenciales . . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
4 La derivada: aplicaciones
4.1 Romeo y Julieta: la modelizacin matemtica . . . . . . . . .
4.1.1 Identificacin del problema . . . . . . . . . . . . . . .
4.1.2 Elaboracin del modelo matemtico . . . . . . . . . .
4.2 Extremos globales o absolutos . . . . . . . . . . . . . . . . . .
4.3 Extremos locales o relativos . . . . . . . . . . . . . . . . . . .
4.4 Monotona . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.5 Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.6 Teoremas del valor intermedio . . . . . . . . . . . . . . . . . .
4.7 Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.8 Convexidad . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.8.1 Punto intermedio . . . . . . . . . . . . . . . . . . . . .
4.8.2 Segmento que une dos puntos . . . . . . . . . . . . . .
4.8.3 Ecuacin de la recta que pasa por dos puntos dados en
4.8.4 Funciones convexas y cncavas . . . . . . . . . . . . .
4.9 Puntos de inflexin . . . . . . . . . . . . . . . . . . . . . . . .
4.10 Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.11 Graficacin de funciones . . . . . . . . . . . . . . . . . . . . .
4.12 Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
. .
. .
. .
. .
. .
. .
. .
. .
. .
. .
. .
. .
E2
. .
. .
. .
. .
. .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
93
93
96
96
97
97
99
101
105
105
108
109
112
114
114
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
117
117
122
123
130
130
131
133
134
135
137
137
140
140
142
142
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
145
145
146
146
147
153
156
158
159
161
162
162
163
163
164
166
169
170
174
TABLA DE CONTENIDOS
4.13 Problemas de extremos . . . . .
4.14 Ejercicios . . . . . . . . . . . .
4.15 Regla de LHpital . . . . . . .
4.15.1 Formas indeterminadas
4.15.2 Regla de LHpital . . .
4.16 Ejercicios . . . . . . . . . . . .
iii
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
175
180
181
181
182
185
iv
TABLA DE CONTENIDOS
Prefacio
Entre los objetivos de la unificacin de los programas de la asignatura Clculo en una Variable 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 Institucin, 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 Aproximar
Aproximar es la palabra clave de la ciencia y de la tecnologa modernas. En efecto, consciente
o no, el trabajo de todo cientfico ha sido el de elaborar modelos que se aproximan a una
realidad compleja que el cientfico quiere comprender y explicar. Los nmeros son, quizs, la
primera herramienta que cre el ser humano para la elaboracin de dichos modelos.
A pesar de que se han construido conceptos de un alto nivel de abstraccin para la nocin
de nmero, la prctica cotidiana se remite casi exclusivamente a la utilizacin de nmeros
decimales. Ms an, se utilizan frecuentemente una o dos cifras decimales a lo ms. Por
ejemplo, en la representacin de cantidades de dinero, se utilizan hasta dos cifras decimales
que indican los centavos. O, si se requiere dividir un terreno de 15 hectreas entre siete
herederos y en partes iguales, se dividir el terreno en parcelas de aproximadamente 15
7 de
hectrea y, en la prctica, cada parcela tendr unas 2.14 hectreas.
En realidad, todo lo que se hace con cualquier nmero a la hora de realizar clculos es
aproximarlo
mediante nmeros decimales. Es as que, cuando en los modelos aparecen nmeros
como , 2 o 43 , en su lugar se utilizan nmeros decimales.
Veamos esta situacin ms de cerca. Si convenimos en utilizar nmeros decimales con
solo dos cifras despus del punto, qu nmero o nmeros decimales deberamos elegir para
aproximar, por ejemplo, el nmero 43 ? Los siguientes son algunos de los nmeros decimales
con dos cifras despus del punto que pueden ser utilizados para aproximar a 43 :
1.31; 1.32; 1.33; 1.34; 1.35.
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
Es decir, el error que se comete al aproximar
4
3
con 1.31 es
7
300 .
Lmites
=
.
=
300 300
300
Vemos que 1.32 es una mejor aproximacin de 43 que 1.31 en el sentido de que el error que
4
7
se comete al aproximar 43 con 1.32 es de 300
, 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
1
se aproxima 43 con 1.33, que es 300
, 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 .
=
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|
y = 2x 1
y
y = x3
(1, 1)
y = 0.75x 0.25x
x
x=1
(a)
(b)
Lmites
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 (16461716). 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.
t
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)
g(a)
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
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.
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.
g(x) g(2)
3x2 12
=
x2
x2
3x2 12
3(x 2)(x + 2)
=
.
x2
x2
Por lo tanto:
mx = 3(x + 2),
para x 6= 2.
Para ver qu sucede con mx cuando el nmero x se aproxima al nmero 2, construyamos
una tabla con los valores que mx toma para valores de x prximos a 2, unos mayores y otros
menores que 2:
La aproximacin de x a 2 por valores mayores que 2
significa
que el punto R se aproxima al punto P desde la
x
mx
derecha, mientras que la aproximacin de x a 2 por valores
3
15
menores que 2 significa que el punto R se aproxima al punto
2.5
13.5
P desde la izquierda. En los dos casos, se puede observar
2.1
12.3
que, mientras x est ms cerca de 2, mx est ms cerca
2.01
12.03
de
12; es decir, mientras el punto R est ms cerca del
2.001
12.003
punto P , la pendiente de la recta secante que pasa por
2.0001
12.0003
P y por R est ms cerca del nmero 12. Esta primera
2.00001 12.00003
evidencia nos sugiere y alienta a pensar que la pendiente
2 No existe
de la recta tangente es igual a 12. Sin embargo, cmo
1.99999 11.99997
podemos estar seguros? Lo siguiente nos proporciona una
1.9999
11.9997
evidencia adicional que nos hace pensar que estamos en lo
1.999
11.997
correcto.
1.99
11.97
Hemos visto que para todo x 6= 2, se verifica que
1.9
11.7
1.5
10.5
mx = 3(x + 2).
1
9
Por otro lado, si evaluamos la expresin de la derecha en
x = 2, obtenemos que:
3(x + 2) = 3(2 + 2) = 12;
que es el valor al que parece aproximarse mx cuando x se aproxima a 2.
Todo parece indicar, entonces, que el nmero 12 es el lmite de mx cuando x se aproxima
a 2. Sin embargo, podemos asegurar tal cosa?
Para poder responder esta pregunta, antes que nada necesitamos una definicin para el
lmite. sta lleg en el ao 1823 de la mano del matemtico francs Augustin Cauchy. En
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),
que puede ser escrita de la siguiente manera:
y = 12x 12.
En resumen:
La pendiente de la recta tangente a la curva y = 3x2 en el punto (2, 12) es igual al
lmite de
3x2 12
mx =
= 3(x + 2),
x2
cuando x, siendo distinto de 2, se aproxima a 2. Este lmite es igual al nmero 12.
La ecuacin de la recta tangente es:
y = 12x 12.
Aparte de la definicin de lmite, persiste an otro problema: podemos asegurar que la
recta encontrada es la recta tangente? Es decir, cmo podemos estar seguros de que en el
espacio entre la recta de ecuacin y = 12x 12 y la curva y = 3x2 no se interpondr ninguna
otra recta, alrededor del punto (2, 12)?
Ms adelante, en un captulo posterior, provistos ya con el concepto de lmite dado por
Agustin Cauchy, probaremos que el mtodo seguido para la consecucin de la recta tangente
es correcto y general.
1.2.3 Ejercicios
1. Sean C una curva cuya ecuacin es y = x3 ,
s un nmero real distinto de 1 y ms la pendiente de la recta secante a C en los puntos de
coordenadas (1, 1) y (s, s3 ).
(a) Calcule ms .
Lmites
(a)
(f)
f (x) =
para a = 1.
3 + 2x x
x2 4x + 7
si x < 1,
si x > 1
f (x) = sin
con a = 0.
x 4x + 5 si x < 1,
f (x) = 3
si x = 1,
x+3
si x > 1
3
x3 + 8 2
h(x) =
x3
para a = 1.
3x 15
f (x) =
2
x 10x + 25
con a = 5.
(d)
f (x) =
sin(3x)
2x
con a = 0.
(e)
f (x) =
con a = 2.
(b)
(c)
1
(x 2)2
3x2 12
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).
Existir algn x 6= 2 para el cual mx = 12? Si as fuera, entonces
3(x + 2) = 12.
De aqu, obtendramos que
x = 2.
Pero esto es absurdo, pues x 6= 2. Qu podemos concluir? Que para x 6= 2:
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.
En efecto, mientras ms pequeo sea este valor absoluto, x estar ms cercano a 2; por el
contrario, mientras ms grande sea, x estar ms lejos de 2. Por ello a |x 2| nos referiremos
tambin como distancia de x a 2.
Notemos tambin que como x es diferente de 2, entonces se debe cumplir la desigualdad:
0 < |x 2|.
En todo lo que sigue, supondremos que x 6= 2.
Ahora bien, la pregunta:
qu tan cerca debe x estar del nmero 2 para asegurar que
|mx 12| < 102 ?
equivale a la siguiente:
a qu distancia debe estar x de 2 para asegurar que
|mx 12| < 102 ?
A su vez, esta segunda pregunta equivale a esta otra:
a qu cantidad debe ser inferior |x 2| para asegurar que
|mx 12| < 102 ?
Y esta tercera pregunta equivale a la siguiente:
existe un nmero > 0 tal que
si 0 < |x 2| < , entonces |mx 12| < 102 ?
Responder esta pregunta equivale a resolver el siguiente problema:
Si para todo valor de x 6= 2 se tiene que
mx = 3(x + 2),
se busca un nmero real > 0 tal que, si las desigualdades
0 < |x 2| <
(1.2)
(1.3)
10
Lmites
(1.4)
(1.5)
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 desigualdad (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 miembro izquierdo de la desigualdad (1.5), en el cual podemos aplicar propiedades conocidas del
valor absoluto de un nmero:
|3(x + 2) 12| = |3x + 6 12|
= |3x 6|
= 3|x 2|.
Es decir,
(1.6)
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:
(1.7)
(1.4)
(1.7)
En otras palabras,
si 0 < |x 2| < , entonces |3(x + 2) 12| < 3.
Recordemos que queremos que el nmero que encontremos nos garantice el cumplimiento
de la desigualdad
|3(x + 2) 12| < 102 .
(1.5)
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 desigualdad
3 102
es equivalente a la desigualdad
102
,
3
102
3
y si x 6= 2 satisface la desigualdad
|x 2| < ,
(1.4)
(1.5)
la desigualdad requerida
es satisfecha. Es decir,
si 0 <
102
y 0 < |x 2| < , entonces |3(x + 2) 12| < 102 .
3
102
.
3
(1.8)
12
Lmites
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
|3(x + 2) 12| < 102 .
La solucin que acabamos de encontrar al problema planteado nos permite responder la
pregunta:
qu tan cerca debe estar x del nmero 2 para asegurar que mx difiera
de 12 en menos de 102 ?
La respuesta es:
si x difiere de 2 en menos de
102
3
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 ?
donde representa cualquier nmero positivo. Y la respuesta la encontraremos de manera
idntica a cmo hemos respondido las dos preguntas anteriores; esa respuesta ser la siguiente:
si x difiere de 2 en menos de
, mx difiere de 12 en menos de .
Como este nmero puede ser cualquier nmero positivo, puede ser elegido tan pequeo
como queramos. Y lo que ya sabemos es que, en esa situacin, si x es tal que
|x 2| < ,
3
garantizamos que
|mx 12| < .
Es decir, aseguraremos para tales x que mx estar tan cerca del nmero 12 como queramos.
Es ms, podremos afirmar que se garantiza que mx est tan cerca como se desee del nmero
12, si x est lo suficientemente cerca de 2. En efecto, en este caso, para que la distancia de
mx a 12 sea menor que , bastar que la distancia de x a 2 sea menor que 3 .
Esto tambin puede ser expresado de la siguiente manera:
12 puede ser aproximado por los cocientes mx con la precisin que se
desee, con la condicin de que x, siendo distinto de 2, est suficientemente cerca de 2.
13
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 manera:
dado cualquier nmero > 0, encontramos un nmero > 0 tal que
|mx 12| < ,
siempre que
0 < |x 2| < .
Y toda esta afirmacin se expresa de manera simple por:
12 = lm mx .
x2
A partir de este ejemplo vamos a formular una definicin general de lmite de una funcin
real.
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 .
Finalmente, todo lo anterior nos lleva a la siguiente definicin:
L = lm f (x)
xa
|f (x) L| < ,
siempre que
0 < |x a| < .
Veamos algunos ejemplos para familiarizarnos con esta definicin.
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
siempre que x 6= 3 y
|x2 9| <
(1.9)
|x + 3| < .
(1.10)
15
Bsqueda de :
|x 3||x + 3| < ,
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
(1.13)
(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:
7 < x 3 < 5.
(1.15)
(1.14)
16
Lmites
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:
siempre que
(1.16)
|x + 3| < 1.
7|x + 3| < ,
por la desigualdad (1.16), obtendramos la desigualdad (1.9):
|x2 9| < ,
es decir, haramos que el error que se comete al aproximar 9 por x2 sea menor que .
Pero elegir x de modo que se cumpla la desigualdad (1.17) equivale a elegir a x de modo que se
cumpla la desigualdad:
(1.18)
|x + 3| < .
7
Por lo tanto: la desigualdad
|x2 9| <
(1.9)
ser satisfecha si se eligen los x 6= 3 tales que se verifiquen, simultneamente, las desigualdades:
|x + 3| < 1 y |x + 3| < .
7
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
|x + 3| <
,
7
En otras palabras, el nmero 9 puede ser aproximado tanto como se quiera por x2 siempre
que x est lo suficientemente cerca de 3. Esto demuestra que 9 = lmx3 x2 .
(1.9)
17
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:
1. El valor absoluto de la diferencia entre x2 y el lmite 9 se expres como el producto de
dos factores en valor absoluto:
|x2 9| = |x 3||x + 3|.
Uno de los factores es el valor absoluto de la diferencia entre x y el nmero 3, que es
el nmero a dnde se aproxima x.
2. Como |x + 3| debe ser menor que el nmero , para que la cantidad
|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.
3. El resultado anterior sirve de prueba de la afirmacin:
|x2 9| < 7|x + 3|,
siempre que 0 < |x + 3| < y |x + 3| < 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 .
7
7
Por lo tanto:
siempre que
|x2 9| < ,
n o
0 < |x + 3| < = mn 1,
.
7
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:
|f (x) L| = |g(x)||x a|.
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.
3. El resultado anterior sirve de prueba de la afirmacin:
|f (x) L| < M |x a| < ,
siempre que 0 < |x a| <
y |x a| < 1 .
M
= , pues
.
M
M
Por lo tanto:
|f (x) L| < ,
siempre que
n
o
0 < |x a| < = mn 1 ,
.
M
5x 3
.
x3 x + 3
Es decir, probemos que el nmero 2 puede ser aproximado por valores de
2 = lm
5x 3
x+3
siempre que x 6= 3 est lo suficientemente cerca de 3.
19
2
x+3
siempre que x 6= 3 y
|x 3| < .
(1.19)
(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)
=
2
x+3
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|.
Entonces, si definimos:
g(x) =
(1.22)
3
,
x+3
(1.23)
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.24)
(1.25)
Lo que vamos a hacer a continuacin es encontrar M reconstruyendo g(x) a partir de las desigualdades (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
5 < |x + 3| < 7.
Adems, como |x + 3| > 0, existe el cociente
1
,
|x + 3|
y las desigualdades (1.27) son equivalentes a las siguientes:
1
1
1
>
> .
5
|x + 3|
7
Ahora, si multiplicamos por 3 cada miembro de estas desigualdades, obtenemos que:
3
3
3
>
> .
5
|x + 3|
7
Es decir:
|g(x)| =
siempre que
3
3
< ,
|x + 3|
5
|x 3| < 1.
siempre que
5x 3
3
x + 3 2 < 5 |x 3| < ,
5
3
(1.28)
5x 3
3
2| =
|x 3|
x+3
|x + 3|
3
3
3
< |x 3|, pues, al tener |x 3| < 1, se tiene que
< ,
5
|x + 3|
5
3
< , pues |x 3| < ,
5
5
3 5
= , pues .
5 3
3
21
5x 3
x+3
2| <
lm x = a.
Es decir, demostremos que el nmero a puede ser aproximado por valores de x siempre
que x est lo suficientemente cerca de a.
xa
| x a| < ,
siempre que |x a| < y x > 0.
Para empezar, encontremos g(x) tal que, para x 6= a y x > 0,
| x a| = |g(x)||x a|.
(1.29)
| x a|,
utilicemos el factor conjugado de esta diferencia; es decir, el nmero:
x + a.
Como ste es estrictamente mayor que 0, podemos proceder de la siguiente manera:
| x + a|
| x a| = | x a|
| x + a|
|( x)2 ( a)2 |
=
| x + a|
|x a|
.
=
x+ a
Por lo tanto:
Si definimos
1
|x a|.
| x a| =
x+ a
1
,
g(x) =
x+ a
(1.30)
22
Lmites
Ahora debemos acotar superiormente g(x). Esto no es muy difcil, ya que, como a > 0 y x > 0,
entonces
x + a > a,
de donde se obtiene que, para todo x > 0, se verifica la desigualdad
1
1
< .
x+ a
a
Por lo tanto:
1
|g(x)| <
a
Entonces:
1
M= .
a
1
| x a| < |x a|,
a
| x a| < |x a| < .
a
a
= .
a
Es decir:
= a.
En efecto:
1
|x a|
| x a| =
x+ a
1
< |x a|
a
1
<
a
a
= = .
a
Por lo tanto: la desigualdad
| x a| <
0 < |x a| < = a.
Hemos probado, entonces, que el nmero
Observemos que, en este ejemplo, no hemos seguido, exactamente, el procedimiento desarrollado en los anteriores. Esto se debe a que, para este caso, se cumple que
|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,
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).
encontramos que
n o
.
= mn 1,
7
14
= mn 1,
= mn{1, 2} = 1.
7
En cambio, si = 72 , entonces:
= mn 1,
7
27
1
1
= mn{1, } = .
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
Sea f una funcin de R en R definida por:
(
x2 + 1
si x < 1,
f (x) =
2
2x + 8x 4 si x > 1.
Demuestre que lm f (x) = 2.
x1
24
Lmites
y
4
3
2
1
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
|f (x) 2| <
(1.32)
(1.33)
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.
Analicemos el lado izquierdo de la desigualdad (1.32). Recordemos que para
x < 1 se tiene que f (x) = x2 + 1. Por lo tanto:
(1.34)
|f (x) 2| < .
25
|f (x) 2| = | 2x2 + 8x 4 2|
= |2x2 8x + 6|
Por lo tanto:
|x 3| < 2
|f (x) 2| < .
(1.36)
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 1| <
|f (x) 2| < .
26
Lmites
En efecto: sea > 0. Debemos encontrar un nmero > 0 tal que se verifique la igualdad
|f (x) 3| < ,
(1.37)
siempre que
0 < |x 1| < .
= 2|x 1|.
Es decir, se verifica que:
|f (x) 3| < 2|x 1|.
= .
2
0 < |x 1| < = ,
2
entonces:
|f (x) 3| = 2|x 1|
< 2
= 2 = .
2
27
(1.38)
siempre que
0 < |x 1| < .
(1.37)
0 < |x 1| < = .
2
De manera que para todo x que cumpla con estas dos desigualdades se cumple la desigualdad (1.38). Y esto significa que el nmero 3 es el lmite de g(x) cuando x se aproxima al
nmero 1.
3. Sea h : R {1} R la funcin definida por
2x2 x 1
.
x1
En este caso, h no est definida en 1 por lo que es distinta tanto de f como de g. Sin embargo,
para todo x 6= 1, se verifican las igualdades:
h(x) =
2x2 x 1
(2x + 1)(x 1)
=
= 2x + 1 = g(x) = f (x).
x1
x1
De manera anloga al caso de g, podemos demostrar que
h(x) =
3 = lm h(x).
x1
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
lm f (x) = 3 = f (1)
x1
g(x)
g : R R
x 7 g(x) =
2x + 1 si x 6= 1
1
si x = 1
lm g(x) = 3 6= g(1)
x1
h(x)
h : R {1} R
x
7 h(x) = 2x + 1
lm f (x) = 3
x1
h(1) no existe
1
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:
1. f (x) = g(x) para todo x I J y x 6= a; y
2. existe L tal que:
L = lm g(x).
xa
L = lm f (x).
xa
xa
29
xa
Ejemplo 1.5
Supongamos conocido que
lm (x + 2) = 3.
x1
Calcular
lm
xq
x2 + x 2
.
x1
x2 + x 2
.
x1
Debemos hallar una funcin g que sea igual a f , excepto en 1, y cuyo lmite conozcamos.
Esto se puede hacer, pues
f (x) =
x2 + x 2
(x 1)(x + 2)
=
= x + 2,
x1
x1
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:
xa
xa
30
Lmites
3 = lm
x0
0 = lm
Pero, como
2x
x+3
3=
,
x+1
x+1
x
.
x+1
Y, como
2 x = 2 x ,
x + 1
x + 1
x
.
x0 x + 1
En sentido estricto, no hay mayor diferencia en la manera cmo se demuestra cualquiera
de estas igualdades, salvo, en ciertas ocasiones, en las que algunas operaciones algebraicas
suelen simplificarse. El lector debera realizar cada una de estas prueba para que compare y
determine cules podran ser esas simplificaciones.
0 = 2 lm
1.3.4 Ejercicios
1. Demuestre, usando la definicin de lmite, que:
(a) lm (8x 15) = 9
x3
2x2 8
= 8
x2 x + 2
2x2 + x 3
(d) lm 2
= 5
x1 x 3x + 2
2
(e) lm (x + x + 1) = 3
(c) lm
x1
x3
(b) lm
x9 x 9
(a) lm
x2 + 5x + 4
x1
x2 1
x8
(d) lm
x8 3 x 2
(c) lm
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:
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:
|f (x) f (a)| = |f (a) f (a)| = 0 < .
Veamos un par de ejemplos sencillos de funciones continuas.
Ejemplo 1.6
La funcin constante es continua en su dominio.
Solucin. Sean c R y f : R R tal que
f (x) = c
para todo x R. Probemos que la funcin f es continua en todo a R.
Para ello, sea a R. Puesto que a Dm(f ), solo nos falta verificar que:
1. existe lm f (x); y que
xa
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
|f (x) c| <
(1.39)
siempre que
Ahora bien, puesto que
|x a| < .
|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.
(1.40)
f (x) = x
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
|f (x) a| <
(1.41)
siempre que
Como
|x a| < .
|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.
(1.42)
33
|x x0 | < r,
donde x, x0 y r son nmeros reales y, adems, r > 0, es equivalente a la desigualdad
x0 r < x < x0 + r.
Por lo tanto, el conjunto de todos los x que satisfacen la desigualdad (1.43) puede ser representado geomtricamente por el intervalo ]x0 r, x0 + r[; es decir, por el intervalo abierto con
centro en x0 y radio r:
x0
x0 r
x0 + r
0 < |x a| < .
a+
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+
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 + [}.
La definicin de lmite afirma que f (x) estar en el intervalo ]L , L + [ siempre que x,
siendo distinto de a, est en el intervalo ]a , a + [. Esto significa, entonces, que la pareja
(x, f (x)) est en el conjunto C. Es decir, todos los puntos de coordenadas
(x, f (x))
tales que x 6= a pero x ]a , a + [ estn en el interior del rectngulo producido por la
interseccin de las dos bandas. Pero todos estos puntos no son ms que la grfica de la funcin
f en el conjunto ]a , a + [{a}. En otras palabras:
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.
El siguiente dibujo muestra lo que sucede cuando L es el lmite de f (x) cuando x se
aproxime al nmero a:
f (x)
L+
L
L
a+
35
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+
a a a+
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:
f (x)
g(x)
h(x)
1
1
Veamos un ejemplo.
36
Lmites
Ejemplo 1.8
Sea f : R R la funcin definida por f (x) = x2 para todo x R.
2. Construya una caja, tal como est definida en el texto, que ilustre el resultado encontrado en el primer punto.
Solucin.
1. En el ejemplo de la pgina 14, probamos que
9 = lm x2 .
x3
1
14 ,
1
2
1
.
14
1
1
1
1
C = (x, y) R2 : x 3 , 3 +
, y 9 ,9 +
14
14
2
2
1
2
1
2
1
14
3+
1
14
1
1
, 3 + 14
[ debe estar contenido plenamente en la caja.
el grfico de la funcin f en el intervalo ]3 14
Constatemos esto.
1
En primer lugar, veamos que f (x) es mayor que 9 12 cuando x = 3 14
. Por un lado tenemos
que:
1
41
f 3
=f
14
14
1 681
113
=
=8+
,
196
196
37
1
1
98
=8+ =8+
.
2
2
196
1
113
98
1
=8+
>8+
=9 .
3
14
196
196
2
1
14 .
1
1
98
=9+ =9+
.
2
2
196
1
85
98
1
=9+
<9+
=9+ .
3
14
196
196
2
1
1
< f (x) < 9 +
2
2
siempre que
1
1
<x<3+ .
14
14
Por esta razn, al dibujar el grfico de f en este intervalo, ste deber estar contenido plenamente
en la caja, como lo asegura la definicin de lmite y de caja. El siguiente es un dibujo de la situacin:
y
y = x2
3
9+
1
2
1
2
1
14
3+
1
14
x
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| <
Ilustremos estas ideas con un ejemplo.
|f (x) L| .
38
Lmites
Ejemplo 1.9
Demostrar que
lm f (x) 6=
x1
si
f (x) =
3
2
f (x) =
x
x+1
3
2
si x [0, 1],
si x ]1, 2].
x
x+1
si x [0, 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
Para ello, primero dibujemos la funcin f :
f (x)
3
2
1
1
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)
3
2
1
1
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:
f (x)
f (x)
f (x)
3
2
3
2
3
2
1+
1 1 1+
1 1 1+
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 < ;
3
2
1
= .
4
Ahora, si 1, podemos elegir el nmero x que est en la mitad entre 1 y 1 . Ese nmero es:
x=
(1 ) + 1
=1 .
2
2
Entonces:
1. x est en el dominio de f , pues, como
(a) 1 0, ya que 1 y
(b)
se tiene que
01 <1
es decir, x [0, 1[.
< 1;
2
> 0, entonces
x=1
6= 1.
2
f (x) = x = 1 .
2
Por lo tanto:
f (x)
pues
3
= 1
2
2
1
= =
2 2
1
1
>
2
4
3
2
3
2
1
1
+ > = ,
2 2
4
> 0.
2
40
Lmites
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.
1. Sean f : I R, a R, L R y > 0:
(a) encuentre un > 0 tal que |f (x) L| <
siempre que 0 < |x a| < ; y
(k) f (x) = x2 + 3x 5; a = 1; L = 7;
= 0.08.
(b) construya una caja de f (x) centrada en 2. Demuestre, utilizando la definicin de lmite:
(a, L) y de altura 2 que ilustre el resultado encontrado en el punto anterior
3x2 + 5x 2
(a) lm
= 7.
x2
x+2
para cada f , a, L y dados a continuacin:
6x
= 2.
(b) lm
(a) f (x) = x 2; a = 5; L = 3; = 0.02.
x1 x + 2
x2 7x + 5
= 1.
x1 2x + 3
(g) lm
41
(1.46)
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 representar 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
nos permite escribir las siguientes igualdades:
a = A(x) = 2x2 .
Cul es el dominio de la funcin A? La respuesta se encuentra despus de averiguar
los valores que puede tomar la variable x. Dentro de las especificaciones tcnicas para la
construccin de los paneles, se indica que el ancho del panel no puede superar los tres metros;
como, adems, el ancho no puede ser medido por el nmero cero ni por un nmero negativo,
se puede elegir2 como dominio de A el intervalo ]0, 3]. En resumen, A es una funcin de ]0, 3]
en R+ .
El equipo de Intipamba encargado de los paneles ya pueden representar simblicamente
el error absoluto que comete la mquina en el corte del ancho de un panel: el valor absoluto
de la diferencia entre x, el valor de la longitud real del ancho, y 2, el valor esperado para el
ancho:
error absoluto = |x 2|.
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
si |x 2| < , entonces |A(x) 8| < 0.08;
es decir, deben hallar un > 0 tal que
si |x 2| < , entonces |2x2 8| < 0.08.
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].
43
(1.4)
(1.5)
(1.4)
(1.5)
44
Lmites
(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.
Ahora, si sumamos 2 a cada lado de estas desigualdades, obtendremos lo siguiente:
2 < x + 2 5.
(1.48)
(1.49)
Por lo tanto:
g(x) 10.
Entonces, de la igualdad (1.47), concluimos que:
|2x2 8| 10|x 2|.
(1.50)
0.08
= 0.008.
10
Si este es el valor del nmero que estamos buscando, estaremos seguros de lo siguiente:
si x ]0, 3] tal que se verifica la desigualdad (1.4):
=
|x 2| < ,
45
<
tambin se cumple la condicin del problema: si x ]0, 3] tal que se verifica la desigualdad (1.4):
|x 2| < ,
se cumplir tambin la desigualdad (1.5):
|2x2 8| < 10 < 10 0.008 = 0.08,
de donde
|2x2 8| < 0.08.
Es decir, todo los nmeros positivos menores que 0.008 aseguran el cumplimiento de la desigualdad (1.5).
El problema matemtico ha sido resuelto. La solucin puede resumirse as:
si se elige el nmero > 0 tal que
0.008,
entonces, si x ]0, 3] y |x 2| < , necesariamente se cumplir la siguiente desigualdad:
|2x2 8| < 0.08.
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:
dado > 0, el nmero
=
10
46
Lmites
1.6.6 Eplogo
Luego de resolver el problema, el equipo encargado de la fabricacin de los paneles procedi
a la calibracin de la mquina cortadora. En las especificaciones del equipo, se indicaba que
poda ser calibrado para que el error absoluto en el corte de una cierta longitud no supere los
5 milmetros. Dado que 5 es menor que 8, los constructores de los paneles solares procedieron
a realizar dicha calibracin; estaban seguros que con ella el rea de cada panel satisfara
las especificaciones tcnicas para asegurar el correcto funcionamiento de la planta de energa
solar.
La comunidad entera trabaj para completar la construccin de la planta. Luego de mucho
esfuerzo, Intipamba ya tiene energa elctrica para satisfacer las necesidades de su gente. El
esfuerzo hubiera sido mayor, si la gente de Intipamba no hubiera resuelto el problema, con lo
que su adelanto se habra detenido, y si no se hubieran sentado antes a pensar en el problema
y buscar una solucin que, con la ayuda de la poderosa matemtica, encontraron.
1.6.7 Ejercicios
1. PRODAUTO es una empresa productora de
automviles. La gerencia ha establecido que el
costo de produccin mensual, expresado en miles de dlares, de n vehculos puede ser obtenido aproximadamente a travs de la siguiente
frmula:
2
ha previsto que, dadas las condiciones variables del mercado, habrn variaciones del nivel
de produccin. Esto significa que los correspondientes costos de produccin variarn.
Luego de un anlisis de los flujos de caja y teniendo en cuenta la predisposicin de los inversionistas, se ha establecido que las variaciones
del monto que se puede destinar a financiar los
costos de produccin debern ser menores a 4
47
millones de dlares por mes. Como la planificacin del trabajo, compra de insumos, planes de
ventas, entre otras actividades de PRODAUTO dependen del nivel de produccin, el equipo de la gerencia debe establecer un margen
para el nivel de produccin actual, sabiendo
que este nivel no puede variar en ms de 500
autos mensualmente. Determinar el margen de
variacin para el nivel de produccin actual.
2. Los constructores de una central hidroelctrica de reserva han establecido que la relacin
existente entre la altura h metros del espejo de
agua del reservorio respecto al nivel mnimo de
operacin y la energa acumulada E Mwh que
se puede generar si se activan una o ms turbinas, segn las necesidades planteadas por la
demanda, viene dada por la siguiente frmula:
L = lm f (x).
xa
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.
48
Lmites
1. Lmite de una constante: lm k = k .
xa
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.
Teorema 1.6 (Propiedades algebraicas)
Si existen L = lm f (x) y M = lm g(x), entonces:
xa
xa
L + M = lm (f (x) + g(x)).
xa
LM = lm (f (x)g(x)).
xa
1
y:
g(x)
1
1
= lm
.
xa g(x)
M
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
|(f (x) + g(x)) (L + M )| < ,
siempre que
0 < |x a| <
(1.51)
49
|f (x) L| < ,
2
(1.52)
siempre que
0 < |x a| < 1
Adems, por ser M el lmite de g(x) y
y x Dm(f ).
|g(x) M | <
,
2
(1.53)
siempre que
0 < |x a| < 2
y x Dm(g).
0 < |x a| < 2 ,
x Dm(f ) y x Dm(g).
y x Dm(f ) Dm(g).
< + = .
2 2
En otras palabras, L + M es el lmite de f (x) + g(x) cuando x se aproxima al nmero a.
De este teorema, es consecuencia inmediata el siguiente
50
Lmites
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)
g(x) ,
L
f (x)
= lm
.
xa g(x)
M
De este corolario, y su correspondiente teorema, se deduce que las operaciones algebraicas
entre funciones continuas producen funciones continuas. De manera precisa:
Ejemplo 1.10
Calcular
lm
x2
x+3
.
x5
F (x) =
x+3
.
x5
lm F (x).
x2
51
Es decir,
F (x) =
(x)
.
(x)
Entonces, para calcular el lmite de f (x), podemos utilizar el teorema del lmite del cociente, es
decir, el corolario 1.7 del teorema 1.6. Para poder hacerlo, tenemos que constatar que se verifiquen las
condiciones de este teorema. Estas son tres:
1. Existe el lmite
lm (x).
x2
2. Existe el lmite
lm (x).
x2
x2
x2
x2
x2
x2
=
Es decir,
lm
x2
5
.
3
x+3
5
= .
x5
3
Ejemplo 1.11
Calcule lm
s7
s2 21
si existe
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 (s2 21) = lm s2 + lm (21)
s7
s7
s7
= lm s lm s 21
s7
s7
= 7 7 21 = 28.
52
Lmites
s2
s7
s7
= 7 + 2 = 9 6= 0.
Podemos, entonces, aplicar el teorema del lmite del cociente:
lm (s2 21)
s2 21
s7
=
lm
s7 s + 2
lm (s + 2)
s7
28
=
.
9
Ejemplo 1.12
Calcule lm (2t + 3)(3t2 5) si existe
t1
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
Calcule lm y
y0
4
1
y
si existe.
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
y0 y
y
= lm (4 y) = 4 0 = 4.
y0
De donde:
lm y
y0
4
1
y
= 4.
53
1.7.1 Ejercicios
1. En los siguientes ejercicios, calcule el lmite dado si l existe. De ser necesario, realice primero
una manipulacin algebraica.
(a) lm (2x2 3x + 2).
x2
(b)
(c)
(d)
(e)
(f)
x2 + x 1
.
lm
x2
3x + 1
x + 3
.
lm
x3 2x 7
t3 1
lm
.
t1 t 1
3z + 9
.
lm
z3 36 4z 2
1
lm x
.
x0
x1
desarrolle el cubo.
1
(k) lm
(x + h)3 x3 .
h0 h
2. Calcule los lmites dados usando las propiedades de los lmites. Indique qu propiedades us.
(a) lm 7.9
x3
(b) lm (4x 8)
x5
(c) lm (x5 7x + 1)
x2
3x 7
x0 7x2 + 8
t3 + 1
.
t1 t2 1
(d) lm
(g) lm
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 producto, etctera. En el siguiente teorema se generalizan los anteriores para cualquier nmero de
funciones.
Li = lm fi (x) y Mi = lm gi (x)
xa
xa
xa
2. lm
xa
n
X
fi (x) =
i=1
n
Y
i=1
fi (x) =
n
X
i=1
n
Y
i=1
lm fi (x) =
xa
lm fi (x) =
xa
n
X
Li .
i=1
n
Y
Li .
i=1
Pn
i=1 fi
Qn
i=1 fi
son
54
Lmites
1. lm P (x) = P (a).
xa
P (a)
P (x)
=
, siempre que Q(a) 6= 0.
xa Q(x)
Q(a)
2. lm
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.
lm
xa
p
n
f (x) =
q
n
lm f (x) =
xa
L.
hn (x) = n x
es continua en R si n es impar, mientras que es continua en [0, +[ si n es par. Eso lo haremos
en el siguiente captulo. Ahora veamos algunos ejemplos de lmites que involucran races.
Ejemplo 1.14
Calcule lm
x4
p
2x2 7 si existe.
Solucin. El lmite pedido existir si existe el lm (2x2 7) y si ste es positivo. Entonces, calculemos
x4
lm (2x2 7) = 2 lm x2 + lm (7)
x4
x4
x4
= 2(4)(4) 7 = 25 > 0.
Entonces, el lmite buscado existe y se lo calcula as:
p
q
2x2 7 = lm (2x2 7)
x4
x4
= 25 = 5.
lm
Por lo tanto:
lm
x4
p
2x2 7 = 5.
55
Ejemplo 1.15
Calcule lm
x3
x 7 si existe.
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
q
3
x 7 = 3 lm (x 7)
x3
x3
3
3
= 4 = 4.
lm
Por lo tanto:
lm
x3
3
x 7 = 4.
1.7.3 Ejercicios
Si los lmites existen, calcularlos:
r
10x
.
2x + 5
5.
3
x2 10
2. lm
.
x2
x3 3
6.
1. lm
x10
3. lm (t + 2) 2 (2t + 4) 3 .
7.
x+h x
4. lm
, x > 0.
h0
h
8.
t2
t1
lm
.
t1 t 1
s
2x2 x + 3
lm
x1
x2 + x + 1
r
3x 5
lm 3
2
x2
2x x + 1
4
x3 3x + 2
lm
x1 3 1 2x + x4
x1
x1
56
Lmites
xa
xa
lm f (g(x)),
xa
y = g(x)
siempre que:
1. existe b = lm g(x); y
xa
g(x) 6= b
para todo x ]a r, a + r[.
Y, si se puede usar el cambio de variable, se tiene, entonces que:
lm f (g(x)) = lm f (y).
xa
yb
57
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, determinemos 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
2
x1
= 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 (x) = lm sen x = sen 0 = 0.
x0
x0
x1
y0
= lm sen y = 0.
y0
Es decir:
lm sen(x2 1) = 0.
x1
x0
sin(2x)
.
x
sen y
,
y
x0
sin(2x)
= lm f (g(x).
x0
x
58
Lmites
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
lm f (y) = lm 2
y0
y0
sen y
sen y
= 2 lm
= 2 1 = 2.
y0
y
y
y0
Es decir:
lm
x0
sin(2x)
= 2.
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
(
y
si y 6= 0,
2 sen
y
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.
x0
sen(2x)
sen(2x)
= lm 2
x0
x
2x
sen(2x)
= 2 lm
x0
2x
sen(y)
= 2 lm
= 2 1 = 2,
y0
y
59
Ejemplo 1.18
Sean
f (t) =
4
3
si t 6= 1
si t = 1,
g(x) =
1
0
si x 6= 2
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.
Solucin. En primer lugar, tenemos que a = 2 y, como se verifica que
lm g(x) = 1,
x2
t1
4
3
si g(x) 6= 1
si g(x) = 1
4
3
si x = 2
si x =
6 2.
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 hiptesis 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
f (x) =
3
4
si x 6= 1
si x = 1,
(
0
y g(x) =
1
si x 6= 2
si x = 2.
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
f (g(x)) =
f (1) si x = 2
3 si x 6= 2
4 si x = 2,
entonces
lm f (g(x)) = lm 3 = 3.
x2
x2
x2
Por lo tanto:
f
Esto prueba que:
lm g(x) = f (0) = 3.
x2
lm f (g(x)) = f
x2
lm g(x) .
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
Probar que, si f (x) =
2 tan(x2 1)
, entonces
x4 x2
lm f (x) = 2.
x1
Solucin. Sean
k(x) =
x2
2
cos(x2 1)
lm f (x) =
x1
h(x) =
sen(x2 1)
.
x2 1
lm k(x)
lm h(x) ,
x1
x1
x1
= cos(0)
= 1,
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:
lm k(x) =
x1
2
2
=
= 2.
(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
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
uso de las siguientes igualdades, cuya validez
cular los lmites dados, justificando su uso en
ser demostrada ms adelante:
cada caso.
sen(x2 4)
.
x2
x4 16
p
(b) lm x2 3x + 4.
x1
p
3
(c) lm
x2 2x + 2.
x1
r
x + 8
(d) lm
.
x0
x+2
(a) lm
lm
x0
y0
lm
x0
1 cos x
= 0.
x
sen 3s
.
5s
tan 8t
(b) lm
.
t0
7t
sen x + cos x
(c) lm
.
x0
3 + cos x
s0
lm f (y) = l
(a) lm
yb
sen x
=1
x
lm g(x) = b.
sen(x2 1)
.
x1 x2 3x + 2
(d) lm
2x2 + x 10
.
x2 tan(2 x)
3
x
(f) lm
.
x0 sen x
(e) lm
xa
Pruebe que se puede aplicar el teorema de cambio de variable para calcular lmxa f (g(x)), si
poniendo h(x) = g(x) b, la funcin h cambia
de signo en a.
1 cos2 x
.
x0 1 cos x
(g) lm
x2 + x
.
x0 sen x + tan x
(h) lm
1 = lm
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
<
.
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:
0 < cos x <
P
R
sen x
x
O
cos x
P
tan x
x
x
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.
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)
sen x
cos x
63
Y, si suponemos que x 6= 0, entonces (AP ) 6= 0. Entonces, estas dos ltimas desigualdades implican las siguientes:
cos x <
sen x
(AP )
< 1.
(1.56)
5. La longitud del arco AP es igual a x, pues, por la definicin de radin, se verifica que:
(AP ) = OAx = 1 x = x.
sen x
< 1.
x
(1.57)
1 = lm
Este es el enunciado del teorema:
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
sen x
,
x
y h(x) = 1 para todo x D =] 2 , 2 [ y que
lm
x0
sen x
x
L = 1 = lm f (x) = lm h(x).
x0
x0
64
Lmites
Ejemplo 1.21
Calcular
lm x2 sen2
x0
1
lm x cos .
x
x0
Solucin.
1. Si definimos f , g y h tales que
f (x) = x2 sen2
g(x) = 0,
tenemos que, para todo x 6= 0:
y h(x) = x2 ,
Como
lm g(x) = lm h(x) = 0,
x0
x0
x0
2. Definamos:
g(x) = 0,
Tenemos que, para todo x 6= 0:
1
f (x) = x cos
x
h(x) = |x|.
Por consiguiente:
1
lm |f (x)| = lm |x cos | = 0.
x0
x
x0
xa
x0
lm |(x)| = 0,
xa
1
= 0.
x
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
0 | sen x| |x|.
65
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
x0
x
2
x0
x
= lm sen t = 0
2 t0
(usando el cambio de variable t = x2 , lo que se puede ya que x 6= 0 implica t 6= 0), tenemos que
x 2
= 2(0) = 0
lm (1 cos x) = 2 lm sen
x0
x0
2
(por las propiedades algebraicas de los lmites).
3. Sea a 6= 0. Vamos a probar que
lm sen x = sen a.
xa
xa
xa
t0
t0
lm cos x = cos a.
xa
xa
xa
t0
t0
66
Lmites
1.9.1 Ejercicios
1. Use el teorema del sandwich para calcular:
para todo x
.
x1
(b) lm f (x), si se sabe que 1 |x 1|
2 |x 1| g(x) x2 2x + 4.
x1
f (x) x2 2x + 2.
3. Diga si se puede aplicar el teorema del sandwich para calcular lm g(x) si se conoce que
x1
(1.58)
n x < n + 1.
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.
1
2
3
3
La notacin [x] tambin suele ser utilizada para representar la parte entera del nmero x.
67
y que
0 = lm x cuando x < 1.
x1
68
Lmites
L = lm f (x),
xa+
|f (x) L| < ,
siempre que 0 < x a < .
Anlogamente: L es el lmite de f (x) cuando x se aproxima a a por la izquierda, y se escribe:
L = lm f (x),
xa
|f (x) L| < ,
siempre que 0 < a x < .
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.
69
Ejemplo 1.23
Sea f : [0, +[ [0, +[ definida por f (x) =
derecha.
Solucin. Puesto que
lm
xa
x=
a,
para a > 0, f es continua en R+ . Como f (x) no est definida para x < 0, no existe
lm x.
x0
lm x = 0 = 0.
x0+
| x 0| < ,
| x 0| <
x<
Tomemos, entonces, = 2 . En ese caso, tenemos:
x < 2 .
x < 2
x < | x 0| < .
Hemos probado entonces que 0 = 0 = lmx0+ x; es decir, hemos probado que f es continua en 0
por la derecha.
Es claro que la funcin f no puede ser continua en 0 por la izquierda, pues f no est definida para
ningn x < 0.
0<x<
Ejemplo 1.24
Sea
si x > 1
2x 1
f (x) = 2
si x = 1
2
x + 3x si x < 1
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
x1
x1
= (1)2 + 3 1 = 2.
lm f (x) = lm (2x2 1)
x1+
x1
= 2(1)2 1 = 1.
Por lo tanto:
x1
x1+
70
Lmites
Ejemplo 1.25
Sea f : R R definida por f (x) = x. Entonces f es discontinua en x si y solo si x Z.
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+
xn
xn
Ejemplo 1.26
Sea g : R R definida por g(x) = x x. El nmero g(x) es la parte fraccionaria de x.
Entonces g es discontinua en x si y solo si x Z.
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.
1.10.1 Ejercicios
1. Dibuje la grfica de f y determine, si existen,
los lmites
lm f (x),
xa
lm f (x),
xa+
(b)
lm f (x),
f (x) =
xa
x2 1
1
3 (11 x)
si x 2
si x > 2
a=2
(c)
2x 1 si x < 2
f (x) = 3
si x = 2
x + 1 si x > 2
a=2
f (x) =
|x + 1|
2x
si x < 1
si x 1
a=1
71
(a) lm f (x) = 1, lm f (x) = 5, si
(d)
f (x) =
9
x+1
x2+
x2
x2
si |x| < 3
si |x| 3
a=3
(e) f (x) = 1 + x; a Z.
2. Mostrar que
x = max{n Z : n x}
para todo x R.
x1
(a) lm+ 2
.
x1 x 3x + 2
1x
(b) lm 2
.
x1+ x 3x + 2
x+1
(c) lm 2
.
x2 x 3x + 2
2x2 x + 6
(d) lm 2
.
x2 x 3x + 2
5. Diga si la funcin f es continua en 1 por la
derecha o por la izquierda:
x 3x + 1 si x > 1
(a) f (x) = 1
si x = 1
2
2x + x + 1 si x < 1.
si x > 1
x1
(b) f (x) = 1
si x = 1
2
x 3x + 3 si x < 1.
1
si x > 1
x1
si x = 1
(c) f (x) = 0
x23x+2 si x < 1.
1x
(
x2 + x 2 si x > 1
(d) f (x) =
1 x2
si x 1.
f (x) =
x2 + 1
x2 + 3
si x > 2
si x < 2.
p
x3 + 1 = 0.
lm+ 4 3x 2 = 0.
(b) lm
x1
(c)
x 23
f (x) =
x 3 si x < 1
2x + 1 si x > 1.
2x + 1
.
x4 4
1
(c) lm 2
.
x1 x 5x + 4
(b) lm
x2
x+1
2x 3
si x < 0
si x > 0.
72
Lmites
f (x) > R,
siempre que x Dm(f ) y 0 < |x a| < .
Anlogamente: lm f (x) = si y solo si para todo R < 0, existe > 0 tal que
xa
f (x) < R,
siempre que x Dm(f ) y 0 < |x a| < .
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.
73
Ejemplo 1.27
1
= +.
x0 x2
Probar que lm
(1.59)
(1.60)
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
para todo x A =]a , a + [{a}.
Como R > 0, podemos asegurar que f (x) > 0 para todo x A.
En resumen, si f (x) tiende a + cuando x tiende al nmero a, entonces f (x) es positiva,
quizs, excepto en a, en todos los puntos de un intervalo abierto centrado en a.
De manera similar, podemos concluir que, si si f (x) tiende a cuando x tiende al
nmero a, entonces f (x) es negativa, quizs, excepto en a, en todos los puntos de un intervalo
abierto centrado en a.
Resumamos estos resultados en el siguiente teorema:
74
Lmites
Teorema 1.17
Si
lm f (x) = +,
xa
f (x) > 0
para todo x ]a , a + [{a}.
Si
lm f (x) = ,
xa
f (x) < 0
para todo x ]a , a + [{a}.
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)
= .
x2
(x 2)2
Pruebe que lm
Solucin.
Sean f (x) =
(5 x)(1 x)
y R < 0. Debemos hallar > 0 tal que
(x 2)2
f (x) < R,
(1.61)
(1.62)
Ahora, busquemos un intervalo centrado en 2 donde f (x) sea un nmero negativo. Como (x2)2 >
0, entonces, en dicho intervalo, deber ocurrir que
(5 x)(1 x) < 0.
75
(5 x)(1 x)
M
< 2,
(x 2)2
(1.63)
f (x) < 0.
Empecemos por encontrar los valores de x 6= 2 para los cuales f (x) < 0. Para ello consideremos
las siguientes equivalencias:
(5 x)(1 x)
< 0 (5 x)(1 x) < 0,
(x 2)2
(x 5)(x 1) < 0
x ]1, 5[.
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
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,
siempre que 1 < x < 5 y x 6= 2.
Ahora, encontremos la constante M . Como el lmite es en 2, elijamos valores de x cercanos a 2.
Por ejemplo, tomemos x 6= 2 tales que |x 2| < 12 . Esto equivale a
1
1
<x2< ,
2
2
76
Lmites
de donde
3
5
<x< .
2
2
(1.64)
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
para todo x 23 , 52 . Esto significa, entonces, que M = 47 .
Resumamos: si x es tal que |x 2| < 21 , entonces (5 x)(1 x) < M = 47 .
Por otro lado, debe cumplir con
M
= R,
2
de donde
M
,
2 =
R
de donde, como M < 0 y R < 0, tenemos que puede ser elegido as:
r
r
1 7
M
=
=
.
R
2 R
3
1 1
,
2 2
7
R
se verifica que
(5 x)(1 x)
<R
(x 2)2
x2
(5 x)(1 x)
= .
(x 2)2
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:
lm q
vc
m0
1
v2
c2
= +.
(1.65)
77
Para probar que esta igualdad es verdadera, podramos recurrir a la definicin directamente. 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
lm
x0+
1
= + y
x
lm
x0
1
= .
x
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+
xa
o as f (x) L+ .
x0
xa
o as f (x) L ,
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. lm f (x) = 0+ si y solo si lm
1
= +.
f (x)
2. lm f (x) = 0 si y solo si lm
1
= .
f (x)
xa
xa
xa
xa
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
Clculo del lmite
m0
lm q
vc
1
v2
c2
Solucin. Para poder utilizar la primera parte del teorema (1.18), primeramente expresemos m(v) de
la siguiente manera:
1
q
.
m(v) =
2
1
1 vc2
m0
Ahora, podemos definir la funcin f as:
1
f (v) =
m0
v2
c2
vc
v
= 1 ,
c
vc
v2
= 0+ .
c2
v2
= 0+ .
c2
vc
vc
1
m0
1
q
1
v2
c2
= +.
Es decir, cuando la velocidad de un cuerpo es cercana a la velocidad de la luz, su masa crece indefinidamente.
Probemos a continuacin el primer numeral del teorema 1.19. El segundo se deja a que el
lector lo realice como un ejercicio.
Demostracin. Supongamos que
lm f (x) = 0+ .
xa
xa
(1.66)
1
= +.
f (x)
(1.67)
79
La igualdad (1.66) implica, por un lado, que existe 1 > 0 tal que
(1.68)
f (x) > 0
siempre que 0 < |x a| < 1 .
Por otro lado, la igualdad (1.66) tambin implica que existe 2 > 0 tal que
|f (x) 0| = |f (x)| <
1
R
(1.69)
1
R
xa
1
= +.
f (x)
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.
80
Lmites
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}.
En el caso de que una funcin tienda a + o a , la funcin no est acotada superiormente, en el primer caso, e inferiormente en el segundo. La demostracin, que es similar a la
del caso de los lmites finitos, la dejamos como un ejercicio para el lector. Enunciemos este
resultado como el siguiente teorema.
Teorema 1.21
Si lm f (x) = +, entonces f no est acotada superiormente en ningn intervalo centrado en
xa
lm [f (x) + g(x)] = + y
xa
lm [f (x)g(x)] = +.
xa
81
lm [f (x)] = (+).
xa
lm [f (x) + g(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)
= +.
xa g(x)
lm
lm
xa
f (x)
= 0.
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
Calcular lm
x0
1
+ sen x .
x2
1
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
Calcular lm
x1+
x2 + 1
.
x3 1
1
.
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
= +.
x3 1
De modo que, si aplicamos la cuarta propiedad enunciada en el teorema 1.22, podemos concluir
lm g(x) = lm
x1+
x1+
que
x2 + 1
= 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
+ 2
1+ 2
2
x2 + 1
x
x
x
= 3
=
,
1
x3 1
x
1
x
2
x2
x2
x
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+
lm g(x) = 1 1 = 0
x1+
y, como
x
pues
1
> 0,
x2
x > 1 = x2 > 1
1
= 2 < 1
x
1
= 2 > 1
x
1
= x 2 > 0,
x
tenemos que
lm g(x) = 0+ .
x1+
x1
x2 + 1
f (x)
= lm
= +.
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
f (x)
ni sobre lm
. Los siguientes ejemplos nos van a decir por qu.
xa g(x)
xa
83
Ejemplo 1.32
Calcular los lmites
lm g(x) y
lm f (x),
xa+
si:
lm [f (x) g(x)]
xa+
xa+
r
x+1
1
1. f (x) =
y g(x) =
; a = 0.
x
x
1
1
2. f (x) =
y g(x) =
; a = 1.
3
(x 1)
(x 1)2
Solucin.
r
r
1
x+1
1
1
1. Tenemos que f (x) =
= 1 + , que lm+ = + y que lm+ 1 + = + (por el
x
x
x
x0 x
x0
numeral tres del teorema 1.22). Es decir:
lm
xo+
x+1
= +.
x
(1.70)
xa
x0+
x0+
p
(x) = +. Si aplicamos
x+1
= +.
x
x0+
x0+
1
= +.
x
r
1
1
lm
1 + = + y
lm
= +,
x
x
x0+
x0+
por el primer numeral del teorema 1.22, tenemos que
r
r !
1
1
lm
1+ +
= +,
x
x
x0+
de donde, por el teorema 1.19 (pgina 77), podemos concluir que:
1
q = 0.
lm [f (x) g(x)] = lm+ q
x0+
x0
1 + x1 + x1
2. Dado que, para x > 1, tenemos que (x 1)3 > 0, entonces lm+ (x 1)3 = 0+ . Por lo tanto, por el
x1
lm f (x) = lm
x1+
5
x1+
1
= +.
(x 1)3
84
Lmites
Un razonamiento similar nos conduce a concluir que:
lm g(x) = lm
x1+
x1+
1
= +.
(x 1)2
1
1
1
= (2 x)
,
3
2
(x 1)
(x 1)
(x 1)3
tenemos que, por la cuarta propiedad del teorema 1.22, tenemos que
lm [f (x) g(x)] = lm (2 x)
x1+
x1+
1
= +,
(x 1)3
1
,
2
es decir, (2 x) est acotado inferiormente por un nmero positivo.
2x>
1
.
x
f (x)
g(x)
si:
2. f (x) =
1
1
y g(x) = 2 .
x
x
3. f (x) =
1
1
y g(x) = .
x2
x
x0+
x0
Veamos lo que sucede con el lmite del cociente entre f (x) y g(x) en cada caso.
1. Tenemos que
f (x)
f (x)
= 1. Por lo tanto, lm
= 1.
g(x)
x0+ g(x)
1
f (x)
f (x)
x
=
= x. Por lo tanto: lm
= 0.
2. Tenemos que
1
g(x)
x0+ g(x)
x2
1
f (x)
2
1
f (x)
3. Tenemos que
= x = . Por lo tanto, lm+
= +.
1
g(x)
x
x0 g(x)
x
85
1
1 cos x
= .
2
x0
x
2
lm
Uno de los resultados estudiados en este captulo que ayuda a calcular los lmites del tipo
es el teorema 1.1 enunciado en la pgina 28.
0
0
|f (x) L| < ,
siempre que x Dm(f ) y x > R.
Anlogamente: L = lm f (x) si y solo si para todo > 0, existe M < 0 tal que
x
|f (x) L| < ,
siempre que x Dm(f ) y x < M .
86
Lmites
Ejemplo 1.34
Mostrar que lm
x+
1
1
= 0 y lm
= 0.
x x
x
Solucin.
1. Sea > 0. Debemos encontrar R > 0 tal que
1
0 <
x
(1.71)
Para ello, procedamos de manera similar al caso de los lmites finitos. Analicemos, pues, la desigualdad (1.71).
Como x tiende a +, supongamos que x > 0. Entonces, se tienen las siguientes equivalencias:
1
0 < 1 <
x
x
1
x > .
(1.72)
xa
x+
x+1
.
x1
87
Solucin.
Sea > 0. Buscamos un nmero R > 0 tal que, si definimos
f (x) =
se verifique que
x+1
,
x1
|f (x) 1| <
(1.73)
x+1
x+1x+1
2
1=
=
> 1,
x1
x1
x1
2
.
x1
Por lo tanto, para que se verifique la desigualdad (1.73), es suficiente que se cumpla lo siguiente:
|f (x) 1| =
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+ .
2
> 1,
lm
x+
x+1
= 1+ ,
x1
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
Calcular lm
3x + 1
.
2x 5
1
= 0, entonces:
x
1
3+
3x + 1
x
lm
= lm
5
x 2x 5
x
2
x
3+0
3
=
= .
20
2
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
Puesto que:
2x3 x2
=
2x3 + 3x2 2x
y que
lm
x+
2
2+3
1
x
1
1
2 2
x
x
1
1
= lm
= 0,
x x+ x2
2x3 x2
20
=
= 1.
2
+ 3x 2x
2+3020
x+ 2x3
f (x)
= 1.
g(x)
Cmo se interpreta este resultado?
Sea > 0. Entonces, existe R > 0 tal que
f (x)
g(x) 1 <
Es decir: lm
x+
89
f (x)
<1+
g(x)
siempre que x > R. Ms an, dado que g(x) > 0 para todo x > 0, se verifica que:
(1 )g(x) < f (x) < (1 + )g(x)
para todo x > R.
Estas dos desigualdades nos dicen algo importante: a partir de un cierto orden para las matrices
(x representa lo que n en el ejemplo de inicio de esta seccin), f (x) est acotada por arriba y por abajo
por g(x) multiplicada por sendas constantes que, si elegimos muy pequeo (algo que podemos hacer
a nuestro gusto), dichas constantes son cercanas a 1. En otras palabras, los valores de f (x) y de g(x)
son similares, por lo que, cuando x es grande, el nmero de operaciones que realizan ambos algoritmos
no difieren de manera significativa. En este sentido, ambos algoritmos son o igual de buenos o igual
de malos.
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) = +
Por ejemplo: lm f (x) se tiene cuando para todo R > 0, existe M > 0 tal que
x
f (x) > R,
para todo x Dm(f ) y x < M .
Como un buen ejercicio, el lector debera formular las restantes definiciones.
La propiedades de estos lmites se pueden expresar a travs de las propiedades de los
lmites infinitos y los lmites al infinito. Por ejemplo, si
lm f (x) = ,
x+
entonces
1
= 0 .
x+ f (x)
lm
O, si
lm f (x) = + y
lm g(x) = +,
entonces:
lm [f (x) + g(x)] = + y
lm f (x)g(x) = +.
x+
lm
x+
f (x)
g(x)
x+
lm x = .
90
Lmites
x+
y
(
+ si n es par,
lm x =
x
si n es impar.
n
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
1. Mediante la definicin correspondiente, demuestre que:
(a)
(b)
(c)
(d)
(e)
(f)
(g)
(h)
(i)
2x 1
= 2.
x x + 1
x+2
lm
= 1.
x+ x 1
(2 x)(2x 1)
= +.
lm
x1
|x 1|
x2
lm
= .
x0 x2 + |x|
(2x 1)(7 2x)
lm
= +.
x2
|x2 3x + 2|
sen x
lm
= 0.
x
x
x2 2x
lm 2
= .
x1 |x 1|
2x2 5x + 1
lm
= 2.
x+
x2 + 1
lm (1 x2 ) = .
lm
x+
(j)
(k) lm+
x1
5 + 4x
= +.
5x + 4
x2
(f)
lm
x+
x+1
.
|x + 1|
lm
x+
f (x) = L.
lm
1
= 0 .
f (x)
x+
lm g(x) = +,
x+
f (x)
= 0.
g(x)
x+
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
91
y
o
lm [f (x) (ax + b)] = 0.
xa+
lm |f (x)| = +.
2a
xa
(b)
y
2a
a
(c)
y
2a
a
(d)
2a
a
(a)
92
Lmites
La derivada: su
motivacin
g(x) g(a)
.
xa
m = lm mx = lm
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:
mx =
3x2 12
x2
3x2 12
= 12.
x2 x 2
m = lm
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 definiciones 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)
.
xa
xa
m = lm
f (x) f (a)
.
xa
xa
m := lm
1
,
x
= lm
1
= 1.
x1 x
Como el lmite existe, la recta tangente tendr por ecuacin a
= lm
y 1 = 1(x 1);
es decir, la ecuacin de la recta tangente a la hiprbola en el punto de coordenadas (1, 1) es y = x.
Una de las aplicaciones ms valiosas del concepto de derivada que vamos a estudiar es el proveer una
herramienta para realizar un dibujo aproximado del grfico de una funcin. Ms adelante, podremos
constatar que el grfico de f y de la tangente al grfico de f en el punto de coordenadas (1, 1) es el
siguiente:
95
y
y=x
y = 2
1
x
2
1
b
Ejemplo 2.39
Hallar la ecuacin de la recta tangente al grfico de la cbica de ecuacin y = x3 en el punto
de coordenadas (1, 1).
Solucin. Si ponemos a = 1 y definimos f (x) = x3 , entonces f (1) = 1 y
f (x) f (1)
x3 + 1
= lm
x1
x1 x + 1
x (1)
m = lm
(x + 1)(x2 x + 1)
= lm x2 x + 1 = 3.
x1
x1
x+1
= lm
1
b
y = 3x + 2
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
97
f (x)
2 000
=
+ 11 0.000 12x.
x
x
98
La derivada: su motivacin
CU =
f (x)
x
C = f (x)
1 000
12 880
12.880
2 000
23 520
11.760
3 000
33 920
11.307
5 000
54 000
10.800
6 000
63 680
10.613
7 000
73 120
10.446
8 000
82 320
10.290
9 000
91 280
10.142
10 000
100 000
10.000
99
V = (d)
3
G = (d)
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
se tendr que
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:
CU =
f (x)
2 000
=
+ 11 0.000 12x,
x
x
se tendra que:
f (x)
2 000
10.8 =
+ 0.2 0.000 12x.
x
x
Por ejemplo, si x = 6 000 autos, entonces:
CU =
f (6 000) 63 680
y
f (6 000)
10.613.
6 000
Adems, tendremos que:
x = 6 000 5 000 = 1 000,
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:
p = p p0 = 0.70 0.40 = 0.30 dlares.
Si el precio de una llanta pasara de p0 = 20.00 dlares a p = 20.30 dlares, la variacin
absoluta sera tambin de 0.30 dlares.
Obviamente, la importancia del alza de 0.30 dlares al precio del kilogramo de arroz no
es la misma que la del alza al precio de una llanta. En el primer caso, el precio casi se ha
duplicado, mientras que, en el caso de la llanta, el alza es insignificante.
Para medir este fenmeno, se utiliza el concepto de variacin relativa que es el cociente
de la variacin absoluta dividida por el valor inicial que tiene la variable. As, en el ejemplo
de la llanta, la variacin relativa es:
p
0.30
=
= 0.015.
p0
20.00
La variacin relativa suele tambin expresarse como un porcentaje al que se lo denomina
variacin porcentual.
1
Teniendo en cuenta la identidad % = 100
(o 100 % = 1), podemos decir que la variacin
porcentual del precio del kilogramo de arroz es:
p
100 % = 0.75 100 % = 75 %
p0
y que la variacin porcentual del precio de la llanta es:
p
100 % = 0.015 100 % = 1.5 %.
p0
101
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
(2.1)
(2.2)
102
La derivada: su motivacin
(2.3)
y = 48 000 + 10x
y
48 000 + 10x
=
.
y0
50 000
(2.4)
Ahora bien, como y depende de x, y esta dependencia est descrita por y = f (x), para un
x0 fijo dado, es de esperar que la dependencia del incremento y respecto del incremento x
pueda describirse fcilmente, al igual que la dependencia de la variacin relativa o porcentual
y
x
y0 respecto de x0 , la variacin relativa o porcentual de x. Veamos que s es as.
Resulta que, en este ejemplo, y es directamente proporcional a x, as como
directamente proporcional a x
x0 ! Es decir, existen constantes y tales que
y
y0
es
(2.5)
y = x
y
x
=
.
y0
x0
(2.6)
y
48 000 + 10x
=
= 10.
x
x 4 800
(2.7)
y
x0 y
4 800
y
= 0 =
=
10 = 0.96.
x
y0 x
50 000
x0
x
x0
(2.8)
y
y0
respecto de
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:
y0 = f (x0 ),
x = x x0 ,
y = y y0 = f (x) f (x0 ),
se tiene que:
y = x,
y
x
=
,
y0
x0
donde
=m y =
x0
m.
y0
(2.9)
(2.10)
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).
103
x = x x0 ,
y0 = f (x0 ),
y = y y0 ,
f (x0 ; x) =
y
f (x) f (x0 )
=
.
x
x x0
(2.11)
y = f (x0 ; x)x
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:
G = (d) =
1 3
d , d [60, 120].
2 000
G
(d) (d0 )
=
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 !
d
(d)
(d) (d0 )
(d0 , d)
78
94.91
7.49
3.74
79
98.61
3.79
3.79
79.5
100.49
1.91
3.82
79.9
102.02
0.38
3.84
80
102.40
3.84
80.1
102.78
0.38
3.84
80.5
104.33
1.93
3.86
81
106.29
3.89
3.89
82
110.27
7.87
3.94
104
La derivada: su motivacin
dd0
(d) (d0 )
G
= 3.84,
= lm
d0 d
d d0
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 (x) f (x0 )
= lm
,
xx0
x0 x
x x0
f (x0 ) = lm f (x0 , x) = lm
xx0
diremos que
f (x0 )
f (x)
2 000
=
+ 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:
f (5 000, x) =
f (x) f (5 000)
52 000 + 11x 0.000 12x2
=
.
x 5 000
x 5 000
f (x)
x
000)
f (5
5 000
=
x 5 000
2 000
x
Al tomar, en estos dos casos, el lmite cuando x se aproxima a 5 000 o, lo que es lo mismo, el
lmite cuando x se aproxima a 0, obtendremos las respectivas razones de cambio instantneas para
un nivel de produccin igual a x = 5 000 autos:
52 000 + 11x 0.000 12x2
= 9.8,
x5 000
x 5 000
2 000
x + 0.2 0.000 12x
CU = f1 (5 000) = lm
= 0.000 2.
x5 000
x 5 000
C = f (5 000) =
lm
105
2.3.2 Elasticidad
En esta seccin, se defini la elasticidad. Veamos este concepto ms de cerca.
Si una variable y depende de otra variable x a travs de una funcin f : R R, y si
variamos el valor de x a partir de un valor inicial x0 , nos interesa en qu porcentaje vara y
a partir del valor inicial y0 = f (x0 ), si x vara en un porcentaje dado.
Conocida la variacin porcentual de x:
x
100 %
x0
106
La derivada: su motivacin
y la variacin porcentual de y:
y
100 %,
y0
y
y0
de
x
x0 ,
donde
y = y y0 = f (x) f (x0 ),
x = x 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
x0 y
y0
=
,
= x
f (x0 ) x
x
0
tendremos:
=
=
=
Es decir:
y
y0
x
x0
f (x)f (x0 )
f (x0 )
xx0
x0
x0
(mx + b) (mx0 + b)
f (x0 )
x x0
mx0 x x0
.
f (x0 ) x x0
=
mx0
.
f (x0 )
x
x0
= 10 %, los costos se
107
obtendremos que
= (x0 , x) =
x0 y
x0 f (x) f (x0 )
x0 f (x0 + x) f (x0 )
=
=
,
f (x0 ) x
f (x0 )
x x0
f (x0 )
x
xx0
f (x) f (x0 )
,
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 ) = lm (x0 , x) = lm
xx0
xx0
(x0 ) =
x0 f (x) f (x0 )
,
f (x0)
x x0
x0
f (x0 ).
f (x0 )
22 500
p
22 500
,
p2
por lo que:
f (p0 ) = 0.65.
Se desea conocer el valor aproximado de
(p0 ) =
D
D0 .
Como:
p0
300
39
f (p0 ) =
(0.65) =
0.1,
D0
1 955
391
tenemos que:
D
p
(p0 )
=
D0
p0
39
(5 %) 0.5 %
391
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
C = f (x) = 2 000 + 11x 0.000 12x2,
la elasticidad media de los costos en el intervalo de extremos 5000 y x sera:
(5 000, x) =
5 000 C
5 000 52 000 + 11x 0.000 12x2
=
.
f (5 000) x
54 500
x 5 000
5 000
5 000
f (5 000) =
9.8 0.899 1.
f (5 000)
54 500
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
+ 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,
CU = f1 (x) =
5 000 CU
5 000
=
f1 (5 000) x
10.8
2 000
x
y la elasticidad puntual del costo unitario para un nivel de produccin x0 = 5 000 autos sera:
1 (5 000) =
5 000
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 %.
109
110
La derivada: su motivacin
desplazamiento de la partcula
lapso transcurrido
x m
x m
=
t s
t s
m
y como v = x
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,
111
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 momento 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.
Para poder calcular la posicin del camin, debemos, entonces, determinar a y b.
En primer lugar, t0 = 8, pues el camin inicia el recorrido a las ocho de la maana. Entonces:
x0 = f (8). Como en ese momento, el camin an no se ha movido, f (8) = 0, por lo que x0 = 0.
En segundo lugar, a las diez de la maana, el camin lleg al Balzar, despus de recorrer 96
kilmetros. Por lo tanto:
x1 = f (10) = 96.
Entonces:
0 =
96 =
8a + b
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:
x2 = 168 = f (t2 ) = 48t2 384,
lo que nos da que:
t2 =
552
168 + 384
=
= 11.5.
48
48
288 + 384
672
=
= 14.
48
48
112
La derivada: su motivacin
x
x(t0 , t)
=
t
t(t0 , t)
no es constante, diremos que el movimiento es no-uniforme y a vm (t0 , t) le llamaremos velocidad 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
.
t0 t
v0 = g(t0 ) = lm vm (t0 ) = lm
tt0
113
v1 = f (t1 ) = lm
tt1
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 ]:
vm (0, t1 ) =
x1 x0
f (t1 ) f (t0 )
(122.5 4.9t21 ) 122.5
=
=
= 4.9t1 .
t1 0
t1
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.
3. Acelerar equivale a ir cada vez ms rpidamente.
4. Frenar equivale a ir cada vez ms lentamente.
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
lm
xa
f (x) f (a)
.
xa
2.6 Ejercicios
1. Hallar, si existe, la ecuacin de la recta tangente al grfico de la funcin f en el punto
P (a, f (a)):
(a) f (x) = 2x2 + 3x 5, a = 2.
(b) f (x) = x3 x, a = 2.
3x 2
(c) f (x) =
, a = 1.
x
1
(d) f (x) = 2 , a = 1.
x
(e) f (x) = 2 + x, a = 0.
3
(g) x2 , a = 0.
(c) f (x) = x.
(d) f (x) = x 3 x.
1
(e) f (x) =
.
1 + x2
(f) f (x) = sen 2x.
(g) f (x) = arc sen x.
3x2 5
.
2x2 + 1
(l) f (x) = cos 2x.
(m) f (x) = x x.
(k) f (x) =
(a) f (x) = 5x 3, x0 = 2.
(h) f (x) = arctan x.
x+1
(b) f (x) = x2 x + 1, x0 = 1.
(i) f (x) =
.
x1
(c) f (x) = x3 + x + 3, x0 = 1.
x3
1
.
(j) f (x) = 2
(d) f (x) = , x0 = 1.
x +3
x
Sugerencia: primero realice la divisin;
as f (x) se expresar como la suma de un 5. Si los costos de una fbrica de refrigeradoras
polinomio y una expresin racional ms
que produce x cientos de esos electrodomstisencilla.
cos por mes es de C miles de dlares, calcule
2.6 Ejercicios
115
determine la funcin de utilidades, as como los 11. Si el conductor no frena, se ha establecido que
costos e ingresos marginales cuando el nivel de
en las carreras por las fiestas de Quito, el ms
produccin es de x0 = 50. Compare la utilidad
veloz de los carritos de madera que bajan por
marginal con el incremento de las utilidades al
la calle Las Casas recorre x metros luego de t
subir la produccin en una unidad.
segundos, donde
8. Realice los clculos pedidos en el ejercicio precedente si x0 = 100 y si x [20, 110]:
(a) C(x) = 2x2 + 650, I(x) = 1 000x 3x2 .
x = f (t) = 2t + t2
hasta que la velocidad es de 10 metros por segundo. Luego el movimiento es uniforme. Si el
recorrido que debe hacer es de 154 metros, escriba x y la velocidad v metros por segundo
en funcin de t. En cunto tiempo llega a la
meta?
116
La derivada: su motivacin
La derivada:
definicin y
propiedades
3.1 Definicin
f (x) f (a)
xa
xa
(3.1)
lm
df
dx (a),
y es denominado
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 .
xa
f (x) f (a)
(x a) + f (a),
xa
xa
por las propiedades algebraicas de los lmites. En resumen, acabamos de demostrar el siguiente
teorema.
118
Teorema 3.1
Si f es derivable en a, entonces f es continua en a.
x0+
|x|
x
lm
x0
|x|
,
x
x0+
|x|
x
= lm
+
x
x0 x
= lm 1 = 1,
x0+
pues x > 0, y
lm
x0
|x|
x
= lm
x
x
x0
= 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
La funcin constante es derivable en R y su derivada es la funcin constante 0.
Solucin. Sean c R y f : R R definida por:
f (x) = c
para todo x R. Demostremos que el lmite (3.1) existe para cada a R.
Para ello, procedamos as. Sean a R y x 6= a. Como
f (x) f (a)
cc
=
xa
xa
=
0
= 0,
xa
3.1 Definicin
119
Ejemplo 3.48
La funcin identidad es derivable en R y su derivada es la funcin constante 1.
Solucin. Sea
I : R R
x 7 x.
Ejemplo 3.49
Calcular la derivada de la funcin tan en 0
Solucin. Debemos calcular el lmite de la fraccin:
tan(x) tan(0)
x0
cuando x se aproxima a 0.
Como tan 0 = 0, entonces:
tan(x) tan(0)
tan x
=
x0
x
=
Pero
lm
x0
Entonces:
sen x
=1
x
lm
x0
sen x
1
.
x
cos x
1
1
=
= 1.
cos x
cos 0
tan(x) tan(0)
= 1.
x0
x0
tan (0) = lm
Ejemplo 3.50
Sean f : Dm(f ) R y a Dm(f ). Entonces f es derivable en a si y solo si existe el lmite
f (a + h) f (a)
.
h0
h
lm
f (a) = lm
120
h0
h0
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)
h0
h
lm
y que es igual a:
f (a + h) f (a)
= f (a).
h
Recprocamente, supongamos que el lmite
lm
h0
lm
h0
f (a + h) f (a)
h
(3.2)
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
Sea f : R R definida por
f (x) = x3 x + 1.
Obtener f .
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
=
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.
Por lo tanto, el dominio de la funcin f es R.
Ejemplo 3.52
Obtener la derivada de la funcin sen.
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
sen h
cos h 1
=
sen x +
cos x,
h
h
3.1 Definicin
121
con x R y h 6= 0. Pero
lm
h0
sen h
=1
h
lm
h0
cos h 1
= 0.
h
Entonces:
sen(x + h) sen x
h
cos h 1
sen h
= lm
sen x +
cos x
h0
h
h
sen (x) = lm
h0
sen = cos .
Ejemplo 3.53
Obtener la derivada de la funcin cos.
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:
cos(x + h) cos x
(cos x cos h sen h sen x) cos x
=
h
h
cos h 1
sen h
=
cos x
sen x,
h
h
con x R y h 6= 0.
Por lo tanto:
cos(x + h) cos x
h
cos h 1
sen h
= lm
cos x
sen x
h0
h
h
cos (x) = lm
h0
cos = sen .
Ejemplo 3.54
Sea f : [0, +[ R definida por f (x) =
x. Obtener la derivada de f .
122
Solucin. Sea x [0, +[. Veamos para qu valores de x existe f (x). Para ello, procedamos as:
x+h x
f (x + h) f (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
x+h+ x
1
1
=
= .
2 x
x+0+ x
f (x) = lm
h0
1
( x) =
2 x
y ( ) = .
2
3.2 Ejercicios
1. Halle la derivada de la funcin f : D R R
dada en el punto x indicado, usando la definicin de derivada:
f+
(x0 ) = lm+
xx0
2
x+1
en x = 0.
(c) f (x) =
x1
x
en x = 1.
(h) f (x) = x si x = 0.
(i) f (x) = x si x Z.
f (x) f (x0 )
x x0
f (x0 + h) f (x0 )
h
f (x) f (x0 )
f
(x0 ) = lm
x x0
xx
0
= lm
h0+
= lm
h0
f (x0 + h) f (x0 )
.
h
Las derivadas f+
(x0 ) y f
(x0 ) se denominan
derivada de f en x0 por la derecha y derivada
de f en x0 por la izquierda, respectivamente.
Representan las pendientes de las rectas tangentes a la grfica de f en el punto de coordenadas (x0 , f (x0 )), considerando solamente la
grfica de f a la derecha y a la izquierda, res-
123
f+
(x0 ) y f
(x0 ).
(
x2 + x 1
si x 1
(a) f (x) =
2
2x + 5x 2 si x > 1,
x0 = 1. (
(b) f (x) =
(x + 1) 3
x
si x 1
si x > 1,
(a) Existen f
(x0 ) y f+
(x0 ); y
(b) f
(x0 ) = f+
(x0 ).
f (x0 ) = f
(x0 ) = f+
(x0 ).
x0 = 1.
p
(c) f (x) = |x 2|, x0 = 1.
(
x1
si x 1
(d) f (x) =
2
x 3x + 2 si x < 1,
(b) f (x) =
x0 = 1.
3. Demuestre que para f : R R y x0 R,
existe f (x0 ) si y solo si:
1
x2 3x+2 ,
(c) f (x) =
(d) f (x) =
x = 1.
2x 9, x = 4.5.
2x2 + 1 si x < 0
x + 1 si x 0,
x = 0.
124
1
g
es derivable en a y
g (a)
1
(a) = 2 .
g
g (a)
Y de este teorema, el siguiente se obtiene inmediatamente.
Teorema 3.3 (Propiedades algebraicas II)
Sean f y g dos funciones reales derivables en a R y R. Entonces:
1. Escalar por funcin: f es derivable en a y
(f ) (a) = f (a).
2. Resta: (f g) es derivable en a y
f
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
Calcular (x2 ) y (x3 ) .
Solucin. Como x2 = x x, podemos aplicar la propiedad algebraica de la derivada para la derivada
del producto de dos funciones (teorema 3.2).
En este caso, f (x) = x y g(x) = x; estas dos funciones son la identidad cuya derivada existe para
todo x R y es igual a 1. Entonces:
x2 = f (x)g(x).
Por lo tanto, x2 es derivable en todo x R y su derivada se obtiene de la siguiente manera:
(x2 ) = (f g) (x)
= f (x)g(x) + f (x)g (x)
= 1 x + x 1 = x + x,
125
= (x2 ) x + x2 (x)
Ahora obtengamos una frmula general para la derivada de xn con n un nmero natural.
Para ello, recordemos el siguiente producto notable:
xn an = (x a)(xn1 + xn2 a + xn3 a2 + + x2 an3 + xan2 + an1 ).
Ejemplo 3.56
Obtener (xn ) para todo n N.
Solucin. Sean n N y f : R R definida por f (x) = xn para todo x R. Obtengamos la derivada
de f para cualquier a R. Sea x 6= a:
f (x) f (a)
xn an
=
xa
xa
=
f (x) f (a)
xa
= lm xn1 + xn2 a + xn3 a2 + + x2 an3 + xan2 + an1
f (a) = lm
xa
xa
126
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
Ejemplo 3.58
Sea f (x) =
1 x + x2
. Calcular f (x).
1 + x x2
1 5
2
y 1+2 5 .
Para todo x Dm(f ), se tiene que:
1 + x x2 = 0
f (x) =
g(x)
,
h(x)
(1 x + x2 ) (1 + x x2 ) (1 x + x2 )(1 + x x2 )
(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:
f (x) =
para todo x Dm(f ).
2(2x 1)
(1 x + x2 )2
127
=0+2
=2
(1 + x x2 )
(1 + x x2 )2
0 1 + 2x
2(2x 1)
=
.
2
2
(1 + x x )
(1 + x x2 )2
Ejemplo 3.59
ea f una funcin real definida por
f (x) =
1
sen x
x
para x 6= 0. Obtener f
Solucin. El dominio de f es Dm(f ) = R {0}. Para x Dm(f ), f (x) es el producto de la funcin x1
y sen x. Entonces, por la propiedad de la derivada de un producto de funciones (teorema 3.2) tenemos
que
1
1
f (x) =
(sen x) + (sen x) .
x
x
Pero
1
(x)
1
= 2 = 2
x
x
x
por la propiedad de la derivada del inverso multiplicativo (teorema 3.3), ya que x 6= 0. Tambin
tenemos que:
(sen x) = cos x.
Por lo tanto:
1
1
sen x + cos x
2
x
x
x cos x sen x
=
x2
f (x) =
para todo x 6= 0.
Ejemplo 3.60
Sea f una funcin polinomial de grado n = 1. Es decir,
2
f (x) = a0 + a1 x + a2 x + + an x =
para todo x R. Calcular f .
n
X
k=0
akx ,
128
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 ,
para todo k {0, 1, . . . , n}; entonces:
n
X
f (x) =
ak x
k=0
n
X
fk (x).
k=0
f (x) =
kak xk1
k=1
para todo x R.
Ejemplo 3.61
Obtener la derivada de tan.
Solucin. Para todo x Dm(tan), se tiene que:
tan x =
sen x
.
cos x
Por lo tanto, para obtener la derivada de tan, podemos aplicar la derivada del cociente de dos funciones
(teorema 3.3). Obtendremos lo siguiente:
tan x =
sen x
cos x
1
cos2 x + sen2 x
=
.
cos2 x
cos2 x
Por lo tanto:
tan (x) = sec2x = 1 + tan2 x,
para todo x 6=
129
Ejemplo 3.62
Obtener la derivada de cot.
Solucin. Recordemos que
cot x =
1
tan x
para todo x 6= k con k Z. Entonces, mediante la aplicacin de la regla para derivar el inverso
multiplicativo de una funcin (teorema 3.3), tenemos que:
cot (x) =
1
tan x
tan x
tan2 x
1 + tan2 x
=
=
tan2 x
1
+1 .
tan2 x
Por lo tanto:
cot x = (1 + cot2 x) = csc2 x
para todo x 6= k con k Z.
Ejemplo 3.63
Obtener la derivada de sec.
Solucin. Puesto que
sec x =
para todo x 6=
1
cos x
cos x cos x
sec x =
para todo x 6=
+ k. Por lo tanto:
para todo x 6=
+ k con k Z.
Ejemplo 3.64
Obtener la derivada de csc.
Solucin. Para todo x 6= k con k Z, se verifica que:
csc x =
1
.
sen x
130
Por lo tanto:
sen x
sen2 x
cos x
=
sen2 x
cos x
1
=
sen x sen 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.
11. f (x) =
2 3
5
x 2 x3 + 4 .
3
x
3. f (x) = 3x2 x + 1.
x+1
x1 .
6. f (x) =
x2 +1
9. f (x) =
7. f (x) = x x
+ 1, n 2.
8. f (x) = x 3 x + 1.
n
12. f (x) = x
n1
2
3
5
+ 3 + 5.
2
x
x
x
x
16. f (x) =
.
tan x
sen x + cos x
17. f (x) =
.
sen x cos x
3.6 Ejercicios
131
Ejemplo 3.65
Calcular la derivada de sen2 x.
Solucin. Sea h una funcin real definida por
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 (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
1. Antes de ejercitarse en la aplicacin de la regla de la cadena, conviene llenar los casilleros
vacos de la tabla 3.1 en la pgina 133.
(d)
(e)
2. Calcule f (x).
1
sen x
.
21 + sen x
p
3
f (x) = cos x + x2 .
3
f (x) = x + x2 .
f (x) =
.
3
1 + x2
6
3
f (x) = x2 x4 + x5 x7 .
(c) f (x) =
(f)
(g)
132
(j) f (x) = 2 + 3 + x.
r
n ax + b
con n N y a, b en R.
(k) f (x) =
ax b
x2
(l) f (x) = ln ln
.
5
x2 + tan x
(m) f (x) =
.
1 + x2
(n) f (x) = ln |x + ex |.
tan x2
.
tan2 x
sen2 x
(q) f (x) =
.
sen x2
r
1 + cos x
(r) f (x) = ln
.
1 cos x
(p) f (x) =
(a) f (x) =
x +
x2
(b) f (x) =
+ x2
1
|x|
si x 1,
si x > 1.
si |x| <1,
si |x| 1.
x3 + x si |x| 2,
1
1
si |x| > 2.
sen x
si x 1,
2x 2
(d) f (x) = (x 1)(x ) si 1 < x < 2,
x
si x 2.
2 1
(c) f (x) =
(a) y = x3 4x2 + 5x 2.
(b) y =
x2 + x 6
.
x2 10x + 25
1
(c) y =
.
1 + sen2 x
(d) y = x(x + 1)2 (x 1)3 .
e|x1|
.
x+1
(f) y = max{|x|3 , 7x 6x2 }.
(e) y =
f y g y x0 R tales
5. Halle los valores de y en R de modo que la 10. D ejemplos de funciones
que
exista
(f
g)
(x
)
pero:
0
funcin f dada a continuacin sea continua en
|x| sen x si x 6= 0,
(c) No existe f (g(x0 )) ni g (x0 ).
(a) f (x) =
0
sisi x = 0.
11. Diga si es correcta o no la afirmacin siguiente
(
|x| sen |x|1 si x 6= 0,
y argumente su respuesta. Sea I = ]a, b[
(b) f (x) =
0
si x = 0.
(a) Si f y g son derivables en I, entonces
f (x) < g(x) para todo x I implica que
6. Halle los valores de y en R de modo que
f (x) g (x) para todo x I.
la funcin f dada a continuacin sea continua
y derivable en R:
133
xa+
f (x)
x
x2 + 2x + 3
1
x+x+
3
x
2x + cos x
xa
g(x)
f (g(x))
g(f (x))
cos x
3
x
cos x
cos(ex )
2x + 3
h(x) + 5
p
x2 + 1 + e
x2 +1
(x2 + 1)x
2 +10
sen(cos x)
x2 + 1
tan cos
3
p
cos x2 + 3
p
tan 3 (x4 + 2)5
(sec(x + x4 ))5
134
Solucin. Si V litros es el volumen del globo cuando su radio mide r decmetros1 , entonces:
V =
4 3
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 dr
dt
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
dV
las razones de cambio dr
dt y dt :
dV
dr
= 4r2 .
dt
dt
Entonces:
dr
1 dV
=
.
dt
4r2 dt
Por lo tanto, como r = 10 y
dV
dt
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
en la figura 3.1a, a una razn de 20 litros por
minuto: Con qu velocidad disminuye el nivel
de agua cuando su altura h desde el fondo es
de 5 metros? Cul es la razn de cambio de
5.
radio r del espejo del agua en ese instante?
2. Un faro ubicado en un islote situado a 3 kilmetros de la playa emite un haz de luz que
gira dando una vuelta entera cada minuto (figura 3.1b). Con qu velocidad se mueve el
punto P de la playa iluminado por el haz de luz
F P emitido por el faro cuando P est situado
a 2 kilmetros del punto Q, que es el punto de
la playa ms cercano al faro?
3. Un avin que est a 500 kilmetros al norte
de Quito viene hacia la capital a 400 kilmetros por hora, mientras que otro, que est a 600
kilmetros al este, lo hace a una velocidad de
300 kilmetros por hora. A qu velocidad se
acercan el uno al otro?
4. Un rectngulo mide 10 metros de altura por
20 metros de base. Si la base aumenta a razn
1
Hemos escogido como unidad de longitud el decmetro para que la unidad de volumen sea el litro, que es
un decmetro cbico.
135
8m
Playa
h
Q
b
3 km
(a) Ejercicio 1
(b) Ejercicio 2
136
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,
y x2 + [g(x)]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 combinacin (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:
y + xy + 5x4 + 10xy 4 + 20x2 y 3 y 45y 4 y = 0,
de donde
y =
y + 5x4 + 10xy 4
.
x 20x2 y 3 + 45y 4
Ejemplo 3.67
Hallar la ecuacin de la tangente a la circunferencia x2 + y 2 = 25 en el punto (3, 4).
3.10 Ejercicios
137
x
y = .
y
3.10 Ejercicios
2
y2
x2
+
= 1 con y > 0.
a2
b2
x2
y2
(e) 2 2 = 1 con y < 0.
a
b
(f) (2za x)y 2 = x3 , con a > 0 y y < 0.
(g) x + y = 2.
(a) y + y + y x = 0.
(d)
y = f (x).
f (f 1 (y)) = y
(3.5)
138
1
f (f 1 (y))
(3.6)
1
f (f 1 (y))
1
f f 1 (y)
1
.
y
1
.
y
Ejemplo 3.69
Hallar la derivada de la funcin arc sen.
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:
para todo y [1, 1] = Dm(arc sen).
(3.7)
139
p
1 sen2 x.
Con ayuda de esta ltima expresin, podemos reescribir la igualdad (3.7) de la siguiente manera:
f (f 1 (y)) = cos(arc sen y)
p
= 1 sen2 (arc sen y)
q
= 1 (sen(arc sen y))2
p
= 1 y2.
(f 1 ) (y) =
1
f (f 1 (y))
1
= p
.
1 y2
Por lo tanto:
1
(arc sen y) = p
1 y2
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.
Al aplicar la frmula (3.6), obtendremos que:
1
(arc cos y) = p
1 y2
1
1 + y2
140
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
para todo y > 0.
3.12 Ejercicios
1. Calcule la derivada (f 1 ) (y0 ):
1
(a) f (x) = x + x3 , y0 {0, 34 , 11
3 }.
3
1
(b) f (x) = 2x cos x, y0 = 21 .
2
(c) f (x) = 0.1x + e0.01x , y0 = 1.
(d) f (x) = 2x2 x4 , x > 1 y y0 = 0.
(e) f (x) = 2x2 x4 , 0 < x < 1 y y0 = 34 .
2. Si conoce que (ln x) =
calcule exp .
1
x
4. Calcule frmulas para las derivadas de las funciones inversas de sinh, cosh y tanh.
5. Calcule (f 1 ) y Dm((f 1 ) ):
(a) f (x) = x + ln x, x > 0.
(b) f (x) = x + exp x.
x2
, x < 0.
1 + x2
(d) f (x) = coth x, x > 0.
(c) f (x) =
f (a) o
Es decir:
f (a) =
d2
d
f (a) =
dx2
dx
d2
f (a).
dx2
d
f
dx
Ejemplo 3.71
Calcular la segunda derivada de sen x, cos x y ex .
(a) = (f ) (a).
141
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 ) .
Esta funcin es denominada la derivada de tercer orden.
En general, podemos hablar de la derivada de orden n, que se define inductivamente as:
Definicin 3.3 (Derivada de orden n)
Sea f : Dm(f ) R. Para cada n N, se define:
1. f (0) = f .
2. f (n+1) = (f (n) ) , para n 0.
Si existe f (n) (a), este nmero es denominado la n-sima derivada de f en a y suele ser representado de la siguiente manera:
f (n) (a) =
dn
f (a).
dxn
(n)
dn
d
(a) = n f (a) =
dx
dx
dn1
f
dxn1
(a) = f (n1) (a).
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:
(sen x)(3) = ((sen x)(2) ) = ( sen x) = cos x.
142
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:
(sen x)(4n)
= sen x.
(4n+1)
= cos x.
(4n+2)
= sen x.
(sen x)
(sen x)
(sen x)(4n+3)
= cos x
para todo n 0.
De manera similar, se establece para cos x lo siguiente:
(cos x)(4n)
(4n+1)
(cos x)
(4n+2)
(cos x)
(cos x)(4n+3)
= sen x.
= cos x.
= sen x.
= cos x
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
Calcule f (n) con n N:
1. f (x) =
x+1
si n = 2.
x1
2. f (x) = x5 7x2 + 1 si n = 2.
8. f (x) = ln x.
9. f (x) =
k=0
3. f (x) = ax2 + bx + c.
ak xk con m N {0}.
10. f (x) =
1
.
x
11. f (x) =
1
.
(x + a)
12. f (x) =
x+a
.
xa
6. f (x) = cos(ax).
7. f (x) = tan(ax).
m
X
3.15 Diferenciales
La derivada de una funcin f en un punto dado x0 es el valor de la pendiente de la recta
tangente al grfico de f en el punto de coordenadas (x0 , f (x0 )), cuya ecuacin es:
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
y = f (x)
f (x0 )
x0
Ejemplo 3.74
Si g est definida por g(t) = t + et , calcular el diferencial de g en 2.
144
Entre las aplicaciones de los diferenciales est la posibilidad de realizar ciertos clculos
aproximados.
Ejemplo 3.75
Calcular un valor aproximado para
Solucin. Ponemos f (x) =
50.
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
146
La derivada: aplicaciones
R
Laguna
3 km
1 kmJ
147
d=
x2 + 4 +
(3 x)2 + 1.
Puesto que se busca que la distancia d recorrida por Romeo sea la mnima, la funcin cuyo
mnimo hay que hallar es f definida por:
p
p
f (x) = x2 + 4 + (3 x)2 + 1.
148
La derivada: aplicaciones
nf A =
sup A =
mn A = nf A si nf A A y nf A > ;
m
ax A = sup A si sup A A y sup A < .
En el siguiente dibujo se ilustran estas definiciones:
7
c2
bc
6 m
ax A
sup A
c2
b
sup A
m
ax A
b
b
bc
A
bc
bc
2
b
nf A
mn A
b
nf A
6 mn A
bc
1
b
c1
b
c2
0
0
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.
149
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:
1. Si nf A > , entonces para todo > 0, existe a A tal que nf A a < nf A + .
2. Si nf 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.
Definicin 4.4 (Funcin acotada)
Sean 6= y f : R. Entonces, las funcin f es:
1. acotada por abajo (arriba) si y solo si el conjunto Im(f ) es acotado por abajo (arriba).
2. acotada si y solo si el conjunto Im(f ) es acotado.
f (x) c1 ,
2. acotada por arriba si y solo si existe c2 R tal que
f (x) c2 ,
3. acotada si y solo si existen c1 R y c2 R tales que
c1 f (x) c2 ,
4. acotada si y solo si existe R > 0 tal que
|f (x)| < R,
para todo x .
150
La derivada: aplicaciones
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
4. m
ax f (x) = m
ax Im(f ).
x
2.
A los nmeros mn f (x), que se lee mnimo de f en , y m
ax f (x), que se lee mximo
x
151
xR
xR
(c) acotada.
3. Supongamos que = ]2, 4]. Entonces la funcin f es:
(a) acotada por arriba, sup f (x) = 5 = max f (x) = f (4);
x
(c) acotada.
4. Supongamos que = [1, 4]. Entonces la funcin f es:
(a) acotada;
(b) sup f (x) = 5 = max f (x) = f (4);
x
El ltimo numeral del ejemplo es un caso particular del resultado notable sobre la existencia de los extremos globales:
x[a,b]
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
(x + 1)
f (x) = 1
2 + x
si 1 x < 1,
si x = 1,
si 1 < x 3.
El siguiente es el grfico de f :
y
4
y que
nf f (x) = 1 y
6 mn f (x).
x
de modo que f sea montona en cada uno de los subintervalos Ik , porque se puede aplicar el
N
[
resultado que sigue y el hecho de que Im(f ) =
f (Ik ), donde f (A) = {f (x) : x A} y A
es un subconjunto del dominio de f .
k=1
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).
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,
y no existe el mximo de f en I.
sup f (x) = 8
xI
154
La derivada: aplicaciones
f (x) f (x)
para todo x I ]x r, x + r[.
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)
para todo x I ]x r, x + r[.
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.
Definicin 4.7 (Interior de un intervalo)
Sea I un intervalo abierto. El interior de I , representado con I , es el intervalo abierto ms
grande que est contenido en I .
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[.
155
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.
Encontremos los puntos crticos de f .
Definamos p1 y p2 de la siguiente manera:
p1 (x) = 1 x2
f (x) =
2x
si 2 x < 1,
2
6x 6x 12 si 1 < x 3,
f
(1) = 2 6= 12 = f+
(1).
Entonces
f (x) = 0
2x = 0
si 2 x < 1,
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:
K = {c ]a, b[: c es un punto crtico de f }.
156
La derivada: aplicaciones
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)}.
0 1
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
Dada una funcin f : I R, donde I es un intervalo, se dice que f es creciente si al aumentar
el valor de la variable independiente x, lo hace tambin el valor f (x). Si f (x) decrece, entonces
se dice que f es decreciente. Precisemos estos conceptos.
4.4 Monotona
157
Es claro de la definicin que una funcin puede ser, por ejemplo, creciente en un subintervalo 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:
f (x2 ) f (x1 ) = (x22 3x2 + 2) (x21 3x1 + 2)
3
2
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 resuly
tado que se ilustra, previamente, en el dibujo
de la derecha. Podemos observar que la recta tangente en cualquier punto de la curva en
los intervalos en los que es creciente tiene una
pendiente positiva. En cambio, en los intervalos en que la curva es decreciente, la pendiente
es negativa.
x
Esta observacin, y el hecho de que la derivada 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:
1. si f (x) > 0 para todo x I , entonces f es creciente en I ; y
2. si f (x) < 0 para todo x I , entonces f es decreciente en I .
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
(x 1)
(x 2)
f (x)
1
0
2
+
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
1. Para la funcin f , halle los puntos crticos y
los intervalos de monotona. Distinga los puntos crticos que son extremos locales:
(c) f (x) =
159
x+1
.
x2 + 1
4
x1
5
(g) f (x) = 2
; I=
,5 .
x +2
4
(d) f (x) = x 2 x 3 .
x1
(e) f (x) =
1 .
(x + 7) 3
3. Halle los valores crticos y los extremos absolutos y relativos de la funcin f en el intervalo
I:
I = [2, 3].
(i) f (x) = x2 (x + 7) 3 .
(j) f (x) = 3 sen x + 5 cos x.
2. Halle los extremos absolutos de f en el intervalo I:
(a) f (x) = x3 2x2 + x; I = [1, 4].
1
1; I = [10, 10].
x1
(f) f (x) = x; I = [10, 2].
ax + b
(g) f (x) =
; I = [L, L], con L > 0, y
cx + d
si ad 6= bc y ad = bc.
(e) f (x) = x +
2
3
y
f (c) = 0
f (a)
f (b)
a
f (a) = f (b).
Entonces, existe un nmero c (a, b) tal que f (c) = 0.
Ejemplo 4.86
Vamos a utilizar el teorema de Rolle para averiguar si la funcin f definida por
f (x) = x3 3x2 + 2
160
La derivada: aplicaciones
Como f es derivable
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.
] 3+
Como f ( 3 + 1) = f ( 3 1) = 0, el teorema de Rolle nos garantiza que existe c en
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
f (c) = 0 c(c 2) = 0 c {0, 2}.
En resumen, los nmeros 0 y 2 son los puntos crticos buscados, puesto que {0, 2} est incluido
en ] 3 + 1, 3 + 1[.
f (c) =
o tambin:
f (b) f (a)
,
ba
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 (c) =
f (3) f (1)
31
=
= 1.
21
31
2 .
3
f (x2 ) f (x1 )
.
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.
f (b) f (a)
f (c)
= .
g(b) g(a)
g (c)
4.7 Ejercicios
1. Verifique si en el intervalo I se puede aplicar
el teorema de Rolle para la f dada. De ser as,
halle los c cuya existencia garantiza el mencionado teorema.
(a) f (x) = x2 5; I = [2, 2].
(
x3 + 2
si 3 x < 0,
(b) f (x) =
x3 + 2 si 0 x 3;
I = [3, 3].
(c) f (x) = x3 3x2 + 2x + 4; I = [0, 1].
(
x2 + 3 si 2 x 0,
(d) f (x) =
8 x3 si 0 < x 1;
I = [2, 1].
7
(e) f (x) = 3 sen x + 4 cos x; I =
,
.
2 2
(f) f (x) = sec x; I = [0, 2].
2. Verifique si en el intervalo I la funcin f satisface las hiptesis del teorema del valor intermedio. De ser as, halle los valores de c cuya
existencia nos es garantizada por dicho teorema.
(a) f (x) = x3 x + 1; I = [0, 3].
(
x3 + 2 si 2 x < 0,
(b) f (x) =
2 x3 si 0 x 3;
I = [2, 3].
(c) f (x) = x3 3x2 + 2x; I = [0, 1].
(
x2 + 3 si 2 x 0,
(d) f (x) =
3 x3 si 0 x 1;
I = [2, 1].
(
x3 + 2
(e) f (x) =
2x2 + 3x 2
I = [3, 2].
(f) f (x) = x
si 3 x 1,
si 1 x 2;
x; I = [1, 27].
f (b) f (a)
[g(x) g(a)].
g(b) g(a)
162
La derivada: aplicaciones
6. Sea f (x) = ax5 + bx3 + cx + d. Use el teorema 7. Use el teorema de Rolle y el mtodo de inducde 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
4.8.1 Punto intermedio
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:
(4.1)
x = tx1 + (1 t)x0 .
Tenemos dos casos.
1. Supongamos que x0 < x < x1 :
P0
x0
P1
|
x1
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 .
2. Supongamos que x1 < x < x0 :
P1
x1
P0
|
x0
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
(4.3)
xt = tx1 + (1 t)x0 .
yt = ty1 + (1 t)y0 ,
Si definimos
zt = tz1 + (1 t)z0 .
(4.4)
xt
xt = yt
zt
x
x
xt = t
1
0
(4.5)
y1 y0
(x x0 ) = l(x).
x1 x0
(4.6)
xt = tx1 + (1 t)x0
y t (0, 1) o, lo que es lo mismo, si
xt = x0 + t(x1 x0 ),
(4.7)
yt = l(xt ),
(4.8)
tendremos que, si
entonces:
y1 y0
(x0 + t(x1 x0 ) x0 ) = y0 + t(y1 y0 ).
(4.9)
x0 x1
Cuando x0 = x1 , como P0 6= P1 , tendremos que y0 6= y1 , la recta que pasa por P0 y P1 es
vertical y se reduce al caso E1 con xt = x0 = x1 , y con yt = ty1 + (1 t)y0 . Se tendr entonces,
que si Pt es un punto del segmento [P0 , P1 ] y, si (xt , yt ) son sus coordenadas, se verificar la
siguiente igualdad:
xt
x1
x0
=t
+ (1 t)
(4.10)
yt
y1
y0
yt = y0 +
164
La derivada: aplicaciones
(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:
y = l(x) = y0 +
y si x = xt = tx1 + (1 t)x0 , obtenemos que:
y1 y0
(x x0 ),
x1 x0
(4.12)
(4.13)
(4.14)
(4.15)
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 ,
con y0 = f (x0 ) y y1 = f (x1 ) y x0 < x1 elementos de I .
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
yt = (1 t)y0 + ty1 .
yt f (xt ) = a [(1 t) (1 t)2 ]x20 2(1 t)tx0 x1 + (t t2 )x21
= a(1 t)t(x20 2x0 x1 + x21 ) = a(1 t)t(x0 x1 )2 .
Como a > 0, 1 t > 0, pues 0 < t < 1 y (x0 x1 )2 > 0, ya que x0 6= x1 , entonces
yt f (xt ) 0,
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
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.
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
f (x) = 12x3 12x2 + 58x + 2.
En segundo lugar:
f (x) = 36x2 24x + 58.
Ahora bien, el discriminante del polinomio de segundo grado 36x2 24x + 58 es negativo, pues
(24)2 4(36)(58) = 7 776.
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.
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
y = g(x) = f (x0 ) + f (x0 )(x x0 ).
El punto P0 es denominado punto de inflexin de la grfica de f .
He aqu la definicin precisa.
167
Observaciones
1. Si ponemos h(x) = f (x) g(x), P0 es punto de inflexin de la grfica de f si y solo
si h(x) cambia de signo en x0 , es decir, si y solo si el punto de coordenadas (x0 , 0) es
punto de inflexin de la grfica de h.
2. Si f : [a, b] R es derivable en (a, b) y si f cambia de signo en x0 (a, b), entonces el
punto de coordenadas (x0 , f (x0 )) es un punto de inflexin del grfico de f .
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).
La siguiente es una condicin necesaria para la existencia de un punto de inflexin.
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 ).
(4.17)
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
p
3
x
2 =
p
.
3
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
h(x) = f (x) g(x) = (x3 px) (px) = x3 .
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
x
f (x)
169
, p
p
0
p
p, 3
+
f (x)
Resultados
x
f (x)
f (x)
Resultados
Punto infl.
0,
p
3
p
3
p
3
Mx. local
p
3 , p
p
0
Punto infl.
p, +
p
3 ,0
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
1. Utilice la segunda derivada de f para determinar los intervalos en los cuales f es cncava y
en los cuales es convexa, as como los puntos
de inflexin.
(a) f (x) = 14x x2 .
(f) f (x) = 3 x + x.
16
(g) f (x) = x + .
p x
(h) f (x) = x2 + 26.
1
(i) f (x) = 2
.
x +1
170
La derivada: aplicaciones
(j) f (x) =
x3
.
x+2
7
(k) f (x) = x 3 + x.
(l) f (x) = sen x.
(m) f (x) = x cos x + 1.
(n) f (x) = tan x.
2. Para la funcin f dada, utilice la segunda derivada para hallar los extremos locales y los
puntos de inflexin. Dibuje, aproximadamente,
el grfico de f .
(a) f (x) = (2 3x)2 .
1
(b) f (x) = x3 2x2 + 3x.
3
(c) f (x) = 5x4 + x2 .
(d) f (x) =
x4 + 4
.
x2
(b) f (x) =
x2 + 1
si x2 3x + 2 0,
3(x 1) si no.
y = y1
(cambio de escala), que los tres casos de parbola cbica se pueden reducir a
y1 = x31 x1 ,
y1 = x31 ,
y1 = x31 + x1 .
(4.19)
(f) f (x) = x x + 1.
x
(g) f (x) = x .
9
(h) f (x) = 3 sen x + 4 cos x.
(i) f (x) = x4 6x3 + 12x2 .
x = x1 + ,
y = y1 +
171
1 3
10 x
3 2
10 x
8
10 x.
f (x)
3 2 3
9
x x ,
10
5
10
3
3
x .
5
5
Busquemos los puntos en los cuales se anulan f , f y f ; es decir, sus races. Para
f (x) = 0,
tenemos que las races son
3
3
x1 = ( 5 1) 1.85, x2 = 0 y x3 = ( 5 + 1) 4.85.
2
2
Para
f (x) = 0,
las races son:
x4 = 1 y
Finalmente, para
x5 = 3.
f (x) = 0,
obtenemos una sola raz:
x6 = 1.
En x1 , x2 y x3 el grfico de f interseca con el eje horizontal. En x4 y x5 es posible que f tenga
extremos locales, en x5 , un punto de inflexin. La siguiente tabla muestra los signos de f , f y f en
los intervalos comprendidos entre las races arriba encontradas:
x
f (x)
f (x)
f (x)
x1
0
1
0
0
+
3
0
x3
x1
f (x)
1 0
0.4 0 1 2.4
x3
0
172
La derivada: aplicaciones
(1, 0.4)
x1
0.4
b
x2
5
2
i
2.4
b
(3, 2.4)
Ejemplo 4.93
Sea f una funcin real definida por:
2x 3
f (x) = x3
1
x2
si x 1
si |x| < 1
si x 1.
x1
lm f (x) =
x1
lm (2x 3) = 1
x1
lm f (x) =
x1+
lm x3 = 1
lm f (x) =
x1+
x1
lm (x3 ) = 1
x1
lm
x1
1
= 1.
x2
Como los correspondientes lmites laterales son iguales, concluimos la verdad de las siguientes igualdades:
lm f (x) = 1,
x1
lm f (x) = 1.
x1
173
x1
lm f (x) = 1 = f (1).
x1
1
= 0.
x2
Entonces y = 0 es una asntota horizontal de la grfica de f cuando x tiende a +.
Para continuar con el anlisis de la funcin f , necesitaremos su primera y su segunda derivada:
si x < 1
2
2
f (x) = 3x
si |x| < 1
2
x3 si x > 1.
si x < 1
0
f (x) = 6x si |x| < 1
6
si x > 1.
x4
lm f (x) = lm
x+
x+
f
(1) =
lm
x1
lm
x1
f+
(1) =
f (x) f (1)
(2x 3) (1)
= lm
x (1)
x (1)
x1
2(x + 1)
= lm (2) = 2,
x+1
x1
lm
x1+
f (x) f (1)
x3 (1)
= lm
x (1)
x1+ x (1)
lm (x2 x + 1)) = 3,
x1+
f
(1) = 2 6= 3 = f+
(1).
f (x) f (1)
x3 1
= lm
x1
x1
x1 x 1
2
= lm (x + x + 1) = 3,
f
(1) = lm
x1
1
f (x) f (1)
2 1
= lm+ x
x1
x1
x1
x1
x+1
= lm+ 2
= 2,
x
x1
f+
(1) = lm+
f
(1) = 3 6= 2 = f+
(1).
174
La derivada: aplicaciones
x
f (x)
f (x)
Monotona
f (x)
Concavidad
Resultados
] , 1[
1
1
n. e.
] 1, 0[
0
0
0
n. e.
m.l., p.i.
]0, +1[
+1
1
n. e.
] + 1, +[
n. e
p. i.
M. l.
1
De los dos ejemplos, podemos proponer el siguiente procedimiento, bastante general, para
analizar el grfico de una funcin real.
1. Si la funcin es par o impar, basta considerar el intervalo [0, +[.
2. Se identifican los valores especiales para f , que son sus races. Tambin sus puntos de
discontinuidad. Digamos que estos son x1 < x2 < < xN .
3. En cada uno de los intervalos ] , x1 [, ]xk , xk+1 [ y ]xN , +[ la funcin f no cambia
de signo. Para determinar el signo en cada intervalo, basta calcular f (x) para un x en el
intervalo correspondiente.
4. El paso anterior se aplica tambin a f y a f .
5. Se elabora una tabla con los puntos especiales de f , f y f .
Con la tabla obtenida, podemos determinar los extremos locales, puntos de inflexin, intervalos
de monotona, concavidad y convexidad.
4.12 Ejercicios
1. Dibuje, aproximadamente, el grfico de la funcin f .
(a) f (x) = x3 + 2x.
(b) f (x) = (x + 2)3 (x 1)2 .
(c) f (x) = x3 6x2 + 9x + 5.
1
.
x2
x1
(e) f (x) =
.
(x + 2)(x 3)
ax + b
(f) f (x) =
.
cx + d
(d) f (x) = x +
175
(i) f (x) = x2 ln x.
(j) f (x) = x2 ex .
xI
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 ].
176
La derivada: aplicaciones
Los siguientes teoremas, en cambio, nos permiten establecer un algoritmo cuando el intervalo I no es cerrado y acotado.
Teorema 4.18
Si I =
n
[
k=1
An y f : I R, entonces:
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
lm f (x), lm f (x) .
xb
xa+
3. Resultados anlogos a los anteriores son verdaderos si I es uno de los siguientes intervalos: ] , b[, ]a, +[ y ] , [.
N
[
Jk .
k=1
177
(f) ], ], [, ] o ] , ], entonces m
ax f (x) = .
xI
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
(3 x)2 + 1
2 x +4
3x
x
=
.
(3 x)2 + 1
x2 + 4
Por lo tanto:
x
3x
(3 x)2 + 1
+4
3x
x
=
.
2
(3
x)2 + 1
x +4
f (x) = 0
x2
Pero:
x
3x
=
x2 (3 x)2 + 1 = (3 x)2 (x2 + 4)
2
(3 x) + 1
+4
x2
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
p
22 + 4
(3 2)2 + 1
2
1
= = 0,
2 2 2 2
f (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:
f (x) =
(x2 + 4)
3
2
+
3 .
(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:
178
La derivada: aplicaciones
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
Sea f : ]0, [ R, definida por
8
.
x
Halle el punto en el cual la grfica de f tiene la recta tangente de mnima pendiente.
f (x) = x2
x3 8
16
=2
.
3
x
x3
48
.
x4
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:
P = f (x) = x(100 x) = 100x x2 .
Debemos, entonces, hallar x1 ]0, 100[ tal que:
f (x1 ) =
max f (x).
x(0,100)
Como f es derivable en ]0, 100[, los puntos crticos de f en ese intervalo sern solucin de
f (x) = 100 2x = 0
que equivale a x = 50.
Como f (x) = 2 < 0, en x1 = 50, f alcanza un mximo local que por ser el nico extremo en el
intervalo de inters ]0, 100[ es, a la vez, un mximo absoluto.
El otro nmero es 100 x1 = 100 50 = 50. Los dos nmeros buscados, tales que su suma es
igual a 100 y su producto 2500 es mximo, son iguales a 50.
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
d2 = g(x) = (x 2.5)2 + (x2 + 1.75)2 , x R.
Tenemos que resolver el problema:
Hallar mn g(x).
xR
Necesitamos la derivada
g (x) = 2(x 2.5) + 4x(x2 + 1.75) = 4x3 + 9x 5
para hallar los puntos crticos de g. La ecuacin g (x) = 4x3 + 9x 5 = 0 puede escribirse como
4x3 + 9x 5 = (2x 1)(2x2 + x + 5) = 0.
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
2
1
1
= 12
+ 9 = 12 > 0,
2
2
x= 12
El punto buscado es
y la distancia de A a P es
d
x= 12
1
=f
=
2
= mn f (x).
P (x, 1 x2 )
s
1
2.5
2
xR
x= 2
1
2
xR
x= 12
2
=P
1 3
,
2 4
1
+ 1.75
22
2
22 + 22 = 4 2.
4.14 Ejercicios
1. Resuelva el problema bsico de optimizacin
para las siguientes funciones f definidas en el
intervalo I. Adicionalmente, determine el conjunto Im(f ).
3
x3
, I = [0, +[.
x2
1
(g) f (x) =
, I = R.
x2 + 25
(f) f (x) =
(n) f (x) =
[0, 3].
1 x2 si x < 1 o x > 2,
I =
3 3x si 1 x 2,
4 x2
si x 2,
I = [1, 3].
1
2 (x 2) si 2 < x,
p
(p) f (x) = x2 + x + 1, I = [2, 1[.
(o) f (x) =
181
Qu dimensiones tendr la pirmide de volumen mximo si la cartulina tiene un metro de
lado?
6. Se desea cerrar un terreno que es rectangular 12. Dos calles de diez metros de ancho se intersejunto a un ro con una pared paralela a la orican. 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 volumen dado V metros cbicos, cuya base rectangular 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 recto 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 kilmeservas de duraznos. Qu dimensiones tendr
tros por hora y correr a seis kilmetros por hocada tarro para que el costo por el metal utilira. Si est en el punto A de la playa y desea
zado sea mnimo?
llegar lo antes posible al punto B, situado en
la isla de enfrente, que est a dos kilmetros
11. De un trozo cuadrado de cartulina se desea
del punto C en la playa, hasta qu punto P
elaborar una pirmide de base cuadrada
de la playa debe correr para luego remar desde
desechando la parte rayada y doblando en las
P hasta B? En qu tiempo llegar?
lneas punteadas como se muestra en el dibujo:
Isla
B
b
2 km
A
Playa
4 km
182
La derivada: aplicaciones
(x)
1. Cuando se calculan lmites de cocientes, como lmxa fg(x)
, sabemos que si existen los
lmites
lm f (x) = L y lm g(x) = M
xa
xa
y si M 6= 0 se tiene que
f (x)
lmxa f (x)
L
=
=
.
g(x)
lmxa g(x)
M
Puede suceder, sin embargo, que L = M = 0, de modo que, al tratar de aplicar este
resultado se obtiene:
lmxa f (x)
0
= .
lmxa g(x)
0
lm
xa
xa
f (x)
= 1.
g(x)
xa
f (x)
g(x)
no existe.
2. Si lmxx0 f (x) = + (respectivamente
) y si lmxx0 g(x) = (respectivamente
+), las expresiones (f + g)(x) y fg (x) pueden tener diferentes comportamientos posibles cuando x x0 . La primera es una indeterminacin del tipo + ( + ,
respectivamente), y la segunda, del tipo
.
3. Si lmxx0 f (x) = 0 y si lmxx0 g(x) = + (o ), la expresin (f g)(x) pueden comportarse de diferentes maneras cuando x x0 . Es una indeterminacin del tipo 0 o
0 ().
Hemos visto algunos casos en los que se pueden hallar los lmites buscados como aplicacin
del teorema 1.1. Se dice entonces que hemos levantado la indeterminacin Un mtodo muy
til para ello tambin es la regla de LHpital que veremos a continuacin.
f (x)
= L R {, },
xa g (x)
lm
entonces
f (x)
f (x)
= lm
.
xa g(x)
xa g (x)
lm
183
Ejemplo 4.97
Calcular lmx0
sen x
x .
Solucin. Como el
(sen x)
cos x
= lm
=1
x0
x0
(x)
1
lm
x0
sen x
= 1.
x
Ejemplo 4.98
Calcular lmx
ln x
x .
Solucin. Como el
1
(ln x)
= lm x = 0
x (x)
x 1
lm
ln x
= 0.
x
Con ciertas manipulaciones previas, el teorema es tambin til para levantar otras indeterminaciones como son
, 0 , 00 , 0 y 1 .
Veamos un ejemplo.
Ejemplo 4.99
Calcular lmx0+
1
x
1
x
1
1
x x
=
,
x x
x x
el lmite del segundo miembro de la expresin anterior conduce a una indeterminacin del tipo 00 , que
puede ser tratada con la regla de LHpital.
El lmite
1 21 x
(x x)
2 x1
= lm
lm
=
l
m
= .
3
3x
x0+ (x x)
x0+
x0+
2 x
De donde, por la la regla de LHpital se tiene el lmite pedido:
1
1
lm
= .
x0+
x x
184
La derivada: aplicaciones
Ejemplo 4.100
Pruebe, utilizando la regla de LHpital, que
lm
x0
sen x x cos x
= 0.
x2 + tan2 x
Solucin. Sean f (x) = sen x x cos x y g(x) = x2 + tan2 x. Se pide demostrar que
lm
x0
f (x)
= 0.
g(x)
x0
x0
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)
=
l
m
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
lm
Una inspeccin rpida del lmite anterior nos dice que la funcin fg tiene tambin la forma indeterminada 00 en x = 0. Intentamos nuevamente aplicar la regla de LHpital:
f (x)
(f (x))
= lm
x0 g (x)
x0 (g (x))
lm
(x sen x)
x0 (2x + 2 tan x sec2 x)
sen x + x cos x
= lm
x0 2 + 2 sec4 x + 2 tan2 x sec2 x
= 0.
= lm
x0
f (x)
sen x x cos x
= lm
= 0.
x0
g(x)
x2 + tan2 x
4.16 Ejercicios
185
4.16 Ejercicios
1. Calcule los siguientes lmites.
1 cos x2
.
x0
x4
1 cos x2
.
(b) lm
x0 x3 sin x
x
a
a x
(c) lm
.
x0 x a
(d) lm+ x ln x donde > 0.
(a) lm
(g)
(h)
(i)
x0
(e)
x
lm
.
1 + x2
x+
sen x
.
x0 arctan x
(2 x)ex x 2
lm
.
x0
x3
sen(1/x)
lm
.
x+ arctan(1/x)
1
1
1
lm
.
x sen x x
x0+
tan x 5
.
lm
x 2 sec x + 4
(f) lm
(j)