y
T
R
y = f (x)
f (a)
a + x
dy
x = dx
Contenido
Introduccin
1. Sistemas numricos
1.1. Introduccin . . . . . . . . . . .
1.2. Axiomas de cuerpo . . . . . . .
1.3. Axiomas de orden . . . . . . . .
1.4. Desigualdades y valor absoluto .
1.4.1. Intervalos . . . . . . . .
1.4.2. Inecuaciones . . . . . . .
1.4.3. Valor absoluto . . . . . .
1.5. Axioma de completez . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
5
5
8
18
23
23
24
31
36
2. Funciones reales
2.1. Introduccin . . . . . . . . . . . . . . . . . . . . . . . . .
2.2. Distancia entre dos puntos . . . . . . . . . . . . . . . . .
2.3. Ecuacin de la recta . . . . . . . . . . . . . . . . . . . .
2.4. Relaciones y sus grficas . . . . . . . . . . . . . . . . . .
2.4.1. Dominio e imagen de una relacin . . . . . . . . .
2.4.2. Simetras . . . . . . . . . . . . . . . . . . . . . .
2.4.3. Relaciones definidas por sistemas de inecuaciones
2.5. Funciones . . . . . . . . . . . . . . . . . . . . . . . . . .
2.6. Algunas clases de funciones . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
39
39
41
42
47
49
50
52
55
58
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
CONTENIDO
ii
2.7. Igualdad de funciones . . . . . . . . . . . . . . .
2.8. Operaciones entre funciones . . . . . . . . . . .
2.9. Propiedades de las funciones . . . . . . . . . . .
2.10. Inversa de una funcin . . . . . . . . . . . . . .
2.11. Funciones trigonomtricas . . . . . . . . . . . .
2.11.1. Definiciones . . . . . . . . . . . . . . . .
2.11.2. Identidades . . . . . . . . . . . . . . . .
2.11.3. Inversas de las funciones trigonomtricas
2.12. Funciones exponencial y logartmica . . . . . . .
2.12.1. Funcin exponencial . . . . . . . . . . .
2.12.2. Funcin logartmica . . . . . . . . . . . .
2.12.3. Algunas aplicaciones . . . . . . . . . . .
3. Lmites
3.1. Introduccin . . . . . . . . . . . . . . .
3.2. Definicin de lmite . . . . . . . . . . .
3.3. Propiedades de los lmites . . . . . . .
3.4. Lmites unilaterales . . . . . . . . . . .
3.5. Lmites trigonomtricos . . . . . . . . .
3.6. Lmites de exponenciales y logartmicas
3.7. Lmites infinitos . . . . . . . . . . . . .
3.7.1. Lmites en el infinito . . . . . .
3.7.2. Lmites al infinito . . . . . . . .
3.7.3. Lmites en infinito y al infinito .
3.8. Asntotas . . . . . . . . . . . . . . . .
3.8.1. Asntota vertical . . . . . . . .
3.8.2. Asntota horizontal . . . . . . .
3.8.3. Asntota oblicua . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
4. Continuidad
4.1. Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.2. Definicin de continuidad . . . . . . . . . . . . . . . . . . . .
4.3. Propiedades de las funciones continuas . . . . . . . . . . . .
4.4. Consecuencias de la continuidad de una funcin . . . . . . .
4.4.1. Teoremas del valor intermedio y de valores extremos .
4.4.2. Demostraciones . . . . . . . . . . . . . . . . . . . . .
4.4.3. Generalizaciones . . . . . . . . . . . . . . . . . . . .
4.4.4. Consecuencias interesantes . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
61
62
65
68
71
71
79
85
87
87
90
92
.
.
.
.
.
.
.
.
.
.
.
.
.
.
95
95
97
106
114
117
126
128
128
133
137
138
138
138
139
143
. 143
. 144
. 148
. 153
. 154
. 157
. 160
. 163
CONTENIDO
iii
5. Derivadas
5.1. Introduccin . . . . . . . . . . . . . . . .
5.2. Definicin de derivada . . . . . . . . . .
5.3. Propiedades de la derivada . . . . . . . .
5.4. Derivadas laterales . . . . . . . . . . . .
5.5. Derivada de las funciones trigonomtricas
5.6. Derivada de y = ex . . . . . . . . . . . .
5.7. Derivadas de orden superior . . . . . . .
5.8. Regla de la cadena . . . . . . . . . . . .
5.9. Derivacin implcita . . . . . . . . . . . .
5.10. Derivada de las funciones inversas . . . .
5.11. Derivacin logartmica . . . . . . . . . .
5.12. Teorema del valor medio . . . . . . . . .
5.13. Formas indeterminadas . . . . . . . . . .
6. Aplicaciones
6.1. Trazado de curvas . . . . . . . . .
6.2. Problemas de mximos y mnimos
6.3. Razones de cambio . . . . . . . .
6.4. Razones relacionadas . . . . . . .
6.5. Mtodo de Newton . . . . . . . .
6.6. Aproximacin lineal . . . . . . . .
6.7. Polinomios de Taylor . . . . . . .
6.8. Incrementos y diferenciales . . . .
.
.
.
.
.
.
.
.
A. Geometra analtica
A.1. Ecuacin de la circunferencia . . .
A.2. Ecuacin de la parbola . . . . . .
A.3. Ecuacin de la elipse . . . . . . . .
A.4. Ecuacin de la hiprbola . . . . . .
A.5. Excentricidad . . . . . . . . . . . .
A.6. Ecuacin general de segundo grado
Bibliografa
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
167
167
169
175
178
181
182
184
187
190
193
197
199
206
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
217
. 217
. 228
. 236
. 238
. 242
. 246
. 248
. 251
.
.
.
.
.
.
255
. 255
. 259
. 263
. 270
. 276
. 279
283
iv
CONTENIDO
Introduccin
CONTENIDO
CONTENIDO
hicieron grandes aportes. Es por esto que despus de varios aos de aplazar
este trabajo, decidimos ponernos en la tarea de actualizarlo.
Los cambios ms importantes tienen que ver con la reubicacin del tema
de secciones cnicas como un apndice, asumiendo que los estudiantes ya
han tomado el curso de matemticas bsicas donde se trabaja este tema, o
segn el exmen de admisin, ya estn preparados para abordar el curso de
Clculo diferencial en una variable. Se incluy el estudio de las funciones
exponenciales y logartmicas, las cuales desde el punto de vista histrico
aparecen con el concepto de integral, pero que, debido a la necesidad de
su uso y aplicacin fueron incluidas en el nuevo programa; sin embargo,
hemos dejado algunas de las demostraciones rigurosas para el curso de clculo
integral en una variable. Se mejoraron algunos ejercicios y se incluyeron otros
para fortalecer la formacin en ciertos temas. Se mejoraron algunas grficas y
se realizaron cambios en la presentacin de algunos temas, como la compuesta
de funciones, asntotas, etc.
Esperamos que este libro siga siendo til, no slo para la comunidad de
la Universidad Nacional de Colombia, sino en otros espacios acadmicos.
CONTENIDO
CAPTULO
Sistemas numricos
1.1.
Introduccin
= 1,25
16
3
= 5,333... = 5.3.
x =
41.28
99x = 4087
x = 4087
99
(Justificar el proceso y simplificar, si es posible.)
Ejemplo 2.
x = 2,538 1000x = 2538.8
100x =
253.8
900x = 2285
x = 2285
900
(Justificar el proceso y simplificar, si es posible.)
El conjunto de los nmeros reales, R = {x | x es un nmero decimal} ,
contiene a todos los nmeros racionales, es decir, Q R, pero existen nmeros reales que no son racionales, los nmeros decimales que tienen un nmero
infinito de cifras decimales que no se repiten peridicamente (decimales infinitos no peridicos), los
cuales han sido llamados nmeros irracionales. Por
ejemplo: 5,424424442..., 2, son algunos de ellos.
RQ = {x | x es decimal infinito no peridico} es el conjunto de los nmeros
irracionales. Por lo anterior, cada nmero real es racional o es irracional,pero
no puede ser ambos a la vez. As, si se quiere probar que el nmero real 2 es
irracional, basta verificar que no es racional, es decir, que no puede expresarse
como ab , donde a y b son enteros y b no es cero.
1.1. INTRODUCCIN
a
2 = ; donde a, b Z y b 6= 0.
b
= a2
= (2k)2
= 4k 2
= 2k 2
1.2.
Axiomas de cuerpo
0
1
2
1 2
0
0
1
2
0 1 2
2
10
11
a + (y + b)
(a + y) + b por el Axioma 2.
0 + b por el Axioma 5.
b por el Axioma 4.
12
b + (a + (b))
b + ((b) + a) , por el Axioma 1;
(b + (b)) + a, por el Axioma 2;
0 + a, por el Axioma 5;
a, por el Axioma 4;
13
Las siguientes propiedades, al igual que las demostradas anteriormente, son muy familiares para nosotros. Vamos a hacer las demostraciones sin
escribir las justificaciones. Su misin, inicialmente, es intentar hacer las demostraciones antes de leerlas, luego escribir las justificaciones de cada uno
de los pasos dados en las demostraciones aqu escritas.
Teorema 1.9. Para todo a, b R, (a b) = (a) b .
Prueba. Como (a b) es el inverso aditivo de a b, y el inverso aditivo es
nico, basta demostrar que (a) b es el inverso aditivo de a b. Verifiquemos
esto.
(a) b + a b =
=
=
=
=
b (a) + b a
b ((a) + a)
b (a + (a))
b0
0
14
Prueba.
a (b c) =
=
=
=
=
a (b + (c))
a b + a (c)
a b + (c) a
a b (c a)
a b a c.
15
a (b y)
a (y b)
(a y) b
1 b = b.
b
= b a1 .
a
b
es la solucin de la ecuacin a x = b y esta solucin es
a
nica, basta demostrar que b a1 es tambin solucin de esta ecuacin. En
efecto, si x = b a1 , entonces:
a x = a b a1 = a a1 b = a a1 b = 1 b = b.
Prueba. Como
b
= b a1 .
a
1
= a.
16
( (a b))
((a) b)
(b (a))
(b) (a)
(a) (b) .
17
ac
a c
=
.
b d
bd
Prueba. Esperamos que usted nos colabore en la justificacin de las siguientes igualdades:
a c
= a b1 c d1
b d
= (a c) b1 d1
= (a c) (b d)1
ac
=
.
bd
b) 11 = 1.
18
5. Si b, d 6= 0,
a c
adbc
=
.
b d
bd
6. Si ax = a para a 6= 0, entonces x = 1.
7. Si a2 = aa, entonces a2 b2 = (a b) (a + b) .
8. an bn = (a b) (an1 + an2 b + ... + abn2 + bn1 ) .
9. 0 del Axioma 4 es nico.
10. 1 del Axioma 4 es nico.
1.3.
Axiomas de orden
19
Teorema 1.24. (Propiedad de tricotoma). Supongamos que a, b R. Entonces se tiene una y slo una de las siguientes tres posibilidades:
(1) a < b. (2) b < a. (3) a = b.
Prueba. Supongamos primero que a b 6= 0. Si esto es as, por el Axioma
8 tenemos que (a b) P (a b) P, pero no se tendrn los dos
resultados simultneamente. Como (ab) = ba, y utilizando la Definicin
1.23 tenemos, b < a a < b, donde nuevamente se tiene slo una de estas
desigualdades.
Por otra parte, si a b = 0, entonces a = b. Adems, segn este supuesto,
no puede darse que a < b b < a, ya que 0
/ P (Axioma 9).
Teorema 1.25. Sean a, b, c R. Si a < b y b < c, entonces a < c.
Prueba. Con base en que a < b y b < c, podemos afirmar que (b a) y
(c b) estn en P. Por tanto, utilizando el Axioma 7, tenemos: ((b a) + (c b))
est en P, y de esta manera concluimos que (c a) est en P, lo cual significa
que a < c.
Nota. Cuando tenemos a < b y b < c, podemos abreviar como a < b < c.
Teorema 1.26. Si a, b, c R, y a < b, entonces a + c < b + c.
Prueba. Como a < b, entonces tenemos que (b a) P y, por tanto,
[(b a) + (c + (c))] P ; es decir, [(b + c) (a + c)] P, lo que nos lleva a concluir que a + c < b + c.
Teorema 1.27. Si a, b, c R, c > 0 y a < b, entonces ac < bc.
Prueba. Como c > 0 y a < b, tenemos que c P y (b a) P. Segn el
Axioma 7, podemos afirmar que (b a) c P , es decir: (bc ac) P, de
donde ac < bc.
Teorema 1.28. Si a, b, c R, c < 0 y a < b, entonces ac > bc.
Prueba. La demostracin es similar al caso anterior, salvo que en este caso
c P.
Teorema 1.29. Si a R y a 6= 0, entonces a2 > 0.
20
21
2. a P y b P.
3. a P y b P.
4. a P y b P.
Si se da la opcin 1, ab P y, por tanto, ab > 0. Si se da la opcin 2,
entonces (a) b P, es decir, ab P, lo que nos lleva a concluir que
ab < 0; por tanto, esta opcin no puede darse segn nuestra hiptesis.
De manera similar concluimos que la opcin 3 tampoco cumple la hiptesis. Por ltimo, si se tiene la opcin 4 entonces (a) (b) P, y
as ab P, de donde ab > 0.
En conclusin, si ab > 0, entonces verificamos la opcin 1 la opcin
4 que era lo que queramos probar.
1. a > 0 si y slo si a P.
22
1.4.
1.4.1.
23
24
1.4.2.
Inecuaciones
Llamaremos inecuaci
on a una desigualdad en la que aparece una incgnita; por ejemplo, 2x 3 < 5, y diremos que vamos a resolver una inecuacin
25
cuando queremos encontrar todos los nmeros reales que satisfacen la desigualdad. Nuestro objetivo ahora es solucionar inecuaciones; para ello podemos usar las propiedades demostradas en la seccin 1.3, sobre desigualdades.
La solucin de una inecuacin es un conjunto: conjunto solucin, el cual se
expresa generalmente en trminos de intervalos o con operaciones entre intervalos. En primera instancia, resolveremos un ejemplo mostrando las propiedades que se estn aplicando. Esperamos que por lo menos en principio usted
haga lo mismo, justificando cada paso, para tener claridad en los conceptos.
Luego, con un poco ms de experiencia y ya interiorizadas las propiedades
aplicadas, no ser necesario explicar cada paso.
Ejemplo 1.40. Encontrar el conjunto de todos los x tales que 3x + 5 < 11.
3x + 5 < 11
(inecuacin dada).
(Teorema 1.26).
(Axioma 2).
(Axioma 5).
(Axioma 4).
1
1
(3x) < 6 (Teorema 1.27).
3
3
1
1
3 x < 6 (Axioma 2).
3
3
1x < 2
(Axioma 6).
x<2
(Axioma 4).
Luego la solucin es (, 2) .
Ejercicio 1.41. Encontrar las soluciones de las siguientes inecuaciones:
1. 3 (x + 1) < 6 4x.
10
4
2.
(x 2) + 4 x
3
3
7
3x + 5 3 + 2x
x 5
3.
<4
4
3
4 2
26
4.
4
3
7
5
15 x 7
3
x
2
1
2
2.
(inecuacin dada).
(x 5) (x + 3) + 12 > (12) + 12
x2 2x 15 + 12 > 0
x2 2x 3 > 0
(x 3) (x + 1) > 0
(Teorema 1.26).
(axiomas 3 y 5).
(operaciones).
(Axioma 3).
27
1. (x 3) > 0 y (x + 1) > 0.
2. (x 3) < 0 y (x + 1) < 0.
Si se cumple la opcin 1, tenemos que x > 3 y x > 1.
x>3
x > 1
2
28
"
1
x+
2
2
#
+ 1 + (1) >
1
x+
2
1
+ (1)
4
2
>
3
4
(axiomas 2, 5 y 4).
(x + 1)2
2x
3
(x + 1)2
x+1
2
(x + 1) (2 x)
3
(x + 1)2
2
(axiomas 6 y 4).
3 2
x + 2x + 1
(axiomas 3 y 2).
2
2x2 + 2x + 4 3x2 + 6x + 3 (Axioma 3).
x2 + x + 2
0 5x2 + 4x 1
(axiomas 5, 2 y 4).
(x + 1) (5x 1) 0
(factorizando).
29
x+1
2
2x 3
0
x+1 2
4 2x 3x 3
0
2(x + 1)
1 5x
0
2(x + 1)
Para la cual se tienen dos opciones:
1. (1 5x) 0 y (x + 1) > 0
2. (1 5x) 0 y (x + 1) < 0...Por qu?
En la primera se obtiene x 51 y x > 1; es decir, x 1, 15 ; en la
segunda se obtiene x 15 y x < 1 que no es posible, de modo que la solucin
2x
3
de
es 1, 15 , como ya sabamos.
x+1
2
3
6 5x
.
Ejemplo 1.45. Solucionar la inecuacin
x+4
5
En primer lugar debemos tener presente que x no puede ser 4 (por
qu?). Ahora pasamos todos los trminos a un mismo lado de la desigualdad
para poder comparar la expresin con cero.
6 5x 3
0
x+4
5
5 (6 5x) 3 (x + 4)
0
5 (x + 4)
30 25x 3x 12
0
5 (x + 4)
18 28x
0
5 (x + 4)
30
9
4, 14
18 28x
x+4
1828x
5(x+4)
9
, +
14
2
1
< .
x+3
x
4.
6 11
x
1
2
(x + 12) .
x3
2
5. (x 3) (x + 2) (2x 5) 0.
6.
x3
1
.
7x
x
7. 9 x2 <
16 x2
2 + x.
1+x
31
1.4.3.
Valor absoluto
32
|a b| es la distancia entre a y b. Muestre varios ejemplos, dando diferentes valores para a y b. Por otra parte, observe que la demostracin del
Teorema 1.50 puede hacerse en un rengln, usando el Teorema 1.49; pero
claro, primero debe haberlo demostrado para poder usarlo.
Con la experiencia obtenida, puede demostrar los siguientes tres teoremas.
Teorema 1.51. |a| = 0, si y slo si a = 0.
33
34
2. Si a < 0 y b < 0.
Ahora se tiene que a+b < 0; de esta manera |a + b| = (a + b) y como
|a| + |b| = (a) + (b) = (a + b) = |a + b| , nuevamente se tiene la
desigualdad triangular.
3. Si a 0 y b < 0.
En este caso pueden darse dos posibilidades:
a) a + b 0.
b) a + b < 0.
Si se tiene que a + b 0, entonces |a + b| = a + b, pero como sabemos
que a 0 y b < 0 < b, entonces |a| + |b| = a + (b) , de donde
|a + b| = a + b a + (b) = |a| + |b| . Esto nos afirma que se cumple
la desigualdad triangular.
Con no mucho esfuerzo, puede ver que si a + b < 0, tambin se tiene
que |a + b| |a| + |b| .
4. Si a < 0 y b 0.
Se demuestra como en el caso anterior, intercambiando los papeles de
a y b.
35
c) |a b| |a| |b| .
d) |a| a |a| .
2. En cada uno de los siguientes ejercicios, encontrar el conjunto solucin:
a) |2x 4| = 3.
1 3
b) x = 5.
2 4
c) |x 3| > 8.
d) |5x 1| 4.
1 3
e) x < 5.
2 4
f) |x + 3| + |x 2| < 2.
g) |3x 2| + |2x 1| 3.
h) |2x + 4| |3x 1| .
3x 1 1
< .
i)
2x + 3 4
j) |x + 8| = |2 7x| .
3. Resolver los siguientes problemas, usando desigualdades:
a) El nmero de diagonales d de un polgono de n lados, est dado
(n 1) n
por d =
n. Para qu polgonos pasar de 27 el
2
nmero de diagonales?
b) Una pelota es lanzada hacia arriba con una velocidad de 48 pies/seg
desde la azotea de un edificio de 90 pies de altura. Su altura S en
pies sobre el nivel del suelo, despes de t segundos, est dada por
la frmula S = 16t2 + 48t + 90. Durante cunto tiempo estar
la pelota arriba de los 122 pies? En qu tiempo tocar el suelo,
suponiendo que no toca el edificio al caer?
36
1.5.
Axioma de completez
37
38
1
< .
n
1
para todo n N, es
Prueba. Tomemos > 0 y supongamos que
n
1
1
decir, n para todo n N, de modo que es cota superior de N, pero
CAPTULO
Funciones reales
2.1.
Introduccin
Las funciones nos permiten describir matemticamente algunas situaciones del mundo real. En clculo estudiamos los diferentes tipos de funciones
y en este curso nos dedicaremos a funciones de una variable real.
Por ejemplo, si se tiene un tanque de agua en forma de cilindro circular
recto, se conoce el radio de su base y se quiere saber el volumen de agua que
hay en l, basta medir la altura de agua en el tanque, pues para cada altura
de este tanque se tiene un volumen diferente de agua. En este caso decimos
que el volumen del tanque es una funcin de su altura.
Son muchos los ejemplos de funciones que podemos descubrir en cada
situacin de nuestra vida cotidiana. Piense en otro ejemplo y disctalo con
sus compaeros y compaeras.
En el Captulo 1 identificamos el conjunto de los nmeros reales con una
recta. Haremos algo similar para el plano, para obtener el lugar en el cual
representaremos grficamente las funciones que queremos estudiar.
El producto cartesiano de R con R: R R R2 es el conjunto de parejas
ordenadas (a, b) , donde a y b son nmeros reales, es decir:
39
40
R2 = {(a, b) : a, b R}
Vamos a identificar a R2 con el plano, de modo que a cada pareja ordenada
de R2 le corresponda un nico punto del plano y viceversa; as, punto del
plano y pareja ordenada de R2 sern sinnimos. Para ello, representemos
en el plano dos rectas perpendiculares entre s, una horizontal, usualmente
llamada el eje x y otra vertical, el eje y, de modo que se intersequen en
sus puntos cero y los reales positivos se encuentren a la derecha, en la recta
horizontal y hacia arriba en la vertical. El punto de interseccin se llama el
origen.
Cada pareja (a, b) de R2 nos describe las coordenadas de un punto del
plano as; se ubica a, la primera componente de la pareja en la recta horizontal
(eje x) y b, la segunda componente, en la recta vertical (eje y); por estos
puntos se trazan rectas perpendiculares a sus respectivos ejes, su punto de
interseccin en el plano lo identificaremos con la pareja ordenada (a, b) . (Ver
Figura 2.1).
y
(a, b)
41
y
II
I
x
III
IV
2.2.
y2
d
y1
(x1 , y1 )
x1
x2
42
= 16 + 9 = 5.
Luego, la distancia entre los puntos (1, 2) y (3, 5) es 5 unidades.
Hay que hacer notar que arbitrariamente llamamos a (1, 2) como (x1 , y1 )
y a (3, 5) como (x2 , y2 ) . Sin embargo, verifique que si intercambiamos la
manera de nombrarlos, el resultado ser el mismo.
Ejercicio 2.2.
1. Determinar la distancia entre los puntos (2, 5) y (1, 1) .
2. Dibujar el tringulo con vrtices 31 , 1 , 2, 43 , 0, 13 y hallar su
permetro.
3. Demostrar que los puntos (2, 1) , (2, 2) y (5, 2) son los vrtices de
un tringulo issceles.
4. Mostrar que el tringulo con vrtices (3, 2) , (1, 1) y (1, 5) es rectngulo.
2.3.
Ecuacin de la recta
43
y
(x2 , y2 )
(x4 , y4 )
(x1 , y1 )
x
(x3 , y3 )
Figura 2.4: Pendiente.
Con base en la semejanza entre los tringulos tenemos:
m=
y2 y1
y3 y4
=
.
x2 x1
x3 x4
y y1
, x 6= x1 .
x x1
44
Es decir, todo punto (x, y) que est sobre la recta con pendiente m y
que pasa por el punto (x1 , y1 ) debe satisfacer la ecuacin anterior. Daremos
entonces la siguiente definicin.
Definicin 2.4. La ecuacin de la recta que pasa por un punto (x1 , y1 ) y
tiene pendiente m es:
y y1 = m (x x1 )
(2.3)
Ejemplo 2.5. Hallar la ecuacin de la recta que pasa por los puntos (2, 2)
y (3, 1) .
La representacin grfica de esta recta es:
y
3
2
1
-4
-3
-2
-1
-1
Figura 2.5
Por la ecuacin (2.2) tenemos:
m=
12
1
= .
3 2
5
1
(x 2) .
5
45
y = mx + (mx1 + y1 ) .
Definiendo b = mx1 + y1 , encontramos una ecuacin de la recta que
seguramente nos es muy familiar:
y = mx + b.
(2.4)
Note que b nos da el corte de la recta con el eje y, puesto que el punto
(0, b) est en la recta. Por otra parte, verifique que (2.4) se puede transformar
en:
Ax + By + D = 0,
(2.5)
46
(2.6)
47
10. Mostrar que el tringulo con vrtices (0, 2) , (3, 0) y (4, 8) es rectngulo.
11. Para hallar la frmula de la distancia del punto P = (x1 , y1 ) a la recta
l cuya ecuacin es ax + by + c = 0, con a 6= 0 6= b; dada por
d=
|ax1 + by1 + c|
,
a2 + b 2
2.4.
(2, 3)
1
-3 -2 -1
(0, 2)
1 2 3 x
-2
Figura 2.7
48
1
3 x
-3
1
1
49
2.4.1.
50
2.4.2.
Simetras
x
(x, y)
Figura 2.10: Respecto al eje x.
Ejemplo 2.12.
1. La relacin B, del Ejemplo 2.7 es simtrica respecto al eje x. No olvide
revisar la veracidad de esta afirmacin.
51
(x, y)
x
Figura 2.11: Respecto al eje y.
Ejemplo 2.14.
1. Las relaciones A y B del Ejemplo 2.7 son simtricas respecto al eje y.
No olvide revisarlo.
2. La relacin C del Ejemplo 2.7 no es simtrica respecto al eje y; (3, 4)
est en C, pero (3, 4) no est en C.
Definicin 2.15. Simetra respecto al origen.
Una relacin A en R es simtrica respecto al origen, si para cada pareja
(x, y) en A, se tiene que la pareja (x, y) tambin est en A, como puede
observarse en la Figura 2.12.
Ejemplo 2.16.
1. La relacin B del Ejemplo 2.7 es simtrica respecto al origen. Observe
su representacin grfica y revise esta afirmacin.
2. Las relaciones A y C del Ejemplo 2.7 no son simtricas respecto al
origen. Justifique cada una.
52
y
(x, y)
x
(x, y)
Figura 2.12: Respecto al origen.
2.4.3.
53
y
(0, 3/2)
(3, 0)
(3, 0)
x
(0, 3/2)
y
3
2
1
x
-1
2 3
Figura 2.14: Interseccin.
54
Ejercicio 2.20.
1. Representar grficamente, en cada caso:
2x + y 3 > 0
y30
a)
x 2y + 1 0
2
x 4y 2 < 9
b)
x2 + y 2 < 4x
2
4x + 8x > 4y y 2 7
|y 2| 1
c)
3 > x y
2. Justificar por qu la representacin grfica del sistema
8y < 5x 22
2 (x 1)2 3 (y 4)
es la Figura 2.15.
y
4
2
1
-1
-1
Figura 2.15
55
2.5. FUNCIONES
2.5.
Funciones
-3
-2
-1
4 x
Figura 2.16: R.
R es una funcin pues para cada x en R existe una nica pareja (x, 2)
que pertenece a R, como se v en la Figura 2.16.
Ejemplo 2.23. Sea R1 = {(x, y) R2 : y = 2x + 1} .
Para ver si R1 es una funcin, sean (x, y) , (x, z) R1 , entonces se cumple
y = 2x + 1 = z. Luego R1 es una funcin representada en la Figura 2.17.
56
y
y = 2x + 1
4
3
2
1
-3
-2
-1
-1
3 x
Figura 2.17: R1 .
Ejemplo 2.24. Considerar R2 = {(x, y) R2 : x2 + y 2 = 1} .
y
1
( 12 ,
3
)
2
1 x
-1
-1
( 12 , 2 3 )
Figura 2.18
Si (x, y) R2 entonces y = 1 x2 . Por tanto, x, 1 x2 y
2 son parejas que pertenecen a R . En particular, si x = 1 ,
x, 1
x
2
2
2.5. FUNCIONES
57
x3
x3
, g(x) =
;
(x + 1) (x 2)
(x + 1) (x 2)
58
2.6.
a0 + a1 x + a2 x2 + ... + an xn
,
b0 + b1 x + b2 x2 + ... + bm xm
59
con a0 , a1 , a2 , ..., an, b1 , b2 , ..., bm nmeros reales y m, n enteros no negativos; es decir, las obtenidas como cociente de dos funciones polinmicas.
Su dominio es el mayor subconjunto de R, donde esta expresin tiene
sentido, es decir, {x R : b0 + b1 x + b2 x2 + ... + bm xm 6= 0} .
3x4 4x3 + 5x 1
, cuyo
x2 + 5x + 6
dominio es el conjunto formado por todos los reales, excepto 3 y 2.
Un ejemplo de una funcin racional es y =
5. Funcin valor absoluto definida por y = |x| , es una funcin cuyo dominio son todos los nmeros reales y su recorrido los nmeros reales
no negativos. No ser difcil ver que sta es una funcin, ni elaborar su
grfico.
Antes de definir la siguiente funcin, respondamos la siguiente pregunta: cul es el mayor nmero entero que es menor o igual a 3,5? Si
pensamos en todos los enteros que son menores o iguales que 3,5 tenemos a 3, 2, 1, 0, 1, 2, ... y el mayor de ellos es 3. Por ello se dice que
la parte entera de 3,5 es 3 y se resume con la notacin [3,5] = 3.
6. Funcin parte entera Si x es un nmero real, llamamos la parte entera
de x : [x] , al mayor entero que es menor o igual que x; por ejemplo:
[4,001] = 4;
[3,99] = 3;
[1,5] = 2.
[2] = 2;
-1
60
Es fcil comprobar que sta es una funcin real, con dominio todos los
nmeros reales y el recorrido los nmeros enteros.
La anterior funcin es un ejemplo de un tipo de funciones llamadas escalonadas.
si
x < 1
x+3
2
x
si 1 x 1
f (x) =
1
(x
+
1)
si
x>1
2
La representacin grfica de f es la Figura 2.20.
y
3
2
1
-4
-3
-2
-1
4 x
-1
Figura 2.20: Funcin definida a trozos.
61
y = [3 x] ,
y = [3 2x] .
y = [2 (x 3)] ,
2
4 (x + 1) + 1 si
x < 1
2.7.
Igualdad de funciones
62
2.8.
g(f (2)) = g 23 + 1 = g (9) = 9 = 3.
Otra forma de expresar g(f (2)) es (g f ) (2) y se lee g compuesto f de 2.
Claramente, (g f ) (2) 6= (f g) (2).
Con base en lo anterior podemos formar una nueva funcin, la funcin
g f definida de la siguiente manera:
(g f ) (x) = g (f (x)) ,
cuyo dominio es el conjunto ms grande donde esta expresin tenga sentido;
es decir, Dom(g f ) = {x Domf : f (x) Domg} .
63
3
(f g) (x) = f ( x) = ( x) +1 = x3/2 + 1 y
Dom (f g) = {x [0, +)
: x R} = [0, +) .
(g f ) (x) = g (x3 + 1) = x3 + 1 y
Dom (g f ) = {x R : x3 + 1 0} = [1, +) .
Observe que, en general g f 6= f g; la composicin de funciones NO es
conmutativa. Sin embargo, verifique que s es asociativa.
Ejemplo 2.29.
Considere las funciones f y g dadas por:
x + 3 si x < 2
x 1 si x 0
2
si 2 x < 1
.
f (x) =
g(x) =
x
si x > 0
2
x
si x 1
Halle f g y g f, con sus respectivos dominios.
Como las funciones f y g estn definidas a trozos, para hacer la composicin es de gran utilidad graficar primero ambas funciones y ver cmo son
las imgenes de cada trozo.
y
y
y = f (x)
y = g(x)
2
2
1
1
-3
-2
1
Figura 2.21
-2
-1
1
-1
Figura 2.22
64
(x 1)2 si x 2
2
si 2 < x 0
=
.
2
si 0 < x < 1
2
( x)
si x 1
Al organizar los resultados obtenidos tenemos:
2
(x 1) si x 2
f g (x) =
2
si 2 < x < 1 .
x
si x 1
Para calcular g f se procede de manera similar y obtenemos:
g (x + 3) si x < 2
g (2)
si 2 x < 1
g f (x) =
g (x2 )
si x 1
(x + 3) 1 si x 3
x + 3
si 3 < x < 2
=
2
si 2 x < 1
2
x
si x 1
y como
65
x 4 si x 3
x + 3 si 3 < x < 2 .
g f (x) =
2
si 2 x < 1
x
si x 1
1+x
f g
y
g(x)
=
9 4x2 , hallar f + g, f.g, , , f g,
2
4x
g f
g f y sus respectivos dominios.
1. Si f (x) =
1
y g (x) = 1 x halle f g y su dominio. (Recuerde
2
1x
cmo se defini el dominio de la funcin compuesta.)
2. Si f (x) =
2x 2 si
x2 2
si
j(x) =
2x 2
si
definidas por:
x 1
1 < x < 1
x1
5 si x < 5
x
si 5 x 5
k(x) =
5
si x > 5
2x + 1 x2
1
2
y=
,
f (x) = x + 4.
y = 5x + ,
2
1+x
x
2.9.
66
67
-2
-1
1 2 3 4
-1
Figura 2.23: Funcin peridica.
68
2.10.
1
(x + 1)
3
=3
1
(x + 1) 1 = x,
3
69
Note que (1, 1) y (1, 1) estn en f, de modo que (1, 1) y (1, 1) deberan
estar en f 1 , pero esto no es posible porque en estas condiciones, 1 tendra
dos imgenes distintas por f 1 , y f 1 no sera una funcin. Luego, f (x) = x2
no tiene funcin inversa.
Sabemos que g(x) = x hace la operacin contraria de f y
2
f g(x) = f (g(x)) = f
x =
x = x = I(x), pero
g f (x) = g(f (x)) = g x2 = x2 = |x| ,
de modo que g f = I slo para x 0, en el dominio de f.
De lo anotado anteriormente, tenemos que g(x) = x es la funcin inversa de h(x) = x2 , para x 0. Note que h se obtiene a partir de f, pero
restringiendo su dominio.
Ejercicio 2.42.
70
p
3
f 1 f (x) = f 1 (x3 + 1) = ( 3 (x3 + 1) 1) = x3 = x, para cada real x.
En el siguiente grfico representamos a f y a f 1 en el mismo plano, para
apreciar la relacin que hay entre ellas, con respecto a la recta y = x.
y
3
y = x3 + 1
y=x
-4 -3 -2
-2
2 3 4
y = 3x1
-3
Figura 2.24: Relacin entre f y f 1 .
71
=
=
=
=
f (b)
b3 + 1
b3
b.
1. f (x) = 1 x.
2. f (x) =
1 + 3x
.
5 2x
3. f (x) = |x| .
4. f (x) = 1
2
, x > 0.
x2
2.11.
Funciones trigonomtricas
2.11.1.
Definiciones
Antes de definir las funciones trigonomtricas, vamos a aprender a medir ngulos en el sistema de radianes. Para hacer esto, recordemos que el
72
permetro de una circunferencia es p = 2r, donde r es el radio de la circunferencia. En particular, si r = 1, el permetro es 2. Si tomamos solamente
un cuarto de la circunferencia, la que se encuentra en el primer cuadrante,
= 2 ; al ngulo
la longitud del arco de esta parte de circunferencia ser 2
4
(x, y)
-1
-1
Figura 2.25: Circunferencia unitaria.
Definimos las siguientes funciones, las cuales llamaremos funciones trigonomtricas como sigue:
y
x
1
1
cot =
sec =
csc = ; (2.7)
x
y
x
y
73
siempre que estas expresiones tengan sentido. Conociendo sen y cos para
cada ngulo , es posible determinar las dems funciones trigonomtricas, ya
que se tiene:
tan =
sen
cos
cot =
cos
sen
sec =
1
cos
csc =
1
. (2.8)
sen
(2.9)
para cualquier ngulo ; esta igualdad se conoce como la identidad trigonomtrica fundamental.
Otra manera de definir las funciones trigonomtricas para un ngulo agudo es con base en las longitudes de los lados de un tringulo rectngulo, el
cual tiene a como uno de sus ngulos. Para estudiar esta deficin alternativa, veamos la Figura 2.26.
y
(x, y)
B 1
Figura 2.26
Por (2.7), sen = y, y cos = x. Como 4ABC y 4ADE son semejantes,
entonces tenemos:
DE
BC
y
=
= = y = sen ;
1
AE
AC
74
AD
AB
x
=
= = x = cos .
1
AE
AC
Por tanto, observando a como ngulo del 4ADE, podemos dar la siguiente definicin:
cateto opuesto
DE
=
hipotenusa
AE
AD
cateto adyacente
=
cos =
.
hipotenusa
AE
sen =
tan =
1
sen =
,
cos = ,
tan = 3,
3
2
3
2
3
2 3
cot =
,
sec = 2,
csc =
.
3
3
3
3
3
75
3
2
3
1
2
.
3
Utilizando los anteriores resultados, calcule los valores de las funciones trigonomtricas para 2
, 4
y 5
. Es cuestin de observar el cuadrante en el que
3
3
3
se encuentra cada ngulo.
Para hallar los valores de las funciones trigonomtricas de ngulos como
y sus mltiplos, observe las figuras 2.28 y 2.29. Recuerde que 4 es uno de
los ngulos agudos de un tringulo rectngulo
issceles; como la hipotenusa
2
es 1, se obtiene que cada cateto mide 2 .
,
6 4
2
2
4
2
2
1
1
.
4
76
y catetos de longitud 23 y 21 .
y
1
2
3
2
.
6
Los resultados obtenidos para estos ngulos se pueden resumir en el Cuadro 2.1.
sen
1
2
3
2
cos
2
2
2
2
3
2
1
2
Cuadro 2.1
Recuerde que slo con esta informacin es suficiente para conocer las seis
funciones trigonomtricas de estos ngulos y de sus mltiplos.
Al hallar los valores de las funciones trigonomtricas de ngulos como
0, 2 , , 3
y 2, basta observar la ubicacin del punto de corte entre el seg2
mento y la circunferencia. Por ejemplo, para 2 el punto de corte entre el
segmento y la circunferencia es (0, 1) , de modo que sen 2 = 1 y cos 2 = 0.
De acuerdo con la definicin de las funciones trigonomtricas y utilizando
los clculos anteriores de los valores de estas funciones para algunos ngulos,
77
podemos representar, en el plano cartesiano, las grficas de las funciones trigonomtricas. A continuacin presentamos las grficas de algunas funciones
trigonomtricas (ver figuras 2.30, 2.31, 2.32 y 2.33).
f (x) = senx, Domf = R, Imf = [1, 1] .
y
1
3
2
1
Figura 2.30: f (x) = sen x.
3
2
1
Figura 2.31: g(x) = cos x.
3
2
78
n
o
2 3
2
3
2
n
o
1
2 3
2
3
2
79
Ejercicio 2.46.
1. Graficar las funciones y = cot x, y y = csc x. Determinar su dominio, imagen, dnde son positivas, dnde son negativas. (Considerar los
ngulos en radianes.)
No es difcil ver que cada una de las funciones trigonomtricas es peridica: seno, coseno, secante y cosecante son de perodo 2, mientras
que tangente y cotangente son de perodo .
2. Ubicar un ngulo en el crculo de radio 1, as como , su opuesto;
determinar seno y coseno para cada uno de estos ngulos y establecer
una relacin entre ellos.
Notar que seno es una funcin impar y coseno es una funcin par. A
partir de esto, determinar si cada una de las dems funciones trigonomtricas es par o impar.
3. Graficar cada una de las siguientes funciones, hallar su dominio, imagen, perodo y determinar si es par o impar.
y = cos(2x),
y = 21 cos(x),
y = sec x
,
3
2.11.2.
y = cos( 12 x),
y = sen(x + ),
y = 2 cos(x),
y = 1 + sen(x),
y = |3 cos (2x + )| .
Identidades
80
c
Figura 2.34
81
y
C
b
c
Figura 2.35
Por 4DBC :
a2 =
=
=
=
=
2
a =
h2 + m2
(bsen)2 + (c n)2
b2 sen2 + (c b cos )2
b2 sen2 + c2 2bc cos + b2 cos2
b2 sen2 + cos2 + c2 2bc cos
b2 + c2 2bc cos .
m
A
B
1
Figura 2.36
82
(I)
(2.10)
cos
2
B = sen B.
De lo anterior,
sen(A B) =
=
=
=
(2.11)
cos
(A B)
2
cos
A +B
2
cos
A cos B sen
A sen B
2
2
sen A cos B cos A sen B,
(2.12)
83
puesto que
sen
A = cos
A
2
2
2
+A
= cos
2
2
= cos A.
por (2.12)
(2.13)
(2.14)
1 + cos 2A
2
(2.15)
84
sen2 A =
1 cos 2A
2
(2.16)
1 + cos
2
=
cos
2
2
.
1 cos
=
sen2
2
2
Ahora, usando las identidades (2.11) y (2.13) encontramos una expresin
para tan(A + B). Justifique cmo se hizo.
tan(A + B) =
tan A + tan B .
1 tan A tan B
c
Figura 2.37
85
2.11.3.
-1
4
- 2
Figura 2.38: f (x) = sen1 x.
86
Funcin
Restriccin
cos x
[0, ]
tan x
2 , 2
cot x
(0, )
0, 2 2 ,
2 , 0 0, 2
sec x
csc x
Cuadro 2.2
-1
-1
Figura 2.39: y = cos1 x.
x
y = cos x
87
y = tan x
y = arctan x
2.12.
Las funciones exponenciales y logartmicas son de gran importancia porque con ellas es posible modelar matemticamente algunos problemas de la
naturaleza y de la sociedad, como por ejemplo crecimiento de poblaciones,
inters compuesto y decaimiento radiactivo, entre otros.
2.12.1.
Funcin exponencial
5. (am )n = amn .
6. (ab)m = am bm .
a m am
= m.
7.
b
b
88
1/3
3
m 32 = 22/3 = (22 ) = 22 .
En una tabla de valores podemos resumir los resultados encontrados.
2
x
m (x)
1
4
= 0,25
12
1
1
2
= 0,5
1
2
0,7 1
2
3
1 2
4 1,58
2 4
Para considerar los valores irracionales de x, podemos pensar que simplemente se rellenanlos huecos que quedan en la grfica al considerar los
valores racionales de x. Una justificacin formal de este hecho requiere conceptos que en este momento estn fuera del alcance del curso.
La grfica de y = 2x se presenta a continuacin.
y
7
6
5
4
3
2
1
-4 -3 -2 -1
-1
Figura 2.41
x
Ejercicio 2.49. Realice la grfica de la funcin p (x) = 21 , halle su dominio e imagen y mencione sus principales caractersticas. Qu relacin,
89
1
x
Figura 2.42: Si 0 < a < 1
1
x
Figura 2.43: Si a > 1
90
2.12.2.
Funcin logartmica
Puesto que cada funcin exponencial es inyectiva, tiene inversa y su inversa se llama funcin logartmica,es decir, para cada a > 0, a 6= 1 se tiene
que
y = ax x = loga y
As, cada funcin logartmica y = loga x tiene dominio (0, +) , imagen R, es
inyectiva, contiene al punto (1, 0) y su grfica se obtiene reflejando la grfica
de y = ax con respecto a la recta y = x.
Si 0 < a < 1 la funcin logartmica es decreciente y si a > 1 la funcin
logartmica y = loga x es creciente, como se puede apreciar en las siguientes
grficas.
y = loga x
y
y
y = ax
y=x
y=x
y = ax
y = loga x
1
1
x
y = loga x
Figura 2.44: 0 < a < 1
91
Como consecuencia de las propiedades que se cumplen en el caso de los exponentes, obtenemos propiedades correspondientes para los logaritmos. Consideremos a, b, c, x > 0, z R.
1. loga 1 = 0.
2. loga a = 1.
3. loga (bc) = loga b + loga c.
4. loga
b
= loga b loga c.
c
logc b
. (til para cambiar de base los logaritmos).
logc a
92
b) log5(6x 7) = 2
d) ln e 2 = x 3
b) g (x) = log3 x
d) j (x) = log3 |x|
f ) l (x) = 2 + log3 x
h) n (x) = log3 (x 4)
2.12.3.
Algunas aplicaciones
Las funciones exponenciales y logartmicas tienen aplicacin en qumica, fsica, biologa e ingeniera ya que permiten modelar muchas situaciones en que crecen o decrecen las magnitudes en la naturaleza. Por ejemplo,
crecimiento de poblaciones, desintegracin radiactiva, leyes de enfriamiento,
inters compuesto, etc.
1. Una poblacin de bacterias se triplica cada hora. Si inicialmente hay 10
bacterias, cuntas bacterias hay al cabo de 6 horas?, cmo se expresa
el nmero de bacterias existentes a las t horas? y en cuntas horas se
tendrn 50,000 bacterias?
Vamos a notar b (t) a la cantidad de bacterias al cabo de t horas, de
modo que se tiene:
b (0) = 10
b (1) = 30 = 10,3
b (2) = 90 = 3 (30) = 3,3,10
b (3) = 270 = 3 (90) = 3,3,3,10
b (4) = 810 = 3 (270) = 3,3,3,3,10
Si continuamos este procedimiento se observa que b (t) = 10,3t y por lo
tanto, al cabo de 6 horas habr b (6) = 10,36 = 7,290 bacterias.
93
500000 1 +
100
100
100
1,5
1,5
= 500000 1 +
1+
100
100
2
1,5
.
= 500000 1 +
100
Si continuamos con este procedimiento, al cabo de t meses, el capital
en nuestra cuenta estar dado por:
t
1,5
C = 500000 1 +
.
100
A este tipo de inters se le llama inters compuesto. En general, si se
deposita en un banco un capital inicial P a un inters compuesto i por
un tiempo t, el capital final C estar dado por:
C = P (1 + i)t .
3. Tengo para invertir 10,000 dlares en una entidad bancaria extranjera a
un inters compuesto del 1 %. Si al final quiero obtener al menos 15,000
dlares, cul es el mnimo tiempo que debo mantener el dinero en el
banco para obtener este capital final?
94
1
1+
100
t
3
= ,
2
despejando t,
3
1
= log
t log 1 +
100
2
log 32
t =
1
log 1 + 100
t 40,749.
En conclusin, debo mantener el dinero en el banco por al menos 41
meses.
Ejercicio 2.53. Resolver los siguientes problemas:
1. En la fiesta de celebracin de sus 15 aos, Mara Camila recibi por
lluvia de sobres 2 millones de pesos, con la condicin de todos los aportantes que los deba invertir en un C.D.T que le pagara el 2 % inters
compuesto y que solo podra retirar el dinero al cumplir 18 aos. Cunto dinero recibi Mara Camila al cumplir 18 aos?Cul debera haber
sido el inters para recibir 5 millones al cumplir los 18 aos? Si el inters
sigue siendo al 2 % mensual, cunto tiempo debera dejar el C.D.T.
para recibir los 5 millones?
2. Se administran 100 miligramos de cierto medicamento a un paciente.
La cantidad de miligramos restantes en el torrente sanguneo del paciente disminuye a la tercera parte cada 5 horas. Cuntos miligramos
de medicamento quedan en el torrente sanguneo del paciente al cabo de 3 horas? Despus de cunto tiempo quedar 1 miligramo de
medicamento en el torrente sanguneo del paciente?
CAPTULO
Lmites
3.1.
Introduccin
x2 si x 6= 2
Consideremos las funciones f (x) =
y
3 si x = 2
x3
si x 2
g(x) =
.
x 1 si x < 2
Grafiquemos las anteriores funciones y hallemos las imgenes de algunos valores de x cercanos a 2, para completar el cuadro 3.1.
x
2,2
f (x)
g(x)
Cuadro 3.1
Qu ocurre con las imgenes de x por f, a medida que x se acerca a 2?
Qu ocurre con las imgenes de x por g, a medida que x se acerca a 2?
El objetivo de este captulo es responder preguntas como las anteriores,
por medio del concepto de lmite de una funcin real. Primero debemos adop95
96
CAPTULO 3. LMITES
x2
Analicemos ahora los resultados que usted obtuvo al hallar las imgenes
de x por las anteriores funciones. Si sus conclusiones son correctas, debi ver
que a medida que nos acercamos a 2, las imgenes, mediante la funcin f, se
acercan a 4, mientras que las imgenes mediante la funcin g se acercan a 1
para valores de x menores que 2, y las imgenes se acercan a 8 para valores
de x mayores que 2. En una situacin como la anterior, es usual decir que
g(x) se acerca a 1 por la izquierda de 2, y se acerca a 8, por la derecha de 2.
(Observe su grfica de g).
Naturalmente, estas conclusiones se obtuvieron con base en la grfica y la
tabulacin de las funciones. Ahora, nuestro objetivo es formalizar estas ideas
y este comportamiento de las funciones a travs de la definicin de lmite.
Adems, probaremos algunas propiedades acerca de los lmites.
Antes de comenzar la siguiente seccin, es conveniente que, con la ayuda
de una calculadora, elabore tablas de valores para cada una de las siguientes
funciones, con el fin de contestar: qu ocurre con h(x) cuando x se acerca a
a?
1. h(x) = x + 1; a = 1.
2. h(x) = x2 8; a = 4.
3. h(x) = [x] ; a = 1, a = 12 .
4. h(x) =
x2 1
;
x1
a = 1, a = 2.
5. h(x) = x1 ; a = 0.
6. h(x) =
sen x
;
x
a = 0.
7. h(x) = sen x1 ; a = 0.
Note que para poder tabular, h debe estar definida alrededor de a; sin embargo, no nos interesa lo que ocurra en a. Por ejemplo, h no est definida en
a = 0 para las funciones dadas en 5, 6 y 7.
97
3.2.
Definicin de lmite
xa
Figura 3.1
Buscamos una definicin que exprese lo siguiente: a medida que x se
acerca al punto a, las imgenes de f se acercan a b. Observe que los valores
de x cercanos a a se encuentran en un intervalo A que contenga a a; de
manera similar, en un intervalo B que contenga a b, se encuentran los valores
cercanos a b, y cuanto ms pequeo sea ese intervalo B, ms cerca se estar
de b.
As, podemos afirmar que para cualquier intervalo B, alrededor de b,
queremos encontrar un intervalo A, alrededor de a, tal que si x est en A,
x 6= a (es decir, x est cerca de a), entonces f (x) est en B (es decir, f (x)
est cerca de b).
98
CAPTULO 3. LMITES
y
_
b
f (x)
^
(
A
x a
Figura 3.2
Si encontramos el intervalo A que satisface las condiciones anteriores, el reto
est en encontrar un intervalo A correspondiente a un intervalo B, cada vez
ms pequeo; es decir, acercndonos cada vez ms a b. Por otra parte, una
vez que hemos encontrado el intervalo A que satisface las condiciones, un
intervalo ms pequeo que A, que contiene a a, tambin las satisface. Nos
interesa que las imgenes de puntos cercanos a a se acerquen a b; sin embargo,
no nos interesa qu pasa con la imagen de a; por esto no exigimos que f (a)
est en B, ni siquiera necesitamos que f est definida en a.
La idea ahora es transformar la definicin anterior, dada en trminos de
los intervalos A y B, para hacerla ms prctica a la hora de mostrar lmites
y sus propiedades. Los intervalos A y B podemos pedirlos centrados en a y
b respectivamente; para ello necesitamos dos radios positivos. Se acostumbra
llamar al radio del intervalo alrededor de b, esto en el eje y, y al radio
del intervalo alrededor de a, en el eje x, de modo que A = (a , a + ) y
B = (b , b + ) .
(
a
a
|
{z
r=
)
a+
}
Figura 3.3
De este modo, la anterior definicin tambin puede escribirse as: Para
99
)
x a+ x
Figura 3.4
Por otra parte, la expresin x (a , a + ) equivale a decir que la distancia
entre x y a es menor que .
(
a
|x a|
}| {
a
|
x
{z
)
a+
}
Figura 3.5
Con base en lo comentado hasta ahora, vamos a dar la definicin formal del
lmite de una funcin real.
Definicin 3.1. Si f es una funcin real, definida alrededor de a, no necesariamente en a, diremos que lm f (x) = b (el lmite cuando x tiende a a de
xa
100
CAPTULO 3. LMITES
y
f (x)
3
2
1
(
)
1 x 2
Figura 3.6
Grficamente se observa que cuando x se acerca a 1, su imagen se acerca
a 3. Debemos probar esto usando la definicin formal de lmite, es decir,
debemos probar que para todo > 0, existe (podemos encontrar) un > 0,
tal que si 0 < |x 1| < , entonces |(2x + 1) 3| < .
>
0. Tomemos
|(2x + 1) 3| = |2x 2|
= |2(x 1)|
= |2| |x 1|
(Pues |x 1| < )
< 2.
2
2
= .
Por consiguiente: lm (2x + 1) = 3.
x1
101
2. lm 3 = 3.
x2
3. lm1 [x] = 0.
x 2
4. Si f (x) =
7x + 3 si x 6= 1
. Demostrar que lm f (x) = 4.
5
si x = 1
x1
5. lm (mx + b) = ma + b.
xa
En los lmites del ejemplo 3.2 y del ejercicio 3.3, las funciones involucradas
son bsicamente funciones lineales. En el ejercicio 3 la funcin no es lineal;
sin embargo, en un intervalo pequeo, alrededor de x = 12 , esta funcin es
lineal, lo que hace que este lmite se demuestre de una manera similar a la
forma como se hace para las funciones lineales. Por otra parte, en el ejercicio
4, el hecho de que f (1) = 5 no interfiere con la demostracin del lmite,
puesto que all se ignora por completo el punto x = 1.
102
CAPTULO 3. LMITES
Ahora vamos a ver que no existe una manera sistemtica de hacer demostraciones acerca de lmites de funciones, sino que, por el contrario, en cada
tipo de funcin debemos buscar algn truco diferente para lograr encontrar
el apropiado y as, escribir la demostracin. Incluso para una funcin tan
sencilla como f (x) = x2 , la demostracin ya no se parece al caso lineal.
Ejemplo 3.4. Demostrar que lm x2 = 1.
x1
Antes de hacer la demostracin, veamos a dnde tenemos que llegar. Debemos
demostrar que para cada > 0 existe un > 0, tal que si 0 < |x 1| < ,
entonces |x2 1| < . En principio, partiremos de |x2 1| < para tratar
de encontrar el adecuado.
2
x 1 < implica
|x 1| |x + 1| <
|x 1|
1
0
3
3
<
<
<
<
<
1
x1<1
x<2
1<x+1<3
x + 1 < 3.
103
n o
<
|x + 1|
(Porque |x 1| < )
3
3
Como |x 1| < 1 entonces |x + 1| < 3. (Por lo realizado anteriormente). As,
2
x 1 < |x + 1|
3
<
3 = .
3
y
2
_
y = x2
1
= 43
^
1
1
4
)
1
1+
1
4
Figura 3.7
Respecto a la
demostracin
anterior, veamos por ejemplo que si = 34 ,
1
1
entonces = mn
, 1 = , mientras que para 3 se tiene
4
4
104
CAPTULO 3. LMITES
= mn
o
, 1 = 1. Cuando el intervalo en el eje y, alrededor de 1, es
3
suficientemente grande, entonces con seguridad para x en (0, 2) , x 6= 1, la
imagen se encuentra en (1 , 1 + ) .
Como puede observarse, la demostracin no es tan inmediata pues tuvimos que utilizar un truco para acotar |x + 1| . Si la funcin es diferente,
seguramente tendremos que utilizar un truco diferente cada vez.
Note que demostrar que lm (2 3x2 ) = 10 no es muy diferente al
x2
x + 1 si x 0
x
si x < 0
y
4
3
2
1
-3
-2
-1
-1
-2
-3
Figura 3.8
3 x
105
2. lm f (x) 6= a, si a > 1.
x0
4. lm f (x) 6= a, si a < 0.
x0
7. Demostrar que lm
106
CAPTULO 3. LMITES
8. Si f (x) =
x si x Q
, demostrar que:
1 si x
/Q
a) lm f (x) = 1.
x1
b) lm f (x) no existe.
x2
3.3.
xa
1. lm (f (x) + g(x)) = L + M.
xa
2. lm (f (x) g(x)) = L M.
xa
3. lm f (x)g(x) = LM.
xa
Prueba.
1. Debemos probar que para todo > 0, existe > 0, tal que si
0 < |x a| < , entonces |(f (x) + g(x)) (L + M )| < .
Sea > 0, como lm f (x) = L y lm g(x) = M, entonces sabemos que:
xa
xa
107
Como vamos a considerar los valores de x que cumplan ambas condiciones a la vez, entonces tomemos = mn {1 , 2 } ; por tanto:
(a , a + ) (a 1 , a + 1 ) y (a , a + ) (a 2 , a + 2 ) .
De modo que si 0 < |x a| < , entonces |f (x) L| < y
|g(x) M | < .
Por consiguiente:
|(f (x) + g(x)) (L + M )| = |(f (x) L) + (g(x) M )|
|f (x) L| + |g(x) M |
< + = 2
Por tanto,
|(f (x) + g(x)) (L + M )| < 2
(3.1)
108
CAPTULO 3. LMITES
Primero vamos a buscar un adecuado, para luego si escribir la demostracin. Es claro que
|f (x)g(x) LM | = |f (x)g(x) f (x)M + f (x)M LM |
= |f (x)(g(x) M ) + M (f (x) L)|
|f (x)| |g(x) M | + |M | |f (x) L|
Por consiguiente:
|f (x)g(x) LM | |f (x)| |g(x) M | + |M | |f (x) L|
(3.2)
Sabemos que |g(x) M | y |f (x) L| estn acotadas por el real que necesitemos, gracias a los lmites, y puesto que |M | es constante, debemos
tratar de acotar |f (x)|. Como lm f (x) = L, entonces para todo > 0
xa
(3.3)
y |f (x) L| <
,
2 (1 + |L|)
2 |M |
(3.4)
xa
109
.
0 < |x a| < 3 , entonces |g(x) M | <
2 (1 + |L|)
|g(x) M | <
.
2 (1 + |L|)
Luego,
|f (x)g(x) LM | = |f (x)g(x) f (x)M + f (x)M LM |
= |f (x)(g(x) M ) + M (f (x) L)|
|f (x)| |g(x) M | + |M | |f (x) L|
< |f (x)|
+ (|M | + 1)
2 (1 + |L|)
2 (|M | + 1)
< (1 + |L|)
+
(|M | + 1)
2 (1 + |L|) 2 (|M | + 1)
= .
110
CAPTULO 3. LMITES
|M | |g(x)|
Por tanto:
f
(x) L |f (x) L| + |L| |g(x) M | .
g
M
|g(x)|
|M | |g(x)|
|M |
.
2
Por consiguiente:
|M | |g(x)| <
|M |
2
|M |
< |g(x)| ,
2
1
2
<
.
|g(x)|
|M |
Prueba. Utilizando la pequea introduccin anterior y trabajando de manera similar a la prueba de la parte 3 del ltimo teorema demostrado, ser
un muy agradable ejercicio.
111
|L M |
2
|L M | = |L f (x) + f (x) M |
|L f (x)| + |f (x) M |
= |f (x) L| + |f (x) M |
|L M | |L M |
+
<
2
2
= |L M | .
Hemos obtenido que |L M | < |L M | , pero, por la propiedad de tricotoma, esto no es posible. Luego, L = M.
Nota. En este momento demostrar, por ejemplo, que lm (5x 3) 6= 1
x2
puede ser algo muy sencillo.
Por el punto 5 del ejercicio 3.3 sabemos que lm (mx + b) = ma + b, de modo
xa
x2
112
CAPTULO 3. LMITES
xa
(3.6)
xa
lm (x + 1)
x+1
0
x1
=
=
= 0.
2. lm
x1 x 1
lm (x 1)
2
x1
x+2
. Como lm (x2 4) = 0 no podemos utilizar el teorema
x2 x2 4
x2
3.9; sin embargo, notemos que el polinomio del numerador x+2 tambin
se anula en x = 2, es decir, 2 es una raz del numerador y del
denominador, y podemos factorizar los polinomios.
x+2
x+2
lm 2
= lm
x2 x 4
x2 (x 2) (x + 2)
Recordemos que en el clculo de este lmite estamos trabajando con
valores de x cercanos a 2, nunca con 2, de modo que al calcular el
lmite x + 2 no se anula y, por tanto, puede simplificarse. As:
x+2
x+2
lm 2
= lm
x2 x 4
x2 (x 2) (x + 2)
1
= lm
x2 x 2
1
= . Ahora s, por el teorema 3.9.
4
3. lm
113
Ejemplo 3.13.
Calcular los siguientes lmites:
1
1
= . Como consecuencia del ejercicio anterior y los teore1. lm
x9 x + 3
6
mas para el lmite de una suma, un cociente y la funcin constante.
3+h 3
2. lm
. Observar que en este caso no podemos utilizar el teoh0
h
rema 3.9 y, a diferencia de un ejemplo anterior, no podemos factorizar.
Lo que vamos a hacer es multiplicar la funcin por 1, disfrazado convenientemente.
3+h 3
3+h 3 3+h+ 3
= lm
lm
h0
h0
h
h
3+h+ 3
(3 + h) 3
h0 h
3+h+ 3
h
= lm
h0 h
3+h+ 3
1
= lm
h es cercano a 0, y h 6= 0
h0 3 + h +
3
1
= . Ahora s, por el teorema 3.9.
2 3
= lm
t2 + 16 4
x2 8x + 15
4) lm
5)
l
m
t0
x5 x2 3x 10
t2
(5 + h)2 25
3) lm
h0
h
(3 + h)1 31
h0
h
6) lm
114
3.4.
CAPTULO 3. LMITES
Lmites unilaterales
xa
y
4
3
2
1
-1
4 x
-1
Figura 3.9
En este caso tenemos que, aunque el lmite no existe cuando x se acerca
a a, siendo a entero, podemos ser menos exigentes y no acercarnos a a por
ambos lados, sino solamente desde valores mayores que a, por derecha; o
desde valores menores que a, por izquierda.
115
Definicin 3.15.
1. Si f es una funcin definida a la derecha de a, no necesariamente en
a, diremos que el lmite de f, cuando x tiende a a por la derecha, es el
real L :
lm+ f (x) = L,
xa
si para cada > 0, existe > 0, tal que si a < x < a (es decir,
< x a < 0), entonces |f (x) L| < .
En los lmites laterales necesitamos que las imgenes f (x) se encuentren
cada vez ms cerca de L, para valores de x cercanos a a, pero slo nos
acercamos por uno de los lados de a.
x
, que se representa grficamente en la
Consideremos la funcin h(x) =
|x|
figura 3.10.
y
2
1
-3
-2
-1
1
-1
-2
Figura 3.10
3 x
116
CAPTULO 3. LMITES
x0
x2
xa
lm+ f (x) = L.
xa
Prueba. Recordemos que esta demostracin consta de dos partes. Supongamos primero que lm f (x) = L, es decir, para cada > 0, existe > 0, tal
xa
xa
Notemos que gracias al teorema 3.16, para demostrar que lm [x] no exisx2
te, basta mostrar que lm [x] 6= lm+ [x] . Esto puede resultar ms sencillo,
x2
x2
117
0 si x Q
Demostrar que lm f (x) no existe, siendo
1 si x
/Q
xa
a cualquier nmero real. (Observar que esto es suficiente para demostrar que lm f (x) no existe).
1. Sea f (x) =
xa
lm x).
x0
1
1
2
b) lm+
a) lm 16 x
x0
x4
x |x|
c)
lm+
x2
3.5.
|x 2|
x2
d)
lm+
x1
x2 1
|x 1|
Lmites trigonomtricos
En esta seccin vamos a estudiar los lmites que involucran funciones trigonomtricas. En la seccin 4.1 se introdujo de manera informal el concepto
de lmite; uno de los ejercicios planteados all fue analizar el comportamiento
1
de la funcin f (x) = sen , cuando x se acerca a 0. All se debi observar
x
que las imgenes de valores de x cercanos a cero, no se aproximan a ningn
valor particular.
1
no existe. (Tener en cuenta el
x
comportamiento oscilante de la funcin seno).
Ejercicio 3.18. Demostrar que lm sen
x0
118
CAPTULO 3. LMITES
xa
xa
h(x)
g(x)
L
f (x)
x
a
Figura 3.11
Prueba. Debemos probar que para todo > 0, existe > 0, tal que si
0 < |x a| < , entonces |g(x) L| < .
Sea > 0; por hiptesis sabemos que lm f (x) = lm h(x) = L; por tanto:
xa
xa
119
1
1,
x
120
CAPTULO 3. LMITES
Figura 3.12
1. Llamemos s a la longitud del arco BC; por las relaciones en el crculo
se tiene la siguiente proporcin:
s
=
,
2r
2
entonces:
s = r.
(3.8)
=
,
2
r
2
de modo que:
A = 12 r2 .
(3.9)
121
C
x
x
-1
B
A
Figura 3.13
Observando la figura 3.13 se tiene que para el ngulo x, el arco correspondiente BC tiene longitud x (por 3.8) y el segmento AC tiene longitud
sen x, ya que estamos en un crculo de radio 1. Adems, como BC < x y AC
es un cateto del tringulo ABC y BC es su hipotenusa, entonces:
0 sen x x,
y puesto que lm+ 0 = 0 = lm+ x, por el teorema del emparedado se tiene
x0
x0
0 sen (x) x
0 sen x x
x sen x 0.
Como lm 0 = 0 = lm x, entonces lm sen x = 0.
x0
x0
x0
<x< .
2
2
122
CAPTULO 3. LMITES
(3.10)
y
1
C
x
x
B
1 x
Figura 3.14
Note que (3.10) tambin es vlida si se considera x tal que
Entonces
< x < 0.
2
(1 cos x)2 x2
|1 cos x| = |cos x 1| |x|
|x| cos x 1 |x| .
Puesto que lm |x| = 0 = lm |x| , entonces lm (cos x 1) = 0.
x0
x0
x0
As:
lm cos x = lm [(cos x 1) + 1]
x0
x0
= lm (cos x 1) + lm 1
x0
= 0+1
= 1.
x0
123
lm
x0
sen x
h(x)
x
x0
x
O
-1
B
A
Figura 3.15
Se tiene que DB y CA son paralelos al eje y. Por la construccin, 4OBD y
4OAC son semejantes, lo que implica que:
OA
OB
=
.
AC
BD
Como OA = cos x, AC = sen x y OB = 1, entonces
BD =
sen x
= tan x.
cos x
124
CAPTULO 3. LMITES
Por otra parte, el rea de 4OAC es menor al rea del sector circular OBC
y sta, a su vez, es menor al rea de 4OBD. Como:
1
1
bh = cos x sen x
2
2
1 2
1
rea (sector OBC) =
r = 1x
(por 3.9)
2
2
1
1
rea (4OBD) =
bh = 1 tan x.
2
2
rea (4OAC) =
Entonces
1
1
1
cos x sen x x tan x,
2
2
2
luego:
cos x sen x x tan x.
Si dividimos las desigualdades anteriores por sen x y con base en que sen x
es mayor que cero cuando 0 < x < 2 , tenemos:
cos x
x
1
sen x
cos x
sen x
1
.
x
cos x
(3.11)
Esta desigualdad que es vlida para 0 < x < 2 , tambin es vlida para
2 < x < 0. Esto puede demostrarse con un anlisis similar, pero teniendo
cuidado al realizar las operaciones que hicimos antes, ya que algunos trminos
sern negativos.
1
Por tanto, tomaremos f (x) = cos x, h(x) =
y ya que
cos x
1
lm cos x = lm
= 1, al utilizar el teorema del emparedado se obtiene
x0
x0 cos x
sen x
lm
= 1.
x0 x
1 cos x
.
x0
x
Como x tiende a cero, entonces en algn intervalo alrededor de 0,
cos x 6= 1, es decir, cos x + 1 6= 0; por tanto:
Ejemplo 3.24. Calcular lm
lm
x0
1 cos x
(1 cos x) (1 + cos x)
= lm
x0
x
x (1 + cos x)
1 cos2 x
= lm
x0 x (1 + cos x)
sen2 x
= lm
x0 x (1 + cos x)
sen x sen x
= lm
x0
x 1 + cos x
sen x
sen x
0
= lm
lm
= 1. = 0.
x0 x x0 (1 + cos x)
2
1 cos x
= 0.
x0
x
Luego, lm
Ejemplo 3.25.
sen 3x
x0
x
Calcular lm
sen 3x
sen 3x
= lm 3
x0
x0
x
3x
lm
x0
sen 3x
=
x
sen 3x
3x
sen
= lm3
0
sen
= 3lm
0
= 3,1 = 3.
lm 3
3x0
125
126
CAPTULO 3. LMITES
Ejemplo 3.26.
tan 3x
x0 5x
Calcular lm
sen 3x 1
cos 3x 5x
1
sen 3x
lm 3
x0
3x 5 cos 3x
3
sen 3x
1
lm
lm
x0 cos 3x
5 x0 3x
3
sen 3x
1
lm
lm
x0 cos 3x
5 3x0 3x
3
3
11= .
5
5
tan 3x
lm
= lm
x0 5x
x0
=
=
=
=
Ejercicio 3.27.
1. Utilizar el teorema del emparedado para calcular los siguientes lmites:
x
1
a) lm
b) lm x cos
x0 sen x
x0
x
2. Calcular los siguientes lmites:
sen2 x
x0
x2
b) lm
1 cos 3x
x0 sen 5x
d) lm
a) lm
c) lm
3.6.
sen 3x
x0 sen 5x
x0
sen x
|x|
Cuando a > 0 y a 6= 1, con ayuda de las grficas de las funciones exponenciales y logartmicas, no es difcil observar que
lmax = ab ,
xb
xc
127
Realizar las demostraciones de estos lmites con los elementos que tenemos hasta el momento, no es muy natural. La mejor manera de hacerlo es
siguiendo el procedimiento como surgieron estas funciones histricamente.
Para realizarlo, es necesario utilizar el concepto de integral de una funcin,
el cual se trabajar con mucho detalle en el siguiente curso de clculo, donde
se dedica suficiente tiempo a estas funciones. Por ahora, asumiremos estos
lmites sin su demostracin formal.
Sin embargo, para no quedarnos con el sabor amargo de no presentar
los detalles de estas demostraciones, a continuacin vamos a presentar la
demostracin de uno de estos lmites en particular. Para comprender esta
demostracin solo es necesario recordar las propiedades de estas funciones
como las caractersticas bsicas de sus grficas. Como de costumbre, no se
quede sin revisar todos los detalles que no se hayan justificado.
Ejemplo 3.28.
lm ex = 1.
x0
|ex 1|
<
<
<
<
x < ln (1 + )
ex < 1 +
ex 1 <
.
Para terminar,
observemos que al considerar 1, basta tomar por ejemplo
= ln 23 (ste fue el obtenido en el caso anterior al considerar = 1/2,
de modo que dicho tambin funcionar bien al tomar un 1).
128
CAPTULO 3. LMITES
ln x 1
x1 5x 3
3) lm
3.7.
3.7.1.
4) lm
Lmites infinitos
Lmites en el infinito
1
Consideremos la funcin f (x) = . Queremos analizar el comportamiento
x
de f cuando x se hace cada vez ms grande. Para esto, podemos calcular
imgenes de valores como 10, 100, 1000, ..., 50000, etctera, y observar qu
comportamiento tienen estas imgenes por la funcin f .
y
2
1
-1
-1
Figura 3.16
Concluimos que las imgenes de f, en estas circunstancias, se hacen cada
vez ms pequeas pero siempre son positivas; de hecho, es evidente que las
imgenes se acercan a cero por valores positivos. Queremos expresar este
comportamiento en trminos de lmites. En este caso escribiremos:
1
= 0.
x x
lm
129
x
Figura 3.17
Este concepto se expresa de la siguiente manera:
Para todo intervalo de la forma (b , b + ) , existe un N > 0, tal que si
x > N, entonces f (x) (b , b + ) .
y
b+_
b
f (x)
b^
Figura 3.18
Observemos que, al igual que cuando estudiamos la definicin 3.1, dar un
intervalo cualquiera (b , b + ) expresa cercana a b, y decir que existe un
N > 0, tal que x > N, expresa que x puede ser tan grande como se quiera.
130
CAPTULO 3. LMITES
1
< |x|
1
Tomamos entonces N = . Procedamos ahora a la demostracin.
1
1
Prueba. Dado > 0, sea N = , tal que si x > , entonces:
1
x> >0
(3.12)
1
Como x > 0 implica que |x| = x, utilizando (3.12) tenemos que |x| > , de
donde:
1
>
|x|
Es decir:
131
1
< .
x
As concluimos la demostracin.
Ejercicio 3.32.
1. Demostrar:
a) lm
x x2
= 0.
1
= 0, si a > 0.
x xa
c) lm k = k.
b) lm
sen x
= 0.
x x2
d) lm
1. lm (f (x) + g(x)) = L + M.
x
2. lm (f (x) g(x)) = L M.
x
3. lm f (x)g(x) = LM.
x
132
CAPTULO 3. LMITES
f
L
(x) =
, siempre que M 6= 0.
x g
M
4. lm
3x3 2x2 1
Ejemplo 3.35. Calcular lm
x 4x3 + 5x 3
1
Utilizaremos el hecho de que lm a = 0, si a > 0. Como x tiende a
x x
1
infinito, entonces x 6= 0 y, por tanto, 3 est definido. Luego:
x
1
(3x3 2x2 1)
x3
x 13 (4x3 + 5x 3)
x
2
3x3
2x
x13
x3
x3
lm 4x3 5x
x
+ x3 x33
x3
3 x2 x13
lm
x 4 + 52 33
x
x
3x3 2x2 1
=
x 4x3 + 5x 3
lm
lm
=
=
1
m 4
3 , l
x x x
Como lm 3, lm x1 , lm
x
3x3 2x2 1
=
lm
x 4x3 + 5x 3
=
lm 3 lm
lm 4 +
300
3
= .
4+00
4
5x + 7
4x + 1
1) lm
2) lm 2
3) lm
x2 + 2 x
x 3x 1
x 2x 1
x
2x + 2 cos x
x 3x sen x
4) lm
2 x2
x 3 + x2
5) lm
133
3.7.2.
Lmites al infinito
1
Vamos a analizar el comportamiento de la funcin f (x) = 2 , cuando x se
x
acerca a 0. Si tomamos valores de x cercanos a cero y hallamos sus imgenes,
puede verse que stas se hacen cada vez ms grandes. Podemos expresar
este comportamiento diciendo que las imgenes tienden a infinito, cuando x
tiende a 0. Con base en la notacin de lmites, podemos escribir:
1
= .
x0 x2
lm
x
Figura 3.19
1
Si pensamos en la funcin g(x) = y analizamos el comportamiento de
x
las imgenes de x, cuando x se acerca a 0, veremos que por la derecha de
cero las imgenes son cada vez ms grandes (se van hacia infinito), y por
la izquierda son cada vez ms pequeas (se van hacia menos infinito). En
resumen:
1
1
lm+ = , lm = .
x0 x
x0 x
Nuestro objetivo ahora es dar las definiciones que describen los anteriores comportamientos. Empezaremos dando una definicin para el siguiente
lmite.
lm f (x) = .
xa
134
CAPTULO 3. LMITES
A medida que nos acercamos al punto a, las imgenes se hacen cada vez
ms grandes. Podemos describir el anterior comportamiento diciendo:
Para todo M > 0 existe un intervalo de la forma (a , a + ) , tal que si
x (a , a + ) , con x 6= a, entonces f (x) > M.
y
f (x)
a+
Figura 3.20
Formalmente, la definicin est dada de la siguiente manera:
Definicin 3.37. Si f es una funcin real, diremos que lm f (x) = (el
xa
x0 x2
= .
Debemos probar que para todo M > 0 existe > 0, tal que si 0 < |x| < ,
1
entonces 2 > M. Nuevamente, debemos empezar buscando un adecuado.
x
135
1
> x2 = |x| .
M
r
r
1
1
. Si 0 < |x| <
, entonces
Por tanto, dado M > 0, sea =
M
M
r
x2 <
1
M
y como x2 > 0:
1
> M,
x2
y concluimos as la demostracin.
Teorema 3.39. Sea a R. Si lm+ f (x) = c y lm+ g(x) = 0, donde
xa
c R {0} ,
entonces
si c > 0
,
f (x)
c<0
=
lm+
, si c > 0
xa g(x)
c<0
y
y
y
y
g(x) 0
g(x) 0
g(x) 0
g(x) 0
xa
por
por
por
por
valores
valores
valores
valores
positivos, ,
negativos.
negativos, ,
positivos.
se tiene que existe > 0 tal que si x (a, a + ) entonces g(x) > 0.
x+3
.
x2 x 2
Tenemos que lm x + 3 = 5 y lm x 2 = 0, donde x 2 < 0 para x < 2,
Ejemplo 3.40. Calcular lm
x2
x2
136
CAPTULO 3. LMITES
Ejercicio 3.41.
1. Demostrar:
a) lm
x3 (x
1
= .
3)2
1
= .
x0 |x|
b) lm
b) lm+ f (x) = .
xa
c) lm f (x) = .
xa
3. Demostrar:
1
= .
x0 x
1
b) lm = .
x0 x
1
c) lm+
= .
x3 3 x
a) lm+
137
3.7.3.
Ejercicio 3.42. Elaborar un grfico que ilustre la situacin anterior y escribir la definicin correspondiente a este lmite.
Vamos a mostrar algunos ejemplos de cmo resolver este tipo de lmites
para funciones polinmicas y racionales.
Ejemplo 3.43. Calcular lm (3x3 6x2 1) .
x
2x3 5x + 8
.
x+
x2 + 1
Como x es arbitrariamente grande, podemos dividir numerador y denominador de esta fraccin por x2 : la mayor potencia de x en el denominador.
Ejemplo 3.44. Calcular lm
2x3 5x + 8
lm
=
x+
x2 + 1
lm
x+
2x3
x2
xx2 +
2x
x+ 1
=
lm
5x
x2
8
x2
1
x2
5
+ x82
x
+ x12
138
CAPTULO 3. LMITES
5
8
1
, lm 2 y lm 2 son cero, los cocientes
x+ x x+ x
x+ x
2x x5 + x82
son negativos y como x se hace arbitrariamente grande, estos
1 + x12
cocientes tienden a .
Ejercicio 3.45. Calcular los siguientes lmites:
a) lm (5x4 7x3 + 12x)
b) lm (8x5 + x2 + x + 1)
x
x+
4x3 + 2x2 + 5
c) lm
x+ 2x2 + x 2
4x4 + x 1
x
x3
d) lm
No olvidemos que cuando decimos que un lmite nos dio , ese lmite
no existe, simplemente nos describe el comportamiento de la funcin.
3.8.
Asntotas
3.8.1.
Asntota vertical
xa
1
= , entonces la recta x = 3 es
x3 x 3
1
una asntota vertical de f (x) =
. Representarla grficamente.
x3
Ejemplo 3.46. Puesto que lm
3.8.2.
Asntota horizontal
lm f (x) = b.
x
139
3.8. ASNTOTAS
3.8.3.
Asntota oblicua
x+
Supongamos que
lm [f (x) (mx + b)] = 0.
(3.13)
x+
Vamos a encontrar una forma de hallar las constantes m y b que determinan dicha asntota oblicua.
1
= 0, al multiplicar este lmite con el lmite en (3.13) se
Como lm
x+ x
obtiene
lm
x+
f (x)
b
m
= 0.
x
x
(3.14)
Por otra parte, para todo nmero real b, ya sea cero o diferente de cero,
b
= 0; de modo que al sumar este lmite con el lmite en
se tiene que lm
x+ x
(3.14) se tiene que
lm
x+
f (x)
m = 0.
x
(3.15)
(3.16)
lm
sumar este lmite con el lmite en (3.13), se obtiene una frmula para hallar
la constante b:
lm [f (x) mx] = b.
x+
(3.17)
140
CAPTULO 3. LMITES
x2 + 1
.
Ejemplo 3.48. Hallar las asntotas oblicuas de f (x) =
x2
Vamos a calcular los lmites determinados en (3.16) y (3.17), si existen.
x2 + 1
x2 + 1
f (x)
= lm
= lm 2
= 1.
m = lm
x+ (x 2) x
x+ x
2 x+ x 2x
x +1
x2 + 1 x2 + 2x
b = lm [f (x) mx] = lm
x = lm
=
x+
x+ x 2
x+
x2
1 + 2x
lm
= 2.
x+ x 2
Ntese que al calcular estos lmites cuando x se obtiene el mismo
resultado.
Por lo tanto, la asntota oblicua de esta funcin es y = x + 2.
P (x)
, donde
Q (x)
grado(P (x)) = grado(Q (x)) + 1, la funcin f tiene asntota oblicua que se
puede identificar al hacer la divisin del polinomio P (x) entre el polinomio
Q (x) . El siguiente ejemplo muestra el procedimiento en este caso particular.
Caso particular: Cuando se tiene una funcin racional f (x) =
x2 + 1
, una funcin racional que cumx2
ple la condicin ya mencionada de los grados de los polinomios. Tenemos que
5
x2 + 1
= x+2+
. Esto se obtiene al hacer la divisin del polif (x) =
x2
x2
2
nomio x + 1 entre x 2 :
x2
x2
+ 1 x 2
2x
x + 2
2x + 1
2x + 4
5
+
Puesto que
lm [f (x) (x + 2)] = lm
x x
5
= 0,
2
3.8. ASNTOTAS
141
Ejercicio 3.50.
1. Determinar las asntotas para cada una de las siguientes funciones:
x3 x
x2 + 4x + 3
b) g(x) = 2
a) f (x) = 2
x 3x 4
x 4
c) h (x) =
x2 + 4
x1
d) j (x) = ex senx + x
2+
x2 4x
.
2
142
CAPTULO 3. LMITES
CAPTULO
Continuidad
4.1.
Introduccin
Observemos los grficos de las siguientes funciones en las figuras 4.1, 4.2
y 4.3.
y
a
Figura 4.1
a
Figura 4.2
Figura 4.3
Queremos pensar en el concepto de continuidad en un punto. Intuitivamente hablando, cules de las anteriores funciones son continuas en x = a?
Si nuestra intuicin nos dice lo mismo que la suya, podemos afirmar que
la figura 4.1 est lejos de representar una funcin continua en x = a. En la
figura 4.2, es posible que muchos de ustedes tiendan a aceptar que representa
una funcin continua en x = a, pero otros no pensarn lo mismo. Pero,
143
144
CAPTULO 4. CONTINUIDAD
4.2.
Definicin de continuidad
Definicin 4.1. Sea f una funcin real. Diremos que f es continua en a si:
1. f (a) existe.
2. lm f (x) existe.
xa
3. lm f (x) = f (a).
xa
145
x2
3. lm x3 = f (2).
x2
x2
x2
x2
x2
3. lm f (x) = f (2).
x2
146
CAPTULO 4. CONTINUIDAD
Ejemplo 4.6. Probar que h(x) =
x + 1 si x 0
x
si x < 0
no es continua en
x = 0.
Afortunadamente, nuestros lectores son muy responsables y podemos afirmar que lm h(x) no existe. Por qu? Por tanto, h no es continua en x = 0.
x0
En este caso, decimos que h es discontinua en x = 0.
Sin embargo, pruebe que h es continua en todo a R, a 6= 0.
Definicin 4.7. Diremos que f tiene una discontinuidad removible en x = a,
si f no es continua en a y lm f (x) existe.
xa
Por otra parte, diremos que f tiene una discontinuidad no removible en
x = a, si lm f (x) no existe.
xa
x2 2x 3
tiene una discontinuidad reEjemplo 4.8. La funcin f (x) =
x3
movible en x = 3, puesto que lm f (x) = 4, pero f no est definida en x = 3.
x3
Observemos su grfica en la figura 4.4.
y
4
Figura 4.4
Esta funcin es discontinua en x = 3 y esta discontinuidad se llama
removible porque la funcin casi es continua en 3. Puesto que existe el lmite
de esta funcin en x = 3, el problema no es tan grave. Podemos construir
una funcin fe que difiera con f nicamente en un punto y de manera que fe
sea continua en 3. Si fe la definimos como
x2 2x 3
si x 6= 3
fe(x) =
x
3
4
si x = 3
147
si x 6= 0
i(x) =
,
x
0
si x = 0
3. h(x) =
1
; a = 0.
x
x 1 si
6. k(x) =
sen1 12 x si
2
x
si
5. j(x) =
x>2
2 x 2 ; a = 2, a = 2.
x < 2
148
CAPTULO 4. CONTINUIDAD
4.3.
f
es continua en a, siempre que g(a) 6= 0.
g
Prueba.
1. Como f y g son continuas en a, entonces lm f (x) = f (a) y
xa
xa
xa
xa
xa
xa
149
3. Ms fcil.
Utilizando este teorema es muy sencillo justificar que las funciones constantes, las funciones lineales y, en general, las funciones polinmicas son
f (x)
continuas en todo a, con a R. Adems, las funciones racionales
(donde
g(x)
f (x), g(x) son polinomios) son continuas en a, si g(a) 6= 0.
Definicin 4.13. Diremos que una funcin real f es continua en un intervalo
abierto I Domf, si f es continua en a, para todo a I.
As, podemos afirmar que las funciones polinmicas son continuas en R
y las funciones racionales son continuas en todo su dominio.
Definicin 4.14. Sean a < b y f definida en [a, b] . Diremos que f es continua en [a, b] si:
1. f es continua en (a, b) .
2. f es continua en a por derecha, es decir, lm+ f (x) = f (a).
xa
Una funcin como y = 2x2 + 1 es continua en todos los reales. Demostrar esto puede ser un poco dispendioso utilizando la definicin, pero con
la ayuda del siguiente teorema que habla de la continuidad de una funcin
compuesta, es algo muy sencillo.
Teorema 4.15. Si g es continua en a y f es continua en g(a), entonces f g
es continua en a.
La demostracin de este teorema puede hacerse en cuatro renglones. Sin
embargo, vamos a ilustrar la situacin para que esos cuatro renglones sean
muy productivos.
Observemos los grficos 4.5 y 4.6.
Notemos que en la grfica de f nombramos los ejes y y z, en lugar de x
y y, respectivamente, pero este cambio no debe causarnos confusin.
150
CAPTULO 4. CONTINUIDAD
_
f (y)
z = f (y)
y = g(x)
_
1 g(x)
g(a)
f (g(a))
^
^
(
g(a) y
1
Figura 4.5
)
a x
Figura 4.6
xa
151
a) f (x) = x2 + 5x + 6.
b) g(x) = 1 x2 .
3x
c) l(x) =
.
x2 9
2
x si x 6= 0
e) h(x) =
.
1 si x = 0
2
x
si x Q
f ) j(x) =
.
x2 si x
/Q
d) k(x) =
|x|
.
x
3. Hallar los valores que puede tomar c para que f sea continua en todos
los nmeros reales, si
x + c2
, si x 2
f (x) =
2
x + 2cx , si x > 2.
4. Hallar los valores de para los cuales la funcin b(x) =
sea continua en:
a) [0, 1] .
x2
1
2x + 1
b) R.
x1
x2
)
a+
Figura 4.7
Recordemos que x puede estar a la derecha de a o a la izquierda de a. Si
hacemos h = x a, tenemos la Figura 4.8.
152
CAPTULO 4. CONTINUIDAD
(
a
)
x a+
a
h
Figura 4.8
h0
h0
h0
h0
= cos a 0 = cos a
Esto nos muestra que la funcin cos x es continua en todos los reales.
Sera muy descorts de nuestra parte no permitir que usted demuestre lo
mismo en el caso de la funcin sen x. Como consecuencia de las propiedades
de continuidad, tan x, cot x, sec x y csc x son continuas en sus respectivos
dominios.
Por otra parte, en la seccin anterior tambin se mostr que lm ex = 1 =
x0
h0
h0
a
h0
= e 1=e .
153
2. g(x) = cos( x3 ).
1. f (x) =
3. h(x) =
x
.
1 + sec x
4. j(x) = x179 +
163
.
1 + + sen2 x
x2
cos x
ex 1
6. l(x) = 8 2x
5. k(x) =
4.4.
154
CAPTULO 4. CONTINUIDAD
4.4.1.
Los tres teoremas de esta parte se presentan inicialmente sin demostracin para que sea ms sencillo precisar las ideas que ellos encierran. Sus
demostraciones se dejarn para la siguiente parte.
Teorema 4.19. Teorema del valor intermedio.
Si f es una funcin continua en [a, b] y f (a) < 0 < f (b), entonces existe
algn x en (a, b) , tal que f (x) = 0.
Grficamente estamos en casos como los siguientes (ver figuras 4.9 y 4.10).
y
Figura 4.9
Figura 4.10
Figura 4.11
Figura 4.12
Figura 4.13
b x
155
Por otra parte, podemos encontrar funciones que no cumplan las hiptesis y sin embargo satisfagan la tesis del teorema. No estara mal que usted
encontrara un ejemplo.
Teorema 4.20. f es acotada superiormente.
Si f es una funcin continua en [a, b] , entonces f est acotada superiormente en [a, b] , es decir, existe algn nmero N, tal que f (x) N, para todo
x en [a, b] .
Grficamente podemos obtener las figuras 4.14 y 4.15.
y
Figura 4.14
Figura 4.15
Figura 4.16
156
CAPTULO 4. CONTINUIDAD
a
Figura 4.17
b x
a
Figura 4.18
b x
Figura 4.19
,
1
.
2
11
f ( 12 ) = 83 < 0 < f ( 34 ) = 64
, entonces c 12 , 34 = (0,5, 0,75) .
67
11
f ( 85 ) = 512
< 0 < f ( 34 ) = 64
, entonces c 58 , 43 = (0,625, 0,75) .
Continuando este proceso, podemos conseguir una aproximacin de c tan
buena como se quiera.
157
Ejercicio 4.23.
1. Demostrar que f (x) = x5 3x2 + 2x 1 tiene por lo menos una raz
real.
2. Mostrar que 4x3 6x2 + 3x 2 = 0 tiene una solucin en [1, 2] .
3. Utilizar la funcin g(x) = x2 7 para hallar una aproximacin de
4.4.2.
7.
Demostraciones
158
CAPTULO 4. CONTINUIDAD
A
a
Figura 4.20
A est acotado superiormente por b. Adems, como f es continua en
[a, b] y f (b) > 0, entonces existe 2 > 0, tal que si b 2 < x b se
tiene f (x) > 0, de modo que estos x son tambin cotas superiores de
A.
Por el axioma de completez se tiene que A tiene mnima cota superior,
llammosla = SupA. Por lo anotado anteriormente se tiene que a < < b.
Queremos ver que f () = 0. Trabajemos por contradiccin:
1. Si f () < 0, por continuidad existe 3 > 0, tal que si 3 < x < +3 ,
entonces f (x) < 0.
Ahora, como = SupA, existe un x0 en A, tal que 3 < x0 < ;
es decir, f es negativa en [a, x0 ] .
Por otra parte, existe un x1 tal que < x1 < + 3 y se tiene que f
es negativa en [x0 , x1 ] y, por tanto, en [a, x1 ] . Tendramos que x1 A,
pero x1 > , lo cual contradice que = SupA. Luego no puede ser que
f () < 0.
2. Si f () > 0, existe un 4 > 0, tal que si 4 < x < + 4 , entonces
f (x) > 0. Como = SupA, existe un x2 en A, tal que 4 < x2 < ,
pero f es negativa en [a, x2 ] y f (x2 ) > 0 se contradicen.
Por tanto, f () = 0.
Lema 4.25. Si f es continua en a, entonces existe un > 0, tal que f es
acotada en (a , a + ) .
159
Prueba. Como lm f (x) = f (a), entonces para cada > 0 existe un > 0,
xa
160
CAPTULO 4. CONTINUIDAD
4.4.3.
Generalizaciones
161
Teorema 4.27. Si f es continua en [a, b] y f (a) > c > f (b), entonces existe
algn x en [a, b] , tal que f (x) = c.
Prueba. Sea g(x) = f (x).
g es continua en [a, b] y f (a) = g(a) < c < g(b) = f (b), entonces,
por el teorema anterior, existe x en [a, b] tal que
g(x) = c
f (x) = c
f (x) = c.
162
CAPTULO 4. CONTINUIDAD
y
N
N
Figura 4.21
El siguiente teorema complementa el Teorema 4.21 y juntos, conforman
el Teorema 4.32.
Teorema 4.31. Si f es continua en [a, b] , entonces existe algn z en [a, b] ,
tal que f (z) f (x), para todo x en [a, b] .
Prueba. Sea g(x) = f (x); g es continua en [a, b] , entonces, por el Teorema
4.21, existe algn z en [a, b] tal que
g(z) g(x), para todo x en [a, b]
f (z) f (x), para todo x en [a, b]
f (z) f (x), para todo x en [a, b] .
4.4.4.
163
Consecuencias interesantes
f (b)
Figura 4.22
Tenemos que f es continua en [0, b] y 0 = f (0) < < f (b), entonces, por
el Teorema 4.28, existe un x en [0, b] , tal que f (x) = x2 = .
Ejercicio 4.34. De manera similar que en el teorema anterior probar:
1. Todo nmero positivo tiene una raz nsima, para cualquier n natural.
2. Todo nmero tiene raz nsima, si n es impar.
Teorema 4.35. Si n es impar, entonces la ecuacin
xn + an1 xn1 + ... + a1 x + a0 = 0 tiene una raz.
Prueba. Sea f (x) = xn + an1 xn1 + ... + a1 x + a0 , continua en R.
lm (xn + an1 xn1 + ... + a1 x + a0 ) = + y
x+
an1
a1
a0
lm f (x) = lm xn 1 +
+ ... + n1 + n = , por ser n impar.
x
x
x
x
x
164
CAPTULO 4. CONTINUIDAD
Entonces, existen nmeros a, b con a < b, tales que f (a) < 0 < f (b) y
puesto que f es continua en [a, b] , entonces, por el Teorema 4.28, existe c en
[a, b] , tal que f (c) = 0. Luego, c es una raz de xn +an1 xn1 +...+a1 x+a0 =
0.
Note que el teorema anterior no es generalizable para n par; la ecuacin
x2 + 1 = 0 no tiene races reales.
Teorema 4.36. Si n es par y f (x) = xn + an1 xn1 + ... + a1 x + a0 , entonces
existe un nmero z, tal que f (z) f (x) para todo x.
Prueba. Como
a1
a0
an1
n
+ ... + n1 + n = + y
lm f (x) = lm x 1 +
x+
x+
x
x
x
lm f (x) = +, por ser n par, entonces existen
165
f (b)
c
z
b x
m
Figura 4.23
Si c > m, sea b > z, tal que f (b) > c. (Existe por el lmite ya mencionado en la demostracin del Teorema 4.36). Como f es continua en [z, b]
y m = f (z) < c < f (b), entonces existe x en [z, b] , tal que f (x) = c, y
as x es solucin de la ecuacin.
166
CAPTULO 4. CONTINUIDAD
CAPTULO
Derivadas
5.1.
Introduccin
Figura 5.1
Pero, puede afirmarse que, en general, una recta es tangente a una curva
si la interseca en un nico punto?
a
Figura 5.2
Figura 5.3
167
Figura 5.4
168
CAPTULO 5. DERIVADAS
f (a)
f (a + h)
a+h
Figura 5.5
La pendiente de esta recta secante est dada por
msec =
f (a + h) f (a)
.
h
169
a+h
a+h
Figura 5.6
Por lo anterior, la pendiente de la recta tangente a f en (a, f (a)) est
dada por:
f (a + h) f (a)
,
h0
h0
h
siempre que este lmite exista. Si este lmite existe, diremos que es la derivada
df
de f en a, notada f 0 (a)
(a) .
dx
mtang = lm msec = lm
5.2.
Definicin de derivada
Por tanto:
4 + 4h + h2 4
4h + h2
= lm
h0
h0
h
h
h (4 + h)
4+h
= lm
= 4.
= lm
h0
h0
h
1
f 0 (2) = lm
170
CAPTULO 5. DERIVADAS
Figura 5.7
Ejercicio 5.3.
1. Demostrar que
f (x) f (a)
.
xa
xa
f 0 (a) = lm
2
2. Determinar
la ecuacin de la recta tangente a f (x) = 2 x , en el
punto ( 2, 0).
171
h0
Debido a que cada uno de los sumandos (a + h)n1 , (a + h)n2 a, ..., an1 tiende
a an1 , cuando h 0 y hay n sumandos, entonces tenemos:
f 0 (a) = nan1 ,
con lo que se justifica el siguiente teorema.
Teorema 5.4. Si f (x) = xn , n Z+ y a R, entonces f 0 (a) = nan1 .
Una funcin no siempre es derivable en cada punto de su dominio, como
lo ilustra el Ejemplo 5.5.
Ejemplo 5.5. Mostrar que f (x) = |x| no es derivable en 0.
f (0 + h) f (0)
|0 + h| |0|
|h|
f 0 (0) = lm
= lm
= lm
pero este lmite
h0
h0
h0
h
h
h
|h|
|h|
no existe, puesto que lm+
= 1, y lm
= 1. Luego, f (x) = |x| no es
h0 h
h0 h
derivable en x = 0.
Observe que esta funcin no tiene recta tangente en el punto (0, 0) . Ninguna recta que contenga al origen es muy parecida a esta funcin alrededor
de x = 0.
172
CAPTULO 5. DERIVADAS
x
Figura 5.8
Ejemplo 5.6. Si f (x) = |x| , hallar f 0 (a) para a > 0 y a < 0.
1. Si a > 0 :
|a + h| |a|
|a + h| a
f (a + h) f (a)
= lm
= lm
.
h0
h0
h
h
h
Como a es positivo y h toma valores muy cercanos a 0, entonces a + h
a+ha
h
es positivo y f 0 (a) = lm
= lm = 1.
h0
h0 h
h
f 0 (a) = lm
h0
2. Si a < 0 :
|a + h| |a|
|a + h| + a
(a + h) + a
= lm
= lm
h0
h0
h0
h
h
h
h
= 1, ya que a + h es negativo, puesto que a es negativo y h
= lm
h0 h
es muy pequeo.
f 0 (a) = lm
De los ejemplos 5.5 y 5.6 podemos concluir que la funcin f (x) = |x| es
derivable en todo a R{0} y podemos definir una nueva funcin y = f 0 (x) :
la funcin derivada de f, con dominio R {0}, por:
1
si x > 0
0
f (x) =
.
1 si x < 0
Notemos que la ecuacin de la recta tangente a f (x) = |x| en el punto
(x, f (x)) es y = x, de pendiente 1, cuando x > 0 y, para x < 0, la ecuacin de
la recta tangente a f (x) = |x| en el punto (x, f (x)) es y = x, de pendiente
1.
Definicin 5.7. Dada una funcin real y = f (x) se define la funcin derivada de f , o simplemente la derivada de f por y = f 0 (x), donde:
Dom f 0 = {x R | f es derivable en x} .
173
g 0 (x) = lm
3. h(x) = x.
Existe otra situacin en la cual el concepto de derivada aparece de manera natural. Supongamos que s (t) nos da la posicin de objeto que se mueve
en lnea recta, transcurrido un tiempo t. En un tiempo t0 , el objeto est en la posicin s(t0 ) y en un tiempo t0 + h se encuentra en la posicin
s( t0 + h). Queremos encontrar la velocidad promedio del objeto en el intervalo transcurrido entre estos dos tiempos. Sabemos que la velocidad se
determina por
x
,
t
donde x es el espacio recorrido en el intervalo de tiempo t. Por tanto, la velocidad promedio en el intervalo de tiempo [t0 , t0 + h] podemos determinarla
por
v=
vprom. =
s (t0 + h) s (t0 )
s (t0 + h) s (t0 )
=
(t0 + h) t0
h
174
CAPTULO 5. DERIVADAS
s(t0 )
s(t0 + h)
t0
t0 + h
Figura 5.9
cada vez ms a la velocidad en el instante t = t0 , es decir, debemos hacer
que h tienda a 0. Por tanto:
Si s(t) representa la posicin de un objeto que se mueve en lnea recta,
en un tiempo t, definimos la velocidad instantnea en t = t0 por
s (t0 + h) s (t0 )
,
h0
h
v(t0 ) = lm vprom. = lm
h0
(5.2)
175
Al igual que cuando se dio el concepto de lmite, no podemos seguir calculando derivadas nicamente utilizando la definicin, pues de esta mane-ra
sera muy engorroso el trabajo. Ahora pretendemos presentar algunas propiedades de la derivada que nos facilitarn nuestro andar.
5.3.
Propiedades de la derivada
h0
h0
decir, f es continua en a.
El Ejemplo 5.5 nos ilustra que el recproco del teorema anterior es falso,
puesto que y = |x| es una funcin continua en 0, que no es derivable en 0.
Teorema 5.12. Si f y g son funciones derivables en a, entonces f + g es
derivable en a, y
(f + g)0 (a) = f 0 (a) + g 0 (a).
176
CAPTULO 5. DERIVADAS
Prueba.
(f + g) (a + h) (f + g) (a)
h0
h
f (a + h) f (a) + g (a + h) g (a)
lm
h0
h
f (a + h) f (a) g (a + h) g (a)
lm
+
h0
h
h
g (a + h) g (a)
f (a + h) f (a)
+ lm
lm
h0
h0
h
h
0
0
f (a) + g (a).
(f + g)0 (a) = lm
=
=
=
=
(f g)0 (a) = lm
=
=
=
=
=
=
=
177
1
f
es derivable en a, y
0
f 0 (a)
1
(a) =
.
f
[f (a)]2
Prueba.
0
1
(a) = lm
h0
f
= lm
1
f
(a + h)
1
f
(a)
h
1
f (a+h)
1
f (a)
h
[f (a + h) f (a)]
lm
h0
hf (a + h)f (a)
f (a + h) f (a)
1
lm
lm
h0
h0 f (a + h)f (a)
h
1
0
f (a)
[f (a)]2
f 0 (a)
.
[f (a)]2
h0
=
=
=
=
178
CAPTULO 5. DERIVADAS
5.4.
Derivadas laterales
179
[x + h] [x]
h0
h
1. Si x R Z : f 0 (x) = lm
y
[x]
[x] x [x] + 1
Figura 5.10
Como h es pequeo, se tiene que [x] < x + h < [x] + 1, de modo que
[x] [x]
0
[x + h] = [x], y, f 0 (x) = lm
= lm = lm 0 = 0.
h0
h0 h
h0
h
2. Si x Z : f 0 (x) = lm
h0
[x + h] [x]
[x + h] x
= lm
h0
h
h
y
[x]
[x] 1
x
Figura 5.11
180
CAPTULO 5. DERIVADAS
[x + h] [x]
no existe y, por tanto, f no es derivable en x,
h0
h
si x Z.
Luego, lm
Definicin 5.20. Sea f una funcin real. Definimos las derivadas laterales
de f en x = a por:
f (a + h) f (a)
es la derivada de f en a, por derecha, si
h0
h
dicho lmite existe.
f (a + h) f (a)
es la derivada de f en a, por izquierda,
h0
h
si dicho lmite existe.
2. f0 (a) = lm
a+x
, si x c
2
bx + 1 , si x > c.
5.5.
181
(senx)0 = lm
h0
=
=
=
=
=
cos (x + h) cos x
h0
h
cos x cos h sen x sen h cos x
lm
h0
h
sen x sen h cos x(1 cos h)
lm
h0
h
sen x,1 cos x,0
sen x.
(cos x)0 = lm
=
=
=
=
(tan x)0 =
=
=
=
=
sen x 0
cos x
(sen x)0 cos x sen x (cos x)0
cos2 x
2
cos x + sen2 x
cos2 x
1
cos2 x
sec2 x.
182
CAPTULO 5. DERIVADAS
b) g(x) = x cot x.
x + cos x
c) h(x) =
.
sen x
2. Encontrar la ecuacin de la recta tangente a la curva y = 2 sen x + x2 ,
en el punto (0, 0) .
5.6.
Derivada de y = ex
f 0 (0) = lm
5.6. DERIVADA DE Y = E X
183
(ex )0 = lm
=
=
=
=
184
CAPTULO 5. DERIVADAS
5.7.
f 0 (x) =
df (x)
dx
Segunda derivada
f 00 (x) =
d2 f (x)
dx2
Tercera derivada
f 000 (x) =
d3 f (x)
dx3
Cuarta derivada
f (4) (x) =
d4 f (x)
dx4
dn f (x)
, n entero positivo.
dxn
Ejemplo 5.25. Para la funcin f (x) = 3x4 2x3 + x2 7x + 21, hallar sus
primeras seis derivadas, con los respectivos dominios.
n sima derivada f (n) (x) =
185
x
Figura 5.12
1. Para la primera derivada:
g (x + h) g(x)
(x + h)3 x3
= lm
= 3x2 ,
h0
h0
h
h
puesto que x + h > 0 para h pequeo.
Si x > 0 : g 0 (x) = lm
g (x + h) g(x)
(x + h)2 x2
Si x < 0 : g (x) = lm
= lm
= 2x,
h0
h0
h
h
puesto que x + h < 0 para h pequeo.
0
g (0 + h) g(0)
h3
= lm+
= lm+ = 0, y,
g (0) = 0 porque:
h0
h0 h
h
2
g (0 + h) g(0)
h
0
g
(0) = lm
= lm = 0.
h0
h0 h
h
2
3x si x 0
Luego, g 0 (x) =
, y su dominio es R.
2x si x < 0
0
0
(0)
g+
Figura 5.13
186
CAPTULO 5. DERIVADAS
x
Figura 5.14
000
6 si x > 0
0 si x < 0
y su dominio es
R {0} .
Ejercicio 5.27. Hallar las primeras ocho derivadas de cada funcin.
1. f (x) = 2x5 x4 + 3x3 5x2 + 14x 11.
2. g(x) = cos x. Calcular g (22) (x), sin hacer las 22 derivadas.
3. h(x) =
1
.
x
4. j(x) = ex .
5. k(x) =
5.8.
187
x2
si x 0
.
x2 si x < 0
Regla de la cadena
La regla de la cadena nos ensea a derivar funciones compuestas sin necesidad de tener que recurrir a la definicin.
Por ejemplo, en este momento,
para hallar la derivada de la funcin j(x) = 2x + 1, tenemos que trabajar
con la definicin. Veamos.
p
2(x + h) + 1 2x + 1
0
j (x) = lm
h0
h
p
p
2(x + h) + 1 2x + 1
2(x + h) + 1 + 2x + 1
= lm
p
h0
h
2(x + h) + 1 + 2x + 1
2x + 2h + 1 (2x + 1)
= lm p
h0
h
2(x + h) + 1 + 2x + 1
2h
= lm p
h0
h
2(x + h) + 1 + 2x + 1
= lm p
h0
2
2(x + h) + 1 +
2x + 1
2 2x + 1
1
=
.
2x + 1
=
188
CAPTULO 5. DERIVADAS
(f g)0 (a) = lm
189
h0
f (g(a) + k) f (g(a))
g(a + h) g(a)
lm
k0
h0
k
h
= f 0 (g(a)).g 0 (a).
(f g)0 (a) = lm
190
CAPTULO 5. DERIVADAS
2. g(x) = senx2 .
3. h(x) = sen2 x2 .
57
5.9.
Derivacin implcita
y=
y= x
Figura 5.15
Tenemos, pues, que la derivada de la funcin y =
dy
1
x es
= y
dx
2 x
dy
1
1
. Estos dos resultados
la derivada de y = x es
= =
dx
2 x
2( x)
191
dy
1 = 0
dx
dy
1
=
.
dx
2y
Note que para derivar la variable y, sta puede considerarse una funcin
compuesta.
Ejemplo 5.33. Hallar la ecuacin de la recta tangente a la parbola y 2 = x,
en el punto (4, 2) .
La ecuacin de la parbola puede escribirse como y 2 x = 0, de modo
dy
1
que, por lo discutido anteriormente,
=
. En el punto (4, 2) tenemos
dx
2y
1
1
que y = 2, la pendiente de la recta tangente es y su ecuacin es y = x+1.
4
4
Teorema 5.34. (xn )0 = nxn1 , para n Q {0} .
192
CAPTULO 5. DERIVADAS
p
Prueba. Como n Q {0} , entonces n = , donde p, q Z {0} .
q
Tenemos que y = xp/q , es decir, y q = xp y derivando implcitamente esta
ltima ecuacin, se obtiene:
qy q1
dy
= pxp1
dx
dy
pxp1
=
dx
qy q1
pxp1
dy
=
q1
dx
q (xp/q )
dy
pxp1
=
dx
qxpp/q
dy
p 1+p/q
=
x
dx
q
dy
= nxn1 .
dx
5.10.
193
0
(sen1 x) =
1
1 x2
1 x 1, y .
2
2
dy
Derivando implcitamente la ecuacin sen y = x, se obtiene cos y.
= 1, de
dx
modo que:
1
dy
=
dx
cos y
1
= p
1 sen2 y
1
=
.
1 x2
En el paso del primero al segundo rengln, utilizamos que cos y > 0, puesto
que y .
2
2
194
CAPTULO 5. DERIVADAS
0
(cos1 x) =
1
1 x2
(tan1 x) =
1
1 + x2
<y< .
2
2
dy
Al derivar implcitamente tan y = x, se obtiene sec2 y.
= 1, de modo que:
dx
dy
1
=
dx
sec2 y
1
=
1 + tan2 y
1
.
=
1 + x2
195
(cot1 x) =
1
1 + x2
Dom (cot1 x) = R.
Note que cot1 x y tan1 x se derivan de la misma forma, salvo el signo.
(sec1 x) =
1
|x| x2 1
1
Prueba. Puesto
n o que y = sec x, si y slo si sec y = x, cuando |x| 1,
y [0, ]
.
2
dy
Al derivar implcitamente sec y = x, se obtiene sec y tan y.
= 1, de modo
dx
que:
dy
1
=
dx
sec y tan y
Cuando x 1, entonces 0 y < , de modo que tan y > 0, y sec y tan y > 0.
2
Cuando x 1, entonces
< y , de modo que tan y < 0, pero
2
sec y tan y > 0. As,
dy
1
=
dx
sec y tan y
=
1
p
2
sec y sec y 1
x. x2 1
1
.
=
|x| x2 1
=
Donde |x| nos garantiza que sec y tan y = x. x2 1 tendr siempre valores
positivos.
196
CAPTULO 5. DERIVADAS
(csc1 x) =
|x| x2 1
1
x ln a
197
5.11.
Derivacin logartmica
x
inyectiva, si hacemos y = x y tomamos logaritmo natural en ambos lados
de esta ltima expresin, tenemos:
ln y = ln x
x ln x.
y =
1
1
ln x + x
x
2 x
y,
por tanto,
ln x
x
+
f (x) =
x x
x
2 x
x ln x + 2 x
=
x x.
2x
0
El procedimiento usado en el ejemplo anterior es conocido como derivacin logartmica. Este procedimiento tambin se puede usar cuando se tienen
productos y cocientes de funciones, como el caso que aparece a continuacin.
198
CAPTULO 5. DERIVADAS
10
(e +1) 2+x
.
Ejemplo 5.38. Encontrar la funcin derivada de h(x) = (x +1) (4x
2 +1)2
Como se puede ver, esta derivada se puede calcular usando las reglas
de la derivada de productos y cocientes. Lo que sucede, es que usando esas
propiedades, este clculo ser un poco tedioso. Si,
y dado que cada uno de los factores es positivo, podemos usar derivacin
logartmica, por lo que:
ln y = 10 ln(x2 + 1) + 5 ln(ex + 1) +
1
ln 2 + x4 2 ln(4x2 + 1)
2
h (x) =
20x
5ex
2x3
16x
+
+
x2 + 1 ex + 1 2 + x4 4x2 + 1
5.12.
199
(5.3)
Si h < 0, entonces:
f (a + h) f (a)
0
h
De donde:
f (a + h) f (a)
0.
(5.4)
h0
h
Por otra parte, si suponemos que h > 0 y utilizando (5,3) , tenemos:
f0 (a) = lm
f (a + h) f (a)
0
h
De donde:
f (a + h) f (a)
0.
(5.5)
h0
h
Con base en (5,4), (5,5) y el hecho de que f es derivable en a, podemos
concluir lo siguiente:
f+0 (a) = lm+
f (a + h) f (a)
= 0.
h0
h
f 0 (a) = lm
200
CAPTULO 5. DERIVADAS
-1
Figura 5.16
f tiene un mnimo local en x = 0 y un mximo en x = 2, pero ste no es
un mximo local.
Con lo definido anteriormente y como consecuencia de los teoremas 5.40
y 5.41, se tiene el siguiente resultado.
Teorema 5.44. Si f es derivable en a, y tiene un mximo o mnimo local
en x = a, entonces f 0 (a) = 0.
Respecto a este teorema es conveniente hacer las siguientes observaciones:
1. Si f es continua en [a, b] y alcanza su mximo, por ejemplo en x = a,
siendo f derivable (por derecha) en a, no se tiene necesariamente que
f+0 (a) = 0. Podra darse una situacin como la que se representa en la
Figura 5.17.
2. El recproco de este teorema es falso. Para la funcin f (x) = x3 en
[1, 1] , se tiene que f 0 (0) = 0, y f no tiene mximo ni mnimo local en
x = 0. Tener f 0 (c) = 0 no implica que f tenga un mximo o mnimo
local en x = c (a, b) .
201
b x
Figura 5.17
Utilizando los anteriores teoremas vamos a probar el siguiente, llamado
Teorema de Rolle.
Teorema 5.45. Teorema de Rolle.
Supongamos a < b. Si f es una funcin continua en [a, b] , derivable en (a, b)
y f (a) = f (b), entonces existe c (a, b) , tal que f 0 (c) = 0.
Prueba. Como f es continua en [a, b] entonces, por el Teorema 5.44, existen
e, d en [a, b] , tales que f alcanza mximo en e y mnimo en d; es decir:
m = f (d) f (x) f (e) = M, para todo x [a, b] .
Se tienen las siguientes posibilidades:
1. Si m < M :
y
M
a
b
c
Figura 5.18
c
x
c2
a c1
b x
m
Figura 5.19
Figura 5.20
202
CAPTULO 5. DERIVADAS
y
m=M
a
bx
Figura 5.21
Luego, existe c (a, b) , tal que f 0 (c) = 0.
f (b) f (a)
.
ba
(5.6)
(5.7)
203
y
f (a)
f (b)
Figura 5.22
Si en este teorema suponemos que f es la funcin que describe la posicin
de un objeto que se mueve en lnea recta, existe un instante c, en el intervalo
de tiempo (a, b) , en el cual la velocidad instantnea coincide con la velocidad
promedio en el intervalo de tiempo [a, b] .
Prueba. La ecuacin de la recta que pasa por los puntos (a, f (a)) y (b, f (b))
est dada por:
f (b) f (a)
(x a) + f (a).
ba
Definimos la funcin h como la diferencia entre f y g; es decir:
f (b) f (a)
h(x) = f (x)
(x a) + f (a)
ba
g(x) = y =
204
CAPTULO 5. DERIVADAS
f (b) f (a)
.
ba
Ejercicio 5.47.
1. En cada caso, revisar por qu no se satisface el Teorema del valor medio.
a) f (x) = x2/3 , en [2, 2] .
2x 1
, en [1, 2] .
b) g(x) =
3x 4
c) h(x) = |x| , en [1, 2] .
2. Para las siguientes funciones, verificar las hiptesis del Teorema del
valor medio y encontrar el valor de c, si es posible.
a) f (x) = x2/3 , en [0, 1] .
b) j(x) = x + 3, en [1, 6] .
c) k(x) = 2x3 8x + 1, en [1, 3] .
Vamos a presentar algunas consecuencias del Teorema del valor medio en
los siguientes tres corolarios.
Sabemos que la derivada de la funcin constante es cero, este primer
corolario nos garantiza su recproco.
Corolario 5.48. Si f 0 (x) = 0 para todo x (a, b) , entonces f (x) = c para
todo x (a, b) , donde c es una constante.
Prueba. Sean x1 , x2 (a, b) , con x1 < x2 . Como f es derivable en (a, b) ,
entonces es continua en (a, b) , de modo que f es continua en [x1 , x2 ] y derivable en (x1 , x2 ) . Por el Teorema del valor medio, existe d (x1 , x2 ) , tal
que:
f (x2 ) f (x1 ) = f 0 (d)(x2 x1 ).
Como f 0 (d) = 0, se tiene que f (x1 ) = f (x2 ). Puesto que x1 , x2 son puntos
arbitrarios de (a, b) , tenemos que f (x1 ) = f (x2 ), para cada x1 , x2 (a, b) y,
por tanto, f es constante en (a, b) .
205
La hiptesis de este corolario nos dice que las rectas tangentes a las funciones f y g en cada punto x de (a, b) son paralelas, es decir, podemos pensar
que ambas funciones van en la misma direccin, para cada x (a, b) .
206
CAPTULO 5. DERIVADAS
5.13.
Formas indeterminadas
sen x
En el Captulo 4 se demostr que lm
= 1; donde la funcin
x0
x
sen x
se obtiene a partir del cociente entre las funciones
f (x) =
x
g(x) = sen x y h(x) = x. En este caso no pudimos calcular el lmite de
f como el cociente de los lmites, ya que lm g(x) = 0 y lm h(x) = 0, situax0
x0
cin que definimos a continuacin como un lmite de la forma indeterminada
0
.
0
Tambin, si tenemos buena memoria, podemos recordar que la demostracin fue un tanto laboriosa, pues requiri recursos geomtricos para aplicar
el teorema del emparedado y utilizar ciertas funciones no muy evidentes de
encontrar. En esta seccin vamos a definir otras formas indeterminadas y
demostrar la regla de LHopital, la cual ser una herramienta muy til para
calcular este tipo de lmites de una manera un poco ms eficiente.
0
.
0
Si a es un nmero real, a = , lm f (x) = 0 y lm g(x) = 0, entonces
1. Forma indeterminada
xa
xa
f (x)
0
diremos que lm
es de la forma indeterminada .
xa g(x)
0
2. Forma indeterminada
xa
xa
f (x)
xa
4. Forma indeterminada .
Si a es un nmero real, a = , lm f (x) = y lm g(x) = ,
xa
xa
207
5. Potencias indeterminadas 00 , 0 , 1 .
Si a es un nmero real, a = , entonces diremos que lm [f (x)]g(x)
xa
xa
xa
lm f (x) = y lm g(x) = 0,
xa
xa
lm f (x) = 1 y lm g(x) = .
xa
xa
208
CAPTULO 5. DERIVADAS
xa
f (x)
f 0 (x)
= lm 0
.
g(x) xa g (x)
1. Debido a que lm
209
g(x) g(a)
= 0,
xa
(5.8)
(5.9)
f 0 (x)
f 0 (x)
existe,
sea
L
=
l
m
. Con base en la definicin de
xa g 0 (x)
xa g 0 (x)
lmite, tenemos:
0 Para todo
> 0, existe 1 > 0, tal que si 0 < |x a| < 1 , entonces
f (x)
g 0 (x) L < .
Sea 2 = mn{, 1 }, entonces si 0 < |x a| < 2 , se tiene que
Como lm
210
CAPTULO 5. DERIVADAS
0
f (x)
< , y dado que
L
g 0 (x)
a < cx < x < a + 2 a + 1 ,
tenemos 0 < cx a < 2 . Lo cual implica:
0
f (cx )
< .
L
g 0 (cx )
f 0 (cx )
= L. Observe que cx no es constante, depende de
cx a g 0 (cx )
f 0 (y)
cada intervalo (a, x) ; as, si llamamos y = cx , tenemos que lm+ 0
= L,
ya g (y)
f 0 (x)
lo cual equivale a escribir lm+ 0
= L, puesto que x a implica cx a :
xa g (x)
Es decir, lm+
cx
Figura 5.23
Por tanto, utilizando (5.9), tenemos:
L = lm+
xa
f 0 (x)
f 0 (cx )
f (x)
=
l
m
= lm+
.
0
0
+
g (x) cx a g (cx ) xa g(x)
f (x)
= L, y con esto obteg(x)
211
sen 4x
utilizando la regla de LHopital.
x0 sen 5x
Como lm sen 4x = 0, lm sen 5x = 0, (sen 4x)0 = 4 cos 4x, as como
x0
x0
4
4 cos 4x
0
= , entonces:
(sen 5x) = 5 cos 5x, y dado que lm
x0 5 cos 5x
5
sen 4x
4 cos 4x
4
lm
= lm
= .
x0 sen 5x
x0 5 cos 5x
5
1/x
Ejemplo 5.55. Calcular lm
.
x sen (/x)
1/x
1
t
existe, entonces lm
existe, y son
Sea x = . Si lm+
x sen (/x)
t0 sen (t)
t
iguales; pero no es difcil justificar que
Ejemplo 5.54. Calcular lm
lm+
t0
t
1
1
= lm+
= .
sen (t) t0 cos (t)
Por tanto:
lm
1/x
1
= .
sen (/x)
xa
f (x)
= .
g(x)
212
CAPTULO 5. DERIVADAS
xa
xa
f 0 (x)
= L, entonces
g 0 (x)
f (x)
lm
= L.
xa g(x)
Este teorema tambin es vlido si en todos los lmites cambiamos x a
por: x a+ , x a , x , x .
f 0 (x)
= ,
xa g 0 (x)
xa
f (x)
= .
entonces lm
xa g(x)
Este teorema tambin es vlido si en todos los lmites cambiamos x a
por: x a+ , x a , x , x .
1 + 6x
.
x 3x + 1
Como lm (1 + 6x) = , lm (3x + 1) = , y
lm
6
(1 + 6x)
m
= 2, entonces:
0 = l
x
3
(3x + 1)
(1 + 6x)0
1 + 6x
= lm
lm
0 = 2.
x (3x + 1)
x 3x + 1
f (x)
1
g(x)
, para g(x) 6= 0,
minada , o en la forma
.
0
1
Utilice esta idea para verificar que lm x2 csc2 2x = .
x0
4
Con la forma , tambin convertimos la expresin a una de las formas
0
213
Para calcular los lmites de las formas indeterminadas 00 , 0 y 1 procedemos de la siguiente manera:
Llamamos y = [f (x)]g(x) de modo que ln y = g (x) ln f (x) . Observemos que
g (x) ln f (x) es un producto de la forma 0., para cualquiera de las tres
potencias indeterminadas. Finalmente, debemos recordar que
[f (x)]g(x) = y = eln y = eg(x) ln f (x)
as que, por la continuidad de la funcin exponencial se tiene que
lm g(x) ln f (x)
lm [f (x)]g(x) = exa
xa
x0
nada 0 .
Llamamos y = ( ln x)x de modo que ln y = x ln ( ln x) .
lm ln y =
x0+
lm x ln ( ln x)
x0+
lm+
ln ( ln x)
1
x
x0
=
=
lm
1
1
ln x
x
1
x2
lm+
x
lnx
x0+
x0
lm x
x0+
1
ln x
(forma 0.)
forma
= 0.
un paso ms:
lm+ ( ln x)x = lm+ eln y = e0 = 1.
x0
x0
x0
214
CAPTULO 5. DERIVADAS
x0
lm+
x0
lm+
ln x
csc x
1
x
csc x cot x
senx
= lm+
( tan x) = 0,
x0
x
x0
de modo que
lm xsenx = e0 = 1.
x0+
tan x
.
x + sen x
2. lm
tan1 x
.
x
x0
x0
3. lm+ ( x) cot x.
x
4. lm
sec 2x cos 3x.
x 2
5. lm
sec x cos 3x.
x 2
6. lm
x0
2x sen x
.
sec x 1
3x + sen x
.
x 2x + cos x
8. lm
x2 + 2x x2 3x . Sugerencia: Factorizar x2 hacer el cam7. lm
.
x0
x sen x
10. lm
x0
sen x x
.
x3
215
12. lm+ xx
x0
13. lm (1 2x)1/x
x0
sen x
= 1. Encontrar el error que se cometi en el
x0 x + x2
siguiente procedimiento:
lm
x0
cos x
sen x
sen x
=
l
m
=
l
m
= 0.
x + x2 x0 1 + 2x x0
2
216
CAPTULO 5. DERIVADAS
CAPTULO
Aplicaciones
En este captulo vamos a apreciar la utilidad que tiene todo lo que hemos
estudiado en este curso, en particular lo relacionado con la derivada de una
funcin. En primer lugar, sabemos que por simple tabulacin es muy difcil
realizar una grfica que revele realmente el comportamiento de una funcin.
Veremos que las dos primeras derivadas de una funcin nos proporcionan
informacin suficiente para elaborar un buen grfico de sta.
6.1.
Trazado de curvas
218
CAPTULO 6. APLICACIONES
d
a c
b x
Figura 6.1
219
32 1
11
5
-2
Figura 6.2
Como una consecuencia del Corolario 6.2 se obtiene el siguiente resultado.
Teorema 6.6. Criterio de la primera derivada para extremos locales.
Sea f una funcin continua en un intervalo abierto I que contiene a c, y
derivable en I, excepto quiz en x = c.
220
CAPTULO 6. APLICACIONES
1. Si f 0 (x) < 0, para x < c, y f 0 (x) > 0, para x > c, entonces f tiene un
mnimo local en x = c.
2. Si f 0 (x) > 0, para x < c, y f 0 (x) < 0, para x > c, entonces f tiene un
mximo local en x = c.
3. Si f 0 no cambia de signo en c, entonces f no tiene mximo ni mnimo
local en x = c.
Si hacemos una traduccin de las hiptesis de este teorema, con la ayuda del Corolario 6,2 ya mencionado, se tiene: Si f cambia de decreciente a
creciente en x = c, entonces f tiene un mnimo local en c; y si f cambia
de creciente a decreciente en x = c, entonces f tiene un mximo local en c,
como lo ilustran las figuras 6.3, 6.4 y 6.5.
y
x
f (x) = x3
c=0
Figura 6.3
Figura 6.4
Figura 6.5
La Figura 6.5 permite apreciar que el recproco del Corolario 6.2 es falso;
la funcin f (x) = x3 es creciente en R y se tiene que f 0 (x) 0, para todo x
real, no es estrictamente positiva.
Tenemos: Sea f derivable en un intervalo I, si f es creciente en I, entonces
0
f (x) 0 para todo x I, y si f es decreciente en I, entonces f 0 (x) 0
para todo x I.
Definicin 6.7. Sea f una funcin definida en un intervalo (a, b) .
1. Decimos que f es cncava hacia arriba en (a, b) , si f 0 es una funcin
creciente en (a, b) ; es decir, las pendientes de las rectas tangentes a la
curva y = f (x) van aumentando a medida que x recorre el intervalo
(a, b) .
221
x
Figura 6.6
2. Decimos que f es cncava hacia abajo en (a, b) , si f 0 es una funcin
decreciente en (a, b) ; es decir, las pendientes de las rectas tangentes a
la curva y = f (x) van disminuyendo a medida que x recorre el intervalo
(a, b) .
y
x
Figura 6.7
222
CAPTULO 6. APLICACIONES
x
Figura 6.8
g 0 (x) = 2x es una funcin decreciente en R y g 00 (x) = 2 < 0, para
todo x R; as que g es una funcin cncava hacia abajo en R.
y
x
y = x2
Figura 6.9
Definicin 6.10. Sean f una funcin continua en (a, b) y c (a, b) .
Decimos que f tiene un punto de inflexin en x = c, si la concavidad de
la grfica de f cambia en este punto; es decir, f es cncava hacia arriba en
(a, c) y cncava hacia abajo en (c, b) , o al contrario.
Como consecuencia del Teorema 6.8 se obtiene el siguiente resultado.
Teorema 6.11. Si f es dos veces derivable en (a, b) y f 00 cambia de signo
en c (a, b) , entonces f tiene un punto de inflexin en x = c.
223
Figura 6.10
Teorema 6.13. Criterio de la segunda derivada para extremos locales.
Sea f una funcin dos veces derivable en un intervalo que contiene a
x = a y supongamos que f 0 (a) = 0.
1. Si f 00 (a) > 0, entonces f tiene un mnimo local en a.
2. Si f 00 (a) < 0, entonces f tiene un mximo local en a.
Prueba. Como f 0 (a) = 0, tenemos que
f 00 (a) = lm
h0
f 0 (a + h)
f 0 (a + h) f 0 (a)
= lm
.
h0
h
h
f 0 (a + h)
1. Como f (a) > 0, es decir, lm
> 0, entonces existe > 0, tal
h0
h
0
f (a + h)
> 0, si 0 < |h| < . As, si h > 0, entonces f 0 (a + h) > 0;
que
h
00
224
CAPTULO 6. APLICACIONES
-1
-2
Figura 6.11
225
Figura 6.12
x
Figura 6.13
226
CAPTULO 6. APLICACIONES
227
-4
-32
Figura 6.14
228
CAPTULO 6. APLICACIONES
2x
+1
x2
2. g(x) = x4 2x3 .
3. h(x) = 4x1/3 + x4/3 .
4. j(x) = 8x5 5x4 20x3 .
5. k(x) = x2/3 .
3x2 + x 4
.
(x + 1)2
x , si x 0
7. m(x) =
x2 , si x < 0
6. l(x) =
6.2.
229
xy
33
99
12 24 288
21 15 315
27
243
Cuadro 6.1
Podemos concluir que las posibilidades de resutados en los productos son
varias, sin embargo buscamos los que tengan mayor producto. En los ejemplos anteriores, los valores de x y y que producen el mayor producto son
21 y 15. Pero estos valores producen el mximo producto? Afortunadamente hemos aprendido las herramientas necesarias en la seccin anterior,
las cuales podemos utilizar reorganizando la informacin de nuestro problema.
La funcin para maximizar es el producto, pero est en trminos de dos
variables: x, y. Como x + y = 36, entonces y = 36 x, de donde puede
concluirse que P = x (36 x) y todo se reduce a encontrar el valor mximo
de la funcin P (x) = x (36 x) , en (0, ) . Por tanto, hallamos P 0 para
encontrar los puntos crticos:
P 0 (x) = 36 2x
Luego, el nico punto crtico de P (x) es x = 18. Para determinar si en este
230
CAPTULO 6. APLICACIONES
malla
x
Figura 6.15
Como el rea debe ser de 10000 metros cuadrados, entonces xy = 10000.
Si designamos por L la longitud de la cerca necesaria y tenemos en cuenta que no es necesario colocar cerca donde se encuentra la malla, entonces
L = 2x + y, la funcin para minimizar. Para expresarla en trminos de una
sola variable, usemos la informacin del rea.
10000
10000
Dado que x > 0, entonces y =
, de esta manera L = 2x +
,
x
x
y nuevamente el problema se reduce a encontrar el mnimo de la funcin
10000
en (0, ) .
L (x) = 2x +
x
Por tanto:
L0 (x) = 2
231
10000
x2
10000
= 0, si x = 5000 = 50 2, y dado que nuestra
2
x
funcin tiene dominio
(0, ) , entonces el nico punto crtico de L(x) en
este intervalo es 50 2.
20000
, nos lleva a
Utilizando el hecho de que L00 (x) =
x3
20000
L00 (50 2) =
3 > 0. Concluimos que en x = 50 2 hay un mnimo
50 2
relativo de L(x).
Por consiguiente, dado que L(x) tiende a , si x tiende a 0 y tiende
a cuando
x tiende a , entonces el mnimo de L lo encontramos en
x = 50 2.
10000
y = = 100 2. Por tanto, la cerca debe tener dimensiones de 50 2 y
50 2
100 2, que aproximadamente son de 70. 711 metros y 141. 42 metros.
Como 2
232
CAPTULO 6. APLICACIONES
Por tanto:
(6.1)
Es decir:
2000
+ 2r2
r
Nuevamente, seguimos el procedimiento aprendido para hallar los mximos y mnimos de una funcin At (r) en (0, ) .
At (r) =
A0t (r) =
r
Es decir, r =
2000
+ 4r
r2
2000
+ 4r = 0
r2
500
. Veamos ahora si en este punto crtico encontramos
un mnimo.
A00t
4000
A00t (r) = 3 + 4
r
!
r
4000
3 500
= q 3 + 4 > 0
3 500
Luego en r = 3 500
hay un mnimo relativo. De hecho, usted puede probar
1000
1000
.
q 2 =
3
2
500
3 500
500
1000
y
respectivamente;
3
5002
es decir, 5. 419 3 cm y 10. 839 cm, aproximadamente.
En conclusin, los valores de r y h son
233
(6.2)
50 x
;
2
(6.4)
50 x
2
2
+ x2 .
50
Donde x 0,
. Por qu? Derivando:
50
.
+4
2
+ 2,
2
234
CAPTULO 6. APLICACIONES
00
50
+4
2
=
+ 2 > 0.
2
50
Por tanto, en x =
hay un mnimo local. Como estamos en el intervalo
+4
50
50
50
cerrado 0,
, tenemos que comparar A(0), A
yA
.
+4
2
50
A(0) =
= 625.
2
!2
2
50
50 +4
50
50
2500
A
.
=
+
=
+4
2
+4
+4
2
2
50 50
50
2500
A
.
=
+
=
2
50
50
Como A
< A(0) < A
, entonces el rea mnima se tiene
+4
50
100
cuando x =
cm y y =
cm, obtenido al remplazar x en (6.4).
+4
+4
Luego, para obtener la menor rea total, se necesita que el radio de la circunferencia sea aproximadamente de 7 cm y el lado del cuadrado debe ser
aproximadamente de 14 cm. El rea mxima se tiene cuando la circunferen50
cia tiene un radio de
cm y no hay cuadrado.
50
235
236
CAPTULO 6. APLICACIONES
Donde g la aceleracin de la gravedad, la tensin superficial del lquido y la densidad del lquido son constantes. Hallar la velocidad
mnima de una onda y su longitud de onda.
8. Carolina quiere llegar hasta el portal de buses lo ms rpido posible y
tiene que atravesar una zona verde. El portal se encuentra 200 metros
al occidente y 300 metros al norte de donde ella est. Carolina puede
llegar al portal caminando a lo largo de la acera que bordea la zona
verde hacia el occidente a una velocidad de 1,5 metros por segundo y
luego atravesar la zona verde a una velocidad de 1 metro por segundo.
Cul es la trayectoria que debe seguir Carolina para llegar al portal lo
antes posible?
9. La fuerza de una viga cuya seccin transversal es un rectngulo, es
proporcional al ancho y al cubo del alto de este rectngulo. Hallar las
dimensiones de la viga ms fuerte que puede obtenerse de un tronco
cilndrico de 20 centmetros de dimetro.
6.3.
Razones de cambio
237
4y
dy
= lm
dx 4x0 4x
238
CAPTULO 6. APLICACIONES
4. Una roca que est cayendo recorre 10t2 metros en los primeros t segundos. Hallar:
a) La coordenada de la roca en t segundos.
b) La ecuacin de la velocidad y la aceleracin.
c) Aceleracin, velocidad y rapidez.
5. Si en la Luna se dispara una flecha hacia arriba con una velocidad
inicial de 58 m/seg, su altura (en metros) despus de t segundos se
expresa por h = 58t 0,83t2 .
a) Encontrar la velocidad de la flecha despus de 5 segundos.
b) Cundo chocar la flecha contra la Luna?
c) Con que velocidad chocar contra la Luna?
d) Cuntos metros recorre la flecha?
6.4.
Razones relacionadas
239
dl
, obtenemos:
dt
2 dv
dl
= dt2 .
dt
l
Remplazando
dV
y l, encontraremos lo que queremos:
dt
dl
2 (5 cm3 /seg)
1
=
cm/seg.
=
2
dt
250
(50 cm)
1
cm/seg
250
Observador
Figura 6.16
dy
= 500 km/h y debemos hallar
dt
dx
. No es difcil encontrar una relacin entre x y y, ya que tenemos un
dt
tringulo rectngulo con catetos 1 y y, e hipotenusa x.
De la Figura 6.16 podemos tomar que
1 + y 2 = x2 .
(6.5)
240
CAPTULO 6. APLICACIONES
dx
:
dt
dy
dx
= 2x .
dt
dt
dx
y dy
=
.
dt
x dt
(6.6)
dx
Para determinar
despus de 1 minuto, primero tenemos que hallar los
dt
valores de x y y en este tiempo.
25
Como el avin vuela a una velocidad de 500 km/h, es decir a
km/ mn,
3
25
entonces despus de un minuto y =
km. Remplazando este valor de y en
3
(6,5) tenemos:
2
25
1+
= x2 ;
3
634
km. Remplazando en (6,6) obtenemos:
por tanto, x =
3
dx
=
dt
25
km
3
634
km
3
500 km/h =
6250
634 km/h.
317
241
242
CAPTULO 6. APLICACIONES
6.5.
Mtodo de Newton
El mtodo de Newton es una tcnica numrica, ideada por sir Isaac Newton en el siglo XVII, que emplea la derivada para generar una sucesin de
nmeros x1 , x2 , x3 , ... de aproximaciones a una de las races o soluciones r,
de una ecuacin de la forma f (x) = 0, o de otra forma, a uno de los ceros de
la funcin f.
y
y = f (x)
f (xn )
r xn+1 xn
Figura 6.17
En primer lugar, debe hacerse un estimativo inicial x0 que se aproxime a
r. Esto puede hacerse por inspeccin de la grfica de f, o por el teorema del
valor intermedio, y encontrar un intervalo en el cual f (x) cambie de signo.
243
xn+1 = xn
f (xn ) .
f 0 (xn )
(xn )2 2
(xn )2 + 2
=
.
2xn
2xn
244
CAPTULO 6. APLICACIONES
11 2x
x
x
Figura 6.18
245
b) Queremos hallar los valores de x para los cuales v(x) = 40, es decir,
4x 36x2 +77x = 40. Llamemos f (x) = 4x3 36x2 +77x40. Verifique, por
el teorema del valor intermedio, que f tiene tres races r1 [0, 1] , r2 [2, 3]
y r3 [6, 7]. Ahora, utilice la frmula de Newton para hallar que con x0 = 1
se obtiene r1 0,7780, con x0 = 2 se obtiene r2 2,0992, y con x0 = 6 se
obtiene r3 6,1227.
Luego, los valores de x para los cuales la caja tiene volumen 40 centmetros cbicos son 0,7780 cm y 2,0992 cm, aproximadamente. Por qu?
3
Ejercicio 6.31.
1. Usar el mtodo de Newton para aproximar
males de precisin.
4
6 con cuatro cifras deci-
2. Verificar que cada una de las funciones dadas tiene una raz en el intervalo y hallar una aproximacin de esa raz con tres cifras decimales
de precisin:
a) f (x) = x3 + 4x 1, en [0, 1] .
b) f (x) = x2 sen x, en [0,5, 1] .
3. La ecuacin x = 21 cos x tiene una solucin r cerca de 0,5. Hallar una
aproximacin de r.
4. Considerar las curvas y = tan x, y y = 2x.
a) Observar grficamente que estas curvas se intersecan infinitas veces.
b) Usar el mtodo de Newton para estimar
el punto de interseccin
de estas grficas en el intervalo 0, 2 , con una precisin de tres
cifras decimales.
5. Explicar por qu fracasa el mtodo de Newton al intentar hallar una
aproximacin de la nica raz de la funcin f (x) = x1/3 . (Intentar
cambiando el valor inicial x0 . Trazar con cuidado la grfica de f y
observar su comportamiento cerca de la raz).
6. En el proceso para encontrar los puntos sobre la curva y = x2 ms
cercanos al punto (2, 0) puede ser til el mtodo de Newton, explique
por qu y resuelva el ejercicio.
246
6.6.
CAPTULO 6. APLICACIONES
Aproximacin lineal
Figura 6.19
Por este motivo, podemos aproximar valores de f (x) para x cercanos a
x = a, con las imgenes de esos x por la recta tangente. La ecuacin de la
recta tangente a la curva y = f (x), en el punto (a, f (a)), es:
y f (a) = f 0 (a)(x a),
y = f (a) + f 0 (a)(x a).
Entonces, se llama linealizacin o aproximacin lineal de f en x = a (o con
centro x = a) a la funcin lineal
L(x) = f (a) + f 0 (a)(x a).
As, si f es diferenciable en a, se tiene que f (x) L(x) para valores de x
cercanos a a.
247
x
Figura 6.20
f (0,2)
L(0,2)
1
1 2
1 + 0,2 1 + (0,2) = 1 +
2
2 10
1,2
1,1
Adems, podemos afirmar que esta aproximacin de 1,2 es una aproximacin por exceso, puesto que la recta tangente a f en a = 0 queda por
encima de la funcin, para valores de x cercanos a cero.
Ejemplo 6.33. Hallar una aproximacin de sen(0,1) usando aproximaciones
lineales.
Vamos a hallar la aproximacin lineal de f (x) = sen x, en a = 0.
f (x) = sen x f (0) = 0
f 0 (x) = cos x f 0 (0) = 1
L(x) = x, de modo que sen(0,1) 0,1. (Puede usar una calculadora para
verificarlo). Es sta una aproximacin por exceso o por defecto?
Observe que la aproximacin lineal L(x) = f (a) + f 0 (a)(x a) de f, en
x = a, tiene las siguientes propiedades:
1. f (a) = L(a).
2. f 0 (a) = L0 (a).
Ejercicio 6.34.
1
, en a = 0.
1x
1/3
, en a = 0.
248
CAPTULO 6. APLICACIONES
6.7.
Polinomios de Taylor
entonces A = f (a).
P 0 (a) = B,
entonces B = f 0 (a).
P 00 (x) = 2C,
P 00 (a) = 2C,
entonces C = 12 f 00 (a).
Cuadro 6.2
1
As, P (x) = f (a) + f 0 (a) (x a) + f 00 (a) (x a)2 es el polinomio de
2
segundo grado que ms se parece a f para valores de x cercanos a a.
Ahora, podemos repetir el proceso anterior para buscar un polinomio de
tercer grado, aumentando la condicin P 000 (a) = f 000 (a), o podemos continuar
249
hasta el grado que queramos. Verifique que para un polinomio de grado cuatro, P (x) = A + B (x a) + C (x a)2 + D (x a)3 + E (x a)4 , se obtiene
que:
P (a) = A,
entonces A = f (a).
P 0 (a) = B,
entonces B = f 0 (a).
1
entonces C = f 00 (a).
2
1
P (3) (a) = 2,3.D = (3!)D, entonces D = f (3) (a).
3!
1
P (4) (a) = 2,3,4.E = (4!)E, entonces E = f (4) (a).
4!
P 00 (a) = 2C,
1
1 00
f (a)(x a)2 + ... + f (n) (a)(x a)n .
2!
n!
Este polinomio nos sirve para encontrar aproximaciones de f (x) para valores
de x cercanos a x = a.
Ejemplo 6.35. Hallar el polinomio de Taylor de grado 4 de f (x) = cos x,
con centro en a = 0.
f (x) = cos x,
f (0) = 1
f 0 (x) = sen x,
f 0 (0) = 0
f 00 (x) = cos x, f 00 (0) = 1
f (3) (x) = sen x,
f (3) (0) = 0
(4)
f (x) = cos x,
f (4) (0) = 1
Entonces, de acuerdo con estos resultados,
1
1
1
1
P4 (x) = 1 x2 + x4 = 1 x2 + x4 .
2
4!
2
24
Ejemplo 6.36. Hallar el polinomio de Taylor de tercer grado en a = 0, para
250
CAPTULO 6. APLICACIONES
f (x) =
1 + x,
1
f 0 (x) =
,
2 1+x
1
f 00 (x) = p
,
4 (1 + x)3
3
f (3) (x) = p
,
8 (1 + x)5
f (0) = 1.
1
f 0 (0) = .
2
1
.
f 00 (0) =
4
3
f (3) (0) = .
8
1 2
3 3
1
1
1
1
x +
x = 1 + x x2 + x3 .
P3 (x) = 1 + x
2
4,2!
8,3!
2
8
16
Ahora, como este polinomio es alrededor de cero y 0,2 es cercano a cero,
entonces:
2
3
1 1
11 1 1
+
= 1,0955.
f (0,2) P3 (0,2) = 1 +
25 8 5
16 5
3. Calcular el cuarto
coeficiente del polinomio de Taylor de grado 5, de la
funcin f (x) = x, en a = 4.
4. Encontrar el polinomio de Taylor de grado 3, en a = 1, para la funcin
f (x) = x3 2x2 + 3x + 5 y observar que es una representacin exacta
de f (x).
251
6.8.
Incrementos y diferenciales
y = f (x)
f (a)
a + x
dy
x = dx
Figura 6.21
Se llaman diferenciales a los nmeros reales dx, dy, donde dx = 4x,
puesto que corresponde al cambio en el eje x y dy es el cambio producido en
el eje y a travs de la recta tangente T, cuando x vara de a a a + 4x. Puesto
que la recta tangente T aproxima los valores de f (x), cuando x est cerca de
a, entonces tenemos que para valores pequeos de 4x = dx, el diferencial dy
nos da una aproximacin del incremento 4y.
dy
Como dx y dy toman valores reales, tenemos que f 0 (a) =
, al observar el
dx
tringulo de vrtices (a, f (a)) , (a + 4x, f (a)) y R, de modo que el diferencial
en y se calcula as:
dy = f 0 (a)dx.
Adems, podemos hallar la aproximacin lineal de f (a + dx), en trminos
de diferenciales por
f (a + dx) f (a) + dy.
252
CAPTULO 6. APLICACIONES
Real
Aproximado
Absoluto
4f
df
Relativo
4f
f (a)
df
f (a)
Porcentual
4f
,100 %
f (a)
df
,100 %
f (a)
Cuadro 6.3
Ejemplo 6.39. Se midi la arista de un cubo y result de 20 cm, con un
error posible en la medicin de 0,1 cm. Usar diferenciales para estimar el
mximo error posible al calcular:
a) Volumen del cubo.
b) rea superficial del cubo.
l = 20 cm
dl = 0.1 cm
Figura 6.22
253
Figura 6.23
A = 2r2 .
dA = 4rdr, dr = 0,01 m.
dA = 4(100 m)(0,01 m) = 4 m2 12, 57 m2 .
dA
4rdr
dr
0,01
El error relativo:
=
=2 =2
= 0,000 2 = 2 104 .
2
A
2r
r
100
El mximo error que resulta en el rea de su superficie es aproximadamente 12, 57 m2 .
254
CAPTULO 6. APLICACIONES
Ejercicio 6.41.
1. Para y = sen x :
a) Encontrar el diferencial dy.
b) Evaluar y comparar dy y 4y, si x =
y dx = 0,05.
3
APNDICE
Geometra analtica
En esta seccin estudiaremos las secciones cnicas: circunferencias, parbolas, elipses e hiprbolas como casos particulares de relaciones en el plano
cartesiano.
A.1.
Ecuacin de la circunferencia
(A.1)
256
y
(x, y)
r
(h, k)
x
r=4
(2, 3)
3
1
-5
-3
-1
1
-1
Figura A.2
Como el centro es (2, 3), entonces (h, k) = (2, 3) y r = 4. Por tanto,
la ecuacin est dada por:
42 = (x (2))2 + (y 3)2 ;
es decir:
16 = (x + 2)2 + (y 3)2 .
257
En el ejemplo anterior expresamos la ecuacin de la circunferencia utilizando la ecuacin (A.1); sin embargo, en esta ecuacin podemos hacer algunas operaciones, entre ellas, desarrollar los cuadrados y obtendremos una
ecuacin equivalente. Por tanto, la siguiente expresin tambin representa la
ecuacin de la circunferencia con centro en (2, 3) y radio 4.
x2 + y 2 + 4x 6y 3 = 0.
Si realizamos las mismas operaciones en la ecuacin (A.1), multiplicamos
por un real A 6= 0 y nombramos adecuadamente a D, E y F, obtenemos la
ecuacin de la circunferencia de la siguiente forma ms general:
Ax2 + Ay 2 + Dx + Ey + F = 0.
(A.2)
258
y
2
( 13 , 1)
-1
Figura A.3
Ejercicio A.3. En los ejercicios 1 a 3, hallar el centro y el radio de la
circunferencia y representarla grficamente.
1. x2 + y 2 2x 6y + 6 = 0.
2. 36x2 + 36y 2 24x + 36y 23 = 0
3. 2x2 + 2y 2 + x + y = 0.
En los ejercicios 4 y 5, representar grficamente:
4. 9x2 + 9y 2 12x + 6y + 1 = 0.
5. 5x2 + 5y 2 + 40x 4y + 85 = 0.
6. Hallar la ecuacin de la circunferencia que pasa por los puntos (1, 2)
y (1, 0), con centro en la recta 2x + y 1 = 0.
7. Hallar la ecuacin de la circunferencia que tiene por extremos de un
dimetro los puntos (3, 4) y (1, 0) .
8. Escribir la ecuacin de la circunferencia que es tangente a los ejes x
y y, que tiene radio 3 y su centro en el cuarto cuadrante. (Una recta es tangente a una circunferencia si la recta y la circunferencia se
intersecan en un nico punto).
259
A.2.
Ecuacin de la parbola
Una parbola es el lugar geomtrico de todos los puntos del plano que
equidistan de un punto fijo F, llamado foco y de una recta fija l, llamada
directriz, donde l no contiene a F . Queremos describir el conjunto de los
puntos P = (x, y) en el plano, tales que su distancia a la recta l y su distancia
al punto F sean iguales.
Para simplificar las operaciones vamos a suponer que F = (0, p) y que la
recta l tiene como ecuacin y = p. Ms adelante ubicaremos el punto F
y la recta l en otras circunstancias, para generalizar un poco los resultados
obtenidos aqu.
Observemos la Figura A.4.
y
P (x, y)
F (0, p)
x
V
Figura A.4
y = p
260
(A.3)
P (x, y)
F (0, p)
x
y = p
D
Figura A.5
Ejemplo A.4. Hallar las coordenadas del foco y la ecuacin de la recta
directriz de la parbola x2 = 5y.
Observando (A.3) podemos
concluir que p = 54 ; por consiguiente, las coor
5
denadas del foco son 0, 4 y la ecuacin de la directriz es y = 54 . Grficamente es la Figura A.6.
y
2
1
-3
-2
-1
Figura A.6
3x
261
y = p
V
x
F (0, p)
P (x, y)
Figura A.7
Supongamos ahora que el foco est en F (p, 0) y la directriz est dada
por x = p. Fcilmente puede concluir que la ecuacin de esta parbola es
y 2 = 4px. Dependiendo si p es positivo o negativo, la parbola abre hacia la
derecha o hacia la izquierda. Realice el grfico correspondiente.
Naturalmente, usted ya estar preguntndose qu pasa si el vrtice no
est en el origen. Para visualizar esta situacin observemos la Figura A.8.
y
k+p
k
y =kp
h
Figura A.8
262
(A.4)
(A.5)
263
y
8
6
4
(1, 3)
2
-6
-4
-2 -1
6 x
-2
Figura A.9
Ejercicio A.6. En los ejercicios 1 a 3, hallar las coordenadas del vrtice,
del foco y la ecuacin de la directriz. Graficar.
1. x2 2x + 5y + 16 = 0.
2. 18y 2 24y + 36x 1 = 0.
3. 12x2 + 3x 10y 1 = 0.
4. Hallar la ecuacin de la parbola que pasa por los puntos
,3 .
y 10
3
7
,2
3
,(1, 2)
a) Si la directriz es vertical.
b) Si la directriz es horizontal.
5. Hallar la ecuacin de la parbola con foco en (4, 4) y directriz y = 2.
Graficar.
6. Hallar la ecuacin de la parbola con foco en (4, 4) y directriz x = 2.
Graficar.
A.3.
Ecuacin de la elipse
264
F2 (c, 0)
F1 (c, 0)
a x
Figura A.10
Dado que P F1 + P F2 = 2a, entonces:
q
q
2
2
(x c) + (y 0) + (x + c)2 + (y 0)2 = 2a.
Es decir:
q
q
2
2
(x c) + y = 2a (x + c)2 + y 2 ;
(x c) + y
q
= 4a 4a (x + c)2 + y 2 + (x + c)2 + y 2
q
2
= 4a 4a (x + c)2 + y 2 + x2 + 2cx + c2 + y 2
2
x2 2cx + c2 + y 2
q
4a (x + c)2 + y 2 = 4a2 + 4cx
q
a (x + c)2 + y 2 = a2 + cx.
265
(c, 0)
266
267
(h, k + b)
(h a, k)
(h, k)
(h c, k)
(h + c, k)
(h + a, k)
(h, k b)
h
Figura A.13: Elipse con centro (h, k).
Ejemplo A.7. Identificar el centro, los focos, los vrtices del eje mayor y
del eje menor de la elipse con ecuacin
(x 2)2 (y + 5)2
+
= 1.
16
4
(A.8)
Elaborar un grfico.
Como 16 > 4, observamos que a = 4 y b = 2, de modo que esta elipse
tiene eje mayor paralelo al eje x y su ecuacin es de la forma (A.7). El
centro dela elipse es (h, k) = (2, 5) y puesto que a2 = b2 + c2 , obtenemos
que c = 12. Con esta informacin podemos representar la elipse y obtener
las coordenadas de focos y vrtices (ver Figura A.14).
Focos: 2 + 12, 5 , 2 12, 5 .
Vrtices del eje mayor: (2, 5) (6, 5) .
Vrtices del eje menor: (2, 3) (2, 7) .
268
y
1
-2 -1
6 x
-3
-5
-7
Figura A.14
operaciones. Justifique cada paso:
(x 2)2 (y + 5)2
+
16
4
2
(x 2) + 4 (y + 5)2
x2 4x + 4 + 4 y 2 + 10y + 25
x2 4x + 4 + 4y 2 + 40y + 100
x2 + 4y 2 4x + 40y + 88
= 1
=
=
=
=
16
16
16
0.
(A.9)
269
9 x2 + 2x + 4 y 2 6y + 9 = 0
9 x2 + 2x + 1 + 4 y 2 6y + 9 + 9 = 9 + 36
9 (x + 1)2 + 4 (y 3)2 = 36
Dividiendo por 36, tenemos:
(x + 1)2 (y 3)2
+
= 1.
4
9
sta es la ecuacin de la elipse con centro en (1, 3) , longitud del eje
mayor 6, longitud del eje menor 4. Para obtener las coordenadas de los focos
2
2
2
debemos hallar el valor de c. Para
esto, tenemos que a = b + c , donde
a = 3 y b=2; por tanto,
c = 5. Luego, las coordenadas de los focos son:
1, 3 + 5 , 1, 3 5 .
y
6
4
2
-3
-1
1
Figura A.15
270
A.4.
Ecuacin de la hiprbola
(A.10)
271
y
(x, y)
F2 (c, 0)
F1 (c, 0) x
F2 (c, 0)
F1 (c, 0) x
272
nocer las rectas punteadas que aparecen en la figura 2.23, ya que stas nos
proporcionan informacin acerca de la abertura de la curva. Observe que en
la parte derecha, a medida que x es mayor, la curva se acerca a estas rectas sin
tocarlas. Lo mismo ocurre en la parte izquierda, cuando x es menor. Por esto
es importante darles un nombre a estas rectas, las cuales se llaman asntotas
de la hiprbola.
Los puntos (a, b) , (a, b) , (a, b) , (a, b) son los vrtices de un rectngulo y nos sirven para encontrar las ecuaciones de las asntotas. Observe que
(0, 0) , el centro de la hiprbola, es el centro de este rectngulo y pertenece
a ambas asntotas. Revise que las rectas y = ab x y y = ab x son asntotas de
la hiprbola con ecuacin (A.10). En el captulo 3 daremos el concepto de
asntota y podr justificarse, utilizando el concepto de lmite, por qu estas
rectas son las asntotas de la hiprbola (A.10). Por otra parte, el segmento
de vrtices (a, 0) y (a, 0) se llama eje transverso y el segmento de vrtices
(0, b) y (0, b) se llama eje conjugado.
Presentamos ahora las ecuaciones de la hiprbola, obtenidas al colocar
los focos F1 y F2 en diferentes situaciones, con sus grficas correspondientes.
En todos los casos, la relacin entre a, b y c es c2 = a2 + b2 . Justifique en
cada caso.
y 2 x2
2 = 1.
a2
b
Su grfico correspondiente es la Figura A.18.
y
a
b
273
= 1,
a2
b2
(A.11)
cuando el eje transverso es paralelo al eje x, con grfico como la Figura A.19.
y
k+b
k
kb
ha h h+a
h+c
= 1,
a2
b2
con grfico como la Figura A.20.
y
(h, k)
x
Figura A.20
(A.12)
274
Ejemplo A.10. Identificar el centro, los focos y los vrtices de los ejes transverso y conjugado de la hiprbola con ecuacin
(y 2)2 (x + 1)2
= 1.
4
5
(A.13)
L1
-5
-3
-1
1
-2
3 x
L2
Figura A.21
Vrtices del eje transverso: (1, 4)
, (1,
0) .
Vrtices del eje conjugado: 1 5, 2 , 1 + 5, 2 .
Focos: (1, 5) , (1, 1) .
Para hallar la ecuacin de la
L1 , notamos que esta recta contiene
asntota
a los puntos (1, 2) y 1 + 5, 4 , y, L2 contiene a los puntos (1, 2) y
1 5, 4 , de modo que las ecuaciones son:
2 5
L1 :
y2=
(x + 1) .
5
2 5
L2 :
y2=
(x + 1) .
5
275
4
5
5(y 2 4y + 4) 4(x2 + 2x + 1)
5y 2 20y + 20 4x2 8x 4
4x2 + 5y 2 8x 20y 4
= 1
= 20
= 20
= 0.
276
A.5.
Excentricidad
(A.14)
277
A.5. EXCENTRICIDAD
(A.17)
= 1.
25 16
41
e=
.
5
Por tanto, las ecuaciones de las directrices son:
5
25
25 41
25
25 41
5
, x = = =
x= = =
41
41
41
41
41
41
5
5
y su representacin grfica es la Figura A.22.
x=
25 41
41
x=
25 41
41
4
2
-9 -7 -5 -3
-2
-4
Figura A.22
9x
278
Ejemplo A.13. Hallar la excentricidad y las directrices de la elipse del ejemplo A.8. Representarlas grficamente.
En este ejemplo consideramos la elipse con ecuacin
(x + 1)2 (y 3)2
+
= 1,
4
9
5
c
donde a = 3, b = 2, c = 5, de modo que e = =
< 1.
a
3
Como esta ecuacincorresponde al caso 2, las
directrices tienen ecuaciones
9
9 5
9
9 5
y = 3+ = 3+
, y = 3 = 3
y su representacin grfica
5
5
5
5
es la Figura A.23.
y
D1
6
4
2
-3
-1
x
D2
Figura A.23
Notemos que los focos F1 = 1, 3 + 5 y F2 = 1, 3 5 correspon
9 5
9 5
den a las directrices D1 : y = 3+
, y, D2 : y = 3
, respectivamente.
5
5
Por otra parte, siendo (1, 3)
que se tiene
q un punto P de la elipse, observe
2
2
P F1 = eP D1 , pues P F1 = (1 (1)) + 3 3 + 5
= 4+5=3 y
9 5
9 5
59 5
P D1 = 3 +
3 =
; donde 3 =
. Tome otros puntos arbi5
5
3 5
trarios de la elipse en el lugar de P y verifique que se satisface esa relacin.
279
A.6.
(A.18)
donde A, B, C, D, E, F son constantes y por lo menos una de las constantes A, B C no es nula. Observe que en lo estudiado en este captulo
hemos obtenido este tipo de ecuacin (A.18) pero cuando B = 0, las cuales
corresponden a circunferencias, parbolas, elipses o hiprbolas en diferentes
situaciones.
En general, una ecuacin de la forma (A.18) corresponde a una de estas
curvas (o a una de ellas degenerada: un punto, un par de rectas que se
cruzan). Cuando B 6= 0, la curva (parbola, elipse o hiprbola) se ha rotado
280
de modo que su(s) eje(s) ya no es(son) paralelo(s) a los ejes x, y. Con base
en lo estudiado podemos hacer un pequeo cuadro resumen para el caso de
la ecuacin (A.18) cuando B = 0.
La ecuacin Ax2 + Cy 2 + Dx + Ey + F = 0 representa:
Una ...
Parbola
Circunferencia
Elipse
Hiprbola
cuando ...
A = 0, C = 0 pero no ambos a la vez.
A y C no son nulos y A = C.
A y C son no nulos, distintos y tienen el mismo signo.
A y C son no nulos y tienen signos distintos.
Cuadro 2.1
281
282
Bibliografa
283
ndice alfabtico
implcita, 190
logartmica, 197
Derivada
definicin, 169
propiedades, 175
Derivadas
de orden superior, 184
laterales, 178
Desigualdad triangular, 33
Discontinuidad
no removible, 146
removible, 146
Distancia
entre dos puntos, 41
Dominio, 49
Ecuacin
de la circunferencia, 255
de la elipse, 263
de la hiprbola, 270
de la parbola, 259
de la recta, 42
general de segundo grado, 279
Excentricidad, 276
Formas indeterminadas, 206
284
NDICE ALFABTICO
Funcin, 55
algebraica, 65
cncava hacia abajo, 221
cncava hacia arriba, 220
constante, 58
continua, 144
creciente, 66
decreciente, 66
definida a trozos, 60
derivada, 172
exponencial, 89
identidad, 58, 68
impar, 66
inversa, 68
inyectiva, 67
lineal, 58
logartmica, 90
par, 65
parte entera, 59
peridica, 66
polinmica, 58
racional, 58
trigonomtrica, 71
valor absoluto 59
Imagen, 49
Inecuacin, 24
Intervalos, 23
Inverso
aditivo, 12
multiplicativo, 14, 15
Lmite
al infinito, 133
de la funcin exponencial, 127
definicin, 99
en el infinito, 128
no existe, 105
285
286
NDICE ALFABTICO
del seno, 84
del valor intermedio, 154
del valor medio, 199
del valor medio de Cauchy, 207
Tricotoma, 19
Valor absoluto, 31