Ejercicios de Anlisis Matemtico

Sucesiones numricas
1. Dado " > 0, calcula m" 2 N tal que para todo n> m" se verifique jxn
vienen dados en cada caso por:

xj < " donde xn , x

p
p
2n C 3
2
3
; xD I
b/ xn D n C 1 3 n ; x D 0
3n 50
3


p
1 n
d/ xn D p
c/ xn D n a .a > 0/; x D 1I
; xD0
2

p
p
n
n C 1 n n ; x D 0I f / xn D n2 an .jaj < 1/; x D 0
e/ xn D n
a/ xn D

Sugerencia. Como consecuencia del binomio de Newton, para x

x n D.1C.x 1//n >1Cn.x

1 > 0 se verifica que

1/:

Esta desigualdad, convenientemente usada, permite resolver con facilidad los casos b), c), d) y
e).
Solucin. Como regla general, en este tipo de ejercicios hay que trabajar hacia atrs, esto es,
se calcula y simplifica jxn xj y se convierte la desigualdad jxn xj < " en otra equivalente a
ella de la forma n > '."/ donde '."/ es un nmero
que depende de ". Basta entonces tomar m"
como la parte entera de '."/ ms 1, m" D E '."/ C 1, con lo cual para todo n > m" se tiene
que n < '."/ y, por tanto, jxn xj < ".

Este procedimiento admite muchos atajos. Hay que tener en cuenta que no se pide calcular el m"
ptimo, es decir, el menor valor posible de m" tal que n>m" jxn xj < ", sino que se pide
calcular cualquier valor de m" para el cual sea cierta dicha implicacin. Para ello es suficiente
con obtener, a partir de la desigualdad jxn xj < ", otra desigualdad del tipo n > '."/ de forma
que se verifique la implicacin n > '."/jxn xj < ".
En este procedimiento hay que quitar valores absolutos. Esto siempre puede hacerse porque la
desigualdad jxn xj < " equivale a las dos desigualdades " < x n x < ". Con frecuencia,
el nmero xn x es siempre positivo o siempre negativo para todo n > n0 , lo que permite quitar
directamente el valor absoluto y sustituirlo por la correspondiente desigualdad.
Por supuesto, en estos ejercicios hay que trabajar con un valor genrico de " > 0, es decir,
no est permitido considerar valores particulares de " porque se trata de probar que una cierta
desigualdad es vlida para todo " > 0.
La verdad es que se tarda ms en escribir lo anterior que en hacer el ejercicio porque las sucesiones que se dan son muy sencillas y la sugerencia muy til.
a) Tenemos que
jxn

2n C 3
xj D
3n 50

2 109
D
:
3 9n 150

El denominador es positivo para todo n > 17. Pongamos n D 17 C k donde k 2 N. Entonces

jxn

xj D

109
109
109
13
D
<
<
:
9n 150
3 C 9k
9k
k

Deducimos que para que se tenga jxn xj < " es suficiente que tomar n D 17 C k donde k se
13
13
elige de forma que 13
k < ", es decir, k > " . Por tanto, poniendo m" D 18 C E. " / podemos
asegurar que para todo n > m" se verifica que jxn xj < ".

109
13
Observa que las acotaciones 3C9k
< 109
9k < k no son imprescindibles; de hecho, podemos
109
despejar k de la desigualdad 3C9k
< ", pero las acotaciones hechas facilitan este paso (aunque
se obtiene un valor de k mayor).

Dpto. de Anlisis Matemtico

Universidad de Granada

Ejercicios de Anlisis Matemtico

b) Tenemos que:
p
3
0D nC1

0 < xn
r
3

Pongamos zn D

1C

1
n

Deducimos que:
xn D

La desigualdad


1
E 27"
3 .

Observa que la acotacin

en la desigualdad
valor mayor para n).

1
1C
n

1 :

p
1 1
1 1
3
n zn 6 p
:
6 p
3
3 n2 3 3 n

< " se verifica para todo n >

1 1
p
3 3 n2

1
1
> 1 C 3zn zn 6
n
3n

1 1
p < " xn < " jxn
3 3n
1
1 p
3 3 n

1. Tenemos que zn > 0 y, usando la sugerencia dada:

.1 C zn /3 D 1 C

Por tanto:

p
p
3
nD 3 n

1 1
p
3 3 n2

1 p
1
3 3 n

0j D xn < "

1
.
27"3

Por tanto, es suficiente tomar m" D 1 C

no es imprescindible; de hecho, podemos despejar n

< ", pero la acotacin anterior facilita este paso (aunque se obtiene un

c) Sea a > 1. Entonces 1 <

p
n
a. Pongamos zn D jxn

1j D

p
n
a

.1 C zn /n D a > 1 C nzn zn <

1 > 0. Tenemos que:

1
n

Deducimos que:
a

La desigualdad


E a"1 .

a 1
n

< " zn D jxn 1j < "

n
< " se verifica para todo n > a " 1 . Por tanto, es suficiente tomar m" D 1 C

Si 0 < a < 1, poniendo b D

1
a

y usando lo ya visto, tenemos que:

p
n
p
p
b 1
1 a1
b 1
n
n
0<1
< b 1<
aD p
D
n
n
a n
b


De donde se sigue que podemos tomar m" D 1 C E 1a"a .
p
p

e) Sea xn D n n n C 1 n n . Tenemos que:
!
r
p

p
p
1
n
n
0 < xn D jxn 0j D n
nC1 n n Dnn n
1C
1 :
n
Pongamos zn D

r
n

1C

1
n

1. Tenemos que zn > 0 y:

.1 C zn /n D 1 C

1
1
> 1 C nzn zn < 2 :
n
n

Por tanto, usando la desigualdad ??, tenemos que:



p
1p
1
2
1
2
3
n
n
jxn 0j D n nzn <
n<
1C p
0 C p
6
n
n
n
n
n
n
n n


Deducimos que tomando m" D 1 C E 3" , para todo n > m" se verifica que jxn
Dpto. de Anlisis Matemtico

0j < ".

Universidad de Granada

Ejercicios de Anlisis Matemtico

2. Sea A un conjunto no vaco y mayorado de nmeros reales. Prueba que un nmero real, , es el
supremo de A si, y slo si, es un mayorante de A y hay alguna sucesin de puntos de A que
converge a .
Solucin. Supongamos que D sup.A/. Entonces es, claro est, un mayorante de A. Veamos
que hay una sucesin de puntos de A que converge a . Como es el mnimo mayorante de A,
ningn nmero menor que puede ser mayorante de A. Por tanto, dado " > 0, como " < ,
tiene que haber algn a" 2 A tal que " < a" . En particular, para " D n1 tiene que haber algn
an 2 A tal que 1n < an y, por supuesto, an 6 . Deducimos as la existencia de una sucesin,
fan g, de puntos de A que verifica 1n < an 6 . Es claro que fan g ! .

La afirmacin recproca te la dejo apara que la hagas t.

3. Supuesto que lKmfxn g D x, prueba que ADfxn Wn 2 Ng[fxg tiene mximo y mnimo.

Solucin. Los elementos de A son los trminos de la sucesin junto con el lmite de la misma.
Observa que el conjunto A puede ser finito o infinito. El caso en que A es finito es trivial porque
sabemos que todo conjunto finito tiene mximo y mnimo. Conviene considerar, por tanto, que
A es infinito. La idea para hacer este ejercicio es la siguiente: an siendo A infinito, todos sus
elementos estn en un intervalo de la forma x "; x C ", con la posible excepcin de un nmero
finito de elementos de A que pueden quedar fuera de dicho intervalo. Para probar que A tiene
mximo debemos fijarnos en los elementos ms grandes de A. Dichos elementos deberan estar
a la derecha del nmero x C " para " > 0 suficientemente pequeo. Pero no tiene por qu haber
ningn elemento de A en estas condiciones, y eso pasa justamente cuando x es el mayor elemento
de A, en cuyo caso x sera el mximo de A.
Esto lleva a razonar de la siguiente forma. Si x es el mximo de A, hemos acabado. En otro caso,
tiene que haber algn elemento en A, digamos a 2 A que sea mayor que x, a > x. Tomemos
un " > 0 tal que x C " < a (por ejemplo " D .a x/=2). Entonces, todos los elementos de A
estn en x "; x C " excepto un nmero finito de ellos que quedan fuera de dicho intervalo;
adems, como a > x C ", el conjunto B D fu 2 A W u > x C "g no es vaco (a 2 B), es finito y,
evidentemente, se tiene que mKax.B/ D mKax.A/.

4.

a) Sea fxn g una sucesin y supongamos que hay nmeros  20; 1; p 2 N, tales que para todo
n > p es jxnC1 j 6 jxn j . Prueba que lKmfxn g D 0.
jxnC1 j
D , donde 0 6  <
b) Sea fxn g una sucesin de nmeros no nulos verificando que lKm
jxn j
1. Prueba que lKmfxn g D 0.

Aplicacin. Dados a 2

1; 1; k 2 N, prueba que lKm fnk an g D 0.

n!1

Solucin. a) Podemos hacer este apartado de dos maneras. La primera consiste en darse cuenta
de que lahiptesis
jxnC1 j 6 jxn j para todo n > p, junto con que 0 <  < 1, implica que la
sucesin jxnCp j n2N es decreciente y, como es de nmeros positivos, tiene que converger a un
nmero > 0. Por tanto lKmfjxn jg D . La desigualdad jxnC1 j 6 jxn j implica que 6  y,
como 0 <  < 1, la nica posibilidad para que dicha desigualdad se cumpla es que D 0.
Otra forma consiste en escribir para n > p:
jxnC1 j D

jxnC1 j jxn j jxn

jxn j jxn 1 j jxn

1j
2j

jxpC1 j
jxp j 6 n
jxp j

pC1

jxp j D nC1

jxp j
D MnC1
p

jx j

donde hemos puesto M D pp que es una constante que no depende de n. La desigualdad anterior,
teniendo en cuenta que, por ser 0 <  < 1, se verifica que n ! 0, implica que jxn j ! 0.

b) Tomando " > 0 de forma que  D  C " < 1 (basta tomar " D .1
nmero p 2 N tal que para todo n > p se verifica que:

/=2), se sigue que hay un

jxnC1 j
6  jxnC1 j 6 jxn j:
jxn j
Dpto. de Anlisis Matemtico

Universidad de Granada

Ejercicios de Anlisis Matemtico

Y, por lo visto en el apartado anterior, concluimos que fxn g ! 0.

La aplicacin que se propone en este ejercicio es un resultado importante que debes memorizar.
Pongamos xn D nk an , donde se entiende que k es un nmero natural fijo y a es un nmero real
con jaj < 1. Tenemos que:
jxnC1 j
D
jxn j

nC1
n

k

jaj lKm

n!1

jxnC1 j
D jaj < 1:
jxn j

Y podemos aplicar el resultado del punto anterior para concluir que lKm fnk an g D 0.
n!1

5. Estudia la convergencia de las sucesiones siguientes.



2n C . 1/n .n C 2/
1 C . 1/n n
a/ xn D
b/ xn D n
3
 7n C3n
p
n
2 1Cn
n
d/ xn D a C b n .a > 0; b > 0/
c/ xn D n
3n
n
X
1
xn
e/ xn D
f / xn D
.x 2 R/
p
n!
k C n2
kD1

p
p
p
p 
p
g/ xn D n2 C 3n C 2
n h/ xn D n2 C n n
n C 1 C 2n

Sugerencia. En algunos casos puede usarse el principio de las sucesiones encajadas o el ejercicio
anterior.

Solucin. a) Tenemos que fx2n g ! 3=7, fx2n 1 g ! 1=7. Luego fxn g no converge porque tiene
dos sucesiones parciales que convergen a lmites distintos.

n

n
b) Tenemos que 0 6 xn 6 n 32 y, como n 23 ! 0 por lo visto en el ejercicio anterior, se sigue
que fxn g ! 0.
p
p
n
n
d) Sea D mKax a; b. Entonces 6 xn 6 2. Como 2 ! 1, concluimos que fxn g ! .
e) Tenemos que:

X
1
n
n
p
6
p
6p
:
2
2
nCn
kCn
1 C n2
kD1

n
n
Puesto que lKm p
D lKm p
D1, el principio de las sucesiones encajadas implica
2
n!1
n!1
nCn
1 C n2
n
X
1
que lKm
p
D 1.
n!1
k C n2
kD1
h)

q

n2

p
C n

p

p 
p 
p
n2 C n n2 p
n
n C 1 C 2n D p
n C 1 C 2n D
p
n2 C n C n
q
p
p
p
2
1 C 1n C 2
p
n C n C 2n
D p
Dq
! 2
p
1
n2 C n C n
1 C np
C1
n

6. Estudia la convergencia de la sucesin:

p
xn D 2 n

Dpto. de Anlisis Matemtico

n
X

kD1

1
p
k

Universidad de Granada

Ejercicios de Anlisis Matemtico

Solucin. Estudiaremos la monotona y acotacin. Tenemos que:

xnC1

p
p
1
2n C 1 2 n2 C n
2 n p
D
p
>
nC1
nC1
q
2n C 1 2 n2 C n C 41
>
p
D 0:
nC1

p
xn D 2 n C 1

Por tanto xnC1 > xn y la sucesin es estrictamente creciente. Adems:

xkC1

p
xk D 2 k C 1

p
2 k

1
2
p
Dp
p
k C1
kC1C k

1
1
p
< p
k C1
k

1
p
k C1

Sumando estas desigualdades para 1 6 k 6 n 1 obtenemos que xn x1 < 1 p1n < 1, de

donde se sigue que xn < 2 para todo n 2 N. Luego fxn g es creciente y mayorada, por tanto es
convergente.
p
Alternativamente, aplicando el teorema del valor medio a la funcin f .x/ D 2 x en el intervalo
k; k C 1 tenemos que hay algn nmero c 2k; k C 1 tal que:
p
2 kC1

p
1
2 kDp
c

Como k < c < k C 1 se verifica que:

1
1
1
p
< p <p :
c
k C1
k
Deducimos que:
p
2 k

p
0<2 kC1

1
1
p
<p
kC1
k

1
kC1

Y volvemos a obtener las acotaciones anteriores de forma ms cmoda.

7. Prueba que la sucesin dada por x1 D 0 y para n > 2:

xn D log.log n/

n
X

kD2

1
k log k

es convergente y su lmite es menor o igual que log.log 2/.

Solucin. Tenemos que:
xkC1

xk D log.log.k C 1//

log.log k/

1
:
.k C 1/ log.k C 1/

Aplicando el teorema del valor medio a la funcin f .x/ D log.log x// en el intervalo k; k C 1
para k > 2, tenemos que hay algn nmero c 2k; k C 1 tal que:
log.log.k C 1//

log.log k/ D

1
:
c log c

Como k < c < k C 1 se verifica que:

1
1
1
<
<
:
.k C 1/ log.k C 1/
c log c
k log k
Deducimos que:
0 < xkC1

Dpto. de Anlisis Matemtico

xk <

1
k log k

1
:
.k C 1/ log.k C 1/
Universidad de Granada

Ejercicios de Anlisis Matemtico

Esta desigualdad prueba que la sucesin fxn g es creciente. Adems, sumando las desigualdades
anteriores desde k D 2 hasta k D n resulta que:
xnC1

x2 <

1
2 log 2

1
1
1
<
xnC1 < x2 C
D log.log 2/:
.n C 1/ log.n C 1/
2 log 2
2 log 2

Por tanto, la sucesin est mayorada y, como es creciente, es convergente y su lmite es menor o
igual que log.log 2/.

8. Dados 0 < a1 < b1 , definamos para todo n 2 N:

bnC1 D

p
an C b n
; anC1 D an bn :
2

Justifica que las sucesiones as definidas son montonas y convergen al mismo nmero (que se
llama media aritmtico-geomtrica de a1 y b1 ).
Solucin. Teniendo en cuenta que la media geomtrica de dos nmeros es menor que su media
aritmtica, y que ambas estn comprendidas entre dichos nmeros, se sigue que a1 < a2 <
b2 < b1 . Volvemos a razonar ahora igual con a2 < b2 para obtener que a2 < a3 < b3 < b2 .
Este proceso puede continuarse indefinidamente. Deducimos que fan g es creciente y fbng es
decreciente. Adems, ambas estn acotadas porque para todo n 2 N es a1 < an < bn < b1 . Por
an C b n
tanto, ambas convergen. Pongamos fan g ! a y fbn g ! b. De la igualdad anC1 D
se
2
aCb
sigue que a D
, de donde se obtiene que a D b.

2
9. Estudia la convergencia de las siguientes sucesiones.
p
a) x1 D 1, xnC1 D 3xn .
3 C 3xn
b) x1 D 3, xnC1 D
.
3 C xn
4 C 3xn
c) x1 D 1, xnC1 D
.
3 C 2xn
xn 2
d) Dado a 2 2; 1, definimos x1 D a, xnC1 D
.
xn C 4
p
p
e) Dado a > 0, definimos x1 D a, xnC1 D a C xn .
1
f) x1 D 0, xnC1 D
.
3 xn2


1
a
g) Dado a > 0, a 1, definimos x1 D a, xnC1 D
2xn C 2 .
3
xn
1
h) Dado a 2 R, definimos x1 D a, xnC1 D C .xn /2 .
4
i) Dado a 2 2; 1, definimos x1 D a, 3xnC1 D 2 C .xn /3 .
Sugerencia. Estudia en cada caso monotona y acotacin. La convergencia puede depender del
valor inicial de a.
Solucin. En este tipo de ejercicios puede ser til calcular de entrada, cuando sea posible y bajo
el supuesto de que la sucesin sea convergente, el lmite de la sucesin. Despus deberemos
probar que efectivamente la sucesin converge.
p
p
a) Supuesto que fxn g ! , de la igualdad xnC1 D 3xn , se sigue que D 3, por lo que
D 3. Observa que no hemos probado que fxn g sea convergente. Lo que hemos probado es que,
suponiendo que fxn g sea convergente, entonces
su lmite es 3. Este dato nos ayudar en lo que
p
sigue. Por ejemplo, como x1 D 1 < x2 D 3, podemos sospechar que fxn g es creciente. En tal
caso debera verificarse que xn < 3 para todo n 2 N. Empezaremos probando esta desigualdad.
Dpto. de Anlisis Matemtico

Universidad de Granada

Ejercicios de Anlisis Matemtico

p
p
Tenemos que x1 D 1 < 3; supuesto que xn < 3 deducimos que xnC1 D 3xn < 9 D 3. Luego,
por induccin, concluimos que xn < 3 para todo n 2 N. Probemos ahora que fxn g es creciente.
Tenemos que:
2
3xn D xnC1
D xnC1 xnC1 < 3xnC1 xn < xnC1
por tanto, la sucesin es estrictamente creciente y, como est mayorada por 3, es convergente y,
por lo visto al principio, su lmite es 3.

3 C 3xn
3 C 3
, se sigue que D
, de
b) Supuesto que fxn g ! , de la igualdad xnC1 D
3
C
x
3C
n
p
donde resulta que 2 D 3, por lo que deber ser D 3 ya que el lmite debe ser un nmero no
negativo pues, evidentemente, todos los trminos de la sucesin son positivos. Observa que no
hemos probado que fxn g sea convergente.
p Lo que hemos probado es que, suponiendo que fxn g
sea convergente, entonces su lmite es 3. Este dato nos ayudar en lo que sigue. Por ejemplo,
como x1 D3
p > x2 D2, podemos sospechar que fxn g es decreciente. En tal caso debera verificarse
que xn > 3 para todo n 2 N. Empezaremos probando esta desigualdad.
p
Claramente x1 D 3 > 3. Por otra parte:
xnC1 >

p
p
p
3 C 3xn p
3
> 3 3 C 3xn > 3 3 C 3xn
3 C xn
p p
p
p
xn 3. 3 1/ > 3. 3 1/ xn > 3

p
p
p
Por tanto, si xn > 3 tambin es xnC1 > 3. Luego, por induccin, concluimos que xn > 3
para todo n 2 N. Probemos ahora que fxn g es decreciente. Tenemos que:
xnC1

xn D

3 C 3xn
3 C xn

xn D

3 xn2
<0
3 C xn

xnC1 < xn

por tanto, la sucesin es estrictamente decreciente

y, como est minorada por
p
y, por lo visto al principio, su lmite es 3.

p
3, es convergente

Estrategia. Para estudiar las sucesiones recurrentes pueden usarse tcnicas de derivadas; para
ello hay que expresar la sucesin recurrente en la forma xnC1 D f .xn /, donde la funcin f
generalmente es fcil de obtener a partir de la definicin de la sucesin. En nuestro caso, tenemos
3 C 3x
3 C 3xn
que xnC1 D
, por lo que deberemos considerar la funcin f .x/ D
. Con ello,
3 C xn
3Cx
tenemos que xnC1 Df .xn /. Esta relacin, junto con x1 D3 determina la sucesin. Seguidamente,
hay que elegir un intervalo donde la funcin f va a estar definida. Tenemos que elegir dicho
intervalo de forma que la funcin tome valores en l. En nuestro caso, la eleccin es fcil pues,
si x > 0 tambin es f .x/ > 0, por ello vamos a considerar que f est definida en RC
o . Podemos
volver a enunciar nuestro ejercicio como sigue.
3 C 3x
Sea f W RC
. Definamos fxn g por
o ! R la funcin dada para todo x > 0 por f .x/ D
3Cx
x1 D 3 y xnC1 D f .xn /. Estudiar la convergencia de fxn g.

Lo primero que debemos observar es que la sucesin est bien definida pues x1 D 3 > 0 y,
supuesto que xn > 0, tambin es xnC1 D f .xn / > 0 por lo que tiene sentido f .xnC1 /. Si la
sucesin converge, su lmite debe ser un nmero > 0 y, por ser f continua, f permuta con el
lmite, por lo que debe verificarse que
D lKmfxnC1 g D lKmff .xn /g D f .lKmfxn g/ D f ./:
p
De donde se obtiene que D 3.

6
. Como
.3 C x/2
0
f .x/ > 0, se sigue que f es estrictamente creciente. Como x1 D 3 > x2 D f .x1 / D 2 y, al ser
creciente, f conserva las desigualdades, se sigue que x2 D f .x1 / > f .x2 / D x3 . Este proceso
Para estudiar la monotona calculamos la derivada de f . Tenemos que f 0 .x/ D

Dpto. de Anlisis Matemtico

Universidad de Granada

Ejercicios de Anlisis Matemtico

puede seguirse indefinidamente, esto es, la misma relacin de orden que hay entre dos trminos
consecutivos se conserva siempre:
xn > xnC1

xnC1 D f .xn / > f .xnC1 / D xnC2 :

Obtenemos as que fxn g es decreciente. Adems, como

p es de trminos positivos, est minorada,
luego es convergente. Su lmite ya sabemos que es 3.
Observa que, al proceder de esta forma, podemos probarp
muy fcilmente el decrecimiento de la
sucesin, sin necesidad de probar previamente que xn > 3.
Las sucesiones recurrentes del tipo xnC1 D f .xn / donde f es una funcin continua, cuando son
convergentes, fxn g ! , su lmite viene dado por D f ./, es decir, es un punto fijo de la
funcin f .
2
p
p
e) Definamos f W RC
a C x. La sucesin est dada por x1 D a y xnC1 D
o ! R por f .x/ D
f .xn /. Como f es continua, si la sucesin es convergente, su lmite debe ser un punto fijo de f ,
es decir, debe ser solucin de la ecuacin D f ./, lo que implica que 2 D a C y deducimos
que
p
1 C 1 C 4a
D
;
2
p
p
donde hemos elegido la solucin positiva de la ecuacin. Puesto que x1 D a < x2 D 2a y,
evidentemente, f es estrictamente creciente, se sigue x2 D f .x1 / < f .x2 / D x3 y, en general,
xn < xnC1 . Por tanto fxn g es p
estrictamente creciente. Veamos que est mayorada. Probaremos
que xn < . Claramente x1 D a < . Supongamos que xn < . Entonces:
2
xnC1
D a C xn < a C D 2

xnC1 <

Concluimos, por induccin, que xn < para todo n 2 N. Luego fxn g es creciente y mayorada,
por tanto converge y su lmite es .
Para a D 1, tenemos que:
p
1C 5
D lKm
2

f) Tenemos que x1 D 0 y xnC1 D

1C

1C

q
p
1C 1C



1

. Consideremos la funcin f .x/ D

. La sucesin
3 xn2
3 x2
que nos dan est definida por x1 D 0, xnC1 D f .xn /. La derivada de f viene dada por f 0 .x/ D
2x
. Debemos considerar definida la funcin f en un intervalo I que contenga el 0 (porque
.3 x 2 /2
x2 p
D f .0/ D 1=3) y de forma que fp
.I /  I . Como f .0/ D 1=3 debe estar en I , deber ser I 
0; 3. Como f es creciente en 0; 3 y f .1/ D 1=2, se sigue que f .0; 1/  0; 1=2  0; 1.

Consideraremos en lo que sigue que la funcin f est definida en el intervalo 0; 1. Como

f .0; 1/  0; 1 y los valores de la sucesin fxn g son valores de f obtenidos por aplicacin reiterada de f a partir del valor inicial x1 D 0 2 0; 1, dichos valores estn siempre en
0; 1. Por tanto 0 6 xn 6 1 para todo n 2 N. Como f es estrictamente creciente en 0; 1 y
x1 D 0 < x2 D f .0/ D 1=3, se sigue que x2 D f .x1 / < f .x2 / D x3 y, en general, supuesto que
xn 1 < xn , se sigue que xn D f .xn 1 / < f .xn / D xnC1 . Luego fxn g es estrictamente creciente.
Como est acotada, concluimos que fxn g es convergente. Sea fxn g ! . Como 0 6 xn 6 1, se
sigue que 0 6 6 1. Adems, como f es continua en 0; 1, debe ser un punto fijo de f , esto
es, f ./ D . Deducimos que verifica la ecuacin 3 3 C 1 D 0.
Las races de la ecuacin x 3 3x C 1 D 0 no son inmediatas de calcular pero podemos decir
algunas cosas sobre ellas. Pongamos h.x/ D x 3 3x C 1. Tenemos que h. 2/ D 1 < 0,

Dpto. de Anlisis Matemtico

Universidad de Granada

Ejercicios de Anlisis Matemtico

h.0/ D 1 > 0, h.1/ D 1 < 0 y h.2/ D 3 > 0. Deducimos que en cada uno de los intervalos
2; 0, 0; 1 y 1; 2 hay una nica raz de la ecuacin. Por tanto, la sucesin dada converge a la
nica raz de la ecuacin x 3 3x C 1 D 0 que est en 0; 1.



1
a
g) Dado a > 0 y a 1, definimos x1 D a, xnC1 D
2xn C 2 . Tenemos, evidentemente, que
3
xn
1
a
2x C 2 donde, en principio,
xn > 0 para todo n 2 N. Consideremos la funcin f .x/ D
3
x
x > 0. Tenemos que:
2 x3 a
f 0 .x/ D
3
x3
p
p
3
0
Deducimos que f .x/ < 0 para
0 < x < a y f 0 .x/ > 0 para
x > 3 a. Por tanto f es
p
p
estrictamente
decreciente en 0; 3 a y estrictamente creciente en 3 a; C1. Concluimos que en
p
3
a la funcin f tiene un mnimo absoluto en RC . Como todos los trminos de la sucesin fxn g
son (con la posible
excepcin del primero x1 D a) valores que toma
f enppuntos de RC , se sigue
p
p
3
3
que
xn > f . a/ para todo n > 2. Un calculo inmediato da f . a/ D 3 a, es decir, resulta que
p
3
a es un punto fijo de f en RC . Como f es continua en RC , si fxn g es convergente dicho punto
debe ser el lmite de fxn g. Pero antes debemos probar que fxn g es convergente.
p
Para estudiar la monotona debemos tener en cuenta p
que como xn > 3 a para todo n > 2, todos
los trminos de la sucesin estn en el intervalo I D 3 a; C1. No es por eso restrictivo suponer
que a > 1 (porque si fuera 0 < a < 1, podemos eliminar el primer trmino de la sucesin lo que
no afecta para nada a su estudio). Comparemos x1 con x2 . Tenemos que:
x2

x1 D

1
a
3

a
a2

aD

2a2 C 1
3a

aD

a2
<0
3a

Por tanto se tiene que x2 < x1 y, como f es estrictamente creciente en I , las desigualdades
se conservan por f , luego, supuesto que xn < xn 1 , se tiene tambin que xnC1 D f .xn / <
f .xn 1 / D xnp. Resulta as que fxn g es decreciente. Ademspes de trminos positivos (de hecho

mayores que 3 a), luego fxn g es convergente y su lmite es 3 a.

h) Consideremos la funcin f .x/ D 14 C x 2 . Tenemos que f .x/ > 14 . Como los trminos de la
sucesin dada, con la posible excepcin del primero, son todos ellos valores de f , se cumple que
xn > 14 para todo n > 2. No es restrictivo por eso suponer que a > 14 . Pongamos I D 1=4; C1.
Tenemos que f .I /  I . Como f 0 .x/ D 2x, se sigue que f es estrictamente creciente en I .
Por tanto la sucesin fxn g ser montona creciente si x1 6 x2 y ser montona decreciente si
x2 < x1 . Tenemos que:


1
1 2
1
2
2
x1 6 x2 a 6 a C
06a C
aD a
4
4
2

Deducimos que se verifica x1 6 x2 y, por tanto, la sucesin es creciente. Cuando dicha sucesin
est mayorada ser convergente y su lmite debe ser un punto fijo de f en I . Tenemos que

2
f .x/ D x es lo mismo que x 2 x C 14 D 0, esto es, x 12 D 0, cuya nica solucin es
x D 1=2. En consecuencia, la sucesin fxn g ser convergente a 12 solamente cuando xn 6 12 para
todo n 2 N, esto es, a2 C 14 6 12 , que equivale a que a2 6 41 , esto es, jaj 6 12 y, como a > 14 ,
resulta que debe ser 14 6 a 6 12 . Deducimos tambin que para a > 12 , la sucesin no puede ser
convergente y, al ser creciente, no est mayorada. Observa que cuando a D 12 resulta la sucesin
constante xn D 12 para todo n 2 N.

10. Para cada n 2 N sea

1
1
xn D1C C


C
2
n

log.n/;

yn D xn

1
:
n

Prueba que fxn g es estrictamente decreciente e fyn g es estrictamente creciente. Deduce que ambas sucesiones convergen a un mismo nmero. Dicho nmero se llama la constante de Euler, se
representa por la letra griega .
Dpto. de Anlisis Matemtico

Universidad de Granada

Ejercicios de Anlisis Matemtico

10

1 C 1=2 C


C 1=n
D 1.
n!1
log.n/


1
1
1
C
C


C
D log 2:
b) Justifica que lKm
n!1 n C 1
nC2
2n


1
1 1
. 1/nC1
c) Justifica que lKm 1
C
C


C
D log 2:
n!1
2
3 4
n
a) Deduce que lKm

Solucin. Tenemos que:

xn

xnC1 D log.n C 1/

log n



1
1
D log 1 C
nC1
n

1
> 0:
nC1

Desigualdad que es consecuencia de que log.1 C x/ < x para todo x > 0. Tambin podemos
tomar logaritmos en las desigualdades ?? para obtener que:


1
1
1
< log 1 C
<
nC1
n
n
Deducimos que fxn g es estrictamente decreciente. Tenemos tambin:


1
1
yn ynC1 D log.n C 1/ log n
D log 1 C
n
n

1
< 0:
n

Deducimos que fyn g es estrictamente creciente. Adems, para todo n 2 N tenemos que x1 <
xn < yn < y1 , por lo que ambas sucesiones estn acotadas. Concluimos que dichas sucesiones
convergen. Como xn yn D n1 ! 0, deducimos que lKmfxn g D lKmfyn g.
a)

1 C 1=2 C


C 1=n log n C xn

xn
D
D1C
:
log.n/
log n
log n
xn
1
! 0, se sigue que
! 0.
Como fxn g es convergente y
log n
log n
1
1
b) Pongamos Hn D 1 C C


C . Tenemos que:
2
n
1
1
1
C
C


C
D H2n Hn D x2n C log.2n/ xn C log n D x2n
nC1
nC2
2n
Como fx2n g es una sucesin parcial de fxn g se tiene que fx2n
1
1
C
2
3
1
1 1
1
A2n D 1
C
C
3 4
5
 2
1
1
D 1C C C


C
3
5

1
1
D 1C C C


C
3
5

c) Pongamos An D 1

nC1

xn g !

xn C log 2

D 0.

1
. 1/
C


C
. Tenemos que:
4
n
1
1
1
C


C
D
6
 2n 1 2n

1
1
1
1
1
C C C


C
D
2n 1
2
4
6
2n

1
1
1
1
Hn D H2n
Hn
Hn D H2n
2n 1
2
2
2

Hn

1
Por el apartado anterior, tenemos que lKmfA2n g D log 2. Como A2n 1 D A2n C 2n
, deducimos
que tambin lKmfA2n 1 g D log 2. Concluimos que (ver ejercicio resuelto ??) lKmfAn g D log 2.

La sucesin fAn g se llama serie armnica alternada.

Estrategia. Para calcular lmites donde interviene la serie armnica

Hn D 1 C

1
1
C


C
2
n

puede ser conveniente escribir dicha sucesin como Hn D log n C n donde fn g ! .

Dpto. de Anlisis Matemtico

Universidad de Granada

Ejercicios de Anlisis Matemtico

11

11. Sea fxn g una sucesin y supongamos que hay dos sucesiones parciales fx .n/ g y fxs.n/g que
convergen a un mismo nmero x y tales que .N/ [ s.N/ D N. Prueba que fxn g converge a x.

Solucin. Dado " > 0, existen nmeros naturales m" y n" tales que jx .n/ xj < " para todo
n>m" y jxs.n/ xj < " para todo n>n" . Sea pDmKax fm" ; n" g y pongamos ADf.n/ W n > pg[
fs.n/ W n > pg. Como, por hiptesis es .N/ [ s.N/ D N, se sigue que el conjunto B D N n A
es finito pues B  f.n/ W 1 6 n < pg [ fs.n/ W 1 6 n < pg. Definamos m D mKax.B/ C 1. Para
q > m se tiene que q 62 B, o sea, q 2 A, es decir, q es de la forma q D .n/ o q D s.n/ con n > p,
en cualquier caso se verifica que jxq xj < ".
Este resultado suele aplicarse cuando .n/ D 2n y s.n/ D 2n 1, es decir, a las sucesiones
parciales de los trminos pares e impares. Cuando sabemos que fx2n g y fx2n 1 g convergen a un
mismo nmero, podemos concluir que fxn g converge a dicho nmero.

Este resultado puede generalizarse de manera fcil. Por ejemplo si fx3n g, fx3n
convergen todas a un mismo nmero, tambin fxn g converge a dicho nmero.

1g

y fx3n

2g

12. Sea fxn g una sucesin de nmeros reales y supongamos que hay nmeros  20; 1, M > 0 y
p 2 N tales que jxnC1 xn j 6 Mn para todo n > p. Prueba que fxn g es convergente.
Sugerencia. Teniendo ahora en cuenta que para todos n; h 2 N se verifica que:
nCh

C nCh

C


C n <

n
1

deduce que fxn g verifica la condicin de Cauchy.

Solucin. Sean n; h 2 N, tenemos:
h 1
X

jxnCh xn j D
.xnCkC1

kD1

D Mn

h 1
X

kD0

h 1
X

xnCk / 6
jxnCkC1

k D Mn

kD0

xnCk j 6 M

h 1
X

kD0

nCk D

M
1 h
< n
D Kn
1 
1 

M
Donde hemos puesto K D
, que es una constante independiente de n y de h. Deducimos
1 
que:
Kn < " jxnCh xn j < " para todo h 2 N

Dado " > 0, determinamos m" por la condicin de que m" < "=K. Entonces para todo n > m"
y para todo h 2 N se verifica que jxnCh xn j < ", lo que prueba que la sucesin fxn g verifica la
condicin de Cauchy y, por tanto, es convergente.

13. Sea fxn g una sucesin de nmeros reales y supongamos que existen  20; 1; p 2 N, tales que
jxnC1 xn j 6 jxn xn 1 j para todo n > p. Prueba que fxn g es convergente.
Sugerencia. Justifica que jxnC1

xn j 6 Mn donde M es una constante independiente de n.

Solucin. Es muy fcil, basta iterar la desigualdad del enunciado. Sea n > p:
jxnC1

xn j 6 jxn

xn

1j

6 2 jxn

xn

2j

6


6 n

jxpC1

xp j D Mn :

jxpC1 xp j
es una constante independiente de n. El ejercicio anterior nos dice que
p
la sucesin fxn g es convergente.

Donde M D

14. Sea I un intervalo cerrado (puede ser I D R); f W I ! R una funcin, y supongamos que hay
un nmero 20; 1 tal que:
jf .x/
Dpto. de Anlisis Matemtico

f .y/j 6 jx

yj;

para todos x; y en I :

(1)

Universidad de Granada

Ejercicios de Anlisis Matemtico

12

Se dice entonces que f es una funcin contractiva en I . Supongamos adems que f .x/ 2 I
para todo x 2 I . Dado un punto a 2 I , definamos fxn g por x1 D a; y xnC1 D f .xn / para todo
n 2 N.
a) Prueba que fxn g converge a un punto x 2 I que es el nico punto fijo de f , es decir, f .x/Dx.

b) Justifica que si la funcin f es derivable en I y se verifica que hay un nmero 20; 1 tal que
jf 0 .x/j 6 para todo x 2 I , entonces f es contractiva en I .

Solucin. a) Es consecuencia inmediata del ejercicio anterior.

b) Es consecuencia inmediata del teorema del valor medio.

15. Estudia la convergencia de las sucesiones definidas para todo n 2 N por:
a/ x1 D 1; xnC1 D

1
I
1 C xn

b/ x1 D

p
p
2; xnC1 D 2

xn :

1
. La sucesin que nos piden estudiar
1Cx
es la sucesin de iteradas de dicha funcin a partir del valor inicial x1 D 1. Como f 0 .x/ D
1
< 0, la funcin f es estrictamente decreciente. Por tanto, la sucesin xnC1 D f .xn /
.1 C x/2
no es montona. Pues si, por ejemplo es xn 1 < xn , como f , al ser decreciente, invierte las
desigualdades, se tendr que xn D f .xn 1 / > f .xn / D xnC1 .
Solucin. a) Consideremos la funcin dada por f .x/D

Es evidente que xn > 0 para todo n 2 N. Por tanto 1 C xn > 1xnC1 < 1, luego xn 6 1
para todo n 2 N, de donde 1 C xn 6 2xnC1 > 12 . Deducimos que todos los trminos de la
sucesin estn en el intervalo I D 1=2; C1. Para x > 1=2 se tiene que jf 0 .x/j 6 49 . Podemos
aplicar, por tanto, el ejercicio anterior y deducimos que fxn g es convergente. Adems, su lmite
1
es el nico punto fijo de f en I , que viene dado por x D
x 2 C x 1 D 0, de donde,
1
C
x
p
1C 5
xD
.

2
16. Supongamos que la ecuacin x 2 D bx C a tiene dos races reales distintas y . Dados dos
nmeros reales  y , definamos fxn g por:
x1 D  C ; x2 D  C  ; xnC2 D bxnC1 C axn
Prueba que xn D  n

C  n

para todo n 2 N.

Aplicaciones. i) La sucesin fxn g definida para todo n 2 N por:

x1 D x2 D 1; xnC2 D xnC1 C xn
se llama sucesin de Fibonacci. Calcula explcitamente xn .
ii) Estudia la convergencia de la sucesin definida para todo n 2 N por:
1
x1 D a; x2 D b; xnC2 D .xnC1 C xn /:
2
Solucin. La igualdad xn D  n 1 C  n 1 es cierta para n D 1 y para n D 2. Sea n 2 N, con
n > 2, y supongamos que la igualdad se verifica para todo k 2 N con k 6 n. Entonces, teniendo
en cuenta que 2 D b C a y 2 D b C a, tenemos que:
xnC1 D bxn C axn

D .b C a/

D b n

n 2

C b n

C .b C a/

n 2

C a n
n

C a n

D  C 

Lo que prueba la igualdad para n C 1. Concluimos, por induccin, que la igualdad es cierta para
todo n 2 N.
Dpto. de Anlisis Matemtico

Universidad de Granada

Ejercicios de Anlisis Matemtico

13

i) Como xnC2 DxnC1 Cxn , deducimos que aDb D1. Por tanto, y son las races de x 2 Dx C1,
las cuales vienen dadas por:
p
p
1
5
1C 5
D
;
D
2
2
Calculemos  y  por las condiciones x1 D 1 D  C D, x2 D 1 D  C . Fcilmente se
obtiene que:
p
p
5
5
5C 5
;
D
D
2
2
Deducimos, por lo antes visto, que:
xn D

p
5
2

p !n
5
2

p
5C 5
C
2

p !n
1C 5
2

iii) Pongamos x1 D a1 b 0 , x2 D a0 b 1 , xn D apn b qn . Entonces:

1

xnC2 D apnC2 b qnC2 D a 2 .pnC1 Cpn / b 2 .qnC1 Cqn / :

Tenemos las ecuaciones:
p1 D 1; p2 D 0; 2pnC2 D pnC1 C pn ;

q1 D 0; q2 D 1; 2qnC2 D qnC1 C qn

Ambas ecuaciones son de la forma 2xnC2 D xnC1 C xn por lo que a D b D 1 y y son las
races de 2x 2 D x C 1. Por tanto D 1, D 21 . En consecuencia:
pn D 1 C 1

1
2

n

qn D 2 C 2

1
2

n

Debemos ahora calcular 1 ; 1 y 2 ; 2 para que se verifiquen las respectivas condiciones iniciales p1 D 1; p2 D 0 y q1 D 0; q2 D 1. Fcilmente se obtiene que 1 D 13 , 1 D 32 , 2 D 23 ,
2 D 23 . Deducimos que:
1

xn D a 3 C 3

1
2

n

b3

2
3

1
2

n

! a3 b 3 D

p
3
ab 2 :

17. Prueba que flog n! g es asintticamente equivalente a fn log n g.

Solucin. Pongamos xn D n log n, yn D log n!. Aplicaremos el criterio de Stolz para calcular el
lmite de la sucesin f xynn g. Tenemos que:


n log nC1
xn
.n C 1/ log.n C 1/ n log n
n
D
D
C1
yn
log.n C 1/
log.n C 1/




nC1
1 n
Teniendo
en
cuenta
que
n
log
D
log
1
C
! 1 y que log n ! C1, obtenemos que
n
n
n
o
xnC1
ynC1

xnC1 xn
ynC1 yn

! 1 y, por el criterio de Stolz, concluimos que f xynn g ! 1.

18. Justifica que la sucesin

> 0.

p
n
1 C 1=n

1 es asintticamente equivalente a 1=nC1 , donde

p
p
n
n
1 C 1=n . Como 1 6 xn 6 2, deducimos, por el principio de las
log x
sucesiones encajadas, que fxn g ! 1. Sabemos que lKm
D 1, porque dicho lmite es la
x!1 x
1
derivada en 1 de la funcin logaritmo. Por tanto, para toda sucesin fzn g ! 1 se verifica que
Solucin. Pongamos xn D

Dpto. de Anlisis Matemtico

Universidad de Granada

Ejercicios de Anlisis Matemtico

14

log.zn /
D 1, esto es, zn 1  log.zn /. Anlogamente, se tiene que log.1 C un /  un para
zn 1
toda sucesin fun g ! 0. Deducimos que:


1
1
1 1
1
D C1
xn 1  log.xn / D log 1 C 

n
n
nn
n

lKm

19. Calcula los lmites de las sucesiones fxn g definidas por:

1 C 2 C 3 C


C n
a) xn D
, donde > 1.
nC1
q
k
n , donde k 2 N, aj 2 R; 16j 6k.
b) xn D .n C a1 /.n C a2 /


.n C ak /
!
p
n
p
n
n aC b
c) xn D
donde a > 0, b > 0 y ; 2 R, C 0.
C
!n
1 C 2p=n C 3p=n C


C p p=n
, donde p 2 N.
d) xn D
p
!
1 C 2k C 3k C


C nk
1
e) xn D n
, donde k 2 N.
kC1
nkC1
n2
3 1 C 32 C 52 C


C .2n 1/2
f) xn D
4
n3

n

1
g) xn D n 1 C 3
1
n log.1 C 1=n/

1
n 1
n 2
2
1
h) xn D
nC
C
C


C
C
n
2
3
n 1
n


log.n!/

Solucin. a) Pongamos xn D uvnn . Aplicamos el criterio de Stolz, lo cual puede hacerse porque, al
ser > 1 se tiene que nC1 es una sucesin estrictamente creciente.


unC1 un
.n C 1/
1
nC1


D
D
C1
vnC1 vn
n
.n C 1/C1 nC1
1
1
n 1C n
Usando las equivalencias asintticas xn 1  log.xn /, vlida cuando fxn g ! 1, y log.1 Cun / 
un , vlida cuando fun g ! 0, tenemos que:
"
#





1 C1
1 C1
1
1
1  n log 1 C
D . C 1/n log 1 C
 . C 1/n D C 1:
n 1C
n
n
n
n
Deducimos que lKm

unC1 un
vnC1 vn

1
C1

y, por el criterio de Stolz, lKm xn D

1
C1 .

b)Tenemos que:
q
k

.n C a1 /.n C a2 /


.n C ak /

r


a1

a2

ak

nDn
1C
1C



1C
1 
n
n
n
h
1
a1

a2

ak
i
 n log 1 C
1C



1C
D
k
n
n
n
k
1X
aj

a1 C a2 C


C ak
D
n log 1 C
!
:
k
n
k
k

j D1

Donde hemos tenido en cuenta que lKm n log 1 C

n!1

Dpto. de Anlisis Matemtico

a
n

D a.
Universidad de Granada

Ejercicios de Anlisis Matemtico

15

c) Es una sucesin de potencias de la forma xn D uvnn , donde

p
p
n
n aC b
;
vn D n
un D
C
Claramente un ! 1, por lo que tenemos una indeterminacin del tipo 11 . Usaremos el criterio
de equivalencia logartmica.
!
!
p
p
p
p
n
n
n aC b
. n a 1/ C . b 1/
vn .un 1/ D n
1 Dn
D
C
C
p
p

n
D
n. n a 1/ C
n. b 1/ !
C
C



log a C
log b D log a C b C
!
C
C

Deducimos que lKm fxn g D a C b C .

n!1

d) Es una sucesin de potencias de la forma xn D uvnn , donde

p

1 C 2n C 3n C


C pn
;
un D
p

vn D n

Claramente un ! 1, por lo que tenemos una indeterminacin del tipo 11 . Usaremos el criterio
de equivalencia logartmica.
!
p
p
p
1 C 2n C 3n C


C pn
vn .un 1/ D n
1 D
p






p
p
p
1
n 2n 1 C n 3n 1 C


C n p n 1
D
p
p
Teniendo en cuenta que lKm n. n a 1/ D log a, deducimos que:
1/ D log 2 C log 3 C


C log n D log n! lKmfxn g D n!:

lKm vn .un

n!1

f) Es una sucesin de potencias xn D uvnn , donde:

un D

3 1 C 32 C 52 C


C .2n
4
n3

1/2

vn D n2 :

La base fun g converge a 1, pues aplicando Stolz con an D 1 C 32 C 52 C


C .2n 1/2 y bn D n3 ,

tenemos:
anC1 an
.2n C 1/2
4n2 C 4n C 1
4
D
D 2
! :
3
3
bnC1 bn
.n C 1/
n
3n C 3n C 1
3

Se trata de una indeterminacin del tipo 11 . Aplicaremos el criterio de equivalencia logartmica.



3 1 C 32 C 52 C


C .2n 1/2
vn .un 1/ D n2
1
D
4
n3


4n3
3 3 1 C 32 C 52 C


C .2n 1/2
D
4
n


Apliquemos ahora el criterio de Stolz con zn D 3 1 C 32 C 52 C


C .2n 1/2
4n3 ,wn D n.
Tenemos:
znC1 zn
D 3.2n C 1/2 4.n C 1/3 C 4n3 D 1:
wnC1 wn
Dpto. de Anlisis Matemtico

Universidad de Granada

Ejercicios de Anlisis Matemtico

16

Deducimos que vn .un 1/ ! 34 y, por tanto, lKmfxn g D e

h
n
i

1
g) xn D n 1 C n3 log.1C1=n/
1 . Pongamos zn D 1 C
una indeterminacin del tipo 11 . Tenemos que:
n

3
4

1
Dp
4 3.
e

1
n3 log.1C1=n/

1
1
1
D
!0
n3 log.1 C 1=n/
n n log.1 C 1=n/

n

. La sucesin fzn g es

zn ! 1:

En consecuencia:
1

xn  n log.zn / D n log 1 C
Luego lKmfxn g D lKm

1
1
n log 1C n

n3 log 1 C

D 1.

1
n

 n2

1
n3 log 1 C

1
n

D

1
n log 1 C

1
n

:

20. Calcula los lmites de las sucesiones fxn g definidas por:



p p
p
log 1 C 12 C


C n1
e e 3 e


n e
a/ xn D
b/ xn D
log.log n/
n

n


1
log n
log.n C 2/ n log n
c/ xn D
1C
d/ xn D
n
n
log.n C 1/
p
j
n
k 
X
Y
1
1
1
.2 n n 1/n
e/ xn D
log
1C
f / xn D
n
k
j
n2
j D1
kD1
s

n

log.n C 1/
.pn/!
g/ xn D log n
1
h/ xn D n
.p; q 2 N/
log n
.q n/p n
P
n



1 p
5 nkD1 k 4
n
j
/
x
D
log
1
C
i / xn D
n!
n
n5
n
n
2
3
p
2
n
C 32 C 432 C


C .nC1/
e esen.1=n/
1
nn 1
k/ xn D n
l/ xn D
1 n sen.1=n/
n2
Solucin. a) Usaremos la estrategia ??. Pongamos Hn D log n C xn donde fxn g ! . Tenemos
que:





xn
log 1 C 12 C


C 1n
log
log
n
1
C
log.log n C xn /
log n
D
D
D
log.log n/
log.log n/
log.log n/




xn
xn
log.log n/ C log 1 C log
log
1
C
n
log n
D1C
! 1:
D
log.log n/
log.log n/
Observacion. Es sabido que Hn  log n, pero de aqu no puede deducirse directamente que
log.Hn /  log.log n/ que es lo que hemos probado. La razn es que no es cierto en general que
1

si fxn g  fyn g tambin sea log.xn /  log.yn /. Por ejemplo, las sucesiones fe n g y fe n2 g son
asintticamente equivalentes porque ambas convergen a 1, pero sus logaritmos son las sucesiones
f n1 g y f n12 g que no son asintticamente equivalentes.

En general, no hay garantas de que una equivalencia asinttica entre sucesiones se conserve por
una determinada funcin.
2
c) Tomando logaritmos tenemos que:


log n
log xn D n log 1 C
n
Dpto. de Anlisis Matemtico

 

log n
log n D n log 1 C
n

log n
n

Universidad de Granada

Ejercicios de Anlisis Matemtico

17

Esta expresin es de la forma log.1 C un /

un donde un ! 0. Recordemos que:

log.1 C x/
x!0
x2

lKm

1
2

Tenemos que:

log 1 C
log xn D


log n
n

log n
n

Poniendo un D

log n
,
n

log n
n

2

.log n/2
n

como un ! 0, deducimos que la primera de las dos fracciones anteriores

2

y la segunda .lognn/ ! 0. Concluimos que log xn ! 0 y, por tanto, fxn g ! 1.


n
k 
Y
1X1
1 j
e) xn D
log
1C
. Pongamos:
n
k
j

converge a

1
2

kD1

j D1

zk D

k
X


k 
Y
1 j j D1
1
log
1C
D
k
j
j D1



1
j log 1 C
j
k

De esta forma, se tiene que:

xn D

n
X

zk

kD1



Como fzn g es la sucesin de medias aritmticas de la sucesin yn Dn log 1 C n1 , y lKmfyn gD1,
se sigue, por el criterio de la media aritmtica, que fzn g ! 1. Como fxn g es la sucesin de las
medias aritmticas de fzn g, volviendo ahora a aplicar el mismo criterio, deducimos que fxn g !
1.
p
.2 n n 1/n
f) xn D
. Pongamos:
n2
r !n
r
 p
n
2nn 1
n 1
n 1
p
xn D
D 2
n
n
n2
n2
q
q
n 1
y vn D n.
Se trata de una sucesin de potencias de la forma xn D uvnn donde un D 2 n 1n
n2
1
Claramente un ! 1, por lo que se trata de una indeterminacin del tipo 1 . Aplicaremos el
criterio de equivalencia logartmica.
!
!2
r
r
r
n 1
n 1
n 1
vn .un 1/ D n 2
1 D n
1 
n
n2
n
r !2
log n
n 1
 n log
D
! 0:
n
n
Deducimos que xn ! 1.



log.n C 1/
log n

n

g) La sucesin xn D log n
1 es de la forma bn .an
1/ donde

n
an D log.nC1/
, bn D log n. Veamos que fan g ! 1. Para ello, como se trata de una indelog n
terminacin del tipo 11 , aplicamos el criterio de equivalencia logartmica:



n
1

 n log 1 C 1
log
1
C
log.n C 1/
n
n
n
1 D
D
!0
log n
log n
log n
Dpto. de Anlisis Matemtico

Universidad de Granada

Ejercicios de Anlisis Matemtico

18

Por tanto, fan g ! 1. Podemos aplicar ahora el criterio de equivalencia logartmica a la sucesin
bn .an 1/. Tenemos que:


log.n C 1/ n log n
bn
an D
log n

Esta sucesin es una indeterminacin del tipo 11 y podemos volver a aplicarle el criterio de
equivalencia logartmica.




log.n C 1/
1
n log n
1 D n log 1 C
! 1:
log n
n
Concluimos que fxn g ! 1.
s
.pn/!
p
donde p; q 2 N. Es una sucesin del tipo xn D n zn donde zn D
h) xn D n
.q n/pn
Tenemos que:

pn
znC1
.pn C p/! .q n/pn
.pn C 1/.pn C 2/


.pn C p/
n
D
D
zn
.q n C q/pnCp .pn/!
.q n C q/p
nC1

.pn/!
.q n/pn .

es un cociente de dos polinomios en la variable n del mismo

La fraccin .pnC1/.pnC2/


.pnCp/
.q nCq/p
grado p y coeficientes lder iguales
a p p y q p respectivamente, por tanto su lmite es igual a

np


pn
p
p
n
1
.
La
sucesin
D
1
converge a e p . Por tanto, en virtud del corolario
q
nC1
nC1


p
??, la sucesin dada converge a qpe .
p
1
1
n
e esen.1=n/ e n esen. n /
ex esen x
k) xn Dn
.
Consideremos
la
funcin
f
.x/D
D 1
. Pongamos
1 n sen.1=n/ n sen. 1n /
x sen x
yn D 1n . Tenemos que xn D f .yn /. Como yn ! 0, el lmite de fxn g es igual al lmite de f .x/ en
x D 0. Tenemos que:
f .x/ D

ex esen x
ex
D esen x
x sen x
x

Donde hemos usado que la funcin

ex sen x 1
x sen x

sen x

1
 esen x  1
sen x

es de la forma

e h.x/ 1
h.x/

.x ! 0/
donde lKm h.x/ D 0, por lo
x!0

que dicha funcin tiene lmite igual a 1 en x D 0.

21. Sabiendo que fan g ! a, calcula el lmite de las sucesiones:

p
a) xn D n. n an 1/
b) xn D

exp.a1 / C exp.a2 =2/ C


C exp.an =n/

log n

a1 C a2 =2 C


C an =n
log n
Solucin. b) Es una sucesin del tipo xn D

c) xn D

unC1
vnC1

un
vn .

Aplicaremos el criterio de Stolz.

anC1

exp nC1
1
un
anC1
D
! a:

n
1
vn
nC1
log 1 C n

Donde hemos usado la equivalencia asinttica ezn 1  zn vlida siempre que zn ! 0 y

log.1 C yn /  yn , vlida siempre que yn ! 0. Concluimos que fxn g ! a.

n
o
x
22. Sea fxn g una sucesin de nmeros positivos tal que nC1
! L > 0. Calcula el lmite de la
xn
r
xn
sucesin n p
.
n
x1 x2


xn
Dpto. de Anlisis Matemtico

Universidad de Granada

Ejercicios de Anlisis Matemtico

19

xn
p
Solucin. Es una sucesin del tipo wn D n yn donde yn D p
. Aplicaremos el corolario
n
x1 x2


xn
??. Tenemos que:

1
x1 x2


xn n
ynC1
xnC1
D
L
1

nC1
yn
xn x x


x x
1 2
n nC1

En virtud, del citado corolario, se tiene que

Consideremos la sucesin:
log zn D

1
1
x1 x2


xn n.nC1/
p
xnC1

nC1

1
p
xnC1 ! L. Sea zn D x1 x2


xn n.nC1/ .

nC1

log.x1 / C log.x2 / C


C log.xn /

n.n C 1/

Pongamos an D log.x1 / C log.x2 / C


C log.xn /, bn D n.n C 1/. Aplicaremos el criterio de

Stolz.
p
anC1 an
1
log.xnC1 /
1
p
D
D log nC1 xnC1 ! log L D log L:
bnC1 bn
2n C 2
2
2
p
p
p
y
! L. El citado
Deducimos que log zn ! log L, por lo que zn ! L y tambin nC1
y
n
p
corolario ?? implica que wn ! L.
23. Sean a, b nmeros positivos; definamos xk D a C .k

1/b para cada k 2 N y sea Gn la media

Gn
geomtrica de x1 ; x2 ; : : : ; xn y An su media aritmtica. Calcula el lmite de la sucesin
.
An

Solucin. Tenemos que An D

Gn
D
An

na C

n.n 1/
b
2

p
n
x1 x2


xn
aC

n 1
b
n

Calcularemos el lmite de la sucesin Un D

corolario ??, tenemos:

DaC
D
r

1
n

1
a
n

b. Por tanto:
r

n 1
b
2n

x1 x2


xn
nn

x1 x2


xn
p
, que es del tipo Un D n zn , usando el
n
n


znC1
xnC1
xnC1
n
D
n D
1
zn
.n C 1/nC1
nC1

1
nC1

n

b
:
e

Gn
g ! 2e .
Deducimos que f A
n

24. Sea fxn g ! x, fyn g ! y, x y. Definamos z2n



1 Dxn ,

y z2n Dyn . Justifica que la sucesin

z1 C z2 C


C zn
n

es convergente.
Solucin. Pongamos un D

z1 C z2 C


C zn
. Tenemos que:
n

z1 C z3 C


C z2n 1
z2 C z4 C


C z2n
C
D
2n
2n
1 x1 C x2 C


C xn
1 y1 C y2 C


C yn
x
y
xCy
D
C
! C D
:
2
n
2
n
2
2
2

u2n D

Donde hemos aplicado el criterio de la media aritmtica. Anlogamente se comprueba que

xCy
fu2n 1 g ! xCy
2 . Concluimos que fun g ! 2 .

Dpto. de Anlisis Matemtico

Universidad de Granada

Ejercicios de Anlisis Matemtico

20

Observa que no se puede calcular el lmite de fun g aplicando el criterio de Stolz. Llamando
n
Zn D z1 C z2 C


C zn , Vn D n, tenemos un D Z
y:
Vn
ZnC1
VnC1
Por tanto, la sucesin

Zn
D ZnC1
Vn
ZnC1 Zn
VnC1 Vn

Zn D

xmC1 ; si n D 2m es par;
ym ;
si n D 2m 1 es impar.

no es convergente.

25. a) Justifica las desigualdades:

0 < log

ex 1
ex 1
< x .x > 0/I x < log
< 0 .x < 0/:
x
x

b) Dado x 0 definamos x1 D x, y para todo n 2 N:

xnC1 D log

exn 1
:
xn

Estudia la convergencia de fxn g.

Solucin. a) En virtud del teorema del valor medio tenemos que:

ex
x

ex 1
e0
D
D ec
0
x

donde c es un punto comprendido entre x y 0, esto es, c 20; x si x > 0, y c 2x; 0 si x < 0.
En el primer caso es 1 < ec < ex y en el segundo es ex < ec < 1. partir de aqu se deducen
enseguida las desigualdades del enunciado.
ex 1
b) Definamos f .x/ D log
y f .0/ D 0. La funcin f es continua en R. Supongamos que
x
x < 0. Entonces, como consecuencia de la segunda de las desigualdades del apartado anterior,
se tiene que la sucesin fxn g es creciente y xn < 0 para todo n 2 N. Por tanto, dicha sucesin
converge y su lmite es un nmero 6 0, que debe verificar la igualdad D f ./ lo que exige
que D 0.

26. Se considera la funcin f W RC ! R definida para todo x > 0 por f .x/ D log x

x C 2.

a) Prueba que f tiene exactamente dos ceros, y , con < 1 < .

b) Dado x1 2; , se define la siguiente sucesin por recurrencia:
xnC1 D log xn C 2 ; 8n 2 N:
Prueba que fxn g es una sucesin montona creciente y acotada que converge a .
Solucin. a) Como lKm f .x/ D lKm f .x/ D 1 y f .1/ D 1 > 0 y, evidentemente, la funcin
x!0

x!C1

f es continua en RC , podemos aplicar el teorema de Bolzano a los intervalos 0; 1 y 1; C1,

para deducir que f tiene algn cero en cada uno de ellos.

Como f 0 .x/ D x1 1 D 1 xx , se sigue que f es estrictamente decreciente en 1; C1 y estrictamente creciente en 0; 1. Por tanto solamente puede anularse una vez en dichos intervalos.
b) Como la funcin h.x/ D log x C 2 es estrictamente creciente para x > 0 y h./ D , h./ D ,
se deduce que para todo x 2; es < h.x/ < . Adems, como h.x/ x es continua y no se
anula en ; debe tener signo constante. Como h.1/ > 0, deducimos que x < h.x/ para todo
x 2; . Por tanto, dado x1 2; , se tiene que x1 < h.x1 / D x2 y, supuesto que xn 1 < xn se
tiene que xn D h.xn 1 / < h.xn / D xnC1 . Por tanto fxn g es una sucesin estrictamente creciente
y, adems, todos sus trminos estn en ; , luego dicha sucesin converge y su lmite, , debe
verificar la igualdad  D h./; puesto que <  6 , se sigue que  D .

Dpto. de Anlisis Matemtico

Universidad de Granada

Ejercicios de Anlisis Matemtico

21

27. Dado un nmero 20; , se define la sucesin fxn g dada por x1 D sen , xnC1 D sen xn .
(a) Justifica que la sucesin fxn g es convergente y calcula su lmite.
1
1
(b) Calcula el lmite de la sucesin zn D 2
xn2
xnC1
Solucin. a) La conocida desigualdad 0 < sen x < x, vlida para todo x 20; , implica que la
sucesin es estrictamente decreciente y de nmeros positivos. De aqu se deduce enseguida que
es convergente y su lmite es 0.
b)
zn D


1
1
D
2
2
xn
sen .xn /

2
xnC1

xn2

1
xn2 sen2 .xn /
D

xn2
xn2 sen2 .xn /

sen2 .xn /
sen.xn / C xn xn
D
xn4
xn

sen.xn /
1
! :
xn3
3

p 

 
n
28. Calcula el lmite de la sucesin zn D n
C i sen
2 cos
2n
2n

p
Sugerencia. Recuerda que el lmite de la sucesin n n 2

1 .

1 es bien conocido.

Solucin.



p 
p
p


n
n
n
2 cos
1 C i 2 sen
C 2 1 D
2n
2n



p
 p  cos 
1
p
 sen 2n

n
n
n
2n
Dn
2 1 C 2
C
i
2
! log 2 C i


2
2
2
2n
2n

zn D n

29. Sea z 2 C, con jzj D 1, z 1. Prueba que la sucesin fz n g no converge (qu pasa si supones que
converge?). Deduce que si ' es un nmero real que no es un mltiplo entero de , las sucesiones
fcos.n'/g y fsen.n'/g no convergen.

Solucin. Siguiendo la sugerencia, supongamos que fz n g converge a un nmero w 2 C. Como

jz n j D jzjn D 1, debe ser jwj D 1. Por una parte, es claro que fz nC1 g ! w y tambin fz nC1 g D
zfz n g ! zw, por tanto debe ser z D wz, lo que implica que .z 1/w D 0 lo cual es imposible
porque z 1 y w 0. Concluimos que fzn g no converge.

Sea ' un nmero real que no es un mltiplo entero de . Pongamos z D cos ' C i sen '. Tenemos
que z 1 y jzj D 1. Por lo antes visto, la sucesin fz n g D fcos.n'/ C i sen.n'/g no converge.
Veamos que esto implica que ninguna de las sucesiones fcos.n'/g, fsen.n'/g converge.
En efecto, de la igualdad:

sen..nC1/'/Dsen.n'/ cos 'Ccos.n'/ sen ' cos.n'/D

1
sen..nC1/'/ sen.n'/ cos '
sen '

se deduce que si fsen.n'/g converge, tambin converge fcos.n'/g y, por tanto, la sucesin
fcos.n'/ C i sen.n'/g converge, lo que es contradictorio.

Anlogamente, de la igualdad:

cos..nC1/'/Dcos.n'/ cos ' sen.n'/ sen ' sen.n'/D

1
cos..nC1/'/ cos.n'/ cos '
sen '

se deduce que si fcos.n'/g converge, tambin converge fsen.n'/g y, por tanto, la sucesin
fcos.n'/ C i sen.n'/g converge, lo que es contradictorio.

Dpto. de Anlisis Matemtico

Universidad de Granada