Limite Continui Derivada y Aplicaciones

http://matematica.50webs.com/continuidad.
ht
ml
Lmite finito
Intervalo cerrado: Es Un segmento en el eje numrico con extremos a y b, con a < b, se
denomina intervalo. Si los puntos extremos, a y b, estn incluidos en el intervalo, se dice que el
intervalo es cerrado, y se denota por [a,b].
[a,b] = { x perteneciente a R / a <= x <= b }
El intervalo cerrado [a,b] consiste de los puntos x para los
cuales a <= x <= b.
Intervalo abierto: Si los puntos extremos se excluyen, el intervalo se llama abierto, y se denota
por (a,b).
(a,b) = { x perteneciente a R / a < x < b }
El intervalo abierto (a,b) consiste de aquellos puntos x para
los cuales a < x < b.
Entorno del punto a de radio : Es el intervalo abierto (a - ,a + ), esto es, consiste de los
valores x para los cuales a - < x < a + .
Ea, = { x perteneciente a R / |x - a| < }
Son los puntos x cuya distancia al punto a es menor que .
Entorno reducido de a de radio : No incluye al punto a.

E*a, = { x perteneciente a R / 0 < |x - a| < }
Son los puntos x cuya distancia al punto a es menor que
pero mayor que 0, es decir, no se incluye a a.
El concepto de Lmite :
Consideremos la funcin f(x)=x2. Observemos los valores de f(x) para x cercanos a 3.
f(x)
2,8
7,84
2,9
8,41
2,95
8,7025
2,99
8,9401
2,999
8,994001
3,001
9,006001
3,01
9,0601
3,05
9,3025
Cuando x se aproxima a 3, los valores de f(x) se acercan a 9. Se dice que f(x) tiende a 9 cuando x
tiende a 3.
En general, una funcin f(x) tiende a un lmite b cuando x tiende a a, si f(x) difiere arbitrariamente
poco de b para todo x situado suficientemente cerca de a.
En smbolos, limx->af(x)=b.
Lmite finito de una funcin :
limx->a f(x)=b <=>
para todo >0 existe >0 / para todo x, 0 < |x-a| < |f(x) - b| < .
Se dice que la funcin f(x) tiene lmite b, cuando x tiende a a, si dado positivo arbitrario y tan
pequeo como se quiera, existe un tal que para todo x perteneciente al entorno reducido de a de
radio , la funcin pertenece al entorno de b de radio .
Dicho de otro modo, para cualquier nmero positivo , por pequeo que sea, podemos encontrar
un tal que para todos los x dentro del entorno reducido de a de radio se cumple que f(x) est
dentro del entorno de b de radio .
limx->af(x)=b significa que por ms pequeo que sea el entorno considerado alrededor de b, va a ser
posible encontrar un entorno de a, para cuyos valores x (x a), la funcin f da como resultado
valores que estn dentro del entorno de b considerado.
Notar que la definicin dice entorno reducido de a. Es decir que f(a) puede no existir, o puede estar
fuera del entorno de b, pero el lmite de f cuando x tiende a a sigue siendo b.
f(a) b, pero limx->af(x)=b
Teoremas sobre lmites

Teorema :Unicidad del lmite de una funcin
Si una funcin tiene lmite es nico.
H) Existe limx->af(x)=b
T) b es nico
Demostracin
La demostracin se hace por reduccin al absurdo. Suponemos que f(x) tiene dos lmites distintos
b y c, cuando x tiende a a. Suponemos que b > c.
limx->af(x)=b => (por def. de lmite) para todo Eb, existe un E*a,1 / para todo x perteneciente al E*a,1
f(x) pertenece al Eb,.
limx->af(x)=c => (por def. de lmite) para todo Ec, existe un E*a,2 / para todo x perteneciente al E*a,2
f(x) pertenece al Ec,.
Consideremos un tal que Eb, Ec, = .
Queremos que c+ < b- => < (b - c)/2

Sea = min {1,2}. Para todo x perteneciente al E *a, se cumple
f(x) pertenece a Eb,
f(x) pertenece a Ec,
Absurdo, pues f(x) no puede pertenecer a dos entornos disjuntos.

Absurdo de suponer b c. Por lo tanto b = c.
Definicin :
Lmites laterales
Lmite de f(x) en el punto a por la derecha :

limx->a+f(x)=b <=> para todo > 0 existe > 0 / para todo x perteneciente a (a,a + ) |f(x) - b| < .
Lmite de f(x) en el punto a por la izquierda :
limx->a-f(x)=b <=> para todo > 0 existe > 0 / para todo x perteneciente a (a - ,a) |f(x) - b| < .
Nota: x->a+ indica que x tiende a a por la derecha, es decir que x pertenece al entorno (a,a + ).
x->a- indica que x tiende a a por la izquierda, es decir que x pertenece al entorno (a - ,a).
A veces las funciones son discontinuas o no estn definidas en un punto a, pero son continuas a
uno y otro lado. En estos casos, el lmite por la izquierda puede ser distinto del lmite por la
derecha.
Ejemplo:
f(x) = x2 si x <= 2
-2x + 1 si x > 2
limx->2-f(x)=4
limx->2+f(x)=-3
No existe limx->2f(x)
Teorema: Limites laterales

Existe el lmite finito de una funcin <=> los lmites laterales son iguales.
H) limx->af(x)=b
T) limx->a+f(x) = limx->a-f(x) = b
Demostracin: Directo:
limx->af(x)=b => (por def. de lmite) para todo > 0 existe > 0 / para todo x perteneciente al E *a, f(x)
pertenece al Eb,.
=> para todo > 0 existe > 0 / para todo x perteneciente a (a - ,a) f(x) pertenece al E b, => (por
def. de lmites laterales) limx->a-f(x)=b.
y para todo > 0 existe > 0 / para todo x perteneciente a (a,a + ) f(x) pertenece al E b, => (por
def. de lmites laterales) limx->a+f(x)=b.
Recproco:
limx->a+f(x)=b => (por def. de lmites laterales) para todo > 0 existe 1 > 0 / para todo x
perteneciente a (a,a + 1) f(x) pertenece al Eb,.
limx->a-f(x)=b => (por def. de lmites laterales) para todo > 0 existe 2 > 0 / para todo x
perteneciente a (a - 2,a) f(x) pertenece al Eb,.
Sea = min {1,2}. Para todo x perteneciente a E *a, f(x) pertenece al Eb,.
=> (por def. de lmite) limx->af(x) = b.

Ejemplo: en la funcin del ejemplo anterior, no existe lim x->2f(x), pues limx->2-f(x) limx->2+f(x).
Teorema : Conservacin del signo

Para valores de x suficientemente prximos al valor de tendencia, la funcin tiene el mismo signo
que su lmite.
H) limx->af(x)=b > 0
T) Existe > 0 / para todo x perteneciente al E *a, f(x) > 0
Demostracin:
limx->af(x)=b => (por def. de lmite) para todo > 0 existe > 0 / para todo x perteneciente al E *a, f(x)
pertenece al Eb,.
Es decir, b - < f(x) 0 f(x) > 0.

As, basta considerar un menor que b, para tener un entorno de a donde f(x) es mayor que 0.
Nota: El teorema tambin se cumple para valores negativos.

Si la funcin tiene distinto signo en la mitad izquierda del entorno de a que en la mitad derecha,
entonces su lmite en a vale 0.
Teorema de la funcin comprendida

Si una funcin est comprendida entre otras dos que tienen igual lmite cuando x tiende a a,
entonces tiene el mismo lmite.
H) limx->af(x) = limx->ag(x) = b
Existe 1 > 0 / para todo x perteneciente al E*a,1 : f(x) <= h(x) <= g(x)
T) limx->ah(x)=b
Demostracin:
limx->af(x)=b => (por def. de lmite) para todo > 0 existe 2 > 0 / para todo x perteneciente al E *a,2 b
- < f(x) ag(x)=b => (por def. de lmite) para todo > 0 existe 3 > 0 / para todo x perteneciente al E *a,3
b - < g(x) (por def. de lmite) limx->ah(x) = b.
Teorema de la acotacin
Si una funcin tiene lmite finito cuando x tiende a a, entonces est acotada en un entorno reducido
de a.
H) limx->af(x)=b
T) Existe > 0 y existen h y k reales / para todo x perteneciente al E *a, h < f(x) < k
Demostracin.
limx->af(x)=b => (por def. de lmite) para todo > 0 existe > 0 / para todo x perteneciente al E *a,
b - < f(x) 0 y existen h y k reales positivos / para todo x perteneciente al E *a,
h < |f(x)| < k.
Lmite infinito
2
Observemos la funcin f(x)=1/x para valores de x positivos muy grandes.

x
f(x)
100
1,0x10-4
1.000
1,0x10-6
10.000
1,0x10-8
100.000
1,0x10-10
1.000.000
1,0x10-12
Si tomamos x cada vez mayor, f(x) est cada vez ms cerca de 0. Si x es suficientemente grande
podemos conseguir que f(x) se acerque a 0 tanto como queramos. Decimos que f(x) tiende a 0
cuando x tiende a infinito.
Veamos a continuacin las definiciones precisas de cada uno de los lmites que involucran al
infinito.
Lmite infinito:
Caso 1:
limx->af(x) = +inf <=> para todo A > 0 existe > 0 / para todo x perteneciente al E *a,
f(x) > A.
En otras palabras, si para cualquier nmero positivo A que consideremos, existe un entorno
reducido de a donde la funcin vale ms que A, quiere decir que f(x) puede hacerse mayor que
cualquier nmero, con tal de que x se acerque lo suficiente a a. Por eso se dice que el lmite de f(x)
cuando x tiende a a es +inf.
Caso 2:
limx->af(x) = -inf <=> para todo A > 0 existe > 0 / para todo x perteneciente al E *a,
f(x) < -A.
Caso 3: limx->+inff(x) = +inf <=> para todo A > 0 existe B > 0 / para todo x > B f(x) > A.
Para cualquier nmero positivo A (por grande que sea), es posible encontrar un nmero positivo B
tal que para todos los x mayores que B, f(x) es mayor que A. Es decir que f(x) puede ser mayor que
cualquier nmero, si x es lo suficientemente grande.
Caso 4:
limx->+inff(x) = -inf <=> para todo A > 0 existe B > 0 / para todo x > B f(x) < -A.
Caso 5: limx->-inff(x) = +inf <=> para todo A > 0 existe B > 0 / para todo x < -B f(x) > A.
Caso 6: limx->-inff(x) = -inf <=> para todo A > 0 existe B > 0 / para todo x < -B f(x) < -A.
Caso 7: limx->+inff(x) = b <=> para todo > 0 existe B > 0 / para todo x > B f(x) pertenece a E b,.
Caso 8: limx->-inff(x) = b <=> para todo > 0 existe B > 0 / para todo x < -B f(x) pertenece al
Eb,.
Operaciones con lmites

Teorema : Lmite de la suma
El lmite de una suma es igual a la suma de los lmites de cada trmino, siempre que estos lmites
sean finitos.
H) limx->af(x)=b, limx->ag(x)=c
T) limx->af(x) + g(x) = b + c
Demostracin:
Queremos probar que, dado > 0, existe > 0 tal que para todo x perteneciente al E *a, |(f(x) + g(x))
- (b+c)| < . Sea ' = /2
limx->af(x)=b => (por def. de lmite) para todo ' > 0 existe 1 > 0 / para todo x perteneciente al E *a,1 |
f(x) - b| < '.
limx->ag(x)=c => (por def. de lmite) para todo ' > 0 existe 2 > 0 / para todo x perteneciente al E *a,2
|g(x) - c| < '.
Sea = min {1,2}. Para todo x perteneciente al E *a, se cumple:
|f(x) - b| < ' y |g(x) - c| < '
=> |f(x) - b| + |g(x) - c| < 2' =
|(f(x) + g(x)) - (b+c)| = |(f(x) - b) + (g(x) - c)| <= (*) |f(x) - b| + |g(x) - c| <
(*) Desigualdad triangular: |a + b| <= |a| + |b|
=> (por def. de lmite) limx->af(x) + g(x) = b + c
Ejemplo:
limx->2 x2 = 4 ; limx->2 x = 2 ; limx->2 x2 + x = 6
Teorema
H) limx->af(x) = b, limx->ag(x) = +inf
T) limx->af(x) + g(x) = +inf
Demostracin:
limx->af(x)=b => (por def. de lmite) para todo Eb, existe un E*a,1 / para todo x perteneciente al E*a,1 b
- < f(x) ag(x)= +inf => (por def. de lmite infinito) para todo A > 0 existe un E*a,2 / para todo x
perteneciente al E*a,2 g(x) > A.
Sea = min {1,2}. Para todo x perteneciente al E *a, se cumple:
f(x) > b -
y g(x) > A
=> f(x) + g(x) > A + b - = K
=> (por def. de lmite infinito) limx->a f(x) + g(x) = +inf.
Teorema
H) limx->af(x) = b, limx->ag(x) = -inf
T) limx->af(x) + g(x) = -inf
Demostracin: Anloga a la anterior.
Teorema
H) limx->af(x) = +inf, limx->ag(x) = +inf
T) limx->af(x) + g(x) = +inf
Demostracin:
Sea A > 0. Consideremos A/2.
Por def. de lmite infinito, existe 1 > 0 / para todo x perteneciente al E *a,1 f(x) > A/2
Por def. de lmite infinito, existe 2 > 0 / para todo x perteneciente al E *a,2 g(x) > A/2
Sea = min {1,2}
Para todo x perteneciente al E*a, f(x) + g(x) > A
=> (por def. de lmite infinito) limx->af(x) + g(x) = +inf.
Teorema
H) limx->af(x) = -inf, limx->ag(x) = -inf
T) limx->af(x) + g(x) = -inf
Demostracin: Anloga a la anterior.
Cuando limx->af(x) = -inf y
limx->ag(x) = +inf,
que es INDETERMINADO de la forma inf - inf.
el limx->af(x) + g(x) no puede determinarse, se dice
Teorema : Lmite del producto

H) limx->af(x) = b, limx->ag(x) = c
T) limx->af(x).g(x) = b.c
Demostracin:
Debemos probar que, dado > 0, existe > 0 / para todo x perteneciente al E *a, |f(x).g(x) - b.c| < .
limx->af(x) = b => (por def. de lmite) para todo Eb,1 existe E*a,1 / para todo x perteneciente al E*a,1
f(x) pertenece al Eb,1.
limx->ag(x) = c => (por def. de lmite) para todo Ec,2 existe E*a,2 / para todo x perteneciente al E*a,2
f(x) pertenece al Ec,2.
limx->af(x) = b => (por teo. de la acotacin) existe 3 > 0 y k > 0 / para todo x perteneciente al E *a,3 |
f(x)| < k.
Sea 1 = /2|c| , 2 = / 2k
|f(x) - b| < /2|c|
|g(x) - c| < / 2k
=> |c||f(x) - b| < /2 . (1)

=> k|g(x) - c| < / 2
(2)
|f(x)| < k => (de 2) |f(x)||g(x) - c| < /2 (3)

Sea = min {1,2}. De 1) y 3): para todo x perteneciente al E *a,
|c||f(x) - b| + |f(x)||g(x) - c| <
|f(x)g(x) - bc| = |f(x)g(x) - bc + f(x)c - f(x)c| =
|c(f(x) - b) + f(x)(g(x) - c)| <= (*) |c||f(x) - b| + |f(x)||g(x) - c| <
(*) Desigualdad triangular: |a + b| <= |a| + |b|
=> |f(x)g(x) - bc| <
Ejemplo:
=> (por def. de lmite) limx->af(x)g(x) = bc
limx->2 x = 2 ; limx->2 ex = e2 ; limx->2 xex = 2e2
Teorema
H) limx->af(x) = b, limx->ag(x) = inf
T) limx->af(x)g(x) = inf (inf denota el infinito, positivo o negativo)
Caso 1:
H) limx->af(x) = b > 0, limx->ag(x) = +inf
T) limx->af(x)g(x) = +inf
Caso 2:
H) limx->af(x) = b > 0, limx->ag(x) = -inf
T) limx->af(x)g(x) = -inf
Caso 3:
H) limx->af(x) = b < 0, limx->ag(x) = +inf
T) limx->af(x)g(x) = -inf
Caso 4:
H) limx->af(x) = b < 0, limx->ag(x) = -inf
Demostracin caso 1:
Quiero probar que para todo B > 0 existe > 0 / para todo x perteneciente al E *a, f(x)g(x) > B.
limx->af(x) = b => (por teo. de la acotacin) existe 1 > 0 y k > 0 / para todo x perteneciente al E *a,1
f(x) > k.
limx->ag(x) = +inf => (por def. de lmite infinito) para todo A > 0 existe 2 > 0 / para todo x
perteneciente al E*a,2 g(x) > A.
Sea = min {1,2}. Para todo x perteneciente al E *a,
f(x) > k
g(x) > A
=> f(x)g(x) > kA > B .
Basta elegir A > B/k.
Los dems casos se demuestran en forma anloga.

Si b = 0 el limx->af(x)g(x) no puede determinarse. Se dice que es una INDETERMINACIN de la
forma 0.inf.
Teorema: Lmite del cociente

H) limx->af(x) = b, limx->ag(x) = c (c distinto de 0)
T) limx->af(x)/g(x) = b/c
Demostracin:
limx->af(x) = b => (por def. de lmite) para todo Eb,1 existe un E*a,1 / para todo x perteneciente al E*a,1
|f(x) - b| < 1.
limx->ag(x) = c => (por def. de lmite) para todo Ec,2 existe un E*a,2 / para todo x perteneciente al
E*a,2 |g(x) - c| < 2.
Quiero probar que limx->af(x)/g(x) = b/c, o sea que para todo Eb/c, existe un E*a, / para todo x
perteneciente al E*a, |f(x)/g(x) - b/c| < .
|f(x)c - g(x)b| |f(x)c - g(x)b - bc + bc|

|f(x)/g(x) - b/c| = --------------- = ------------------------- =
|g(x)c|
|g(x)c|
|c(f(x) - b) + b(c - g(x))| |c||f(x) - b| + |b||c - g(x)|
--------------------------- <= ----------------------------- <
|g(x)c|
(*)
|g(x)c|
(**)
|c||f(x) - b| + |b||c - g(x)| (1)
----------------------------k|c|
(*) Desigualdad triangular: |a + b| <= |a| + |b|.
(**) pues |g(x)|>k por teo. de la acotacin.
Sea 1 = k/2 y 2 = k|c|/2|b|. Para todo x perteneciente al E *a,1
|f(x) - b| < k /2 => |c||f(x) - b| < k|c| /2
(2)
Para todo x perteneciente al E*a,2
|g(x) - c| < k|c| / 2|b| => |b||g(x) - c| < k|c| /2
(3)
Sea = min {1,2}.
De 2) y 3): para todo x perteneciente al E *a,
|c||f(x) - b| + |b||g(x) - c| < k|c|
|c||f(x) - b| + |b||c - g(x)| k|c|
=> |f(x)/g(x) - b/c| < ----------------------------- < ----- =
por 1)
k|c|
k|c|
Ejemplo:
lim ex /(x+2) = 1/2
Otros cocientes
Caso 1:
H) limx->af(x) = b > 0, limx->ag(x) = 0+
T) limx->af(x)/g(x) = +inf (-inf si b < 0)
Lmite 0+ indica que, en un entorno de a, f(x) se aproxima a 0 por la derecha, es decir, 0 < f(x) < .
Caso 2:
H) limx->af(x) = b > 0, limx->ag(x) = 0-
Caso 3:
H) limx->ag(x) = b > 0, limx->ag(x) = +inf
Caso 4: H) limx->af(x) = b > 0, limx->af(x) = -inf
T) limx->af(x)/g(x) = -inf (+inf si b < 0)

T) limx->af(x)/g(x) = 0+ (0- si b < 0)
T) limx->af(x)/g(x) = 0- (0+ si b < 0)
Si limx->af(x) = 0 y limx->ag(x) = 0, limx->af(x)/g(x) no puede determinarse. Se dice que es

INDETERMINADO de la forma 0/0.
Si limx->af(x) = inf y limx->ag(x) = inf, limx->af(x)/g(x) no puede determinarse. Se dice que es
INDETERMINADO de la forma inf/inf.
Lmite exponencial
Caso 1: H) limx->af(x) = b, limx->ag(x) = c (c0)
T) limx->af(x)g(x) = bc
Caso 2: H) limx->af(x) = b, limx->ag(x) = 0
T) limx->af(x)g(x) = 1
Caso 3:
H) limx->af(x) = b, limx->ag(x) = +inf
Caso 4: H) limx->af(x) = b, limx->ag(x) = -inf
T) limx->af(x)g(x) = 0
Si limx->af(x) = 0 y limx->ag(x) = inf, limx->af(x)g(x) no puede determinarse. Se dice que es

INDETERMINADO de la forma 0inf.
Si limx->af(x) = 0 y limx->ag(x) = 0, limx->af(x)g(x) no puede determinarse. Se dice que es
INDETERMINADO de la forma 00.
Si limx->af(x) = inf y limx->ag(x) = 0, limx->af(x)g(x) no puede determinarse. Se dice que es
INDETERMINADO de la forma inf0.
Si limx->af(x) = 1 y limx->ag(x) = inf, limx->af(x)g(x) no puede determinarse. Se dice que es
INDETERMINADO de la forma 1inf.
Teorema
H) limx->a f(x) = 1, limx->a g(x) = inf
T) limx->a f(x)g(x) = ek, k = limf(x)->1, g(x)->inf g(x)(f(x) - 1)
Demostracin:
Sea h(x) = f(x) 1 , lim h(x) = 0 por lmite de la suma ,
f(x) = 1 + h(x)
lim (1 + h(x))g(x) = lim (1 + h(x))g(x).(h(x)/h(x)) =

h(x)->0, g(x)->inf h(x)->0, g(x)->inf
h(x)0
e
-------^------(1)
lim (1 + h(x))1/h(x).g(x).h(x) = elim g(x).h(x) =
h(x)->0, g(x)->inf
h(x)0
lim g(x)(f(x) - 1)
e g(x)->inf, f(x)->1
1) por lmite tipo 2 y lmite exponencial.
Funcin compuesta
Si f es una funcin tal que f:A->B y g es una funcin tal que g:C->D, y B es subconjunto de C (el
dominio de g contiene al rango de f), podemos definir una nueva funcin h:A->D como sigue: para
cada x en A, se aplica f resultando un valor f(x) en B. Luego a este valor f(x) se aplica g,
obtenindose g[f(x)]. Definimos h como la funcin que mapea x en g[f(x)]. Se dice que h es la
composicin de g y f: h(x) = (g o f)(x) = g(f(x))
Teorema:
Lmite de la funcin compuesta
H) limx->af(x)=b, limx->bg(x)=c
T) limx->ag[f(x)]=c
Demostracin:
Queremos demostrar que limx->a g[f(x)]=c, o sea, por definicin de lmite, queremos probar que,
dado >0 existe >0 tal que para todo x perteneciente al E *a, g[f(x)] perteneciente al Ec,.
Por hiptesis limx->bg(x)=c => por def. de lmite, dado >0 existe >0 tal que...
para todo x perteneciente al E*b, g(x) pertenece al Ec, (1)
Por hiptesis limx->af(x) = b => por def. de lmite si tomamos el nmero de (1), existe >0 tal que...
para todo x perteneciente al E*a, f(x) pertenece al Eb, (2)
De (1) y (2) se deduce que:
Dado >0 existe >0 / para todo x perteneciente al E *a, g[f(x)] pertenece al Ec,.
Lmite de un polinomio
Para un polinomio P(x) = anxn + an-1xn-1 + ... + a1x + a0

1) limx->b P(x) = P(b)
Ejemplo: limx->1 x2 + 2x - 1 = 2
2) limx->inf P(x) = limx->inf anxn

limx->inf P(x) = limx->inf anxn + an-1xn-1 + ... + a1x + a0 =
0
0
0
0
--^-- --^---^-- --^-anxn(1 + an-1 + an-2 + ... + a1 + a0 ) = lim anxn
lim
--- ----- --- x->inf
x->inf
anx anx2
anxn-1 anxn
Ejemplo: limx->+inf x2 - 2x - 1 = limx->+inf x2 = +inf
Lmite del cociente de polinomios

A(x) = anxn + an-1xn-1 + ... + a1x + a0
B(x) = bnxn + bn-1xn-1 + ... + b1x + b0
A(x)
lim ---- =
x-> B(x)
A()
1) ----
si B() distinto de 0
B()
2) inf
si B()=0 y A() distinto de 0
3) INDETERMINADO de la forma 0/0
Ejemplo:
2x2 + x + 1 4
lim ----------- = -- = 2
x->1 x2 + 2x - 1 2
x2 + 1
lim ------------ = +inf
x->1 x2 + x - 2
x2 - 1
lim ----------- INDETERMINADO de la forma 0/0
x->1 x2 + x - 2
si B()=0 y A()=0
Cmo resolver la indeterminacin 0/0

B() = 0 => es raz de B(x) => (por teo. de Descartes) (x - ) | B(x)
( (x - ) divide a B(x) ) => existe B1(x) / B(x) = (x - )B1(x)
A() = 0 => es raz de A(x) => (por teo. de Descartes) (x - ) | A(x) => existe A1(x) / A(x) = (x )A1(x)
A(x)
(x - )A1(x) A1()
=> lim ---- = lim ------------ = -----x-> B(x) x-> (x - )B1(x) B1()
Ejemplo
x2 - 1
(x - 1)(x + 1) 2
lim ----------- = lim -------------- = -x->1 x2 + x - 2 x->1 (x - 1)(x + 2) 3
Lmites tipo
1. lim (1 + 1/x)x = e
x->inf
2. lim (1 + x)1/x = e
x->0
L(1 + x)
3. lim -------- = 1
x->0 x
L(1 + x)
1
(*)
por lmite tipo 2
4. lim ------- = lim --L(1 + x) = lim L(1 + x)1/x = lim Le = 1
x->0 x
x->0 x
x->0
x->0
(*) Pues bLa = Lab
ex - 1
5. lim ------- = 1
x->0 x
Cambio de variable: ex - 1 = y
lim y = 0
x->0
ex = 1 + y => Lex = L(1 + y)

xLe = L(1 + y) (pues Lab = bLa)
x = L(1 + y) (pues Le = 1)
y
y
1
lim -- = lim -------- = lim ------- = 1
y->0 x y->0 L(1 + y) y->0 L(1 + y)|
------- |-> 1 por lmite tipo 3
y |
ax - 1
6. lim ------ = La (a perteneciente a R+)
x->0 x
Cambio de variable: ax - 1 = y (limx->0 y = 0)
ax = 1 + y
Lax = L(1 + y)
xLa = L(1 + y)
L(1 + y)
x = -------La
y
y
La
lim -- = lim ------- = lim ------= La
x->0 x y->0 L(1 + y) y->0 L(1 + y)
-------------> 1 por lmite tipo 3
La
y
sen x
7. lim ----- = 1
x->0 x
Consideremos el crculo trigonomtrico (crculo de radio 1).
Si x > 0
x = P (Recordar que el ngulo x se mide por la longitud
sen x = MP del arco AP, independientemente de la unidad
tg x = AT utilizada, que puede ser por ej. grados o radianes).
Si x < 0
x = P'
sen x = MP'
tg x = AT'
MP < AP < AT, o sea, sen x < x < tg x, para x > 0 (1)
MP' > AP' > AT', o sea, sen x > x > tg x, para x < 0 (2)
Dividimos (1) y (2) entre sen x (que es negativo cuando x < 0)
y obtenemos:
x
tg x
1 < ----- < ----sen x sen x
sen x sen x
1 > ----- > ----- = cos x -> 1
x
tg x x->0
sen x
Por teo. de la funcin comprendida lim ----- = 1
x->0 x
tg x
7. lim ---- = 1
x->0 x
tg x
sen x
lim ---- = lim -------- = 1
x->0 x x->0 (cos x)x
sen x
pues lim ----- = 1 por lmite
x->0 x
tipo 6
1 - cos x 1
8. lim ---------- = -x->0 x2
2
cos2x + sen2x = 1 => sen2x = 1 - cos2x (1)
1 - cos x
(1 - cos x)(1 + cos x)
lim --------- = lim ---------------------- =
x->0 x2
x->0 x2(1 + cos x)
1 - cos2x por (1)
sen2x
1
lim ------------- = lim ------------- = -x->0 x2(1 + cos x)
x->0 x2(1 + cos x) 2
sen2x
pues lim ----- = 1 por lmite tipo 6 y lim (1 + cos x) = 2
x->0 x2
x->0
(1 + x)m - 1
9. lim ------------- = 1
x->0
mx
(1 + x)m - 1
(1 + x)(1/x)xm - 1 por lmite tipo 2
lim ------------ = lim ----------------- =
x->0 mx
x->0
mx
emx - 1
lim ------- = 1 por lmite tipo 4
x->0 mx
n ______
\|1 + x - 1 1
10. lim ------------- = --
y lim cos x = 1
x->0
x->0
n _____
\|1 + x - 1
(1 + x)1/n - 1
(1 + x)(1/x)x(1/n) - 1
lim ---------- = lim ------------- = lim -------------------x->0 x
x->0
x
x->0 x
por lmite tipo 2
ex/n - 1
ex/n - 1 1 por lmite tipo 4
= lim -------- = lim -------- = -x->0 x
x->0 (x/n).n n
Infinitsimos
Infinitsimo: f(x) es un infinitsimo en a si limx->af(x) = 0 (a puede ser inf)
Ejemplo: limx->-inf ex = 0 => ex es un infinitsimo para -infinito.
Definicin :
Infinitsimos equivalentes
Se dice que dos infinitsimos f(x) y g(x) son equivalentes si el lim x->af(x)/g(x) = 1
limx->a f(x) = 0, limx->ag(x) = 0
f(x) es equivalente a g(x) <=> limx->af(x)/g(x) = 1
Varios de los lmites tipo son lmites de cocientes de infinitsimos y valen 1. De ah podemos
establecer las siguientes equivalencias:
L(1 + x)
lim -------- = 1 => L(1 + x) equiv x
x->0 x
x->0
Tambin: Lx equiv x - 1 (Se deduce haciendo un cambio de
x->1
variable en la equivalencia 1)
ex - 1
1. lim ------- = 1
x->0 x
=> ex - 1 equiv x
x->0
ax - 1
2. lim ------ = La (a perteneciente a R+) => ax - 1 equiv xLa
x->0 x
x->0
sen x
3. lim ----- = 1
x->0 x
=> sen x equiv x

x->0
tg x
4. lim ---- = 1
x->0 x
=> tg x equiv x
x->0
1 - cos x 1
5. lim ---------- = --
=> 1 - cos x equiv x2/2
x->0
x2
x->0
(1 + x)m - 1
6. lim ------------- = 1 => (1 + x)m - 1 equiv mx
x->0
mx
x->0
n ______
n _____
\|1 + x - 1 1
\|1 + x - 1
7. lim ------------- = -- => lim ------------ = 1
x->0
x
n
x->0 x/n
n _____
=> \|1 + x - 1 equiv x/n
Comparacin de infinitsimos
Sean f(x) y g(x) dos infinitsimos en a.
1. Se dice que f(x) y g(x) tienen el mismo orden si lim x->af(x)/g(x) = k 0
2. Se dice que el orden de f(x) es mayor que el orden de g(x) si lim x->af(x)/g(x) = 0
3. Se dice que el orden de f(x) es menor que el orden de g(x) si lim x->af(x)/g(x) = inf
4. Cuando no existe limx->af(x)/g(x) se dice que los infinitsimos no son comparables.
Teorema
Dos infinitsimos son equivalentes <=> el orden de la diferencia es mayor que el orden de ambos.
H) f(x)x->a--> 0, g(x)x->a--> 0, f(x) equiv g(x) cuando x->a
T) orden(f(x) - g(x)) > orden f(x)
orden(f(x) - g(x)) > orden g(x)
Demostracin:
Directo:
1
1 pues f(x) equiv g(x)
--^-- --^-- x->a
f(x) - g(x)
f(x) g(x)
lim ---------- = lim --- - --- = 0
x->a f(x) x->a f(x) f(x)
=> (por rdenes de infinitsimos) orden (f(x)-g(x)) > orden (f(x))
Anlogamente se prueba que orden (f(x)-g(x)) > orden (g(x)).
Recproco
orden(f(x) - g(x)) > orden (f(x)) => (por rdenes de infinitsimos)
f(x) - g(x)
lim ---------- = 0
x->a f(x)
1
(por def. infinitsimos equivalentes)
--^-|
f(x) g(x)
g(x) |
lim --- - --- = 0 => lim ---- = 1 => f(x) equiv g(x)
x->a f(x) f(x)
x->a f(x)
x->a
Teorema
La suma de dos infinitsimos de distinto orden es equivalente al infinitsimo de menor orden.
H) f(x)x->a--> 0, g(x)x->a--> 0, orden(f(x)) < orden(g(x))
T) f(x) + g(x) equivalente a f(x) cuando x->a.
Demostracin:
1
0 pues orden (f(x)) < orden (g(x))
--^-- --^-f(x) + g(x)
f(x) g(x)
lim ---------- = lim --- + --- = 1
x->a f(x) x->a f(x) f(x)
Generalizacin:
La suma de n infinitsimos es equivalente al infinitsimo de menor orden.
Ejemplo: 7x5 + 4x3 + 2x2 equiv 2x2 cuando x->0
Teorema : Sustitucin de infinitsimos equivalentes

H) limx->a (x).f(x) = b (finito o infinito)
(x)x->a--> 0
Existe (x), (x)x->a--> 0 / (x)x->a equiv (x)
T) limx-a (x).f(x) = b
Demostracin:
pues lim (x)/(x) = 1
| x->a
(x).(x).f(x) |
lim (x).f(x) = lim --------------- = lim (x).f(x) = b
x->a
x->a
(x)
x->a
Teorema :
Sustitucin de infinitsimos equivalentes
H) limx->a f(x)/(x) = b (finito o infinito)

(x)x->a--> 0
Existe (x), (x)x->a--> 0 / (x)x->a equiv (x)
T) limx-a f(x)/(x) = b
Demostracin:
| x->a
f(x)
(x).f(x) | f(x)
lim ---- = lim --------- = lim ---- = b
x->a (x) x->a (x).(x) x->a (x)
Infinitos
Infinito : f(x) es un infinito en a si limx->af(x) = inf
Ejemplo: limx->2 3/(x-2) = inf => 3/(x-2) es un infinito cuando x tiende a 2.
Infinitos fundamentales
1. Infinito logartmico.
limx->+inf Lx = +inf
f(x)=Lx
2. Infinito potencial
limx->+inf xn = +inf
n natural, n0
f(x)=x2
3. Infinito exponencial
limx->+inf ax = +inf
a perteneciente a R+
f(x)=ex
4. Infinito potencial exponencial
limx->+inf xnx = +inf
f(x) = xx, x > 0
n natural, n0
Infinitos equivalentes:
Se dice que dos infinitos f(x) y g(x) son equivalentes si el lim x->af(x)/g(x) = 1
limx->a f(x) = inf, limx->ag(x) = inf
f(x) es equivalente a g(x) <=> limx->af(x)/g(x) = 1
Comparacin de infinitos
Sean f(x) y g(x) dos infinitos en a.
1. Se dice que f(x) y g(x) tienen el mismo orden si lim x->af(x)/g(x) = k 0
2. Se dice que el orden de f(x) es mayor que el orden de g(x) si lim x->af(x)/g(x) = inf
3. Se dice que el orden de f(x) es menor que el orden de g(x) si lim x->af(x)/g(x) = 0
4. Cuando no existe limx->af(x)/g(x) se dice que los infinitos no son comparables.
Teorema
La suma de dos infinitos de distinto orden es equivalente al infinito de mayor orden.
H) f(x)x->a--> inf, g(x)x->a--> inf, orden(f(x)) < orden(g(x))
T) f(x) + g(x) equivalente a g(x) cuando x->a.
Demostracin:
1
0 pues orden (f(x)) < orden (g(x))
--^-- --^-f(x) + g(x)
g(x) f(x)
lim ---------- = lim --- + --- = 1 => f(x) + g(x) equiv g(x)
x->a
g(x)
x->a g(x) g(x)
| x->a
|
por def. de infinitos equivalentes
Comparacin de infinitos fundamentales
orden Lx < orden xn < orden ax < orden xnx (x->+inf)
Ejemplo: limx->+inf Lx/x3= 0 pues orden Lx < orden x3 cuando x->+inf.
Teorema :
Sustitucin de infinitos equivalentes
H) limx->a (x).f(x) = b (finito o infinito)

(x)x->a--> inf
Existe (x), (x)x->a--> inf / (x)x->a equiv (x)
T) limx-a (x).f(x) = b
Demostracin:
| x->a
(x).(x).f(x) |
lim (x).f(x) = lim --------------- = lim (x).f(x) = b
x->a
x->a
Ejemplo :
(x)
(ex + x2) equiv ex por comparacin de
infinitos fundamentales
1 |
x
x->a
lim (e + x ).--- = lim e .--- = lim --- = 0

x->+inf
e2x
x->+inf e2x
Teorema :
x->+inf ex
Sustitucin de infinitos equivalentes
H) limx->a f(x)/(x) = b (finito o infinito)

(x)x->a--> inf
Existe (x), (x)x->a--> inf / (x)x->a equiv (x)
T) limx-a f(x)/(x) = b
Demostracin:
| x->a
f(x)
(x).f(x) |
f(x)
lim ---- = lim --------- = lim ---- = b

x->a (x) x->a (x).(x)
x->a (x)
Clculo de lmites
Polinomios
limx->a P(x) = P(a)
Ejemplo: limx->2 x2 - 3x + 4 = 2
limx->inf P(x) = limx->inf anxn
Ejemplo: limx->+inf -3x3 + x2 - 2x + 1 = limx->+inf -3x3 = -inf
A(x)
lim ---- =
x-> B(x)
A()
1) ---- si B()0
B()
2) inf si B()=0 y A()0
3) INDETERMINADO de la forma 0/0 si B()=0 y A()=0
Ejemplos:
x2 - 1 3
1) lim ------- = -x->2 3x - 4 2
x2 - 1 3
2) lim -------- = -- = +inf
x->2 x - 2 0
-2x2 + 5x - 2 0
3) lim -------------- = -- INDETERMINADO
x->2 3x2 - 2x - 8 0
Para resolverlo, expresamos cada polinomio como un producto y simplificamos los factores
comunes. Para ello, bajamos cada polinomio por Ruffini.
-2x2 + 5x - 2 = (x - 2)(-2x + 1)
x2 - 2x - 8 = (x - 2)(3x + 4)
-2x2 + 5x - 2
(x - 2)(-2x + 1) -3
lim -------------- = lim ---------------- = --x->2 3x2 - 2x - 8 x->2 (x - 2)(3x + 4) 10
A(x)
anxn
lim
---- = lim ---x->inf B(x) x->inf bmxm
Ejemplo:
3x3 + 2x2 - 5
3x3 3
lim -------------- = lim ----- = -x->+inf 2x3 - 8x2
x->+inf 2x3 2
Races de polinomios :
Si el lmite da indeterminado, aplicar el siguiente truco:
____ ____
P(x) - Q(x)
lim \|P(x) - \|Q(x) = lim ---------------____ ____
\|P(x) + \|Q(x))
Se llama expresin conjugada de
__ __
__ __
\|a - \|b a \|a + \|b
Multiplicando y dividiendo por la conjugada, obtenemos la diferencia de las cantidades
subradicales.
____ ____
____ ____
____ ____ (\|P(x) + \|Q(x))
lim \|P(x) - \|Q(x) = lim \|P(x) - \|Q(x) ----------------- =
____ ____
(\|P(x) + \|Q(x))
P(x) - Q(x)
lim ---------------____ ____
\|P(x) + \|Q(x))
Ejemplo:
(IND. inf - inf)
___________ __________ |
lim \|x2 + 2x - 3 - \|x2 + x - 1 =
x->-inf
__________
__________
___________ __________ (\|x2 + 2x - 3 + \|x2 + x - 1)
lim \|x2 + 2x - 3 - \|x2 + x - 1 ---------------------------- =
x->-inf
__________
__________
(\|x2 + 2x - 3 + \|x2 + x - 1)
x2 + 2x - 3 - (x2 + x - 1)
x-2
lim ----------------------------- = lim ---------------------- =
x->-inf __________
__________
__________
__________
\|x2 + 2x - 3 + \|x2 + x - 1 \|x2 + 2x - 3 + \|x2 + x - 1
x
x
x -1
lim ----------- = lim ------- = lim --- = -x->-inf __ __ x->-inf -x - x x->-inf -2x 2
\|x2 + \|x2
Raz cbica
3 ____ 3 ____
lim \|P(x) - \|Q(x) =
3 ____ 3 ____ 3 _______
3 ____ 3 ____ ( \|P(x)2 + \|Q(x)2 + \|P(x)Q(x) )
lim \|P(x) - \|Q(x) -------------------------------- =

3 ____ 3 ____ 3 _______
( \|P(x)2 + \|Q(x)2 + \|P(x)Q(x) )
P(x) - Q(x)
lim -----------------------------3 ____ 3 ____ 3 _______
\|P(x)2 + \|Q(x)2 + \|P(x)Q(x)
Ejemplo:
(IND. inf - inf)
3 ____________ 3 ___________ |
lim 2 + \|x3 - 3x2 + 1 - \|x3 - 4x + 1 =
x->-inf
x3 - 3x2 + 1 - x3 + 4x - 1
2 + lim ----------------------------------------------------- =
x->-inf 3 __________ 3 _________ 3 ___________________
\|(x3-3x2+1)2 + \|(x3-4x+1)2 + \|(|x3-3x2+1)(x3-4x+1)
-3x2
2 + lim ---- = 2 - 1 = 1
x->-inf 3x2
Indeterminacin 0/0:
Si se trata de un cociente de polinomios, aplicar Ruffini como se

explic antes. Aplicar lmites tipo.
Ejemplo:
L(1 + 5x)
5x 5
lim --------- = lim -- = -x->0 2x | x->0 2x 2
IND. 0/0
Lmite tipo: L(1 + f(x)) equiv. f(x)
f(x)->0
Aplicar L'Hpital:
H) limx->a f(x) = limx->a g(x) = 0
Existe limx->af'(x)/g'(x)
T) limx->af(x)/g(x) = limx->af'(x)/g'(x)
Ejemplo:
2x - 2
lim ------ INDETERMINADO 0/0
x->1 Lx
2
2x - 2
Veamos lim ---- = 2 => lim ------ = 2
x->1 1/x
x->1 Lx
Indeterminacin 1inf
g(x)
lim g(x)(f(x) - 1)
lim f(x) = e x->a
x->a
Ejemplo:
(IND. 1inf)
x+5
(x + 2)
lim (x + 2)(----- - 1)
lim ((x + 5)/(x - 3))
= e x->+inf x - 3
=
x->+inf
8
8x
lim (x + 2) ---- = lim
-- = 8
e x->+inf x - 3 e x->+inf x
e
Indeterminaciones 00 e inf0
g(x) lim g(x)Lf(x)
lim f(x) = e x->a
x->a
Ejemplo:
(IND 00)
(IND. 0.inf)
(por rdenes de infinitos)

Lx
2x lim 2xLx
lim
----0
lim x = e x->0+ = e x->0+ 1/2x = e = 1
x->0+
(IND. inf 0)
|
1/x |
lim ((1 + x + 2x2)/(x - 1)) =
x->+inf
(IND. inf/inf)
|
lim (1/x)L((1 + x + 2x2)/(x - 1)) | 0
e x->+inf
= e =1
|
Indeterminaciones inf - inf e inf/inf
Aplicar lmites tipo

Ejemplo:
equiv. a 1/x + 1
--^-1/x
(2x - 1)(1 + x) - 2x 2
lim (2x - 1)e - 2x = lim -------------------- =
x->+inf
x->+inf
x
x-1
x
lim ----- = lim --- = 1
x->+inf x
x->+inf x
Aplicar rdenes de infinitos. Equivalente al de mayor orden.
orden Lx < orden xn < orden ax < orden xnx (x->+inf)

Ejemplo:
(IND. inf - inf)
|
lim (Lx)2 - (x - 1)2/x = -inf
x->0+
pues orden (x - 1)2/x > orden (Lx)2
(IND. inf/inf)
ex |
lim ---- = +inf pues orden ex > orden x
x->+inf x
Indeterminacin 0.inf
Pasar la expresin que tiende a 0 al denominador del denominador. Queda una

indeterminacin inf/inf. Resolverla aplicando rdenes de infinitos.
Ejemplo:
(IND. 0.inf)
(IND. inf/inf)
|
1/(x - 3) |
1/(x - 3) |
e
|
lim (3 - x)e
= lim -------- = -inf
x->3+
x->3+ 1/(x - 3)
Aplicar lmites tipo
Lmites tipo
Sustituir una expresin por su lmite o su equivalente, cuando:
es un trmino que multiplica o divide a toda la expresin
es una cantidad subradical aunque aparezcan suma de radicales
es una expresin afectada por una funcin trascendental (e, L, sen, cos, tg, etc.)
lim (1 + 1/x)x = e
x->inf
lim (1 + x)1/x = e
x->0
L(1 + x)
lim -------- = 1 => L(1 + x) equiv x
x->0 x
x->0
Tambin: Lx equiv x - 1
x->1
ex - 1
lim ------- = 1
x->0 x
=> ex - 1 equiv x
x->0
ax - 1
lim ------ = La (a perteneciente a R+) => ax - 1 equiv xLa
x->0 x
x->0
sen x
lim ----- = 1
x->0 x
=> sen x equiv x

x->0
tg x
lim ---- = 1
x->0 x
=> tg x equiv x
x->0
1 - cos x 1
lim ---------- = -x->0 x2
2
=> 1 - cos x equiv x2/2

x->0
(1 + x)m - 1
lim ------------- = 1 => (1 + x)m - 1 equiv mx
x->0
mx
x->0
n ______
n _____
\|1 + x - 1 1
\|1 + x - 1
lim ------------- = -- => lim ------------ = 1
x->0
x
n
x->0 x/n
n _____
=> \|1 + x - 1 equiv x/n
Ejercicios de lmites
-3x2 + 2x - 5
1. lim -------------x->-inf x3 - 1
2.
-3x2 + 2x - 5
-3x2
-3
lim -------------- = lim ------ = lim --- = 0
x->-inf x3 - 1
x->-inf x3 x->-inf x
_____ __
\|2 + x - \|2
3. lim ------------x->0 x
4.
5.
Indeterminacin 0/0
_____ __
_____ __ _____ __
\|2 + x - \|2
\|2 + x - \|2 (\|2 + x + \|2 )
lim ------------- = lim -------------------------------- =
x->0 x
x->0
_____ __
x( \|2 + x + \|2 )
2+x-2
1
1
lim ------------------ = lim ------------- = ----x->0 _____ __ x->0 _____ __
x(\|2 + x + \|2 )
(\|2 + x + \|2 ) 2\|2
__
x3 - 3x + 2
6. lim ------------x->1 x2 + x - 2
7.
Indeterminacin 0/0
8.
x3 - 3x + 2
(x - 1)(x - 1)(x - 2)
lim ------------- = lim --------------------- = 0
x->1 x2 + x - 2 x->1 (x - 1)(x + 2)
Ruffini:
x3 + 4x2
9. lim ----------x->0+ x4 - 2x2
Indeterminacin 0/0
x3 + 4x2
x2(x + 4)
4
lim ----------- = lim ------------- = --- = -2
x->0+ x4 - 2x2 x->0+ x2(x2 - 2) -2
L(x - 1)
lim --------x->2 ex-2 - 1
10. Indeterminado 0/0
equiv. a x - 2
---^--L(x - 1)
x-2
lim --------- = lim ----- = 1 por lmites tipo
x->2 ex-2 - 1 x->2 x - 2
(tambin se resuelve
---^--aplicando L'Hpital)
equiv. a x - 2
31/x - 1
lim ----------x->+inf 51/x - 1
11. Indeterminacin 0/0
equiv. a (1/x)L3
---^--31/x - 1
(1/x)L3 L3
lim ---------- = lim ------- = ---- = log53
x->+inf 51/x - 1
x->+inf (1/x)L5 L5
---^--por lmites tipo
equiv. a (1/x)L5
3sen4x
lim ------x->0 2x
equiv. a 4x
--^-3sen4x
3.4x
lim ------- = lim ---- = 6 por lmites tipo
x->0 2x x->0 2x
1 - cos3x
lim --------x->0 x2
equiv. a (3x)2/2
----^---1 - cos3x
(3x)2
9
lim --------- = lim ------- = --- por lmites tipo
x->0 x2
x->0 2x2
2
sen3x + tg2x
lim -----------x->0 x
equiv. a 3x equiv. a 2x
--^-- --^-sen3x + tg2x
3x + 2x
5x
lim ------------ = lim ------- = lim ---- = 5 por lmites tipo
x->0 x
x->0 x
x->0 x
lim ((x - 1)/(x + 3))x+2

x->+inf
15. Indeterminado 1inf
lim (x + 2)((x - 1)/(x + 3) - 1)
lim ((x - 1)/(x + 3))x+2 = e x->+inf
=
x->+inf
lim (x + 2)(x - 1 - x - 3)/(x + 3) lim -4(x + 2)/(x + 3)
e x->+inf
= e x->+inf
=
lim -4x/x -4
e x->+inf = e = 1/e4
lim xLx
x->0+
16. Indeterminado 0.inf
Lx
lim xLx = lim ----- = 0- por rdenes de infinitos
x->0+ x->0+ 1/x
ex - e
lim --------x->1 x2 - 1
ex - e
ex e
lim --------- = lim ---- = --- por L'Hpital
x->1 x2 - 1 x->1 2x 2
Tambin:
equiv. a (x-1)
----^---ex - e
e(ex - 1 - 1)
e(x - 1)
e
lim --------- = lim -------------- = lim -------------- = --x->1 x2 - 1 x->1 x2 - 1
x->1 (x - 1)(x + 1) 2
por lmites tipo
lim (1 + 2/x)x
x->+inf
18. Indeterminado 1inf
lim x(2/x) 2
19. lim (1 + 2/x)x = e x->+inf = e
x->+inf
L(Lx)
lim ------x->e x - e
L(Lx)
1
1
lim ------- = lim ------ = --- por L'Hpital
x->e x - e x->e (Lx)x
e
Tambin:
equiv. a Lx - 1
equiv. a x/e - 1
--^---^-L(Lx)
Lx - 1
Lx - Le
L(x/e)
21. lim ------- = lim -------- = lim -------- = lim ------- =
x->e x - e x->e x - e x->e x - e | x->e x - e
|
x-e 1
La - Lb = L(a/b)
22. lim -------- = --- por lmites tipo
x->e e(x - e) e
x-1
lim (Lx)
x->1+
23. Indeterminacin 00
x-1
24. lim (Lx)

x->1+
(IND. 0.inf)
|
L(Lx)
lim (x - 1)L(Lx) | lim ---------- 0
= e x->1+
= e x->1+ 1/(x - 1) = e = 1
por rdenes de infinitos
25. Propiedades tiles de los logaritmos
log(a/b) = log a - log b

26. log ak = klog a
27.
logc a
28. logb a = --------29.
logc b
log a.b = log a + log b
log(a - b) = log(a/e b)
Continuidad
f(x)=x2
Intuitivamente, la continuidad significa que un pequeo cambio en la variable x implica slo un

pequeo cambio en el valor de f(x), es decir, la grfica consiste de un slo trozo de curva.
f(x)=sgn x
En contraste, una grfica como la de la funcin f(x) = sgn x (signo de x) que consiste de pedazos
de curva separados por un vaco en una abcisa exhibe all una discontinuidad.
La continuidad de la funcin f(x) para un valor a significa que f(x) difiere arbitrariamente poco del
valor f(a) cuando x est suficientemente cerca de a.
Expresemos esto en trminos del concepto de lmite...
Definicin
Continuidad
Una funcin f(x) es continua en un punto a si lim x->af(x) = f(a).
Nota: observar que debe existir f(a) y debe existir el lim x->a f(x) y debe ser igual a f(a).
Ejemplos de discontinuidad
f(x)= 1/x2
Discontinua en x=0 (No existe f(0))
f(x) = x2 si x <= 2
2x - 4 si x > 2
Discontinua en x=2.
Si bien existe f(2), no existe limx->2f(x), pues limx->2-f(x)=4 y limx>2+
f(x)=0
Sin embargo, si miramos la funcin para x prximos a 2 pero menores, e ignoramos los x mayores
que 2, la funcin es continua en 2 "por la izquierda".
Definicin
Continuidad por la izquierda
Una funcin f(x) es continua por la izquierda en el punto a si existe f(a) y lim x->a-f(x) = f(a).
Definicin
Continuidad por la derecha
Una funcin f(x) es continua por la derecha en el punto a si existe f(a) y lim x->a+f(x) = f(a).
La funcin anterior es continua por la izquierda en x=2, pero no por la derecha.
Definicin
Continuidad en un intervalo cerrado [a,b]
Una funcin f(x) es continua en un intervalo cerrado [a,b] si:
f es continua en a por la derecha
f es continua en b por la izquierda
f es continua en x, para todo x perteneciente al intervalo abierto (a,b)
Clasificacin de discontinuidades
Evitable
Caso A:
No existe f(a) pero existe limx->af(x).
Ejemplo:
f(x)= e-1/x2 + 2
No existe f(0) pues anula un denominador.

limx->0-f(x) = limx->0+f(x) = 2 o sea limx->0f(x)=2
Podemos extender la definicin de la funcin, asignndole en el punto a el valor del lmite, con lo
cual la funcin se torna continua. Por ello este tipo de discontinuidad se denomina evitable.
Caso B:
Existe f(a) y existe limx->af(x)=b pero bf(a).
(Existe f(a) pero es distinto al valor del lmite).
Ejemplo:
f(x) = x2 si x2
8 si x=2
f(2) = 8
limx->2 f(x) = 4
Asignndole a la funcin el valor 4 en x=2, se elimina la discontinuidad.
No evitable
1 especie:
limx->a-f(x) limx->a+f(x).
(Los lmites laterales son distintos).
Ejemplo:
f(x) = x/(x - 2)
limx->2-f(x) = -inf
limx->2+f(x) = +inf
2 especie:
No existe limx->a-f(x) o no existe limx->a+f(x).
(No existe por lo menos uno de los lmites laterales).
Ejemplo:
______
f(x) = \|x2 - 4
En x=-2 y x=2 la funcin presenta discontinuidades no evitables de 2 especie. No existe lim x->-2+f(x)
y no existe limx->2-f(x).
Operaciones con funciones continuas
Si f y g son funciones continuas en x=a, la suma, multiplicacin y cociente de f y g (con g(a) 0)

son funciones continuas en x=a.
H) f(x) es continua en x=a.
g(x) es continua en x=a.
T) f(x) + g(x) es continua en x=a.
Demostracin
Por definicin de continuidad,
existe f(a) y existe limx->af(x) = f(a)
existe g(a) y existe limx->ag(x) = g(a)
=> por teo. lmite de la suma de funciones, el lmite de una suma de funciones es igual a la suma
de los lmites de cada funcin, si stos son finitos.
limx->a f(x) + g(x) = f(a) + g(a)
=> por def. de continuidad f(x) + g(x) es continua en x=a.
Anlogamente se prueba la continuidad del producto y el cociente.
Teorema
Continuidad de la funcin compuesta
H) f es continua en x=a.
g es continua en x=f(a).
T) g o f es continua en x=a.
Demostracin:
Queremos demostrar que limx->a g[f(x)]=g[f(a)], o sea, por definicin de lmite, queremos probar que,
dado >0 existe >0 tal que para todo x perteneciente al E *a, g[f(x)] perteneciente al Eg[f(a)],.
Por hiptesis g es continua en f(a) => por def. de continuidad limx->f(a) g(x)=g[f(a)] => por def. de
lmite, dado >0 existe >0 tal que...
para todo x perteneciente al E*f(a), g(x) pertenece al Eg[f(a)], (1)
Por hiptesis f es continua en a => por def. de continuidad limx->af(x) = f(a), es decir que (por def. de
lmite) si tomamos el nmero de (1), existe >0 tal que...
para todo x perteneciente al E*a, f(x) pertenece al Ef(a), (2)
De (1) y (2) se deduce que:

Dado >0 existe >0 / para todo x perteneciente al E *a, g[f(x)] pertenece al Eg[f(a)],.
Teorema de Bolzano
Antes de enunciar el teorema de Bolzano, veamos una definicin y una propiedad relativas a
sucesiones, que se emplearn en la demostracin de dicho teorema. (Por ms detalles, visitar la
pgina sobre sucesiones).
Definicin: Par de sucesiones montonas convergentes (PSMC)
((an),(bn)) es un PSMC <=>
1) (an) es creciente
(bn) es decreciente
2) Para todo n natural an < bn
3) Para todo > 0 existe h natural / bh - ah <
Propiedad: Todo PSMC tiene frontera

((an),(bn)) es un PSMC => existe c / para todo n an <= c <= bn, lim an = c- y lim bn = c+.
Teorema de Bolzano
Bernhard Bolzano (1781-1848)
Si una funcin f(x) es continua en un intervalo cerrado [a,b] y f(a) y f(b) son de distinto signo, existe
por lo menos un punto entre a y b para el cual f(c)=0.
H) f(x) continua en [a,b]
f(a).f(b) < 0
T) Existe c perteneciente a (a,b) / f(c) = 0
Geomtricamente, el teorema establece que si dos puntos (a,f(a)) y (b,f(b)) de la grfica de una
funcin continua estn situados en diferentes lados del eje x, entonces la grfica intersecta al eje
en algn punto entre a y b. Por supuesto que pueden haber varias intersecciones.
Demostracin:
Supongamos que f(a)<0 y f(b)>0. (La demostracin sera anloga si supusiramos f(a)>0 y f(b)<0.)
Consideremos el punto medio de [a,b]: (a+b)/2.
Si f((a+b)/2)=0 queda demostrado el teorema. Sino, f ser positiva o negativa en (a+b)/2.
Tomemos una de las mitades del intervalo [a,b] donde la funcin sea negativa en un extremo y
positiva en el otro. Llamemos a1 y b1 a los extremos de este intervalo. Ahora dividamos [a 1,b1] a la
mitad. Si f no vale cero en el punto medio, ser positiva o negativa. Tomemos la mitad donde f tiene
distinto signo en cada extremo, y llamemos a estos puntos a 2 y b2.
Si continuamos de esta manera, obtenemos una sucesin de intervalos [a,b], [a 1,b1], [a2,b2], etc.,
tales que a <= a1 <= a2 <= ... <= an y b >= b1 >= b2 >= ... >= bn.
Es decir,
1) Los ai forman una sucesin creciente y los bi forman una sucesin decreciente.
2) Los ai son siempre menores que los bi.
Veamos cul es el limn->+inf bn - an.
bn - an es la longitud del intervalo [an,bn].

La longitud del intervalo [a1,b1] es (b - a)/2, la mitad de la longitud de [a,b] que es b - a.
La longitud del intervalo [a2,b2] es (b - a)/22, la mitad de la longitud de [a1,b1] que es (b - a)/2.
Y siguiendo de esta manera, la longitud del intervalo [a n,bn] es (b - a)/2n.
De modo que,
3) limn->+inf bn - an = limn->+inf (b - a)/2n = 0.
1), 2) y 3) son las condiciones de la definicin de PSMC:
an es creciente, bn es decreciente
Para todo n natural an < bn
Para todo >0 existe h natural / bh - ah < (que es lo mismo que limn->+inf bn - an = 0.)
Todo PSMC tiene la propiedad de definir un nmero frontera entre ambas sucesiones.
lim an = c- significa que para todo >0 existe n1 / para todo n>=n1 c - < an < c.
lim bn = c+ significa que para todo >0 existe n2 / para todo n>=n2 c < bn < c + .
O sea que tomando el mayor entre n1 y n2, llammosle n3, se cumplen ambas cosas.
Es decir, para todo >0 existe n3 / para todo n >= n3 c- < [an,bn] < c+.
Esto significa que, para cualquier entorno de c que consideremos, existe un intervalo [a n,bn]
contenido en dicho entorno.
Por otro lado, f es continua en [a,b] por hiptesis. Por lo tanto es continua en c. Por definicin de
continuidad, limx->c f(x)=f(c).
Si f(c)<0, por teo. de conservacin del signo existe un entorno de c donde f(x) es negativa.
Dentro de este entorno, existe un intervalo [an,bn], donde f(an) es de distinto signo que f(bn). Esto es
una contradiccin, por lo tanto f(c) no puede ser negativo.
Si f(c)>0, por teo. de conservacin del signo existe un entorno de c donde f(x) es positiva.
Pero, otra vez, dentro de ese entorno existe un intervalo [a n,bn] tal que f(an) es de distinto signo que
f(bn).
Por lo tanto, no existe otra posibilidad: f(c)=0.
Propiedad de Darboux
Gaston Darboux (1842-1917)
Si una funcin f(x) es continua en un intervalo cerrado [a,b] y k es cualquier nmero entre f(a) y
f(b), entonces existe un valor d entre a y b para el cual f(d)=k.
H) f continua en [a,b]
f(a) < k < f(b)
T) Existe d perteneciente a (a,b) / f(d)=k
Sea g una funcin auxiliar: g(x) = f(x) - k.

1. g es continua en [a,b] por ser suma de funciones continuas
2. g(a) = f(a) - k < 0

3. g(b) = f(b) - k > 0
=> de 1), 2) y 3) por teorema de Bolzano, existe d perteneciente a (a,b) / g(d) = f(d) - k = 0
O sea, existe d perteneciente a (a,b) / f(d)=k.
Weierstrass
Antes que nada, veamos una definicin y una propiedad relativas a sucesiones, que se emplearn
en la demostracin del lema de Weierstrass.
Definicin: Par de sucesiones montonas convergentes (PSMC)
((an),(bn)) es un PSMC <=>
1) (an) es creciente
(bn) es decreciente
2) Para todo n natural an < bn
3) Para todo > 0 existe n0 natural / bn0 - an0 <
Propiedad: Todo PSMC tiene frontera

Lema de Weierstrass
Karl Weierstrass (1815-1897)
Una funcin continua en un intervalo cerrado est acotada.
T) f est acotada en [a,b]
Demostracin:
La demostracin se realiza por el absurdo. Esto es, se supone falsa la tesis y se llega a una
contradiccin.
Suponemos entonces que f(x) no est acotada en [a,b].
Dividamos el intervalo [a,b] a la mitad. Si f est acotada en una de las mitades, entonces no lo est
en la otra. Tomemos esta mitad. Llamemos a1 y b1 a los extremos de este nuevo intervalo. f no est
acotada en [a1,b1].
Dividamos [a1,b1] en dos intervalos iguales. Si f est acotada en uno de ellos, tomemos el otro, si
no, tomemos cualquiera. Llamemos a sus extremos a 2 y b2.
Continuando de esta manera, tenemos una sucesin de intervalos [a,b], [a 1,b1], [a2,b2], etc., tales
que a <= a1 <= a2 <= ... <= an y b >= b1 >= b2 >= ... >= bn.
Es decir,
1) Los ai forman una sucesin creciente y los bi forman una sucesin decreciente.
2) Los ai son siempre menores que los bi.
Veamos cul es el limn->+inf bn - an.
bn - an es la longitud del intervalo [an,bn].
La longitud del intervalo [a1,b1] es (b-a)/2, la mitad de la longitud de [a,b] que es b-a.
La longitud del intervalo [a2,b2] es (b-a)/22, la mitad de la longitud de [a1,b1] que es (b-a)/2.
Y siguiendo de esta manera, la longitud del intervalo [a n,bn] es (b-a)/2n.
De modo que...
3) limn->+inf bn - an = limn->+inf (b - a)/2n = 0.
(1), (2) y (3) son las condiciones de la definicin de PSMC.
Es decir que las sucesiones an y bn cumplen con la definicin de PSMC:
an es creciente, bn es decreciente
Para todo n natural an < bn
Para todo >0 existe n0 natural / bn0 - an0 < (que es lo mismo que limn->+inf bn - an = 0.)
((an),(bn)) es un PSMC y, por lo tanto, tiene frontera:

existe c / para todo n an <= c <= bn, lim an = c- y lim bn = c+.
lim an = c- significa que para todo > 0 existe n1 / para todo n >= n1 c - < an < c.
lim bn = c+ significa que para todo > 0 existe n2 / para todo n >= n2 c < bn < c + .
O sea que tomando el mayor entre n1y n2, llammosle n3, se cumplen ambas cosas. Es decir, para
todo > 0 existe n3 / para todo n >= n3 c - < [an,bn] < c + .
Esto significa que, para cualquier entorno de c que consideremos, existe un intervalo [an,bn]
contenido en dicho entorno.
Por otro lado, f es continua en [a,b] por hiptesis. Por lo tanto es continua en c. Por definicin de
continuidad, limx->cf(x) = f(c), o sea, para todo > 0 existe > 0 / para todo x perteneciente al E *c,
f(c) - < f(x) < f(c) + .
Es decir, f est acotada en (c - , c + ).
Pero antes dijimos que f no estaba acotada en ninguno de los intervalos [a n,bn].
Tenemos pues aqu una contradiccin: decimos que f est acotada en (c - , c + ), pero no en
[an,bn] que est contenido dentro, lo cual es absurdo.
Este absurdo proviene de suponer que f no est acotada en [a,b].
Mximo y mnimo absoluto

Llamamos mximos relativos y mnimos relativos a aquellos puntos donde la funcin f tiene un
valor mximo o mnimo comparado con los valores de f(x) para x en algn entorno de esos puntos.
Cuando hablamos de mximo y mnimo absoluto nos referimos al mximo y al mnimo de f en
relacin con todos los valores posibles de f(x), para todo x del dominio.
Para localizar los mximos absolutos (mnimos absolutos) de la funcin, debemos comparar los
mximos relativos (mnimos relativos) y ver cul de estos valores es el mayor (menor).
Teorema de Weierstrass
Una funcin continua en un intervalo cerrado, tiene mximo y mnimo absoluto en dicho intervalo.
H) f es continua en [a,b].
T) f tiene mximo y mnimo absoluto en [a,b].
Demostracin:
Por hiptesis, f es continua en [a,b] => por el lema de Weierstrass f est acotada en [a,b], es decir,
existen m y n tales que m <= f(x) <= n para todo x perteneciente a [a,b].
La demostracin se realiza por reduccin al absurdo.
Primero demostraremos que f tiene mximo absoluto en [a,b].
Queremos probar que existe x1 perteneciente a [a,b] / f(x1) = n.
Supongamos lo contrario de lo que queremos demostrar, o sea que para todo x perteneciente a
[a,b] f(x) n, f(x) < n.
Sea g una funcin auxiliar: g(x)=1/(n - f(x)).
g es continua en [a,b] por ser diferencia y cociente de funciones continuas y n - f(x) 0. Por el lema
de Weierstrass, g est acotada, es decir, para todo x perteneciente a [a,b]
s <= g(x) <= t
1/(n - f(x)) <= t
1/t <= n - f(x)
f(x) <= n - 1/t
=> n - 1/t es una cota superior de f en [a,b] (1)
Por otro lado g(x) > 0 => t > 0 => 1/t > 0 => n - 1/t < n (2)
De (1) y (2) se deduce que existe una cota superior de f menor que n, el extremo superior, lo cual
es absurdo, pues el extremo superior es la menor de las cotas superiores.
El absurdo surge de suponer que no existe x tal que f(x)=n, por lo tanto existe x 1 perteneciente a
[a,b] / f(x1)=n.
Demostraremos ahora que f tiene mnimo absoluto.
Procederemos como en el caso anterior, por el absurdo.
Supondremos que para todo x perteneciente a [a,b] f(x) m, f(x) > m.
Sea h una funcin auxiliar: h(x) = 1/(f(x)-m)
h es continua en [a,b] por ser diferencia y cociente de funciones continuas y f(x)m.
Por el lema de Weierstrass, h est acotada, es decir, para todo x perteneciente a [a,b]
h <= h(x) <= k

1/(f(x)-m) <= k
1/k <= f(x) - m
f(x) >= 1/k + m
=> 1/k + m es una cota inferior de f (1)
Por otro lado h(x)>0 => k>0 => 1/k>0 => 1/k + m > m (2)
De (1) y (2) se deduce que existe una cota inferior de f mayor que el extremo inferior, lo cual es
absurdo.
Este absurdo proviene de suponer que no existe x tal que f(x)=m.
Por lo tanto, s existe algn x tal que f(x)=m.
Asntotas
Se llama asntota de una funcin f(x) a una recta t cuya distancia a la curva tiende a cero, cuando x
tiende a infinito o bien x tiende a un punto a.
Definicin
Asntota vertical
La recta x=a es asntota vertical (AV) de f(x) si lim x->a+ f(x) = inf o limx->a- f(x) = inf.
Definicin
Asntota horizontal
La recta y=b es asntota horizontal (AH) de f(x) si lim x->inf f(x) = b.
Ejemplo
f(x) = x/(x-1)
limx->1+ f(x) = +inf
limx->1- f(x) = -inf
=> x=1 es AV de f(x)
limx->inf f(x) = 1
=> y=1 es AH de f(x)
Definicin
Asntota oblicua
La recta y = mx + n es asntota oblicua (AO) de f(x) si lim x->inf f(x) - (mx + n) = 0.
Ejemplo
f(x) = x + 1/x
limx->inf f(x) - x = limx->inf x + 1/x - x = 0
=> y=x es AO de f(x)
Adems,
limx->0+ f(x) = +inf
limx->0- f(x) = -inf
=> x=0 es AV de f(x)
Teorema
y = mx + n es asntota oblicua de f(x) <=>
n = limx->inf f(x) - mx
m = limx->inf f(x)/x
Demostracin:
Directo:
Por hiptesis lim f(x) - (mx + n) = 0
x->inf
=> lim f(x) - mx - n = 0
x->inf
=> lim f(x) - mx = n
x->inf
n
---^--f(x)
f(x)
=> lim ---- = lim

x->inf x
f(x) - mx
---- - m + m = lim --------- + m = m
x->inf x
x->inf x
Recproco:
lim f(x) - (mx + n) = lim f(x) - mx - n = 0
x->inf
x->inf
=> por definicin y = mx + n es asntota oblicua de f(x).
Derivada
Consideremos la tangente a la curva f(x) en el punto P(a,f(a)).

Cmo se obtiene el ngulo entre la tangente y el eje x positivo?
El conocimiento de los valores a y f(a) no basta para determinarlo, puesto que hay un nmero
infinito de rectas, aparte de la tangente, que pasan por P.
Tampoco es necesario conocer la funcin f(x) en su comportamiento global; el conocimiento de la
funcin en una vecindad arbitraria del punto P debe ser suficiente para determinar . Esto indica
que se debera definir la direccin de la tangente a una curva f(x) mediante un proceso de lmite.
Consideremos un segundo punto P'(x,f(x)) sobre la curva, cercano a P.
Por los dos puntos P y P' se traza una lnea recta.
Si el punto P' se mueve a lo largo de la curva hacia el punto P, entonces la recta PP' se aproxima a
la tangente.
Sea ' el ngulo que la recta PP' forma con el eje x positivo.
Entonces limP'->P ' =
Considerando las coordenadas de los puntos P y P', se tiene:

f(x) - f(a)
cateto opuesto
tan ' = ----------x-a
( ---------------- )
cateto adyacente
As, nuestro proceso de lmite est representado por la ecuacin:

f(x) - f(a)
tan = lim tan ' = lim ----------x->a
x->a
x-a
A este lmite se lo denomina derivada de la funcin f(x) en el punto a y se denota f'(a)
Definicin
Derivada en el punto a
Se llama derivada de f(x) en x=a, y se denota f'(a) a:
f(x) - f(a)
f'(a) = lim ----------x->a x - a
Funcin derivada
La derivada es una funcin de x, puesto que un valor de f'(x) corresponde a cada valor de x.
Teorema
Si una funcin es derivable, entonces es continua.
H) f es derivable en x=a.
T) f es continua en x=a.
Demostracin:
Por hiptesis, existe
f(x) - f(a)
lim ---------x->a x - a
=> existe f(a) (1)
lim f(x) = lim f(x) - f(a) + f(a) =
x->a
x->a
f'(a) por H)
------^------
(f(x) - f(a)) --^-lim -------------(x - a) + f(a) = f(a) (2)

x->a
x-a
De 1) y 2): existe f(a) y limx->af(x)=f(a) => por definicin de continuidad, f es continua en x=a.
El recproco no es cierto. Una funcin puede ser continua en un punto pero no derivable. Cualquier
curva con una esquina o vrtice en un punto no posee ah una tangente. Esos puntos se llaman
singulares, y esas funciones, funciones singulares.
3 ___
f(x)= \|x2
no es derivable en x=0 pero es continua.
Derivada de las funciones elementales

1. f(x) = k
k-k
f'(a) = lim ------- = 0
x->a x - a
=> f'(x) = 0
2. f(x) = bx + c
bx + c - ba - c
b(x - a)
f'(a) = lim --------------- = lim -------- = b

x->a
=> f'(x) = b
x-a
x->a x - a
3. f(x) = xn
xn - an
f'(a) = lim --------- =
x->a (x-a)
(x - a)(xn-1 + axn-2 + a2xn-3 + ... + an-1)
lim ------------------------------------------ = nan-1
x->a (x-a)
=> f'(x) = nxn-1
4. f(x) = bxn
bxn - ban
b(xn - an)
f'(a) = lim ---------- = lim ----------- = bnan-1

5.
x->a x - a
x->a x - a
6.
7. => f'(x) = bnxn-1
8.
9. f(x) = Lx
equiv. a x/a - 1 (lmites tipo)
10.
11.
--^-Lx - La
L(x/a)
x-a
12. f'(a) = lim -------- = lim ------- = lim --------- = -13.
x->a x - a
x->a x - a
x->a a(x - a) a
14.
15.
16. => f'(x) = --17.
18.
19. f(x)=logcx
20.
logcd = Ld/Lc
21.
22.
|
logcx - logca
logc(x/a) |
logc(x/a)
23. f'(a)=lim ------------- = lim ---------- = lim --------- = --24.
x->a
25.
26.
| x->a (x - a)
|
log a - log b = log(a/b)
27.
28.
x-a
x->a Lc(x - a) aLc
29. => f'(x) = --30.
xLc
31.
32. f(x) = ex
33.
equiv. a 1 (lmites tipo)
34.
---^--x
35.
e -e
ea(ex-a - 1)
36. f'(a) = lim --------- = lim ------------ = ea

37.
x->a x - a
x->a
x-a
38.
39. => f'(x) = ex
40.
41. f(x) = bx
42.
equiv. a (x-a)Lb (lmites tipo)
43.
----^---x
44.
ba(bx-a - 1)
b -b
ba(x - a)Lb
45. f'(a)=lim ------- = lim ------------ = lim ----------- = baLb

46.
x->a x - a
x->a x - a
x->a x - a
47.
48. => f'(x) = bxLb
49.
50. f(x) = sen x
51.
equiv. a (x-a)/2 (lmites tipo)
52.
-----^-----
53.
senx - sena
2sen((x-a)/2)cos((x+a)/2)
54. f'(a)=lim ------------ = lim ------------------------- =

55.
x->a x - a
x->a
x-a
56.
57.
2(x - a)cos((x+a)/2)
58. lim ------------------- = cos a

59. x->a
2(x - a)
60.
61. => f'(x) = cosx
62.
63. f(x) = cosx
64.
65.
cos x - cos a
-2sen((x-a)/2)sen((x+a)/2)
66. f'(a) = lim ------------- = lim -------------------------- =

67.
68.
x->a
x-a
x->a
x-a
69.
-2(x-a)sen((x+a)/2)
70. lim ------------------- = -sen a

71. x->a
2(x - a)
72.
73. => f'(x) = -senx
74.
75. f(x) = tgx
76.
1 (lmites tipo)
77.
---^---
78.
tgx - tga (*)
tg(x-a)
79. f'(a)=lim ---------- = lim ------- (1 + tgx.tga) = 1 + tg2a

80.
x->a x - a
x->a (x-a)
81.
82.
tgx - tga
83. (*) Pues tg(x - a) = -----------84.
1 + tgx.tga
85.
86.
sen2a
cos2a + sen2a
87. 1 + ------ = ------------- = ---88.
cos2a
cos2a
cos2a
89.
90.
91. => f'(x)=1 + tg2x = ------cos2x
92.
93.
94.
n __
95. f(x)= \|x

96.
97. n __
98. \|x = x1/n
99.
100.
101.
102.
x(1-n)/n
1
1/n
f'(x)=(x )'= --x
1/n - 1
= ----------- = ------- = -------n
nx(n-1)/n n ____
n \|x n-1
103.
104.
105.
106. => f'(x) = --------107.
n ____
108.
n \|x
Reglas de derivacin
Teorema
Derivada de una constante por una funcin
H) f es derivable en x=a
T) (kf(a))' = k.f'(a)
Demostracin:
f'(a)
------^-----k.f(x) - k.f(a)
(f(x) - f(a))
(k.f(a))' = lim ---------------- = lim k ------------- = k.f'(a)

x->a
x-a
x->a
x-a
Nota:
El teorema anterior da el valor de la derivada en el punto a. Como a es un punto genrico,

lo sustituimos por x y tenemos la funcin derivada:
(kf)'(x) = k.f'(x), si f es derivable en x.
Teorema
Derivada de la suma
La derivada de una suma de funciones es la suma de las derivadas de cada funcin.
H) f es derivable en x=a, g es derivable en x=a
T) f+g es derivable en x=a
(f+g)'(a) = f'(a) + g'(a)
Demostracin:
(f+g)(x) - (f+g)(a)
f(x) + g(x) - f(a) - g(a)
(f+g)'(a) = lim ------------------- = lim ------------------------x->a
(x-a)
f(x) - f(a)
x->a
(x-a)
g(x) - g(a)
= lim ----------- + ------------ = f'(a) + g'(a)
x->a (x-a)
(x-a)
Notas:
En general (f+g)'(x) = f'(x) + g'(x), si f y g son derivables en x.
El teorema se extiende a ms de dos funciones.
Ejemplo
(x + Lx)' = x' + (Lx)' = 1 + 1/x
Teorema
Derivada del producto
H) f es derivable en x=a, g es derivable en x=a
T) f.g es derivable en x=a
(f.g)'(a) = f'(a).g(a) + f(a).g'(a)
Demostracin:
(f.g)(x) - (f.g)(a)
f(x).g(x) - f(a).g(a)
(f.g)'(a) = lim ------------------- = lim -------------------x->a
(x-a)
x->a
(x-a)
f(x).g(x) - f(a)g(a) + f(a)g(x) - f(a)g(x)

= lim ------------------------------------------ =
x->a
(x-a)
f'(a)
(*) g(a) -----^-----^- (f(x) - f(a))
g'(a)
-----^----(g(x) - g(a))
lim g(x)------------- + f(a)------------- = f'(a).g(a) + g'(a).f(a)

x->a
(x-a)
(x-a)
(*) Pues g es derivable en a => (teorema) g es continua en a

=> (def. de continuidad) existe g(a) y limx->ag(x)=g(a).
Notas:
(f.g)'(x) = f'(x).g(x) + f(x).g'(x).
Generalizacin para tres funciones:

(f(x).g(x).h(x))' = f'(x).g(x).h(x) + f(x).g'(x).h(x) + f(x)g(x).h'(x)
Ejemplo
(x2.sen x)' = 2xsen x + x2cos x
Teorema
Derivada del cociente
H) f es derivable en x=a, g es derivable en x=a, g(a) distinto de 0
T) f/g es derivable en x=a
(f/g)'(a) = (f'(a).g(a) - f(a).g'(a))/g2(a)
Demostracin:
(f/g)(x) - (f/g)(a)
f(x)/g(x) - f(a)/g(a)
(f/g)'(a) = lim ------------------- = lim --------------------x->a
x-a
x->a
x-a
f(x)g(a) - g(x)f(a) + f(a)g(a) - f(a)g(a)

= lim ----------------------------------------- =
x->a
(x - a)g(x)g(a)
f'(a)
g'(a)
-----^-----
-----^-----
(f(x) - f(a))
(g(x) - g(a))
g(a)------------- - f(a)------------lim
x-a
x-a
g(a)f'(a) - f(a)g'(a)
= --------------------
x->a ------------------------------------
g2(a)
g(x)g(a)
'--> g(a) (*)
(*) Pues g es derivable en a => (teorema) g es continua en a
=> (def. de continuidad) existe g(a) y limx->ag(x)=g(a).
Nota:
(f/g)'(x) = (f'(x)g(x) - f(x)g'(x))/g2(x).
Ejemplo
(cos x)x2 - (sen x)2x xcos x - 2sen x
(sen x/x2)' = --------------------- = --------------x4
x3
Teorema
Derivada de la funcin compuesta
Regla de la cadena
H) f es derivable en x=a, g es derivable en x=f(a)
T) gof es derivable en x=a
(gof)'(a) = g'[f(a)].f'(a)
Demostracin:
g[f(x)] - g[f(a)]
(gof)'(a) = [g[f(x)]'(a) = lim ----------------- =
x->a
g'[f(a)]
--------^--------
x-a
f'(a)
----^----
g[f(x)] - g[f(a)] f(x) - f(a)

lim ------------------ . ---------- = g'[f(a)].f'(a)
x->a f(x) - f(a)
x-a
Nota:
(gof)'(x) = g'[f(x)].f'(x).
Ejemplo 1
h(x) = ex2 + 2x
h es la composicin de g(x) = ex y f(x)=x2 + 2x.
h'(x) = g'[f(x)].f'(x) = ex2+2x.(2x + 2)
Ejemplo 2
h(x) = sen(x2)
h es la composicin de g(x)=sen x y f(x)=x2.
h'(x) = g'[f(x)].f'(x) = cos (x2).2x
Teorema
Derivada de la funcin inversa

H) f es derivable en x=a (f'(a) distinto de 0)
f-1(x) es continua en f(a)
T) f-1 es derivable en x=f(a).
[f-1(f(a))]' = 1/f'(a)
Demostracin:
Queremos calcular
f-1(x) - f-1(f(a))
f-1(x) - a
lim ----------------- = lim -----------x->f(a) x - f(a)
x->f(a) x - f(a)
Definamos g(x)=(f(x) - f(a))/(x - a) para todo x distinto de a.

Consideremos (gof-1)(x) / (gof-1)(x) = g[f-1(x)]
1) lim f-1(x) = a pues f-1(x) es continua en f(a) por H)
x->f(a)
f(x) - f(a)
2) lim g(x) = lim ----------- = f'(a) pues f es derivable en a
x->a
x->a x - a
por H)
=> De 1) y 2) por lmite de la funcin compuesta

lim g[f-1(x)] = f'(a)
x->f(a)
f[f-1(x)] - f(a) x - f(a)
-1
g[f (x)] = ---------------- = ---------f-1(x) - a

f-1(x) - a
f-1(x) - a
1
=> lim ------------ = ----x->f(a) x - f(a)
f'(a)
Nota:
(f-1)'(f(x)) = 1/f'(x).
Ejemplo
y = f(x) = ex
x = f-1(y) = Ly
f-1'(f(x)) = 1/f'(x) = 1/ex = 1/y
As, la derivada de Ly es 1/y
Teoremas de Rolle y de Lagrange

Teorema de Rolle
Michael Rolle (1652-1719)
Si una funcin es continua en un intervalo cerrado [a,b], derivable en el intervalo abierto (a,b) y
f(a)=f(b), entonces existe al menos un punto c entre a y b para el cual f'(c)=0.
H) f es continua en [a,b]
f es derivable en (a,b)
f(a)=f(b)
T) Existe c perteneciente a (a,b) / f'(c)=0
Interpretado geomtricamente, significa que si una curva alcanza el mismo valor en dos puntos,
entonces debe poseer una tangente horizontal en algn punto intermedio.
Demostracin:
f es continua en [a,b] => por teo. de Weierstrass f tiene mximo absoluto M y mnimo absoluto m en
[a,b].
Para todo x perteneciente a [a,b] m <= f(x) <= M.
Existe x1 perteneciente a [a,b] / f(x1)=M.
Existe x2 perteneciente a [a,b] / f(x2)=m.
Si m = M => para todo x perteneciente a [a,b] f(x) = M => f'(x) = 0
Sino, m < M => por lo menos uno de los puntos, x1 o x2, corresponde al interior del intervalo, a
(a,b), por ejemplo x2.
=> (a,b) se comporta como un entorno de x2.
Se cumple que para todo x perteneciente a (a,b) f(x2) <= f(x)
=> Por def. de mnimo relativo f presenta un mnimo relativo en x2. (1)
f es derivable por hiptesis. (2)
De 1) y 2), por Condicin necesaria para la existencia de extremos relativos f'(x2)=0
Teorema de Lagrange o del valor medio

Joseph Louis Lagrange (1736 - 1813)
Si f(x) es continua en el intervalo cerrado [a,b] y derivable en todo punto del intervalo abierto (a,b),
entonces existe al menos un punto c donde f'(c) = (f(b) - f(a))/(b - a).
H) f(x) es continua en [a,b]
f(x) es derivable en (a,b)
T) Existe c perteneciente a (a,b) / f'(c)=(f(b) - f(a))/(b - a)
Geomtricamente, (f(b) - f(a))/(b - a) es la tangente del ngulo que forma la secante que pasa por
los puntos A(a,f(a)) y B(b,f(b)) de la curva, con el eje ox.
f'(c) es la tangente del ngulo que forma la recta tangente a la curva en el punto c, con el eje ox.
Entonces, el teorema expresa que existe al menos un punto en el intervalo (a,b) donde la tangente
a la curva es paralela a la recta que pasa por A y B.
Demostracin:
Definamos una funcin auxiliar g(x) = f(x) + hx, h perteneciente a R.
g es continua en [a,b] por ser suma de funciones continuas.
g es derivable en (a,b) por ser suma de funciones derivables.
Queremos que g(a) sea igual a g(b) para aplicar el teorema de Rolle
=> f(a) + ha = f(b) + hb => f(a) - f(b) = hb - ha = h(b - a)
f(a) - f(b)
=> h = ----------b-a
=> por teo. de Rolle, existe c perteneciente a (a,b) / g'(c) = 0
g'(x) = f'(x) + h
f(b) - f(a)
g'(c) = f'(c) + h = 0 => f'(c) = ----------b-a
Considrese por ejemplo, el caso donde x es el tiempo y f(x) la distancia de un automvil desde su
punto de partida a lo largo de cierto camino.
Entonces (f(b) - f(a))/(b - a) es la velocidad promedio del automvil en el perodo b - a. (Recordar
que velocidad = distancia/tiempo)
Por lo tanto f'(a)=limx->a (f(x) - f(a))/(x - a) es la velocidad del auto en el tiempo a.
Si por ejemplo el auto ha recorrido 200km. en 2 hs., la velocidad promedio fue de 100km. por hora.
Por el teorema de Lagrange podemos decir que, al menos en un momento durante esas dos horas,
el auto tuvo una velocidad de exactamente 100km/h
Teorema de Cauchy
Augustin Cauchy (1789-1857)
H) f(x) y g(x) continuas en [a,b]

f(x) y g(x) derivables en (a,b)
f'2(x) + g'2(x) distinto de 0 para todo x perteneciente a (a,b)
(Las derivadas no se anulan en el mismo punto del intervalo.)
g(a) distinto de g(b)
T) Existe c perteneciente a (a,b) / (f(b) - f(a))/(g(b) - g(a)) = f'(c)/g'(c)
Demostracin:
Sea h(x) = f(x) + kg(x)
1. h es continua en [a,b] por ser suma de funciones continuas en [a,b].
2. h es derivable en (a,b) por ser suma de funciones derivables en (a,b).
3. Queremos que h(a)=h(b) para aplicar el teorema de Rolle.
=> f(a) + kg(a) = f(b) + kg(b)
k(g(a) - g(b)) = f(b) - f(a)
k = (f(b) - f(a))/(g(a) - g(b))
De 1),2) y 3) por el teorema de Rolle existe c perteneciente a (a,b) / h'(c) = 0.
h'(x) = f'(x) + kg'(x)
h'(c) = f'(c) + kg'(c) = 0
f'(c)/g'(c) = -k
f'(c)/g'(c) = (f(b) - f(a))/(g(b) - g(a))
Teorema de L'Hpital
Franois Antoine de L'Hpital (1661-1704)
H) limx->a f(x) = limx->a g(x) = 0

Existe limx->a f'(x)/g'(x)
T) limx->a f(x)/g(x) = limx->a f'(x)/g'(x)
Demostracin:
Por H) existe f'(x) y g'(x) en un E*a => f y g son derivables en un E*a => (teorema) f y g son
continuas en E*a
A f(a) y g(a) les adjudicamos el valor 0 en a porque si son discontinuas en a es una discontinuidad
evitable.
f(a) = g(a) = 0
Supongo limx->a f'(x)/g'(x) = b => por definicin de lmite para todo Eb existe un E*a / para todo x
perteneciente al E*a f'(x)/g'(x) pertenece al Eb.
Sea x perteneciente a un E*a
f y g son continuas en [x,a] y derivables en (x,a) => por el teorema de Cauchy existe c
perteneciente a (x,a) / (f(a) - f(x))/(g(a) - g(x)) = f'(c)/g'(c)
o sea f(x)/g(x) = f'(c)/g'(c)
c pertenece a un E*a => f'(c)/g'(c) pertenece a un Eb => f(x)/g(x) pertenece al Eb.
=> limx->a f(x)/g(x) = b => limx->a f(x)/g(x) = limx->a f'(x)/g'(x).
Ejemplo
2x - 2
lim ------ es una indeterminacin 0/0.
x->1 Lx
Derivemos el numerador y el denominador y veamos el lmite:
2
2x - 2
lim ------- = 2 => por L'Hpital lim ------ = 2

x->1 1/x
x->1 Lx
Variacin
Definicin
Crecimiento puntual
Una funcin f(x) es creciente en x=a si existe >0 / para todo x perteneciente a (a - ,a) f(x) < f(a) y
para todo x perteneciente a (a,a + ) f(x) > f(a).
f es creciente en x=a.
Anlogamente se define el decrecimiento puntual.
Teorema
Condicin suficiente para el crecimiento puntual
Si en un punto a la funcin f(x) tiene derivada positiva, la funcin es creciente en a.
H) f'(a)>0
T) f es creciente en x=a.
Demostracin:
f(x) - f(a)
f'(a) = lim ----------- > 0 => (por teo. de conservacin del signo)
x->a x - a
f(x) - f(a)
existe >0 / para todo x perteneciente al E*a, ----------- > 0
x-a
1) Si x < a => x - a < 0 => f(x) - f(a) < 0 => f(x) < f(a)
2) Si x > a => x - a > 0 => f(x) - f(a) > 0 => f(x) > f(a)
De 1) y 2) por def. de crecimiento puntual,
f es creciente en x=a.
Teorema
Condicin suficiente para el decrecimiento puntual
Si en un punto a la funcin f(x) tiene derivada negativa, la funcin es decreciente en a.
H) f'(a)<0
T) f es decreciente en x=a.
La demostracin es anloga a la anterior.
Definicin
Mximo relativo
f(x) presenta un mximo relativo en x=a si existe un E *a / para todo x perteneciente al E*a f(x) < f(a).
f presenta un mximo relativo en x=a.
Definicin
Mnimo relativo
f(x) presenta un mnimo relativo en x=a si existe un E *a / para todo x perteneciente al E*a f(x) > f(a).
f presenta un mnimo relativo en x=a.
Teorema
Condicin necesaria para la existencia de extremos relativos
Si una funcin f(x) es derivable en un punto a, es condicin necesaria para que presente un
extremo relativo en a que f'(a) valga 0.
H) f presenta un extremo relativo en x=a
Existe f'(a)
T) f'(a)=0
Demostracin:
Si f'(a) > 0 => por Cond. suf. para el crecimiento puntual f es creciente en x=a. Absurdo.
Si f'(a) < 0 => por Cond. suf. para el decrecimiento puntual f es decreciente en x=a. Absurdo.
=> f'(a) = 0.
Nota: El recproco no es cierto. Una funcin puede tener derivada nula en un punto y no tener un
extremo relativo en el punto.
Contraejemplo: f(x) = x3
f'(0) = 0 pero f no presenta un extremo en 0.
Definicin
Funcin montona creciente en un intervalo.
f es montona creciente en (a,b) si para todo x1 y para todo x2 pertenecientes a (a,b), tales que x1 <
x2, se cumple que f(x1) < f(x2).
f es montona creciente en [a,b] si es montona creciente en (a,b) y para todo x perteneciente a
(a,b) se cumple que f(a) < f(x) < f(b).
Anlogamente se define funcin montona decreciente.
Teorema
Condicin suficiente para el crecimiento en un intervalo abierto
Si en un intervalo abierto (a,b) la funcin f(x) tiene derivada positiva, f(x) es creciente en (a,b).
H) f'(x)>0 para todo x perteneciente a (a,b)
T) f es creciente en (a,b)
Demostracin:
Sean x1, x2 pertenecientes a (a,b), x1 < x2.
f es derivable en [x1,x2] => por teo. de Lagrange existe c perteneciente a [x1,x2] /
f(x2) - f(x1)
f'(c) = ------------- > 0
x 2 - x1
x2 - x1 > 0 => f(x2) - f(x1) > 0 => f(x2) > f(x1) => por def. de funcin creciente en un intervalo f es
creciente en (a,b).
Ejemplo
f:R+ -> R / f(x) = Lx

f'(x) = 1/x > 0 para todo x > 0 => f es creciente para todo x >
0.
Teorema
Condicin suficiente para el decrecimiento en un intervalo abierto
H) f'(x)<0 para todo x perteneciente a (a,b)
T) f es decreciente en (a,b)
Demostracin anloga a la anterior
Teorema
Condicin suficiente para la existencia de mnimo relativo
Si una funcin es continua en un punto a, y existe un entorno de a tal que la derivada de f es
negativa en el semientorno izquierdo y positiva en el semientorno derecho, entonces f presenta un
mnimo relativo en a.
Existe >0 / para todo x perteneciente a (a-,a) f'(x)<0 y para todo x perteneciente a (a,a+) f'(x)>0
T) f presenta un mnimo relativo en x=a.
Demostracin
Sea x1 perteneciente a (a-,a).
f es derivable en [x1,a] por hiptesis.
=> por teo. de Lagrange existe c1 perteneciente a (x1,a) /
f(x1) - f(a)
f'(c1) = ------------ < 0
x1 - a
x1 - a < 0 => f(x1) > f(a) (1)
Sea x2 perteneciente a (a,a+).

f es derivable en [a,x2] por hiptesis.
=> por teo. de Lagrange existe c2 perteneciente a (a,x2) /
f(x2) - f(a)
f'(c2) = ------------ > 0
x2 - a
x2 - a > 0 => f(x2) > f(a) (2)
De 1) y 2): para todo x perteneciente al E*a, f(x) > f(a) => por definicin, f presenta un mnimo
relativo en x=a
Ejemplo
f(x)=x2
f'(x)=2x
- 0 +
sg 2x ---------|--------->
0
f presenta un mnimo relativo en x=0. (En este caso, es tambin el mnimo absoluto de la funcin.)
Condicin suficiente para la existencia de mximo relativo

Existe >0 / para todo x perteneciente a (a-,a) f'(x)>0 y para todo x perteneciente a (a,a+) f'(x)<0
T) f presenta un mximo relativo en x=a.
Ejemplo
f(x)=-x2
f'(x)=-2x
+ 0 sg -2x ---------|--------->
0
f presenta un mximo relativo en x=0. (En este caso, es tambin el mximo absoluto de la funcin.)
Concavidad
Definicin
Derivada segunda
Se llama derivada segunda de una funcin f(x) a la derivada de la derivada de dicha funcin.
Notacin: f''(x).
Este concepto se puede extender a la derivada n-sima de una funcin.
Definicin
Ecuacin de la recta tangente a una funcin f en x=a
La ecuacin de una recta que pasa por el punto (a,f(a)) es y = m(x-a) + f(a), siendo m la tangente
del ngulo que forma la recta con el eje ox.
Para obtener la ecuacin de la recta tangente a f en x=a, m debe ser f'(a).
Ecuacin de la tangente: y = f'(a)(x-a) + f(a)
Nota: en las siguientes definiciones y teoremas, utilizaremos el concepto de entorno de a (E a) y

entorno reducido de a (E*a). Para ver las definiciones, visitar la pgina sobre lmite finito.
Definicin
Concavidad
f presenta concavidad positiva en x=a si existe un E *a / para todo x perteneciente al E*a f(x) > f'(a)(xa) + f(a).
La funcin presenta concavidad positiva en el punto a si, en un entorno

reducido de a, la grfica de f est "por encima" de la recta tangente a f(x)
en el punto a.
f presenta concavidad negativa en x=a si existe un E *a / para todo x perteneciente al E*a f(x) < f'(a)
(x-a) + f(a).
La funcin presenta concavidad negativa en el punto a si, en un entorno

reducido de a, la grfica de f est "por debajo" de la recta tangente a f(x)
en el punto a.
Definicin
Punto de inflexin
f presenta un punto de inflexin en x=a si existe > 0 / para todo x perteneciente a (a - ,a) f(x) >
f'(a)(x-a) + f(a) y para todo x perteneciente a (a,a + ) f(x) < f'(a)(x-a) + f(a) (o viceversa: f menor a
la izquierda y mayor a la derecha).
En el semientorno izquierdo de a, f est por encima de la tangente a f(x)

en a, y en el semientorno derecho de a, f est por debajo de la tangente.
En el semientorno izquierdo de a, f est por debajo de la tangente a f(x)

en a, y en el semientorno derecho de a, f est por encima de la tangente.
Teorema
Condicin suficiente para la existencia de concavidad positiva
Si la derivada segunda de una funcin f(x) es positiva en el punto a, entonces tiene concavidad
positiva en dicho punto.
H) f''(a)>0
T) f tiene concavidad positiva en x=a
Demostracin:
Existe f''(a) => existe f'(a) => (teorema) f es continua en x=a.
Sea g(x) = f(x) - f'(a)(x - a) - f(a)
g'(x) = f'(x) - f'(a)
g''(x) = f''(x)
g''(a) = f''(a) > 0 => por Cond. suf. para el crecimiento puntual g'(x) es creciente en x=a
=> por def. de crecimiento puntual existe >0 / para todo x1 perteneciente a (a - ,a) g'(x) < g'(a) = 0
y para todo x2 perteneciente a (a, a + ) g'(x) > g'(a) = 0
signo de g'(x):
- 0 +
-------|------a
=> por Cond. suf. para la existencia de mnimo relativo g presenta un mnimo relativo en x=a.
=> por def. de mnimo relativo existe un E*a / para todo x perteneciente al E*a g(x) > g(a) = 0.
f(x) - f'(a)(x - a) - f(a) > 0
f(x) > f'(a)(x - a) + f(a) => por definicin f tiene concavidad positiva en x=a.
Teorema
Condicin suficiente para la existencia de concavidad negativa

Si la derivada segunda de una funcin f(x) es negativa en el punto a, entonces tiene concavidad
negativa en dicho punto.
H) f''(a) < 0
T) f tiene concavidad negativa en x=a
Teorema
Condicin suficiente para la existencia de puntos de inflexin
H) La derivada segunda de f(x) es negativa en un semientorno del punto a y positiva en el otro
semientorno
T) f presenta un punto de inflexin en x=a
Demostracin:
Sea g(x) = f(x) - f'(a)(x - a) - f(a)
g es derivable y continua en x=a.
g'(x) = f'(x) - f'(a)
g'(a) = 0
g''(x) = f''(x) =>
signo de g''(x):
-
-------|------a
=> por cond. suf. para la existencia de mnimo relativo g' presenta un mnimo relativo en a
=> por def. de mnimo relativo, existe un E*a / para todo x perteneciente al E*a g'(x) > g'(a) = 0
signo de g'(x):
+ 0 +
-------|------a
=> g es creciente en a
La tangente a g en x=a es horizontal, pero igual g es creciente. La grfica de g cerca de a es algo
como
por def. de crecimiento puntual, existe > 0 / para todo x perteneciente a (a - ,a) g(x) < g(a) = 0
=> f(x) - f'(a)(x-a) - f(a) < 0 => f(x) < f'(a)(x-a) + f(a)
y para todo x perteneciente a (a,a + ) g(x) > g(a) = 0
=> f(x) - f'(a)(x-a) - f(a) > 0 => f(x) > f'(a)(x-a) + f(a)
por definicin, f presenta un punto de inflexin en x=a.
Ejemplo
f(x) = x3
f'(x) = 3x2
f''(x) = 6x
- 0 +
sg f'' ----|---->
0
f presenta un punto de inflexin en x=0
Teorema
H) f''(x) > 0 para todo x perteneciente a [a,b]
T) Para todo x perteneciente a (a,b) f(x) < ((f(b) - f(a))/(b - a))(x - a) + f(a)
Si una funcin tiene concavidad positiva en un intervalo cerrado [a,b], entonces la grfica de la
funcin en dicho intervalo est por debajo de la recta que pasa por los puntos (a,f(a)) y (b,f(b)).
Demostracin:
f''(x) > 0 para todo x perteneciente a [a,b] => por cond. suf. para el crecimiento en un intervalo f' es
creciente en [a,b]
Sea x perteneciente a [a,b].
En [a,x] f es derivable => (teorema) f es continua => por teo. de Lagrange existe c perteneciente a
(a,x) / f'(c) = (f(x) - f(a))/(x-a)
En [x,b] f es derivable => (teorema) f es continua => por teo. de Lagrange existe d perteneciente a
(x,b) / f'(d) = (f(b) - f(x))/(b-x)
a < c < x y x < d c < d => f'(c) < f'(d) pues f' es creciente en [a,b]
f(x) - f(a) f(b) - f(x)
=> ----------- < ----------x-a
b-x
(b-x)(f(x) - f(a)) < (x-a)(f(b) - f(x))

f(x)(b - x + x - a) < (x - a)f(b) + f(a)(b - x)
(b - a)f(x) < xf(b) - af(b) + bf(a) - xf(a) + af(a) - af(a)
(b - a)f(x) < (f(b) - f(a))(x - a) + f(a)(b - a)
f(b) - f(a)
f(x) < -----------(x - a) + f(a)
b-a
Teorema
H) f''(x) < 0 para todo x perteneciente a [a,b]
T) f(x) > ((f(b) - f(a))/(b - a))(x - a) + f(a)
Si una funcin tiene concavidad negativa en un intervalo cerrado [a,b], entonces la grfica de la
funcin en dicho intervalo est por encima de la recta que pasa por los puntos (a,f(a)) y (b,f(b)).
Demostracin anloga a la anterior.
Teorema
H) f''(x) > 0 para todo x perteneciente a [a,b]
c pertenece a (a,b)
T) f(x) > f'(c)(x-c) + f(c) para todo x perteneciente a (a,b)
Los valores de f son mayores que las correspondientes ordenadas de la recta tangente a la curva
f(x) en cualquier punto c del intervalo (a,b).
Demostracin:
f''(x)>0 para todo x perteneciente a [a,b] => por Cond. suficiente para el crecimiento en un intervalo,
f' es creciente en [a,b] => f' es creciente en [a,c] (1)
Sea x perteneciente a [a,c].
f es derivable en [a,x] => por teo. de Lagrange existe d perteneciente a (a,x) / f'(d) = (f(x) - f(a))/(x a)
f es derivable en [x,c] => por teo. de Lagrange existe e perteneciente a (x,c) / f'(e) = (f(c) - f(x))/(c x)
a < d < x < e < c => d < e => por (1) f'(d) < f'(e)
f(x) - f(a) f(c) - f(x)
=> ---------- < ----------x-a
c-x
f(x)c - f(x)c - f(a)c + f(a)x < f(c)x - f(c)a - f(x)x + f(x)a

f(x)(c - a) < f(c)x - af(c) - f(a)x + f(a)c + af(a) - af(a)
f(x)(c - a) < (f(c) - f(a))(x - a) + f(a)(c - a)
f(c) - f(a)
Divido entre c - a: f(x) < ----------(x - a) + f(a)
c-a
Teorema
f es derivable en (a,b)
f'(x) distinto de 0 para todo x perteneciente a (a,b)
T) f es montona en [a,b]
Demostracin:
f continua en [a,b].
f es derivable en (a,b).
Si f(a)=f(b)
=> por teo. de Rolle existe c perteneciente a (a,b) / f'(c)=0.
Absurdo => f(a)f(b)
Si f(a) < f(b):
Sea x1 perteneciente a (a,b).
Supongamos f(a) > f(x1) (1)
Considero [x1,b].
f es continua en [x1,b]
f(x1) < f(a) < f(b)
=> por la propiedad de Darboux existe x2 perteneciente a (x1,b) / f(x2) = f(a)

Considero [a,x2]
f continua y derivable en (a,x2)
f(a) = f(x2)
=> por teo. de Rolle existe x3 perteneciente a (a,x2) / f'(x3) = 0. Absurdo que proviene de (1).
=> Para todo x perteneciente a (a,b) f(a) < f(x)

Sea x4 perteneciente a (a,b)
Supongamos f(x4) > f(b) (2)
f es continua en [a,x4]
f(x4) > f(b) > f(a)
=> por la propiedad de Darboux existe x5 perteneciente a (a,x4) / f(x5) = f(b)
f continua y derivable en [x5,b]
f(x5) = f(b)
=> por teo. de Rolle existe x6 perteneciente a (x5,b) / f'(x6) = 0. Absurdo de (2).
=> Para todo x perteneciente a (a,b) f(b) > f(x)
=> Para todo x perteneciente a (a,b) f(a) < f(x) < f(b)
Sean x7 y x8 pertenecientes a (a,b)
x7 < x8.
Supongamos f(x7) > f(x8) (3)
f(a) < f(x8) < f(x7)
f continua en [a,x7]
=> por la propiedad de Darboux existe x9 perteneciente a (a,x7) / f(x9) = f(x8)
f continua y derivable en [x9,x8]
f(x9) = f(x8)
=> por teo. de Rolle existe x10 perteneciente a (x9,x8) / f'(x10) = 0. Absurdo de (3).
=> Para todo x y para todo z pertenecientes a (a,b) f(x) < f(z)
=> por def. de funcin montona creciente en un intervalo f es montona creciente en [a,b]
(Si suponemos f(a) > f(b) se demuestra que f es montona decreciente en [a,b].)
Existencia y continuidad de la funcin inversa

Sea f una funcin que asocia a un punto x de su dominio la imagen y=f(x). Supongamos que f es
tal que diferentes x son transformados siempre en diferentes y. As, cada y en el rango de f es la
imagen de a lo ms un valor x. Puede asociarse con cada y en el rango de f el valor x que es su
preimagen. De esta manera, se define una funcin g cuyo dominio es el rango de f y que al
aplicarse a una imagen y=f(x), reproduce el valor original x, esto es, g(f(x))=x.
g se denomina la inversa de f y se denota f-1. Esta funcin g se halla al despejar la x en funcin de
y.
f tambin es la inversa de g, de modo que tambin f(g(y))=y.
Si la funcin g se representa de la manera usual, como funcin de x, por y=g(x), entonces la grfica
de y=g(x) es simtrica de la grfica de y=f(x) con respecto a la recta y=x.
Ejemplo:
y=f(x)=ex
Despejando x en funcin de y: x = Ly
Por lo tanto, f-1(y) = Ly
Expresando f-1 en funcin de x: f-1(x) = Lx
La grfica de f(x) es simtrica de la grfica de f -1(x) con respecto

a la recta y=x.
Para que exista la inversa de una funcin f, f debe ser biyectiva.

Revisaremos las definiciones de funcin inyectiva, biyectiva y sobreyectiva:
Inyectiva: a cada elemento del dominio le corresponde slo un elemento del codominio, pero
pueden existir elementos del codominio que no tengan correspondiente en el dominio.
Biyectiva o biunvoca o "uno a uno": a cada elemento del dominio le corresponde un slo
elemento del codominio y a cada elemento del codominio le corresponde un slo elemento del
dominio.
Sobreyectiva: a cada elemento del dominio le corresponde un slo elemento del codominio y a
cada elemento del codominio le corresponde por lo menos un elemento del dominio.
Es condicin necesaria y suficiente para que la inversa de una funcin f sea otra funcin que f sea
biyectiva.
f-1 es una funcin <=> f es biyectiva
Demostraremos a continuacin que, si una funcin f es continua y montona en un intervalo [a,b],

entonces existe la inversa en [f(a),f(b)], y es tambin montona y continua.
Teorema
f creciente o decreciente en [a,b]
T) El recorrido de f en [a,b] es [f(a),f(b)]
Existe f-1 en [f(a),f(b)]
f-1 es creciente o decreciente
f-1 es continua en [f(a),f(b)]
Demostracin:
Supongamos f creciente en [a,b]
1. Sea x perteneciente a [a,b] => a <= x <= b => f(a) <= f(x) <= f(b) pues f es creciente => f(x)
pertenece a [f(a),f(b)]
Sea z perteneciente a [f(a),f(b)] =>
f(a) <= z <= f(b)
f continua en [a,b]
=> De 1) y 2) por la propiedad de Darboux existe c perteneciente a (a,b) / f(c)=z.

2. Debemos probar que f es biyectiva.
Sean x1 y x2 pertenecientes a [a,b], x1 < x2
=> f(x1) < f(x2) pues f es creciente en [a,b] => f no es sobreyectiva.
De 1) para todo z perteneciente a [f(a),f(b)] existe x0 perteneciente a (a,b) / f(x0)=z => f no
es inyectiva => f es biyectiva.
3. Sean z1 y z2 pertenecientes a [f(a),f(b)], z1 < z2.
Supongo f-1(z1) > f-1(z2) => como f es creciente f(f-1(z1)) > f(f-1(z2)) o sea z1 > z2. Absurdo.
Supongo f-1(z1) = f-1(z2) => f(f-1(z1)) = f(f-1(z2)) o sea z1 = z2. Absurdo.
=> f-1(z1) < f-1(z2) => f-1 es creciente.
(Si f es decreciente, f-1 es decreciente.)
4. Sea z0 perteneciente a (f(a),f(b)) => por 2) existe f-1(z0) y f-1(z0) pertenece a (a,b). Existe un
Ef-1(z0) contenido en [a,b]
a < f-1(z0) - < f-1(z0) < f-1(z0) + para todo z0 perteneciente a (f(a),f(b)) limx->z0 f-1(x) = f-1(z0)
Estudio analtico y representacin grfica de

funciones (EA y RG)
Lo que llamamos estudio analtico de una funcin, consiste en encontrar su dominio, hallar sus
races, determinar dnde crece y dnde decrece, determinar sus mximos y mnimos relativos,
conocer su concavidad, establecer sus puntos singulares.
Todas estas propiedades nos permiten hacer una representacin grfica de la funcin muy
aproximada a la real. Si tan slo calculramos algunos puntos de la grfica, tendramos alguna
idea de su variacin, pero sera arriesgado unirlos con un trazo continuo, ya que podran pasar
inadvertidos puntos singulares, por ejemplo.
Para realizar tal anlisis de la funcin, es aconsejable seguir una serie de pasos ordenados:
1. Determinar el dominio.
2. Estudiar su continuidad. Hallar asntotas verticales.
3. Hallar sus ceros y determinar su signo.
4. Estudiar sus asntotas horizontales y oblicuas.
5. Calcular la derivada primera para hallar extremos (mximos y mnimos), puntos de inflexin
con tangente horizontal y puntos singulares.
6. Calcular la derivada segunda para estudiar la concavidad y encontrar los puntos de
inflexin con tangente oblicua.
Se explicar este procedimiento tomando como ejemplo la funcin f(x) = xe (x+1)/(x-1)
1. Dominio
El dominio de una funcin es el conjunto de valores donde la funcin est definida. Se
deben hallar los valores de x donde la funcin no existe. Estos puntos son:
a. Valores donde algn denominador es 0. Se deben hallar las races de cada
denominador que aparezca en la funcin. Esos puntos no pertenecen al dominio.
b. Valores donde una cantidad subradical de ndice par (por ejemplo raz cuadrada o
raz cuarta) es negativa. Se hallan las races de la cantidad subradical y se estudia
su signo. Los intervalos donde es negativa son intervalos donde la funcin no
existe.
Las races cbicas (y en general todas las de ndice impar) existen para todos los
reales.
c.
Valores donde algn logaritmando es menor o igual que cero. Se hallan ceros y
signo del logaritmando. Donde sea negativo o cero, la funcin no existe.
En f(x) = xe(x+1)/(x-1) tenemos un denominador: x - 1. ste vale 0 cuando x=1. Por lo tanto, f no existe en
x=1.
Dominio de f(x) = Df(x) = {x/x pertenece a R ^ x 1}
2. Continuidad y asntotas verticales

De la parte 1) sabemos en qu puntos no existe la funcin. Ahora tenemos que averiguar
cmo se comporta la funcin en un entorno de esos puntos. Hallamos los lmites laterales
en los puntos de discontinuidad, y en los extremos de los intervalos de discontinuidad. Si
alguno de los lmites laterales en un punto x=a da infinito se dice que f tiene asntota
vertical (AV) de ecuacin x=a (ver la pgina con las definiciones de asntotas).
En el ejemplo:
+inf
----^---lim f(x) = lim xe(x+1)/(x-1) = +inf => f tiene AV x=1.
x->1+
x->1+
-inf
----^----
lim f(x) = lim xe(x+1)/(x-1) = 0+

x->1-
x->1-
Podemos comenzar a trazar la funcin:
3. Ceros y signo
Hallar los ceros de la funcin consiste en resolver la ecuacin f(x)=0.
En algunos casos esto no es sencillo, por lo cual puede utilizarse el mtodo de Rolle o el
mtodo de bacos.
Para especificar el signo se colocan sobre un eje los ceros de la funcin y los puntos de
inexistencia, y se determina el signo (positivo o negativo) en cada uno de los intervalos que
quedan.
En el ejemplo:
f(x) = xe(x+1)/(x-1)
- 0 + E +
-------|-------|------->
0
La funcin exponencial es siempre positiva, para todo exponente real, as que el signo de f es el
signo de x: negativo para x < 0 y positivo para x > 0.
4. Asntotas horizontales y oblicuas

En este punto, determinaremos qu asntotas presenta la funcin cuando x tiende a
+infinito y -infinito (ver la pgina sobre asntotas para revisar lo bsico sobre el tema).
Para ello se debe hallar el lmite de la funcin cuando x tiende a +infinito y -infinito.
a. Si limx->inf f(x) = b la funcin tiene asntota horizontal de ecuacin y=b (la funcin
se acerca a la recta horizontal y=b cuando x tiende a +infinito o -infinito).
b. Si lim x->inf f(x) = inf
Se debe estudiar el limx->inf f(x)/x
Si da inf: no hay asntota. Se dice que la funcin tiene direccin

asinttica (DA) paralela al eje oy.
0: No hay asntota. Se dice que la funcin tiene direccin asinttica

paralela al eje ox.
m 0.
Estudiar limx->inf f(x) - mx
Si da inf: no hay asntota. Se dice que la funcin tiene direccin

asinttica de coeficiente m.
Si da n: Hay asntota de ecuacin y = mx + n.
En el ejemplo:
lim f(x) = lim xe(x+1)/(x-1) = +inf
x->+inf
x->inf
xe(x+1)/(x-1)
f(x)
lim
---- = lim ------------ = e
x->+inf x
x->+inf
lim f(x) - ex = lim xe(x+1)/(x-1) - ex =

x->+inf
x->+inf
IND. 0.inf
|
lim xe(e
(x+1)/(x-1) - 1
- 1) = lim xe(e
x->+inf
2/(x-1)
- 1) =
x->+inf
1 por lmites tipo
------^-----(e2/(x-1) - 1) 2
2ex
lim xe.-------------.----- = lim

x->+inf
2/(x-1)
------ = 2e
(x-1) x->+inf x - 1
Asntota: y = ex + 2e
lim f(x) = -inf

x->-inf
f(x)
lim ---- = e
x->-inf x
lim f(x) - ex = 2e
x->-inf
Para x->-inf la asntota es y = ex + 2e.
Sigamos trazando la grfica:
Derivada primera
Se debe calcular la derivada primera, y luego hallar sus ceros y estudiar su signo. Por
informacin sobre derivacin, ver derivada y reglas de derivacin.
Extremos
+ + +
sg f'(x) ----------->
f es creciente
- - sg f'(x) ----------->
f es decreciente
+ 0 sg f'(x) -----|----->
a
f presenta un mximo en (a,f(a)).
- 0 +
sg f'(x) -----|----->
a
f presenta un mnimo en (a,f(a)).
Por detalles ver la pgina sobre variacin.
Puntos de inflexin con tangente horizontal

- 0 sg f'(x) -----|----->
a
f presenta un punto de inflexin en (a,f(a)) con
tangente horizontal.
+ 0 +
sg f'(x) -----|----->
a
f presenta un punto de inflexin en (a,f(a)) con
tangente horizontal.
Puntos singulares
E
sg f'(x) -----|----->
a
Si la derivada primera no existe en un punto en que la funcin s existe, se dice que la
funcin presenta un punto singular.
Para averiguar qu tipo de punto singular es, se deben calcular los lmites laterales de la
derivada primera en ese punto.
a. lim f'(x) lim f'(x)
b. x->a+
c.
x->a-
(los dos finitos y diferentes o a lo sumo uno de ellos infinito.)

La funcin presenta un punto anguloso en x=a.
Las tangentes laterales en el punto son diferentes.

Sus ecuaciones son:
y = f'(a)(x-a) + f(a)
---lim f'(x) y lim f'(x)
x->a+
x->a-
d. limx->a+ f'(x) y limx->a- f'(x) son infinitos de distinto signo (la tangente en dicho punto
es vertical).
La funcin presenta un punto de retroceso en x=a.

Estos puntos tambin son un mximo o un mnimo.
e. limx->a+ f'(x) y limx->a- f'(x) son infinitos de igual signo.
La funcin presenta tangente vertical y es creciente o decreciente.
El punto se llama punto de inflexin con tangente vertical.

Continuemos con el ejemplo.
f(x) = xe(x+1)/(x-1)
( x-1-(x+1) )
f'(x) = e
(x+1)/(x-1)
+ xe
(x+1)/(x-1)
------------- =
(x-1)2
e(x+1)/(x-1)(x2 - 4x + 1)
-2x
e(x+1)/(x-1)(----- + 1) = -----------------------(x-1)2
(x-1)2
__
______
4 +- \|16 - 4
4+2\|3
/ ------- = 2 + \|3 = 3,73
------------- = /
2
__ ~
2
__ ~
\ 2-\|3 = 0,27
crec max dec dec min crec
+ 0 - E - 0 +
sg f' -------|-------|-------|------->
__
2-\|3
__
1
2+\|3
__
Mximo en (2 - \|3, 0,047)
__
Mnimo en (2 + \|3, 21,1)
Dibujemos ahora esos extremos:
Derivada segunda
Se halla la derivada segunda y luego se hallan sus ceros y signo.
Concavidad
+ +
sg f'' -------->
Si el signo de la derivada segunda es positivo, la
funcin presenta concavidad positiva.
- sg f'' -------->
Si el signo de la derivada segunda es negativo, la
funcin presenta concavidad negativa.
Puntos de inflexin con tangente oblicua

- 0 +
sg f'' ----|---->
a
+ 0 sg f'' ----|---->
a
Ecuacin de la tangente: y = f'(a)(x-a) + f(a)

Por ms informacin, ver la pgina sobre concavidad.
En el ejemplo:
(8x - 4)
(x+1)/(x-1)
f''(x) = e
-------
(x - 1)4
- 0 + E +
sg f'' -----|-----|----->
1/2
~
f(1/2) = 0,025
~
f'(1/2) = -2,15
y = -2,15(x-1/2) + 0.025 = -2,15x + 1,1
Finalmente, dibujemos el punto de inflexin:
Veamos ahora la grfica exacta de la funcin:
APROXIMACION DE RAICES
Mtodos de aproximacin de races

Cuando se trata de hallar las races de una funcin f(x), se debe resolver la ecuacin f(x)=0. En
algunos casos, esto es una tarea sencilla, por ejemplo con las funciones lineales o cuadrticas,
pero en otros no es nada fcil. Para estos casos, existen mtodos tiles que permiten, si no
determinar, aproximar las races buscadas.
Mtodo de Rolle
Se halla la derivada primera y luego se estudian sus ceros y su signo.
Por ejemplo, si el signo de f'(x) es
- 0 + 0 -----|-----|----->
a
En el intervalo (a,b) la funcin es creciente (ver condicin suficiente para el crecimiento en un

intervalo).
Si el signo de f en a y b es el mismo (positivo o negativo), f no cruza el eje ox en (a,b).
Si el signo de f en a es distinto del signo de f en b, entonces por el teorema de Bolzano, f tiene una
raz en (a,b), y es una sola por ser creciente.
Para hallar esa raz se va partiendo el intervalo hasta que se llega a ella o a una aproximacin.
Vemoslo ms claramente con un ejemplo.

f(x) = 2x3 + 3x2 - 12x - 30
f'(x) = 6x2 + 6x - 12
+ 0 - 0 +
sg f' -------|-------|------->
-2
f(-2) = -10
f(1) = -37
-inf -
- +inf
sg f -------|-------|------->
-2
f es decreciente en (-2,1) (ver signo de f') y negativa en los extremos (ver signo de f) => no tiene
raz en ese intervalo.
f es creciente en (1,+inf), de acuerdo al signo de f', y como es negativa en 1 y positiva para valores
muy grandes de x, tiene una raz > 1.
f(2) = -26
f(3) = 15
=> 2 < < 3
Probemos entonces con 2.5:
f(2.5) = -10
=> 2.5 < < 3
Probemos con 2.8:
f(2.8) = 3.824
=> 2.5 < < 2.8
Veamos f(2.7):
f(2.7) = -1.164
=> 2.7 < < 2.8
Continuando de esta manera, llegamos a que est entre 2.72 y 2.73:
f(2.73) = 0.29
f(2.72) = -0.19
=> Podemos aproximar a 2.725.

Si quisiramos una aproximacin mayor de la raz, deberamos seguir este proceso.
Mtodo de bacos
Se utiliza cuando la funcin puede expresarse como diferencia de dos funciones fciles de graficar.
Veamos un ejemplo:
f(x) = L|x| + x
f(x) puede expresarse como f(x) = L|x| - (-x)
Graficamos sobre el mismo sistema de ejes ambas funciones: g(x) = L|x| y h(x) = -x.
En el punto donde se cortan las curvas, ambas funciones tienen el mismo valor numrico, g() =
h().
Entonces es un cero de f(x), pues f() = g() - h() = 0
Para valores menores que , la recta correspondiente a -x est por encima de la curva
correspondiente a L|x|, as que la resta da negativo.
Para valores de x mayores que , L|x| es mayor que -x, as que la resta da positivo. Observando la
grfica vemos que est entre 0 y 1.
- E - 0 + + +
signo de f(x) -----|-----|-----|----->
0
Comencemos a aproximar:
~
f(0.5) = -0.19 |
~
| =>
f(0.56) = -0.02 |
~
| => = 0.565
f(0.6) = 0.089 |
f(0.57) = 0.008 |
SUCESIONES SERIES
Sucesiones
Definicin
Sucesin
Se denomina sucesin a una funcin cuyo dominio es el conjunto de los nmeros naturales.
Para denotar el n-simo elemento de la sucesin se escribe an en lugar de f(n).
Ejemplo:
an = 1/n
a1 = 1, a2 = 1/2, a3 = 1/3, a4 = 1/4, ...
Definicin
Sucesin montona creciente
Una sucesin es montona creciente si se cumple que para todo n natural a n <= an+1 (a1 <= a2 <= a3
<= ... <= an).
Ejemplo:
an = n es montona creciente.
a1 = 1, a2 = 2, a3 = 3, a4 = 4, ...
Definicin
Sucesin montona decreciente
Una sucesin es montona decreciente si se cumple que para todo n natural a n >= an+1 (a1 >= a2 >=
a3 >= ... >= an).
Ejemplo:
an = 1/n es montona decreciente.
a1 = 1, a2 = 1/2, a3 = 1/3, a4 = 1/4, ...
Lmite finito de una sucesin

Consideremos la sucesin an = 1/n.
a1 = 1
a2 = 1/2 = 0.5
a3 = 1/3 0.33
a4 = 1/4 = 0.25
a5 = 1/5 = 0.2
a6 = 1/6 0.17
a7 = 1/7 0.14
a8 = 1/8 0.12
a9 = 1/9 0.11
a10 = 1/10 = 0.1
A medida que aumenta n, los trminos de la sucesin son cada vez ms cercanos a 0. Si
representamos los trminos como puntos en una lnea, esto significa que los puntos a n se apian
cada vez ms cerca del punto 0 conforme n crece.
Se dice que an tiende a 0, o que tiene lmite 0.

Se expresa simblicamente por: lim an = 0 o bien, ocasionalmente, por la notacin abreviada a n ->
0.
Definicin
Lmite finito
lim an = a <=> para todo >0 existe N natural / para todo n > N a - < a n < a + , o lo que es lo
mismo, |an - a| < .
Para cualquier nmero positivo , por pequeo que sea, podemos encontrar un natural N
suficientemente grande tal que a partir del ndice N en adelante se tiene que |a n - a| < .
Es decir, si tomamos un entorno de a de cualquier radio siempre habr un subndice N tal que
desde N en adelante todos los trminos de la sucesin pertenecen a dicho entorno.
Lmite infinito de una sucesin

Consideremos la sucesin an = n2.
a1 = 1
a2 = 4
a3 = 9
a4 = 16
...
a10 = 100
...
a100 = 10.000
Al crecer n, an no tiende a un lmite definido, sino que crece ms all de toda cota. Se dice que a n
tiende a infinito.
Definicin
Lmite infinito
lim an = +inf <=> para todo K>0 existe N natural / para todo n > N a n > K.
Para cualquier nmero positivo K (tan grande como se quiera), podemos encontrar un natural N, tal
que aN y todos los trminos siguientes son mayores que K. Esto quiere decir que a n puede hacerse
mayor que cualquier cota, con tal de que n sea lo suficientemente grande.
Del mismo modo se define lim an = -inf <=> para todo K<0 existe N natural / para todo n > N a n < K.
Definicin
Convergencia y divergencia
Cuando una sucesin tiene lmite finito a se dice que es convergente y converge a a.
Una sucesin que tiene lmite infinito se llama divergente.
Una sucesin que carece de lmite se llama oscilante.
La sucesin an = 1/n converge a 0.
La sucesin an = n2 es divergente.
La sucesin an = sen n es oscilante, pues sus valores varan entre 1 y -1.
Propiedades del lmite finito de sucesiones
Unicidad del lmite

Si una sucesin tiene lmite es nico.
H) lim an = b
T) b es nico
Demostracin:
La demostracin se hace por reduccin al absurdo.
Suponemos que an tiene dos lmites distintos b y c.
Suponemos que b > c.
lim an = b => (por def. de lmite finito de una sucesin) para todo >0 existe n1 natural / para todo n
> n1 b - < an (por def. de lmite finito de una sucesin) para todo >0 existe n2 natural / para todo n
> n2 c - < a n < c +
Consideremos un tal que c+ < b-, o sea < (b - c)/2
Sea N = max {n1,n2}

Para todo n > N se cumple
b - < an < b +
c - < an < c +
Absurdo, pues an no puede pertenecer a dos entornos disjuntos.

Absurdo de suponer b c.
Por lo tanto b = c.
Lmite de la sucesin comprendida

Si una sucesin est comprendida entre otras dos que tienen igual lmite, entonces tiene el mismo
lmite.
H) lim an = lim bn = p
Para todo n > n0 an <= cn <= bn

T) lim cn = p
Demostracin:
lim an = p => (por def. de lmite de una sucesin) para todo 1 > 0 existe n1 natural / para todo n > n1
p - 1 < an (por def. de lmite de una sucesin) para todo 2 > 0 existe n2 natural / para todo n > n2
p - 2 < bn N se cumple p-1 < an <= cn <= bn < p+2
p-1 < cn < p+2
Sea = min {1, 2}
Para todo n > N p- < cn < p+
=> (por def. de lmite de una sucesin) lim cn = p.
Operaciones con lmites

El lmite de la suma, producto y cociente de sucesiones se determina por las mismas reglas que
para las funciones de variable continua. Las demostraciones son iguales, basta sustituir f(x) por a n
y considerar que la tendencia siempre es hacia +infinito. Aqu slo demostraremos el lmite de una
suma. Para ver las dems reglas visitar la pgina sobre operaciones con lmites.
Lmite de la suma
Si dos sucesiones tienen lmite finito, entonces su suma tiene lmite finito y es igual a la suma de
esos lmites.
H) lim an = a, lim bn = b
T) lim an + bn = a + b
Demostracin:
Queremos probar que, dado > 0, existe N > 0 tal que para todo n > N |(a n + bn) - (a+b)| < .
Sea ' = /2
lim an = a => (por def. de lmite finito de una sucesin) para todo ' > 0 existe n0 natural / para todo
n > n0 |an - a| < '.
lim bn = b => (por def. de lmite finito de una sucesin) para todo ' > 0 existe n1 natural / para todo
n > n1 |bn - b| < '.
Sea N = max {n0, n1}
Para todo n > N se cumple:
|an - a| < '
|bn - b| < '
=> |an - a| + |bn - b| < 2' =

|(an + bn) - (a+b)| = |(an - a) + (bn - b)| <= (*) |an - a| + |bn - b| <
(*) Desigualdad triangular: |x + y| <= |x| + |y|
Resumiendo, dado >0 existe N / para todo n > N |(a n + bn) - (a+b)| <
=> (por def. de lmite finito de una sucesin) lim an + bn = a + b
Definicin
Sucesiones equivalentes
Dos sucesiones se dicen equivalentes cuando el lmite de su cociente es 1.
Definicin
Sucesin acotada
M es cota superior de la sucesin an si an < M para todo n.
m es cota inferior de la sucesin an si an > m para todo n.
Una sucesin es acotada si tiene tanto cota superior como inferior.
Teorema
Toda sucesin montona y acotada converge.
H) an montona
Existen m y M / m < an < M para todo n.
T) lim an = b
Demostracin:
Queremos probar que existe N / para todo n > N |a n - b| < .
Supongamos que an es creciente (si suponemos que es decreciente, la demostracin es anloga).
an < M para todo n
Es decir que el conjunto de todos los trminos de la sucesin S = {a 1, a2, a3, ...} tiene extremo
superior (la menor de las cotas superiores), llammosle b.
Sea >0
b - no es cota superior de S pues es menor que el extremo superior
=> existe N / aN > b-.
an es creciente => para todo n > N an >= aN => an > b- =>
-(an - b) <
(1)
b+ tambin es cota superior de S
=> para todo n an < (b+) =>
=> an - b <
(2)
=> De 1) y 2) para todo n > N |an - b| <
Teorema
Toda sucesin convergente es acotada.
H) an convergente
T) an acotada
Demostracin:
an es convergente, eso significa que tiene lmite finito: lim a n = a
=> (por def. de lmite finito de una sucesin) para todo >0 existe N / para todo n > N a- < an < a+
=> (por def. de sucesin acotada) an est acotada.

Nota: El recproco no es cierto. Que una sucesin est acotada no implica que sea convergente.
Contraejemplo: an = (-1)n est acotada pero no es convergente.
-1, 1, -1, 1, -1, 1, -1, 1, ...
Definicin
Par de sucesiones montonas convergentes
((an),(bn)) es un par de sucesiones montonas convergentes si
a) an es creciente y bn decreciente.
b) Para todo n natural an <= bn
c) Para todo >0 existe h natural / bh - ah <
Ejemplo:
an = -1/n, bn = 1/n
an es creciente.
Debemos probar que an+1 >= an, o sea an+1 - an >= 0
-1
-1
-n + n + 1
--- - --- = ---------- = ------ > 0

n+1
n(n+1)
n2 + n
bn es decreciente.
Debemos probar que bn+1 <= bn, o sea bn - bn+1 >= 0
1
n+1-n
--- - --- = --------- = ------ > 0

n
n+1
n(n+1)
n2 + n
Para todo n an < bn

-1
--- < --- pues -n < n para todo n.

n
Dado >0, existe h / bh - ah <

1
-1
--- - --- = --- <

h
Para que se cumpla basta tomar un h > 2/
Propiedad
Todo PSMC tiene frontera
lim an = c- significa que an se aproxima a c por la izquierda, y lim bn = c+ significa que bn se
aproxima a c por la derecha.
El nmero e
A menudo un nmero a se describe por medio de una sucesin infinita a n de aproximaciones; esto
es, el valor a est dado por el valor an con cualquier grado de precisin deseado si el ndice n se
elige suficientemente grande.
Este es el caso del nmero e (e = 2,718281...), que puede definirse como el lmite de la sucesin a n
= (1 + 1/n)n o de la sucesin bn = (1 + 1/n)n+1.
Probaremos que estas sucesiones forman un PSMC.
an es creciente.
Demostracin:
Utilizando la frmula del binomio de Newton, podemos expresar (1+1/n) n como:
n n
n!
an = (1 + 1/n)n = Ci.1n-i.(1/n)i = ---------i=0 (n-i)!i!n i
i=0
n+1 n+1
n+1
(n+1)!
an+1=(1 + 1/(n+1))n+1 = Ci.1n+1-i.(1/(n+1))i = ---------------i=0 (n+1-i)!i!(n+1)i
i=0
El desarrollo de an+1 tiene un trmino ms que el de an y cada trmino es positivo. Si probamos que
cada sumando de an es menor o igual que el correspondiente de an+1 probaremos que an es
creciente.
n!
(n+1)!
---------- <= --------------(n-i)!i!ni
(n+1-i)!i!(n+1)i
n(n-1)...(n-i+1) ? (n+1)(n)...(n+1-i+1) --> i factores

---------------- <= -------------------n.n....n
(n+1)(n+1)...(n+1) --> i factores
(n-1) (n-i+1) ? n
n+1-i+1
-----...------- <= ---...------n
n
1
n+1
i-1 ?
n+1
i-1
(1 - ---)...(1 - ---) <= (1 - ---)...(1 - ---)

n
n+1
n+1
Cada factor es de la forma 1 - p/n donde p es el mismo en ambos miembros.

1 - p/n < 1 - p/(n+1)
Entonces cada factor del primer miembro es menor que el correspondiente del segundo.
Por lo tanto, cada sumando del desarrollo de an es menor que el correspondiente de an+1.
=> an es creciente.
bn es decreciente.
bn = (1 + 1/n)n+1
bn+1 = (1 + 1/n+1)n+2 = (1 + 1/n+1)n+1.(1 + 1/n+1)
?
bn+1 <= bn
?
n+1
(1 + 1/n+1) .(1 + 1/n+1) <= (1 + 1/n)n+1

(1 + 1/n)n+1 ?
-------------- >= 1 + --(1 + 1/n+1)n+1
n+1
n+1/n n+1 ?
( ------- )
>= 1 + ---
n+2/n+1
n+1
n2 + 2n + 1 n+1 ?
( ----------- )
>= 1 + ---
n + 2n
1
n+1
n+1 ?
( 1 + ------- ) >= 1 + --n2 + 2n
n+1
Desigualdad de Bernoulli: (1+p)q >= 1 + pq si p>=-1 y q>1
n+1
n+1
( 1 + ------- ) >= 1 + ------n2 + 2n

n+1 ?
n2 + 2n
1
1 + ------ >= 1 + --n2 + 2n
n+1
n+1 ? 1
------- >= --n2 + 2n
n+1
n2 + 2n + 1 > n2 + 2n se cumple para todo n.

Para todo n an < bn
an = (1 + 1/n)n
bn = (1 + 1/n)n+1
?
bn - an > 0
?
n+1
(1+1/n)
- (1+1/n)n > 0
Sacamos factor comn:

(1+1/n)n(1+1/n - 1) = 1/n(1+1/n)n > 0 para todo n >= 1.
Dado >0 existe n natural / bn - an <
(1)
(2)
bn - an = 1/n(1+1/n) = (1/n)an < (1/n)bn < (1/n)b1 = (1/n)4 <

(1) an < bn
(2) bn decreciente
Basta elegir n > 4/
Por lo tanto, an y bn forman un PSMC. El elemento frontera es el nmero e.
n=1:
2<e<4
n=2: 2,25 < e < 3,375

n=3: 2,37 < e < 3,16
n=4: 2,44 < e < 3,05
...
n=100: 2,70 < e < 2,73
Series
Definicin
Dada una sucesin an es posible formar una nueva sucesin Sn del siguiente modo:
S1 = a1
S2 = a1 + a2
S3 = a1 + a2 + a3
S4 = a1 + a2 + a3 + a4
...
Sn = a1 + a2 + a3 + a4 + ... + an
La sucesin Sn se llama serie y se denota por
+inf
n=1 an o simplemente an
Los elementos a1, a2, a3, ..., an, ... de la sucesin original son los trminos de la serie y S 1, S2, S3, ...,
Sn, ... se denominan las sumas parciales de la serie.
Una serie es una sucesin de sumas parciales.
Clasificacin de una serie
Si la sucesin Sn tiene lmite finito S, la serie es convergente (converge a S). A S se le

llama suma de la serie.
Si lim Sn = +inf o -inf se dice que la serie es divergente.
Si Sn no tiene lmite, se dice que la serie es oscilante.
Nota: Sn es la sucesin de sumas parciales, no la sucesin a n.
Propiedades de las series

Propiedad asociativa
En toda serie se pueden sustituir varios trminos por su suma efectuada, sin que vare el caracter
ni la suma de la serie.
Nota:
a. La propiedad asociativa no es vlida en series oscilantes.
b. La propiedad disociativa no es vlida para series convergentes o divergentes.
Propiedad distributiva
H) an converge y su suma es S
T) kan converge y su suma es kS
Demostracin:
Sn = an
Tn = kan
lim Sn = lim a0 + a1 + ... + an = S
lim Tn = lim ka0 + ka1 + ... + kan = lim k(a0 + a1 + ... + an) = kS
=> kan converge y su suma es kS.
De manera anloga:
Si an diverge, kan tambin diverge.
Si an es oscilante, kan tambin es oscilante.
Propiedad aditiva
H) Sean Sn = an y Tn = bn dos series convergentes con sumas S y T respectivamente.
T) La serie an+bn es convergente y su suma es S + T.
Demostracin:
El trmino n-simo de la serie an+bn es Sn + Tn
lim Sn + Tn = lim Sn + lim Tn = S + T (por lmite de una suma de sucesiones)
=> an+bn converge a S+T
Propiedad de linealidad
H) Sean Sn = an y Tn = bn dos series convergentes con sumas S y T respectivamente, y sean h
y k dos constantes.
T) La serie kan+hbn es convergente y su suma es kS + hT.
Demostracin:
an converge a S => por la propiedad distributiva, ka n converge a kS
bn converge a T => por la propiedad distributiva, hbn converge a hT
=> por la propiedad aditiva kan+hbn converge a kS + hT
Teorema
Condicin necesaria para la convergencia
Es condicin necesaria para que la serie an sea convergente, que lim an = 0.
H) Sn = an convergente
T) lim an = 0
Demostracin:
Sn = a1 + a2 + ... + an-1 + an
Sn-1 = a1 + a2 + ... + an-1
an = Sn - Sn-1
Sn es convergente => lim Sn = lim Sn-1 = S
lim an = lim Sn - Sn-1 = S - S = 0
Nota: Este criterio es necesario pero no suficiente, es decir que, si el trmino n-simo tiende a 0,
no se puede afirmar que la serie sea convergente.
Contraejemplo: 1/n es divergente aunque lim an=0
Definicin
Serie geomtrica
Aquella cuyos trminos forman una progresin geomtrica. (Cada trmino es igual al anterior
multiplicado por una constante).
Si llamamos a al primer trmino y k a la constante,
Sn = a + ak + ak2 + ak3 + ... + akn-1 = akn-1
Multipliquemos ambos miembros por k:
kSn = ak +ak2 + ak3 + ak4 + ... + akn = akn
Restamos ambas ecuaciones:
Sn - kSn = a - akn
(a-akn)
Sn = ------(1-k)
a
akn
Sn = --- - --1-k 1-k

Para |k| < 1 lim Sn = a/(1-k) pues kn -> 0, la serie geomtrica converge.
Para |k| > 1 la serie diverge pues kn -> inf.
Para k = 1 la serie diverge pues Sn = na.
Para k = -1 la serie es oscilante.
D Osc C D D
------|------|------1
Definicin
Serie telescpica
Serie tal que cada trmino se expresa como una diferencia de la forma a n = bn - bn+1.
Teorema
Suma de una serie telescpica
Sean an y bn dos sucesiones tales que an = bn - bn+1.
La serie telescpica an converge si y slo si la sucesin bn converge y se cumple que an = b1 - L
donde L = lim bn+1.
Demostracin:
Sn = an = (bn - bn+1) = (b1 - b2) + (b2 - b3) + ... + (bn - bn+1) = b1 - bn+1
lim Sn = lim b1 - lim bn+1
Por lo tanto an converge si y slo si bn converge, y en ese caso su suma es b1 - L, donde L = lim
bn+1. (Si bn diverge, an tambin).
Ejemplo: Sn = 1/(n2 + n)
an = 1/(n2 + n) = 1/n - 1/n+1
bn = 1/n converge a 0
=> 1/(n2 + n) converge a 1 - lim 1/n+1 = 1
Series de trminos positivos

Definicin
Serie de trminos positivos (STP)
Es una serie an tal que an>=0 para todo n.
(La serie es siempre una sucesin creciente).
Ejemplo: 1/2n
Criterios de convergencia para STP
Teorema previo
Una serie de trminos positivos an converge si y slo si la sucesin de sus sumas parciales est
acotada superiormente.
Demostracin:
Directo:
an converge => lim Sn = S => (por def. de lmite finito de una sucesin) para todo > 0 existe N /
para todo n>N S - < Sn < S +
=> Sn est acotada superiormente.
Recproco:
an es montona creciente por ser de trminos positivos.
Sn < M para todo n
Toda sucesin montona y acotada converge (ver teorema) => Sn converge
Ejemplo: 1/n!
1/n! <= 1/2n-1 para todo n>=1 pues n! >= 2n-1 ya que n! es el producto de (n-1) factores mayores o
iguales que 2.
Por lo tanto 1/n! <= 1/2n-1 = (1/2)n-1 = 2 por ser una serie geomtrica (a=1, k=1/2).
Por el teorema anterior 1/n! converge y su suma es menor que 2.
Criterio de comparacin
Sean an y bn dos series de trminos positivos.
Si existe una constante c > 0 tal que an <= cbn para todo n, entonces la convergencia de bn
implica la de abn.
Demostracin:
Sn = an = a1 + a2 + ... + an
Tn = bn = b1 + b2 + ... + bn
an <= cbn para todo n
=> Sn <= c.Tn
Por hiptesis Tn = bn converge => (teorema) la sucesin de sus sumas parciales est acotada
superiormente: Tn < M
=> Sn <= cTn < cM
=> an es convergente pues la sucesin de sus sumas parciales est acotada superiormente
(teorema).
Nota: El teorema tambin es valido si an <= cbn para todo n >= N.
Si existe una constante c > 0 tal que an >= cbn para todo n, entonces si bn diverge, an tambin
diverge.
Demostracin:
Sn = an
Tn = bn
bn diverge => lim Tn = +inf => lim cTn = c.lim Tn = +inf
Sn >= cTn => lim Sn = +inf => an diverge.
Ampliacin del criterio

Sean an y cn dos series de trminos positivos.
an y cnan convergen o divergen simultneamente.
Criterio de comparacin por paso al lmite

Si lim an/bn = k > 0, entonces an converge si y slo si bn converge. ( an y bn son de la misma
clase).
Demostracin:
lim an/bn = k > 0 => (por def. de lmite finito de una sucesin) para todo > 0 existe N / para todo n
> N |an/bn - k| < o sea k - < an/bn < k +
Directo:
bn < (1/(k-))an
=> por el criterio anterior, si an converge, bn converge .
Recproco:
an < (k+)bn
=> por el criterio anterior, si bn converge, an converge.
Si an y bn son sucesiones equivalentes (lim an/bn = 1) => por el teorema anterior, an y bn son de
la misma clase. Por lo tanto, para clasificar una serie de trminos positivos a n, se puede sustituir
an por su equivalente bn.
Ejemplo:
1
----n(n+1)
1
----- es equiv. a --n(n+1)
n2
=> ----- converge pues --- converge

n(n+1)
n2
Criterio de D'Alembert
H) Sea an una serie de trminos positivos.
an+1/an <= k < 1 para todo n >= N
T) an converge.
Demostracin:
an+1 <= kan (k<1) para todo n>=N.
aN+1 <= kaN
aN+2 <= kaN+1
...
an+1 <= kan
Multiplicamos: aN+1.aN+2.....an+1 <= kn-N+1.aN.aN+1.....an
an+1 <= knaN/kN-1
an+1 <= Hkn
donde H = aN/KN-1
k<1 => kn converge (es una serie geomtrica) => por la propiedad distributiva Hk n converge =>
por el criterio de comparacin an converge
an+1/an >= 1 para todo n >= N
T) an diverge.
Demostracin:
an+1 >= an >= an-1 >= ... >= aN > 0
an es creciente
an >= 0 para todo n
=> an no tiende a 0 => (por Condicin necesaria para la convergencia) an diverge.
Corolario de D'Alembert
lim an+1/an = L < 1
T) an converge.
Demostracin:
lim an+1/an = L => (por def. de lmite finito de una sucesin) para todo > 0 existe N / para todo n >
N |an+1/an - L| < o sea L - < an+1/an < L +
Para que L + < 1 basta elegir < 1 - L
Para todo n>N an+1/an < L+ < 1 => por el teorema anterior an converge.
lim an+1/an = L > 1
T) an diverge.
Demostracin:
lim an+1/an = L => (por def. de lmite finito de una sucesin) para todo > 0 existe N / para todo n >
N |an+1/an - L| < o sea L - < an+1/an < L +
Para que L - > 1 basta elegir < L - 1

Para todo n>N an+1/an > 1 => por el teorema anterior an diverge.
Cuando el lim an+1/an = 1+ la serie an diverge.

lim an+1/an = 1+ => an+1 >= an => el trmino general an no tiende a 0 => an diverge.
Cuando lim an+1/an = 1- D'Alembert no se aplica.
1/n
lim an+1/an = lim (1/n+1)/(1/n) = lim n/n+1 = 1- y 1/n diverge.
1/n2
lim an+1/an = lim (1/(n+1)2)/(1/n2) = lim n2/(n+1)2 = 1- y 1/n2 converge.
Criterio de Cauchy
n __
\|an <= k < 1 para todo n >= N
T) an converge.
Demostracin:
n __
\|an <= k => an <= kn
k<1 => kn converge => por el criterio de comparacin an converge.
n __
\|an > 1 para todo n >= N
T) an diverge.
Demostracin:
n __
\|an > 1 =>
an > 1 => an no tiende a 0 => an diverge.
Cauchy por paso al lmite

n __
lim \|an = L < 1
T) an converge.
n __
lim \|an = L => (por def. de lmite finito de una sucesin)
n __
para todo > 0 existe N / para todo n > N |\|a n - L| < o sea
n __
L - < \|an < L +
n __
\|an < L + < 1
=> por el teorema anterior an converge.
n __
lim \|an = L > 1
T) an converge.
n __
lim \|an = L => (por def. de lmite finito de una sucesin)
n __
para todo > 0 existe N / para todo n > N |\|a n - L| < o sea
n __
L - < \|an < L +
n __
\|an > L - > 1
=> por el teorema anterior an diverge.
Raabe
n(1 - an+1/an) >= 1+k para todo n >= N, k perteneciente a R+
T) an converge.
Demostracin:
Escribamos la desigualdad como: nan - nan+1 >= an + kan
Pasemos an para el lado izquierdo: (n-1)an - nan+1 >= kan
La desigualdad se cumple para todo n>=N:
(N-1)aN - NaN+1 >= kaN
NaN+1 - (N+1)aN+2 >= kaN+1
...
(n-1)an - nan+1 >= kan
Sumamos: (N-1)aN - nan+1 >= k(aN + aN+1 + ... + an) = k(Sn - H)
(donde H es la suma de los trminos anteriores a aN)
k(Sn - H) <= (N-1)aN - nan+1 < (N-1)aN
Sn - H <= (N-1)aN/k
Sn <= (N-1)aN/k + H
La sucesin de sumas parciales est acotada superiormente => (teorema) an converge.
n(1 - an+1/an) <= 1 para todo n >= N
T) an converge.
Demostracin:
Escribamos la desigualdad como: nan - nan+1 <= an
y luego como: nan+1 >= (n-1)an
nan+1 >= (n-1)an >= (n-2)an-1 >= ... >= (N-1)aN
nan+1 >= (N-1)aN
an+1 >= H.1/n donde H = (N-1)aN
1/n diverge => por distributiva H.1/n diverge => por el criterio de comparacin an diverge.
Generalizacin por paso al lmite

lim n(1 - an+1/an) = L > 1
T) an converge.
Demostracin:
lim n(1 - an+1/an) = L => (por def. de lmite finito de una sucesin) para todo > 0 existe N / para
todo n > N L - < n(1 - an+1/an) < L +
Para todo n > N n(1 - an+1/an) > L - > 1 => por el teorema anterior an converge.
lim n(1 - an+1/an) = L < 1
T) an diverge.
Demostracin:
lim n(1 - an+1/an) = L => (por def. de lmite finito de una sucesin) para todo > 0 existe N / para
todo n > N L - < n(1 - an+1/an) < L +
Para todo n > N n(1 - an+1/an) < L + < 1 => por el teorema anterior an diverge.
Cuando lim n(1 - an+1/an) = 1- la serie an tambin diverge.
Definicin
Sucesin contenida o subsucesin
ain est contenida en an si in es natural y lim in = +inf
Ejemplo: an = n
1,2,3,4,5,6,...
Ejemplos de sucesiones contenidas:
a2n: 2,4,6,...
a2n-1: 1,3,5,...
a10n: 10,20,30,...
Teorema
H) ain y ai'n son sucesiones contenidas en an
lim ain = lim ai'n = p
{in} U {i'n} = {n/n > q}
T) lim an = p
Series alternadas
Definicin
Son series de la forma: (-1)n+1.an donde an > 0
Sus trminos son alternadamente positivos y negativos:
(-1)n+1.an = a1 - a2 + a3 - a4 + ... + (-1)n-1.an
Criterio de Leibnitz
H) (-1)n+1.an, an>0
an -> 0
an montona decreciente
T) (-1)n+1.an converge.
Demostracin:
Consideremos las sumas parciales pares S2n por un lado y las sumas parciales impares S2n-1 por
otro.
S2n+2 - S2n = a1 - a2 + ... - a2n + a2n+1 - a2n+2 - (a1 - a2 + ... - a2n)
= a2n+1 - a2n+2 > 0 => S2n es creciente (1)
S2n+1 - S2n-1 = a1 - a2 + ... - a2n + a2n+1 - (a1 - a2 + ... + a2n-1)
a2n+1 - a2n < 0 => S2n-1 es decreciente (2)
(3) Para todo n S2n < S2n-1 pues S2n-1 - S2n = a2n > 0
lim a2n = 0 => lim S2n - S2n-1 = 0 => (por def. de lmite finito de una sucesin) para todo > 0 existe N
/ para todo n > N |S2n-1 - S2n - 0| < (4)
De 1), 2), 3) y 4) por definicin de PSMC, (S2n,S2n-1) es un PSMC
=> por la propiedad de que todo PSMC tiene frontera, existe c perteneciente a R+ / lim S2n = lim S2n1
=c
S2n y S2n-1 son sucesiones contenidas en Sn

Por el teorema anterior, lim Sn = c => (-1)n+1.an converge
Definicin
Convergencia absoluta
Una serie an es absolutamente convergente si |an| converge.
Teorema
H) an es absolutamente convergente.
T) an converge.
Demostracin:
|an| converge por hiptesis
Consideremos bn = (|an| + an)/2
Si an > 0 bn = |an|
Si an < 0 bn = 0
Como an es una serie alternada (sus trminos son alternadamente positivos y negativos), b n
valdr 0 o |an|.
Por lo tanto, 0 <= bn <= |an| => (por el criterio de comparacin) bn converge
an = 2bn - |an|
=> como bn y |an| convergen, por la propiedad de linealidad an converge.
Una serie convergente que no es absolutamente convergente se denomina condicionalmente
convergente.
Ejemplo: (-1)n+11/n converge pero |(-1)n+11/n| diverge.
(-1)n+11/n cumple con el criterio de Leibnitz.
|(-1)n+11/n| = 1/n que ya hemos visto que diverge.
Serie de potencias
Es una serie de la forma anxn.
Se puede demostrar que converge en un entorno simtrico de 0.
Determinacin del radio de convergencia R

Para hallar el radio de convergencia podemos utilizar cualquiera de las siguientes frmulas:
D'Alembert:
L = lim |an+1/an|
Cauchy:
n __
L = \|an
L distinto de 0 => R = 1/L
L = +inf => R = 0
L = 0 => R = +inf
D ? C ? D
-----|-----|-----R
La serie se debe clasificar en x=R y x=-R.
Resumen
Serie geomtrica
akn-1
Clasificacin segn k:
D Osc C D D
------|------|------1
Si |k| < 1 la serie converge y su suma es a/1-k.
Serie telescpica
an / an = bn - bn+1.
an converge <=> bn converge y se cumple que an = b1 - L donde L = lim bn+1.
Series de trminos positivos

Comparacin
a) Si an <= cbn para n>=N
an diverge => bn diverge

bn converge => an converge
b) Si lim an/bn = k > 0
an y bn son de la misma clase.
Para clasificar an, basta con clasificar bn, donde bn es equivalente a an.
D'Alembert
a) an+1/an <= k < 1 para n>=N
an+1/an >= 1 para n>=N
b) lim an+1/an = L
=> an converge.
=> an diverge.
L < 1 => an converge

L > 1 => an diverge
L = 1+ => an diverge
L = 1 1- no la clasifica
Cauchy
n __
=> an converge.
\|an <= k < 1 para n>=N

n __
=> an diverge.
\|an > 1 para n>=N

L < 1 => an converge
n __
L > 1 => an diverge
lim \|an = L
L = 1 => an no la clasifica
Raabe
n(1 - an+1/an) >= 1+k para n >= N,
k perteneciente a R
=> an converge.
n(1 - an+1/an) <= 1 para n >= N
=> an diverge.
lim n(1 - an+1/an) = L
L < 1 => an diverge

L > 1 => an converge
L = 1 => no la clasifica
L = 1- => an diverge
Series alternadas
Leibnitz
an >= 0
=> (-1)nan converge
lim an = 0
an montona decreciente
Convergencia absoluta
Si |an| converge => an converge
Serie de potencias anxn

Determinacin del radio de convergencia R
D'Alembert:
L = lim |an+1/an|
n __
Cauchy:
L = \|an
L distinto de 0 => R = 1/L
L = +inf => R = 0
L = 0 => R = +inf
D ? C ? D
-----|-----|-----R
Se debe clasificar en x=R y x=-R
Series usuales de comparacin

Armnica generalizada
1/nk
k>1 converge
k<=1 diverge
Bertrand
1
k>1 para todo h converge
an = ------k
n (Ln)
k<1 para todo h diverge
k=1 si h > 1 converge

si h <= 1 diverge
Ejercicios
1. 1/n!
2.
Lo primero es calcular el lim an: si da distinto de 0 la serie es
3.
divergente, si da 0 puede ser convergente o no.
4.
5.
lim 1/n! = 0
6.
7.
n! > 2n para todo n >= 4
8.
9.
=> 1/n! < 1/2n para todo n >= 4
10.
11. 1/2n converge (serie geomtrica de constante 1/2)
12. => por el criterio de comparacin 1/n! converge
13.
__
14. 1/n\|2 - 1
15. Es una serie armnica
16.
17. __
18. \|2 - 1 < 1 => diverge
19.
20.
7n-2
21. ----------22. n(n+2)(n+1)

23.
7n-2
24. ----------- equiv. a --25. n(n+2)(n+1)
n2
26.
27.
28. --- converge => por distributiva --- converge

29.
n2
30.
31.
7n-2
32. => ----------- converge
n2
33.
n(n+2)(n+1)
34.
35. Ln/n!
36.
an+1
L(n+1)n!
L(n+1)
37. lim ---- = lim -------- = lim ------- = lim --- = 0 < 1
38.
an
(n+1)!Ln
(n+1)Ln
n+1
39.
40. => por el criterio de D'Alembert converge.
41. 1/Ln
42.
43. ---- diverge

44.
nLn
45.
46. Veamos si podemos aplicar el criterio de comparacin:
47.
48. 1 ? 1
49. -- >= --50. Ln
nLn
51.
52. Para eso debera ser Ln <= nLn

53.
o sea 1 <= n
54.
55.
56. As que para n>=1 -- >= --57.
Ln
nLn
58.
59. Por criterio de comparacin 1/Ln diverge.
60. Ln/n2
61.
62. ----- converge

63.
n(Ln)2
64.
65. Veamos si podemos aplicar el criterio de comparacin:
66.
67. Ln ? 1
68. -- <= ---69. n2
n(Ln)2
70.
71. Ln ? 1
72. -- <= ---73. n
Ln2
74.
75. (Ln)3 <= n se cumple para todo n >= 7
76.
77. Por criterio de comparacin Ln/n2 converge.
78.
nn
79. ---80.
een
81. Aplicaremos el criterio de Cauchy:

82.
83.
n __
84. lim \|an = lim ------ = lim --- = 0 < 1 => converge
en/n
85.
86.
en
e
n
(e /n equiv. a en)
87.
88.
89. (n2 + 1)/n!
90. Aplicaremos el criterio de D'Alembert
91.
92.
((n+1)2 + 1)n!
(n+1)2+1
n2
93. lim ------------- = lim ---------- = lim --- = 0 < 1 => converge
(n+1)!(n2+1)
94.
95.
(n+1)(n2+1)
n3
__
96. (-1) ---- L(1 + 1/ \|n)

97.
__
98.
99.
\|n
__
100.1/\|n > 0 para todo n

101.
__
__
__
102.L(1 + 1/ \|n) >= 0 si 1 + 1/ \|n >= 1 si 1/ \|n >= 0

103.lo cual se cumple para todo n
104.
105.=> an > 0 para todo n (1)
106.
107.
__
108.lim an = lim ---- L(1 + 1/ \|n) = lim ----.---- = 0 (2)

109.
__ ------^------__
110.
\|n equiv. a 1/\|n
__ __
\|n \|n
111.
112. Veremos si an es montona decreciente, o sea, si an+1 < an (3)
113.
114. 1
___ ? 1
__
115. ---- L(1 + 1/ \|n+1) < ---- L(1 + 1/ \|n)

116. ___
__
117. \|n+1
\|n
118.
119. 1 ? 1
120.---- < ---121. __
__
122.\|n+1 \|n
123.
124. ___ ? __
125.\|n+1 > \|n se cumple para todo n
126.
127.
___ ?
__
128.L(1 + 1/ \|n+1) < L(1 + 1/ \|n)

129.
___ ?
__
130.1 + 1/ \|n+1 < 1 + 1/ \|n se cumple para todo n

131.
132.De 1), 2) y 3) por el criterio de Leibnitz, la serie converge.
133.
134.
135. ---- xn
136.
nen
137.Es una serie de potencias. Utilizaremos la frmula de D'Alembert

138.para hallar el radio de convergencia.
139.
nen
140.
141.lim |an+1/an| = lim |--------| = --142.
(n+1)en+1
143.
144.Radio de convergencia: e
145.
146.Clasificaremos la serie para x=e y x=-e.
147.
148.x=e
149.
150. 1/n diverge
151.
152.x=-e
153.
154.(-e)n = en(-1)n
155.
156. 1
157. ---(-1)n
158. n
159.
160.Es una serie alternada.
161.Veremos si podemos aplicar el criterio de Leibnitz.

162.
163.1) 1/n > 0 para todo n
164.
165.2) lim 1/n = 0
166.
167.3) 1/n montona decreciente
168.
169. 1
170.--- < --- pues n+1 > n

171.n+1
172.
173.De 1), 2) y 3) por el criterio de Leibnitz, converge
174.
175. D C C D D
176.-----|-----|----177.
-e
178.
Principio del palomar

Este interesante principio fue formulado por primera vez de manera formal por Peter Gustav
Lejeune Dirichlet (1805-1859), y en consecuencia se conoce a veces como el principio de
distribucin de Dirichlet o el principio de la caja de
Dirichlet.
Dirichlet contribuy mucho en las matemticas aplicadas
y la teora de nmeros. Adems realiz un trabajo fundamental con respecto a la definicin de una
funcin. Su trabajo enfatizaba la relacin entre dos conjuntos de nmeros y no peda la existencia
de una frmula o expresin que relacionara los dos conjuntos.
Si m palomas ocupan n nidos y m > n, entonces al menos un nido tiene dos o ms palomas en l.
Ejemplo
Una oficina emplea a 13 oficinistas, por lo que al menos dos de ellos deben cumplir aos durante el
mismo mes.
Los 13 oficinistas son las palomas y los 12 meses del ao son los nidos. A cada paloma le
corresponde un nido (el mes en que cumple aos). Como hay ms palomas que nidos, hay al
menos un nido (mes) con dos o ms palomas (oficinistas que cumplen en ese mes).
Ejercicios
1. Demuestre que si 8 personas estn en una habitacin, al menos dos de ellas cumplen
aos el mismo da de la semana.
Las palomas son las personas y los nidos son los das de la semana. Como hay 8 palomas y 7 nidos,
hay algn nido con ms de una paloma, es decir, hay algn da de la semana en el cual cumplen
aos dos (o ms) de esas personas.
2. En una lista de 600.000 palabras, donde cada palabra consta de 4 o menos letras
minsculas, pueden ser las 600.000 palabras distintas?
El nmero de palabras diferentes de 4 o menos letras es
274 + 273 + 272 + 27 = 551.880 (sumamos todas las palabras posibles de 4 letras, todas las palabras
de 3 letras, todas las de dos letras y todas las de 1 letra.)
Las 551.880 palabras son los nidos y las 600.000 palabras de la lista son las palomas, por lo que al
menos una palabra se repite.
3. Si una persona puede tener no ms de 200.000 cabellos, es posible que en una ciudad
de 300.000 habitantes haya dos personas con la misma cantidad de cabellos en la
cabeza?
Si, es seguro que existen dos personas con la misma cantidad de cabellos.
Las palomas son las 300.000 personas y los nidos son las cantidades de cabellos (0,1,2,...,200.000).
A cada "paloma" le corresponde uno de esos "nidos". Como hay ms palomas que nidos, hay algn
nido (cantidad) con ms de una paloma (habitante).
4. Cuntas veces debemos tirar un slo dado para obtener el mismo resultado
a. al menos dos veces?
Los "nidos" son los 6 resultados posibles (1,2,3,4,5,6). Las "palomas" son las tiradas, cada
una de ellas "cae" en un nido.
La cantidad de palomas necesaria para que en alguno de los 6 nidos haya dos o ms, es 7.
Alcanza con que el dado se tire 7 veces.
b. al menos tres veces?
Queremos que haya un nido con 3 o ms palomas. Si hay 12 palomas (o menos) esto no
est garantizado, pues podran ubicarse dos en cada nido. Pero si hay 13 palomas est
claro que tiene que haber 3 o ms en algn nido.
||| || || || || ||
--- -- -- -- -- -1 2 3 4 5 6
Se necesitan 13 tiradas.
c.
al menos n veces, para n >= 4?

Queremos que haya un nido con (al menos) n palomas. Podemos pensar qu cantidad
mxima de palomas puede haber, sin la necesidad de que haya un nido con n palomas.
Esto ocurre cuando hay n-1 palomas en cada nido, es decir 6(n-1) palomas. En este punto,
si se agrega otra paloma, habr n palomas en un nido.
1
n-1 n-1 n-1 n-1 n-1 n-1
--- --- --- --- --- --1 2 3 4 5 6
Se necesitan 6(n-1) + 1 tiradas.
5. Cualquier subconjunto de tamao 6 del conjunto A={1,2,3,4,5,6,7,8,9} debe contener dos

elementos cuya suma es 10. Justificarlo.
Los pares de elementos de A que suman 10 son: {1,9}, {2,8}, {3,7} y {4,6}. Estos son los nidos. Las
palomas son los 6 nmeros del subconjunto. Cada nmero va al "nido" correspondiente, por ejemplo,
el 1 va a {1,9}, el 2 va al {2,8}, y as. Como 6 > 4, hay al menos dos nmeros que van al mismo nido,
es decir, hay dos nmeros que suman 10. (Si uno de los nmeros es el 5, no lo consideramos, de
todas maneras hay 5 palomas y 4 nidos.)
28
37
{1,9}, {2,8}, {3,7} y {4,6}

Limite Continui Derivada y Aplicaciones

Hochgeladen von

Dokumentinformationen

Originaltitel

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

Limite Continui Derivada y Aplicaciones

Hochgeladen von

Copyright:

Verfügbare Formate

http://matematica.50webs.com/continuidad.

Son los puntos x cuya distancia al punto a es menor que .

Entorno reducido de a de radio : No incluye al punto a.

Lmite finito de una funcin :

limx->a f(x)=b <=>

f(a) b, pero limx->af(x)=b

Teoremas sobre lmites

Queremos que c+ < b- => < (b - c)/2

f(x) pertenece a Eb,

f(x) pertenece a Ec,

Absurdo, pues f(x) no puede pertenecer a dos entornos disjuntos.

Lmite de f(x) en el punto a por la derecha :

Teorema: Limites laterales

=> (por def. de lmite) limx->af(x) = b.

Teorema : Conservacin del signo

Es decir, b - < f(x) < b + .

Consideremos < b => 0 < b - < f(x) => f(x) > 0.

Nota: El teorema tambin se cumple para valores negativos.

Teorema de la funcin comprendida

Nota: tambin podemos expresar la tesis como:

Observemos la funcin f(x)=1/x para valores de x positivos muy grandes.

f(x) < -A.

Operaciones con lmites

=> |f(x) - b| + |g(x) - c| < 2' =

limx->2 x2 = 4 ; limx->2 x = 2 ; limx->2 x2 + x = 6

=> f(x) + g(x) > A + b - = K

=> (por def. de lmite infinito) limx->a f(x) + g(x) = +inf.

que es INDETERMINADO de la forma inf - inf.

el limx->af(x) + g(x) no puede determinarse, se dice

Teorema : Lmite del producto

=> |c||f(x) - b| < /2 . (1)

|f(x)| < k => (de 2) |f(x)||g(x) - c| < /2 (3)

=> (por def. de lmite) limx->af(x)g(x) = bc

limx->2 x = 2 ; limx->2 ex = e2 ; limx->2 xex = 2e2

=> f(x)g(x) > kA > B .

Basta elegir A > B/k.

Los dems casos se demuestran en forma anloga.

Teorema: Lmite del cociente

|f(x)c - g(x)b| |f(x)c - g(x)b - bc + bc|

lim ex /(x+2) = 1/2

H) limx->af(x) = b > 0, limx->ag(x) = 0+

T) limx->af(x)/g(x) = +inf (-inf si b < 0)

H) limx->af(x) = b > 0, limx->ag(x) = 0-

H) limx->ag(x) = b > 0, limx->ag(x) = +inf

Caso 4: H) limx->af(x) = b > 0, limx->af(x) = -inf

T) limx->af(x)/g(x) = -inf (+inf si b < 0)

Si limx->af(x) = 0 y limx->ag(x) = 0, limx->af(x)/g(x) no puede determinarse. Se dice que es

Caso 1: H) limx->af(x) = b, limx->ag(x) = c (c0)

Caso 2: H) limx->af(x) = b, limx->ag(x) = 0

H) limx->af(x) = b, limx->ag(x) = +inf

Caso 4: H) limx->af(x) = b, limx->ag(x) = -inf

Si limx->af(x) = 0 y limx->ag(x) = inf, limx->af(x)g(x) no puede determinarse. Se dice que es

lim (1 + h(x))g(x) = lim (1 + h(x))g(x).(h(x)/h(x)) =

Lmite de la funcin compuesta

Para un polinomio P(x) = anxn + an-1xn-1 + ... + a1x + a0

2) limx->inf P(x) = limx->inf anxn

Lmite del cociente de polinomios

si B()=0 y A() distinto de 0

3) INDETERMINADO de la forma 0/0

Cmo resolver la indeterminacin 0/0

ex = 1 + y => Lex = L(1 + y)

=> sen x equiv x

=> 1 - cos x equiv x2/2