|xn+m − xn | <
para todo > 0, n ∈ N, y n > m. De donde la sucesion {xn } es de Cauchy
y por lo tanto es √
convergente.
√ Ahora, supongamos
√ que lı́mn→∞ xn = L,
entonces lı́mn→∞ xn = lı́mn→∞ xn = L. Como xn → L cuando
n → ∞,entonces xn+1 → L cuando n → ∞, luego
1
L = lı́m xn+1 = lı́m 1 + √
n→∞ n→∞ xn
1
=1+ √
lı́mn→∞ xn
1
=1+ √
L
Entonces
1 1
L = 1 + √ ⇐⇒ L − 1 = √
L L
√ 1
⇐⇒ L =
L−1
1
⇐⇒ L =
(L − 1)2
⇐⇒ L(L2 − 2L + 1) = 1
⇐⇒ L3 − 2L2 + L − 1 = 0
1
lı́m sup an . lı́m sup = 1,
n→∞ n→∞ an
1 1
lı́m sup =
n→∞ an lı́m inf n→∞ an
En efecto, sea L = liminfn→∞ an y {ank } una subsucesión de an tal que
L = liminfn→∞ ank . Si L ∈ R con L 6= 0
sea > 0 dado, entonces existe N ∈ N tal que
L2
Si k > N implica L − < ank y
2
Si k > N implica ank < L + L2
Ahora, si k > N
1 1 1 L2 1
< 2 (1)
ank =L+ < L +
L−L L(L − L
2 2
Y
1 1 1 L2 1
> = − 2 )
> − (2)
ank L+L 2 L L(L + L L
2
De (1) y (2) obtenemos que:
1 1 1
−< < +
L ank L
1 1
De donde | − | < Por lo tanto
ank L
1 1 1
lı́m = = (3)
n→∞ an L liminfn→∞ an
1
Ahora, si L = 0, sea M > 0,luego existe k ∈ R tal que an <
M
1
para todo n > k, de donde M < para todo n > k
an
Por lo que
1 1 1
lı́m sup =∞= = (4)
n→∞ an L lı́m inf n→∞ an
Así de (3) y (4) obtenemos que
1 1
lı́m sup =
n→∞ an lı́m inf n→∞ an
1
Ahora, por hipótesis lı́m supn→∞ an . lı́m supn→∞ =1
an
1 1
pero como lı́m supn→∞ =
an lı́m inf n→∞ an
1
entonces lı́m supn→∞ an . =1
lı́m inf n→∞ an
Equivalentemente
lı́m sup an = lı́m inf an
n→∞ n→∞
k=1 k=1
an+1 bn+1
≤ para todo n > N
an bn
∞ ∞
para algún N ∈ N. Demuestre que si an diverge,entonces bn tam-
X X
k=1 k=1
bién diverge.
∞
Razonemos por contradicción, supongamos que an di-
X
Demostración.
k=1
∞
an
verge y bn converge. Denamos xn = para cada n ∈ N. Luego
X
bn
k=1
an+1 an
xn+1 = 6 = xn para todo n > N
an bn
Así la sucesión {xn } es monótona decreciente para n > N . Luego esta es
acotada, esto es, existe X > 0 tal que 0 < xn < X para todo n ∈ N. Por
lo tanto
∞
X ∞
X ∞
X
an = x n bn < X bn
k=1 k=1 k=1
∞ ∞
Y dado que bn converge entonces X bn también converge y por cri-
X X
k=1 k=1
∞
terio de comparación an converge, lo cual es una contradicción por lo
X
k=1
∞
tanto bn diverge.
X
k=1
5. (20 %)Sea {an }una sucesión de números reales que diverge a+∞ o a −∞.
Entonces
an
1
lı́m 1+ = e.
n→∞ an
De donde
an
1
lı́m 1+ =e
n→∞ an