Demonstrao do Teorema dos Intervalos encaixantes

O objetivo demonstrar que se uma sequncia de intervalos encaixante, ento,

a sequncia formada pelo quadrado de seus termos tambm .
preciso demonstrar a veracidade de duas condies:

(I) [a
i
, b
i
] [a
i+1
, b
i+1
] i N
(II) r > 0 n N : b
n
a
n
< r.
Demonstrao da veracidade da propriedade [a
2
i
, b
2
i
]

a
2
i+1
, b
2
i+1

i N.
Sendo a
i
, b
i
R

+
i N, pode-se basear em uma propriedade extensivamente usada
pelo autor, a propriedade do exemplo 4 da seo 1.2 (inclusive j demonstrada no
item f do exemplo 3 desta mesma seo):
a
i
< a
i+1
a
2
i
< a
2
i+1
;
b
i
> b
i+1
b
2
i
> b
2
i+1
,
e analogamente,
a
i
< b
i
a
2
i
< b
2
i
.
Demonstrao da Propriedader > 0, n N/b
2
n
a
2
n
< r. A hiptese
natural a ser usada a segunda condio do TIE:
r > 0, n N/b
n
a
n
< r.
Antes de iniciar a demonstrao, interessante registrar uma vericao da
veracidade da propriedade.
Sabe-se que vlida a seguinte hiptese:
r > 0, n N/b
n
a
n
< r.
Ento, lgico que para este valor de r, este valor de n garante que
b
2
n
a
2
n
< r (b
n
+ a
n
) .
Como os possveis valores de r

= r (b
n
+ a
n
) so todos os reais positivos (pois r
por hiptese positivo, e assim tambm so os termos a
i
e b
i
), ento para todos os
reais r

> 0, h um valor de n tal que b

2
n
a
2
n
< r

; o valor de n que garante que

para r, b
n
a
n
< r.
Mas uma demonstrao formalmente completa passa por demonstrar esta pro-
priedade na ordem correta; ou seja, dado um real positivo qualquer, determinar o
valor de n tal que b
2
n
a
2
n
< r.
Seja r um nmero real positivo. Ento:
n N/b
n
a
n
< r.
Se b
n
+ a
n
< 1, ento b
2
n
a
2
n
< b
n
a
n
< r, e o teorema est demonstrado neste
caso.
Seno, ento b
n
+ a
n
= 1, e neste caso,
(b
n
a
n
) 1 < r (b
n
a
n
) (b
n
+ a
n
) < r b
2
n
a
2
n
< r,
e o teorema est demonstrado.
Em ltimo caso, b
n
+ a
n
> 1.
Sendo assim, (b
2
n
a
2
n
) > (b
n
a
n
), e fatalmente ser necessrio encontrar n

que possibilite determinar (b

2
n
a
2
n
) < r.
1
DEMONSTRAO DO TEOREMA DOS INTERVALOS ENCAIXANTES 2
Bom, parece-me que a busca deveria comear por um nmero maior que b
m
+a
m
,
pois
k > b
m
+ a
m

1
k
<
1
b
m
+ a
m

r
k
<
r
b
m
+ a
m
.
Sendo assim, se fosse possvel encontrar um m para o qual b
m
a
m
<
r
k
, o problema
estaria resolvido.
Mas um tal nmero existe? Sou forado a dizer que sim, pois h um valor
mximo para b
i
, que b
1
, o extremo superior do primeiro intervalo encaixante. E
tambm o h para a
i
, que exatamente , o nico real pertencente a todos os
intervalos. Ou seja, k = b
1
+ . Ora, se tal nmero maior que qualquer uma das
somas b
i
+ a
i
, ento ele tambm maior que uma soma particular b
m
+ a
m
.
Ento, vejamos. Vamos levar essa estratgia adiante.
Seja k = b
1
+ .
Dado r, seja r

=
r
k
. Para tal r

, existe m tal que

b
m
a
m
< r

.
Ora, ento o problema est resolvido, pois
b
m
a
m
<
r
k

r
k
<
r
b
m
+ a
m
b
m
a
m
<
r
b
m
+ a
m
b
2
m
a
2
m
< r.
Logo, dado r, existe um natural n = m tal que
b
2
m
a
2
m
< r.