147 – Matemáticas 1 : Cálculo diferencial en IR

Anexo 4: Demostraciones

Series numéricas
Sucesiones de números
Demostración de: Proposición 241 de la página 138

 ∞  ∞  ∞
Proposición 241.- Sean an n=1 , bn n=1 y cn n=1 sucesiones numéricas. Si lı́m abnn = 1 y lı́m an cn =
n→∞ n→∞
L , entonces lı́m bn · cn = L
n→∞

Demostración:
  
bn bn 
lı́m bn · cn = lı́m · an · cn = lı́m · lı́m an · cn = 1 · L = L.
n→∞ n→∞ an n→∞ an n→∞

Demostración de: Proposición 242 de la página 138

 ∞
Proposición 242.- Sea an n=1 una sucesión. Si existe f : [1, ∞) −→ R tal que f (n) = an , ∀ n ∈ N , y
lı́m f (x) = L , entonces lı́m an = L
x→+∞ n→∞

Demostración:
Si lı́m f (x) = L , entonces para cada ε > 0 existe K > 0 tal que si x > K , se verifica que |f (x) − L| < ε .
x→+∞
En particular, para todo n > K , se verifica que |f (n) − L| < ε y, por tanto, que L = lı́m f (n) = lı́m an .
n→∞ n→∞
El resultado es válido también si L = ±∞.

Demostración de: Proposición 244 de la página 139

 ∞  ∞  ∞
Proposición 244.- Sean an n=1 una sucesión y anj j=1 una subsucesión de an n=1 . Si existe el lı́m an ,
n→∞
entonces existe el lı́m anj y se tiene que
j→∞

lı́m anj = lı́m an .

j→∞ n→∞

Demostración:
En efecto, si lı́m an = L ∈ R , para cualquier ε > 0 existe n0 tal que para todo n ≥ n0 se verifica que
n→∞
|an − L| < ε, en particular, para todo nj ≥ n0 se verifica que |anj − L| < ε, luego lı́m anj = L.
j→∞
Si lı́m an = +∞ , para cualquier K > 0 existe n0 tal que para todo n ≥ n0 se verifica que an > K , en
n→∞
particular, para todo nj ≥ n0 se verifica que anj > K , luego lı́m anj = +∞ .
j→∞
Análogamente para lı́m an = −∞ .
n→∞

Demostración de: Proposición 245 de la página 139

∞ ∞  ∞ ∞ S ∞
Proposición 245.- Sean {ani }i=1 y {ank }k=1 dos subsucesiones de la sucesión an n=1 , tales que {ani }i=1 {ank }k=1 =
 ∞
an n=1 . Entonces, si lı́m ani = lı́m ank = L se tiene que lı́m an = L.
i→∞ k→∞ n→∞

Demostración:
Si lı́m ani = L, para cada ε > 0 existe n1 tal que si n ≥ n1 se verifica que |ani −L| < ε, y si lı́m ank = L, para
i→∞ k→∞
cada ε > 0 existe n2 tal que si n ≥ n2 se verifica que |ank −L| < ε. Luego tomando n0 = máx{n1 , n2 } , se tiene
que para cada n ≥ n0 : ó an = ani , para algún i , luego n = ni ≥ n0 ≥ n1 , de donde |an − L| = |ani − L| < ε
ó an = ank , para algún k , luego n = nk ≥ n0 ≥ n2 , de donde |an − L| = |ank − L| < ε.
Análogamente se hace si L = ±∞ .

Demostración de: Proposición 249 de la página 139

Prof: José Antonio Abia Vian Grados de Ing. Industrial : Curso 2012–2013
148 – Matemáticas 1 : Cálculo diferencial en IR Anexo 4

Proposición 249.- Toda sucesión convergente está acotada.

Demostración:
 ∞
Si an n=1 converge, existe L ∈ R tal que an −→ L, es decir, para cada ε > 0 , existe n0 ∈ N tal que si
n ≥ n0 , entonces |an − L| < ε.
Luego, para todo n ≥ n0 , se verifica que L − ε < an < L + ε y, por tanto, que |an | ≤ máx{|L − ε|, |L + ε|}.
En consecuencia, si tomamos

K = máx{|a1 |, |a2 |, . . . , |an0 |, |L − ε|, |L + ε|},

se verifica que |an | ≤ K , para todo n ∈ N.

Demostración de: Proposición 251 de la página 139

Proposición 251.- Toda sucesión monótona creciente y acotada superiormente es convergente.

Toda sucesión monótona decreciente y acotada inferiormente es convergente.
Demostración:
 ∞
Sea an n=1 monótona creciente y acotada superiormente. Por estar acotada superiormente, existe L =
sup{an : n ∈ N} ∈ R y, por ser L el superior, para cualquier ε > 0 , existe n0 ∈ N tal que L − ε < an0 ≤ L .
Como la sucesión es monótona creciente, para todo n ≥ n0 , se verifica que an0 ≤ an , luego

L − ε < an0 ≤ an ≤ L < L + ε,

para todo n ≥ n0 , es decir, an −→ L.

Análogamente, para las monótonas decrecientes y acotadas inferiormente.

Demostración de: Proposición 256 de la página 140

∞
P
Proposición 256.- Sea an una serie numérica. Se tiene que
n=1

∞ ∞ ∞
P ∞
P
a)
P
an ∼
P
λan , para todo λ ∈ R − {0} b) an ∼ an , para todo k0 ∈ N
n=1 n=1 n=1 n=k0 +1

∞
P
c) Si la serie es convergente (o es divergente), la serie bj formada agrupando términos consecutivos, es
j=1
decir, con bj = anj−1 +1 + anj−1 +2 + · · · + anj , es también convergente (o es también divergente)
Demostración:
n
an , y denotaremos por Sn0 la suma parcial n -ésima de la otra serie involucrada en cada apartado.
P
Sea Sn =
i=1

n n n
a) Sn0 = a0n = an = λSn , luego se tiene que lı́m Sn0 = λ lı́m Sn y, por tanto, lı́m Sn0 es
P P P
λan = λ
i=1 i=1 i=1 n→∞ n→∞ n→∞
finito, infinito o no existe si respectivamente lı́m Sn es finito, infinito o no existe, y viceversa.
n→∞

b) Sea k0 ∈ N fijo. Para cada n , se tiene

kX
0 +n kX
0 +n k0
X
Sn0 = aj = aj − aj = Sk0 +n − Sk0 ,
j=k0 +1 j=1 j=1

luego
lı́m Sn0 = lı́m (Sk0 +n − Sk0 ) = −Sk0 + lı́m Sk0 +n .
n→∞ n→∞ n→∞

En consecuencia, lı́m Sn0 es finito, infinito o no existe si respectivamente lı́m Sn es finito, infinito o no
n→∞ n→∞
existe, y viceversa.

Prof: José Antonio Abia Vian Grados de Ing. Industrial : Curso 2012–2013
149 – Matemáticas 1 : Cálculo diferencial en IR Anexo 4

c) Basta tener en cuenta que

S10 = b1 = a1 + a2 + · · · + an1 = Sn1

S20 = b1 + b2 = a1 + · · · + an1 + an1 +1 + · · · + an2 = Sn2
..
.
Sj0 = b1 + · · · + bj = a1 + · · · + an1 + · · · + anj−1 +1 + · · · + anj = Snj ,
 ∞ ∞  ∞  ∞
es decir, que Sj0 j=1 = Snj j=1 es una subsucesión de Sn n=1 . Por tanto, si el lı́mite de Sn n=1


existe y es finito/infinito, el lı́mite de una subsucesión suya existe y toma el mismo valor finito/infinito.

Demostración de: Proposición 257 de la página 140

∞
P ∞
P ∞
P ∞
P
Proposición 257.- Sean an y bn dos series convergentes, entonces (an + bn ) converge y (an + bn ) =
n=1 n=1 n=1 n=1
∞
P ∞
P
an + bn
n=1 n=1

Demostración:
n n
ai y S 0 = lı́m Sn0 = lı́m
P P
Sean S = lı́m Sn = lı́m bi . Entonces
n→∞ n→∞ i=1 n→∞ n→∞ i=1

n
X n
X n
X
Sn00 = (ai + bi ) = ai + bi = Sn + Sn0 ,
i=1 i=1 i=1

de donde,
lı́m Sn00 = lı́m (Sn + Sn0 ) = lı́m Sn + lı́m Sn0 = S + S 0
n→∞ n→∞ n→∞ n→∞
∞
P ∞
P ∞
P ∞
P
y, por tanto, (an + bn ) converge y (an + bn ) = an + bn .
n=1 n=1 n=1 n=1

Demostración de: Teorema 260 de la página 141

∞
P
Teorema 260.- Una serie de términos positivos an converge si, y sólo si, la sucesión de sumas parciales
 ∞ n=1
Sn n=1 está acotada superiormente
Demostración:  ∞
Como an ≥ 0 se tiene que Sn = Sn−1 + an ≥ Sn−1 , luego la sucesión de sumas parciales Sn n=1 es monótona
creciente.
Entonces,
 ∞ P∞
⇐= si Sn n=1 está acotada superiormente, por ser monótona creciente, es convergente, luego an con-
n=1
verge;
 ∞ ∞
P
=⇒ si Sn n=1 no está acotada, por ser monótona creciente, se tiene que Sn −→ +∞ luego an diverge
n=1
a +∞ y, por tanto, no converge.

Demostración de: Primer criterio de comparación 262 de la página 141

∞
P ∞
P
Primer criterio de comparación 262.- Sean an y bn series de términos positivos tales que an ≤ bn ,
n=1 n=1
para todo n ∈ N —o a partir de un término en adelante—, entonces:
∞
P ∞
P
a) Si bn converge =⇒ an converge
n=1 n=1
∞
P ∞
P
b) Si an diverge =⇒ bn diverge
n=1 n=1

Prof: José Antonio Abia Vian Grados de Ing. Industrial : Curso 2012–2013
150 – Matemáticas 1 : Cálculo diferencial en IR Anexo 4

Demostración:
n n
bn = Sn0 y, entonces,
P P
Como an ≤ bn , se tiene Sn = an ≤
j=1 j=1

∞ ∞ ∞
Sn0
P  
a) Si bn converge =⇒ n=1
está acotada superiormente =⇒ Sn n=1
está acotada superiormente
n=1
∞
P
=⇒ an converge.
n=1
∞  ∞  ∞
Sn n=1 no está acotada superiormente =⇒ Sn0 n=1 no está acotada superior-
P
b) Si an diverge =⇒
n=1
∞
P
mente =⇒ bn diverge.
n=1

Demostración de: Segundo criterio de comparación 263 de la página 142

∞ ∞
P P an
Segundo criterio de comparación 263.- Sean an y bn series de términos positivos tales que lı́m =
n=1 n=1 n→∞ bn
L , entonces:
∞
P ∞
P
a) Si 0 < L < +∞ =⇒ an ∼ bn
n=1 n=1
∞
P ∞
P
b) Si L = 0 y a) bn converge =⇒ an converge
n=1 n=1

∞
P ∞
P
b) an diverge =⇒ bn diverge
n=1 n=1
∞
P ∞
P
c) Si L = +∞ y a) an converge =⇒ bn converge
n=1 n=1

∞
P ∞
P
b) bn diverge =⇒ an diverge
n=1 n=1

Demostración:
 
a) Si 0 < L < +∞ , y tomamos ε = L
, existe n0 ∈ N tal que si n ≥ n0 se tiene que  abnn − L < L
. De
 
2 2
donde
an
− L2 + L < bn < L
2 +L
y, como bn ≥ 0 , se tiene
L 3L
0≤ 2 bn ≤ an ≤ 2 bn
L 3L
para todo n ≥ n0 . Aplicando el Primer criterio de comparación a los casos 0 ≤ 2 bn ≤ an y 0 ≤ an ≤ 2 bn
se obtiene el resultado.
b) Si L = 0 , tomando ε = 1 , se tiene que existe n0 ∈ N tal que si n ≥ n0 entonces 0 ≤ an < bn , y recaemos
en el Primer criterio.
bn
c) Si L = +∞ , basta intercambiar los papeles de an y bn , pues entonces se tiene que lı́m = 0.
n→∞ an

Demostración de: Criterio del cociente (o de D‘Alambert) 267 de la página 143

∞
P an+1
Criterio del cociente (o de D‘Alambert) 267.- Sea an una serie de términos positivos tal que lı́m = L.
n=1 n→∞ an
Entonces:
∞
P
a) si L < 1 =⇒ an converge
n=1
∞
P
b) si L > 1 =⇒ an diverge
n=1

Prof: José Antonio Abia Vian Grados de Ing. Industrial : Curso 2012–2013
151 – Matemáticas 1 : Cálculo diferencial en IR Anexo 4

c) si L = 1 el criterio no decide
Demostración:

a) Si L < 1 , tomemos k = L + ε > 0 tal que L < k < 1 , entonces debe existir n0 ∈ N tal que para todo
n ≥ n0 se verifica que aan+1
n
≤ k < 1 y, por tanto, que an+1 ≤ kan , para todo n ≥ n0 . Luego
an0 +1 ≤ kan0
an0 +2 ≤ kan0 +1 ≤ k 2 an0
an0 +3 ≤ kan0 +2 ≤ k 3 an0
an0 +4 ≤ kan0 +3 ≤ k 4 an0
.. ..
. .
an = an0 +(n−n0 ) ≤ kan−1 ≤ k n−n0 an0
.. ..
. .
Sumando miembro a miembro, se obtiene
∞
X ∞
X ∞
X
an ≤ k n−n0 an0 = an0 k −n0 kn ,
n=n0 +1 n=n0 +1 n=n0 +1
∞ ∞
k n converge (|k| = k < 1 ).
P P
de donde an converge, ya que la serie geométrica
n=n0 +1 n=n0 +1
an+1
b) Si L > 1 , entonces ∃n0 ∈ N tal que an > 1 , para todo n ≥ n0 , luego
an < an+1 , para todo n ≥ n0 ,
y la serie diverge ya que an 6→ 0 .

Demostración de: Criterio de Raabe 268 de la página 144

∞  
P an+1
Criterio de Raabe 268.- Sea an una serie de términos positivos con lı́m n 1 − an = R . Entonces:
n=1 n→∞
∞
P
a) si R > 1 =⇒ an converge
n=1
∞
P
b) si R < 1 =⇒ an diverge
n=1

c) si R = 1 el criterio no decide
Demostración:

a) Si R > 1 , tomamos k > 0 tal que 1 < 1 + k < R , entonces existe n0 ∈ N tal que para todo n ≥ n0 se
tiene que
 
n 1 − aan+1
n
> 1 + k ⇐⇒ n (an − an+1 ) > an (1 + k) ⇐⇒ (n − 1)an − nan+1 > kan .
Luego
(n0 − 1)an0 − n0 an0 +1 > kan0
(n0 )an0 +1 − (n0 + 1)an0 +2 > kan0 +1
(n0 + 1)an0 +2 − (n0 + 2)an0 +3 > kan0 +2
.. ..
. .
(n − 2)an−1 − (n − 1)an > kan−1
(n − 1)an − (n)an+1 > kan
y, sumando todo miembro a miembro,
(n0 − 1)an0 − nan+1 > k(an0 + an0 +1 + · · · + an ) = k(Sn − Sn0 ).
Despejando, Sn < k1 ((n0 − 1)an0 − nan+1 ) + Sn0 < k1 ((n0 − 1)an0 ) + Sn0 = K constante, para todo
 ∞ P∞
n ≥ n0 , luego Sn n=1 está acotada superiormente y an converge.
n=1

Prof: José Antonio Abia Vian Grados de Ing. Industrial : Curso 2012–2013
152 – Matemáticas 1 : Cálculo diferencial en IR Anexo 4

b) Si R < 1 , entonces existe n0 ∈ N tal que para todo n ≥ n0 se tiene que

 
n 1 − aan+1
n
< 1 ⇐⇒ n (an − an+1 ) < an ⇐⇒ (n − 1)an < nan+1 .
Luego
(n0 − 1)an0 < n0 an0 +1 < (n0 + 1)an0 +2 < · · · < (n − 1)an < (n)an+1 ,
(n0 −1)an0
de donde n < an+1 , para todo n ≥ n0 , y, por tanto,
∞ ∞
X (n0 − 1)an0 X
< an+1 .
n=n
n n=n
0 0

∞
P
Como la serie minorante diverge, la serie an diverge.
n=1

Demostración de: Teorema 270 de la página 144

Teorema 270.- Toda serie absolutamente convergente es convergente

Demostración:
P∞ 
Si |an | converge, entonces, para cada ε > 0 , existe n0 ∈ N tal que si n ≥ n0 , se verifica que  |an | +

n=1 
|an+1 | + · · · + |an+p |  < ε, para todo p ∈ N . Pero, como

 
|an + an+1 + · · · + ap+n | ≤ |an | + |an+1 | + · · · + |an+p | =  |an | + |an+1 | + · · · + |an+p |  < ε
 
∞
P
la serie an también converge.
n=1

Demostración de: Teorema de Leibnitz 272 de la página 144

 ∞
Teorema de Leibnitz 272.- Sea an n=1 una sucesión de términos positivos, monótona decreciente y de lı́mite
∞
(−1)n+1 an converge
P
cero. Entonces la serie
n=1

Demostración:  ∞ ∞ ∞ ∞
Para demostrarlo, veamos que Sn n=1 = {S2n−1 }n=1 ∪ {S2n }n=1 converge, probando que {S2n−1 }n=1 y
∞
{S2n }n=1 convergen al mismo valor.
En efecto, los términos S2(n+1) y S2(n+1)−1 , par e impar, de la sucesión de sumas parciales se obtienen de
los anteriores términos par e impar con
S2n+2 = S2n + (−1)2n+2 a2n+1 + (−1)2n+3 a2n+2 = S2n + a2n+1 − a2n+2 = S2n + (a2n+1 − a2n+2 )
S2n+1 = S2n−1 + (−1)2n+1 a2n + (−1)2n+2 a2n+1 = S2n−1 − a2n + a2n+1 = S2n−1 − (a2n − a2n+1 )
 ∞
Como an n=1 es decreciente, ak − ak+1 ≥ 0 para todo k , entonces
S2n+2 ≥ S2n , y S2n+1 ≤ S2n−1 , para todo n ≥ 1 ;
∞ ∞
luego {S2n }n=1 es creciente y {S2n−1 }n=1 es decreciente, y se tiene
S2 ≤ S4 ≤ · · · ≤ S2n ≤ S2n+2 ≤ · · · y · · · ≤ S2n+1 ≤ S2n−1 ≤ · · · ≤ S3 ≤ S1 h 12.1 i
Además, como
S2n = S2n−1 + (−1)2n+1 an = S2n−1 − a2n ≤ S2n−1 ,
de h 12.1 i se tiene que
S2 ≤ S2n ≤ S2n−1 ≤ S1
∞ ∞
y, en consecuencia, {S2n }n=1
está acotada superiormente por S1 y {S2n−1 }n=1 está acotada inferiormente por
S2 , luego convergen.
Concluyendo, como existe el lı́m S2n , existe el lı́m S2n−1 , lı́m an = 0 y S2n = S2n−1 − a2n , se tiene que
n→∞ n→∞ n→∞

0 = lı́m a2n = lı́m (S2n−1 − S2n ) = lı́m S2n−1 − lı́m S2n ;

n→∞ n→∞ n→∞ n→∞
 ∞
luego lı́m S2n−1 = lı́m S2n y Sn n=1 converge.
n→∞ n→∞

Prof: José Antonio Abia Vian Grados de Ing. Industrial : Curso 2012–2013