Escolar Documentos
Profissional Documentos
Cultura Documentos
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
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 .
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)
(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
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.
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.
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
p
q
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
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
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 =
ann n bnn .
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.
Analogamente,
m
am
n
(0.1.8)
m+1
am
.
n