Professional Documents
Culture Documents
Tabla de contenidos
Prefacio
vii
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 . . . . . . . . . . . . . . . . . . . .
iii
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1
1
3
4
6
7
8
10
13
23
30
30
33
40
40
41
41
43
43
45
46
46
47
52
53
54
55
60
61
64
64
69
70
70
77
83
88
TABLA DE CONTENIDOS
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 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
91
91
94
94
95
95
97
99
103
103
106
107
110
112
112
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
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 . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
iv
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
115
115
120
121
128
128
129
131
132
133
135
135
138
138
140
140
142
142
144
. .
. .
. .
. .
. .
. .
. .
. .
. .
. .
. .
. .
E2
. .
. .
. .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
145
145
146
146
147
153
156
158
159
160
161
161
162
163
163
165
169
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
TABLA DE CONTENIDOS
4.11
4.12
4.13
4.14
4.15
Graficacin de funciones . . . .
Ejercicios . . . . . . . . . . . .
Problemas de extremos . . . . .
Ejercicios . . . . . . . . . . . .
Regla de LHpital . . . . . . .
4.15.1 Formas indeterminadas
4.15.2 Regla de LHpital . . .
4.16 Ejercicios . . . . . . . . . . . .
TABLA DE CONTENIDOS
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
169
174
174
179
181
181
182
184
Prefacio
En una serie de reuniones de los profesores que impartimos la asignatura Clculo en una
Variable en la Escuela Politcnica Nacional, vimos que para poder uniformizar los contenidos
y el nivel de la enseanza aprendizaje en todos los paralelos de las carreras de ingeniera y
ciencias de la institucin, era 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. Ponemos el presente trabajo a consideracin de la comunidad
politcnica, en especial de los profesores de Clculo en una Variable y de los alumnos que
toman esta asignatura, con la esperanza de que sirva como un primer borrador de lo que
ser en un futuro el texto politcnico que tanta falta nos hace. 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 [1], Demidovich [2]
y dems textos rusos, Leithold [3], etc. Debemos agradecer a las autoridades de la Escuela
Politcnica Nacional y de las unidades acadmicas a las que estamos adscritos, por el apoyo
que nos han brindado para la realizacin de nuestro trabajo.
Los Autores
Quito, febrero de 2010
vii
Captulo 1
Lmites
1.1
Aproximar
=
.
300 300
300
7
Es decir, el error que se comete al aproximar 34 con 1.31 es 300
.
4
En cambio, si se utilizara 1.32 para aproximar 3 , el error cometido sera:
4
4 132
1.32 =
3
3 100
Lmites
=
400 396
4
=
.
300 300
300
Vemos que 1.32 es una mejor aproximacin de 43 que 1.31 en el sentido de que el error que
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
, es menor que el error de aproximar 34 con 1.31 o 1.32.
se aproxima 43 con 1.33, que es 300
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 34 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 .
300 300
3
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
1.35 = 4 135
3 100
3
400 405
= 5 .
=
1.2
y = 2x 1
y
y = x3
(1, 1)
y = 0.75x 0.25x
x
x=1
(a)
(b)
Lmites
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.
1.2.1
Dada una curva general C, como la de la figura (a), y un punto P en ella, se busca la recta
t tangente a C en el punto P :
C
Q
Q1
Q2
Q3
t
P
(b)
(a)
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
se aproximan cuando el nmero x se aproxima al nmero a. A ese nmero le llamaremos,
provisionalmente, lmite de los cocientes.
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.
1 La
frmula (1.1) es vlida no solamente para curvas crecientes como la de la figura. Su validez ser
demostrada cuando se presente una definicin general para la pendiente de la recta tangente a una curva.
1.2.2
Lmites
Supongamos que la curva C es una parbola cuya ecuacin es y = 3x2 y el punto P tiene
coordenadas (2, 12). Entonces, g(x) = 3x2 . Queremos calcular el lmite de los cocientes
mx =
g(x) g(2)
3x2 12
=
x2
x2
3(x 2)(x + 2)
3x2 12
=
.
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
x
mx
la
derecha,
mientras que la aproximacin de x a 2 por
3
15
valores
menores
que 2 significa que el punto R se aproxima
2.5
13.5
al
punto
P
desde
la izquierda. En los dos casos, se puede
2.1
12.3
observar
que,
mientras
x est ms cerca de 2, mx est ms
2.01
12.03
cerca
de
12;
es
decir,
mientras
el punto R est ms cerca
2.001
12.003
del
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
ta tangente.
2. Para cada una de las funciones definidas a continuacin, elabore una tabla para los valores
f (xi ) con xi = a 10i con i {1, 2, . . . , 5}.
Tiene f (x) un lmite cuando x se aproxima a a? En otras palabras, existe un nmero
al que f (x) parece acercarse cuando x toma
valores cercanos al nmero a?
(a)
(
3 + 2x x2
x2 4x + 7
si x < 1,
si x > 1,
a = 1.
x 4x + 5
f (x) = 3
x+3
si x < 1,
si x = 1,
si x > 1,
a = 1.
f (x) =
(b)
Lmites
3. El mtodo utilizado en los ejercicios anteriores para encontrar el lmite de una funcin
puede sugerir la no necesidad de elaborar un
concepto adecuado para la definicin del lmite y el correspondiente desarrollo de tcnicas
de clculo. Sin embargo, la funcin h definida
por
3
x3 + 8 2
h(x) =
x3
(c)
f (x) =
(d)
3x 15
,
x2 10x + 25
a = 5.
f (x) =
sin(3x)
,
2x
a = 0.
f (x) =
1
,
(x 2)2
a = 2.
(e)
(f)
f (x) = sin
, a = 0.
x
Guardan alguna relacin el hecho de que la
funcin est o no definida en a y que parezca
tener lmite cuando x se aproxima al nmero
a?
1.3
La definicin de lmite
Vamos a tratar de precisar lo que queremos decir con el lmite de los cocientes
mx =
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 primer lugar, qu queremos decir con que mx no difiera de 12 en ms de 102 ? Que
el error de aproximar 12 con mx , es decir, el valor absoluto de la diferencia entre mx y 12
sea menor que 102 . En otras palabras, que se verifique la siguiente desigualdad:
|mx 12| < 102 .
En segundo lugar, existen valores de x para los que se cumple esta desigualdad? Y si
existen, qu tan cerca de 2 debern estar los x? Ms an, Para responder estas preguntas,
(1.2)
(1.3)
10
Lmites
1.3.1
Este es un problema de bsqueda: debemos encontrar el nmero . Para ello, el mtodo que
vamos a aplicar consiste en suponer temporalmente que ya ha sido encontrado; es decir,
suponer que si x es un nmero tal que x 6= 2 y que satisface la desigualdad
(1.4)
|x 2| < ,
entonces, se debe cumplir la desigualdad
(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 .
102
, mx difiere de 12 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 .
3
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.
1.3.2
La definicin de lmite
Sean:
1. a y L dos nmeros reales,
2. I un intervalo abierto que contiene el nmero a, y
3. f una funcin real definida en I, salvo, tal vez, en a; es decir, I Dm(f ) {a}.
El nmero a generaliza a 2, L a 12, I a (, +) y f (x) a mx .
Lo que vamos a definir es:
L es el lmite de f (x) cuando x se aproxima a a.
Igual que en el ejemplo, esta frase se deber entender como:
L puede ser aproximado por los valores de f (x) con la precisin que se
desee, con la condicin de que x, siendo distinto de a, sea lo suficientemente cercano a a.
14
Lmites
si para cualquier nmero > 0, existe un nmero > 0 tal que L puede
ser aproximado por f (x) con un error de aproximacin menor que ,
siempre que x, siendo distinto de a, se aproxime a a a una distancia
menor que .
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
|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)
(1.13)
|x + 3| < 1.
(1.14)
(1.15)
(1.14)
la diferencia
es negativa, y, por lo tanto:
es decir:
x3
|x 3| = (x 3);
x 3 = |x 3|,
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.
16
Lmites
Con este resultado, volvamos al producto (1.12). Ya podemos afirmar que, si x 6= 3 y |x+3| < 1,
se debe verificar lo siguiente:
|x2 9| = |x 3||x + 3| < 7|x + 3|,
es decir:
|x2 9| < 7|x + 3|,
(1.16)
siempre que
x 6= 3
|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:
|x + 3| < .
(1.18)
7
Por lo tanto: la desigualdad
|x2 9| <
(1.9)
|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
7 = , pues .
7
7
Por lo tanto:
|x2 9| < ,
siempre que
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
.
x+3
Es decir, probemos que el nmero 2 puede ser aproximado por valores de
2 = lm
x3
5x 3
x+3
siempre que x 6= 3 est lo suficientemente cerca de 3.
19
|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
y 2 para x 6= 2, de la siguiente manera:
x+3
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
= 3 x 3
=
x + 3
x+3
=3
Es decir:
|x 3|
.
|x + 3|
5x 3
3
=
2
|x 3|.
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.
2
|x 3| < |x 3|,
x+3
|x + 3|
5
es decir:
siempre que
5x 3
3
x + 3 2 < 5 |x 3| < ,
5
.
3
(1.28)
21
5x 3
<
2
x+3
se verifica si x satisface las desigualdades
5
0 < |x 3| < = mn 1, .
3
Hemos demostrado, entonces, que el nmero 2 es el lmite de
5x 3
x+3
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|
2
2
|( x) ( a) |
=
| x + a|
|x a|
.
=
x+ a
Por lo tanto:
1
|x a|.
| x a| =
x+ a
Si definimos
g(x) =
ya tenemos la igualdad (1.29).
1
,
x+ a
(1.30)
22
Lmites
Ahora debemos acotar superiormente g(x). Esto no es muy difcil, ya que, como
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:
para todo x > 0.
Ya tenemos M :
a > 0 y
1
|g(x)| <
a
1
M= .
a
Entonces:
1
| x a| < |x a|,
a
para todo x > 0. Por ello, si para un > 0, se tuviera que
entonces se cumplira que:
|x a| < ,
| x a| < |x a| < .
a
a
De esta desigualdad se ve que podemos elegir de la siguiente manera:
= .
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| <
se verifica si x satisface las desigualdades
0 < |x a| < = a.
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, 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).
1.3.3
23
encontramos que
n o
= mn 1,
.
7
As, si tomamos = 14, entonces:
14
= mn 1,
= mn{1, 2} = 1.
7
En cambio, si = 27 , entonces:
7
= mn 1,
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 21 .
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
f (x) =
2x2 + 8x 4
si x < 1,
si x > 1.
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.
Caso 1: 0 < x < 1. Analicemos el lado izquierdo de la desigualdad (1.32). Recordemos que para
x < 1 se tiene que f (x) = x2 + 1. Por lo tanto:
|f (x) 2| = |(x2 + 1) 2| = |(x2 + 1) 2|
= |x2 1| = |x + 1||x 1|.
(1.34)
25
|x 1| <
|f (x) 2| < .
2
Vemos, entonces, que, si 0 < x < 1, un buen candidato para es 2 .
Sin embargo, recordemos que supusimos que tambin se verifica la condicin |x 1| < 1. Por
lo tanto, el nmero 1 tambin es un candidato para . Cul de los dos debemos elegir? El ms
pequeo.
As, para este primer caso, la eleccin para es la siguiente:
n o
= mn 1,
.
(1.35)
2
Caso 2: 1 < x < 2. Puesto que, para estos valores de x, se tiene que f (x) = 2x2 + 8x 4, el
Por lo tanto:
|f (x) 2| < .
|x 1| <
4
Con un razonamiento similar al caso anterior, la eleccin de es la siguiente:
n o
= mn 1,
.
4
(1.36)
Conclusin. De los dos casos estudiados, podemos concluir que, si 0 < x < 2, el buscado debe
ser elegido de la siguiente manera:
Pero, como
si
se verifica la siguiente implicacin:
n o
= mn 1, ,
.
2 4
< ,
4
2
n o
= mn 1,
,
4
0 < |x 1| <
|f (x) 2| < .
26
Lmites
En efecto: sea > 0. Debemos encontrar un nmero > 0 tal que se verifique la igualdad
(1.37)
|f (x) 3| < ,
siempre que
0 < |x 1| < .
.
2
,
2
entonces:
|f (x) 3| = 2|x 1|
< 2
= 2 = .
2
27
si x 6= 1,
si x = 1.
Entonces:
g(x) = f (x)
para todo x 6= 1. Es decir, g y f son casi la misma funcin, excepto por el valor que cada
una de ellas toma en el nmero x = 1, pues
g(1) = 1 y
f (1) = 3.
Sin embargo:
3 = lm g(x).
x1
siempre que
(1.38)
0 < |x 1| < .
se verifica la desigualdad (1.38). Es decir, debemos probar que para x 6= 1, pues |x 1| > 0,
tal que |x 1| < , se verifica la desigualdad (1.38). Pero, recordemos que
g(x) = f (x)
para todo x 6= 1. Entonces, para estos x, la desigualdad (1.38) se transforma en la desigualdad:
|f (x) 3| < .
(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 h(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.
L = lm g(x).
xa
L = lm f (x).
xa
29
xa
xa
Ejemplo 1.5
Supongamos conocido que
lm (x + 2) = 3.
x1
Calcular
lm
x1
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
x1
x2 + x 2
= lm g(x) = 3.
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
Un uso tpico de este teorema es el siguiente. Queremos demostrar que
x+3
.
x0 x + 1
3 = lm
En lugar de ello, probaremos que
x+3
3.
x0 x + 1
0 = lm
Pero, como
x+3
2x
3=
,
x+1
x+1
lo que hay que probar es
0 = lm 2
x0
x
.
x+1
Y, como
2 x = 2 x ,
x + 1
x + 1
0 = 2 lm
x0
x
.
x+1
1.3.4
Ejercicios
3
(a) lm ( x2 + 2 3 x + 4) = 12
x8
(c)
lm (5x + 14) = 4
x2
(d) lm
x9
1
1
=
6
x+3
2x2 8
= 8
x2 x + 2
2x + 3
(f) lm
= 5
x1 x 2
(e)
lm
(g) lm (x2 + x + 1) = 3
x1
1.4
(h) lm (9x2 + 3x + 1) = 1
x 1
3
(i)
lm
x1
x+4
3
=
x1
2
x3
(b) lm
x9 x 9
(a) lm
x2 + 5x + 4
x1
x2 1
x8
(d) lm
x8 3 x 2
(c)
lm
Las tres funciones utilizadas en la seccin precedente tienen lmite en el nmero 1. La primera
y la segunda tambin estn definidas en 1; es decir, 1 est en el dominio de f y g. Sin embargo,
en el caso de la primera, como f (1) = 3, el valor de f en 1 es igual al lmite; en el caso de la
segunda, como g(1) = 1 6= 3, esto no ocurre. Para la tercera funcin, el nmero 1 no est en
el dominio de h.
31
Los dibujos de estas tres funciones muestran que en el grfico de las funciones g y h hay
un salto al cruzar la recta vertical de ecuacin x = 1 (en la jerga matemtica, se suele decir
que hay un salto al pasar por 1). Si dibujramos los grficos de estas funciones, trazndolo
de izquierda a derecha, en el caso de la segunda y de la tercera, deberamos interrumpir
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:
Definicin 1.2 (Funcin continua)
Una funcin f : Dm(f ) R, donde I Dm(f ) es un intervalo abierto, es continua en a si y
solo si:
1. a I ;
2. existe lm f (x); y
xa
3. f (a) = lm f (x).
xa
Una funcin es continua en el intervalo abierto I si es continua en todos y cada uno de los
elementos de I .
32
Lmites
2. f (a) = c = 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
(1.39)
|f (x) c| <
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
(1.41)
|f (x) a| <
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)
1.5
33
Como hemos podido ver, encontrar el nmero dado el nmero no siempre es una tarea
fcil. Los ejemplos que hemos trabajado son sencillos relativamente. En general, demostrar
que un cierto nmero es el lmite de una funcin suele ser una tarea de considerable trabajo.
Por ello, el poder visualizar la definicin es de mucha ayuda para poder manipular luego
las desigualdades con los y . Esta visualizacin puede ser realizada de la siguiente manera.
En primer lugar, recordemos que la desigualdad
(1.43)
|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+ x
34
Lmites
A continuacin, dibujemos dos bandas: una horizontal, limitada por las rectas horizontales
cuyas ecuaciones son y = L y y = L + , y una vertical, limitada por las rectas verticales
cuyas ecuaciones son x = a y x = a + :
f (x)
L+
L
L
a+ x
El rectngulo obtenido por la interseccin de las dos bandas est representado por el
siguiente conjunto:
C = {(x, y) R2 : x ]a , a + [, y ]L , L + [}.
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+ x
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+
3
1
14
1
1
el grfico de la funcin f en el intervalo ]3 14
, 3 + 14
[ debe estar contenido plenamente en la
caja. 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
37
1 681
113
=8+
,
196
196
1
1
98
=8+ =8+
.
2
2
196
1
113
98
1
3
=8+
>8+
=9 .
14
196
196
2
1
.
14
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+
3
1
14
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)
2
3
2
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 23 y una distancia de un bajo 32 . Por lo tanto,
si elegimos igual a 14 , la banda horizontal alrededor de 32 se vera as:
f (x)
2
3
2
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+
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
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
0 1 < 1
es decir, x [0, 1[.
< 1;
2
> 0, entonces
x=1
6= 1.
2
.
2
Por lo tanto:
f (x) 3 = 1
2
2
1
= =
2
2
pues
1
1
>
2
4
3
2
3
2
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
2x 7x+6
;
x2
(j) f (x) = x2 + 3x 5; a = 1; L = 1;
= 0.4.
(k) f (x) = x2 + 3x 5; a = 1; L = 7;
= 0.08.
2. Demuestre, utilizando la definicin de lmite:
3x2 + 5x 2
= 7.
x+2
6x
(b) lm
= 2.
x1 x + 2
(c) lm x + 7 = 3.
(a)
x2
(d) lm
x3
a = 2; L = 1; = 0.04.
+10x+3
(f) f (x) = 8x 2x+1
; a = 21 ; L = 1;
= 0.003.
(g) f (x) = x2 ; a = 3; L = 9; = 1.
lm
x2
(e)
lm
x 1
2
1.6
8x2 + 10x + 3
= 1.
2x + 1
(f) lm (2x2 3x + 4) = 3.
x1
x3 2x2 3x
= 12.
x3
(g) lm
x1
x2 7x + 5
= 1.
2x + 3
Intipamba es una pequea comunidad asentada en una meseta. Desde all, se tiene la sensacin
de poder acariciar las trenzadas montaas que, ms abajo, estn rodeadas por un lmpido
cielo azul la mayor parte del ao. El sol es un visitante asiduo de Intipamba. En algunas
ocasiones se ha quedado tanto tiempo que las tierras alrededor de Intipamba no han podido
dar su fruto, y los lugareos han tenido que ir muy lejos en busca de agua.
Los viejos ya no recuerdan cuando lleg la energa elctrica a Intipamba y los jvenes, si
no la tuvieran ya, la extraaran, pues, desde que tienen memoria, la han tenido. Pero en los
ltimos aos la energa elctrica que llega al pueblo ya no es suficiente. El gobierno les ha
dicho que llevar ms energa es muy costoso. Sin embargo, una organizacin no gubernamental
ha propuesto a la comunidad solventar la falta de energa mediante la construccin de una
pequea planta que genere energa elctrica a partir de energa solar, para aprovechar, as,
el sol de Intipamba.
Para abaratar los costos, la comunidad entera participar en la construccin de la planta.
Entre las tareas que realizarn los lugareos, est la construccin de los paneles solares. Las
especificaciones tcnicas indican que los paneles deben tener una forma rectangular, que el
largo debe medir el doble que el ancho, el cul no debe superar los tres metros, y que el rea
debe ser de ocho metros cuadrados, tolerndose a lo ms un error del uno por ciento.
Se ha decidido que cada panel tenga por dimensiones 2 y 4 metros, lo que satisface el
requerimiento de que la longitud del largo sea el doble que la del ancho. El problema en que
se encuentran los encargados de la construccin de los paneles consiste en determinar con qu
grado de precisin debe calibrarse la maquinaria que corta los paneles para que se garantice
que el rea obtenida no difiera de los ocho metros cuadrados en ms del uno por ciento.
1.6.1
41
En primer lugar, qu significa que el rea no difiera de los ocho metros cuadrados en ms
del uno por ciento? Ninguna mquina cortar los lados de cada panel de dos y cuatro metros
exactamente, sino que, en algunos cortes, por ejemplo, la dimensin del ancho ser un poco
menos que dos metros; en otros cortes, podra ser un poco ms; una situacin similar ocurrir
respecto de la dimensin del largo. El resultado de esto es que el rea de cada panel no ser
exactamente igual a ocho metros cuadrados.
La diferencia entre el rea real de un panel y los ocho metros cuadrados esperados se
denomina error. Esta cantidad puede ser positiva o negativa, segn el rea real sea mayor o
menor a ocho metros cuadrados. Para cuantificar nicamente la diferencia entre el rea real
y la esperada, se define el concepto de error absoluto como el valor absoluto del error. El
error absoluto no da cuenta de si el rea obtenida es mayor o menor que los ocho metros
cuadrados esperados, solo da cuenta de la diferencia positiva entre estos dos valores.
Si se representa con la letra a el nmero de metros cuadrados que mide el rea real de un
panel, el error absoluto se expresa de la siguiente manera:
error absoluto = |a 8|.
La especificacin de que el rea no difiera de los ocho metros cuadrados en ms del uno
por ciento quiere decir, entonces, que el error absoluto sea menor que el uno por ciento del
rea esperada; es decir, que el error absoluto sea menor que el uno por ciento de ocho metros,
valor igual a 0.08 metros cuadrados. Por lo tanto, para que se cumpla con la especificacin
tcnica, la calibracin de la mquina debe asegurar la verificacin de la siguiente desigualdad:
|a 8| < 0.08.
En resumen, el problema a resolver por el equipo de Intipamba es:
calibrar la mquina de los paneles para garantizar que la desigualdad
|a 8| < 0.08.
(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.6.3
El problema matemtico
(1.4)
(1.5)
1.6.4
Podemos aplicar el mtodo aprendido en la seccin anterior para encontrar el nmero . Sin
embargo, para resolver este problema, por tratarse de 2x2 , podemos hacer un atajo en el
mtodo.
44
Lmites
Para empezar, tenemos que:
|2x2 8| = |2(x2 4)|
= 2|x2 4|
(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.
(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| < ,
se cumplir tambin la desigualdad (1.5):
|2x2 8| < 10 = 10 0.008 = 0.08.
45
0.08
= 0.008,
10
tambin se cumple la condicin del problema: si x ]0, 3] tal que se verifica la desigualdad (1.4):
|x 2| < ,
<
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
es tal que, si x ]0, 3] y |x 2| < , se verifica que
|2x2 8| < .
1.6.5
46
Lmites
expresa la cota superior admisible para el error absoluto en la longitud del ancho del panel.
Finalmente, la desigualdad
|2x2 8| < 0.08
indica la cota superior admisible para el error absoluto en el rea del panel solar cuyo ancho
mide x metros y cuyo largo es 2x metros.
De la solucin matemtica, podemos asegurar que, si se elige < 0.008, es decir, si se
asegura que el error cometido en el corte del ancho es menor que 8 milmetros, el rea obtenida
para ese panel no difiere de ocho metros cuadrados en ms de 0.08 metros cuadrados. En
resumen:
si se calibra la mquina cortadora de paneles de modo que se asegure que el error
absoluto cometido en el corte del largo de cada panel no supere los 8 milmetros,
entonces se asegurar que el rea obtenida para cada panel no diferir de ocho
metros cuadrados en ms del uno por ciento.
1.6.6
Eplogo
1.6.7
Ejercicios
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 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:
E = 75h + 10h2 0.2h3 .
A pesar de que el nivel mximo es de 35 m,
47
1.7
La definicin de lmite nos permite verificar si un nmero es el lmite o no de una funcin. Sin
embargo, no nos permite encontrar el lmite de una funcin. Las propiedades de los lmites
que vamos a estudiar en esta seccin son, en realidad, un conjunto de reglas de clculo de
lmites a partir del conocimiento de los lmites de algunas funciones.
Por ejemplo, demostramos que el lmite de una constante es la misma constante y que a
es el lmite de x cuando x se aproxima al nmero a. Probaremos ms adelante que, cuando
x se aproxima al nmero a, si L es el lmite de f (x) y M es el lmite de g(x), entonces LM
es el lmite de f (x)g(x). De estos tres resultados, podremos concluir quesin ms trmite
que su aplicacin inmediata, para una constante cualquiera k, el nmero ka2 es el lmite
de kx2 cuando x se aproxima al nmero a.
Vamos a ver que un conjunto relativamente pequeo de reglas de clculo nos permitirn
obtener los lmites de una gran variedad de funciones.
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.
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
48
Lmites
xa
L + M = lm (f (x) + g(x)).
xa
LM = lm (f (x)g(x)).
xa
1
y:
g(x)
1
1
= lm
.
xa
M
g(x)
Por ejemplo, si a 6= 0, por la tercera parte de este teorema, podemos afirmar que
1
1
= lm ,
a xa x
pues, de la segunda parte del teorema del lmite de la funcin identidad (teorema 1.5),
podemos asegurar que
a = lm x.
xa
Ms adelante, calcularemos una gran variedad de lmites con el uso de estos teoremas.
Ahora hagamos la demostracin del primer numeral.
Demostracin. Sea > 0. Debemos probar que existe un nmero > 0 tal que
|(f (x) + g(x)) (L + M )| < ,
siempre que
0 < |x a| <
|g(x) M |.
(1.51)
49
Ahora bien, estas dos diferencias s pueden hacerse tan pequeas como se quiera, pues
L es el lmite de f (x) y M el de g(x) cuando x se aproxima al nmero a. De manera ms
precisa, para obtener la desigualdad (1.51), es suficiente encontrar el x adecuado para que
|f (x) L| y
|g(x) M |
,
2
|f (x) L| <
(1.52)
siempre que
0 < |x a| < 1
x Dm(f ).
,
2
|g(x) M | <
(1.53)
siempre que
0 < |x a| < 2
x Dm(g).
0 < |x a| < 2 ,
x Dm(f ) y
x Dm(g).
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 corolario.
Corolario 1.7 (Propiedades algebraicas)
Sean R, R. Si existen
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
50
Lmites
2. Lmite de la resta: existe el lmite de f (x) g(x) y:
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:
Teorema 1.8 (Propiedades algebraicas de la continuidad)
Si f : Dm(f ) R y g : Dm(g) R son continuas en a. Entonces
la suma (f + g), la resta (f g), el producto (f g) y el cociente (f /g) (siempre que
g(a) 6= 0)
son funciones continuas en a.
Ejemplo 1.10
Calcular
lm
x2
x+3
.
x5
x+3
.
x5
lm F (x).
x2
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
51
x2
x2
x2
x2
x2
lm (x)
(x)
x2
=
(x)
lm (x)
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
s2
s2
= lm s lm s 21
s2
s2
= 7 7 21 = 28.
Ahora el lmite del denominador:
lm (s + 2) = lm s + lm 2
s7
s7
s7
= 7 + 2 = 9 6= 0.
Podemos, entonces, aplicar el teorema del lmite del cociente:
lm (s2 21)
s2 21
28
s7
lm
=
=
.
s7 s + 2
lm (s + 2)
9
s7
Ejemplo 1.12
Calcule lm (2t + 3)(3t2 5) si existe.
t1
52
Lmites
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
t1
Ejemplo 1.13
Calcule lm y
y0
4
1 si existe.
y
Solucin. Si intentamos calcular el lmite como producto de lmites no podramos hacerlo, ya que
no tenemos an a disposicin ninguna herramienta que nos diga como obtener el lmite del segundo
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
1.7.1
4
1 = 4.
y
Ejercicios
lm (2x 3x + 2).
x2
x + x 1
.
3x + 1
x + 3
lm
.
x3 2x 7
3
t 1
lm
.
t1 t 1
3z + 9
lm
.
z3 36 4z 2
1
lm x
.
x0
x1
t3 + 1
lm
.
t1 t2 1
lm 2x3 (x4 + 3x3 )1 .
(b) lm
x2
(c)
(d)
(e)
(f)
(g)
(h)
x0
(i) lm
x0
1
2x2 5x 1
+
.
x
x
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
(d) lm
x0
3x 7
.
7x2 + 8
1.7.2
53
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
n
X
i=1
fi (x) =
n
Y
i=1
lm fi (x) =
xa
n
X
Li .
i=1
lm fi (x) =
xa
n
Y
Li .
i=1
Pn
i=1
fi y
Qn
i=1
fi son
2. lm
xa
P (x)
P (a)
=
, siempre que Q(a) 6= 0.
Q(x)
Q(a)
Del lmite del producto generalizado, se obtiene que si f (x) tiene L como lmite cuando
x se aproxima al nmero a, entonces Ln es el lmite de f n (x). Esto tambin es verdadero
para el caso de la raz n-sima, aunque la demostracin de esta propiedad, que no se deriva
del teorema anterior, no es elemental.
lm
xa
q
p
n
n
f (x) = n lm f (x) = L.
xa
54
Lmites
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
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
lm 2x2 7 = lm (2x2 7)
x4
x4
= 25 = 5.
Por lo tanto: lm
x4
2x2 7 = 5.
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).
x3
Como
lm (x 7) = 4,
x3
entonces
lm
x3
x7 =
=
Por lo tanto: lm
x3
1.7.3
q
3
lm (x 7)
3
4 = 4.
x3
x 7 = 4.
Ejercicios
x10
10x
.
2x + 5
3
x2 10
2. lm
.
x2
x3 3
3
3. lm (t + 2) 2 (2t + 4) 3 .
t2
x+h x
, x > 0.
h0
h
t1
5. lm
.
t1 t 1
s
2x2 x + 3
.
6. lm
x1
x2 + x + 1
4. lm
1.8
7. lm
x2
r
3
55
3x 5
.
2x2 x + 1
4
x3 3x + 2
8. lm
.
x1 3 1 2x + x4
Ms adelante, en este captulo, probaremos que la funcin sen es continua en R. Por lo tanto,
se cumplir que:
lm sen x = sen 0 = 0.
x0
x1
x1
lm f (g(x)) y
xa
lm f (g(x)) = f
xa
lm g(x) = f (b).
xa
56
Lmites
lm f (g(x)),
xa
yb
lm f (g(x)) = lm f (y).
xa
yb
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 lm f (y) y un intervalo centrado
y0
y0
y0
x1
y0
= lm sen y = 0.
y0
Es decir:
lm sen(x2 1) = 0.
x1
57
Ejemplo 1.17
Calcular
lm
x0
sen(2x)
.
x
sen y
,
y
x0
x0
lm g(x) = lm 2x = 2 lm x = 2 0 = 0.
x0
x0
x0
Por lo tanto, b = 0.
Para poder aplicar el teorema, nos falta determinar si f o bien es continua en 0 o si existe su
lmite en b = 0 y, en un intervalo centrado en a = 0, la funcin g es diferente de b = 0 (salvo, tal
vez, en 0).
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
Ahora bien, dado que f no est definida en 0, no puede ser continua en 0. Es decir, la primera
condicin no se verifica, pero si se cumple la segunda.
Tambin g(x) = 2x es diferente de 0 en todos los puntos de un intervalo centrado en 0, salvo en
0, por lo que, en este caso, tambin se cumple la tercera condicin.
Entonces, el teorema del cambio de variable es aplicable, con lo que obtenemos que:
lm
x0
sen(2x)
= lm f (g(x))
x0
x
= lm f (y) = 2.
y0
Es decir:
sen(2x)
= 2.
x
En este segundo ejemplo, la funcin f del teorema 1.13 satisface las condiciones segunda y tercera,
pero no la primera. Sin embargo, el lmite de este ejemplo puede ser resuelto aplicando la primera
condicin si se define f de tal manera que s sea continua en 0.
En efecto, si definimos
(
2 seny y si y 6= 0,
f (y) =
2
si y = 0,
lm
x0
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. Hemos extendido o prolongado de una manera continua la funcin f al punto
0.
Obviamente, al aplicar el teorema de cambio de variable a esta f , obtenemos el mismo resultado
que con la definicin anterior.
58
Lmites
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
donde y = 2x y lm y = lm 2x = 0.
x0
x0
Si bien se puede proceder como en este ejemplo, el lector debe verificar que se satisfagan
las hiptesis del teorema del cambio de variable, pues, en el caso contrario, sus conclusiones
podran no son correctas, como nos lo muestra el ejemplo siguiente.
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.
59
Ejemplo 1.19
Sean
(
3
f (x) =
4
si x 6= 1
si x = 1,
g(x) =
0
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.
Puesto que
(
(
f (0) si x 6= 2
3 si x 6= 2
f (g(x)) =
=
f (1) si x = 2
4 si x = 2,
entonces
lm f (g(x)) = lm 3 = 3.
x2
x2
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)
h(x) =
lm f (x) =
x1
lm k(x)
x1
sen(x2 1)
.
x2 1
lm h(x) ,
x1
x1
= cos(0)
= 1,
60
Lmites
pues podemos aplicar el teorema del lmite de una 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 lm h(x), notemos que h(x) = j(x2 1). En este caso, utilicemos el cambio de
x1
lm g(x) = lm (x2 1) = 0.
x1
x1
x1
t0
Por lo tanto:
lm f (x) = lm k(x) lm h(x) = 2 1 = 2.
x1
1.8.1
x1
x1
Ejercicios
yb
lm g(x) = b.
xa
3
x
(f) lm
.
x0 sen x
1 cos2 x
(g) lm
.
x0
sen x
2
x +x
.
(h) lm
x0 sen x + tan x
arc sen x
(i) lm
.
x0
x
arctan x
(j) lm
.
x0
x
1.9
61
P
R
sen x
x
O
cos x
P
tan x
x
x
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)
62
Lmites
Y, si suponemos que x 6= 0, entonces (AP ) 6= 0. Entonces, estas dos ltimas desigualdades implican las siguientes:
sen x
< 1.
(1.56)
cos x <
(AP )
5. La longitud del arco AP es igual a x, pues, por la definicin de radin, se verifica que:
(AP ) = OAx = 1 x = x.
(1.57)
xa
L = lm g(x).
xa
sen x
,
x
y h(x) = 1 para todo x D =] 2 , 2 [{0} y que
lm
x0
sen x
x
L = 1 = lm f (x) = lm h(x).
x0
x0
63
Ejemplo 1.21
Calcular
lm x2 sen2
x0
lm x cos
x0
1
.
x
Solucin.
1. Si definimos f , g y h tales que
g(x) = 0,
tenemos que, para todo x 6= 0:
f (x) = x2 sen2
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
x0
x
lm (x) = 0
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
Para todo x R, se tiene que 0 | sen x| |x|. 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
64
Lmites
2. Ahora probemos que cos es continua en 0. Para ello, debemos probar que lm cos x = 1. Esto
x0
lm sen
x0
x
2
x
= lm sen t = 0
t0
2
x
,
2
3. Sea a 6= 0. Vamos a probar que lm sen x = sen a. Para ello, probemos que lm (sen x sen a) = 0.
xa
xa
xa
t0
t0
xa
xa
t0
t0
1.9.1
Ejercicios
(c)
f (x) x2 2x + 2.
x1
1.10
para todo x
2 |x 1| g(x) x2 2x + 4.
3. Diga si se puede aplicar el teorema del sandwich para calcular lm g(x) si se conoce que
x1
x0
tan x
.
x
Lmites unilaterales
Como una aplicacin de la propiedad arquimediana de los nmeros reales, sabemos que para
todo x R, existe un nico nmero entero n tal que
n x < n + 1.
(1.58)
65
A este nmero n se le denomina el suelo de x. Por ejemplo, el suelo de 32.45 es 32, pues
32 32.45 < 33.
En este caso, n = 32.
En el caso de que x sea mayor que 0, el suelo de x ser la parte entera de su representacin
decimal. Por ello, al nmero n tambin se le conoce como la parte entera de x y se le suele
representar3 con x.
Dado un x R, la unicidad del nmero n que satisface las desigualdades (1.58), nos
permite definir la funcin suelo de la siguiente manera:
: R Z
x 7 x = n,
donde n satisface las desigualdades (1.58).
El lector puede constatar por s mismo que dibujar el grfico de la funcin suelo es muy
sencillo. Deber obtener algo similar al siguiente dibujo:
y
3
2
1
1
1
2
3
notacin [x] tambin suele ser utilizada para representar la parte entera del nmero x.
66
Lmites
Como puede observarse, la funcin lg retorna un nmero real. La funcin suelo transforma este nmero real en un entero, positivo en este ejemplo, y que refleja correctamente la
naturaleza del problema.
En los ejercicios se presentar una gua para calcular W (106 ) sin recurrir a una calculadora
electrnica para calcular el valor de lg(106 + 1).
Del grfico de la funcin suelo, se puede observar que esta funcin es continua en todo
nmero real que no es un entero. Utilizando la definicin de lmite, se puede probar que la
funcin suelo no es continua en cada entero al mostrar que no existe el lmite all.
Por qu no existe ese lmite, por ejemplo en el nmero 1? Porque x tiene un comportamiento diferente antes del nmero 1, pero cerca de l, y otro luego del nmero 1, pero
tambin cerca de l.
En casos como el de este ejemplo, resulta conveniente introducir la nocin de lmites
unilaterales en el sentido de que x se aproxima al nmero 1 bajo la condicin de que x > 1 o
bajo la condicin de que x < 1. Si una funcin tiene lmite en el punto 1, la aproximacin bajo
cualquiera de las dos condiciones deber producir el mismo lmite; es decir, deber suceder
que la funcin tenga los dos lmites unilaterales y, adems, sean iguales.
Este principio es adecuado para probar tambin que el lmite de una funcin no existe en
un punto: se prueba que o no existe uno de los unilaterales, o se prueba que son diferentes.
Por ejemplo, es fcil probar que
1 = lm x
cuando x > 1
0 = lm x
cuando x < 1.
x1
y que
x1
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 < .
0 = lm x.
x1
Entonces:
lm x 6= lm x,
x1+
x1
67
Teorema 1.15
L es el lmite de f (x) cuando x se aproxima al nmero a si y solo si existen 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.
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| < ,
siempre que 0 < x < .
| x 0| <
x<
x < 2 .
x < 2
x < | x 0| < .
x0+
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.
68
Lmites
Ejemplo 1.24
Sea
2x 1
f (x) = 2
2
x + 3x
si x > 1
si x = 1
si x < 1
x1
x1
x1
x1
= (1)2 + 3 1 = 2.
En segundo lugar, como f (x) = 2x2 1 si x > 1, entonces:
lm f (x) = lm (2x2 1)
x1
x1+
= 2(1)2 1 = 1.
Por lo tanto:
lm f (x) = f (1) = 2 6= 1 = lm f (x).
x1+
x1
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
xn
xn+
69
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
lm f (x),
xa
xa+
lm f (x).
xa
(a)
(b)
2x 1
f (x) = 3
x+1
f (x) =
si x < 2
si x = 2
si x > 2.
x2 1
1
(11 x)
3
si x 2
si x > 2.
a=2
a=2
(c)
f (x) =
|x + 1|
2x
si x < 1
si x 1.
a=1
(d)
f (x) =
9 x2
x+1
si |x| < 3
si |x| 3.
a=3
(e) f (x) = 1 + x; a Z.
2. Mostrar que
x1
.
x2 3x + 2
1x
(b) lm 2
.
x1+ x 3x + 2
x+1
(c) lm 2
.
x2 x 3x + 2
2
2x 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
(c) f (x) = 0
si x = 1
x23x+2
si x < 1.
1x
(
2
x + x 2 si x > 1
(d) f (x) =
1 x2
si x 1.
(a)
lm
x1+
lm f (x) = 1, lm f (x) = 5, si
x = m
ax{n Z : n x}
f (x) =
para todo x R.
x2+
x2
(b)
(c)
x2 + 1
x2 + 3
si x > 2
si x < 2.
x3 + 1 = 0.
lm 4 3x 2 = 0.
lm
x1
2
x 3
70
Lmites
(a)
por:
lm f (x), si
x1
f (x) =
x3
2x + 1
2x + 1
.
x2 x4 4
1
.
(c) lm 2
x1 x 5x + 4
si x < 1
si x > 1.
W (106 ) = lg(106 + 1) + 1.
(b) lm
x+1
2x 3
si x < 0
si x > 0.
1.11
Cuando una funcin tiene lmite en un punto, se dice que la funcin converge al lmite en ese
punto. Cuando la funcin no tiene lmite, se dice que diverge. Por ejemplo, la funcin suelo
diverge en todo nmero entero.
Hay varias maneras de divergir. Una como la de la funcin suelo. Otra, cuando la funcin crece indefinidamente o decrece indefinidamente. En ese caso se dice que la divergencia
es al infinito, o que el lmite es infinito. Por ejemplo, probaremos que f (x) = x12 crece
indefinidamente cuando x tiende a 0.
Por otra parte, puede suceder que un nmero est tan cerca como se quiera de f (x) cuando
x crece indefinidamente o cuando decrece indefinidamente; en ese caso, no hay divergencia,
pues el lmite existe. En estas circunstancias, se dice que los lmites son al infinito. Por
ejemplo, mostraremos que la f (x) = x12 tiende a 0 cuando x crece indefinidamente.
Hay numerosas situaciones en las que surgen estos dos tipos de lmites. En las siguientes
subsecciones, vamos a ver un ejemplo de cada uno.
1.11.1
Lmites infinitos
En 1905, Albert Einstein corrigi un error que encontr en las leyes del movimiento enunciadas por Newton doscientos aos atrs.
En efecto, la segunda ley de Newton asume implcitamente que la masa de un cuerpo es
constante. Sin embargo, Einstein descubri que la masa de un cuerpo vara con su velocidad4 .
De manera ms precisa, Einstein estableci que la masa de un cuerpo es una funcin de
su velocidad, que puede ser calculada a travs de la siguiente igualdad:
m0
m(v) = q
1
v2
c2
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.
71
Si damos a v algunos valores cercanos a c, veremos que m(v) crece. Probaremos en esta
seccin que esto es, efectivamente, as.
La idea subyacente de que f (x) crece indefinidamente cuando x se acerca a un nmero
a consiste en que, dado cualquier nmero positivo R, por ms grande que ste sea, siempre
hay un intervalo alrededor de a en donde f (x) es ms grande que R. En otras palabras, no es
posible acotar superiormente el conjunto de valores de la funcin f . Se dice que f (x) tiende
a ms infinito para representar este crecimiento indefinido y se utiliza el smbolo +
para representar este comportamiento de la funcin f alrededor del punto a. En la siguiente
definicin, precisamos esta idea.
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.
Ejemplo 1.27
Probar que lm
x0
1
= +.
x2
(1.59)
1
1
> R 0 < |x| < .
x2
R
Esta ltima equivalencia nos garantiza que el nmero buscado es:
1
= ,
R
(1.60)
72
Lmites
pues, si se elige x de modo que 0 < |x| < , por las equivalencia (1.60), se verifica la desigualdad (1.59). Por lo tanto, hemos probado que:
lm
x0
1
= +.
x2
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,
excepto, quizs, en a, en todos los puntos de un intervalo abierto centrado en a.
De manera similar, podemos concluir que, si f (x) tiende a cuando x tiende al nmero
a, entonces f (x) es negativa, excepto, quizs, en a, en todos los puntos de un intervalo abierto
centrado en a.
Resumamos estos resultados en el siguiente teorema:
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.
73
Ejemplo 1.28
Pruebe que lm
x2
Solucin.
Sean f (x) =
(5 x)(1 x)
= .
(x 2)2
(5 x)(1 x)
y R < 0. Debemos hallar > 0 tal que
(x 2)2
(1.61)
f (x) < R,
siempre que 0 < |x 2| < y x 6= 2.
Para encontrar el valor de , analicemos la desigualdad 1.61:
(5 x)(1 x)
< R.
(x 2)2
Observemos que, como el factor (x 2) est en el denominador, si se verificara la condicin
0 < |x 2| < ,
entonces se verificara la condicin
de donde tambin se verificara que
1
1
> 2.
(1.62)
(x 2)2
Ahora, busquemos un intervalo centrado en 2 donde f (x) sea un nmero negativo. Como (x
2)2 > 0, entonces, en dicho intervalo, deber ocurrir que
(5 x)(1 x) < 0.
Y, si encontrramos una constante M < 0 tal que
(5 x)(1 x) < M
en dicho entorno, la desigualdad (1.62) implicara que
f (x) =
(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:
74
Lmites
5
4
3
2
1
1
2
3
4
El grfico de y = (5 x)(1 x)
1
1
<x2< ,
2
2
de donde
3
5
<x< .
(1.64)
2
2
3 5
Como para estos valores de x, f (x) < 0, si x 6= 2, entonces, busquemos M en el intervalo
, .
2 2
Para ello, definamos g(x) = (5 x)(1 x). Sabemos que, en el intervalo 32 , 52 , el grfico de g
es una parbola, como se mostr anteriormente. El mnimo de g en este
est en el punto
intervalo
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| < 12 , entonces (5 x)(1 x) < M = 74 .
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
M
1 7
=
=
.
R
2
R
Por lo tanto, si elegimos tal que:
= mn
1 1
,
2 2
7
R
se verifica que
(5 x)(1 x)
<R
(x 2)2
75
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:
m0
lm q
1
vc
v2
c2
= +.
(1.65)
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
cuando L = lm f (x) y exista r > 0 tal que f (x) < L siempre que x ]a r, a + r[a.
xa
76
Lmites
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).
Ejemplo 1.29
Clculo del lmite
lm q
vc
m0
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
f (v) =
1
m0
v2
c2
vc
v2
= 0+ .
c2
lm m(v) = lm
vc
vc
1
q
1
1
m0
v2
c2
= +.
Probemos a continuacin el primer numeral del teorema 1.19. El segundo se deja a que
el lector lo realice como un ejercicio.
77
(1.66)
xa
xa
1
= +.
f (x)
(1.67)
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
1
= +. La demostracin de que esta ltima
f (x)
igualdad implica la igualdad (1.66) es similar, por lo que se deja al lector que la haga como
un ejercicio.
En resumen, hemos probado que lm
xa
1.11.2
78
Lmites
| cos x| 1
para todo x R.
A continuacin, estudiemos la conexin entre el concepto de acotacin y el de lmite.
Supongamos que existe L R tal que L = lm f (x). Sabemos, entonces, que f (x) puede
xa
estar tan cerca de L como se quiera siempre que x est lo suficientemente cerca de a. Esto
significa que existir un intervalo I centrado en a tal que f est acotada en I {a}. Probemos
esta afirmacin.
Sea > 0. Existe, entonces, > 0 tal que |f (x) L| < siempre que 0 < |x a| < . Por
lo tanto
L < f (x) < L +
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
79
xa
lm [f (x) + g(x)] = + y
xa
lm [f (x)g(x)] = +.
xa
lm [f (x)] = .
xa
lm [f (x) + g(x)] = +
xa
alrededor de a, entonces:
lm [f (x)g(x)] = +.
xa
lm
xa
f (x)
= +.
g(x)
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
x0
x2
80
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) = +.
3
x1+ x 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
+ 2
1+ 2
2
x +1
x
x
x
= 3
=
,
1
x3 1
x
1
x 2
x
x2
x2
podemos utilizar la cuarta propiedad del teorema 1.22 para calcular el lmite.
Para ello, definamos f (x) = 1 + x12 y g(x) = x x12 . Entonces tenemos que f est acotada
inferiormente por el nmero 1 en un intervalo abierto cuyo extremo inferior es el nmero 1, ya que
1
1
f (x) = 1 + 2 > 1 pues 2 > 0. Adicionalmente, tenemos que
x
x
lm
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
81
Ejemplo 1.32
Calcular los lmites
lm f (x),
lm g(x)
xa+
si:
xa+
lm [f (x) g(x)]
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.
(x 1)3
(x 1)2
Solucin.
r
r
x+1
1
1
1
= 1 + , que lm
= + y que lm 1 + = + (por el
1. Tenemos que f (x) =
x
x
x
x0+ x
x0+
numeral tres del teorema 1.22). Es decir:
lm
xo+
x+1
= +.
x
(1.70)
xa
x0+
x0+
(x) = +. Si aplicamos
x+1
= +.
x
x0+
x0+
1
= +.
x
Puesto que
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 76), 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
x1+
lm f (x) = lm
x1+
5 En
x1+
1
= +.
(x 1)3
82
Lmites
Un razonamiento similar nos conduce a concluir que:
1
= +.
lm g(x) = lm
2
x1+
x1+ (x 1)
f (x) g(x) =
1
1
1
= (2 x)
,
(x 1)3
(x 1)2
(x 1)3
tenemos que, por la cuarta propiedad del teorema 1.22, tenemos que
1
= +,
lm [f (x) g(x)] = lm (2 x)
+
+
(x
1)3
x1
x1
1
,
2
es decir, (2 x) est acotado inferiormente por un nmero positivo.
2x>
x0+
1. f (x) = g(x) =
1
.
x
f (x)
si:
g(x)
2. f (x) =
1
1
, g(x) = 2 .
x
x
3. f (x) =
1
1
, g(x) = .
x2
x
x0+
x0+
Veamos lo que sucede con el lmite del cociente entre f (x) y g(x) en cada caso.
f (x)
f (x)
1. Tenemos que
= 1. Por lo tanto, lm
= 1.
g(x)
x0+ g(x)
1
f (x)
f (x)
= x = x. Por lo tanto: lm
= 0.
2. Tenemos que
1
g(x)
x0+ g(x)
x2
1
2
f (x)
1
f (x)
x
3. Tenemos que
=
= . Por lo tanto, lm
= +.
1
g(x)
x
x0+ g(x)
x
1.11.3
83
Lmites al infinito
|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 .
x+
lm x = .
x+
y
lm xn =
+ si n es par,
si n es impar.
84
Lmites
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 .
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)
85
Ejemplo 1.35
Demostrar que:
1 = lm
x+
x+1
.
x1
Solucin.
Sea > 0. Buscamos un nmero R > 0 tal que, si definimos
f (x) =
x+1
,
x1
se verifique que
|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:
x1
1
2
<
>
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
x>1+
Dado que > 0, entonces
2
.
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
86
Lmites
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 un 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.
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+ x2
x
x+
2x3 x2
20
=
= 1.
+ 3x2 2x
2+3020
2x3
87
f (x)
= 1.
g(x)
Cmo se interpreta este resultado? Sea > 0. Entonces, existe R > 0 tal que
f (x)
<
1
g(x)
Es decir: lm
x+
f (x)
< 1 + siempre que x > R. Ms an, dado que g(x) > 0
g(x)
para todo x > 0, se verifica para todo x > R:
para todo x > R. Es decir, 1 <
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 f (x) > R
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)
88
Lmites
1.11.4
Ejercicios
lm
2x 1
= 2.
x x + 1
x+2
(b) lm
= 1.
x+ x 1
(a)
lm
(c) lm
x1
(d) lm
x0
(2 x)(2x 1)
= +.
|x 1|
x2
= .
x2 + |x|
entonces
lm
(e) lm
x+
x2
(g) lm
x1
x2 2x
= .
|x2 1|
(h)
2x2 5x + 1
= 2.
x+
x2 + 1
(i)
lm (1 x2 ) = .
(j)
o
lm [f (x) (ax + b)] = 0.
5 + 4x
= +.
x2 5x + 4
1
.
x2 3x + 2
x
lm 2
.
x1 x 3x + 2
x2
lm
.
x x2 + 3
x2
lm
.
x+ x2 + 3
x+1
lm
.
x |x + 1|
lm
lm |f (x)| = +
x1+
lm
x+
(g) lm
x1
(h) lm
x2
xa+
x+1
.
|x + 1|
lm
x+
6 Cuando
f (x) =
f (x)
= 0.
g(x)
x+
x+
x1+
lm g(x) = +,
x+
lm
lm
1
= 0 .
f (x)
L.
lm |f (x)| = +,
xa
5. En cada uno de los siguientes dibujos se muestra el grfico de la funcin f . Con la informacin contenida en l, encuentre, si existen, los
siguientes lmites de f (x) cuando x tiende a
+, , a+ y a .
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
89
y
2a
a
2a
a
a
(a)
2a
a
(b)
(a) f (x) =
x
.
x2 4x + 3
(b) f (x) =
2a
a
x
.
x2 + 3
2
(c) f (x) = ex + 2.
a
(c)
(d)
(d) f (x) =
3x2 2x + cos(x + 1)
.
x1
(e) f (x) =
2x3 7ex
.
x+2
(f) f (x) =
4x3 7x + 2
.
5x3 + 2x + cos x
90
Lmites
Captulo 2
La derivada: su motivacin
Veamos algunos problemas que llevan a un mismo concepto: el de derivada.
2.1
En la segunda seccin del captulo de lmites, estudiamos el concepto de recta tangente a una
curva. Vimos que si sta es el grfico de una funcin g : D R R y P es un punto de la
curva con coordenadas (a, g(a)), para conocer la ecuacin de la recta tangente a la curva en
el punto P , que es
y = m(x a) + g(a),
bastaba con calcular su pendiente m.
Para ello, aproximamos m con la pendiente de una recta que pasa por P y por otro punto
Q de la recta de coordenadas (x, g(x)), que la notamos mx , y que es igual a:
mx =
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 ,
92
La derivada: su motivacin
xa
g(x) g(a)
.
xa
f (x) f (a)
.
xa
xa
m := lm
Ejemplo 2.38
Hallar, si existe, la ecuacin de la recta tangente al grfico de la hiprbola de ecuacin
y = 2 x1 en el punto de coordenadas (1, 1).
Solucin. Si ponemos a = 1 y definimos f por
f (x) = 2
1
,
x
x1
2 x1 (2 1)
f (x) f (1)
= lm
x1
x1
x1
= lm
x1 + 1
x1
= lm
x1 x(x 1)
x1
= lm
1
= 1.
x
x1
x1
93
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:
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 = x3
y = 3x + 2
94
La derivada: su motivacin
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
averiguar las coordenadas del otro punto resolviendo el sistema de ecuaciones:
y =
x3
y = 3x + 2
Al igualar las ecuaciones, obtenemos que
x3 = 3x + 2,
lo que equivale a
x3 3x 2 = 0.
Esta ecuacin puede tener hasta tres races reales. Sabemos que una de ellas es 1, porque
la tangente y la curva se encuentran en el punto de coordenadas (1, 1). Entonces, el
polinomio cbico x3 3x 2 tiene como factor (x + 1).
Por lo tanto, podemos obtener el otro factor si dividimos el cbico por (x + 1). Al hacerlo,
obtenemos que:
x3 3x 2 = (x + 1)(x2 x 2) = (x + 1)(x + 1)(x 2).
Entonces, el polinomio tiene las tres races son reales e iguales a 1, de multiplicidad 2, y 2.
Entonces, ya estamos seguros que la curva y la recta tangente se encuentran exactamente
en dos puntos: (1, 1) y (2, f (2)) = (2, 8).
Pero, no se suele decir que la tangente y la curva solo deben tener un punto en comn?
S, eso suele decirse, sin embargo, tal definicin no es del todo precisa, pues, en las cercanas
de (1, 1) la tangente y la curva tienen, efectivamente, un comportamiento de tangente en
el sentido tradicional.
Por esto, la propiedad de tangencia es de carcter local; es decir, no importa el comportamiento de la curva y de la recta lejos del punto de tangencia sino en sus cercanas.
2.2
Tengamos en cuenta que la Matemtica desarrollada hasta antes del Renacimiento estudiaba
ms bien conceptos estticos: describir formas geomtricas que no cambian, calcular reas de
figuras simples, llevar cuentas, etctera. La geometra de Euclides, la aritmtica de Diofanto
y el lgebra desarrollada por Al-Khowarizmi fueron instrumentos idneos para responder a
esta visin esttica.
Pero cuando la humanidad intenta describir el movimiento que se produce en gran cantidad de fenmenos estudiados, se hace necesaria la creacin de nuevos conceptos matemticos
que permitan responder adecuadamente a estos requerimientos.
Dado que el movimiento es percibido como el cambio de la posicin de un cuerpo en el
tiempo, una de las preguntas ms importantes que la matemtica enfrent fue cmo medir
el cambio?.
Veamos en esta seccin cmo la respuesta a esta pregunta nos lleva tambin al concepto
de derivada.
2.2.1
El administrador de una fbrica de autos desea tener informacin adecuada respecto a los
costos de produccin de la fbrica en funcin del nmero de vehculos en un mes dado. As,
deseara saber cmo varan estos costos al variar la produccin. Qu informacin requiere y
cmo presentarla? Cmo medir la variacin o cambio de los costos de la produccin? Cmo
95
2.2.2
Cuando estudiamos determinados fenmenos fsicos, sociales o econmicos como el problema planteado en la seccin anterior, identificamos ciertas magnitudes que consideramos
importantes para dicho estudio.
Por ejemplo, al estudiar un circuito elctrico, la tensin V voltios y la intensidad I amperios de la corriente elctrica, y la resistencia R ohmios de los dispositivos instalados son
importantes. Cuando se monitorea el trabajo de una represa, ser de inters la cota del nivel
de agua h metros y la energa E MW-h almacenada. Al dirigir una fbrica de autos se desear
conocer el costo total C miles de dlares y el correspondiente costo unitario CU miles de
dlares al producir x vehculos, etctera.
Establecida la unidad de medida que corresponda y luego de realizar las mediciones o
clculos necesarios, se determinar, para cada magnitud, un determinado valor numrico en
un momento dado. El smbolo que represente a dicho valor numrico, el cual oscila entre un
valor mnimo y un valor mximo, dados por el fenmeno concreto que se est estudiando, se
llama variable. En los ejemplos dados, tenemos que V , I, R, h, E, C, CU y x son variables.
Por ejemplo, la fbrica de autos producir x automviles por ao y x no puede ser menor
a 1 000 porque no sera rentable producir menos, pero tampoco producir ms de 10 000,
dado que la capacidad instalada de la fbrica no lo permite. Matemticamente, expresamos
estas dos restricciones haciendo que la variable x pertenezca al intervalo [1 000, 10 000].
2.2.3
Hemos visto el concepto de funcin. Ilustremos con tres ejemplos su uso como modelo de la
dependencia entre magnitudes.
Costo de produccin en una fbrica de autos
Como el costo C de produccin de los autos, en miles de dlares, depende del nmero x de
vehculos producidos, esta dependencia es modelizada con una funcin f : Dm(f ) R R,
donde:
C = f (x).
Como solo nos interesan los valores de x entre 1 000 y 10 000, el dominio de f ser Dm(f ) =
[1 000, 10 000].
Luego de los estudios correspondientes, los administradores de la empresa determinan
que:
C = f (x) = 2 000 + 11x 0.000 12x2.
Por lo tanto, el costo unitario CU , es decir el costo promedio de un auto es:
CU =
2 000
f (x)
=
+ 11 0.000 12x.
x
x
96
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
1 3
d .
2 000
El diseo de los globos de esta fbrica establece que el globo se eleva si el dimetro mide,
al menos, 6 m. Adems, el mayor dimetro al que el globo puede ser inflado es de 12 m. Por
ello, el dominio de es Dm() = [60, 120].
Si el helio costara 40 centavos de dlar por cada m3 , podramos establecer el gasto G en
dlares que deberamos hacer por concepto de gas en funcin del dimetro del globo. As,
existe una funcin : Dm() R tal que
G = (d) = 0.40(d) = 0.000 2d3.
En la siguiente tabla, se muestran valores del volumen del globo y del gasto en el que hay
que incurrir para inflarlo para algunos valores del dimetro:
97
d
2.2.4
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
Cuando una variable, digamos x, toma diversos valores luego de haber tomado un valor
inicial x0 , unos dirn que vari mucho, otros lo contrario. Esto es algo subjetivo. Por ello, se
hace necesario establecer medidas objetivas del cambio producido. Para ello, nos serviremos
de los conceptos de variacin absoluta y relativa.
La variacin absoluta o incremento
En el ejemplo del globo, si trabajramos con un dimetro de 80 dm, veramos que el volumen
de gas necesario sera de 256 m3 y que el costo del gas sera de 102.40 dlares. Si inflramos
algo ms el globo, digamos hasta un dimetro d decmetros, la variacin o cambio del dimetro se define como la diferencia d 80 decmetros, a la que llamaremos variacin absoluta
o incremento del dimetro, la notaremos con d y ser leda delta d y est dada tambin
en decmetros. As d = d 80.
El incremento puede ser positivo o negativo. Por supuesto que d > 0 significa que el
dimetro creci mientras que d < 0 significa lo contrario. En este caso, a d tambin se le
llama decremento.
Al variar d, naturalmente, varan tambin el volumen del gas V = (d) dm3 cbicos y el
costo que hay que pagar por este gas G = (d) dlares. La variacin absoluta del volumen
ser:
V = V 256 = (d) (80) dm3
y la variacin absoluta del costo ser:
se tendr que
98
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 =
2 000
f (x)
=
+ 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
del arroz, la variacin relativa es:
p
0.30
=
= 0.75.
p0
0.40
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
99
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 54 000
C
=
54 000
54 000
2.3
Vimos que la dependencia entre las dos variables numricas que describen un fenmeno, digamos una variable y que depende de otra variable x, puede ser descrita mediante una funcin
f : I R, donde I es un intervalo en el cual toma sus valores la variable independiente x.
Por ejemplo, y miles de dlares representa el costo de producir x autos en una fbrica
durante un mes, el intervalo I es, digamos, [1 000, 10 000] y la funcin f est definida por:
f (x) = 2 000 + 10x.
Ahora bien, si, en un mes dado, la produccin fue de x0 = 4 800 autos, los costos de
produccin ese mes fueron de y0 miles de dlares. Entonces:
y0 = f (x0 ) = 2 000 + 10x0 .
Por lo tanto:
y0 = 2 000 + 48 000 = 50 000.
Supongamos que, en el siguiente mes, la produccin se elev a x autos. Este cambio se
puede medir, segn vimos, por la variacin absoluta x, llamada tambin incremento de x,
y por la variacin relativa x
x0 de la variable x. En este caso:
x = x x0 = x 4 800.
x
x x0
x 4 800
=
=
.
x0
x0
4 800
(2.1)
(2.2)
100
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 y es directamente proporcional a x, as como
porcional a x
x0 ! Es decir, existen constantes y tales que
y
y0
es directamente pro-
(2.5)
y = x
x
y
=
.
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
Es fcil verificar que esta sencilla dependencia de y respecto de x y de
x
de x0 se da siempre que f sea un polinomio de grado menor que o igual a 1:
(2.8)
y
y0
respecto
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, ese caso es excepcional. En general, tenemos las
siguientes definiciones inspiradas en (2.7) y (2.8).
101
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,
se tiene 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
3.74
79
98.61
7.49
79.5
79.9
3.79
3.79
100.49
1.91
3.82
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
102
La derivada: su motivacin
dd0
(d) (d0 )
G
= lm
= 3.84,
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
2 000
f (x)
=
+ 11 0.000 12x.
x
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
+ 0.2 0.000 12x
x
= 0.000 2.
CU = f1 (5 000) = lm
x5 000
x 5 000
C = f (5 000) =
lm
103
CU = 0.187.
2.3.1
En el ejemplo de la empresa de autos que produce 5 000 autos por mes, los administradores
quisieran saber cunto le costara a la fbrica producir 1 auto ms al mes; es decir, quisieran
averiguar el costo de produccin del auto nmero 5 001. A este costo se lo conoce con el
nombre de costo marginal.
Para averiguar el costo marginal al nivel de produccin de 5 000 autos mensuales solo hay
que calcular el incremento del costo en el intervalo [5 000, 5 001]. En este caso, x = 1 y:
C = f (5 001) f (5 000) f (5000) = 9.8,
que aproxima al costo marginal para una produccin de x = 5 000 autos, ya que x es
pequeo. Es decir, producir un auto ms cuesta 9 800 dlares aproximadamente. El costo
marginal es aproximado por la razn de cambio instantnea del costo, por lo cual a esta
magnitud se la llama, por simplicidad, costo marginal.
En cambio, el costo unitario marginal para este mismo nivel de produccin sera:
CU = f1 (5 001) f1 (5 000) f1 (5 000) = 0.000 2.
Es decir, el costo unitario de producir el auto nmero 5 001 es 0.000 2 aproximadamente
y, por ser negativo, hay una ganancia de 20 centavos de dlar cuando se produce el auto
nmero 5 001.
Para sta y otras magnitudes como costo unitario, ingreso, utilidad, demanda, etctera, a
la razn de cambio instantnea correspondiente se la llama, respectivamente, costo unitario
marginal, ingreso marginal, utilidad marginal, demanda marginal, etctera.
2.3.2
Elasticidad
y
100 %,
y0
104
La derivada: su motivacin
y
y0
de
x = x x0 ;
x
x0 ,
donde
y = y y0 = f (x) f (x0 ),
con x 6= x0 .
En el ejemplo en el que los costos y en miles de dlares vienen dados a travs de la funcin
f definida por
y = f (x) = 2000 + 10x,
donde x [1 000, 10 000], vimos que si, en un momento dado, se estuvieran fabricando x0 =
4 800 autos a un costo de y0 = f (4 800) = 50 000 miles de dlares, nos interesara saber en
qu porcentaje se incrementaran los costos si elevramos la produccin en un 10 %.
Recordemos que, cuando f es un polinomio de grado menor o igual a 1 de la forma
f (x) = mx + b, la variacin relativa de y es directamente proporcional a la variacin relativa
de x! Es decir, existe una constante tal que
y
x
=
.
y0
x0
A esta constante la llamamos, precisamente, elasticidad de y respecto de x.
Como
y
x0 y
y0
= x
=
,
f
(x
0 ) x
x
0
tendremos:
=
=
=
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
Es decir:
=
mx0
.
f (x0 )
x
x0
= 10 %, los costos se
105
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.
D
.
D0
Como:
p0
300
39
f (p0 ) =
(0.65) =
0.1,
D0
1 955
391
tenemos que:
D
p
(p0 )
=
D0
p0
39
391
(5 %) 0.5 %
106
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) =
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
f1 (5 000) =
(0.000 2) 0.1.
f1 (5 000)
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 %.
2.4
107
ahora introducir la variable t para describir el tiempo en el estudio de los fenmenos en los
que est involucrado.
Por ejemplo, si queremos estudiar el movimiento de una partcula a lo largo de una recta,
una vez que hemos adoptado una unidad de longitud (uL ), podemos escoger un punto de
referencia O en la recta y un sentido a partir de O, digamos a la derecha de O, que se lo
considerar positivo, por lo que podemos asumir que el movimiento se realiza a lo largo de
una recta real. Escogida una unidad de tiempo (uT ), y si consideramos que t es el nmero
de unidades de tiempo transcurrido desde el tiempo inicial 0 , el movimiento de la partcula
quedar descrito siempre que podamos establecer la posicin x = f (t) de la partcula en cada
instante t 0 . La posicin x = f (t) es tambin denominada coordenada de la partcula en
el instante t.
Si la partcula que estaba en x0 = f (0 ) en el instante 0 pas a ocupar la posicin
x = f (t) en el instante t, diremos que su desplazamiento es
x = x(0 , t) = f (t) f (0 ).
Esto suceder en el lapso
t = t(0 , t) = t 0 > 0.
2.4.1
El concepto de velocidad
Cuando una partcula se mueve a lo largo de la recta, un observador puede opinar que sta se
mueve rpidamente, otro que se mueve lentamente. El concepto de rapidez tiene pues cierta
carga de subjetividad, pero se la puede medir objetivamente gracias a la cantidad llamada
velocidad. Veamos el concepto de velocidad en dos casos.
El movimiento uniforme
Supongamos que medimos la longitud en metros y el tiempo en segundos. Si x = f (t), con
0 t, es la posicin de una partcula, entre un instante t0 y otro instante t, 0 t0 < t,
habr transcurrido un lapso de t segundos, donde t = t t0 .
En ese lapso, se habr producido un desplazamiento de la partcula desde la posicin
x0 = f (t0 ) hasta la posicin x = f (t). El desplazamiento ser de x metros, donde x =
x x0 = f (t) f (t0 ).
Diremos que el movimiento es uniforme si x es directamente proporcional a t, es decir
si existe una constante de proporcionalidad v tal que
x = vt.
Esto equivale a decir que el cociente
x(t0 , t)
x
=
=v
t
t(t0 , t)
es constante.
Evidentemente, en este caso, el valor absoluto de v, es decir |v|, nos dar una idea clara
de cun rpido se mueve la partcula, mientras que el signo de v nos indica si la partcula se
mueve de izquierda a derecha, en el caso de que v > 0 y, en sentido contrario, si v < 0.
El nmero v nos sirve entonces para medir la velocidad de la partcula. Diremos que v uV
es la velocidad de la partcula. Como
v=
x
,
t
108
La derivada: su motivacin
desplazamiento de la partcula
lapso transcurrido
o tambin
v uV =
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,
donde a y b son constantes. Por lo tanto:
x(t0 , t)
x x0
f (t) f (t0 )
(at + b) (at0 + b)
x
=
=
=
=
= a.
t
t(t0 , t)
t t0
t t0
t t0
Es decir, v = a es la velocidad y no depende de t0 ni de t.
Notemos que, sin importar el valor de t0 , para valores iguales de t, se obtiene valores
iguales para el desplazamiento, ya que x = at. Esto justifica el nombre de movimiento
uniforme.
Por otro lado, si t = 1, tendremos que x = v, es decir que v m es el desplazamiento
de la partcula en 1 segundo. En general, v uL es el desplazamiento en el lapso 1 uT .
Ejemplo 2.45
La empresa de transporte pesado TRANSLIT despach desde Guayaquil el camin No 17 a las 8h00
con una pequea carga destinada a un cliente en Balzar, y otra muy pesada a un cliente en Santo
Domingo. El chofer del camin es cambiado en Quevedo. El recorrido hacia Santo Domingo es
realizado por otro chofer.
El cliente que vive en Balzar llam para indicar que recibi el despacho a las 10h00, aunque
se le haba prometido que se le entregara el envo a las 9h30. Se le explic que el camin estaba
completamente cargado por lo que debi viajar lentamente. La empresa deber telefonear al chofer
que espera en Quevedo para indicarle la hora aproximada de llegada del camin para el cambio de
conductor. A qu hora llegar el camin a Quevedo? A qu hora se espera que el camin llegue a
Santo Domingo?
Para resolver el problema, observemos la informacin con que contamos sobre las distancias entre
las ciudades:
Guayaquil-Balzar : 96 km,
Balzar-Quevedo: 72 km,
Quevedo-Santo Domingo: 120 km,
Guayaquil-Quevedo: 168 km,
Guayaquil-Santo Domingo: 288 km.
Ahora, definamos las cantidades involucradas en el problema:
109
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
10a
+
+
b
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
228 + 384
672
=
= 14.
48
48
110
2.4.2
La derivada: su motivacin
Si el cociente
vm (t0 , t) =
x
x(t0 , t)
=
t
t(t0 , t)
v0 = g(t0 ) = lm vm (t0 , t) = lm
tt0
Sea t1 segundos el tiempo que tarda el objeto en llegar al suelo. Podemos determinar t1 de la
igualdad
x1 = f (t1 ) = 0,
puesto que 0 es la altura del objeto al llegar al suelo. Entonces:
x1 = 0 = f (t1 ) = 122.5 4.9t21 ,
lo que nos da que t21 = 25 o t1 = 5. La otra solucin de la ecuacin cuadrtica es 5. Aunque es
solucin de la ecuacin, no es solucin del problema, pues no hay como asignar un significado a
t1 = 5.
En resumen, el objeto llegar al suelo en 5 segundos.
Como v1 = x1 = f (t1 ) es la velocidad del objeto en el instante t1 , podemos escribir lo siguiente:
v1 = f (t1 ) = lm
tt1
f (t) f (t1 )
t t1
111
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 t0
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.
112
2.5
La derivada: su motivacin
Conclusin
En los cuatro problemas que hemos tratado en este captulo, hemos llegado a establecer una
funcin f : I R R, donde I es un intervalo abierto, para la cual, si a I, existe el
lmite
f (x) f (a)
lm
.
xa
xa
2.6
Ejercicios
(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
x2 , a = 0.
(g)
(c) f (x) = x.
(d) f (x) = x 3 x.
1
(e) f (x) =
.
1 + x2
(f) f (x) = sen 2x.
x+1
(g) f (x) =
.
x1
3
x
(h) f (x) = 2
.
x +3
Sugerencia: primero realice la divisin;
as f (x) se expresar como la suma de un
polinomio y una expresin racional ms
sencilla.
3x2 5
(i) f (x) =
.
2x2 + 1
(j) f (x) = cos 2x.
(k) f (x) = x x.
3. Para la funcin f y x0 R dados, y para
x {0.001, 0.01, 0.1, 1}, calcule y si
y = f (x). Para los mismos valores x y x0 ,
x
y
calcule los incrementos relativos
y
,
x0
y0
donde y0 = f (x0 ).
Resuma los resultados obtenidos en una tabla
en la cual los incrementos relativos se expresen
porcentualmente.
(a) f (x) = 3x + 5, x0 = 3.
(c) f (x) = x3 3, x0 = 2.
1
(d) f (x) = , x0 = 1.
x
1
(e) f (x) = sen x, x0 = .
3
1
(f) f (x) = cos x, x0 = .
6
4. Para la funcin f dada, observe que la razn
de cambio promedio en un intervalo de extremos x0 y x0 +x, f (x0 , x0 +x), aproxima a
la razn de cambio instantnea en x0 , f (x0 ),
tomando 10 valores de x cercanos a x0 .
(a) f (x) = 5x 3, x0 = 2.
(b) f (x) = x2 x + 1, x0 = 1.
(c) f (x) = x3 + x + 3, x0 = 1.
1
(d) f (x) = , x0 = 1.
x
5. Si los costos de una fbrica de refrigeradoras
que produce x cientos de esos electrodomsticos por mes es de C miles de dlares, calcule
el costo marginal y el costo unitario marginal si en un mes dado se produjeron tres mil
aparatos. Se conoce que x [10, 100].
(a) f (x) = 10 + 20x.
2.6 Ejercicios
113
Captulo 3
La derivada: definicin y
propiedades
3.1
Definicin
lm
xa
f (x) f (a)
xa
(3.1)
df
dx (a),
y es denominado
f : Dm(f ) R
x
7 f (x),
xa
f (x) f (a)
(x a) + f (a),
xa
f (x) f (a)
,
xa
xa
por las propiedades algebraicas de los lmites. En resumen, acabamos de demostrar el siguiente teorema.
116
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
117
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
sen x
=1
x
Entonces:
tan (0) = lm
x0
lm
x0
sen x
1
.
x
cos x
1
1
=
= 1.
cos x
cos 0
tan(x) tan(0)
= 1.
x0
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)
lm
.
h0
h
En el caso en que f sea derivable en a, se verifica que:
f (a) = lm
h0
f (a + h) f (a)
.
h
118
f (x) f (a)
.
xa
Entonces:
lm g(h) = lm a + h = a
h0
h0
y
lm F (x) = f (a).
xa
Como g(h) 6= a si h 6= 0, por el teorema del cambio de variable de lmites, tenemos que
lm
h0
f (a + h) f (a)
= lm F (x) = f (a).
xa
h
h0
f (a + h) f (a)
h
(3.2)
xa
xa
f (x) f (a)
f (a + h) f (a)
= lm
= f (a).
h0
xa
h
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 + 3xh2 + h2 h
h
2
= 3x + 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.
3.1 Definicin
119
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 cos h + sen h cos x) sen x
sen(x + h) sen x
=
h
h
cos h 1
sen h
sen x +
cos x,
h
h
=
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 cos h sen h sen x) cos x
cos(x + h) 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 .
120
Ejemplo 3.54
Sea f : [0, +[ R definida por f (x) =
x. Obtener la derivada de f .
Solucin. Sea x [0, +[. Veamos para qu valores de x existe f (x). Para ello, procedamos as:
f (x + h) f (x)
x+h x
=
h
h
x+h x
x+h+ x
=
h x+h+ x
(x + h) x
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
1
)= .
2
3.2
Ejercicios
2
x+1
(c) f (x) =
x1
x
en x = 0.
en x = 1.
(h) f (x) = x si x = 0.
(i) f (x) = x si x Z.
f+
(x0 ) = lm
xx+
0
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
121
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,
respectivamente, del punto indicado.
En los siguientes ejemplos halle, si existen,
f+
(x0 ) y f
(x0 ).
(
x2 + x 1
si x 1
(a) f (x) =
2
2x + 5x 2 si x > 1,
x0 = 1.
(
1
(x + 1) 3
(b) f (x) =
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) =
x2 3x + 2 si x < 1,
3.3
x0 = 1.
1
,
x2 3x+2
(c) f (x) =
(d) f (x) =
x = 1.
2x 9, x = 4.5.
2x2 + 1
x+1
si x < 0
si x 0,
x = 0.
Propiedades de la derivada
Calcular la derivada de una funcin utilizando nicamente la definicin puede resultar muy
engorroso, como el lector puede comprobar en los ejercicios de la seccin anterior. Para
facilitar los clculos, a partir de las propiedades algebraicas de los lmites (lmite de la suma,
del producto, etctera), se obtienen propiedades algebraicas de la derivada. stas permitirn
calcular la derivada de muchas funciones si se conoce la derivada de funciones ms simples.
Por ejemplo, podemos calcular la derivada de f : R R definida por
f (x) = x + 2
sabiendo que la derivada de x es 1, de 2 es 0 y que la derivada de la suma de dos funciones
es la suma de las derivadas de cada funcin. Por lo tanto:
f (x) = (x + 2)
= (x) + (2) = 1 + 0 = 1.
Es decir, la derivada de f es la funcin constante 1.
El siguiente teorema enuncia las propiedades de la derivada que se obtienen de la simple
aplicacin del concepto de derivada y de las propiedades algebraicas de los lmites (ver el
teorema 1.6 en la pgina 48).
Teorema 3.2 (Propiedades algebraicas I)
Sean f y g dos funciones reales derivables en a R. Entonces:
1. Suma: f + g es derivable en a y
122
1
g
es derivable en a y
1
g (a)
(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 (a)g(a) f (a)g (a)
f
(a) =
.
g
g 2 (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)
123
= 1 x + x 1 = x + x,
= (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)
x n an
=
xa
xa
=
f (x) f (a)
xa
= lm xn1 + xn2 a + xn3 a2 + + x2 an3 + xan2 + an1
f (a) = lm
xa
xa
124
Ejemplo 3.57
Esta funcin es la suma y resta de funciones de la forma axn . Cada una de esas funciones tiene
derivada para cada nmero real x. La propiedad de la derivada para la suma de dos funciones
(teorema 3.2), el del producto de un escalar por una funcin (teorema 3.3) y el de la resta de dos
funciones (teorema 3.3) nos permiten proceder de la siguiente manera:
(x5 + 2x4 3x3 4x2 + 5x 1) = (x5 ) + (2x4 ) (3x3 ) (4x2 ) + (5x) (1)
= 5x4 + 2(x4 ) 3(x3 ) 4(x2 ) + 5(x) 0
= 5x4 + 2(4x3 ) 3(3x2 ) 4(2x) + 5(1)
Ejemplo 3.58
Sea f (x) =
1 x + x2
. Calcular f (x).
1 + x x2
1 5
2
1 + x x2 = 0
y 1+2 5 .
Para todo x Dm(f ), se tiene que:
f (x) =
g(x)
,
h(x)
f (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
125
Por lo tanto:
f (x) =
para todo x Dm(f ).
2(2x 1)
(1 x + x2 )2
1 x + x2
2
= 1 +
.
1 + x x2
1 + x x2
(1 + x x2 )
(1 + x x2 )2
0 1 + 2x
2(2x 1)
=
.
(1 + x x2 )2
(1 + x x2 )2
Ejemplo 3.59
Sea 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
1
y sen x. Entonces, por la propiedad de la derivada de un producto de funciones (teorema 3.2)
x
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
x2
x
x cos x sen x
=
x2
f (x) =
para todo x 6= 0.
126
Ejemplo 3.60
Sea f una funcin polinomial de grado n = 1. Es decir,
f (x) = a0 + a1 x + a2 x2 + + an xn =
n
X
akx ,
k=0
f (x) =
n
X
ak x
k=0
n
X
fk (x).
k=0
ya que la derivada de un escalar por una funcin es igual al producto del escalar por la derivada de
la funcin (ver teorema 3.3) y por el ejemplo 3.3.
Para k = 0, en cambio, tenemos que:
f0 (x) = (a0 ) = 0,
pues la derivada de una funcin constante es la funcin cero.
Por lo tanto:
n
X
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:
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:
sen x
tan x =
cos x
tan x =
Por lo tanto:
para todo x 6=
cos2 x + sen2 x
1
=
.
cos2 x
cos2 x
127
Ejemplo 3.62
Obtener la derivada de cot.
Solucin. Recordemos que
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:
1
cot (x) =
tan x
cot x =
Por lo tanto:
para todo x 6= k con k Z.
tan x
tan2 x
1 + tan2 x
=
tan2 x
1
+
1
.
tan2 x
Ejemplo 3.63
Obtener la derivada de sec.
Solucin. Puesto que
sec x =
para todo x 6=
1
cos x
sec x =
=
para todo x 6=
sen x
1
cos x cos x
+ k. Por lo tanto:
sec x = tan x sec x
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
Por lo tanto:
csc x =
sen x
sen2 x
128
cos x
sen2 x
cos x
1
sen x sen 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.
3
10. f (x) =
2. f (x) = x + 3x 5x + 2.
4. f (x) = 7x
+ 8x
5. f (x) =
x+1
.
x1
6. f (x) =
2
.
x2 +1
n
12. f (x) = x
x
16. f (x) =
.
tan x
sen x + cos x
17. f (x) =
.
sen x cos x
n1
7. f (x) = x x
+ 1, n 2.
3
8. f (x) = x x + 1.
2
3
5
9. f (x) = 2 + 3 + 5 .
x
x
x
3.5
x+
3
2
3. f (x) = 3x2 x + 1.
7
x+
x.
2
5
11. f (x) = x x3 + 4 .
3
x
15
Ejemplo 3.65
Calcular la derivada de sen2 x.
3.6 Ejercicios
129
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
Por lo tanto
g (x) = cos x.
Entonces:
(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
.
3
1 + x2
3
6
(g) f (x) = x2 x4 + x5 x7 .
(f) f (x) =
1
2
(a) f (x) = (x + x + 1) .
3
(e) f (x) = x + x2 .
(j) f (x) = 2 + 3 + x.
(k) f (x) =
r
n
ax + b
con n N y a, b en R.
ax b
130
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) y = x 4x + 5x 2.
x2 + x 6
.
x2 10x + 25
1
(c) y =
.
1 + sen2 x
(b) y =
e|x1|
.
x+1
(f) y = m
ax{|x|3 , 7x 6x2 }.
4. Si g y h son funciones derivables, calcule f (x):
(a)
p
(b) f (x) = n [g(x)]2 + [h(x)2 ] si [g(x)]2 +
[h(x)2 ] > 0
g(x)
si g(x)h(x) 6= 0.
(c) f (x) = ln
h(x)
x3 + x si |x| 2,
1
sen x1
si |x| > 2.
si x 1,
2x 2
(d) f (x) = (x 1)(x ) si 1 < x < 2,
x
1
si x 2.
2
(c) f (x) =
131
(h) Si f es derivable en I y lm f (x) =
f (x)
e
x2 + 2x + 3
1
x+x+
3
x
2x + cos x
g(x)
xa+
f (g(x))
cos x
3
x
cos x
g(f (x))
cos(ex )
2x + 3
h(x) + 5
p
2
x2 + 1 + e x +1
(x2 + 1)x
+10
sen(cos x)
x2 + 1
tan cos
3
p
cos x2 + 3
p
tan 3 (x4 + 2)5
(sec(x + x4 ))5
3.7
Ejemplo 3.66
Para inflar un globo esfrico inyectamos aire a razn de 500 l / min. Con qu razn vara
la longitud del radio cuando ste mide 1 m?
132
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
cuando r = 10, que est relacionada con la razn de cambio de V respecto de t.
dt
Para ello, derivamos respecto de t ambos lados de la igualdad 3.3. Obtenemos as la relacin
y dV
:
entre las razones de cambio dr
dt
dt
dV
dr
= 4r 2 .
dt
dt
Entonces:
dr
1 dV
=
.
dt
4r 2 dt
Por lo tanto, como r = 10 y dV
= 500, obtenemos que:
dt
dr
500
5
=
=
0.398.
dt
4 102
4
Es decir que la longitud del radio r vara a una velocidad de aproximadamente 3.98 centmetros por
minuto.
3.8
Ejercicios
disminuye a una razn constante de dos metros por minuto, con qu velocidad vara el
rea del rectngulo? El rea, aumenta o disminuye?
5. Si de un recipiente, que tiene la forma de una
pirmide truncada invertida de base cuadrada, de 10 metros de altura, de 10 metros el
lado del cuadrado ms grande y de 5 metros
el lado del cuadrado ms pequeo, y que est
lleno de agua a media altura, se extrae el lquido a una razn constante de un metro cbico
por minuto:
(a) Con qu rapidez baja el nivel del agua?
(b) Si, por otro lado, el nivel del agua sube
un metro por hora al bombear agua en
el reservorio cuando est lleno hasta la
mitad, cul es el caudal de agua que se
introduce?
6. Un radar que est a 12 kilmetros de una base
militar detecta que un avin sobrevuela la base a 9 000 metros de altura y que se dirige hacia el radar, manteniendo su altitud y velocidad. Si la rapidez con que decrece la distancia
escogido como unidad de longitud el decmetro para que la unidad de volumen sea el litro, que es
un decmetro cbico.
133
8m
r
8m
Playa
Q
b
3 km
(a) Ejercicio 1
(b) Ejercicio 2
3.9
Derivacin implcita
La representacin en el plano cartesiano de las parejas ordenadas (x, y) que satisfacen una
ecuacin dada, llamada grfico de esa ecuacin, puede consistir en un punto, en una curva,
etctera.
Cuando ese grfico es una curva, sta no es necesariamente el grfico de una funcin
(sabemos que para que lo sea, su interseccin con cualquier vertical tiene que consistir, a lo
ms, en un punto).
Por ejemplo, el grfico de x2 + y 2 = 25 es la circunferencia de radio 5 cuyo centro es el
origen del sistema de coordenadas. La recta vertical x = 3 la corta en dos puntos, (3, 4) y
(3, 4), por lo que esta curva no puede ser el grfico de una funcin.
Sin embargo, si tomamos solo un pedazo de esa curva, puede suceder que ese trozo s
cumple con el criterio de los cortes verticales por lo que puede ser el grfico de una funcin.
En nuestro ejemplo, si tomamos el trozo de circunferencia que est sobre el eje horizontal,
134
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,
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
135
x
y = .
y
3
(x 3),
4
que es equivalente a:
3x + 4y 25 = 0.
3.10
Ejercicios
(i) 5x2 +9y 2 30x +18y +9 = 0 con y < 1.
x2
y2
+ 2 = 1 con y > 0.
2
a
b
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.
(d)
3.11
y = f (x).
f (f 1 (y)) = y
(3.5)
136
En efecto, la igualdad (3.5) puede ser considerada como una ecuacin que define implcitamente x como funcin de y, donde
x = f 1 (y).
Podemos, entonces, calcular la derivada de x, es decir, la derivada de la inversa de f , si
derivamos respecto de y ambos miembros de la igualdad (3.5). Al hacerlo, obtendremos que:
f (f 1 (y))(f 1 ) (y) = 1,
de donde:
(f 1 ) (y) =
1
,
f (f 1 (y))
(3.6)
f (x) = ex = f (x).
f (f 1 (y)) = f (f 1 (y)) = y.
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:
sen2 x + cos2 x = 1,
cos2 x = 1 sen2 x,
(3.7)
137
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
= p
.
1 y2
Por lo tanto:
1
f (f 1 (y))
(arc sen y) = p
1
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:
(arc cos y) = p
1
1 y2
1
1 + y2
para todo y R.
1
( y) =
2 y
para todo y > 0.
138
3.12
Ejercicios
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) = ln x, x > 0.
(b) f (x) = exp x.
x2
, x < 0.
1 + x2
(d) f (x) = coth x, x > 0.
(c) f (x) =
1
x
3.13
6. Si f (x) = x + sen x para todo x R, calcule los valores de a y de b para los cuales
se verifican las igualdades (f 1 ) (a) = + y
(f 1 ) (b) = .
f (a) o
Es decir:
d2
d
f (a) = 2 f (a) =
dx
dx
d2
f (a).
dx2
d
f
dx
(a) = (f ) (a).
Ejemplo 3.71
Calcular la segunda derivada de sen x, cos x y ex .
Solucin. Sea f definida por f (x) = sen x. Entonces f es derivable en R y:
f (x) = cos x.
Por lo tanto, f tambin es derivable en R y su derivada es igual a la derivada de la funcin cos:
(f ) (x) = (cos x) = sen x.
Por lo tanto:
(sen x) = sen x.
139
(ex ) = (ex ) = ex .
Ahora bien, podra suceder que la funcin f tambin fuera derivable en algunos elementos
de su dominio. Entonces, existira la funcin f , que se definira por:
f = (f ) .
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.
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.
(sen x)
(4n+1)
= cos x.
(sen x)
(4n+2)
= sen x.
(sen x)
(4n+3)
= cos x
140
para todo n 0.
De manera similar, se establece para cos x lo siguiente:
(cos x)(4n)
= sen x.
(cos x)
(4n+1)
(cos x)
(4n+2)
= sen x.
(cos x)
(4n+3)
= cos 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
3. f (x) = ax2 + bx + c.
8. f (x) =
k=0
9. f (x) =
3.15
ak xk con m N {0}.
1
.
x
10. f (x) =
1
.
(x + a)
11. f (x) =
x+a
.
xa
6. f (x) = cos(ax).
7. f (x) = ln x.
m
X
Diferenciales
f (x0 )
x0
3.15 Diferenciales
141
Ejemplo 3.74
Si g est definida por g(t) = t + et , calcular el diferencial de g en 2.
Solucin. Sea z = g(t) = t + et . Como g (t) = 1 + et , para t0 = 2 se tiene que:
dz = g (2) dt = (1 + e2 )dt.
Entre las aplicaciones de los diferenciales est la posibilidad de realizar ciertos clculos
aproximados.
Ejemplo 3.75
Calcular un valor aproximado para
Solucin. Ponemos f (x) =
50.
Entonces
1
1
99
50 = f (50) = f (49) + y f (49) + dy = 49 +
= 7+
=
.
14
14
14
142
3.16
Ejercicios
(a) y = x 3x.
x+1
(b) y =
.
x1
(c) y = x sen x + cos x.
(a) 26.
1
(b) .
50
(d) y = x 3 .
(c)
3.17
(d)
(e)
(f)
(g)
0.93
.
1.9
sen(/3 0.1).
82.
1
.
37
sen 44 (Atencin: utilice radianes!).
Se puede, entonces, calcular el nmero de pasos necesarios para lograr una aproximacin
con un error menor a un valor > 0 pequeo y predeterminado. Si, por ejemplo, se
desea obtener una aproximacin con k cifras decimales exactas, bastar resolver la
desigualdad
ba
10k
<
(3.8)
2n
2
para obtener el nmero n de pasos necesarios.
Ejemplo 3.76
Calcule
143
an
1
1
1.25
1.375
1.375
1.406 25
1.406 25
1.414 062 5
bn
2
1.5
1.5
1.5
1.437 5
1.4375
1.421875
1.421 875
cn
1.5
1.25
1.375
1.437 5
1.406 25
1.421 875
1.414 0625
1.417 968 75
f (an )
1
1
0.437 5
0.109 375
0.109 375
0.022 460 938
0.022 460 938
0.000 427 246
f (bn )
2
0.25
0.25
0.25
0.066 406 25
0.066 406 25
0.021 728 516
0.021 728 516
f (cn )
0.25
0.437 5
0.109 375
0.066 406 25
0.022 460 938
0.021 728 516
0.000 427 246
0.010 635 376
Se ve, entonces, que la aproximacin buscada con dos decimales exactos es c7 = 1.41.
P0
P1
x
Q1 (x1 )
Q0 (x0 )
Q0 P0
f (x0 )
=
.
Q1 Q0
x0 x1
f (x0 )
.
f (x0 )
f (x1 )
,
f (x1 )
144
yn1
,
yn1
xn
f (xn )
f (xn )
1
1.5
1.416 666 667
1.414 215 686
1.414 213 562
1.414 213 562
1
0.25
0.006 944 444
0.000 006 007
4.5 1012
0
2
3
2.833 333 333
2.828 431 373
2.828 427 125
2.828 427 125
3.18
Ejercicios
(a) 3.
(b) 1 + 2.
(c) 2 1.
(d)
2+
3.
(e) La raz de x3 + 5 = 0.
(f) La raz de sinh x + 2 = 0.
2. Compare los mtodos de dicotoma y de
Newton para los clculos de aproximaciones de los nmeros del ejercicio precedente.
Captulo 4
La derivada: aplicaciones
4.1
Romeo estaba feliz. Acababa de recibir noticias de su amada Julieta, quien logr enviarle
clandestinamente un corto recado, escrito apuradamente en un trozo de papel:
Te esperar, luego de la cena, en el muelle de mi residencia. Estar oculta tras el farol
que queda junto a los sauces.
El dichoso Romeo, quien descansaba ese momento en sus alojamientos, decidi ir lo antes
posible en su bote a la cita. Record que, a un costado del lago, creca un hermoso jardn
lleno de bellas rosas en esta poca del ao, que l saba que eran de sumo agrado para Julieta.
Cmo no llevarle un ramo de esas rosas! Estaba, sin embargo, apurado, porque estaba a punto
de atardecer. Deba escoger el camino ms corto posible para llegar cuanto antes donde su
amada llevndole el ms bello ramo de rosas.
Desde el inicio del pensamiento inteligente, ste consisti, fundamentalmente, en la bsqueda de modelos abstractos, tericos, de la realidad. Pero, simultneamente, desde el uso de
piedrecillas (clculos) y luego del ms sofisticado baco, para hacer cuentas, seguido del de la
ingeniosa regla de clculo, y de las maravillosas mquinas electrnicas de que disponemos hoy
en da, objetos fsicos y mquinas inventadas y construidas por el hombre se constituyen en
modelos fsicos de objetos abstractos, como son los nmeros y las operaciones que se realizan
con ellos, las figuras y objetos geomtricos y su representacin grfica.
Las Ciencias Naturales y, cada vez ms, las Ciencias Sociales utilizan modelos matemticos como instrumento fundamental para describir y entender lo ms relevante de los objetos
o fenmenos estudiados. La tecnologa de la produccin de bienes y servicios utiliza cada
vez ms problemas matemticos como modelos de problemas reales que se presentan en el
quehacer creativo. El advenimiento de las computadoras, cada da ms poderosas, ha favorecido este fenmeno, porque problemas matemticos cuya solucin terica es demasiado
compleja, y a veces prcticamente imposible, es ahora abordable, con excelentes resultados,
mediante mtodos numricos que proveen de soluciones aproximadas de calidad.
Es, pues, de vital importancia fortalecer la habilidad del matemtico para tender puentes
entre la realidad y la matemtica, esto es la de utilizar adecuadamente los modelos matemticos. La modelizacin matemtica consiste, generalmente, en un proceso que puede
ser descompuesto en las siguientes etapas, que las ilustraremos con el ejemplo de Romeo y
Julieta.
1. Identificacin clara del problema, objeto o fenmeno que se quiere modelizar. Como resultado de esta fase, se obtiene el enunciado del problema o la descripcin precisa del
objeto o fenmeno estudiado.
146
La derivada: aplicaciones
4.1.1
Sabemos que las residencias de Romeo y Julieta, representadas con los puntos R y J respectivamente, estn separadas por una laguna rectangular de 3 kilmetros de ancho como se
ilustra en el siguiente dibujo:
2 km
A
R
o
sP
a
l
B
R
Laguna
3 km
1 kmJ
4.1.2
Este es un problema de extremos, cuya solucin se obtiene a travs del concepto de derivada.
Ms adelante estudiaremos el siguiente modelo matemtico que es adecuado para el problema
de Romeo y Julieta.
Dado un intervalo I y una funcin f : I R continua en I, se busca xm I tal
que
f (xm ) = mn f (x).
xI
147
d=
p
p
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.
4.2
x sup A
148
La derivada: aplicaciones
nf A =
sup A =
mn A = nf A si nf A A y nf A > ;
c2
b
sup A
6 m
ax A
bc
c2
m
ax A
sup A
b
bc
bc
bc
6 mn A
bc
nf A
A
b
mn A
c1
nf A
c2
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.
Definicin 4.3 (Conjunto acotado)
Un conjunto A R es acotado si y solo si A es acotado por arriba y por abajo.
149
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.
f (x) c1 ,
2. acotada por arriba si y solo si el conjunto existe c2 R tal que
f (x) c2 ,
3. acotada si y solo si el conjunto existen c1 R y c2 R tales que
c1 f (x) c2 ,
4. acotada si y solo si el conjunto 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) = max Im(f ).
x
2.
A los nmeros mn f (x), que se lee mnimo de f en , y max f (x), que se lee mximo
x
f (x) = 1 + (x 2)2 .
151
xR
xR
(c) acotada.
3. Supongamos que = ]2, 4]. Entonces la funcin f es:
(a) acotada por arriba, sup f (x) = 5 = m
ax f (x) = f (4);
x
(c) acotada.
4. Supongamos que = [1, 4]. Entonces la funcin f es:
(a) acotada;
(b) sup f (x) = 5 = m
ax 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]
Como se ver ms adelante, en realidad, se tiene que Im(f ) = [f (xm ), f (xM )].
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.78
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
6 mn f (x).
x
de modo que f sea montona en cada uno de los subintervalos Ik , porque se puede aplicar
N
[
el 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 un de los dos extremos, o ambos, al ser f una funcin continua
en I, el limite 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.79
Si f : I R est definida por
f (x) = x2 4x + 3,
sup f (x) = 8
xI
y no existe el mximo de f en I.
4.3
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.80
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.81
Sea f : [2, 3] R definida por
(
f (x) =
1 x2
2x3 3x2 12x + 13
si 2 x 1,
si 1 < x 3.
2x
6x2 6x 12
si 2 x < 1,
si 1 < x 3,
f
(1) = 2 6= 12 = f+
(1).
Entonces
f (x) = 0
de donde
2x = 0
6x2 6x 12 = 0
si 2 x < 1,
si 1 < x 3,
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 }.
Se tiene entonces que xm {a, b} K y que xM {a, b} K, pues todo extremo global
tambin es un extremo local.
156
La derivada: aplicaciones
5
2
f (x)
17.5
4.4
5
.
2
Adems:
m
ax f (x) = 17.5 = f
xI
5
.
2
Monotona
Es claro de la definicin que una funcin puede ser creciente en un subintervalo pero
creciente en otro.
4.4 Monotona
157
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 sean mayores que 23 y 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)
= (x22 x21 ) 3(x2 x1 )
= (x2 x1 )(x2 + x1 3)
3
3
= (x2 x1 )[(x2 ) + (x1 )] > 0,
2
2
pues x1 < x2 , x1 >
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
y
resultado 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.
Esta observacin, y el hecho de que
x
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.
Teorema 4.5
Sean I un intervalo de extremos a < b f : I R continua en I . Si, adems, f es derivable en
]a, b[, entonces:
1. si f (x) > 0 para todo x ]a, b[, entonces f es creciente en I ; y
2. si f (x) < 0 para todo x ]a, b[, 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
+
+
+
158
La derivada: aplicaciones
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
(d) f (x) = x 2 x 3 .
x1
(e) f (x) =
1 .
(x + 7) 3
(f) f (x) = x3 + 2x2 7x + 4.
x2
(g) f (x) =
.
1x
1
(i) f (x) = x2 (x + 7) 3 .
(j) f (x) = 3 sen x + 4 cos x.
2. Halle los extremos absolutos de f en el intervalo I:
x1
5
(g) f (x) = 2
; I=
,5 .
x +2
4
3. Halle los valores crticos y los extremos absolutos y relativos de la funcin f en el intervalo
I:
(a) f (x) = x4 4 |x + 2|; I = [3, 3].
(
2x + 1 si 2 x < 1,
(b) f (x) =
x2 + 2 si 1 x 3;
I = [2, 3].
(c) f (x) = 2x3 3x2 12x + 13; I = [2, 3].
(
x2 + x 2
si 2 x < 1,
(d) f (x) =
3
2
x 3x + 2 si 1 x 3;
159
I = [2, 3].
ax + b
; I = [L, L], con L > 0,
cx + d
y si ad 6= bc o si ad = bc.
(g) f (x) =
1
1; I = [10, 10].
x1
(f) f (x) = x; I = [10, 2].
(e) f (x) = x +
4.6
f (c) = 0
f (b)
c
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
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.
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 0y 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
160
La derivada: aplicaciones
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) =
31
f (3) f (1)
=
= 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.
Teorema 4.9
Si f est definida en un intervalo I de extremos a y b, y si f es derivable en el abierto tal que su
derivada es igual a 0, 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.
Teorema 4.10 (Teorema general del valor intermedio)
Sean f : R R y g : R R dos funciones continuas en el intervalo [a, b] y derivables en (a, b).
Supongamos que g (x) 6= 0 para todo x (a, b) y que g(a) 6= g(b). Entonces existe c (a, b)
tal que:
f (b) f (a)
f (c)
= .
g(b) g(a)
g (c)
4.7
Ejercicios
4.8 Convexidad
161
nado teorema.
2
7
,
.
2 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
si 3 x 1,
si 1 x 2;
I = [3, 2].
4.8
4.8.1
(f) f (x) = x
x; I = [1, 27].
3. Un camionero entra en una autopista y recibe un taln que marca la hora de ingreso, las
7 horas con 55 minutos. Antes de salir, 250
kilmetros despus, paga el peaje y el recibo
marca el valor pagado y la hora del pago: 10
horas con 35 minutos. Un polica le revisa los
documentos y le multa por exceso de velocidad. Cul cree que era el lmite de velocidad
para el transporte pesado en ese tramo? Justifique su respuesta sustentndose en el teorema
del valor intermedio.
4. Mediante el teorema del valor intermedio, demuestre el siguiente teorema (de los incrementos finitos). Sean I un intervalo abierto,
f : I R derivable en I, x0 I y x tales
que x0 + x I. Entonces existe ]0, 1[ tal
que
y = f (x0 + x) f (x0 ) = f (x0 + x)x.
5. Usando el teorema de Rolle, pruebe el teorema
general del valor medio. Sugerencia: Defina
F : [a, b] R de la siguiente manera:
F (x) = f (x)
f (b) f (a)
[g(x) g(a)].
g(b) g(a)
Convexidad
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:
x = tx1 + (1 t)x0 .
Tenemos dos casos.
(4.1)
162
La derivada: aplicaciones
P0
P1
x
x0
x1
Vemos que las distancias entre P y P0 y entre P0 y P1 son
P P0 = x x0
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:
P1
P0
x
x1
x0
Vemos que las distancias entre P y P0 y entre P0 y P1 son
P P0 = x0 x y
P0 P1 = x0 x1 .
Adems, como
0 < P0 P < P0 P1 ,
existe t ]0, 1[ tal que
Por lo tanto:
P0 P = tP0 P1 = t(x0 x1 ).
4.8.2
(4.3)
xt = tx1 + (1 t)x0 .
yt = ty1 + (1 t)y0 ,
Si definimos
zt = tz1 + (1 t)z0 .
xt
xt = yt
zt
+ (1 t)
.
x = t
x
x
t
(4.4)
(4.5)
4.8 Convexidad
163
4.8.3
Sean P0 (x0 , y0 ) y P1 (x1 , y1 ) dos puntos distintos del plano E2 con x0 6= x1 . Si la ecuacin de
la recta que pasa por estos dos puntos es:
y = y0 +
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 +
4.8.4
(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)
164
La derivada: aplicaciones
(4.15)
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.11, probemos que f es una funcin convexa cuando a > 0 y es cncava si
a < 0.
1. Supongamos que a > 0. Sean x0 R y x1 R tales que x0 < x1 . Definamos y0 = f (x0 ) y
y1 = f (x1 ). Sea t ]0, 1[; entonces:
xt = (1 t)x0 + tx1
yt = (1 t)y0 + ty1 .
Por lo tanto:
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,
de donde f (xt ) yt . Por lo tanto, por el teorema 4.11, f es convexa.
165
Ejemplo 4.89
Sea f (x) = x4 + x2 + 1. Mediante la monotona de f , determinemos si f es o no convexa.
En primer lugar, tenemos que f (x) = 4x3 + 2x. Sean x1 y x2 en R tales que x1 < x2 . Entonces:
f (x2 ) f (x1 ) = 4x32 2x2 4x31 + 2x1
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.12, f es
una funcin convexa.
Teorema 4.13
Si f es continua en [a, b] y existe f y es positiva (respectivamente negativa) en (a, b), entonces
f es convexa (respectivamente cncava) en [a, b].
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.13, 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). Pues, como f (0) = 58 > 0, tenemos que f (x) > 0 para todo x R. Es decir, f es
convexa.
4.9
Puntos de inflexin
En el dibujo:
166
La derivada: aplicaciones
y
f
g
f (x0 )
P0
x0
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.
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 el grfico de f ;
es decir, de 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.14
Si existe f (x0 ) y si P0 (x0 , f (x0 )) es un punto de inflexin de la grfica de f , entonces f (x0 ) =
0.
167
Ejemplo 4.91
Analizar la funcin f y su grfico si f : R R est definida por
f (x) = x3 px
con p R, una constante dada. A la grfica de f se le llama parbola cbica.
Solucin. En primer lugar, f es una funcin impar, pues:
f (x) = (x)3 p(x) = (x3 px) = f (x).
Por lo tanto, la grfica de f es simtrica respecto al punto de coordenadas (0, 0). Esto significa
que bastar con analizar f solo en uno de los dos intervalos: [0, +[ o ] , 0], porque en el otro
intervalo el grfico se obtiene del primero por medio de un reflexin y una rotacin, y los valores
f (x) de la identidad f (x) = f (x).
Ahora, busquemos los cortes de la grfica de f con el eje x; es decir, busquemos los x tales que
f (x) = 0:
x3 px = 0
(4.16)
La solucin de esta ecuacin depende del signo de p. Por lo tanto, hay tres casos que analizar.
1. Si p < 0, x = 0 es la nica raz real de (4.16); las otras dos son complejas.
2. Si p = 0, x = 0 es una raz triple de la ecuacin.
(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.
1. Si p < 0, f (x) > 0 para todo x R. Entonces f ser estrictamente creciente en R.
p
3
x
2 =
p
.
3
168
La derivada: aplicaciones
y
g
g+
g
O
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:
p
p
p
x
p, 3
3 ,0
, p
p
3
0
f (x)
f (x)
p
3
Mx. local
p
, p
3
Punto infl.
p, +
Resultados
x
f (x)
f (x)
Resultados
p<0
p
3
Punto infl.
y
0,
Mn local
y
p=0
x2
x1
x2
x1 x
p>0
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) = 0:
x3 px = c.
(4.18)
4.10 Ejercicios
169
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 negativa.
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.
(d) f (x) =
x4 + 4
.
x2
1
(f) f (x) = x x + 1.
x
(g) f (x) = x .
9
(h) f (x) = 3 sen x + 4 cos x.
(f) f (x) = 3 x + x.
16
(g) f (x) = x +
.
x
p
(h) f (x) = x2 + 26.
1
.
(i) f (x) = 2
x +1
x3
.
(j) f (x) =
x+2
(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 .
4.11
Graficacin de funciones
170
La derivada: aplicaciones
1 3
x
10
3 2
x
10
8
x.
10
f (x)
9
3 2 3
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 (xk ) = 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 (xk ) = 0,
Finalmente, para
x5 = 3.
f (xk ) = 0,
f (x)
f (x)
1.85
1
+
0
+
4.85
1.85
4.85
f (x)
0.4
2.4
171
6. es cncava en ] , 0]; y
7. es convexa en [0, +[.
Con esta informacin, podemos realizar el dibujo del grfico de f y obtener algo similar al
siguiente dibujo:
2
(1, 0.4)
i
0.4
x1
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
172
La derivada: aplicaciones
x1
lm f (x) = 1 = f (1).
x1
lm f (x) = lm
x+
x+
1
= 0.
x2
si x < 1
2
f (x) = 3x2 si |x| < 1
2
x3 si x > 1.
f (x) = 6x
6
x4
si x < 1
si |x| < 1
si x > 1.
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
(1) = lm
x1
f (x) f (1)
x3 1
= lm
x1
x1
x1
= lm (x2 + x + 1) = 3,
x1
1
f (x) f (1)
2 1
= lm x
x1
x1+
x1+ x 1
x+1
= lm 2
= 2,
x
x1+
f+
(1) = lm
f
(1) = 3 6= 2 = f+
(1).
173
] , 1[
1
1
n. e.
] 1, 0[
+
n. e.
m. l.
0
0
0
0
]0, +1[
+
p. i.
+1
1
n. e.
n. e
] + 1, +[
M. l.
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.
174
La derivada: aplicaciones
4.12
Ejercicios
4.13
(f) f (x) =
ax + b
.
cx + d
Problemas de extremos
Una de las principales aplicaciones de las derivadas consiste en proveer de un mtodo para
resolver problemas de optimizacin; es decir, problemas en los que hay que escoger de entre
varias opciones para la solucin la mejor o la ms conveniente, o la menos inconveniente. Por
ejemplo, en una empresa se busca que las prdidas sean mnimas y que las utilidades sean
mximas; un transportista busca la ruta ms corta o la ms rpida; un bodeguero trata de
guardar ms objetos en cada bodega, etctera. El problema de Romeo y Julieta con el que
iniciamos este captulo, es un ejemplo de un problema de optimizacin.
El modelo matemtico de una gran variedad de problemas de optimizacin se ajustan al
siguiente problema matemtico, denominado, problema de optimizacin:
Problema 4.1 (Bsico de optimizacin)
Dados I un intervalo y f : I R continua en I , se debe determinar si existen el mximo y el
mnimo de f en I . De existir, se debe hallar xm I y xM I tales que
xI
175
Los siguientes teoremas, en cambio, nos permiten establecer un algoritmo cuando el intervalo I no es cerrado y acotado.
Teorema 4.16
Sean I un intervalo y f : I R una funcin continua. Si existe un nico extremo local en I ,
entonces este extremo es tambin es global.
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 ) = [f (xm ), f (xM )].
Teorema 4.18
Si I =
n
[
k=1
An y f : I R, entonces:
Im(f ) =
n
[
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 ] , [.
176
La derivada: aplicaciones
3. Calcular J = Im(f ) =
N
[
Jk .
k=1
(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 x + 4 2 (3 x)2 + 1
x
3x
.
=
(3 x)2 + 1
x2 + 4
Por lo tanto:
x
3x
f (x) = 0
(3 x)2 + 1
x2 + 4
x
3x
=
.
(3 x)2 + 1
x2 + 4
Pero:
x
3x
f (2) =
22
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.
177
Para ello, luego de un clculo sencillo, vemos que, para cualquier x I, tenemos que:
f (x) =
4
3
(x2 + 4) 2
+
1
(3 x)2 + 1
32 .
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:
8
.
x
Halle el punto en el cual la grfica de f tiene la recta tangente de mnima pendiente.
f (x) = x2
16
x3 8
=
2
.
x3
x3
48
.
x4
178
La derivada: aplicaciones
30
29
28
27
26
25
24
23
22
21
20
19
18
17
16
15
14
13
12
11
10
9
8
7
6
5
4
3
2
1
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
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 ) =
m
ax 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 = 1 x2 ms cercano al punto
A(2.5, 2.75). Puede usar el hecho de que
(4x3 + 9x 5)
= 0.
x=0.5
4.14 Ejercicios
179
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). Necesitamos la derivada
xR
2
1
1
= 12
+ 9 = 12 > 0,
2
2
nos dice que g tiene un mnimo local en x = 21 . Como x = 12 es el nico nmero crtico de g en su
dominio dicho extremo es un mnimo absoluto, de modo que
d2 1 = mn g(x),
xR
x= 2
= mn f (x).
x= 1
2
El punto buscado es
xR
P (x, 1 x )
2
x= 1
2
y la distancia de A a P es
d
x= 1
2
4.14
=P
1 3
,
2 4
s
2
2 p
1
1
1
=f
=
2.5 +
+ 1.75
= 22 + 22 = 4 2.
2
2
2
Ejercicios
180
La derivada: aplicaciones
(
4 x2
si x 2,
I
(o) f (x) =
1
(x 2) si 2 < x,
2
[1, 3].
p
(p) f (x) = x2 + x + 1, I = [2, 1[.
3.
4.
5.
6.
7.
8.
9.
10.
11.
4.15
181
Regla de LHpital
4.15.1
Formas indeterminadas
Al tratar de utilizar las propiedades de los lmites de la suma, producto, etctera, se puede
llegar a situaciones en que los resultados no se pueden aplicar por no cumplirse las condiciones
que las garantizan. Y resulta que bajo condiciones similares, los resultados obtenidos no
siempre son iguales. Por ejemplo, el lmite del cociente de dos funciones tales que cada una
tiende a 0, puede ser, en algunos casos, igual a 0; en otros, +; en otros, no existir; etctera.
Se dice, entonces, que estamos frente a una forma indeterminada. Veamos algunos casos.
Sean f y g dos funciones definidas en un intervalo abierto I. Sea x0 I:
1. Cuando se calculan lmites de cocientes, como lm
xa
lm f (x) = L y
xa
y si M 6= 0 se tiene que
f (x)
, sabemos que si existen los lmites
g(x)
lm g(x) = M
xa
lm f (x)
f (x)
L
= xa
=
.
xa g(x)
lm g(x)
M
lm
xa
Puede suceder, sin embargo, que L = M = 0, de modo que, al tratar de aplicar este
resultado se obtiene:
lm f (x)
0
xa
= .
lm g(x)
0
xa
0
0
xa
lm g(x)
= 1.
xa
xa
lm g(x)
xa
no existe.
2. Si lm f (x) = + (respectivamente ) y si lm g(x) = (respectivamente +),
xx0
xx0
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 lm f (x) = 0 y si lm g(x) = + (o ), la expresin (f g)(x) puede comportarse
xx0
xx0
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.
182
La derivada: aplicaciones
4.15.2
Regla de LHpital
xa
f (x)
es una indeterminacin de tipo
g(x)
0
0
y si
f (x)
= L R {, },
xa g (x)
lm
entonces
f (x)
f (x)
= lm
.
xa g(x)
xa g (x)
lm
x0
sen x
.
x
x0
, y como
(sen x)
cos x
= lm
=1
x0
(x)
1
x0
sen x
= 1.
x
Ejemplo 4.98
Calcular lm
ln x
.
x
Solucin. Como el
(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.
183
Ejemplo 4.99
Calcular lm
x0+
1
1
.
x
x
1
1
x x
,
=
x
x
x x
el lmite del segundo miembro de la expresin anterior conduce a una indeterminacin del tipo
que puede ser tratada con la regla de LHpital.
El lmite
1
1 2
2 x1
(x x)
x
= lm
=
l
m
= .
lm
3
3x
x0+
x0+
x0+ (x x)
x
2
0
,
0
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 lm g(x) es igual a cero no podemos aplicar el teorema
x0
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:
lm
x0
f (x)
(sen x x cos x)
= lm
x0 (x2 + tan2 x)
g (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
sen x
0
= lm
=
= 0.
sen x
3x
x0 2 + 2
sec
2
+
2(1)(1)
x
184
La derivada: aplicaciones
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:
lm
x0
(f (x))
f (x)
= lm
x0 g (x)
(g (x))
(x sen x)
= lm
x0 (2x + 2 tan x sec2 x)
sen x + x cos x
= lm
x0 2 + 2 sec4 x + 2 tan2 x sec2 x
= 0.
x0
f (x)
(f (x))
= lm
= 0.
x0 (g (x))
g (x)
x0
f (x)
f (x)
= lm
= 0.
x0 g (x)
g(x)
x0
4.16
sen x x cos x
f (x)
= lm
= 0.
x0 x2 + tan2 x
g(x)
Ejercicios
x0+
x
(e) lm
.
x+
1 + x2
sen x
(f) lm
.
x0 arctan x
x
(2 x)e x 2
(g) lm
.
x0
x3
sen(1/x)
.
arctan(1/x)
1
1
1
.
(i) lm
x
x sen x
x0+
(h)
lm
x+
(j) lm
x 2
tan x 5
.
sec x + 4
f (x)
g(x)
es una indeterminacin de tipo 00 , para el caso L R. Indicacin: Use el Teorema 4.10
(Teorema General del Valor Intermedio) para
f (x)
f (x)
y lm
.
lm
xa g(x)
xa+ g(x)
xa
Bibliografa
[1] T. Apostol. Clculus. Revert, 1990.
[2] B. Demidovich. Problemas y ejercicios de Anlisis Matemtico. Editorial Mir Mosc,
1967.
[3] L. Leithold. El Clculo. Oxford University Press, 2007.