Comentrio sobre o Exemplo 2 da seo 1.6.

Julguei ser interessante registrar comentrio sobre este exemplo porque, a meu
ver, o autor foi um tanto desastrado ao tentar explicar suas idias.
A ttica que ele usou foi aplicar sempre o
Teorema 1. Seja a R tal que a > 0, e n N : n 2. Ento existe um nico real
> 0 tal que
n = a.
Certo. Ento, para demonstrar que se a um real, e n um natural mpar,
ento existe uma nica raiz real para a equao n = a, o autor divide o problema
em dois casos.
No primeiro deles, ele considera apenas os casos em que a > 0. Sendo assim,
pelo Teorema 1, demonstra-se a tese.
Imagino que o autor s incluiu a assero de que < 0 n < 0 para mostrar
que no h como um nmero negativo gerar um nmero positivo se elevado a uma
potncia mpar, talvez para ressaltar a fora do Teorema 1.
No caso seguinte, a < 0, o autor usa o mesmo teorema, com a ttica de considerar
a > 0. Assim, o Teorema 1 se torna aplicvel, e por fim, considera-se o negativo
de tal raiz real para demonstrar a tese.
Comentrio sobre o Exemplo 6 da seo 1.6.
O autor expressou duas relaes que me pareceram muito estranhas, por que eu
no conseguia deduzir uma da outra:
k
<yx
n
e
k
< x.
n
Mas a explicao bastante simples: h a liberdade de se definir n; ento, se
x < y x, define-se da seguinte forma:
k
nx > k < x.
n
k
Como x < y x, pela transitividade, n < y x. Caso y x < x, ento define-se n
assim:
k
n (y x) > k < y x,
n
e novamente, pela transitividade,
k
< x.
n
Ento, realmente no faz diferena considerar os casos, por que no final das contas,
as duas condies sero satisfeitas.
Demonstrao dos casos x = 0 e y = 0. O autor delegou ao leitor a tarefa
de demonstrar a existncia de um racional dentre os reais 0 e y.
Escolhi arbitrariamente demonstrar primeiro a veracidade de tal propriedade se
x = 0.
H que se dividir a demonstrao em dois casos.
No primeiro deles, y > 0.
Sendo assim, pelo Princpio de Arquimedes h um natural k tal que k > y.
1

DEMONSTRAO DAS PROPRIEDADES DAS POTNCIAS

Pelo mesmo princpio, h um natural n tal que ny > k nk < y. Como nk > 0,
ento t = nk .
Agora, seja y < 0. Ento, y > 0, e pela demonstrao anterior, h t tal que
0 < t < y. Ora, ento, multiplicando-se todos os membros desta relao por 1,
conclui-se que y < t < 0. Neste caso, s = t.
Para o caso x = 0, basta permutar x por y e construir uma demonstrao
anloga.
Comentrio sobre a seo 1.7
No tenho certeza se consegui entender exatamente o que o autor quis dizer
com o comentrio do segundo pargrafo desta seo, mas talvez tenha obtido exito.
Assim, creio que seja justificvel registrar meu raciocnio.
Inicialmente, decidi registrar minhas dvidas. O autor comentou que devio a
propriedade (2) das razes, segue que tal definio no depende da frao m
, n > 0,
n
que for adotada como representante do racional r. Eu no tinha certeza sobre
qual seria a propriedade a qual o autor estaria se referindo. E mesmo se fosse a
propriedade que estava pensando, eu no tinha certeza se minha interpretao seria
correta.
Mas, digamos que eu tenha acertado qual a propriedade tratada. A saber,
Se n for mpar,
e a um real qualquer, o nico tal que n = a

indicado por n a.
Se tal teorema for a hiptese a qual o autor se referiu, eu acho que o autor quis
m0
m
0
us-lo da seguinte forma: suponha que n e n0 sejam tais que m
= m
= r, e
n
n0


n
m0
m0
m
m
n
n 6= n0 . Se n = a, e n0
= a, ou seja, se ambas as quantidades forem
as razes ensimas de um certo real, ento elas so iguais. Ou seja, elas no podem
ser diferentes, e por conseguinte sero iguais. Desta forma, a escolha da frao m
n
representante de r pode ser qualquer.
Talvez tenha sido isto o que o autor pensou.
Demonstrao das propriedades das potncias
O autor delegou esta tarefa, ento, decidi registrar.
Propriedade 1. Deve-se demonstrar que ar . as = ar+s . A prova consiste em
aplicar o Princpio da induo finita.
Mas antes, ser necessrio apresentar a definio.
Seja a R, e r Q. Define-se a potncia de base a elevado a r-sima potncia
atravs da recurso:

0, se r = 0
r
a =
ar1 . a, se r 6= 0.
Agora possvel provar os teoremas.
Seja r Q um racional determinado.
verdade que ar . a0 = ar+0 , pois:
ar . a0 =ar . 1
=ar
=ar+0 .

DEMONSTRAO DAS PROPRIEDADES DAS POTNCIAS

Seja agora hiptese de induo que ar . ap = ar+p . Ento:

(0.0.1)

ar . ap+1 = ar . (ap . a)

(0.0.2)
(0.0.3)

= (ar . ap ) . a


= ar+p . a

(0.0.4)

= ar+p . a
= ar+p+1 .

Creio que devo fazer um registro das propriedades que foram usadas. Na Equao
0.0.1, foi usada a propriedade associativa para a incluso dos parnteses, e a definio, para expresso de ap+1 como ap . a. Na Equao 0.0.2, foi usada a propriedade
associativa do produto de reais. Na Equao 0.0.3 foi usada a hiptese de induo.
E finalmente, na Equao 0.0.4, foi usada a definio, para exprimir ar+p . a como
ar+p+1 .
Assim, pode-se considerar que a prova est completa.
Propriedade 2. Deve-se demonstrar que (ar )s = ars .
Novamente, a prova consiste em aplicar o Princpio da Induo Finita.
Seja ento r um racional determinado.
A hiptese fundamental a ser provada
(ar )0 = ar.0 .
Mas isto fcil:
(ar )0 = 1
= a0
= ar.0 .
Seja agora a hiptese de induo (ar )p = arp verdadeira para todo racional menor
ou igual a p. Ento:
(0.0.5)

(ar )p+1 = (ar )p . a

(0.0.6)

= (arp ) . a

(0.0.7)

= arp . a
= arp+1 .

Na Equao 0.0.5 foi usada a definio, na Equao 0.0.6 foi usada a hiptese de
induo, e na Equao 0.0.7 foi usada a definio novamente.
Propriedade 3. Deve-se demonstrar que
condies de existncia.
Aplica-se o Princpio da Induo Finita.
Seja r um racional determinado.
A hiptese fundamental a ser provada
ar
= ar0 .
0
a

ar
as

= ars , desde que respeitada as

DEMONSTRAO DAS PROPRIEDADES DAS POTNCIAS

Fcil:
ar
ar
=
a0
1
= ar
= ar0 .
r

Seja verdadeira a hiptese de induo aap = arp para todo racional menor ou
igual a p. Ento:
ar
ar
=
ap+1
ap . a
=

ar
ap

a
arp
=
a
= arp . a1
= arp1 .
Propriedade 4. Ento vejamos.
A tese fundamental a ser provada
(ab)0 = a0 b0 .
Mas isto fcil:
(ab)0 =1
=1. 1
=a0 b0 .
Agora, seja verdadeira a hiptese de induo
(ab)p = ap bp
para todo inteiro menor ou igual a p.
Ento:
(ab)p+1 = (ab)p (ab)
= (ap bp ) (ab)
= (ap a) (bp b)
= ap+1 bp+1 .
Creio que seria desnecessrio explicitar cada uma das propriedades dos reais usadas
na demonstrao. H muito a ser feito. Isto pode ser feito pelo leitor.
Propriedade 5. Deve ser provado que se a > 1 e r < s, ento ar < as .
Tal prova demanda a demonstrao de teoremas auxiliares, os chamados lemas.
Vejamos os Lemas primeiro.
Lema 2. Seja a R : a > 1, e n N. Ento, an > 1 n > 0.
Demonstrao. Prova-se inicialmente a implicao reversa; ou seja, que n >
0 an > 1.
Para isto, pode-se usar o PIF.
Hiptese inicial: n = 1; tese inicial: an > 1.

DEMONSTRAO DAS PROPRIEDADES DAS POTNCIAS

verdade, pois
n = 1 an = a > 1.
Hiptese de induo: an > 1n p, p N. Ento:
a > 1 ap a > ap
ap+1 > ap
ap+1 > 1.
Ento, o referido verdade e dou f.
Agora, a prova da implicao direta: an > 1 n > 0.
Pode-se provar por exemplo usando-se o mtodo da contraposio. Ento, seja
n < 0. Resulta que n > 0, e pela prova anterior, an > 1, e da,
an an > an a0 > an
1 > an an < 1.


Ou seja, o referido verdade e dou f.

Lema 3. Seja a R : a > 1, e r Q. Ento, ar > 1 r > 0.

Demonstrao. Usa-se uma prova direta baseada no Lema 2 para a implicao reversa e uma prova por contraposio para a implicao direta.
Prova da implicao direta: r > 0 ar > 1.
Se r Q, ento r = pq , p Z q N . Por hiptese, a > 1, e isto implica que
1

a q > 1:
 1 q
a > 1 aq > 1
1
Lema 1

a q > 1,

 1 q
pois q > 1, e a q > 1.
Da,
 1 p
p
aq > 1 aq > 1
Lema 1 p > 0,

1
q

p
q

pois a > 1, e a > 1, por hiptese. Como p > 0, ento

p
q

> 0 e portanto r > 0. 

Teorema. Seja a R : a > 1, r Q, e s Q. Ento, ar > as r > s.

Demonstrao. Basta aplicar uma pequena alterao na hiptese, e usar o
Lema 3:
ar > as ars > 1
Lema 2 r s > 0

r > s.

Agora, restaria provar que se 0 < a < 1, e r < s, ento ar > as .
Mas a prova bem fcil.
Ser necessrio construir um teorema auxiliar, e ento aplic-lo.
Lema 4. Seja a R : 0 < a < 1, e r Q. Ento, ar > 1 r < 0.

0.1. DEMONSTRAO

Demonstrao. Se 0 < a < 1, ento a1 > 1. Sendo r o expoente de potncia

racional, deve ser do tipo pq , p Z q N . Da,
a1 > 1
q

a q > 1
 1 q
a q > 1
1

Lema 1 a q > 1.

Logo:
 1 p
p
>1
a q > 1 a q
p>0
p < 0.
Decorre disto que

p
q

< 0, e que portanto, r < 0.

Teorema. Seja 0 < a < 1, e r < s, ento ar > as .

Demonstrao. Basta modificar a tese, e aplicar o Lema 4:
ar > as ars > 1
Lema 3 r s < 0

r < s.

0.1. Demonstrao
O objetivo demonstrar o seguinte
Teorema. Sejam a > 0 um real e n 2 um natural. Ento existe um nico real
> 0 tal que n = a. Simbolicamente:

a R+
R+ /n = a.
H=
T =
n N/n 2
Demonstrao. Basta seguir o algoritmo proposto pelo autor no exemplo anterior. Ento, inicialmente preciso construir a sequncia de intervalos encaixantes.
Seja um dgito um nmero pertencente ao conjunto {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}. A0
o maior dgito tal que An0 < a. Assim, (A0 + 1)n
> a. Da, a0 = A0 e b0 =
A0 + 1.
n
n
Seja agora A1 o maior dgito tal que A0 + A101 < a. Ento, A0 + A110+1 > a.
Novamente, a1 = A0 + A101 e b1 = A0 + A110+1 .
P
Pn Ai
Ai
1
Enfim, an = ni=0 10
i , e bn =
i=0 10i + 10n . A sequncia [an , bn ] uma sequncia
de intervalos encaixantes (SIE), pois
an+1 an =

An+1
0 an+1 an ;
10n+1

0.1. DEMONSTRAO

1
1
n
n+1
10  10 
1
1
1
= n
10
10
9
= n+1
10
bn+1 < bn .

bn+1 bn =

Alm disto, bn an = 101n , que tende a zero conforme cresce o valor de n.

De modo que, sendo tal sequncia uma SIE, existe um nico real > 0 tal que
an bn n N;
e isto implica que
(0.1.1)

ann n bnn .

A prova de que a equao 0.1.1 verdadeira reside em uma aplicao do PIF.

A etapa bsica consiste em mostrar que
an bn a2n b2n .
Mas isto bem fcil. Seno vejamos: sendo an e positivos, ento, pela propriedade OM), verifica-se que
an an an
(0.1.2)
a2n an .
Analogamente,
(0.1.3)

an
an 2 .

Decorre das equaes 0.1.2 e 0.1.3, e da propriedade transitiva da relao de ordenamento que:
a2n 2 .
Da mesma forma, demonstra-se que
2 b2n .
Logo, verdade que
a2n 2 b2n .
Vejamos ento a etapa indutiva. Seja por hiptese de induo verdadeira a
relao
(0.1.4)

ain i bin i N : i m.

So verdadeiras as relaes
(0.1.5)

m
am
n

e
(0.1.6)

m bm
n.

Certo, pela compatibilidade da ordem frente a multiplicao (propriedade OM) do

texto), decorre que
m
am
n an an
(0.1.7)
am+1
m an .
n

DEMONSTRAO DO TEOREMA DOS INTERVALOS ENCAIXANTES

Analogamente,
m
am
n

(0.1.8)

m+1
am
.
n

Pode-se demonstrar por reductio ad absurdum que as desigualdades 0.1.7 e 0.1.8

implicam na relao de ordenamento am+1
m+1 : seja m an > am
n
n . Ento
m1
m1

> an ; mas isto um absurdo, pela hiptese de induo 0.1.4. Logo, m an

am
n . Aplicando a propriedade da transitividade da relao de ordenamento dos
reais, conclui-se a tese 0.1.1.
Concluindo a demonstrao solicitada pelo autor, por construo, n = a, e
como nico pelo teorema dos intervalos encaixantes, h uma nica raiz real
positiva para a equao n = a.

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) [ai , bi ] [ai+1 , bi+1 ] i N
(II) r > 0 n N : bn an < r.


Demonstrao da veracidade da propriedade [a2i , b2i ] a2i+1 , b2i+1 i N.
Sendo ai , bi 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):
ai < ai+1 a2i < a2i+1 ;
bi > bi+1 b2i > b2i+1 ,
e analogamente,
ai < bi a2i < b2i .
Demonstrao da Propriedader > 0, n N/b2n a2n < r. A hiptese
natural a ser usada a segunda condio do TIE:
r > 0, n N/bn an < r.
Antes de iniciar a demonstrao, interessante registrar uma verificao da
veracidade da propriedade.
Sabe-se que vlida a seguinte hiptese:
r > 0, n N/bn an < r.
Ento, lgico que para este valor de r, este valor de n garante que
b2n a2n < r (bn + an ) .
Como os possveis valores de r0 = r (bn + an ) so todos os reais positivos (pois r
por hiptese positivo, e assim tambm so os termos ai e bi ), ento para todos os
reais r0 > 0, h um valor de n tal que b2n a2n < r0 ; o valor de n que garante que
para r, bn an < r.
Mas uma demonstrao formalmente completa passa por demonstrar esta propriedade na ordem correta; ou seja, dado um real positivo qualquer, determinar o
valor de n tal que b2n a2n < r.

DEMONSTRAO DO TEOREMA DOS INTERVALOS ENCAIXANTES

Seja r um nmero real positivo. Ento:

n N/bn an < r.
Se bn + an < 1, ento b2n a2n < bn an < r, e o teorema est demonstrado neste
caso.
Seno, ento bn + an = 1, e neste caso,
(bn an ) 1 < r (bn an ) (bn + an ) < r b2n a2n < r,
e o teorema est demonstrado.
Em ltimo caso, bn + an > 1.
Sendo assim, (b2n a2n ) > (bn an ), e fatalmente ser necessrio encontrar n0
que possibilite determinar (b2n0 a2n0 ) < r.
Bom, parece-me que a busca deveria comear por um nmero maior que bm +am ,
pois
1
1
r
r
k > bm + am <
<
.
k
b m + am
k
b m + am
Sendo assim, se fosse possvel encontrar um m para o qual bm am < kr , o problema
estaria resolvido.
Mas um tal nmero existe? Sou forado a dizer que sim, pois h um valor
mximo para bi , que b1 , o extremo superior do primeiro intervalo encaixante. E
tambm o h para ai , que exatamente , o nico real pertencente a todos os
intervalos. Ou seja, k = b1 + . Ora, se tal nmero maior que qualquer uma das
somas bi + ai , ento ele tambm maior que uma soma particular bm + am .
Ento, vejamos. Vamos levar essa estratgia adiante.
Seja k = b1 + .
Dado r, seja r0 = kr . Para tal r0 , existe m tal que
b m am < r 0 .
Ora, ento o problema est resolvido, pois
r
r r
r
b m am < <
bm am <
k k
b m + am
b m + am
2
2
bm am < r.
Logo, dado r, existe um natural n = m tal que
b2m a2m < r.