Apuntes de Curso

Lmites y continuidad
de funciones reales
Juan Mayorga-Zambrano, Ph.D.
Universidad Tecnologica Israel
jrmayorgaz@gmail.com

Noviembre 2012

J.
o,
Resumen
Se estudian los conceptos de lmite y continuidad de una funcion real con ayuda

an
de resultados validos sobre sucesiones reales. br
Topicos
am

1. Introduccion 1
-Z

2. Definiciones de lmites 9
ga

3. Teoremas y Proposiciones sobre lmites 12

4. Continuidad 12
or

4.1. Tipos de discontinuidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13

ay

4.2. Teoremas sobre continuidad . . . . . . . . . . . . . . . . . . . . . . . . . . . 15

4.3. El Metodo de las Bisectrices . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
M

5. Calculo de lmites 18
5.1. Lmites Fundamentales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
5.2. Cambio de Variable . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
5.3. Infinitesimos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
5.4. Infinitos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23

6. Ejercicios resueltos 25

7. Problemas 32

1. Introduccion
Usamos una serie de ejemplos para pasar revista a los casos de lmites que se pueden
presentar.
Los ejemplos 1.1 y 1.2 corresponden a lmites finitos, esto es existe convergencia.

1
 En los ejemplos 1.3, 1.4, 1.5, 1.6 y 1.7 no hay convergencia, es decir hay divergencia.
Los ejemplos 1.3 y 1.4 corresponden a una divergencia hacia o , estos casos
suelen referirse como lmites infinitos.
Finalmente en los Ejemplos 1.5, 1.6 y 1.7 la funcion respectiva diverge (no tiene
lmite donde se analiza) pero no se presentan lmites infinitos.
Ejemplo 1.1. Consideremos la funcion f : R R definida mediante

f (x) = 1 + x.

Queremos analizar el comportamiento de f (x) cuando x se acerca a x = 0, es decir, queremos ver

si de alguna manera tiene sentido escribir

lm f (x) = L, (1.1)
xx

J.
para algun numero real L. Sera posible hacer un analisis como el que hicimos sobre la sucesion

o,
definida por la formula yn = 1 + 1/n?  
Para empezar, si reemplazamos la variable independiente x por el camino (xn )nN = n1

an
nN
R, tenemos que
lm xn = x = 0
br
n

y se puede observar el siguiente comportamiento de f (x) cuando x se acerca a x = 0 siguiendo el

am

camino xn :
n 1 2 4 10 100 1000 100000 1 1020
-Z

x = xn 1 0.5 0.25 0.1 0.01 0.001 0.000001 1 1020

f (x) 2 1.5 1.25 1.1 1.01 1.001 1.000001 1 + 1 1020
ga

| f (x) 1| 1 0.5 0.25 0.1 0.01 0.001 0.000001 1 1020

or

Al ver esta tabla nos sentimos tentados a afirmar la veracidad de la formula (1.1) con L = 1. Sin
embargo, esto es prematuro pues, en tanto que xn es un camino que tiende a x = 0; y lo que
ay

buscamos es el comportamiento de f (x) cuando x se acerca a x = 0 siguiendo cualquier camino.

Indaguemos entonces un poco mas. Analicemos el comportamiento de f (x) cuando x se acerca
M

a x = 0 siguiendo el camino (xn )nN = (sin(1/n))nN R, que claramente cumple

lm xn = x = 0.
n

Aqu se tiene:

n 1 2 4 10 100 100000 1 1020

x = xn 1 0.5 0.25 0.1 0.01 0.000001 1 1020
f (x) 1.8415 1.4794 1.2474 1.0998 1.001 1.000001 1 + 1 1020
| f (x) 1| 0.8415 0.4794 0.2474 0.0998 0.001 0.000001 1 1020

Viendo esta tabla reforzamos nuestra intuicion de que (1.1) es valido, es decir conforme a la
informacion disponible parecera que

lm f (x) = 1,
x0

2
 J.
o,
an
Figura 1: La funcion dada por f (x) = 1 + x tiene lmite finito cuando x 0.
br
pero sigue sin ser suficiente! Recordemos que lo que necesitamos es que a traves de todo camino
am

(xn )nN tal que a lmn xn = x = 0 se cumpla que

lm f (xn ) = L = 1.
-Z

Vamos mas alla y veamos si el grafico de la funcion f refuerza esta intuicion:

ga

En el grafico anterior observamos que cuando x se va acercando a x = 0 desde la izquierda el

valor de f (x) se acerca a L = 1. Esto se denota mediante
or

lm f (x) = lm f (x) = 1.
ay

x0 x0

Asimismo cuando x se va acercando a x = 0 desde la derecha el valor de f (x) se acerca a L = 1.

M

Esto se denota mediante

lm+ f (x) = lm f (x) = 1.
x0 x0

Para estas instancias nuestra confianza en la validez de (1.1) es alta. Sin embargo, no hemos
probado la validez de (1.1) pues para ello se necesita definir matematicamente que es un lmite.
Esto sera abordado en la siguiente seccion.

Ejemplo 1.2. Aprovechemos los caminos (xn )nN R y (xn )nN R usados en el Ejemplo 1.1
para estudiar el comportamiento de la funcion definida por la formula

g(x) = (1 + x)1/x , (1.2)

cuando x tiende a x = 0. Para empezar, observese que

Dom(g) = R \ {0},

3
es decir, no es necesario que la funcion g este definida en x = 0, pero necesitamos que s lo este en
torno a x . Llamamos la atencion sobre la similitud de la formula (1.2) con la formula

1 n
 
lm 1 + = e.
n n
Sospechamos entonces que
lm g(x) = e 2.718281828 (1.3)
x0

Para el camino (xn )nN R la tabla de valores es

n x = xn f (x) | f (x) e|
aprox. aprox. aprox.
1 1.0000000 2.000000000 0.7182818285
2 0.5000000 2.250000000 0.4682818285

J.
3 0.3333333 2.370370370 0.3479114581
4 0.2500000 2.441406250 0.2768755785

o,
5 0.2000000 2.488320000 0.2299618285

an
10 0.1000000 2.593742460 0.1245393684
50 0.0200000 2.691588029 0.0266937994
100 0.0100000 2.704813829 0.0134679990
br
1000 0.0010000 2.716923932 0.0013578962
1.35913966 106
am

1000000 0.0000010 2.718280469

1 1012 1 1012 2.718281828 1.35 1012
.. .. .. ..
. . . .
-Z

Para el camino (xn )nN R, la tabla de valores es

ga

n x = xn f (x) | f (x) e|
or

aprox. aprox. aprox.

1 0.8414710 2.0659540 0.6523278
ay

2 0.4794255 2.2635248 0.4547570

3 0.3271947 2.3753259 0.3429560
M

4 0.2474040 2.4437576 0.2745242

5 0.1986693 2.4896172 0.2286646
10 0.0998334 2.5939326 0.1243492
50 0.0199987 2.6915898 0.0266921
100 0.0099998 2.7048141 0.0134678
1000 0.0010000 2.7169239 0.0013579
1000000 0.0000010 2.7182805 0.0000014
.. .. .. ..
. . . .

A partir de las dos tablas anteriores nos sentimos mas confiados sobre la validez de (1.3); sin
embargo, vamos mas alla y veamos si el grafico de la funcion g refuerza esta intuicion.
En el grafico observamos que cuando x se va acercando a x = 0 desde la izquierda el valor de
f (x) se acerca a L = e 2.718281828, esto se denota mediante

lm f (x) = lm f (x) = e.
x0 x0

4
 J.
o,
an
Figura 2: La funcion dada por g(x) = (1 + x)1/x tiene lmite finito cuando x 0.
br
Asimismo cuando x se va acercando a x = 0 desde la derecha el valor de f (x) se acerca a
am

L = e 2.718281828, esto se denota mediante

lm f (x) = lm f (x) = e.
x0+
-Z

x0

Recalquemos que no hemos probado la validez de (1.3); en todo caso, s estamos en condiciones de
ga

pronosticar tal validez.

or

Ejemplo 1.3. Consideremos la funcion h : R R definida mediante

ay

h(x) = x3 2x2 x + 2.
M

Tanteemos con algunos valores para obtener alguna informacion sobre como se comporta h(x) a
medida que x crece a +.

x 1 3 4 10 100 1000
h(x) 0 8 30 792 979902 9.98 108
|h(x)| 0 8 30 792 979902 9.98 108

Como se puede ver en la tabla, a medida que x tiende a +, h(x) tambien tiende a +. En otras
palabras, a medida que el argumento x se hace mas y mas grande, el valor h(x) tambien se hace
mas y mas grande. Esto se denota como

lm h(x) = +.
x

Tambien se puede escribir

h(x) +, cuando x +.

5
Finalmente observese que dado cualquier tamano M > 0 - por mas que sea muy grande - siempre
se puede hallar un x0 = x0 (M) R de manera que h(x) sea mas grande que M a partir de x0 , es
decir,
M > 0, x0 = x0 (M) R : x > x0 h(x) > M.
Por ejemplo, observese que para M1 = 10, se puede tomar x0 (M1 ) = 4. Para M2 = 9000, funciona
x0 (M2 ) = 100.
Ahora veamos como se comporta h(x) a medida que x decrece a .

1000 100 10 4 2 1 x
1.002 109 1019898 1188 90 12 0 h(x)
1.002 109 1019898 1188 90 12 0 |h(x)|

Como se puede ver en la tabla, a medida que x tiende a , h(x) tiende a . Esto se denota

J.
como
lm h(x) = .
x

o,
Tambien se puede escribir

h(x) ,
an
cuando x .
br
Finalmente observese que dado cualquier tamano M > 0 - por mas que sea muy grande - siempre
se puede hallar un x0 = x0 (M) R de manera que h(x) sea menor que M a partir de x0 , es decir,
am

M > 0, x0 = x0 (M) R : x < x0 h(x) < M.

-Z

Por ejemplo, observese que para M1 = 10, se puede tomar x0 (M1 ) = 2. Para M2 = 9000, funciona
x0 (M2 ) = 100.
ga

Con la informacion que hasta ahora tenemos hemos deducido que

or

lm h(x) = y lm h(x) = .
ay

x x

Pero, como en los ejemplos anteriores, recalquemos que no hemos probado la validez de estos lmites
M

- ni siquiera hemos definido que es estrictamente un lmite! De hecho, aun con la informacion
provista por el grafico (que a continuacion presentamos) no contamos con una demostracion de
tal validez; lo que s, nuestra conviccion aumenta...

Ejemplo 1.4. Consideremos la funcion : R R definida mediante

1
(x) = .
|x 1|
Nos interesa saber como comporta (x) a medida que x se acerca a x0 = 1. Para empezar observemos
que Dom() = R \ {1}. Nuevamente, no importa que la funcion no este definida en x0 , el punto
donde buscamos lmite, pero necesitamos que tal funcion s este definida en torno a x0 .

6
 J.
o,
an
Figura 3: La funcion dada por h(x) = 2 x 2x2 + x3 .
br
x (x)
am

0.9000000000 10
0.9900000000 100
0.9990000000 1000
-Z

0.9999000000 10000
0.9999999999 1 1010
ga

.. ..
. .
1.0000000000 no definido
or

.. ..
. .
ay

1.0000000001 1 1010
1.0001000000 10000
M

1.0010000000 1000
1.0100000000 100
1.1000000000 10

Como se puede ver en la tabla, a medida que x tiende a x0 = 1 desde la izquierda, (x) crece hacia
+, es decir,
lm (x) = lm (x) = +.
x1 x1

Asimismo, a medida que x tiende a x0 = 1 desde la derecha, (x) crece hacia +, es decir,

lm (x) = lm+ (x) = +.

x1 x1

Si a esta informacion numerica le sumamos el grafico de la funcion sentimos (pero no probamos!)

que
lm (x) = +.
x1

7
 J.
o,
an
Figura 4: La funcion dada por (x) =
br 1
|x1| .

Ejemplo 1.5. Si f : R R es una funcion periodica que no es constante, entonces no existen

am

lm f (x), lm f (x).
x x
-Z

A este caso pertenecen las funciones trigonometricas.

ga
or
ay
M

Figura 5: La funcion seno no converge en ni en .

Ejemplo 1.6. A partir del grafico de las funcion signo es claro que no existe el lmite cuando x
tiende a 0.


1, si x > 0,
sgn(x) = si x = 0,

0,


1, si x < 0.

Ejemplo 1.7. A partir del grafico de las funcion tangente es claro que no existe el lmite cuando
x tiende a 2 + k, con k Z.

8
 Figura 6: La funcion signo no converge cuando x tiende a x0 = 0.

J.
o,
an
br
am
-Z

Figura 7: La funcion tangente es divergente en los puntos 2 + k, k Z, pero no existen
lmites infinitos.
ga

2. Definiciones de lmites
or
ay

En la Seccion 1 presentamos intuitivamente la idea de lmite. Mencionamos tambien

que no siempre existe el lmite buscado. Todo fue intuitivo y apelando al sentido comun.
Pero, como tambien fue mencionado, nunca se probo la existencia o no-existencia de tales
M

lmites pues, para ello, se necesitan definiciones precisas sobre lo que se esta buscando
- ese es el tema de esta seccion.
Observacion 2.1. De la definicion de continuidad de una funcion (Definicion 4.1) se hara evi-
dente que necesitamos conocer como calcular lmites para establecer la continuidad de una funcion.
Por esta razon una variedad de tecnicas para el calculo de lmites se presentan recien en la Seccion
5. De esta manera buscamos que el estudiante optimice su tiempo dedicado a ejercicios.

Definicion 2.1. [Lmite finito de una funcion real]

Sean x I = (a, b) y f una funcion real tal que I \ {x } Dom( f ). Se dice que L R es el
lmite de la funcion f cuando x tiende a x si para toda sucesion (xn )nN I \ {x } se cumple
que
lm xn = x lm f (xn ) = L. (2.1)
n n

En este caso escribimos

lm f (x) = L. (2.2)
xx

9
 En la Definicion 2.1 tambien se dice que la funcion f converge a L cuando x tiende a x .

Observacion 2.2. La Definicion 2.1 equivale a

 > 0, > 0 : |x x | < | f (x) L| < . (2.3)

Definicion 2.2. [Lmite infinito de una funcion real]

Sean x I = (a, b) y f una funcion real tal que I \ {x } Dom( f ). Se dice que f diverge a
cuando x tiende a x si para cada sucesion (xn )nN I \ {x } se cumple que

lm xn = x , lm f (xn ) = . (2.4)
n n

En este caso escribimos

lm f (x) = . (2.5)

J.
xx

o,
De forma analoga se define lm f (x) = .

an
xx

Observacion 2.3. La Definicion 2.2 equivale a

br
K > 0, > 0 : |x x | < f (x) > K. (2.6)
am

Observacion 2.4. En las Definiciones 2.1 y 2.2 necesitamos que a traves de todo camino
(xn )nN tal que lm xn = x se cumpla que
-Z

n
ga

lm f (xn ) = L
n
or

para concluir que

lm f (x) = L,
ay

xx

donde L R {+, }. Veanse los Ejemplos 1.1, 1.2 y 1.4.

M

Finalmente establezcamos que es exactamente un lmite lateral.

Definicion 2.3. [Lmite lateral por la izquierda]

Sean x I = (a, b) y f una funcion real tal que I \ {x } Dom( f ). Se dice que L R es el lmite
por la izquierda de la funcion f cuando x tiende a x si para toda sucesion (xn )nN I \ {x }
se cumple que
 
lm xn = x (n N : xn < x ) lm f (xn ) = L. (2.7)
n n

En este caso escribimos

lm f (x) = lm f (x) = L. (2.8)
xx
xx

10
 Definicion 2.4. [Lmite lateral por la derecha]
Sean x I = (a, b) y f una funcion real tal que I \ {x } Dom( f ). Se dice que L R es el lmite
por la derecha de la funcion f cuando x tiende a x si para toda sucesion (xn )nN I \ {x } se
cumple que
 
lm xn = x (n N : xn > x ) lm f (xn ) = L. (2.9)
n n

En este caso escribimos

lm f (x) = lm f (x) = L. (2.10)
xx+
xx

Presentamos ahora la definicion de lmite al infinito de una funcion real. Vease el

Ejemplo 1.3.

J.
Definicion 2.5. [Lmite al infinito (I)]
Sea f una funcion real tal que Dom( f ) no esta acotado superiormente. Decimos que f diverge

o,
a cuando x tiende a , lo cual se denota

an
lm f (x) = ,
x
br
si para toda sucesion (xn )nN Dom( f ) se tiene que
am

lm xn = + lm f (xn ) = . (2.11)
n n
-Z

De la misma manera se definen lm f (x) = , lm f (x) = y lm f (x) = .

ga

x x x

Observacion 2.5. La Definicion 2.5 equivale a

or

K > 0, M > 0 : M < x Dom( f ) f (x) > K. (2.12)

ay

Definicion 2.6. [Lmite al infinito (II)]

M

Sea f una funcion real tal que Dom( f ) no esta acotado superiormente. Decimos que f converge
a L R cuando x tiende a , lo cual se denota

lm f (x) = L,
x

si para toda sucesion (xn )nN Dom( f ) se tiene que

lm xn = + lm f (xn ) = L. (2.13)
n n

De la misma manera se define lm f (x) = L.

x

Observacion 2.6. La Definicion 2.6 equivale a

 > 0, M > 0 : M < x Dom( f ) | f (x) L| < . (2.14)

11
3. Teoremas y Proposiciones sobre lmites
Para empezar veamos de que manera los conceptos de lmite finito y lmite lateral se
vinculan.

Proposicion 3.1. Sean L R, x I = (a, b) y f una funcion real tal que I \ {x } Dom( f ).
Se tiene que !
lm f (x) = L lm f (x) = L lm f (x). (3.1)
xx0 xx0 xx0

Cuando un lmite existe, es unico; ese es el contenido de la siguiente Proposicion.

Proposicion 3.2. [Unicidad del lmite]

J.
Sean L R, x I = (a, b) y f una funcion real tal que I \ {x } Dom( f ). Si

L1 = lm f (x) L2 = lm f (x),

o,

xx0 xx0

an
entonces
L1 = L2 .
br
Ejercicio 3.1. Pruebe la Proposicion 3.2.
am

En la siguiente proposicion establecemos como se puede operar con los lmites finitos.
-Z

Proposicion 3.3. [Operaciones con lmites]

Sean L1 , L2 R, x I = (a, b) y f, g funciones reales tales que I \ {x } Dom( f ) Dom(g).
ga

Supongamos que L1 = lm f (x) y L2 = lm g(x). Se tiene que

xx0 xx0
or

lm ( f + g)(x) = L1 + L2 = lm f (x) + lm g(x); (3.2)

xx0 xx0 xx0
ay

lm ( f g)(x) = L1 L2 = lm f (x) lm g(x). (3.3)

xx0 xx0 xx0
M

Si L2 , 0,
! lm f (x)
f L1 xx0
lm (x) = = . (3.4)
xx0 g L2 lm g(x)
xx0

Si L2 > 0,
! lm f (x)
L xx0
lm g(x) f (x)
= L2 1 = lm g(x) . (3.5)
xx0 xx0

Ejercicio 3.2. Pruebe la Proposicion 3.3.

4. Continuidad
Cuando hablamos de continuidad de una funcion en un punto nos referimos intui-
tivamente al hecho de que el grafico de la funcion se puede trazar de manera continua

12
o de un solo trazo - sin levantar el lapiz - cuando nos movemos en las cercanas de tal
punto. Viendolo as es claro que, en tanto que la funcion seno es continua en el punto
x = 0, la funcion signo no lo es.

Definicion 4.1. [Continuidad]

Una funcion real f es continua en el punto x0 Dom( f ) si se cumple que

lm f (x) = f (x0 ); (4.1)

xx0

caso contrario decimos que f es discontinua en x0 . Decimos que f es continua en la region A

si es continua en todo punto x A Dom( f ).

Observacion 4.1. Las funciones mas comunes como polinomios, exponenciales, logartmicas,
trigonometricas son continuas en su dominio.

J.
o,
4.1. Tipos de discontinuidad

an
Ejemplo 4.1. Hay varios tipos de discontinuidad y para hacer un apronte a ello, consideremos
la funcion real f cuyo grafico se presenta a continuacion.
br
am

y
6
]
JJ
q3
-Z

J
J
q2 c
J
ga

J
J 1,5 q
q1
or

J
J
Js q
ay

0,5

q q q q q q q q q q q q q -
-
-4 -3 -2 -1
c s
1 2 3 4 5 6 7 8
x
M

-0,5

q -1

q -2 s

Veamos lo que sucede en torno a los puntos

x1 = 1.0, x2 = 1.0,
x3 = 2.0, x4 = 2.5.

i xi lm f (x) lm f (x) f (xi ) Continuidad

xxi xxi
1 -1.0 0.5 -0.5 0.5 No
2 1.0 -0.5 -0.5 -0.5 S
3 2.0 -2.0 + -2.0 No
4 2.5 2.0 2.0 no existe No

13
 Observese que para concluir que una funcion es continua en el punto x2 = 1.0 necesitamos
que f (x2 ) y lm f (x) existan y sean iguales. En el punto x1 = 1.0 coinciden lm f (x) y f (x1 )
xx2 xx1
pero no lm f (x); lo mismo acontece con x3 . En el punto x4 coinciden los dos lmites laterales pero
xx1
x4 < Dom( f ). Para clasificar los tipos de discontinuidad que presenta la funcion en los puntos
x1 , x3 y x4 , introducimos la siguiente Definicion.

Definicion 4.2. [Tipos de discontinuidad]

Sea f una funcion real de variable real y sea x0 R. Supongamos que f es discontinua en x0 .
Decimos entonces que f tiene una discontinuidad de primera especie en x0 si

lm f (x) R y lm f (x) R;
xx0 xx0

caso contrario decimos que f tiene una desigualdad de segunda especie en x0 . Si

J.
lm f (x) = lm f (x) R,

o,
xx0 xx0

an
decimos que f tiene una desigualdad evitable en x0 . br
Observacion 4.2. Observese que la discontinuidad evitable es un caso particular de la discon-
tinuidad de primera especie.
am

Observacion 4.3. Sea f una funcion real de variable real y sea x0 R. Supongamos que se
cumple que
-Z

lm f (x) = lm f (x) = L R;
xx0 xx0
ga

pero
f (x0 ) , L x0 < Dom( f ),
or

entonces f tiene una discontinuidad evitable en x0 . En este caso se puede definir una nueva
funcion f que mantendra casi toda la informacion que trae consigo la funcion original f pero que
ay

elimina la discontinuidad en x0 (por eso el termino evitable):

M

f : Dom( f ) {x0 } R

f (x), si x Dom( f ) \ {x0 }


f (x) =

x 7
L,
si x = x0 .

En el Ejemplo 4.1, en x3 la funcion f tiene una discontinuidad de segunda especie. La

funcion f tiene discontinuidades de primera especie en los puntos x1 = 1.0 y x4 = 2.0.
De hecho, en x4 hay una discontinuidad evitable y entonces la funcion

f : Dom( f ) {x4 } R

f (x), si x Dom( f ) \ {x4 }

f(x) =

x 7
2.0, si x = x4 ,

es continua en x4 .

14
4.2. Teoremas sobre continuidad
Al analizar la continuidad de funciones, hay que tener presente que
i) La suma y el producto de un numero finito de funciones que son continuas en una
region determinada es, a su vez, una funcion continua en esa misma region.
ii) El cociente de dos funciones continuas en una region determinada, es tambien una
funcion continua, para todos los valores del argumento (en la misma region) en
que no se anula el denominador.
Observacion 4.4. Consideramos una funcion f : X Y.

1) Se denomina imagen directa de A X al conjunto

f (A) = {y = f (x) Y/ x A}. (4.2)

J.
2) Se denomina imagen inversa de B Y al conjunto

o,
f 1 (B) = {x X/ y B : y = f (x)}. (4.3)

an
En el siguiente teorema se establece que la composicion de funciones continua es
continua.
br
Teorema 4.1. Sea f y g dos funciones reales tales que
am

1) g es continua en A Dom(g);
2) f es continua en g(A) Rg(g) Dom( f ).
-Z

Entonces g f es continua en A.
ga

Ejercicio 4.1. Pruebe el Teorema 4.1.

or

El siguiente resultado es de suma importancia - resume las propiedades de una

ay

funcion que es continua en un intervalo cerrado.

M

Teorema 4.2. [Continuidad sobre un intervalo cerrado]

Sea f una funcion continua en [a, b] Dom( f ), donde a < b. Se cumplen los siguientes
puntos.
i) La funcion f esta acotada en [a, b], es decir, existe un cierto numero M > 0 tal que

| f (x)| M, x [a, b].

ii) La funcion f alcanza en [a, b] su valor maximo y su valor mnimo, es decir, existen
puntos xmin y xmax en [a, b] tales que

fmax f (xmax ) f (x), x [a, b],

fmin f (xmin ) f (x), x [a, b].

iii) La funcion f toma todos los valores entre fmin y fmax , es decir,

y0 [ fmin , fmax ], x0 [a, b] : f (x0 ) = y0 .

15
 En el marco del Teorema 4.2,
f ([a, b]) = [ fmin , fmax ]. (4.4)

Como consecuencia del punto iii) del Teorema 4.2 tenemos el siguiente corolario que
nos dice que una funcion continua que tiene diferente signo en los extremos de un
intervalo debe pasar por cero.

Corolario 4.1. [Teorema de Bolzano]

Sea f una funcion continua en [a, b] Dom( f ), donde a < b. Si f (a) f (b) < 0, entonces existe
al menos un x0 [a, b] tal que f (x0 ) = 0.

Ejercicio 4.2. Pruebe el Corolario 4.1.

J.
Recordemos que dado x0 R y r > 0 se denota

o,
B(x0 , r) = (x0 r, x0 + r) = {x R/ |x x0 | < r}.

an
Finalmente senalemos la siguiente importante propiedad de las funciones continuas.
br
A grosso modo esta establece que si una funcion continua tiene signo en un punto, en
todos los puntos cercanos tambien tendra el mismo signo.
am

Proposicion 4.1. Sea f una funcion real que es continua en (a, b) Dom( f ) y sea x0 (a, b).
Entonces,
-Z

1) Si f (x0 ) > 0, existe  > 0 tal que

ga

f (x) > 0, x B(x0 , ).

or

2) Si f (x0 ) < 0, existe un  > 0 tal que

ay

f (x) < 0, x B(x0 , ).

M

Ejercicio 4.3. Pruebe la Proposicion 4.1.

4.3. El Metodo de las Bisectrices

Supongamos que se quiere resolver la ecuacion

f (x) = 0, x I R. (4.5)

donde f (x) es una formula que no permite despejar x, esto es no existe un metodo
analtico que permita hallar los valores de x I Dom( f ) que verifican (4.5). En este
caso, antes de ponerse a buscar una solucion de la ecuacion - que pudiera no existir - se
debera usar el Corolario 4.1, esto es, deberamos inspeccionar si existen puntos a y b en
I Dom( f ) de manera que
i) f es continua en [a, b] y
ii) f (a) y f (b) tienen diferente signo, o sea f (a) f (b) < 0.

16
 y 6
q

q f(a) s

q q q q q q q Xssol q q q q q q -
0 a b x
q f(b) s

J.
o,
an
Bajo estas condiciones tenemos la seguridad de que existe una solucion xsol a nuestro
problema en el intervalo [a, b] sin siquiera haber empezado a buscar mecanicamente
alguna solucion de (4.5).
br
Tenga presente que podra haber mas de una solucion en el intervalo [a, b]. El Teorema de Bolzano
am

simplemente nos garantiza que existe al menos una solucion.

Ahora podramos aplicar algun metodo numerico para obtener un valor aproximado
-Z

de xsol . Describimos a continuacion un algoritmo conocido como el Metodo de las

Bisectrices.
ga

1) Iniciamos el proceso poniendo

or

xI = x1 ; (4.6)
xF = x2 ;
ay

(4.7)

2) Para cada paso i 3, ponemos

M

xI + xF
xi = .
2
Si
sgn f (xi ) = sgn f (xI ),
ponemos
xI = xi ,
caso contrario,
xF = xi .
La sucesion (xn )nN R definida de esta manera es tal que

lm xn = xsol ,
n

donde xsol es una solucion de la ecuacion (4.5) que yace en el intervalo [a, b].
En pseudocodigo el Metodo de las Bisectrices se puede presentar de la siguiente
manera.

17
 Require: f (x)
Require: xI , xF R
Ensure: xI < xF f (xI ) f (xF ) < 0
Require:  R
Ensure:  > 0
1: xsol (xI + xF )/2
2: F f (xsol )
3: while |F| >  do
4: if f (xI ) f (xsol ) > 0 then
5: xI xsol
6: else
7: xF xsol
8: end if
9: xsol (xI + xF )/2

J.
10: F f (xsol )
11: end while

o,
12: return xsol

an
En el algoritmo anterior, el valor  > 0 corresponde al maximo valor de error aceptable.
Entonces, la busqueda continua mientras la distancia entre el valor aproximado f (xsol )
br
sea mayor que .
am

5. Calculo de lmites
-Z

Para calcular lmites nos valemos de varios recursos. La nocion intuitiva juega un rol
ga

importante as como el manejo de los teoremas y proposiciones sobre lmites. Por otro
lado hay un buen numero de lmites que aparecen con frecuencia y que deben ser bien
conocidos por el estudiante para que pueda confrontar ejercicios con un mayor grado
or

de complejidad - como cuando hay que tratar con indeterminaciones 00 , 00 , 1 , etc.

ay

5.1. Lmites Fundamentales

M

En lo que sigue, las letras x e y representan siempre variables reales.

Proposicion 5.1. Se tiene que

sin x
= lm y sin 1/y = 1.


lm (5.1)
x0 x y

El primer lmite que aparece en (5.1) corresponde a una indeterminacion del tipo
0/0, es decir el lmite del cociente de dos funciones que tienden a 0 en tanto que el
argumento tiende a su objetivo. El segundo lmite que aparece en (5.1) corresponde a
una indeterminacion del tipo 0, es decir el lmite del producto de dos funciones, una
de las cuales tienden a cero y la otra tiende a cuando el argumento tiende a su objetivo.
Ejercicio 5.1. Pruebe la Proposicion 5.1.
La siguiente proposicion corresponde al caso mas basico de indeterminaciones de la
forma 1 .

18
 Proposicion 5.2. Se tiene que

1 x
 
1+ = lm 1 + y 1/y = e = 2.71828...


lm (5.2)
x+ x y0

Ejercicio 5.2. Pruebe la Proposicion 5.2.

La proposicion anterior es equivalente a la siguiente que corresponde a una indeter-

minacion 0/0.

Proposicion 5.3. Se tiene que

ln(1 + x)
lm = 1. (5.3)
x0 x

J.
Ejercicio 5.3. Pruebe la Proposicion 5.3.
Los siguientes lmites tambien son muy utiles.

o,
an
Proposicion 5.4. Se tiene que

ex 1 
br 
lm = lm y e1/y 1 = 1; (5.4)
x0 x y
am

arcsin(x)
lm = 1. (5.5)
x0 x
-Z

lm xp ln(x) = 0, p 1, (5.6)
x0
ga

(1 + x) 1
lm = 1, R \ {0}, (5.7)
x0 x
or

Ejercicio 5.4. Pruebe la Proposicion 5.4.

ay

Proposicion 5.5. Sean a R {, }, k > 0 y f, g funciones reales tales que

M

lm f (x) = k, lm g(x) = .
xa xa

Entonces se tiene que

,
si k > 1
g(x)
=

lm f (x) (5.8)
xa 0,
si 0 < k < 1.

Ejercicio 5.5. Pruebe la Proposicion 5.5.

Observacion 5.1. Tenga presente que varios resultados que se estudiaron sobre lmites de
sucesiones son inmediatamente aplicables a funciones cuando x tiende a o, como se vera en la
siguiente seccion, previo un cambio apropiado de variable.

19
5.2. Cambio de Variable
La mejor manera de presentar esta estrategia es via ejemplos.
Ejemplo 5.1. Supongamos que queremos saber si el siguiente lmite existe, en cuyo caso nos
interesa su valor:
sin(x2 )
lm .
x0 x2
Este lmite no aparece entre los lmites fundamentales presentados en la Seccion 5.1. Sin embargo,
si observamos con detenimiento, caemos en cuenta que x2 aparece tanto en el numerador como
en el denominador. Se vuelve natural entonces que hagamos el cambio de variable

y = x2 .

Entonces, puesto que

J.
y 0, cuando x 0,

o,
se tiene, en virtud de la Proposicion 5.1, que

an
sin(x2 ) sin(y)
lm 2
= lm = 1.
x0 x y0 y
br
Veamos un ejemplo un poquito mas complicado.
am

Ejemplo 5.2. Supongamos que queremos saber si el siguiente lmite existe, en cuyo caso nos
interesa su valor:
-Z

lm(x 2)3 cos(x 2) ln(x 2).

x2
ga

Este lmite no aparece entre los lmites fundamentales presentados en la Seccion 5.1. Sin embargo,
si observamos con detenimiento, caemos en cuenta que x 2 aparece en mas de una ocasion. Se
or

vuelve natural entonces que hagamos el cambio de variable

ay

y = x 2.
M

Entonces, puesto que

y 0, cuando x 2,
se tiene, en virtud de las Proposiciones 5.4 y 3.3, que

lm(x 2)3 cos(x 2) ln(x 2) = lm y3 cos(y) ln(y) (5.9)

x2 y0

= lm cos(y) lm y3 ln(y) (5.10)

y0 y0
= 10 (5.11)
= 0. (5.12)

A partir de los lmites presentados en la Seccion 5.1 se pueden obtener, a traves de

cambios de variable apropiados, otros lmites que tambien son de gran utilidad. Por
ejemplo, el siguiente resultado generaliza la Proposicion 5.2.

20
 Proposicion 5.6. Sea k R y sean f y g dos funciones tales que

lm g(x) = k R,
xa
lm f (x) = .
xa

Entonces,
! f (x)
g(x)
lm 1 + = ek . (5.13)
xa f (x)

El siguiente resultado generaliza (5.4).

Proposicion 5.7. Sean a, b > 0. Se tiene que

ax bx a
 

J.
lm = ln . (5.14)
x0 x b

o,
Ejercicio 5.6. Pruebe la Proposicion 5.7.

an
5.3. Infinitesimos br
Sea f una funcion real. Se dice que f tiene un infinitesimo en a R {, } si
lm f (x) = 0.
am

(5.15)
xa
De esta definicion es claro que la suma y producto de infinitesimos (cuando x a) es
-Z

un infinitesimo (cuando x a).

Ejemplo 5.3. Puesto que
ga

lm xp = 0, p > 0, (5.16)
x0
se tiene que la funcion definida por la formula p (x) = xp es un infinitesimo cuando x 0+ .
or

La siguiente definicion tiene que ver con la rapidez con que un infinitesimo se acerca
ay

al numero 0.
Definicion 5.1. [Rapidez de un infinitesimo]
M

Supongamos que f y g son funciones reales que tienen infinitesimos en a R {, }. Se

dice que
i) el infinitesimo de f es de orden superior al de g si

f (x)
lm = 0; (5.17)
xa g(x)

ii) los infinitesimos son del mismo orden si

f (x)
lm = c , 0; (5.18)
xa g(x)

iii) en particular, se dice que los infinitesimos son intercambiables si

f (x)
lm = 1. (5.19)
xa g(x)

21
 Cuando f y g son funciones reales que tienen infinitesimos intercambiables en a R {, } se denota
f (x) g(x), cuando x a. (5.20)

La relacion es de equivalencia.

Ejemplo 5.4. Puesto que

cos(x + /4) (ex 1) 2
lm = ,
x0 x 2
se sigue que las funciones definidas por las formulas

(x) = cos(x + /4) (ex 1), (x) = x

tienen infinitesimos del mismo orden cuando x 0.

J.
Observacion 5.2. Si 0 < p < q se tiene claramente que

o,
xq
lm = lm xqp = 0.
xp x0

an
x0

Entonces q > p > 0 implica que xq converge a 0 mas rapido que xp cuando x 0.
br
Teorema 5.1. Sean f y g funciones reales que tienen infinitesimos en a R {, }. Si
am

el infitesimo de f es de orden menor al de g, entonces

f (x) + g(x) f (x), cuando x a. (5.21)

-Z

Corolario 5.1. [Uso de infinitesimos]

ga

Sean f y g funciones reales que tienen infinitesimos en a R {, }. Sea H una funcion

real para la que existe lm H(x).
or

x0

i) Si los infinitesimos de f y g son intercambiables, entonces

ay

lm H( f (x)) = lm H(g(x)). (5.22)

M

xa xa

ii) Si el infitesimo de f es de orden menor al de g, entonces

lm H( f (x) + g(x)) = lm H( f (x)). (5.23)

xa xa

Ejemplo 5.5. Usamos el Corolario 5.1, la Observacion 5.2 y el cambio de variable y = sin2 (x)
para calcular

arctan(sin2 (x))
L = lm
sin2 (x) sin4 (x)
x0

arctan(y)
= lm
y0 y y2
arctan(y)
= lm
y0 y
= 1.

22
Ejemplo 5.6. Usando el cambio de variable y = x2 calculamos
ln(1 + x2 )
L = lm
x0 tan(x2 )
ln(1 + y)
= lm
y0 tan(y)
ln(1 + y)
= lm cos(y)
y0 sin(y)
ln(1 + y)
= lm cos(y) lm
y0 y0 sin(y)
y
= 1 lm
y0 y
= 1. (5.24)

J.
Ejemplo 5.7. Nuevamente usando infinitesimos calculamos

o,
3
x3 + 5x4
L = lm

an
x0 ln(1 + 2x)
3
x3
br
= lm
x0 2x
am

1
=
2
-Z

5.4. Infinitos
ga

Sea f una funcion real. Se dice que f tiene un infinito en a R {, } si

lm f (x) = . (5.25)
or

xa

De esta definicion se hace inmediato que la suma (no la resta) y el producto de infinitos
ay

(cuando x a) es un infino (cuando x a).

Ejemplo 5.8. Puesto que
M

lm xp = 0, p > 0, (5.26)
x
se tiene que la funcion definida por la formula p (x) = xp es un infinito cuando x .
La siguiente definicion tiene que ver con la rapidez con que crece un infinito.

Definicion 5.2. Sea a R {, } y sean y dos funciones que tienen infinitos cuando
x a. Supongamos que
(x)
lm = C R.
xa (x)

i) Si C , 0, decimos que y tienen infinitos del mismo orden cuando x a.

ii) En particular, si C = 1 decimos que y tienen infinitos equivalentes o intercambiables
cuando x a, esto se denota como

(x) (x), cuando x a. (5.27)

iii) Si C = 0 decimos que tiene un infinito de orden superior al de cuando x a.

23
 La relacion definida en (5.27) es de equivalencia.

Observacion 5.3. La definicion anterior es analoga a la definicion de infinitesimo que presenta-

mos en la seccion anterior. Sin embargo observese que cuando C = 0 el infinito de orden superior
es el denominador (para el caso de infinitesimos era el numerador).
Ejemplo 5.9. Puesto que
 
cos 1
x + /4 /(e1/x 1) 2
lm = ,
x x 2
se sigue que las funciones definidas por las formulas
 
cos x1 + /4

J.
(x) = , (x) = x
e1/x 1

o,
tienen infinitos del mismo orden cuando x .

an
Observacion 5.4. Si 0 < p < q se tiene claramente que br
xp 1
lm = lm qp = 0.
x xq x x
am

Entonces q > p > 0 implica que xq crece mas rapidamente que xp cuando x .
-Z

El siguiente resultado es sumamente util pues permite reemplazar un infinito com-

plicado por otro mas simple en tanto que sean equivalentes.
ga

Teorema 5.2. Sean f y g funciones reales que tienen infinitos en a R {, }. Si el

infinito de f es de orden mayor al de g, entonces
or

f (x) + g(x) f (x),

ay

cuando x a. (5.28)
M

Corolario 5.2. Sean f y g funciones reales que tienen infinitos en a R {, }. Sea H

una funcion real para la que existe lm H(x).
x

i) Si los infinitos de f y g son intercambiables, entonces

lm H( f (x)) = lm H(g(x)). (5.29)

xa xa

ii) Si el infinito de f es de orden mayor al de g, entonces

lm H( f (x) + g(x)) = lm H( f (x)). (5.30)

xa xa

Observacion 5.5. Las potencias xp con p 1 son infinitos de orden superior con respecto a
ln(x), es decir,
ln(x)
lm = 0..
x xp

24
Ejemplo 5.10. Usando el cambio de variable y = 1 + x2 calculamos

ln(1 + x2 )
L = lm
x 1 + x2
ln(y)
= lm
y y
= 0. (5.31)

Ejemplo 5.11. Usamos la proposicion anterior y los cambios de variable y = ln(x) y z = y2 para
calcular
 
2 1/ ln2 (x)
L = lm (ln (x) + ln(x)) 1 e
x
 2
= lm (y2 + y) 1 e1/y

J.
y
 2
= lm y2 1 e1/y

o,
y
ez 1

an
= lm
z0 z
=
br
1.
am

6. Ejercicios resueltos
-Z

Ejemplo 6.1. Consideremos los polinomios definidos por las formulas

p(x) = 1 + 2x2 5x3 ,

ga

q(x) = 2 + 2x3 ,
or

r(x) = 3 + 4x2 + 2x4 ,

s(x) = 2 + x + x2 .
ay

Usamos infinitos para calcular

M

p(x)
L1 = lm
x q(x)

1 + 2x2 5x3
= lm
x 2 + 2x3
5x3
= lm
x 2x3
5
= .
2

25
 p(x)
L2 = lm
x r(x)
1 + 2x2 5x3
= lm
x 3 + 4x2 + 2x4
5x3
= lm
x 2x4
5 1
= lm
2 x x
= 0.

J.
p(x)
L3 = lm
x s(x)

o,
1 + 2x2 5x3
= lm
x 2 + x + x2

an
5x3
= lm
x x2
br
= lm 5x
x
am

= .
Ejemplo 6.2. Usando infinitos calculamos
-Z

3
x3 + 5x4
=
ga

L lm
x x4/3 x

3
5x4
or

= lm 4/3
x x

ay

3
= 5
M

Para el analisis del cociente de dos polinomios p y q se recomienda simplificarlo de

manera que quede el numerador y el denominador sean primos relativos. Esta estrategia
puede aplicarse frecuentemente a expresiones irracionales a traves de un cambio de
variable apropiado. Veamos un par de ejemplos al respecto.
Ejemplo 6.3. Calculamos

2x2 8
L = lm
x2 x2 3x + 2
2(x 2)(x + 2)
= lm
x2 (x 2)(x 1)
2(x + 2)
= lm
x2 x 1
= 8.
Ejemplo 6.4. Usamos el cambio de variable
1 + 2x = y6 ,

26
para calcular

1 + 2x 1
L = lm
x0 3 1 + 2x 1

y3 1
= lm
y1 y2 1

y2 + y + 1
= lm
y1 y+1
3
= .
2
Ejemplo 6.5. Usamos los cambios de variable y = x
2 y z = 2y2 e infinitesimos equivalentes
para calcular

J.
2
L = lm (cos(x))1/x
x0

o,
2
= lm [1 + (1 + cos(x))]1/x

an
x0
2
= lm [1 2 sin2 (x/2)]1/x
x0
br
2)
= lm [1 2 sin2 (y)]1/(4y
y0
am

2)
= lm [1 2y2 ]1/(4y
y0
-Z

= lm [1 + z]1/(2z)
z0
ga

 1/2
= lm [1 + z]1/z)
z0
or

1
= . (6.32)
e
ay

Ejemplo 6.6. Calculemos el lmite

M

!x+1
x5 4x4 + 2x3 x2 + 2x + 1
L = lm . (6.33)
x x5 2x4 + x3 + x2 x + 2
Puesto que
x5 4x4 + 2x3 x2 + 2x + 1 x5
lm = lm =1
x x5 2x4 + x3 + x2 x + 2 x x5
y
lm x + 1 = ,
x
estamos tratando con una indeterminacion 1 , que esta relacionada con el lmite clasico
x
1

e = lm 1 + = lm 1 + y 1/y .


x x y0

Entonces, escribimos (6.33) como

! #x+1
x5 4x4 + 2x3 x2 + 2x + 1
"
L = lm 1 + 1 . (6.34)
x x5 2x4 + x3 + x2 x + 2

27
Ponemos
x5 4x4 + 2x3 x2 + 2x + 1
y = 1
x5 2x4 + x3 + x2 x + 2
2x4 + x3 2x2 + 3x 1
=
x5 2x4 + x3 + x2 x + 2
y puesto que
2x4 + x3 2x2 + 3x 1 2x4
lm y = lm = lm = 0,
x x x5 2x4 + x3 + x2 x + 2 x x5

tenemos a partir de (6.34) que

h
i(y(x+1))
L = lm 1 + y 1/y
x

J.
y0

" #(y(x+1))

o,
= lm lm 1 + y 1/y


x y0

an
= lm e y(x+1) . (6.35)
x
br
Ahora, puesto que
am

(x + 1)(2x4 + x3 2x2 + 3x 1)
lm y(x + 1) = lm
x x x5 2x4 + x3 + x2 x + 2
2x5 x4 x3 + x2 + 2x 1
-Z

= lm 5
x x 2x4 + x3 + x2 x + 2
ga

2x5
= lm 5
x x
or

= 2,
ay

se sigue, a partir de (6.35), que

L = e2 .
M

Ejemplo 6.7. Calculemos el lmite

h  i7/(arctan(ex2 1))
L = lm 1 + ln 1 + sin2 (x) . (6.36)
x0

Es claro que tratamos con una indeterminacion de la forma 1 . Puesto que sin(x) x, cuando
x 0, tenemos que
h  i7/(arctan(ex2 1))
L = lm 1 + ln 1 + x2 . (6.37)
x0
Ponemos ahora

y = x2 ,
x0 y 0,

as que
y
L = lm 1 + ln 1 + y 7/(arctan(e 1)) .


(6.38)
y0

28
Ahora, puesto que cuando y 0, se tiene que

ln(1 + y) y,
y
e 1 y,
arctan(y) y,

se sigue a partir de (6.38) que

7/y
L = lm 1 + y
y0

= e7 .

Ejemplo 6.8. Calculemos el lmite

J.
!3x+1ln(x)
2ex ln(x)
L = lm .
x e + x2 5x + 1
x

o,
Puesto que

an
2ex ln(x) 2ex
lm = lm = 2,
x ex + x2 5x + 1 x ex
br
y
lm (3x + 1 ln(x)) = +,
am

se sigue por la Proposicion 5.5 que

L = .
-Z

Ejemplo 6.9. Calculemos el lmite

ga

!ln(x2 )
x3 + x2 ln(x)
or

L = lm .
x 3x3 + 1
ay

Puesto que
x3 + x2 ln(x) x3
M

1
lm = lm = ,
x 3x + 1
3 x 3x3 3
y
lm ln(x2 ) = lm 2 ln(x) = +,
x x

se sigue por la Proposicion 5.5 que

L = 0.
Ejemplo 6.10. Calculemos el lmite

ln(cxp x + ln(x))
L = lm ,
x ln(axq + bx2 ln(x))

29
donde p > 1, q ]1; 2[, a, b, c R+ . Tenemos que
ln(cxp x + ln(x))
L = lm
x ln(axq + bx2 ln(x))
ln(cxp )
= lm
x ln(bx2 )
ln(c) + p ln(x)
= lm
x ln(b) + 2 ln(x)
p ln(x)
= lm
x 2 ln(x)
p
= .
2
Ejemplo 6.11. Estudiemos la continuidad de la funcion determinada por la formula

J.
2 ln(1 + 3 sin(x 1))

, si x [0.8; 2.5] \ {1},

o,
f (x) =

3 tan(e2(x1) 1)

si x = 1,

q,

an
donde q R. Conforme al Teorema 4.1, la funcion f es continua en [0.8; 2.5] \ {1} (por que?).
Por lo que solo resta analizar si f es o no continua en x = 1. Calculemos entonces
br
2 ln(1 + 3 sin(x 1))
am

L = lm f (x) = lm .
x1 x1 3 tan(e2(x1) 1)

Para ello, hacemos el cambio de variable

-Z

y = x 1,
ga

x 1 y 0, (6.39)
as que
or

2 ln(1 + 3 sin(y))
L = lm .
3 tan(e2y 1)
ay

y0

Ahora, observamos que cuando y 0,

M

sin(y) y;
ln(1 + y) y ln(1 + 3y) 3y;
ey 1 y e2y 1 2y;
tan(y) y tan(2y) 2y;
por lo cual
2 ln(1 + 3 sin(y))
L = lm
y03 tan(e2y 1)
2 ln(1 + 3y)
= lm
y0 3 tan(2y)
2 3y
= lm
y0 3 2y
= 1.
Entonces, puesto que f (0) = q, se tiene que

30
 a) f es continua en [0.8; 2.5] \ {1} si q , 1;
b) f es continua en [0.8; 2.5] si q = 1.
Para finalizar esta seccion presentamos un ejercicio resuelto que abarca muchos de
los puntos tratados.
Ejemplo 6.12. Considere la ecuacion

f (x) = 0, xR (6.40)

donde
x2 + 6x 5, si x 5,

f (x) =

(6.41)
(x 5)2 ln(x 5) sin(x 5), si x > 5.

J.
a) Existe una solucion de (6.40) en [3.0, 5.8]?
b) Existe una solucion de (6.40) en [5.8, 8.0]?

o,
c) Existe una solucion de (6.40) en ] , 3.0]?
d) Para el literal a): si existe solucion halle una aproximacion con error aceptable  = 0.15.

an
Empecemos observando que Dom( f ) = R. Es bastante claro que f es continua en R \ {5}.
br
Es f continua en x = 5? A partir de (6.41) es claro que
am

f (5) = 0 = lm f (x).
x5
-Z

Por tanto, para concluir que f es continua en x = 5 (y entonces en todo R) nos basta probar que

lm f (x) = 0.
ga

x5

Lo ultimo es cierto. Para ello hacemos el cambio de variable y = x 5 y usamos la indicacion:

or

lm f (x) = lm(x 5)2 ln(x 5) sin(x 5)

ay

x5 x5

= lm y2 ln(y) sin(y)
M

y0

= lm y2 ln(y) lm sin(y)
y0 y0
= 0.

Concluimos entonces que f es continua en R.

Se tiene que

f (3.0) = 4 > 0,
f (5.8) = 0.86017 < 0,
f (8.0) = 9.7464 > 0.

a) Puesto que f es continua en [3.0, 5.8] y ademas f (3.0) y f (5.8) tienen diferente signo,
concluimos por el Teorema de Bolzano (vease Corolario 4.1) que existe xsol1 (3.0, 5.8) tal
que
f (xsol1 ) = 0.

31
 b) Puesto que f es continua en [5.8, 8.0] y ademas f (8.0) y f (5.8) tienen diferente signo,
concluimos por el Teorema de Bolzano (vease Corolario 4.1) que existe xsol2 (5.8, 8.0) tal
que
f (xsol2 ) = 0.

b) Puesto que f es continua en (, 3.0] y ademas f (3.0) = 4 > 0, podremos concluir que
existe un xsol3 (, 3.0) tal que
f (xsol3 ) = 0
si encontramos un x (, 3.0) tal que f (x ) < 0. Poniendo x = 0 estamos listos pues

f (0) = 5 < 0.

d) Para calcumar aproximadamente xsol3 (, 3.0) usamos el Metodo de las Bisectrices con
 = 0.15. Tenemos:

J.
i xi f (xi ) | f (xi )|

o,
1 0.00000 -5.00000000 5.00000000

an
2 3.00000 +4.00000000 4.00000000
3 1.50000 +1.75000000 1.75000000
br
4 0.87500 -0.51562500 0.51562500
5 1.18750 +0.71484375 0.71484375
am

6 1.03125 +0.12402300 0.12402300

.. .. .. ..
. . . .
-Z

Entonces
ga

xsol3 1.03125.
Este valor cumple con el error maximo aceptable que impusimos al aplicar el metodo de las
or

bisectrices,  = 0.15. Por otro lado, observese que la solucion exacta es

ay

xsol3 = 1.00000.
M

7. Problemas
7.1. Considere la funcion definida por la formula
2
x2 ,
x 3x+2 si x , 2,

f (x) =

A,
si x = 2.

Que valor debe tomar A para que la funcion f sea continua? Construya la grafica de f .

7.2. Considere la funcion definida por la formula

ax2 , si x ,

f (x) =

2x + b,
si x > ,

donde R. Que relacion deben verificar a y b para que la funcion f sea continua?

32
 7.3. Considere la formula f (x). Halle su dominio de definicion y analice la continuidad de la
funcion correspondiente. Cuando sea posible, redefina la funcion para que resulte continua.

(1 + x)n 1
f (x) = , donde n N. (7.1)
x
1 cos x
f (x) = . (7.2)
x2
ln(1 + x) ln(1 x)
f (x) = . (7.3)
x
5x 2x
f (x) = . (7.4)
x

x2

J.
f (x) = . (7.5)
x2

7+x3

o,
f (x) = . (7.6)
x2 4

an
x
f (x) = . (7.7)
|x|
br
x
f (x) = . (7.8)
sen x
am

1
f (x) = e 1+x . (7.9)
12
f (x) = e x . (7.10)
-Z

1
 
f (x) = (1 + x) arctan . (7.11)
1 x2
ga

7.4. Hallar lm f (x).

or

x

x
ay

f (x) = r ; (7.12)

q
x+ x+ x
M

x2 5x + 6
f (x) = ; (7.13)
7x 3
(4x + 1)3 (2x 1)2
f (x) = ; (7.14)
x5 2x2 + 1
5x2 4
f (x) = ; (7.15)
x4 + 1
x2 5x + 6
f (x) = ; (7.16)
7x 3
(4x + 1)3 (2x 1)2
f (x) = . (7.17)
x5 2x2 + 1

33
7.5. Hallar lm f (x).
x

 
f (x) = x sin ; (7.18)
x
2
x+1 x

f (x) = ; (7.19)
2x 3
!x3
x2 1
f (x) = ; (7.20)
2x2 3
!1/ sin(x)
cos(x + /8) arctan(x)
f (x) = 1 . (7.21)
x2 5

7.6. Hallar lm f (x).

J.
x

2
f (x) = (cos(1/x))1/ sin (x) ; (7.22)

o,
2x + 1
 
f (x) = ln

an
; (7.23)
x+2
x
f (x) = ; (7.24)
br
x x3/2 1
2

ex ex
am

f (x) = x x ; (7.25)
e +e
x+1
 
f (x) = x ln ; (7.26)
-Z

x
x
sin(e 1)
f (x) = . (7.27)
ga

ln(1 + x)
or
ay
M

34
7.7. Hallar lm f (x).
x0

(y + x)3 y3
f (x) = ; (7.28)
x

1 + 1 + x2
f (x) = 3
; (7.29)
1 + 1 + x2

1 + x3 1 x3
f (x) = ; (7.30)
x3

3
y+x 3 y
f (x) = ; (7.31)
x
1 cos(sin2 (x))
f (x) = ; (7.32)
sin4 (x)

J.
tan(x2 ) sin(x2 )
f (x) = ; (7.33)
x6

o,
p
1 cos(sin(x))
f (x) =

an
; (7.34)
sin2 (x)
1 + sin(x) 1 tan(x)
p p
br
f (x) = ; (7.35)
arctan(x)
am

!arctan(x)/ sin(x)
x2 2x + 3
f (x) = 2 ; (7.36)
x 3x + 2
-Z

r
1 1 + x
f (x) = ln . (7.37)
x 1x
ga

7.8. Hallar lm f (x).

xa
or

x4 1
f (x) = , a = 1; (7.38)
ay

x4 + 3x2 + 2
x2 (a + 1)x + a
f (x) = ,
M

a R; (7.39)
x3 a3

1 3
f (x) = , a = 1; (7.40)
1 x 1 x3
3
3
x4 2 x2 + 1
f (x) = , a = 1; (7.41)
(x2 1)2

x2 2x + 6 x2 + 2x 6
f (x) = , a = 3; (7.42)
x2 4x + 3
sin(x)
f (x) = , a = 1; (7.43)
sin(3x)
x
 
f (x) = (1 x) tan , a = 1; (7.44)
2
cos x
 
2
f (x) = , a = 1. (7.45)
1 x

35
7.9. Hallar lm f (x) y lm f (x).
xa xa

1
f (x) = , a = 0; (7.46)
1 + e1/x
| sin(x)|
f (x) = , a = 0; (7.47)
x
x1
f (x) = , a = 1; (7.48)
|x 1|
x
f (x) = , a = 2. (7.49)
x2
7.10. La ecuacion
x3 3x + 1 = 0, x R,

J.
tiene una solucion x0 en el intervalo [1, 2]. Por que? Calculela aproximadamente mediante el
Metodo de las Bisectrices.

o,
Indicacion.- x0 1.5320888.

an
7.11. La ecuacion
h(x) = 0, x R,
br
tiene una solucion x0 en el intervalo [a, b]. Grafique h(x) en [a,b] y calcule la solucion aproxima-
damente.
am

1) h(x) = x tan x + 1, con a = 0, b = 1.74;

-Z

2) h(x) = x esen x + 2, con a = 3, b = 0.

ga

7.12. Considere la formula

(x) = x ln x x.
or

1) Halle el dominio de definicion de (x) y grafque la funcion correspondiente.

2) Analice la continuidad de y, en caso de ser posible, extiendala a una funcion continua
ay

sobre [0, [.
M

3) Resuelva la ecuacion
(x) + 0.5 = 0,
en el intervalo [0, 1].
Indicacion.- x1 0.1866823.
4) Resuelva la ecuacion anterior en [1, 3].
Indicacion.- x1 2.1555353.
7.13. Denotemos por r1 y r2 a las races de la ecuacion

ax2 + bx + c = 0, x R.

Si los coeficientes b y c se mantienen constantes, que pasa con r1 y r2 cuando a 0?

7.14. El punto X1 divide al segmento AB = l en dos partes iguales; el punto X2 divide al segmento
AX1 en dos partes tambien iguales; el punto X3 divide, a su vez, el segmento X2 X1 en dos partes
iguales; el punto X4 hace lo propio con el segmento X2 X3 y as sucesivamente. Determinar la
posicion lmite de Xn , cuando n .

36
7.15. Halle las constantes k y b de manera que se cumple que

x3 + 1
!
lm kx + b 2 = 0.
x x +1

7.16. Calcule el lmite indicado

!x
x4 2x3 + x
L = lm 4 ; (7.50)
x x 2x3 x2 + 2x + 1
!x2
x4 2x3 + 1
L = lm 4 ; (7.51)
x x 3x3 x2 + 2
!x
5x10 + ln(x)
L = lm ; (7.52)
x 2x10 5x2 ln(x) + 2

J.
ln(xp 2x2 + 1)
L = lm , p ]2; [, q ]1; [; (7.53)
x ln(3xq x + 2)

o,
3
L = lm [1 2 arctan(x + 2)] ln(1+2 sin(x+2)) ;

an
(7.54)
x2
h i 3
L = lm 1 + ln(1 + sin(x3 )) x3 ;
br
(7.55)
x0
!x
x2 + 3ex + ln(x)
am

L = lm . (7.56)
x 4ex + ln(x)
-Z

7.17. Dada la funcion definida por la formula f (x), analice su continuidad, es decir, halle el
conjunto donde la funcion es continua.
ga

arctan(3 sin(x))

3 tan(ex 1) , si x [1; 1] \ {0},
or

f (x) =

(7.57)
2
ay

, si x = 0;


3
M

ln(1 + 3 sin(x 1))

, si x [0.9; 2.0] \ {1},


f (x) =

3 arctan(e2(x1) 1) (7.58)

si x = 1;

0,

2x + 2x 12
2
2x2 12x + 16 , si x R \ {2},



f (x) =

(7.59)
5
, si x = 2.


2
7.18. Dada la funcion definida por la formula f (x), analice su continuidad, es decir, halle el

37
conjunto donde la funcion es continua.
3 sin(x) arctan(2x)
e e
, si x [0.5; 0.0[,



5 arcsin(ex 1)




5

f (x) =

, si x = 0; (7.60)

6
3 ln(1 + 2x ) ,


2
si x ]0.0; 0.5[;

10 ln(1 + 3x2 )

3 sin(x1) arctan(2(x1))
e e
, si x [0.5; 1.0[,


5 arcsin(e(x1) 1)




1

f (x) =

, si x = 1; (7.61)

5
3 ln(1 + 2(x 1) )
2



, si x ]1.0; 1.5[.


10 ln(1 + 3(x 1)2 )

J.
7.19. Calcule el lmite indicado

o,
2 2
5x 2x

an
L = lm ;
x0 sin(x2 )
p p
1 + sin(x3 ) 1 ln(1 + x3 )
br
L = lm 3
;
x0 arctan(ex 1)
am

 1/ arctan2 (x1)

L = lm cos(sin(ex1 1)) .
x1
-Z

7.20. Calcule los siguientes lmites

ga

x
or

lm r ; (7.62) 1+x1
x q
lm
3
; (7.65)
x+ x+ x x0 1+x1
ay

3
x1
x2 (a + 1)x + a lm ; (7.66)
M

lm ; (7.63) x1 4 x 1
xa x3 a3
3

1 3
 x2 2 3 x + 1
lm . (7.64) lm . (7.67)
x1 1 x 1 x3 x1 (x 1)2

7.21. Calcule los siguientes lmites

p 
lm x(x + a) x ; (7.68) x+ x
x lm ; (7.71)
0
3 5+x
lm ; (7.69)
3
x+ 3 x
x4 1 5 x lm ; (7.72)
0
1+x 1x
 3

lm . (7.70) lm x + 1 x3 . (7.73)
x0 x x

7.22. Calcule los siguientes lmites

38
 x cos(mx) cos(nx)
 
lm(1 x) tan ; (7.74) lm ; (7.77)
x1 2 x0 x2

 
lm cotg(2x) cotg x ; (7.75) tan(x) sen(x)
2 lm ; (7.78)
x0 x0 x3
1 2 cos(x) sen(x) sen(a)
lm
x/3 3x
; (7.76) lm . (7.79)
xa xa
7.23. Calcule los siguientes lmites

tan(x) p
lm ; (7.80) 1 cos(x)
x2 x + 2 lm ; (7.83)

J.
x0 x2
1 x2
lm ; (7.81) 1 + sen(x) 1 sen(x)
p p
x1 sen(x)

o,
lm ; (7.84)
x0 x3
cos x
 

an
2 cos(x) cos(a)
lm ; (7.82) lm . (7.85)
x1 1 x xa xa
br
7.24. Calcule los siguientes lmites
am

ln(cos(x))
-Z

lm ; (7.86) lm tanh(x); (7.89)

x0 x2 x
senh(x)
ga

lm ; (7.87) 1
x lm ; (7.90)
x0 x0 1 + e1/x
cosh(x) 1 x
or

lm ; (7.88) lm . (7.91)
x0 x2 x2+ x 2
ay

7.25. Hallar numeros enteros p Z y q Z \ {0}, primos entre s y tales que x = p/q.
M

x = 0.1355555... (7.92) x = 5.34457457457457... (7.95)

x = 0.3711111... (7.93) x = 4.1913913913913.... (7.96)
x = 4.8799999... (7.94) x = 4.599999999... (7.97)

7.26. Hallar el lmite de los permetros de los polgonos regulares de n lados inscritos en una
circunferencia de radio R, si n .
7.27. El segmento AB = a de la Figura 8 esta dividido en n partes iguales. Sobre cada una de
ellas, tomandola como base, se ha construido un triangulo isosceles, cuyos angulos en la base
son igaules a = /4. Demostrar que el lmite del permetro de la lnea quebrada as formada es
diferente de la longitud del segmento AB, a pesar de que, pasando al lmite cuando n , la
lnea quebrada se confunde geometricamente con el segmento AB.

39
 Figura 8:

Referencias
[1] E. Gaughan, Introduccion al analisis, Editorial Alhambra, Madrid, 1972.

[2] J. Mayorga-Zambrano, Calculo Diferencial para Ingeniera, Universidad de Talca, Chile,

2007.
[3] K. A. Ross, Elementary Analysis: The Theory of Calculus, Springer-Verlag, New York,

J.
1980.

o,
an
br
am
-Z
ga
or
ay
M

40