ndice

1. NMEROS REALES Y FUNCIONES

1.1. Mdulo de un nmero real . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.2. Distancia en R . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.3. Entorno de un punto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.4. Conjuntos acotados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.5. Clasificacin de los puntos de un conjunto . . . . . . . . . . . . . . . . . . . . . . .

1.6. Funciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.7. Composicin de funciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.8. Clasificacin de funciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.9. Funciones particulares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2. LMITE Y CONTINUIDAD DE FUNCIONES

11

2.1. Lmite finito de una funcin en un punto . . . . . . . . . . . . . . . . . . . . . . . . 11

2.2. Lmites laterales. No existencia de lmite . . . . . . . . . . . . . . . . . . . . . . . . 12
2.3. Infinitsimos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
2.4. Lmite infinito de una funcin en un punto . . . . . . . . . . . . . . . . . . . . . . . 14
2.5. Lmite de una funcin para variable infinita . . . . . . . . . . . . . . . . . . . . . . 15
2.6. Asntotas lineales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
2.7. Propiedades del lmite de funciones . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
2.8. Continuidad de una funcin en un punto . . . . . . . . . . . . . . . . . . . . . . . . 20
2.9. Propiedades de las funciones continuas . . . . . . . . . . . . . . . . . . . . . . . . . 21
2.10. Funciones continuas en un intervalo cerrado . . . . . . . . . . . . . . . . . . . . . . 21
3. DERIVADAS

23

3.1. Funcin derivada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24

3.2. Derivada de funciones definidas implcitamente y en forma paramtrica . . . . . . . 28
3.3. Derivadas sucesivas o de orden superior . . . . . . . . . . . . . . . . . . . . . . . . . 29
3.4. Diferencial de una funcin en un punto . . . . . . . . . . . . . . . . . . . . . . . . . 29
3.5. Funciones montonas derivables . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
3.6. Teoremas del valor medio . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
3.7. Concavidad positiva y negativa de una funcin. Puntos de inflexin . . . . . . . . . 36
3.8. Frmula de Taylor y Mac Laurin . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38

4. INTEGRALES

40

4.1. Integral Definida . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40

4.2. Propiedades de la Integral Definida . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
4.3. Funcin Integral

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44

4.4. Clculo de Primitivas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46

4.5. Mtodos de integracin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
4.6. Nocin de Ecuacin Diferencial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
4.7. Integrales Impropias o Generalizadas . . . . . . . . . . . . . . . . . . . . . . . . . . 48
4.8. Integrales impropias de primera especie (intervalo de integracin no acotado) . . . . 48
4.9. Integrales impropias de segunda especie (funcin no acotada) . . . . . . . . . . . . . 50
4.10. Aplicaciones de la Integral Definida . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
5. SUCESIONES y SERIES NUMRICAS

52

5.1. Sucesiones Numricas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52

5.2. Sucesiones Convergentes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
5.3. Sucesiones no Convergentes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
5.4. Sucesiones Montonas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
5.5. Subsucesiones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
5.6. Propiedades de los lmites de sucesiones . . . . . . . . . . . . . . . . . . . . . . . . . 56
5.7. Series Numricas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
5.8. Series Particulares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
5.9. Serie de trminos positivos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
5.10. Series Alternadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
5.11. Convergencia absoluta y condicional . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
6. SERIES DE POTENCIAS

66

6.1. Concepto de serie de potencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66

6.2. Serie de Taylor y Mac Laurin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67

1.

NMEROS REALES Y FUNCIONES

El conjunto de los nmeros reales ser denotado con R . Tal conjunto admite una representacin
geomtrica en una recta llamada recta real . Tal representacin se hace de la siguiente forma :
cada nmero real se identifica con un punto de la recta y recprocamente
los puntos de la recta se denominan por su correspondiente nmero
Se destacan los siguientes subconjutos de R :
R+ = {x R/x > 0} conjunto de nmeros reales positivos
R = {x R/x < 0} conjunto de nmeros reales negativos
N = {1, 2, 3, ...}

N0 = {0, 1, 2, 3, ...} conjunto de los nmeros naturales

Z = {.., 2, 1, 0, 1, 2, ...} conjunto de los nmeros enteros

na
o
Q=
/a, b Z, b 6= 0 conjunto de los nmeros racionales
b
R Q conjunto de los nmeros irracionales
Se cumple que N Z Q R
Intervalos reales :
(a, b) , [a, b] , [a, b) , (a, b] . Se llama amplitud del intervalo al nmero b a
(a, +) , [a, +) , (-, b) , (, b]
En adelante cualquier intervalo real se indicar con I .

1.1.

Mdulo de un nmero real

Se llama mdulo o valor absoluto de un nmero real x al nmero real no negatvio definido por :
(
| x |=

x si x 0
x si x < 0

Propiedades del Mdulo :

1. Para todo x R se verifica que :
a) | x | 0
b) | x |=| x |
3

c)

x2 =| x |

2. Para todo x R y k R+ se verifica que :

a) | x |< k k < x < k
b) | x |> k x > k bien x < k
3. Para todo x, y R se verifica que :
a) | x.y |=| x | . | y |
b) | x + y || x | + | y |
c) | x y || x | | y |
 
x | x |
4. Para todo x R , y R {0} se verifica que :   =
y
|y|

1.2.

Distancia en R

Sean a y b dos nmeros reales . Se llama distancia entre a y b al nmero d(a, b) =| b a | .

Propiedades :
1. d(a, b) 0 , a, b R

d(a, b) = 0 a = b

2. d(a, b) = d(b, a) , a, b R
3. d(a, b) d(a, c) + d(c, b) , a, b, c R

(desigualdad triangular)

Observar que | x | puede interpretarse geomtricamente como la distancia desde x al origen 0

1.3.

Entorno de un punto

Sean x0 R y > 0 . Se llama entorno de centro x0 y radio al conjunto de puntos de la recta

real que se encuentran a una distancia de x0 menor que . Se lo denota E(x0 , ) . En smbolos :
E(x0 , ) = {x R /d(x0 , x) < } = {x R / | x x0 |< } = (x0 , x0 + )
Todo intervalo abierto (a, b) se puede expresar como un entorno. En efecto :

(a, b) = E

a+b ba
,
2
2

Se llama entorno reducido de centro x0 y centro al entorno anterior sin su centro. Se denota
E 0 (a, ). Entonces :
E 0 (x0 , ) = E(x0 , ) {x0 } = {x R /0 <| x x0 |< } = (x0 , x0 ) (x0 , x0 + )
4

1.4.

Conjuntos acotados

Sea A un subconjunto de R en sentido amplio, es decir, A R .

El nmero d R es una cota superior de A si y slo si para todo x A se cumple que x d
Si existe una cota superior de A entonces existen infinitas y diremos que A est acotado
superiormente.
El nmero c R es una cota inferior de A si y slo si para todo x A se cumple que c x .
Si existe una cota inferior de A entonces existen infinitas y diremos que A est acotado
inferiormente.
Diremos que el conjunto A est acotado si y slo si lo est superior e inferiormente.
Aceptamos que el conjunto vaco est acotado.
Si el conjunto A es no vaco diremos que :
k R es el supremo de A en R si y slo si k es la menor de todas las cotas superiores de A
Esto es, si k 0 es otra cota superior de A entonces k k 0 .
Al supremo de A se lo denota sup(A) .
h R es el nfimo de A en R si y slo si h es la mayor de todas las cotas inferiores de A .
Esto es, si h0 es otra cota inferior de A entonces h0 h .
Al nfimo de A se lo denota inf (A)
Si k A se llama mximo de A y si h A se llama mmino de A .
Ejemplos :

a) A = (1, 3]

1.5.

b) A


1
/n N
n

c) A = N

Clasificacin de los puntos de un conjunto

Sean A R y x0 R .
1. El punto x0 A es un punto interior de A si y slo si existe al menos un entorno de x0
totalmente incluido en A . En smbolos :
x0 es un punto interior de A E(x0 , ) / E(x0 , ) A
Al conjunto de los puntos interiores de A se lo denota con A0 . Un conjunto se dice que es
abierto si y slo si todos sus puntos son interiores, es decir :
A es abierto A0 = A
La negacin de esta afirmacin es :
x0 no es un punto interior de A E(x0 , ) : E(x0 , ) * A
es decir, existe x0 E(x0 , ) y x0
/A.
5

2. El punto x0 R es un punto exterior de A si y slo si existe al menos un entorno de x0 al

que no le pertenecen ningun punto de A . Observar que x0
/ A . Es decir :
x0 es un punto exterior de A E(x0 , ) / E(x0 , ) A =
La negacin de esta afirmacin es :
x0 no es un punto exterior de A E(x0 , ) : E(x0 , ) A 6=
es decir, existe x0 E(x0 , ) y x0 A
3. El punto x0 R es un punto frontera de A si y slo si no es interior ni exterior . Es decir :
x0 es un punto frontera de A E(x0 , ) : E(x0 , ) A 6= E(x0 , ) (R A) 6=
Al conjunto de los puntos frontera de A lo denotamos con F r(A) o bien (A) .
La negacin de esta afirmacin es :
x0 no es un punto frontera de A E(x0 , ) / E(x0 , ) A = E(x0 , ) (R A) =
4. El punto x0 A es un punto aislado de A si y slo si existe al menos un entorno reducido
de x0 al que no le pertencen puntos de A . Es decir
x0 A es un punto aislado de A E 0 (x0 , ) / E 0 (x0 , ) A =
La negacin de esta afirmacin es :
x0 A no es un punto aislado de A E 0 (x0 , ) : E 0 (x0 , ) A 6=
5. El punto x0 R es un punto de acumulacin de A si y slo si todo entorno reducido de
x0 tiene interseccin no vaca con A. Es decir :
x0 es un punto de acumulacin de A E 0 (x0 , ) : E 0 (x0 , ) A 6=
Al conjunto de los puntos de acumulacin de A se lo llama conjunto derivado y se lo denota
con A0 . Un conjunto se dice que es cerrado si y slo si le pertenecen todos sus puntos de
acumulacin, es decir :
A es cerrado A0 A
La negacin de esta afirmacin es :
x0 no es un punto de acumulacin de A E 0 (x0 , ) / E 0 (x0 , ) A =
Ejemplo : A = {x R/ | x 2 |< 3} {7}. Entonces A0 = [1, 5] y A0 = (1, 5) con lo cual A
no es ni cerrado ni abierto. La frontera de A es el conjunto formado por 1 , 5 y 7 , y el nico
punto aislado es 7.

1.6.

Funciones

Sea A R y f : A R una funcin . Con RA representamos al conjunto de todas las funciones

de A en R . Si f, g RA y k R definimos las siguientes operaciones :
(f + g) (x) = f (x) + g(x) para todo x A
(f.g) (x) = f (x).g(x) para todo x A
 
f
f (x)
(x) =
para todo x A y g(x) 6= 0
g
g(x)
(k.f ) (x) = k.f (x) para todo x A
Diremos que f g si y slo si f (x) g(x) para todo x A .
Una funcin f est acotada si su conjunto imagen est acotado. Es decir :
f est acotada k > 0 / | f (x) | k , x A
En este caso llamaremos supremo de f , y se escribe sup f , al supremo del conjunto imagen de f
e nfimo de f al nfimo del conjunto imagen de f .
Sea f : (a, a) R una funcin . Decimos que :
f es par si y slo si f (x) = f (x) para todo x (a, a)
f es impar si y slo si f (x) = f (x) para todo x (a, a)
Una funcin f : R R se dice que es peridica de perido p > 0 si f (x + p) = f (x) para todo
xR.

1.7.

Composicin de funciones

Dadas dos funciones f : A B y g : B C se llama funcin compuesta a la funcin g f definida

por :
(g f )(x) = g (f (x)) para todo x A
Observar que para poder definir la composicin se debe cumplir que Im f Dom g. Si esto no
ocurre se deben efectuar restricciones adecuadas para poder definir tal composicin. En forma
anloga se define f g. En general, g f 6= f g .

1.8.

Clasificacin de funciones

Sean A, B R y f : A B una funcin. Diremos que :

f es inyectiva si y slo si para todo par de nmeros x1 , x2 A se verifica que si x1 6= x2
entonces f (x1 ) 6= f (x2 ) . Es decir :
f es inyectiva x1 , x2 A : x1 6= x2 f (x1 ) 6= f (x2 )
O en forma equivalente :
f es inyectiva x1 , x2 A : f (x1 ) = f (x2 ) x1 = x2
f es sobreyectiva si y slo si el conjunto imagen de f es igual a B. Es decir :
f es sobreyectiva Im f = B
f es biyectiva si y slo si es inyectiva y sobreyectiva.
Teorema
Si f : A B es una funcin biyectiva entonces existe una funcin, llamada inversa de f y que se
denota f 1 , tal que :
1. f 1 : B A
2. f 1 (y) = x si y slo si f (x) = y , para todo x A y para todo y B
3. (f 1 f ) (x) = x para todo x A y (f f 1 ) (y) = y para todo y B

1.9.

Funciones particulares

Es de uso frecuente las siguientes funciones :

1. Funcin mdulo : f : R R / f (x) =| x |
2. Funcin raz cuadrada : f : [0, +) R / f (x) =
3. Funcin signo : f : R {0} R / f (x) =

|x|
x

4. Funcin parte entera : f : R R / f (x) = [x] siendo [x] el mayor entero menor que x
5. Funcin exponencial : f : R R / f (x) = ax , con a R+ {1} . En particular f (x) = ex
6. Funcin logaritmo : f : (0, +) R / f (x) = loga x , con a R+ {1} . En particular
f (x) = ln x
7. Funcin polinmica : f : R R / f (x) = P (x) donde P (x) es un polinomio con coeficientes en R . En particular tenemos la funcin lineal dada por f (x) = mx + b (m pendiente y b
ordenada al origen ) cuya grfica se llama recta (no vertical) , y la funcin cuadrtica dada
por f (x) = ax2 + bx + c con a 6= 0 cuya grfica se llama parbola (de eje vertical).
8

8. Funcin racional : f : A R / f (x) =

P (x)
donde P (x) y Q(x) son polinomios y el
Q(x)

dominio de f es A = {x R / Q(x) 6= 0}.

En particular tenemos la funcin homogrfica dada por f (x) =

ax + b
con c 6= 0 y a.d 6= c.b
cx + d

9. Funciones trigonomtricas : Las funciones bsicas son :

a) Seno, definida como f : R R / f (x) = sen x
b) Coseno, definida como f : R R / f (x) = cos x
c) Tangente, definida como f : A R / f (x) = tg x donde A = {x R / cos x 6= 0}
1
1
1
, csc x =
y cot x =
cos x
sen x
tg x
Para definir la inversa del seno, coseno y tangente se restringen dominio y codomio en la
forma que se indica y se las llama arco seno, arco coseno y arco tangente respectivamente :
h i
h i
[1, 1] arc sen : [1, 1] ,
a) sen : ,
2 2
2 2
donde arc sen x = y y = sen x
h i
h i
b) cos : ,
[1, 1] arc cos : [1, 1] ,
2 2
2 2
donde arc cos x = y y = cos x
 
 
R arc tg : R ,
c) tg : ,
2 2
2 2
donde arc tg x = y y = tg x

Las funciones que se derivan de ellas son sec x =

10. Funciones hiperblicas : Las funciones bsicas son :

ex ex
2
ex + ex
b) Coseno hiperblico Ch : R R / Ch(x) =
2
x
e ex
c) Tangente hiperblica T h : R R / T h(x) = x
e + ex

a) Seno hiperblico Sh : R R / Sh(x) =

Sh(x)
y Ch2 (x) Sh2 (x) = 1 .
Ch(x)
La inversa de cada una de estas funciones se las define como :

a) ArgSh : R R / ArgSh(x) = ln x + x2 + 1

b) ArgCh : [1, +) [0, +) / ArgCh(x) = ln x + x2 1


1
1+x
c) ArgT h : (1, 1) R / ArgT h(x) = ln
2
1x

Se verifica que T h(x) =

10

2.
2.1.

LMITE Y CONTINUIDAD DE FUNCIONES

Lmite finito de una funcin en un punto

Dada una funcin f : A R y un nmero real x0 , que es un punto de acumulacin de A , veamos

qu sucede con los valores de f (x) cuando x se acerca o tiende al nmero x0 , sin importar qu
sucede en x0 , es decir, no interesa el valor de f (x0 ) (ms an, puede no existir f (x0 )).
Consideremos el siguiente ejemplo :
2
x 4
f : R R / f (x) = x 2

si x 6= 2
si x = 2

K3

K2

K1

Graficando la funcin vemos que a medida que tomamos valores de x cercanos a x0 = 2 , los valores
de f (x) se acercan a 4 . Por ejemplo, f (1, 99) = 3, 99, f (2, 01) = 4, 01, etc.
Convenimos en decir que "x se acerca a 2" es lo mismo que decir "x tiende a 2" y escribiremos
x 2 . Anlogamente, "f (x) se acerca a 4 " es lo mismo que decir "f (x) tiende a 4" y escribimos
f (x) 4 . Luego, para la funcin dada podemos decir que :
si x 2 entonces f (x) 4
La implicacin anterior se expresa diciendo que "el lmite de la funcin f cuando x tiende a 2 es
igual a 4" y se escribe :
lm f (x) = 4
x2

Observaciones :
1. El hecho de que f (x) tienda a 4 cuando x tiende a 2 es independiente del valor que toma la
funcin en x = 2 . Lo que interesa es analizar a la funcin f "cerca" de 2 y no en x = 2 , o
sea, en un entorno reducido de 2 . Es decir, si tenemos la funcin
2
x 4
si x 6= 2
g : R R / g(x) = x 2

10
si x = 2
11

vemos que g tiende a 4 cuando x tiende a 2, siendo g(2) = 10 6= 1 = f (2) .

2. Hacer que x tienda a 2 significa que | x 2 | tienda a 0 , o sea, | x 2 | se puede hacer
tan pequeo como se quiera. Esto significa que dado cualquier nmero positivo se puede
encontrar un x R tal que | x 2 |< .Como no interesa qu sucede en x = 2, pedimos
que x 6= 2 , con lo cual la condicin "que x tienda a 2 sin importar qu sucede en x = 2" se
expresa 0 <| x 2 |< .
3. Para asegurar que f (x) tienda a 4, debemos lograr que | f (x) 4 | tienda a 0 , o sea , dado
cualquier nmero positivo se debe cumplir que | f (x) 4 |< .
Finalmente, decir que "f (x) tiende a 4 cuando x tiende a 2 sin importar qu sucede en 2" se
expresa diciendo que :
Dado cualquier nmero positivo , se cumple que | f (x) 4 |< si se puede encontrar un
nmero positivo , que depender del , tal que si x Dom f y 0 <| x 2 |< entonces
| f (x) 4 |< . Como en general el depende del se suele escribir = () .
4. En forma simblica tenemos la siguiente definicin

2 es un punto de acumulacin del dominio de f

lm f (x) = 4
x2

> 0, > 0/ x Dom f : 0 <| x 2 |< | f (x) 4 |<

5. Usando entornos la definicin de lmite es

2 es un punto de acumulacin del dominio de f

lm f (x) = 4
x2

> 0, > 0/ x Dom f : x E 0 (2, ) f (x) E(4, )

En general, dada una funcin f : A R y x0 , l R decimos que

x0 es un punto de acumulacin de A (o sea, x0 A )

lm f (x) = l
xx0

> 0, > 0/ x A : 0 <| x x0 |< | f (x) l |<

Ejemplo : f (x) = 2x , x0 = 1 .En este caso lm f (x) = 2 con = /2
x1

2.2.

Lmites laterales. No existencia de lmite

Diremos que x tiende a x0 por la derecha , y se escribe x x+

0 si x x0 0 y x > x0 . En forma
anloga, se dice que x tiende a x0 por la izquierda , y se escribe x x
0 si x x0 0 y x < x0 .
Si f : A R es una funcin y x0 A0 , diremos que :
f tiene lmite lateral l+ por la derecha en x0 , y se escribe lm+ f (x) = l+ si y slo si :
xx0

> 0, > 0/ x A : 0 < x x0 < | f (x) l+ |<

12

f tiene lmite lateral l por la izquierda en x0 , y se escribe lm f (x) = l si y slo si :

xx0

> 0, > 0/ x A : 0 < x0 x < | f (x) l |<

Teorema
Sean f : A R es una funcin y x0 A0 . Son equivalentes :
1. lm f (x) = l
xx0

2. lm+ f (x) = lm f (x) = l

xx0

xx0

Resulta entonces que si los lmites laterales de una funcin en un punto son distintos entonces la
funcin no tiene lmite en ese punto. En trminos de la definicin , podemos decir que
lm f (x) 6= l > 0/ > 0, x Dom f / 0 <| x x0 |< | f (x) l |

xx0

Ejemplos :
|x|
a) f (x) =
en x0 = 0 b) f (x) = [x] en x0 Z c) f (x) =
x

2.3.

(
x2
si x 1
en x0 = 1
2x + 4 si x > 1

Infinitsimos

Sean f : A R una funcin y x0 un punto de acumulacin de A , o sea , x0 A0

Decimos que una funcin f es un infinitsimo para x x0 si y slo si lm f (x) = 0
xx0

Por ejemplo, f (x) = sen x en infinitsimo para x0 = , g(x) = x 1 es infinitsimo para x0 = 1

Propiedad :
Toda funcin con lmite finito para x x0 se puede escribir como su lmite ms otra funcin que
es infinitsilmo para x x0 . En smbolos
lm f (x) =l f (x) = l + (x) con lm (x) = 0

xx0

xx0

Sean f, g : A R funciones tales que x0 A0 y no se anulan en un E 0 (x0 , ) . Decimos que :

f y g son infinitsimos equivalentes para x x0 si lm

xx0

f (x)
=1
g(x)

f y g son infinitsimos del mismo orden para x x0 si lm

xx0

13

f (x)
= k con k 6= 0 y k 6=
g(x)

2.4.

Lmite infinito de una funcin en un punto

Hemos visto funciones que no tienen lmite (finito) en un punto x0 , es decir, los lmites laterales
son distintos. Puede suceder que, si bien no existe el lmite finito para x x0 , la funcin supera
en valor absoluto cualquier nmero positivo prefijado cuando x x0 .
Consideremos el siguiente ejemplo :
f : R {1} R dada por f (x) =

2
(x 1)2

1
y=f(x)

x=1

Se observa que para x 1 los valores de f (x) se hacen arbitrariamente "grandes". Es decir, dado
un nmero cualquiera M > 0 (en el eje Y ), es posible encontrar un > 0 tal que para todo
x E 0 (1, ) se cumpla que f (x) > M . Basndonos en esta idea damos la siguinete definicin :
Sea f : A R una funcin y x0 A0 .
Decimos que el lmite de f es igual a + (mas infinito) cuando x x0 , si dado cualquier nmero
real M > 0 es posible encontrar un > 0 tal que f (x) > M para todo x E 0 (x0 , ) .
Se escribe lm f (x) = + .
xx0

En general, dada una funcin f : A R y x0 R decimos que

lm f (x) = +

xx0

x0 es un punto de acumulacin de A (o sea, x0 A )

M > 0, > 0 / x A : 0 <| x x0 |< f (x) > M

En forma anloga se define lm f (x) = y lm f (x) = :

xx0

lm f (x) =

xx0

xx0

x0 es un punto de acumulacin de A (o sea, x0 A )

M > 0, > 0/ x A : 0 <| x x0 |< f (x) < M

14

lm f (x) =

xx0

2.5.

x0 es un punto de acumulacin de A (o sea, x0 A )

M > 0, > 0/ x A : 0 <| x x0 |< | f (x) |> M

Lmite de una funcin para variable infinita

Hemos visto que dada una variable real x , decir que tiende a un punto x0 significa que | x x0 |
tiende a 0 . Es decir, para cualquier nmero positivo existe un x tal que | x x0 |< .
Decir que x tiende a + significa que dado cualquier nmero positivo M siempre es posible
encontrar un nmero positivo x tal que x > M . Se escribe x +. Anlogamente, decir que
x tiende a significa que dado cualquier nmero positivo M siempre es posible encontrar un
nmero negativo x tal que x < M . Por ltimo, decimos que x tiende a (infinito sin signo) si
dado cualquier nmero positivo M es posible encontrar un nmero x tal que | x |> M .
Llamaremos entorno de + , a los siguientes intervalos :
E(+) = (a, +) para algn a R
E() = (, a) para algn a R
Sea f : (a, +) R una funcin . Definimos :
1. lm f (x) =l R > 0, M > 0/ x (a, +) : x > M | f (x) l |<
x+

2. lm f (x) = + K > 0, M > 0/ x (a, +) : x > M f (x) > K

x+

3. lm f (x) = K > 0, M > 0/ x (a, +) : x > M f (x) < K

x+

Sea f : (, a) R una funcin. Definimos :

1. lm f (x) =l R > 0, M > 0/ x (, a) : x < M | f (x) l |<
x

2. lm f (x) = + K > 0, M > 0/ x (, a) : x < M f (x) > K

x

3. lm f (x) = K > 0, M > 0/ x (a, +) : x < M f (x) < K

x

Sea f : (, a) (b, +) R una funcin . Definimos :

1. lm f (x) =l R > 0, M > 0/ x (, a) (b, +) : | x |> M | f (x) l |<
x

2. lm f (x) = + K > 0, M > 0/ x (, a) (b, +) : | x |> M f (x) > K

x

3. lm f (x) = K > 0, M > 0/ x (, a) (b, +) : | x |> M f (x) < K

x

4. lm f (x) = K > 0, M > 0/ x (, a) (b, +) : | x |> M | f (x) |> K

x

15

2.6.

Asntotas lineales

1. Asntota vertical
Sean f : A R es una funcin y x0 A0 .
La recta x = x0 es una asntota vertical de f si se cumple alguna de las siguientes igualdades
a) lm f (x) =
xx0

b) lm+ f (x) =
xx0

c) lm f (x) =
xx0

2. Asntota horizontal
Sean f : (a, +) R una funcin y b R .
La recta y = b es la asntota horizontal por la derecha de f si lm f (x) =b
x+

Sea f : (, a) R una funcin y c R .

La recta y = c es la asntota horizontal por la izquierda de f si lm f (x) =c
x

Si b = c diremos que la recta y = b es la asntota horizontal de f .

3. Asntota oblcua
Sean f : (a, +) R una funcin e y = m1 x + b1 una recta .
La recta y = m1 x + b1 es la asntota oblcua por la derecha de f si
lm [f (x) (m1 x + b1 )] = 0

x+

Sean f : (, a) R una funcin e y = m2 x + b2 una recta.

La recta y = m2 x + b2 es la asntota oblcua por la izquierda de f si
lm [f (x) (m2 x + b2 )] = 0

Si m1 = m2 = m y b1 = b2 = b , decimos que y = mx + b es la asntota oblcua de f .

Para hallar la pendiente m y la ordenada al origen b calculamos los siguientes lmites :
(el infinito puede + ) :
f (x)
x x

m = lm

2.7.

b = lm [f (x) mx]
x

Propiedades del lmite de funciones

En todo lo que sigue a = x0 R o bien a = . Con E 0 (a) representamos un entorno reducido

de a , es decir :
si a = x0 R entonces E 0 (x0 ) = (x0 , x0 ) (x0 , x0 + ) para algn > 0
si a = + entonces E 0 (+) = (h, +) para algn h R
16

si a = entonces E 0 () = (, h) para algn h R

Sean f , g y h funciones definidas al menos en un entorno reducido de a .
1. Si f es una funcin polinmica, racional, exponencial, logartmica, trigonomtrica o hiperblica y x0 es un punto de su domino (punto de acumulacin del dominio de f ) , entonces
es :
lm f (x) = f (x0 )
xx0

2. Lmites especiales :
a) Si lm f (x) =0 entonces :
xa

sen f (x)
sen(x)
=1 . En particular lm
=1
xa
x0
f (x)
x
tg f (x)
tg(x)
lm
=1 . En particular lm
=1
xa f (x)
x0
x
1
1
lm (1 + f (x)) f (x) =e . En particular lm (1 + x) x = e
lm

xa

x0


b) Si lm f (x) = entonces lm
xa

xa

c) lm+ ln(x) =
y


= e . En particular lm

lm ln(x) = +

x+

x0

d ) lm ex = +
x+

y
e) lm+ x =0

1
1+
f (x)

f (x)

lm ex = 0

lm
x=+
x

x+

x0

f ) lm arctan(x) =/2

x+

lm arctan(x) = /2

a
= 0 con a R, n N
x
x xn
h) Si k > 1 entonces lm k x = + y lm k x = 0
g) lm a xn = con a R6=0 , n N
x+

lm

i ) Si 0 < k < 1 entonces lm k x =0 y lm k x = +

x+

3. Si se verifica que existe lm f (x) = l R entonces :

xa

a) l es nico .
b) Existe un entorno reducido de a donde f est acotada .
c) Si l < k entonces existe un E 0 (a) tal que f (x) < k para todo x E 0 (a) .
Vale la propiedad anloga cambiando < por > .
d ) Si existe un E 0 (a) tal que f (x) < k para todo x E 0 (a) entonces l k .
Vale la propiedad anloga cambiando < por > y por .
e) lm k f (x) = k lm f (x) = l = k l
xa

xa

17

1
1+
x

x
=e

f ) lm | f (x) |=| lm f (x) |=| l |

xa
xa

n
g) lm (f (x))n = lm f (x) = ln
xa
xa


h) lm ln (f (x)) = ln lm f (x) = ln(l) si l > 0
xa
xa
q
p

n
i ) lm f (x) = n lm f (x) = n l con l > 0 si n es par
xa

xa

lm f (x)
j ) lm k f (x) = k xa
= k l si k > 0
xa

4. Se verifica que :
1
=0
xa
xa f (x)
1
b) lm f (x) = 0=lm
=
xa
xa f (x)

a) lm f (x) = =lm

5. Si se verifica que existe lm f (x) = + entonces :

xa

b) lm ef (x) = +

a) lm ln (f (x)) = +
xa

xa

6. Si se verifica que lm f (x) = l y lm g(x) = l0 con l,l0 R entonces :

xa

xa

a) lm [f (x) + g(x)] = lm f (x) + lm g(x) = l + l0

xa

xa

xa

b) lm [f (x) g(x)] = lm f (x) lm g(x) = l l0

xa

xa

xa

lm f (x)

c) lm

xa

l
f (x)
= xa
= 0 si l0 6= 0
g(x)
lm g(x)
l
xa


 lm g(x)
0
g(x)
d ) lm [f (x)]
= lm f (x) xa
= ll si l > 0
xa

xa

e) Si l < l entonces existe un E 0 (a) tal que f (x) < g(x) para todo x E 0 (a)
Vale la propiedad anloga cambiando < por > .
f ) Si existe un E 0 (a) tal que f (x) < g(x) para todo x E 0 (a) entonces l l0
Vale la propiedad anloga cambiando < por >y por .
7. Si se verifica que lm f (x) = 0 y g est acotada en un E 0 (a) entonces :
xa

lm f (x) g(x) = 0

xa

8. Si se verifica que lm f (x) = y | g(x) |> 0 en un E 0 (a) entonces :

xa

lm f (x) g(x) =

xa

9. Si se verifica que lm f (x) = y g est acotada en un E 0 (a) entonces :

xa

lm [f (x) + g(x)] =

xa

10. Si se verifica que lm f (x) = y lm g(x) = l entonces :

xa

xa

18

a) lm [f (x) + g(x)] =

b) lm [f (x) g(x)] = si l 6= 0

xa

xa

11. Si se verifica que lm f (x) = lm g(x) = + ( ) entonces :

xa

xa

a) lm [f (x) + g(x)] = + ( )

b) lm [f (x) g(x)] = +

xa

xa

12. Si se verifica que lm f (x) = + y lm g(x) = l > 0 entonces :

xa

xa

lm [g(x)]f (x) =

xa

+ si l > 1

si 0 < l < 1

13. Si se verifica que f (x) g(x) para todo x E 0 (a) entonces :

a) lm f (x) = + lm g(x) = +
xa

xa

b) lm g(x) = lm f (x) =
xa

xa

f (x)
= l (0, +) entonces :
xa g(x)

14. Si se verifica que g(x) 6= 0 para todo x E 0 (a) y lm

lm f (x) = lm g(x) =

xa

xa

15. Si se verifica que :

h(x) f (x) g(x) para todo x E 0 (a)
lm h(x) = lm g(x) = l

xa

xa

entonces
lm f (x) = l (propiedad de intercalacin)

xa

16. Sean f : A R y g : B R funciones tales que Im f B .

Sea x0 A0 tal que lm f (x) =y0 con y0 B 0 . Se verifica que :
xx0

Si lm f (x) =y0 y lm g(y) =l = g(y0 ) entonces lm (g f ) (x) =l

xx0

yy0

xx0

Observar que la condicin que tiene que cumplir la funcin g , esto es l = g(y0 ) , es necesaria
pues de lo contrario podra ser falsa la implicacin .(Por ejemplo :
1 si y 6= 0
Sean f : R R / f (x) = 0 y g : R R / g(y) =
.
0 si y = 0
Entonces (g f )(x) = 0 / x R con lo cual :
lm f (x) =0 , lm g(y) =1 pero lm (g f )(x) = 0 6= 1

x0

y0

x0

19

17. Sean A R , x0 A0 , f : A R y g : (a, +) R funciones tales que Im f (a, +) .

Se verifica que :
Si lm f (x) = + y lm g(y) = l entonces lm (g f )(x) = l
xx0

y+

xx0

18. Sean A R , y0 A0 , f : (a, +) R y g : A R funciones tales que Im f A .

Se verifica que :
Si lm f (x) = y0 y lm g(y) = l entonces lm (g f )(x) = l
x+

yy0

x+

19. Sean f : (a, +) R y g : (b, +) R funciones tales que Im f (b, +) .

Se verifica que :
Si lm f (x) = + y lm g(y) = l entonces lm (g f )(x) = l , (l R bien l = )
x+

y+

x+

Valen propiedades anlogas para funciones definidas en intervalos del tipo (, a)

Nota :
Cuando se calcula el lmite de una funcin que est definida mediante otras funciones, que tienen
lmite, puede ocurrir que el lmite de la funcin dada no quede determinado en funcin de los
lmites conocidos. Cuando sucede esto decimos que se presenta una "indeterminacin". Por ejemplo,
sabemos que lm sen x = lm x =0 pero no podemos usar la propiedad del cociente para calcular
x0
x0
0
sen x
pues se obtine una expresin que carece de sentido, esto es, . En estos casos se debe
lm
x0
x
0
recurrir a otras propiedades para calcular el lmite.
0

Las "indeterminaciones" son : " " , " " , "0 " , " " , " 00 " , "0 " , " 1 "
0

2.8.

Continuidad de una funcin en un punto

Sean f : A R una funcin y x0 un punto de acumulacin de su dominio, o sea, x0 A0 .

Se dice que la funcin f es continua en el punto x0 si y slo si lm f (x) =f (x0 ) .
xx0

Esto significa que :

Existe f (x0 ) , o sea , x0 pertenece al dominio A de la funcin
Existe y es finito lm f (x) =l
xx0

l = f (x0 )
Si no se cumple alguna de las condiciones anteriores se dice que f es discontinua en x0 o presenta
una discontinuidad en x0 . Usando la definicin de lmite :

x0 es un punto de acumulacin de A (o sea, x0 A )

f es continua en x0

> 0, > 0/ x A : | x x0 |< | f (x) f (x0 ) |<

20

Si x0 no es punto de acumulacin del dominio de f convenimos en decir que f es continua en x0

si existe f (x0 ) .
Si existe lm f (x) =l finito pero l 6= f (x0 ) o bien no existe f (x0 ) decimos que f tiene una
xx0

discontinuidad evitable en x0 . Si no existe lm f (x) o bien lm f (x) = decimos que f tiene

xx0

xx0

una discontinuidad esencial en x0 . En tal caso, si existen los lmites laterales (que son distintos)
se dice que la discontinuidad es esencial de primera especie, y si alguno de los lmites laterales
no existe la discontinuidad se esencial de segunda especie.
Si la funcin se la define en un intervalo cerrado [a, b] , es decir, f : [a, b] R , definimos la
continuidad lateral como :
f es continua a la derecha en x = a si lm f (x) =f (a)
xa+

f es continua a la izquierda en x = b si lm f (x) =f (b)

xb

2.9.

Propiedades de las funciones continuas

1. Sea f : A R una funcin continua en un punto de acumulacin x0 de A . Se verifica que :

a) f est acotada en un E(x0 , )
b) Si f (x0 ) 6= 0 entonces sg(f (x)) = sg(f (x0 )) para todo x E(x0 , )
2. Sean f, g : A R funciones continuas en un punto de acumulacin x0 de A. Se verifica que :
a) f + g es continua en x0
b) f g es continua en x0
f
c)
es continua en x0 si g(x0 ) 6= 0
g
d ) f g es continua en x0 si f (x0 ) > 0
3. Si f es una funcin polinmica, racional, exponencial, logartmica, trigonomtrica o hiperblica entonces es continua en todo su dominio.
4. Sean f : A R y g : B R funciones tales que Im f B , x0 A0 e y0 B 0 con y0 = f (x0 )
Se verifica que :
Si f es continua en x0 y g es continua en y0 entonces g f es continua en x0

2.10.

Funciones continuas en un intervalo cerrado

Sea f : [a, b] R una funcin . Decimos que f es continua en [a, b] si :

f es continua en el intervalo abierto (a, b)
f es continua por la derecha en a
21

f es continua por la izquierda en b

Se dice que f alcanza un mximo absoluto en x0 [a, b] si f (x0 ) f (x) para todo x [a, b].
Anlogamente, f alcanza un mnimo absoluto en x1 [a, b] si f (x1 ) f (x) para todo x [a, b].
Propiedades
1. Primer Teorema de Weierstrass : Toda funcin continua en un intervalo cerrado [a, b]
est acotada en [a, b] .
2. Segundo Teorema de Weierstrass : Toda funcin continua en un intervalo cerrado [a, b]
alcanza un mximo y mnimo absolutos .
3. Teorema de Bolzano : Si f es una funcin continua en [a, b] y verifica que f (a)f (b) < 0 , o
sea, f (a) y f (b) tienen distinto signo, entonces existe al menos un c (a, b) tal que f (c) = 0
Geomtricamente significa que el grfico de f corta al eje X en un punto interior de (a, b) .
Otra forma de interpretar al teorema es decir que la ecuacin f (x) = 0 tiene , al menos, una
raz real en el intervalo (a, b) .
4. Teorema del Valor Intermedio : Sea f una funcin continua en [a, b] tal que f (a) < f (b)
Para cada k (f (a), f (b)) existe al menos un c (a, b) tal que f (c) = k .
5. Continuidad de la funcin inversa : Sea f : [a, b] Im f una funcin continua y
biyectiva en [a, b].
Su inversa f 1 : Im f [a, b] es continua.

22

3.

DERIVADAS

Sean f : A R una funcin y x0 un punto interior de A , o sea, x0 A0 .

Diremos que f es derivable en el punto interio x0 si existe y es finito el siguiente lmite, que se
denota f 0 (x0 ), y se llama derivada de f en x0 :
f 0 (x0 ) = lm

xx0

f (x) f (x0 )
x x0

Si este lmite existe cuando x x+

0 (o bien x x0 ) lo llamaremos derivada lateral por la derecha
(por la izquierda) y se denotan :

f 0 (x+
m+
0 ) = l
xx0

f (x) f (x0 )
x x0

m
y f 0 (x
0 ) = l
xx0

f (x) f (x0 )
x x0

Observaciones :
1. Al cociente

f (x) f (x0 )
4f
se lo llama cociente incremental de f .Tambin se lo indica
x x0
4x

2. Haciendo el cambio de variable h = x x0 resulta que x = x0 + h y si x x0 entonces h 0

luego :
f (x0 + h) f (x0 )
f 0 (x0 ) = lm
h0
h
f (x0 + h) f (x0 )
f 0 (x+
m+
0 ) = l
h0
h
f (x0 + h) f (x0 )
f 0 (x
m
0 ) = l
h0
h
3. Puede suceder que lm

xx0

en el punto x0

f (x) f (x0 )
= . En ese caso decimos que f tiene derivada infinita
x x0

4. El concepto de derivada es local o puntual, es decir, depende del punto x0

5. Geomtricamente la derivada de una funcin f en un punto x0 se puede ver como la pendiente
de la recta tangente al grfico de f en el punto (x0 , f (x0 )). En tal caso la ecuacin de la
recta tangente ser
y f (x0 ) = f 0 (x0 )(x x0 )
Se llama recta normal al grfico de f en el punto (x0 , f (x0 )) a la recta perpendicular a la
tangente en dicho punto. Luego, la ecuacin de la recta normal ser, siempre que f 0 (x0 ) 6= 0
y f (x0 ) =

1
f 0 (x

0)

(x x0 )

6. Otras posibles notaciones para la derivada de una funcin f tal que y = f (x) en el punto x0
son :
df
dy
(x0 ) ,
(x0 ) , y 0 (x0 )
dx
dx
23

Teorema (Condicin necesaria de derivabilidad)

Sean f : A R una funcin y x0 un punto interior de A .
Si f es derivable en x0 entonces f es continua en x0 .
H) f es derivable en x0
T) f es continua en x0
Demostracin
Debemos demostrar que lm f (x) = f (x0 ) , o sea lm [f (x) f (x0 )] = 0 . Si f es derivable en x0
xx0

xx0

entonces existe y es finito el lmite

f 0 (x0 ) = lm

xx0

f (x) f (x0 )
x x0

Entonces :
lm [f (x) f (x0 )] = lm
xx0
.
xx0

f (x) f (x0 )
f (x) f (x0 )
(xx0 ) = lm
lm (x x0 ) = f 0 (x0 ) 0 = 0
xx
xx0
x x0
x x0
0

Luego
lm [f (x) f (x0 )] = 0, con lo cual lm f (x) = f (x0 ) .

xx0

xx0

El recproco es falso. Por ejemplo, f (x) =| x | no es derivable en x = 0 pero s es continua en x = 0

Se dice que f es de clase C 1 en el punto x0 si su funcin derivada f 0 es continua en x0 .
Se denota f C 1 .
Una funcin puede ser derivable en un punto pero no ser de clase C 1 en dicho punto .

3.1.

Funcin derivada

Si f es una funcin definida en un conjunto A R y es derivable en cada punto interior x A ,

podemos definir una funcin que le asigna a cada x A0 el nmero f 0 (x). Es decir, que definida
la funcin
x A0 7 f 0 (x)
A esta funcin se la llama funcin derivada de f y se denota naturalmente con f 0 .
Ejemplos :
1
3
1. f (x) = x2 es derivable en x0 = 1 y f 0 (1) = 2 . En este caso t : y = 2x 1 y n : y = x + .
2
2
Observar que la funcin derivada de f es f 0 (x) = 2x para todo x R . Como f 0 es continua
en x = 1 resulta que f C 1 .
2. f (x) =| x 2 | no es derivable pero si continua en x0 = 2. Es decir, no existe f 0 (2) y se dice
que el punto (2, 0) es un punto anguloso.

3
3. f (x) = x2 no es derivable pero si continua en x0 = 0 . En este caso, f 0 (0) = y se dice
que el punto (0, 0) es un punto cuspidal o de retroceso.
24

4. f (x) =

x tiene derivada infinita en x0 = 0 . En este caso f 0 (0) = + .

(
x2
si x 1
5. f (x) =
no es derivable en x = 1 .
x + 2 si x > 1
Es decir, no existe f 0 (1) . En este caso f 0 (1+ ) = 1 y f 0 (1 ) = 2 .
 

x sen 1
si x 6= 0
x
no es derivable en x = 0 .
6. f (x) =

0
si x = 0
En este caso no existen f 0 (0) , f 0 (0+ ) ni f 0 (0 ) .
Reglas de derivacin
Sean f, g : A R funciones derivables en cada punto interior x A y k R . Se verifica que :
1. k f es derivable en x y (k f )0 (x) = k f 0 (x)
2. f + g es derivable en x y (f + g)0 (x) = f 0 (x) + g 0 (x)
Demostracin
Por definicin de derivada sabemos que
(f + g)0 (x0 ) = lm

xx0

(f + g) (x) (f + g) (x0 )
x x0

Entonces
0

(f + g) (x0 ) = lmxx0

(f + g) (x) (f + g) (x0 )
=
x x0

= lm

f (x) f (x0 ) + g(x) g(x0 )

f (x) + g(x) f (x0 ) g(x0 )
= lm
=
xx0
x x0
x x0

= lm

f (x) f (x0 ) g(x) g(x0 )

f (x) f (x0 )
g(x) g(x0 )
+
= lm
+ lm
=
xx0
xx0
x x0
x x0
x x0
x x0

xx0

xx0

= f 0 (x0 ) + g 0 (x0 ) . Siendo x0 un punto cualquiera se obtiene la tesis .

3. f g es derivable en x y (f g)0 (x) = f 0 (x) g(x) + f (x) g 0 (x)
Demostracin
Por definicin de derivada sabemos que
(f g)0 (x0 ) = lm

xx0

(f g) (x) (f g) (x0 )
x x0

Entonces, sumando y restando f (x0 ) g(x) tememos que

(f g)0 (x0 ) = lm

xx0

(f g) (x) (f g) (x0 )
f (x) g(x) f (x0 ) g(x0 )
= lm
=
xx0
x x0
x x0
25

= lm

xx0

f (x) g(x) f (x0 ) g(x) + f (x0 ) g(x) f (x0 ) g(x0 )

=
x x0

[f (x) f (x0 )] g(x) + f (x0 ) [g(x) g(x0 )]

=
xx0
x x0


f (x) f (x0 )
g(x) g(x0 )
= lm
g(x) + f (x0 )
=
xx0
x x0
x x0
= lm

= lm

xx0

f (x) f (x0 )
g(x) g(x0 )
lm g(x) + f (x0 ) lm
=
xx0
xx0
x x0
x x0

= f 0 (x0 ) g(x0 ) + f (x0 ) g 0 (x0 ) . Siendo x0 un punto cualquier se obtiene la tesis .

 0
f
f
f 0 (x) g(x) f (x) g 0 (x)
es derivable en x y
si g(x) 6= 0
4.
(x) =
g
g
[g(x)]2

Derivada de algunas funciones

1. Sea f (x) = sen x . Entonces f 0 (x) = cos x para todo x R
Demostracin
Sea x0 R . Por definicin de derivada sabemos que
f 0 (x0 ) = lm

xx0


x x0
pero sen x sen x0 = 2 cos
sen
con lo cual
2




x + x0
x x0
2 cos
sen
sen x sen x0
2
2
0
= lm
=
f (x0 ) = lm
xx0
xx0
x x0
x x0






x + x0
x x0
x x0

 sen
cos
sen
x + x0
2
2
2
 =
= lm

= lm cos
x

x
xx0
xx0
0
x x0
2
2
2


x x0


sen
x + x0
2
 = cos(x0 ) 1 = cos(x0 )
= lm cos
lm 
xx0
xx0
x x0
2
2
Como el x0 es un punto genrico resulta que (sen x)0 = cos x . Siendo x0 un punto cualquiera
se obtiene la tesis .
x + x0
2

2. Sea f (x) = ln x . Entonces f 0 (x) =

sen x sen x0
x x0

1
para todo x > 0
x

Demostracin

26

Sea x0 > 0 . Por definicin de derivada sabemos que

f 0 (x0 ) = lm

xx0

ln x ln x0
ln(x0 + h) ln x0
= lm
h0
x x0
h

Entonces, usando propiedades del logaritmo y la definicin del nmero e resulta que
1
ln(x0 + h) ln x0
= lm ln
f (x0 ) = lm
h0 h
h0
h
0

x0 + h
x0


=




 x0 1
1
h
h h x0
= lm ln 1 +
= lm ln 1 +
=
h0 h
h0
x0
x0
lm 1

x
1
x
0
0
h0 x0




1
h h x0
1
h h

= ln lm 1 +
= ln e x0 =

= ln lm 1 +
h0
h0
x0
x0
x0

Luego f 0 (x0 ) =

1
. Como x0 es un punto cualquiera se obtiene la tesis .
x0

Teorema (Derivada de la funcin compuesta o regla de la cadena)

Sean f : A R y g : B R funciones tales que Im f B , f es derivable en x A0 y g es
derivable en f (x) B 0 . Entonces g f es derivable en x y adems
0

(g f )0 : A R / (g f ) (x) = g 0 (f (x)) f 0 (x)

Aplicacin : Tomando logaritmo natural en ambos miembros de f (x) = x , con R y x > 0
probar que f 0 (x) = x1
Teorema (Derivada de la funcin inversa)
Sean f : A R una funcin biyectiva y x0 A0 . Si f es derivable en x0 y f 0 (x0 ) 6= 0 entonces :
1. f 1 es derivable en y0 = f (x0 )
0

2. (f 1 ) (y0 ) =

1
f 0 (x

0)

Aplicacin : Sabiendo que la funcin inversa de f (x) = ex es f 1 (x) = ln(x) y que se verifica
(f 1 f ) (x) = x x R , probar que f 0 (x) = ex .
Ejemplo: Sea f : R R la funcin biyectiva dada por f (x) = x3 + x + 1.
1
0
Hallar (f 1 ) (3) . Rta.:
4

27

Tabla de derivadas de las funciones elementales

1. (k)0 = 0

10. (sen(x))0 = cos(x)

2. (x)0 = 1

11. (cos(x))0 = sen(x)

3. (1/x)0 = 1/x2

0
4. ( x) = 1/2 x

12. (tan(x))0 = 1/ cos2 (x)

5. (x ) = x

13. (Sh(x))0 = Ch(x)

8. (ln(x))0 = 1/x

14. (Ch(x))0 = Sh(x)

15. (arcsin(x))0 = 1/ 1 x2

16. (arc cos(x))0 = 1/ 1 x2

9. (loga (x))0 = 1/x ln a

17. (arctan(x))0 = 1/1 + x2

x 0

6. (e ) = e

7. (ax )0 = ax ln a

3.2.

Derivada de funciones definidas implcitamente y en forma paramtrica

Diremos que una ecuacin F (x, y) = 0 define implcitamente a una funcin f tal que y = f (x) .
en algn intervalo real I , si para todo x I se verifica que F (x, f (x)) = 0 .
Si la funcin f es derivable en I entonces F tambin lo ser . En tal caso la expresin de f 0 (x)
se puede obtener derivando a F (x, f (x)) como una funcin compuesta e igualando a cero lo que
resulte para luego despejar f 0 (x) . En estos casos la notacin usual es y 0 en vez de f 0 (x) .
Ejemplo : Hallar la expresin de y 0 siendo y = f (x) la funcin dada por y 2 sen x + y = arc tg x .
Rta.: y 0 =

1 (1 + x)2 y 2 cos x
(1 + x2 )(2y sen x + 1)

Supongamos ahora que las variable x e y dependen de una tercer variable t I R ( t se llama
parmetro).
Esta dependencia funcional se puede expresar como
x = g(t)

y = h(t)

Si g es estrictamente montona sabemos que tiene inversa g 1 , con lo cual t = g 1 (x). En estas
condicones podemos encontrar una dependencia funcional entre x e y de modo tal que y = f (x)
para alguna funcin f (proceso conocido como supresin o eliminacin del parmetro t ) y decimos
que f est definida paramtricamente por g y h .
Si g y h son derivables en todo punto interior de I entonces
f 0 (x) =

h0 (t)
g 0 (t)

En efecto, como g tiene inversa g 1 y t = g 1 (x) tenemos que :

y = h(t) = h(g 1 (x)) = (h g 1 )(x) = f (x) con f = h g 1
28

Como g es derivable , g 1 tambin lo es, de modo que

f 0 (x) = h0 (g 1 (x))(g 1 )0 (x) = h0 (g 1 (x))

1
h0 (t)
1
0
=
h
(t)

=
g 0 (t)
g 0 (t)
g 0 (t)

Es usual en las aplicaciones fsicas, indicar la dependencia funcional de x e y en funcin de t como

dy
, con lo cual la relacin anterior queda
x = x(t) e y = y(t) , y f 0 (x) como
dx
dy
y 0 (t)
= 0
dx
x (t)
Ejemplo : Hallar la derivada de y en funcin de x de la curva dada en forma paramtrica por
(
x = 2 cos t
y = 1 + 2 sen t

Rta.:

3.3.

dy
= cotg t
dx

Derivadas sucesivas o de orden superior

Sean A R y f : A R una funcin derivable en todo punto interior x A .

A la funcin f 0 tambin se la llama derivada primera de f en A . Si existe la derivada de f 0 en
cada punto interior de A a ella se la llama derivada segunda de f y se la denota f 00 o bien f (2) .
Entonces
f 0 (x + h) f 0 (x)
f 00 (x) = lm
h0
h
En general, si n N , la derivada n-sima de f o de orden n en un punto interior x de A se define
inductivamente como

0
f (n) (x) = f (n1) (x)
Por determinadas razones que luego se vern se considera derivada de orden 0 a f (0) (x) = f (x) .
Diremos que f es n veces derivable en x si existe f (n) (x) , y f es de clase C n si f es n veces
derivable en todo punto interior de A y la funcin f (n) es continua en dicho punto . Por ltimo, f
es de clase C si f C n para todo n N , o sea, f puede derivarse tantas veces como se necesite
en todo punto interior de A .
Ejemplo : Hallar la expresin de la derivada n-sima de f en los siguientes casos :
a) f (x) = x3
b) f (x) = ex
c) f (x) = e3x
d) f (x) = ln x

3.4.

Diferencial de una funcin en un punto

Sea f : A R una funcin derivable en un punto interior x0 de A. Entonces existe y es finito el

lmite
f (x) f (x0 )
f 0 (x0 ) = lm
xx0
x x0
29

Esta iguadad podemos escribirla del siguiente modo :



f (x) f (x0 )
f (x) f (x0 )
f (x) f (x0 )
0
0
= f (x0 ) lm
f (x0 ) = 0
= f 0 (x0 ) + (x)
lm
xx0
xx0
x x0
x x0
x x0
con lm (x) = 0 . Luego
xx0

f (x) f (x0 ) = f 0 (x0 )(x x0 ) + (x)(x x0 ) con lm (x) = 0

xx0

Llamaremos diferencial de f en el punto interior x0 con respecto al incremento 4x = x x0 al

producto f 0 (x0 )(x x0 ). Se lo denota con df (x0 , 4x) . Entonces df (x0 , 4x) = f 0 (x0 )(x x0 ) .
Si 4x 0 el incremento de la funcin se aproxima al diferencial lo que permite escribir
4f ' df (x0 , 4x) f (x) f (x0 ) ' df (x0 , 4x) f (x) ' f (x0 ) + df (x0 , 4x)
Haciendo el cambio de variable h = 4x = x x0 tenemos que x = x0 + h con lo cual la ltima
implicacin queda
f (x0 + h) ' f (x0 ) + f 0 (x0 ) h
siendo en este caso df (x0 , h) = f 0 (x0 ) h .
Esta expresin se conoce como aproximacin lineal de f .
Si usamos la notacin y = f (x), el diferencial se suele escribir como dy, con lo cual, para el caso
particular de la funcin identidad y = f (x) = x , tenemos que dy = dx = x0 4 x = 1 4 x , de
donde se obtiene la igualdad dx = 4x . Esto justifica la notacin dy = f 0 (x) dx .
Geomtricamente podemos decir que df (x0 , h) de una funcin en un punto de abscisa x0 , con un
incremento h , representa la variacin de la ordenada de la recta tangente a la curva en (x0 , f (x0 )),
al pasar de x0 a x0 + h .

Ejemplo : Calcular usando diferenciales el valor aproximado de 4 e y comparar el resultado con

el que d la calculadora.

Rta.: 4 e ' 1, 25
Propiedad
La variacin de una funcin y su diferencial son infinitsimos equivalentes para h 0 .
En efecto, si f 0 (x0 ) 6= 0 resulta que :
lm

h0

4f
f (x0 + h) f (x0 )
f (x0 + h) f (x0 )
1
1
= lm
= 0
lm
= 0
f 0 (x0 ) = 1
0
df (x0 , h) h0
f (x0 ) h
f (x0 ) h0
h
f (x0 )

3.5.

Funciones montonas derivables

Sean A R , f : A R una funcin y x0 un punto interior de A . Diremos que :

f es estrictamente creciente en x0 si y slo si existe un E(x0 , ) tal que :

x < x0 f (x) < f (x0 )

x E(x0 , ) :

x0 < x f (x0 ) < f (x)

30

f es creciente en x0 si y slo si existe un E(x0 , ) tal que :

x < x0 f (x) f (x0 )

x E(x0 , ) :

x0 < x f (x0 ) f (x)

f es estrictamente decreciente en x0 si y slo si existe un E(x0 , ) tal que :

x < x0 f (x) > f (x0 )

x E(x0 , ) :

x0 < x f (x0 ) > f (x)

f es decreciente en x0 si y slo si existe un E(x0 , ) tal que :

x < x0 f (x) f (x0 )

x E(x0 , ) :

x0 < x f (x0 ) f (x)

En cualquiera de los casos se dice que la funcin es montona o (estrictamente montona) en
el punto.
Teorema (Relacin entre la monotona en un punto y el signo de la derivada primera)
Sean A R y f : A R una funcin derivable en un punto interior x0 de A. Se verifica que :
1. Si f 0 (x0 ) > 0 entonces f es estrictamente creciente en x0
Demostracin
Si f es derivable en x0 sabemos que existe y es finito el lmite
f 0 (x0 ) = lm

xx0

f (x) f (x0 )
>0
x x0

Por una propiedad del lmite, existe un E 0 (x0 , ) donde la funcin conserva el signo de su
lmite.
O sea
x E 0 (x0 , ) :

f (x) f (x0 )
> 0 Sg [f (x) f (x0 )] = Sg(x x0 )
x x0

con lo cual
x < x0 x x0 < 0 f (x) f (x0 ) < 0 f (x) < f (x0 )
x > x0 x x0 > 0 f (x) f (x0 ) > 0 f (x) > f (x0 )
luego f es estrictamente creciente en x0
2. Si f 0 (x0 ) < 0 entonces f es estrictamente decreciente en x0
31

3. Si f es creciente en x0 entonces f 0 (x0 ) 0

4. Si f es decreciente en x0 entonces f 0 (x0 ) 0
Sean A R y f : A R una funcin . Diremos que :
f es estrictamente creciente en A si y slo si se verifica que :
x1 , x2 A : x1 < x2 f (x1 ) < f (x2 )
f es creciente en A si y slo si se verifica que :
x1 , x2 A : x1 < x2 f (x1 ) f (x2 )
f es estrictamente decreciente en A si y slo si se verifica que :
x1 , x2 A : x1 < x2 f (x1 ) > f (x2 )
f es decreciente en A si y slo si se verifica que :
x1 , x2 A : x1 < x2 f (x1 ) f (x2 )
En cualquiera de los casos se dice que la funcin es montona o (estrictamente montona) en
el conjunto.
Teorema (Relacin entre la monotona en un conjunto y el signo de la derivada primera)
Sean A R y f : A R una funcin derivable en todo punto interior de A. Se verifica que :
1. Si f 0 (x) > 0 x A entonces f es estrictamente creciente en A
2. Si f 0 (x) < 0 x A entonces f es estrictamente decreciente en A
3. f 0 (x) 0 si y slo si f es creciente en A
4. f 0 (x) 0 si y slo si f es decreciente en A

3.6.

Teoremas del valor medio

Extremos relativos y absolutos de una funcin

Sean A R , f : A R una funcin y x0 A . Diremos que :
f admite un mnimo relativo o local en x0 si existe un entorno E(x0 , ) tal que :
E(x0 , ) A y f (x0 ) f (x) x E(x0 , )
f admite un mximo relativo o local en x0 si existe un entorno E(x0 , ) tal que :
E(x0 , ) A y f (x0 ) f (x) x E(x0 , )
32

f admite un mnimo absoluto o global en x0 si f (x0 ) f (x) x A

f admite un mximo absoluto o global en x0 si f (x0 ) f (x) x A
A los mximos y mnimos relativos (o absolutos) se los llama extremos relativos (o absolutos)
Teorema de Fermat (condicin necesaria para la existencia de extremos relativos)
Sean A R y f : A R una funcin derivable en un punto interior x0 de A .
Se verifica que :
Si f tiene un extremo relativo (mximo o mnimo) en el punto x0 entonces f 0 (x0 ) = 0
Demostracin
Supongamos, por el absurdo, que f 0 (x0 ) 6= 0 , entonces se presentan dos casos :
a) f 0 (x0 ) > 0 , con lo cual f es estrictamente creciente en x0
b) f 0 (x0 ) < 0 , con lo cual f es estrictamente decreciente en x0
En ambos casos se llega a un absurdo pues f (x0 ) es un extremo relativo, con lo cual no es estrictamente creciente ni decreciente. Tal abusrdo surgi de suponer f 0 (x0 ) 6= 0 . Luego debe ser
f 0 (x0 ) = 0 .
Observaciones :
1. El recproco es falso. Un contraejemplo es f (x) = x3 en x0 = 0
2. Si f no es derivable en x0 no tiene sentido aplicar el teorema. Por ejemplo, f (x) =| x |tiene
un mnimo relativo (y absoluto) en x0 = 0 y no existe f 0 (0)
3. Si el conjunto A es un intervalo cerrado [a, b] , el teorema no se verifica en los extremos del
mismo (no son puntos interiores). Por ejemplo, f (x) = sen x en [0, /2] alcanza un mnimo
en x = 0 y un mximo en x = /2
4. El teorema nos "brinda" posibles puntos interiores del dominio de la funcin donde pueden
tener extremos relativos
5. Diremos que x0 es un punto crtico de f si f 0 (x0 ) = 0 o bien f 0 (x0 ) no existe.
De este modo los extremos absolutos o globales de una funcin pueden hallarse en :
a) los puntos donde f 0 (x) = 0
b) los puntos donde f 0 (x) no existe
c) en los extremos del conjunto donde est definida la funcin
Teorema (Condicin suficiente para la existencia de extremos locales)
Sean A R , f : A R una funcin y x0 un punto interior de A .
Criterio del signo de la derivada primera
Si se verifica que :

33

1. f es continua en x0
2. f es derivable en un E 0 (x0 , )
3. x0 es un punto crtico de f
Entonces :
Si f 0 (x) > 0 para x (x0 , x0 ) y f 0 (x) < 0 para x (x0 , x0 + ) entonces f tiene en x0 un
mximo relativo
Si f 0 (x) < 0 para x (x0 , x0 ) y f 0 (x) > 0 para x (x0 , x0 + ) entonces f tiene en x0 un
mnimo relativo
Observar que no se pide que f sea derivable en x0 .
Teorema de Rolle
Sea f : [a, b] R una funcin . Si se verifica que :
f es continua en [a, b]
f es derivable en (a, b)
f (a) = f (b)
entonces existe al menos un punto c (a, b) donde f 0 (c) = 0 .
Geomtricamente, si se cumple el teorema, existe un punto de la grfica de f donde la recta
tangente es horizotal.
Teorema de Lagrange
Sea f : [a, b] R una funcin . Si se verifica que :
f es continua en [a, b]
f es derivable en (a, b)
entonces existe al menos un punto c (a, b) tal que f 0 (c) =

f (b) f (a)
.
ba

Observaciones :
1. El segundo miembro de la igualdad es la pendiente de la recta secante que pasa por los puntos
(a, f (a)) y (b, f (b)) , mientras que el primer miembro es la pendiente de la recta tangente en
(c, f (c)).
2. El teorema de Rolle es un caso particular del teorema de Lagrange pues corresponde al caso
f (a) = f (b) .
3. A este teorema tambin se lo conoce como Teorema de los Incrementos Finitos o Teorema
del Valor Medio del Clculo Diferencial
34

Teorema de Cauchy
Sean f, g : [a, b] R una funciones . Si se verifica que :
f y g son continuas en [a, b]
f y g son derivables en (a, b)
g 0 (x) 6= 0 x (a, b)
entonces existe al menos un punto c (a, b) tal que

f (b) f (a)
f 0 (c)
= 0
.
g(b) g(a)
g (c)

Este teorema es una generalizacin del teorema de Lagrange tomando g(x) = x .

Como aplicacin de este teorema tenemos la llamada
Regla de LHospital
Esta regla es una propiedad muy til para calcular lmites que presentan indeterminacin del tipo
"0/0" "/" . Si la indeterminacin no es de este tipo se debe transformar la expresin de la
funcin para llevar la indeterminacin a una de los casos anteriores .
Sea a = x0 R o bien a = .
Si se verifica que :
f y g son derivables en un E 0 (a)
g 0 (x) 6= 0 para todo x E 0 (a)
lm f (x) = lm g(x) = 0 o bien lm f (x) = lm g(x) =

xa

lm

xa

xa

xa0

xa

f 0 (x)
existe y es finito o infinito
g 0 (x)

entonces lm

xa

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

Ejemplos :
2x
x2 4
= lm
=4
1. lm
x2 1
x2 x 2
2. La Regla de LHopital se puede aplicar en forma iterada, por ejemplo :
lm

x0

ex x 1
ex 1
ex 1
=
l
m
=
l
m
=
x0
x0 2
x2
2x
2

3. En algunos casos no es conveniente aplicar esta regla, puesto que no se llega nunca a simplificar el resultado. x
e + sen x
Por ejemplo lm x
.
x+ e + cos x
Para resolver este caso basta con dividir numerador y denominador por ex obtenindose como
lmite 1.
35

4. En otros casos no se puede aplicar la regla, por ejemplo lm

x+

(x + sen x)0
1 + cos x
lm
no existe.
= lm
0
x+ (x + cos x)
x+ 1 sen x

x + sen x
. En efecto :
x + cos x

Para calcular el lmite dividimos numerador y denominador por x :

sen x
1
1+
1 + sen x
x + sen x
x
x
lm
= lm
lm
=1
cos x = x+
1
x+ x + cos x
x+
1+
1 + cos x
x
x
5. Notar que la Regla de LHospital slo se puede aplicar para indeterminaciones del tipo 00 0/000 o
00
/00 . Los otros casos se deben transformar para obtener alguna de las indeterminaciones
anteriores, por ejemplo :
a) lm ex ln x caso 00 0 00
x+


1 cos x

caso 00 00
b) lm
x0
x sen x
c) lm xsen x caso 00
x0

d ) lm+ ( ln x)x

caso 0

x0

e) lm (sen x)tg x

x
2

3.7.

caso 1

Concavidad positiva y negativa de una funcin. Puntos de inflexin

Sean A R , f : A R una funcin derivable , x0 un punto interior de A y t la recta tangente

en (x0 , f (x0 )).
Diremos que :
el grfico de f es cncavo positivo en el punto x0 , si existe un entonrno reducido E 0 (x0 , )
donde la recta tangente se encuentra por "abajo" de la curva. En decir :
f es cnvavo positivo en (x0 , f (x0 )) E 0 (x0 , ) / x E 0 (x0 , ) : t(x) < f (x)
el grfico de f es cncavo negativo en el punto x0 , si existe un entonrno reducido E 0 (x0 , )
donde la recta tangente se encuentra por "encima" de la curva. En decir :
f es cnvavo negativo en (x0 , f (x0 )) E 0 (x0 , ) / x E 0 (x0 , ) : f (x) < t(x)
el punto (x0 , f (x0 )) es un punto de inflexin de f si y slo si la recta tangente "atraviesa"
el grfico de f , es decir, es cncava positiva en (x0 , x0 ] y cncava negativa en [x0 , x0 + )
o viceversa.

36

Teorema (Condicin necesaria para la existencia de puntos de inflexin)

Sean A R y f : A R una funcin dos veces derivable en un punto interior x0 de A .
Si (x0 , f (x0 )) es un punto de inflexin del grfico de f entonces f 00 (x0 ) = 0
El recproco es falso. Por ejemplo : f (x) = x4 en x0 = 0 .
Nota
Puede definirse punto de inflexn para una funcin que no es derivable en el punto x0 . En tal
caso se dice que (x0 , f (x0 )) es punto de inflexin de f si en dicho punto cambia el sentido de la
concavidad (pasa de concavidad positiva a negativa o viceversa).
Teorema
Sea f : A R dos veces derivable en todo punto interior de A. Se verifica que :
Si f 00 (x) > 0 , x A0 entonces f es cncavo positiva en A
Si f 00 (x) < 0 , x A0 entonces f es cncavo negativa en A
Como consecuencia de este teorema surgen otros criterios (condiciones suficientes) para determinar
extremos relativos y puntos de inflexin :
Teorema (Condicin suficiente para la existencia de extremos locales)
Sean A R , f : A R una funcin y x0 un punto interior de A .
Criterio del signo de la derivada segunda
Si se verifica que :
1. f es continua en x0
2. f es dos veces derivable en todo punto interior de A
3. f 0 (x0 ) = 0
Entonces :
Si f 00 (x0 ) > 0 entonces f tiene en x0 un mnimo relativo
Si f 00 (x0 ) < 0 entonces f tiene en x0 un mximo relativo
Teorema (Condicin suficiente para la existencia de puntos de inflexin)
Sean A R , f : A R una funcin continua en x0 un punto interior de A .
Si se cumplen alguna de las siguientes condiciones :
1. f es dos veces derivable en el interior de A y f 00 (x0 ) = 0
2. No existe f 00 (x0 ) pero f es dos veces derivable en A {x0 }
entonces si f 00 cambia de signo en (x0 , x0 ) y (x0 , x0 + ) podemos asegurar que (x0 , f (x0 )) es
un punto de inflexin de f .
37

3.8.

Frmula de Taylor y Mac Laurin

Para analizar el comportamiento de una funcin f en un entorno de un punto x0 , es usual recurrir

a funciones elementales tales como las funciones polinmicas. Si la funcin es n + 1 veces derivable
en un entorno de x0 se puede encontrar un polinomio Pn (x) , de grado n, expresado en potencias
0
(n)
de (x x0 ) , de modo tal que f (x0 ) = Pn (x0 ) , f 0 (x0 ) = Pn (x0 ) , ..., f (n) (x0 ) = Pn (x0 ) .
Tal aproximacin se mejora aumentando el valor de n .
Teorema
Sean A R , f : A R una funcin y x0 un punto interior de A .
Si f tiene derivada de orden n + 1 en un entorno E(x0 , ) entonces :
1. f (x) = Pn (x) + Rn (x) para todo x E(x0 , )
2. Pn (x) = f (x0 ) +
o bien
Pn (x) =

n
X
f (i) (x0 )
i=0

3. Rn (x) =
4. lm

xx0

f 00 (x0 )
f (n) (x0 )
f 0 (x0 )
(x x0 ) +
(x x0 )2 + +
(x x0 )n
1!
2!
n!

i!

(x x0 )i

donde f (0) (x0 ) = f (x0 )

f (n+1) (c)
(x x0 )n+1 siendo c un punto entre x0 y x entre x y x0 .
(n + 1)!

Rn (x)
=0
(x x0 )n

El polinomio Pn (x) se llama polinomio de Taylor de grado n asociado a la funcin f y centrado

en x0 .
A Rn (x) se lo llama resto o trmino complementario de Lagrange.
El error que se comete al considerar a Pn (x) en vez de f (x) se lo indica con =| f (x) Pn (x) |.
Si el error es "pequeo" se puede escribir f (x) ' Pn (x) .
En particular si x0 = 0 , el polinomio de Taylor se llama polinomio de Mac Laurin siendo su
expresin
n
f 00 (0) 2
f (n) (0) n X f (i) (0) i
f 0 (0)
x+
x + +
x =
x
Pn (x) = f (0) +
1!
2!
n!
i
!
i=0
Rn (x) =

f (n+1) (c) n+1

x
con c entre 0 y x x y 0
(n + 1)!

Se puede demostrar que el polinomio de Taylor asociado a una funcin en un punto es nico.
Ejemplos :
1. Sea f (x) = ex .
a) Hallar el polinomio de Mac Laurin de grado 1, 2 ,3 y n.
38


b) Calcular 3 e con el polinomio de Mac Laurin de grado 2 y comprobar el error que se
comete mediante una calculadora
c) Hallar el grado del polinomio de Mac Laurin para que el error cometido se menor que
104
xn
x2
+ +
b) 1, 3888 c) n = 4
2!
n!
x sen x
2. Empleando la frmula de Taylor calcular lm
x0
x2
ex 1 x
2
Rta.: 1
Rta.: a) Pn (x) = 1 + x +

39

4.

INTEGRALES

Un motivo para introducir el concepto de Integral se encuentra en el siguiente problema : calcular

el rea de una regin plana no poligonal. Un caso puede ser el de calcular el rea de la regin
limitada por el grfico de una funcin f continua y positiva en un intervalo cerrado [a, b], el eje X
y las rectas verticales x = a y x = b .
Una forma de hacerlo puede ser considerando rectngulos inscriptos en la regin, calcular el rea
de cada uno de ellos y luego sumarlas. Se obtendra un valor por defecto, es decir, menor al valor
real del rea buscada. Tambin se podran considerar rectngulos que contengan a la regin. En
ese caso el valor del rea sera por exceso .

4.1.

Integral Definida

Sea [a, b] un intervalo cerrado.

Una particin de [a, b] es un conjunto finito P = {x0 , x1, , xn } de puntos de [a, b] tales que :
a = x0 < x1 < x2 < < xi1 < xi < < xn = b
Para cada particin P de [a, b] quedan determinados los intervalos
[x0 , x1 ], [x1 , x2 ], , [xi1 , xi ], [xn1 , xn ]
Llamaremos intervalo i-simo de la particin al intervalo Ii = [xi1 , xi ] y anplitud del intervalo Ii
al nmero xi xi1 .
Una particin P 0 se dice que es ms fina que P si P P 0 .
Ejemplo : Sea [a, b] = [1, 4] . Entonces
P0 = {1, 4} es una particin de [1, 4]. Es la "menos fina" ya cualquier otra la debe contener.
P = {1, 3, 4} es otra particin de [1, 4]


3
3
3
3
3
Pn = 1, 1 + , 1 + 2 , 1 + 3 , 1 + 4 , , 1 + i , , 4 .
n
n
n
n
n
Esta es la llamada particin regular de [1, 4] .
Notar que todos los intervalos tienen la misma amplitud

3
.
n

Sea f : [a, b] R una funcin acotada. Esto significa que existen nmeros m y M tales que
m f (x) M para todo x [a, b] . Tales nmeros son
m = inf{f (x) /x [a, b]}
M = sup{f (x) /x [a, b]}
Si P = {x0 , x1, , xn } es una particin de [a, b], para cada i con 1 i n definimos
Mi = sup{f (x) /x [xi1 , xi ]}
40

mi = inf{f (x) /x [xi1 , xi ]}

Tales nmeros Mi y mi existen pues se pide que f sea una funcin acotada en [a, b] , de modo que
f est acotada en cada intervalo [xi1 , xi ] , con lo cual existe el supremo y el nfimo.
Llamaremos suma inferior para f correspondiente a la particin P a la suma
sP (f ) = m1 (x1 x0 ) + m2 (x2 x1 ) + + mn (xn xn1 ) =

n
X

mi (xi xi1 )

i=1

y suma superior para f correspondiente a la particin P a la suma

SP (f ) = M1 (x1 x0 ) + M2 (x2 x1 ) + + Mn (xn xn1 ) =

n
X

Mi (xi xi1 )

i=1

Observar que siendo mi Mi para todo i , siempre ocurre que sP (f ) SP (f ) para cualquier
particin P de [a, b] .
Teorema
Sea f : [a, b] R una funcin acotada. Sean P y P 0 dos particiones de [a, b] . Entonces :
1. sP (f ) SP 0 (f )
2. si P 0 es ms fina que P entonces sP (f ) sP 0 (f ) y SP (f ) SP 0 (f )
Resulta entonces que para cada particin P de [a, b] el conjunto de las sumas inferiores
s = {sP (f ) /P es una particin de [a, b]}
y el de las sumas superiores
S = {SP (f ) /P es una particin de [a, b]}
son conjutnos acotados. En efecto, el conjunto s est acotado inferiormente por m(ba) y superiormente por cuaquier suma superior . En forma anloga, el conjunto S est acotado superiormente
por M (b a) e inferiormente por cualquier suma inferior. Luego el conjunto s tiene supremo y el
conjunto S tiene nfimo en R.
Se verifican entonces las siguientes desigualdades para cualquier particin P de [a, b] :
m(b a) sP (f ) SP (f ) M (b a)
Se llama integral inferior de f sobre [a, b] al nmero
b
f (x) dx = sup {sP (f ) /P es una particin de [a, b]}
a

e integral superior de f sobre [a, b] al nmero

f (x) dx = inf {SP (f ) /P es una particin de [a, b]}

a

41

Diremos que la funcin acotada f : [a, b] R es integrable sobre [a, b] , segn Riemann , si
b
b
f (x) dx
f (x) dx =
a

Observaciones :
1. Los nmeros a y b se llaman lmite inferior y limite superior de integracin

2. El smbolo
es una letra "s alargada " y se llama smbolo integral
3. Existen funciones que no son integrables. Por ejemplo
(
1 si x es racional
f : [0, 1] R dada por f (x) =
0 si x es irracional
En cada intervalo [xi1 , xi ] existe un racional qi tal que f (qi ) = 1 y un irracional ti tal que
f (ti ) = 0 , con lo cual el conjunto
{f (x) /x [xi1 , xi ]} = {0, 1}
luego mi = 0 y Mi = 1 . Entonces
sP (f ) = m1 (x1 x0 ) + m2 (x2 x1 ) + + mn (xn xn1 ) =

n
X

0 (xi xi1 ) = 0

i=1

SP (f ) = M1 (x1 x0 ) + M2 (x2 x1 ) + + Mn (xn xn1 ) =

n
X

1 (xi xi1 ) = 1

i=1

en consecuencia
s = {sP (f ) /P es una particin de [0, 1]} = {0} sup{sP (f )} = 0
S = {SP (f ) /P es una particin de [0, 1]} = {0} inf{SP (f )} = 1
con lo cual

f (x) dx = 0 6=

f (x) dx = 1
0

Esto muestra que f no es integrable en [0, 1] .

f (x) dx o tambin

4. Si la funcin es integrable se escribe simplemente

a

f
a

5. La variable x se llama "muda" y esto significa que puede ser cambiada por cualquier otra :
b
b
b
f (x) dx =
f (t) dt =
f (y) dy
a

6. Puede demostrarse que la condicin necesaria y suficiente para que una funcin acotada
f : [a, b] R sea integrable est dada por la siguiente condicin de integrabilidad
> 0, P particin de [a, b] /Sp (f ) sP (f ) <
42

4.2.

Propiedades de la Integral Definida

1. Sea f : [a, b] R una funcin acotada . Se verifica que :

f (x) dx 0

a) Si f (x) 0 x [a, b] y f es integrable sobre [a, b] entonces

a

b) Si f es integrable sobre [a, b] entonces | f | es integrable sobre [a, b] y se cumple que :

 b
 b


 f (x) dx
| f (x) | dx


a

c) Si f es continua en [a, b] , o discontinua en un nmero finito de puntos de [a, b] ,

entonces f es integrable sobre [a, b]
d ) Si f es montona en [a, b] , entonces f es integrable sobre [a, b]
e) Si f es continua en [a, b] entonces existe un punto c [a, b] tal que :

f (x) dx = f (c)(b a)
a

Esta propiedad se conoce como Teorema del Valor Medio del Clculo Integral .
Demostracin
Como f es continua en [a, b] existe mnimo m y mximo M tal que m f (x) M x
[a, b]
Por la propiedad de monotona se deduce que
b
b
b
M dx
f (x) dx
m dx
a

m(b a)

f (x) dx M (b a)
a

dividiendo por b a se obtiene que

1
m
ba

f (x) dx M
a

Puesto que f es continua en [a, b], por el Teorema del Valor Intermedio, existe un
b
1
c [a, b] tal que f (c) =
f (x) dx con lo cual
ba a
b
f (x) dx = f (c)(b a)
a

Interpretacin geomtrica : Si f es una funcin positiva en [a, b], entonces la expresin

anterior puede pensarse como que el rea de la regin limitada por el grfico de f , el
eje X y las rectas x = a e y = b, es igual al rea del rectngulo de base b a y altura
f (c) .
43

f ) Si a < c < b y f es integrable sobre [a, b] entonces f es integrable sobre [a, c] y [c, b] , y
se cumple que
c
b
b
f (x) dx =
f (x) dx +
f (x) dx
a

g) Si f es integrable sobre [a, b] entonces se definen

f (x) dx =

f (x) dx = 0 y
a

f (x) dx
a

2. Sean f, g : [a, b] R funciones integrables sobre [a, b] . Se verifica que :

kf (x) dx = k

b)
a

g(x) dx

f (x) dx +

[f (x) + g(x)] dx =

a)

a
b

f (x) dx con k R
a

f (x) dx

c) Si f (x) g(x) x [a, b] entonces

g(x) dx
a

4.3.

Funcin Integral

Sea f : [a, b] R una funcin integrable sobre [a, b] . Puede demostrarse que f es integrable sobre
[a, x], para todo x [a, b] . Se define entonces una funcin F : [a, b] R como
x
f (t) dt
F (x) =
a

llamada integral indefinida de f sobre [a, b] .

Esta funcin tiene las siguientes propiedades :
1. F es continua en [a, b] (aunque f no lo sea)
2. Si f es continua en [a, b] entonces
a) Primer Teorema Fundamental del Clculo Integral
F 0 (x) = f (x) para todo x [a, b]
Demostracin
F (x) F (x0 )
Sea x0 un un punto interior de [a, b] . Entonces F 0 (x0 ) = lm
con lo cual
xx0
x x0

x
x
x0
x
a
f (t) dt +
f (t) dt
f (t) dt
f (t) dt
f (t) dt
a
x0
x0
a
a
0
F (x0 ) = lm
= lm
= lm
xx0
xx0
xx0
x x0
x x0
x x0
x
Por el Teorema del Valor Intermedio del Clculo resulta que
f (t) dt = f (c)(x x0 )
x0

para algn c entre x y x0 . Luego

44

f (c)(x x0 )
= lm f (c) . Por ser f continua resulta que lm f (c) =
xx0
xx0
xx0
x x0
lm f (c) = f (x0 )

F 0 (x0 ) = lm
cx0

Si x0 = a x0 = b se aplican derivadas laterales .

b) Segundo Teorema Fundamental del Clculo Integral o Regla de Barrow

f (x) dx = F (b) F (a)

a

Demostracin
x
f (x) dx . Siendo f continua en [a, b] es G0 (x) = f (x) para todo x [a, b]
Sea G(x) =
a

. Luego G0 (x) = F 0 (x) , con lo cual G(x) = F (x) + C para todo x [a, b] . En particular
G(a) = F (a) + C Como G(a) = 0 resulta que C = F (a) , luego G(x) = F (x) F (a) .
Para el caso x = b tenemos que G(b) = F (b) F (a) con lo cual

f (x) dx = F (b) F (a)

a

Se llama primitiva de una funcin f : [a, b] R a toda funcin derivable F : [a, b] R tal que
F 0 (x) = f (x) x [a, b] .
Observar que por la propiedad 2 a), toda funcin continua en un intervalo cerrado posee una
primitiva.
Ejemplos :
1. Si f : [0, 1] R est dada por f (t) = 2t entonces F : [0, 1] R es F (x) = x2 .
En efecto, F 0 (x) = 2x x [0, 1] . Como f es continua la funcin F es una primitiva de f .
2. Si f : [0, 2] R es la funcin definida por
(
0 si 0 t < 1
f (t) =
1 si 1 t 2
entonces F : [0, 2] R est dada por
(
F (x) =

0
si 0 x < 1
x 1 si 1 x 2

Notar que F es continua en [0, 2] pero no derivable (no existe F 0 (1) ) . Luego, la funcin f
no tiene primitiva en [0, 2].

Es claro que si f posee una primitiva F entonces posee infinitas : Si G es otra primitiva de f
entonces
G(x) = F (x) + C siendo C una constante

45

Puede ocurrir que en la funcin integral uno o ambos lmites de integracin sean a su vez funciones
derivables u y v de x . En tal caso, por composicin de funciones , y siendo f continua, se tiene
que :
u(x)
f (t) dt F 0 (x) = f (u(x)) u0 (x)
F (x) =

a
u(x)

f (t) dt F 0 (x) = f (u(x)) u0 (x) f (v(x)) v 0 (x)

F (x) =
v(x)

4.4.

Clculo de Primitivas

Sean A R y f : A R una funcin continua en A .

Al conjunto de todas las primitivas de una funcin f se lo denota con

f (x) dx
Si f, g : A R son funciones que tienen primitiva entonces se verifican las siguientes propiedades

[f (x) + g(x)] dx =

f (x) dx +

g(x) dx

k f (x) dx = k

4.5.

f (x) dx con k R

Mtodos de integracin

1. Mtodo por sustitucin

Para aplicar este mtodo nos basamos en el siguiente teorema :
Si F es una primitiva de f entonces F g es una primitiva de (f g) g 0
Ejemplos :

a)
cos(4x) dx

b) (x + 3)4 dx

c)
sen2 x cos x dx

1
d)
dx
3x + 2

e)
tg x dx

f)

1
dx
1 + 4x2

1
dx (t = 2x )
x x

x+ 3x

h)
dx (t = 6 x)
3
1+ x

x5
2
5
4
i)
4 dx (t = 1 + x , x = x x )
2
(1 + x )
g)

46

2. Mtodo por Partes

Si u y v son dos funciones derivables entonces (u(x) v(x))0 = u0 (x) v(x) + u(x) v 0 (x)
con lo cual :

0
0
(u(x) v(x)) dx = u (x) v(x) dx + u(x) v 0 (x) dx

0
u(x) v(x) = u (x) v(x) dx + u(x) v 0 (x) dx
luego

u(x) v (x) dx = u(x) v(x)

Ejemplos :

a)
x ex dx

b)
x2 ex dx

c)
x ln x dx

u0 (x) v(x) dx

ln x dx

d)

e)

ex sen x dx

f)

arc sen x dx (partes y sustitucin)

3. Fracciones Simples
Este mtodo se aplica para integrales cuyo integrando sea una funcin racional donde el
grado del numerador es menor estricto que el grado del denominador. Se presentan cuatro
casos :
a) El denominador tiene todas sus races reales y distintas, por ejemplo :

2x + 1
2x + 1
dx =
dx
3
x 7x + 6
(x 1)(x + 3)(x 2)
b) El denominador tiene todas sus races reales y algunas mltiples, por ejemplo :

x2 x + 4
x2 x + 4
dx
=
dx
x3 4x2 + 5x 2
(x 1)2 (x 2)
c) El denominador tiene algunas races complejas simples , por ejemplo :

x+2
x+2
dx =
dx
3
2
2
x 2x + x 2
(x + 1)(x 2)
d ) El denominador tiene algunas races complejas mltiples, por ejemplo :

x2 + 3x 1
x2 + 3x 1
dx
=
dx
x6 2x4 7x2 4
(x 1)(x + 3)(x2 + 1)2

47

4. Integrales con funciones trigonomtricas

Se usan las identidades :
sen2 x =

1 cos(2x)
1 cos(2x)
y sen2 x =
2
2

Por ejemplo :

3
2
a)
sen x dx = sen x sen x dx = (1 cos2 x) sen x dx

1 cos(2x)
2
b)
sen x dx =
dx
2

4.6.

(t = cos x)

Nocin de Ecuacin Diferencial

Llamaremos ecuacin diferencial a toda ecuacin que contenga una funcin incgnita y sus deridy
= y0
vadas, o bien, slo a sus derivadas. La notacin usual para la derivada de y = f (x) es
dx
Ejemplos :

1/3
x + 3x2
3 2
0
3
a) La solucin general de y =
con y(0) = 6 es la curva y =
x + 3x + 8
y2
2
b) Hallar la curva que pasa por el punto (0, 2), de modo tal que la pendiente de la recta tangente
en cada punto sea igual a la ordenada de ese punto aumentada en tres unidades
dy
Tenemos que
= y + 3 e y(0) = 2 . La curva es y = ex 3
dx

4.7.

Integrales Impropias o Generalizadas

Hasta ahora pedimos que f sea una funcin acotada en un intervalo cerrado [a, b] . Se generaliza el
concepto de integral para funciones definidas en intervalos no acotados y/o funciones no acotadas.

4.8.

Integrales impropias de primera especie (intervalo de integracin no

acotado)

Sea f : [a, +) R una funcin tal que para todo x a resulta f integrable en [a, x] .
Definimos entonces

f (x) dx = lm

f (x) dx

t+

En forma simtrica se define

f (x) dx = lm

48

f (x) dx
t

Si f : R R es una funcin para la cual existe un c R de modo tal que existan la integrales
c
+
f (x) dx
f (x) dx y

entonces se define

f (x) dx =

f (x) dx +

f (x) dx

Si los lmites anteriores existen y son finitos la integral se dice que es convergente, si son infinitos
divergente y si no existen oscilantes.
Valor Principal de Cauchy
Sea f : R R una funcin integrable en [m, m] , m > 0 .
Llamaremos valor principal de Cauchy al siguiente lmite :
m
lm
f (x) dx
m+

f (x) dx converge entonces su valor coincide con el valor principal, pero puede ocurrir que
+
f (x) dx sea divergente.
exista el valor principal an cuando
Si

Propiedades
Sean f, g : [a, +) R funciones integrables en [a, x] para todo x a .

| f (x) | dx converge entonces

1. Si
a

f (x) dx converge
a

2. Si f y g son integrables en [a, x] para todo x a y 0 f (x) g(x) x a entonces

+
+
a) Si
f (x) dx diverge entonces
g(x) dx diverge
a
a
+
+
b) Si
g(x) dx converge entonces
f (x) dx converge
a

3. Si f y g son continuas, positivas para todo x a y lm

x+

a) Si 0 < l < + entonces

f (x) dx y
a

f (x)
= l se verifica que
g(x)

g(x) dx tienen el mismo carcter (ambas

a

convergen o divergen)
+
+
b) Si l = 0 y
g(x) dx converge entonces
f (x) dx converge
a
a
+
+
c) Si l = + y
g(x) dx diverge entonces
f (x) dx diverge
a

Valen propiedades anlogas para una funcin f : (, a] R

49

4.9.

Integrales impropias de segunda especie (funcin no acotada)

Sea f : [a, b) R una funcin tal que para todo x < b , con a x < b , resulta que f es integrable
sobre [a, x].
Si lm f (x) = entonces definimos
xb

f (x) dx = lm

f (x) dx .

f (x) dx o simplemente

Otras notaciones para esta integral son

f (x) dx

tb

a
b

En forma simtrica se define

a+

f (x) dx para f : (a, b] R y lm+ f (x) = .

xa

Propiedades
Sean f, g : [a, b) R funciones integrables en [a, x] para todo x < b .

| f (x) | dx converge entonces

1. Si

f (x) dx converge

2. Si f y g son integrables en [a, x] para todo x < a y 0 f (x) g(x) x [a, b) entonces

f (x) dx diverge entonces

a) Si
a

g(x) dx diverge
a

g(x) dx converge entonces

b) Si
a

f (x) dx converge
a

3. Si f y g son continuas, positivas para todo x [a, b) y lm

x+

g(x) dx tienen el mismo carcter (ambas

f (x) dx y

a) Si 0 < l < + entonces

a

convergen o divergen)
b

b) Si l = 0 y
g(x) dx converge entonces
a

c) Si l = + y

f (x)
= l se verifica que
g(x)

f (x) dx converge

g(x) dx diverge entonces

a

f (x) dx diverge
a

Valen propiedades anlogas para una funcin f : (a, b] R , integrable en [x, b] con a < x b
y lm+ f (x) =
xa

Ejemplos :

50

a)
1

b)
1

c)

dx
= +
x
dx
=1
x2

dx
=
1 + x2

e)
a

(
converge si
dx
=
p
x
diverge si

ex dx )

(comparar con
1
+

2 + x3
g)
dx converge
1 + x6
1
+
1
dx )
(comparar con
x3
1
1
ln x dx = 1
h)

ex dx converge
1

x dx diverge aunque vp = 0

d)

f)

p>1
p1

0+

1
. Observar que no es una integral impropia pues lm+ x ln x = 0, con lo
x0
4
0
cual la funcin est acotada en el intervalo cerrado [0, 1]. Una primitiva es
2
x2
x
ln x
si 0 < x 1
F (x) = 2
4

0
si x = 0
Sea

4.10.

x ln x dx =

Aplicaciones de la Integral Definida

Si la funcin f : [a, b] R es continua sobre [a, b] y f (x) 0 para todo x [a, b] , la integral
b
f (x) dx nos d el rea de la regin limitida por el grfico de f , el eje X y las rectas verticales
a

x = a y x = b.
Si f y g son funciones continuas tales que sus grficos se cortan en los puntos A = (a, f (a)) y
B = (b, f (b)) , y se cumple que f (x) g(x) x [a, b] entonces el rea de la regin limitada por
los grficos de f y g es

[f (x) g(x)] dx
a

Ejemplos :
1. Hallar el rea de la regin limitada por el grfico de f (x) = 2x , el eje X para [0, 2] . Rta.: 4
2. Hallar el rea limitada por los grficos de f (x) = x2 y g(x) = 3 2x . Rta.: 88/3
3. Hallar el rea limitada por las curvas y = x + 2 e x = y 2 . Rta.: 9/2
4. Hallar el rea limitada por las curvas y = x3 e y = 9x . Rta.: 81/2
5. Hallar el rea de la regin comprendida entre la curva y =

x2 1
y su asntota. Rta.: 2
x2 + 1

6. Hallar el rea de la regin limitada por el grfico de f (x) = x2 , el eje X y la recta tangente
al grfico de f en el punto (1, 1) . Rta.: 1/3

51

5.
5.1.

SUCESIONES y SERIES NUMRICAS

Sucesiones Numricas

Se llama sucesin de nmeros reales a toda funcin a : N R .

En este contexto N ={1, 2, 3, } o bien N = {0, 1, 2, 3, } .
La imagen de cada elemento de N se indica an en vez de a(n), y el conjunto imagen de la sucesin
es el conjunto ordenado {a1 , a2 , , an , } donde an se denomima el trmino general de la
sucesin. La sucesin de trmino general an se denota de alguna de las siguientes formas :
(an )nN

, (an )n1

o simplemente (an )

Ejemplos :
n
es
1. La sucesin de trmino general an =
n+1

1 2
n
, , ,
,
2 3
n+1

2. La sucesin de trmino general an = 2n es (2, 4, 6, , 2n, )

3. La sucesin de trmino general an = (1)n es (1, 1, 1, 1, 1, , (1)n , . . . ) . Notar que
la imagen de esta sucesin es {1, 1} .

4. 
La sucesin
(a
por
recurrencia
como
a
2
y
a
2 + an . Tal sucesin es
n ) definida
1 =
n+1 =

p

2, 2 + 2,
Una sucesin (an ) se dice que es de trminos positivos si an > 0 para todo n N. Asi, las sucesiones
1., 2. y 4. son de trminos positivos pero no la 3.
Diremos que la sucesin (an ) est acotada si existe un nmero M > 0 tal que | an | M para
todo n N.
Por ejemplo, la sucesiones 1.y 3. son acotadas pero no la 2.

5.2.

Sucesiones Convergentes

Diremos que una sucesin numrica (an ) tiene lmite l , o converge a l si se cumple que :
> 0 , n0 N / n N : n n0 | an l |<
En tal caso se escribe lm an = l , lm an = l o simplemente an l .
n

Observaciones :
Afirmar que lm an = l significa que dado un entorno de centro l y radio > 0 , fuera de
n
dicho entorno existen, a lo sumo, un nmero finito de trminos de la sucesin

52

Una sucesin no tiene lmite l si existe un entorno de l tal que fuera de l existan infinitos
trminos de la sucesin.
Por ejemplo, la sucesin dada por an = (1)n no tiene lmite 1 pues fuera del entorno E(1, 1)
(de centro 1 y radio 1) existen infinitos trminos de la sucesin, esto es, todos los de subndice
impar e iguales a 1.
1
Ejemplo : Sea (an ) la sucesin dada por an = . Tal sucesin es
n
1
Se cumple que lm an = lm = 0
n
n n

5.3.



1 1
1
1, , , , , .
2 3
n

Sucesiones no Convergentes

Sea (an ) una sucesin de nmeros reales . Diremos que :

lm an = + M > 0 , n0 N / n N : n n0 an > M

Ejemplo : La suceson (an ) dada por an = 2n

lm an = M > 0 , n0 N / n N : n n0 an < M

Ejemplo : La sucesin (an ) dada por an = 3n

lm an = M > 0 , n0 N / n N : n n0 | an |> M

Ejemplo : La sucesin (an ) dada por an = (1)n n

En cualquier de los casos se dice que la sucesin es divergente o que diverge. Si la sucesin no
es convergente ni divergente se la llama oscilante.
Por ejemplo, la sucesin dada por an = (1)n n diverge a infinito y la sucesin dada por an = (1)n
es oscilante.
Si la sucesin es de trminos positivos se puede demostrar la siguiente propiedad conocida como
Criterio de DAlambert
Sea (an ) una sucesin de trminos positivos. Se verifica que :

lm an = 0
l < 1 n

l > 1 lm an = +
an+1
n
=l
lm
n an

l
=
1

no hay informacin

n a = l
lm
n
n

Ejemplos :
53

n
1. lm n = 0
n 3
2. lm 2 7n = +
n

5n
=0
n n!

4. lm n n = 1
3. lm

5.4.

Sucesiones Montonas

Sea (an ) una sucesin de nmeros reales. Diremos que :

1. (an ) es creciente si an an+1 n N
2. (an ) es estrictamente creciente si an < an+1 n N
3. (an ) es decreciente si an an+1 n N
4. (an ) es estrictamente decreciente si an > an+1 n N
En cualquiera de los casos se dice que la sucesin es montona ( o estrictamente montona) .
Para este tipo de sucesiones vale el siguiente
Teorema
Sea (an ) una sucesin montona. Se verifica que :
1. Si (an ) est acotoda entonces es convergente
2. Si (an ) no est acotoda entonces lm an = . En particular :
n

a) (an ) creciente lm an = +
n

b) (an ) decreciente lm an =
n

Ejemplos :
1. (an ) /an =

n
es creciente y acotada
n+1

2. (an ) /an = 2 +

1
es decreciente y acotada
n

3. (an ) /an = 2n es creciente y no acotada

 
1
4. (an ) /an = sen
no es montona y es acotada
n

54

El nmero e

Dada la sucesin de trmino general an =

1
1+
n

n
se verifica que :

1. (an ) est acotada . En particular 2 an < 3 para todo n N

2. (an ) es estrictamente creciente
Luego, por el teorema anterior la sucesin tiene lmite finito y se lo llama nmero e, siendo su valor
aproximado 2, 718 . O sea :

n
1
lm 1 +
=e
n
n

En general, si lm an = y an 6= 0 n N se tiene que lm
n

5.5.

1
1+
an

an
=e

Subsucesiones

Dada una sucesin de nmeros reales (an ), se llama subsucesin de (an ) a toda sucesin de la
forma :
(an1 , an2 , an3 , , ank , )
donde n1 < n2 < n3 < < nk < . A tal subsucesin se de la denota (ank )kN o (ank ) .
1
, entonces sus elementos son
n


1 1 1 1 1
1, , , , , ,
2 3 4 5 6

Por ejemplo, si (an ) es la sucesin dada por an =

Algunas de sus subsuciones son :


1 1 1
, , , siendo ank = a2k
2 4 6


1 1
1, , , siendo ank = a2k1
3 5


Vale la siguiente propiedad

Teorema
Una sucesin de nmeros reales es convergente si y slo si toda subsucesin de la misma tambin
es convergente y converge al mismo lmite. En smbolos :
lm an = l (ank ) : lm ank = l

Luego, si una sucesin tiene al menos dos subsucesiones que convergen a lmites distintos, entonces
la sucesin no tiene lmite. Por ejemplo, si (an ) es la sucesin dada por an = (1)n entonces
55

la subsucesin de ndice par, es decir, a2k es constantemente igual a 1 pues a2k = (1)2k = 1,
luego
lm a2k = lm 1 = 1
k

la subsucesin de ndice impar, es decir, a2k1 es constantemente igual a 1 pues a2k1 =

(1)2k1 = 1 , luego
lm a2k1 = lm 1 = 1
k

resulta entonces que la sucesin (1)n no tiene lmite, o sea, no converge.

5.6.

Propiedades de los lmites de sucesiones

Se presentan las mismas indeterminaciones que en el clculo de lmites de funciones de variable

real.
1. El lmite de una sucesin es nico
2. Si una sucesin es convergente entonces est acotada.
El recproco es falso. Un contraejemplo puede ser (1)n .
3. Sea (an ) una sucesin y k R . Se verifica que :
a) Si lm an = l entonces lm | an |=| l |
n

b) Si lm an = l y an > 0 n N entonces lm
n

an = l

c) Si lm an = l < k entonces existe n0 N tal que , para todo n n0 es an < k

n

d ) Si lm an = l > k entonces existe n0 N tal que , para todo n n0 es an > k

n

e) Si lm an = l y an > k para todo n n0 entonces l k

n

f ) Si lm an = l y an < k para todo n n0 entonces l k

n

g) Si lm an = l > 0 y an > 0 n N entonces lm ln an = ln l

n

h) Si lm an = 0 y an > 0 n N entonces lm ln an =
n

i ) Si lm an = + entonces lm ln an = +
n

j ) Si lm an = l entonces lm k an = k l si k > 0
n

1
=
n
n an
1
l ) Si lm an = entonces lm
=0
n
n an

m) Si lm an = + entonces lm an = +
k ) Si lm an = 0 entonces lm

4. Sean (an ) y (bn ) dos sucesiones. Se verifica que :

a) Si lm an = l y lm bn = l0 entonces :
n

56

lm (an + bn ) = l + l0

lm

lm (an bn ) = l l0

lm

an
bn


=

l
si l0 6= 0
l0


0
anbn = ll si l > 0

b) Si lm an = 0 y (bn ) est acotada entonces lm an bn = 0

n

c) Si lm an = l 6= 0 y lm bn = entonces lm an bn =
n

d ) Si lm an = lm bn = + ( ) entonces :
n

lm an bn = +

lm (an + bn ) = + ( )

e) Si existe n0 N tal que, para todo n n0 es an bn se verifica que :

1) Si lm an = l y lm bn = l0 entonces l l0
n

2) Si lm an = + entonces lm bn = +
n

3) Si lm bn = entonces lm an =
n

f ) Si lm an = + y lm bn = l > 0 entonces lm abnn = +

n

g) Si lm an = l > 1 y lm bn = + entonces lm abnn = +

n

5. Sean (an ) , (bn ) y (cn ) tres sucesiones. Si se verifica que :

Existe n0 N tal que, para todo n n0 es cn an bn
lm cn = lm bn = l

entonces lm an = l (Teorema de intercalacin o "sandwich")

n

6. Lmites especiales.
Sean r R+ y k R . Se verifica que :
(
0
si 0 < r < 1
a) lm rn =
n
+ si r > 1

b) lm n r = 1 con r > 0
n

c) lm n n = 1
n

k
=0
n nr
e) lm k nr = k 6= 0

d ) lm

Ejemplos :
1. Verificar los siguientes lmites :
57

a) lm 3n = +
n
 n
1
b) lm
=0
n
2

c) lm n 5 = 1

j ) lm (7n3 4n2 + 5n + 1) =
n

(1)n
1
= lm 2
(1)n = 0
2
n n + 1
n n + 1

n
n
l ) lm 2n3 = lm n 2 n3 =1
n
n

m) lm n2 + 2n = +
k ) lm

4
=0
n n3
e) lm 5n2 = +

d ) lm

4n3 + 2n
=2
n 2n3 n

6n 5
2n + 2
) lm
= e3
n
2n + 1
n) lm

f ) lm 3n4 =
n



5
n
g) lm
+ 2 =0+1=1
n
n2

n
7
1
h) lm 3 = lm 3 n 7 = 0 1 = 0
n n
n n

n
i ) lm ln 3 = ln 1 = 0

2n
=0
n n!

1
p) lm
n2 + n 2 n =
n
2
o) lm

2. Sabiendo que 2

5.7.

9
3
7 2an 1 + n 4 n N se obtiene lm an =
n
n
2

Series Numricas

Sea (an ) una sucesin de nmeros reales .

Llamaremos sucesin de sumas parciales correspondientes a la sucesin (an ) a la sucesin (Sn )
definida por :
S 1 = a1
S 2 = a1 + a2
S 3 = a1 + a2 + a3

Sn = a1 + a2 + + an =

n
X

ak

k=1

Se llama serie asociada a la sucesin (an ) a la sucesin (Sn ) .

Tal serie se denota usualmente como :

an

o simplemente

an

n=1

y se suele escribir

an = a1 + a2 + + an +

n=1

donde an se llama el trmino principal de la serie.

58

Algunas veces resulta conveniente considerar series del tipo

an , es decir, el primer trmino

n=0

comienza con a0 en vez de a1 .

X
Dirememos que una serie
an es convergente si existe y es finito el lmite siguiente lm Sn = S
n

n=1

Al nmero S se lo llama suma de la serie.

Si tal lmite existe pero es infinito se dice que la serie diverge y si no existe oscilante. El carcter
de una serie es la particularidad de ser convergente, divergente u oscilante. Resulta entonces que

lm Sn = S

an es convergente

n=1

an es divergente

lm Sn =
n

n=1

lm Sn no existe

an es oscilante

n=1

Teorema (Condicin necesaria de convergencia)

X
an es convergente entonces lm an = 0 . El recproco es falso.
Si
n

n=1

Luego, si lm an 6= 0 entonces
n

an no converge .

n=1

Ejemplo

X
2n
2n
La serie
no converge pues lm
= 2 6= 0
n n + 1
n
+
1
n=0
Para las series convergentes valen las siguientes propiedades :

X
X
bn son dos series convergentes y k R entonces :
an y
Si
n=1

n=1

k an es convergente y

n=1

k an = k

n=1

(an + bn ) es convergente y

n=1

an

n=1

(an + bn ) =

n=1

X
n=1

an +

bn

n=1

Ejemplos



1
1
1
En este caso Sn = 1
y lm Sn = lm 1
=1
1.
n
n
n(n
+
1)
n
+
1
n
+
1
n=1

X
1
Luego, la serie
es convergente con suma igual a 1.
n(n
+
1)
n=1
59

2.

2 En este caso Sn = 2n y lm Sn = lm 2n = +
n

n=1

Luego, la serie

2 es divergente.

n=1

3.

(1)n En este caso Sn = 0 si n es par y Sn = 1 si n es impar.

n=0

No existe lm Sn con lo cual la serie

n

5.8.

(1)n es oscilante .

n=0

Series Particulares

1. Serie Geomtrica

a rn = a + a r + a r2 + + a rn + con a R {0} y r R

n=0

Se verifica que :
a) si | r |< 1 entonces la serie es convergente y su suma vale S =
Se escribe

X
n=0

a rn =

1r

a
1r

b) si r 1 la serie divergente
c) si r 1 la serie es oscilante
Ejemplos

X
5
En este caso a = 5 y r = 1/2 , luego la serie converge con suma S = 10
a)
2n
n=0

b)

3 5n En este caso a = 3 y r = 5 , luego la serie diverge

n=0

c)

6 (1)n En este caso a = 6 y r = 1 , luego la serie oscila

n=0

2. Serie p o armnica generalizada

X
1
np
n=1

Se verifica que :
a) si p > 1 la serie es convergente

60

b) si p 1 la serie es divergente

X
1
se llama serie armnica.
En particular, la serie
n
n=1
Ejemplos

X
1
a) La serie
converge pues es una serie p con p = 3 > 1 .
n3
n=0

X
1
diverge pues es una serie p con p = 1/2 1 .
b) La serie
n
n=0

5.9.

Serie de trminos positivos

Son las series para las cuales an > 0 n N . En tal caso (Sn ) es una sucesin creciente, con lo se
verifica que :
si (Sn ) est acotada entonces

an converge

n=1

si (Sn ) est no est acotada entonces

an diverge a +

n=1

Para este tipo de series existen criterios para decidir su carcter

X
X
Sean
an y
bn dos series de trminos positivos. Se verifica que :
n=1

n=1

1. Criterios generales de comparacin

a) Criterio de la mayorante
Si existe un n0 N tal que si n n0 entonces an bn se cumple que :

X
X
si
an diverge , entonces
bn diverge
n=1

si

n=1

bn converge , entonces

n=1

an converge

n=1

b) Criterio del cociente

X
X
an
si lm
= l , 0 < l < + entonces
an y
bn tienen el mismo carcter
n bn
n=1
n=1

X
X
an
si lm
= l < + y
bn converge entonces
an converge
n bn
n=1
n=1

X
X
an
si lm
=l>0y
bn diverge entonces
an diverge
n bn
n=1
n=1

61

2. Criterios automticos de convergencia

a) Criterio de DAlambert

lm

an+1
an

l
<
1

an converge

n=1

X
=l

l>1
an diverge

n=1

l = 1 el criterio no d informacin

b) Criterio de la raz o de Cauchy

l<1
an converge

n=1

X
lm n an = l
n

an diverge
l > 1

n=1

l = 1 el criterio no d informacin
c) Criterio de Raabe


lm n

an+1
an

l>1
an converge

n=1

X
1 =l

an diverge
l
<
1

n=1

l = 1 el criterio no d informacin

d ) Criterio de la integral

X
Si
an es una serie de trminos positivos que verifica :
n=1

(an ) es una sucesin decreciente

f : (1, +) R es una funcin montona decreciente tal que f (n) = an n N
entonces

X
n=1

an y

f (x) dx tienen el mismo carcter

1

Ejemplos
1. La serie

X
n=0

X
1
1
converge
(comparar
con
la
serie
p
dada
por
)
2
n2 + 1
n
n=0

X
X
5n + 3
1
2. La serie
diverge (aplicar criterio del cociente con
)
2
2n + 1
n
n=0
n=1

62


X
n
3. La serie
converge (aplicar el criterio de DAlambert)
6n
n=0

X
1
4. La serie
converge (aplicar el criterio de Cauchy)
nn
n=0

X
n1
diverge (aplicar el criterio de Raabe)
5. La serie
2n2 + 1
n=1

X
1
6. La serie
diverge (aplicar el criterio de la integral)
n
n=0

5.10.

Series Alternadas

Sea (an ) una sucesin de nmeros reales no negativos , o sea, an 0 n N

X
(1)n+1 an , es decir :
Llamaremos serie alternada a la serie definida por
n=1

(1)n+1 an = a1 a2 + a3 a4 + + (1)n+1 an +

n=1

Para estas series vale la siguiente propiedad

Teorema de Leibniz
Si en una serie alternada

(1)n an se verifica que :

n=1

(an ) es una sucesin decreciente , o sea, an+1 an 0 n N

lm an = 0

n+

entonces :
1. la serie

(1)n an es convergente

n=1

2. | Sn S |< an+1 siendo S la suma de la serie

Ejemplos
1. La serie

X
(1)n+1
n=0

3n + 2

es convergente pues verifica las hiptesis del teorema

 n
3
2. La serie
(1)
no verifica las hiptesis del teorema de Leibniz.
2
n=0
3
Es divergente pues se trata de una serie geomtrica de razn r =
2
n

63

5.11.

Convergencia absoluta y condicional

Dada una serie

an de trminos cualesquiera se dice que es :

n=1

absolutamente convergente si

| an | es convergente

n=1

condicionalmente convergente si

an es convergente pero

n=1

| an | es divergente

n=1

Teorema

X
Sea
an una series de trminos cualesquiera. Se verifica que :
n=1

1. si

an es absolutamente convergente entonces la serie

n=1

n=1

X
 X


2. si
an no es oscilante entonces 
an  <
| an |


n=1
n=1
n=1

Ejemplos
1. La serie

X
(1)n
n=0

2. La serie

n+1

es condicionalmente convergente

X
(1)n+1
n=0

5n

es absolutamente convergente

64

an es convergente

65

6.
6.1.

SERIES DE POTENCIAS
Concepto de serie de potencias

Sea (an ) una sucesin cualquiera de nmeros reales, x R una variable y x0 R fijo.
Llamaremos serie de potencias centrada en x0 a la serie dada por :

an (x x0 )n = a0 + a1 (x x0 ) + a2 (x x0 )2 + + an (x x0 )n +

n=0

Como caso particular tenemos la serie de potencias centrada en el origen, es decir, x0 = 0 :

an xn = a0 + a1 x + a2 x2 + + an xn +

n=0

Teorema
Para cada serie de potencias

an (x x0 )n existe un r 0 (r puede ser + ), llamado radio

n=0

de convergencia tal que :

1. si | x x0 |< r entonces

an (x x0 )n es absolutamente convergente

n=0

2. si | x x0 |> r entonces

an (x x0 )n no es convergente

n=0

3. si | x x0 |= r entonces

an (x x0 )n puede o no ser convergente

n=0

1
siendo :
l


p
 an+1 
 bien l = lm n | an |
l = lm 
n
n
an 

4. el radio de convergencia r es r =

Si l = 0 se toma r = + y decimos que la serie converge en R , y si l = + se toma r = 0

y la serie solamente converge para x = x0 .
Se llama intervalo o campo de convergencia al intervalo real donde la serie converge .
Para hallar el intervalo de convergencia siempre se debe analizar en los extremos del mismo, o sea,
en x = x0 r y x = x0 + r . Luego, el intervalo de convergencia Ic ser alguno de los siguientes
conjuntos
(x0 r, x0 + r) , [x0 r, x0 + r] , [x0 r, x0 + r) , (x0 r, x0 + r] , R , {x0 }

66

Ejemplos
Hallar el intervalo de convergencia de las siguientes series :
1.

X
n=0

2.

X
xn
n=0

3.

n!

Rta.: [4, 2]

(n + 1)2

X
(1)n1
n=1

Rta.: [2, 2)

Rta.: R

X
(x + 3)n
n=0

4.

xn
(n + 1) 2n

2n + 1

x2n1

Rta.: [1, 1]

Dada una serie de potencias

an (x x0 )n , se llama suma de la serie de potencias a la

n=0

funcin definida por

f : Ic R / f (x) =

an (x x0 )n

n=0

La funcin suma tiene las siguientes propiedades :

es continua en Ic
se puede integrar trmino a trmino en cada intervalo [x0 , x] Ic
tiene derivada de cualquier orden en Ic , que se obtiene derivando trmino a trmino a la
serie. Se comprueba que f (n) (x0 ) = n! an para todo n N , con lo cual la funcin suma est
representada por la serie de potencias
f : Ic R / f (x) =

Si dos series de potencias

an (x x0 ) y

n=0

X
f (n) (x0 )
(x x0 )n
n!
n=0

bn (x x0 )n tienen la misma suma, para todo

n=0

x Ic , entonces las dos series son iguales, es decir, an = bn para todo n N .

6.2.

Serie de Taylor y Mac Laurin

Diremos que una funcin f : A R admite un desarrollo en serie de potencias de x x0 si existe

X
una serie de potencias
an (x x0 )n tal que
n=0

f (x) =

an (x x0 )n x A

n=0

67

Sean I un intervalo abierto, f : I R una funcin con derivada de cualquier orden en I y x0 I

Se llama serie de Taylor asociada a f y centrada en x0 a la serie

X
f (n) (x0 )
(x x0 )n
n!
n=0
La condicin necesaria y suficiente para que f sea igual a la serie de Taylor asociada a f , es decir,
para que se cumpla la igualdad

X
f (n) (x0 )
f (x) =
(x x0 )n para todo x I
n!
n=0
f (n+1) ()
(x x0 )n+1 el trmino
n
(n + 1)!
complementario de Taylor, con entre x0 y x o bien entre x y x0 .

es que se cumpla la condicin lm Rn (x) = 0 , siendo Rn (x) =

Ejemplos

1. Hallar el desarrollo en serie de potencias centradas en 0 (serie de Mac Laurin) de f (x) = ex

y f (x) = sen x

X
X
1 n
(1)n 2n+1
Rta : a) ex =
x para x R b) sen x =
x
para x R
n!
(2n
+
1)!
n=0
n=0
2. Usando el desarrollo en serie de potencias de
1
= 1 + x + x2 + + xn + para x (1, 1)
1x
comprobar los siguientes desarrollos :
f (x) =

X
1
(1)n xn para | x |< 1 ( sustituir x por x )
=
a)
1 + x n=0

X
1
b)
(1)n x2n para | x |< 1 ( sustituir x por x2 en 1. )
=
1 + x2
n=0

X
(1)n+1 n
c) ln(x + 1) =
x para | x |< 1 ( integrar 1. )
n
n=1

X
(1)n 2n+1
d ) arctan x =
x
para x [1, 1] (integrar 2. )
2n + 1
n=0

Referencias
[1] Curso de Anlisis Matemtico - Elon Lages Lima - Ed. Edunsa
[2] Clculo Diferencial e Integral - Ricardo J. Noriega - Ed. Docencia S.A.
[3] Calculus - Michael Spivak - Ed. Revert S.A.
[4] Clculo Infinitesimal de una Variable - Juan de Burgos - Ed. Mac Graw Hill
68

Propiedades del lmite de funciones

En todo lo que sigue a = x0 R o bien a = . Con E 0 (a) representamos un entorno reducido
de a , es decir :
si a = x0 R entonces E 0 (x0 ) = (x0 , x0 ) (x0 , x0 + ) para algn > 0
si a = + entonces E 0 (+) = (h, +) para algn h R
si a = entonces E 0 () = (, h) para algn h R
Sean f , g y h funciones definidas al menos en un entorno reducido de a .
1. Si se verifica que existe lm f (x) = l R entonces :
xa

a) l es nico .
b) Existe un entorno reducido de a donde f est acotada .
c) Si l < k entonces existe un E 0 (a) tal que f (x) < k para todo x E 0 (a) .
Vale la propiedad anloga cambiando < por > .
d ) Si existe un E 0 (a) tal que f (x) < k para todo x E 0 (a) entonces l k .
Vale la propiedad anloga cambiando < por > y por .
e) lm k f (x) = k lm f (x) = l = k l
xa

xa

f ) lm | f (x) |=| lm f (x) |=| l |

xa
xa

n
n
g) lm (f (x)) = lm f (x) = ln
xa
xa


h) lm ln (f (x)) = ln lm f (x) = ln(l) si l > 0
xa
xa
q
p

n
i ) lm f (x) = n lm f (x) = n l con l > 0 si n es par
xa

xa

lm f (x)
j ) lm k f (x) = k xa
= k l si k > 0
xa

2. Se verifica que :
1
=0
xa f (x)

lm f (x) = si y slo si lm

xa

3. Si se verifica que existe lm f (x) = + entonces :

xa

b) lm ef (x) = +

a) lm ln (f (x)) = +
xa

xa

69

4. Si se verifica que lm f (x) = l y lm g(x) = l0 con l,l0 R entonces :

xa

xa

a) lm [f (x) + g(x)] = lm f (x) + lm g(x) = l + l0

xa

xa

xa

b) lm [f (x) g(x)] = lm f (x) lm g(x) = l l0

xa

xa

xa

lm f (x)
f (x)
l
xa
c) lm
=
= 0 si l0 6= 0
xa g(x)
lm g(x)
l
xa


 lm g(x)
0
d ) lm [f (x)]g(x) = lm f (x) xa
= ll si l > 0
xa

xa

e) Si l < l entonces existe un E 0 (a) tal que f (x) < g(x) para todo x E 0 (a)
Vale la propiedad anloga cambiando < por > .
f ) Si existe un E 0 (a) tal que f (x) < g(x) para todo x E 0 (a) entonces l l0
Vale la propiedad anloga cambiando < por >y por .
5. Si se verifica que lm f (x) = 0 y g est acotada en un E 0 (a) entonces :
xa

lm f (x) g(x) = 0

xa

6. Si se verifica que lm f (x) = y g est acotada en un E 0 (a) entonces :

xa

lm [f (x) + g(x)] =

xa

7. Si se verifica que lm f (x) = y lm g(x) = l entonces :

xa

xa

a) lm [f (x) + g(x)] =

b) lm [f (x) g(x)] = si l 6= 0

xa

xa

8. Si se verifica que lm f (x) = lm g(x) = + ( ) entonces :

xa

xa

a) lm [f (x) + g(x)] = + ( )

b) lm [f (x) g(x)] = +

xa

xa

9. Si se verifica que lm f (x) = + y lm g(x) = l > 0 entonces :

xa

xa

lm [g(x)]f (x) =

xa

+ si l > 1

si 0 < l < 1

10. Si se verifica que f (x) g(x) para todo x E 0 (a) entonces :

a) lm f (x) = + lm g(x) = +
xa

xa

b) lm g(x) = lm f (x) =
xa

xa

70

f (x)
= l (0, +) entonces :
xa g(x)

11. Si se verifica que g(x) 6= 0 para todo x E 0 (a) y lm

lm f (x) = lm g(x) =

xa

xa

12. Si se verifica que :

h(x) f (x) g(x) para todo x E 0 (a)
lm h(x) = lm g(x) = l

xa

xa

entonces
lm f (x) = l (propiedad de intercalacin)

xa

71