Irracionalidade de razes no extatas

1.Os conjuntos numricos

Definio: Um conjunto numrico se d pelo agrupamento de nmeros que contm
caractersticas semelhantes. Os mais utilizados so os conjuntos dos nmeros
naturais, inteiros, racionais, irracionais e reais.
Conjunto dos Nmeros Naturais: Esse conjunto surgiu pela necessidade de
contagem de objetos, h cerca ! mil anos. "om o sentimento de propriedade
#animais, terra e produtos dela e$trados% o homem desen&ol&eu o comrcio
rudimentar e o sistema de trocas. 'os primeiros tempos, para contar eram usados os
dedos, pedras, os n(s de uma corda, marcas num osso... )ara realizar a contagem de
suas o&elhas, o pastor coloca&a todas as pedras em um saquinho. 'o *im do dia, +
medida que as o&elhas entra&am no cercado, ele ia retirando as pedras. ,ue susto
le&aria se ap(s todas as o&elhas estarem no cercado, sobrasse alguma pedra- O
a&an.o seguinte *oi o uso de numerais para representar os nmeros. /sto permitiu o
desen&ol&imento de sistemas para o armazenamento de grandes nmeros. )or
e$emplo, os babil0nicos desen&ol&eram um poderoso sistema de atribui.o de &alor
baseado essencialmente nos numerais de 1 a 1!. 2 origem e a *ormula.o do
conceito de 'mero ocorreu com o pr(prio desen&ol&imento da 3atemtica. 2 partir
das necessidades dirias do homem, o conceito de 'mero 'atural surgiu
naturalmente atra&s da contagem de objetos. 2ssim, este conceito *oi introduzido
pelas na.4es, em conjunto com o desen&ol&imento de suas *ormas pr(prias de
escrita, criando o sistema de contagem.
Em uma situa.o como esta &oc5 precisa do mais bsico dos conjuntos numricos, que o
conjunto dos nmeros naturais. "om a utiliza.o deste conjunto &oc5 pode enumerar
brinquedos ou simplesmente registrar a sua quantidade, por e$emplo.
Este conjunto representado pela letra ' # %. 2bai$o temos uma representa.o do
conjunto dos nmeros naturais6
7 8!,1,9,:,;,,<,=,>,?,1!,11,19,...@
2s cha&es so utilizadas na representa.o para dar ideia de conjunto. Os pontos de
retic5ncia do a ideia de in*inidade, j que os conjuntos numricos so in*initos.
)ara representarmos o conjunto dos nmeros naturais, ou qualquer um dos outros quatro
conjuntos *undamentais, utilizamos o caractere asterisco ap(s a letra, como em . Aemos
ento que6
7 81,9,:,;,,<,=,>,?,1!,11,19,...@
Conjunto dos Nmeros Inteiros
3ais adiante na sua &ida em uma noite muito *ria &oc5 tomou conhecimento da e$ist5ncia
de nmeros negati&os, ao lhe *alarem que naquele dia a temperatura esta&a em dois graus
abai$o de zero. "urioso &oc5 quis saber o que signi*ica&a isto, ento algum notando o seu
interesse, resol&eu lhe e$plicar6 Boje no *inal da tarde j esta&a bastante *rio, a temperatura
gira&a em torno dos :C ", a ela desceu para 9C ", continuou es*riando e ela abai$ou para
1C " e uma hora atrs chegou a !C ". De a temperatura continua&a a abai$ar e j ha&ia
atingido o menor dos nmeros naturais, como ento representar uma temperatura ainda mais
bai$aE "om e$ce.o do zero, cada um dos nmeros naturais possui um simtrico ou oposto.
O oposto do 1 o F1, do 9 o F9 e assim por diante. O Dinal GFG indica que se trata de um
nmero negati&o, portanto menor que zero. Os nmeros naturais a partir do 1 so por
natureza positi&os e o zero nulo.
O zero e os demais nmeros naturais, juntamente com os seus opostos *ormam um outro
conjunto, o conjunto dos nmeros inteiros e representando pela letra H # %.
2 seguir temos uma representa.o do conjunto dos nmeros inteiros6
7 8F,F;,F:,F9,F1,!,1,9,:,;,,...@
'ote que di*erentemente dos nmeros naturais, que embora in*initos possuem um nmero
inicial, o zero, os nmeros inteiros assim como os demais conjuntos numricos
*undamentais no t5m, por assim dizer, um ponto de incio. 'este conjunto o zero um
elemento central, pois para cada nmero + sua direita, h um respecti&o oposto + sua
esquerda.
Utilizamos o smbolo para indicar que um conjunto est contido em outro, ou que um
subconjunto seu, como o conjunto dos nmeros naturais um subconjunto do conjunto dos
nmeros inteiros, temos que .
)odemos tambm dizer que o conjunto dos nmeros inteiros contm # % o conjunto dos
nmeros naturais # %.
"omo supracitado podemos escre&er para representarmos o conjunto dos nmeros
inteiros, mas sem considerarmos o zero6
7 8F,F;,F:,F9,F1,1,9,:,;,,...@
"om e$ce.o do conjunto dos nmeros naturais, com os demais conjuntos numricos
*undamentais podemos utilizar os caracteres GIG e GFG como abai$o6
'ote tambm que e que .
Conjunto dos Nmeros Racionais
'o term0metro &oc5 &iu que entre um nmero e outro e$istiam &rias marca.4es. ,ual a
razo distoE JoiFlhe e$plicado ento que a temperatura no muda abruptamente de 9!C "
para 91C " ou de F:C " para F;C ", ao in&s disto, neste term0metro as marca.4es so de
dcimos em dcimos. )ara passar de 9!C " para 91C ", por e$emplo, primeiro a temperatura
sobe para 9!,1C ", depois para 9!,9C " e continua assim passando por 9!,?C " e *inalmente
chegando em 91C ". Estes so nmeros pertencentes ao conjunto dos nmeros racionais.
'meros racionais so todos aqueles que podem ser e$pressos na *orma de *ra.o. O
numerador e o denominador desta *ra.o de&em pertencer ao conjunto dos nmeros inteiros
e ob&iamente o denominador no poder ser igual a zero, pois no h di&iso por zero.
O nmero 9!,1 por e$emplo, pode ser e$presso como , assim como !,:= pode ser
e$presso como e !,9 por ser representado por .
'ote que se di&idirmos quatro por no&e, iremos obter !,;;;;;... que um nmero com
in*initas casas decimais, todas elas iguais a quatro. ArataFse de uma dzima peri(dica
simples que tambm pode ser representada como , mas que apesar disto tambm um
nmero racional, pois pode ser e$presso como .
O conjunto dos nmero racionais representado pela letra , # %.
O conjunto dos nmeros inteiros um subconjunto do conjunto dos nmeros racionais,
temos ento que .
Jacilmente podemos intuir que representa o conjunto dos nmeros racionais negati&os e
que representa o conjunto dos nmeros racionais positi&os ou nulo.
2bai$o temos um conjunto com quatro elementos que subconjunto do conjunto dos
nmeros racionais6
2 realiza.o de qualquer uma das quatro opera.4es aritmticas entre dois nmeros racionais
quaisquer ter como resultado tambm um nmero racional, ob&iamente no caso da di&iso,
o di&isor de&e ser di*erente de zero. Dejam a e b nmeros racionais, temos6
Conjunto dos Nmeros Irracionais
Ento mais curioso ainda &oc5 perguntou6 GDe os nmeros racionais so todos aqueles que
podem ser e$pressos na *orma de *ra.o, ento e$istem aqueles que no podem ser
e$pressos desta *ormaEG
E$atamente, estes nmeros pertencem ao conjunto dos nmeros irracionais. )ro&a&elmente
os mais conhecidos deles sejam o nmero )/ # %, o nmero de Euler # % e a raiz quadrada
de dois # %. De &oc5 se dispuser a calcular tal raiz, passar o restante da sua e$ist5ncia e
jamais conseguir *az5Flo, isto porque tal nmero possui in*initas casas decimais e
di*erentemente das dzimas, elas no so peri(dicas, no podendo ser e$pressas na *orma de
uma *ra.o. Esta uma caracterstica dos nmeros irracionais.
2 raiz quadrada dos nmeros naturais uma (tima *onte de nmeros irracionais, de *ato a
raiz quadrada de qualquer nmero natural que no seja um quadrado per*eito um nmero
irracional. um nmero irracional, pois 19! no um quadrado per*eito, ou seja, no
h um nmero natural que multiplicado por ele mesmo resulte em cento e &inte, j
um nmero natural, pois .
2 letra / # % representa o conjunto dos nmero irracionais.
Utilizando o caractere especial GKG, por e$emplo, podemos representar o conjunto dos
nmeros irracionais desconsiderandoFse o zero por .
O conjunto abai$o um subconjunto do conjunto dos nmeros irracionais6
Li*erentemente do que acontece com os nmeros racionais, a realiza.o de qualquer uma
das quatro opera.4es aritmticas entre dois nmeros irracionais quaisquer no ter
obrigatoriamente como resultado tambm um nmero irracional. O resultado poder tanto
pertencer a , quanto pertencer a .
Conjunto dos Nmeros Reais
2cima &imos que um nmero natural tambm um nmero inteiro # %, assim como
um nmero inteiro tambm um nmero racional # %, portanto .
Mimos tambm que os nmeros racionais no esto contidos no conjunto dos nmeros
irracionais e &iceF&ersa. 2 intersec.o destes conjuntos resulta no conjunto
&azio6
2 intersec.o uma opera.o por meio da qual obtemos um conjunto de todos os elementos
que pertencem simultaneamente a todos os conjuntos en&ol&idos. Dejam dois
conjuntos e , a intersec.o entre estes dois conjuntos
ser .
O conjunto dos nmeros reais representado pela letra N # % e *ormado pela unio do
conjunto dos nmeros racionais com o conjunto dos irracionais, que simb(licamente
representamos por6 .
2 unio uma opera.o por meio da qual obtemos um conjunto de todos os elementos que
pertencem ao menos a um dos conjuntos en&ol&idos. Dejam dois
conjuntos e , a unio entre estes dois conjuntos
ser .
O conjunto dos nmeros racionais est contido no conjunto dos nmeros reais # %,
assim como o conjunto dos nmeros irracionais tambm subconjunto do conjunto dos
nmeros reais # %.
2tra&s dos caracteres especiais GIG e GKG, por e$emplo, podemos representar o conjunto
dos nmeros reais positi&os por .
2bai$o temos um e$emplo de conjunto contendo nmero reais6
Conjuntos Numricos Fundamentais em Diagrama
2bai$o temos a representa.o dos conjuntos numricos *undamentais em um diagrama.
2tra&s deste diagrama podemos *acilmente obser&ar que o conjunto dos nmeros reais # %
resultado da unio do conjunto dos nmeros racionais como o conjunto dos nmeros
irracionais # %. Obser&amos tambm que o conjunto dos nmeros inteiros est
contido no conjunto dos nmeros racionais # % e que os nmeros naturais so um
subconjunto do nmeros inteiros # %.
"omo podemos &er, os diagramas nos ajudam a trabalhar mais *acilmente com conjuntos.
2inda neste diagrama rapidamente identi*icamos que os nmeros naturais so tambm
nmeros reais # %, mas no so nmeros irracionais # %, isto porque o
conjunto dos nmeros irracionais no contm o conjunto dos nmeros naturais # %,
mas sim o conjunto nmeros dos racionais que os contm # %, assim como o
conjuntos dos nmeros reais # % e dos inteiros # %.
1.Noes de teoria dos nmeros
LeOni.o 1 #Li&ide% Dejam a e b dois inteiros. LizFse que a di&ide b, ou que b mltiplo de
a, ou ainda que a um di&isor de b, se e$iste um inteiro c tal que ac 7 b. Escre&eFse6 aPb.
LeOni.o 9 #primo% Um inteiro positi&o a diz primo se a tem 9 di&isores naturais
LeOni.o : #3$imo di&isor comum e mnimo mltiplo comum% Dejam a e b inteiros,
no ambos !. LeOnimos o seu m$imo di&isor comum como o maior inteiro positi&o d tal
que dPa e dPb. Escre&emos d 7 #aQ b%. 2nalogamente, deOnimos o mnimo mltiplo comum
de a e b ao menor inteiro positi&o m tal que aPm e bPm. Escre&emos m 7 RaQ bS.
Aeorema6 Lados p primo, a inteiro, temFse que pPaT U pPa
Aeorema #Jundamental da 2ritmtica% Deja n V 1 um inteiro. Ento e$istem nmeros
primos positi&os p1 W p9 W 666 W pX e nmeros inteiros positi&os a1Q a9Q 666Q aX tais que
n 7 p1
a1
.p9
a9
...pX
aX
1.Irracionalidade de raiz de Y9
Duponhamos que Y9 *osse racional, ento teramos p, q Z H, com mdc #p,q% 7 1 tais que Y9 7 p[q
#de*ini.o de nmero racional%. La
Y97 p[q \ 9 7 p
9
[ q
9
\ 9q
9
7p
9
/sso mostra que p
9
par. Ento p par.
Ligamos p 7 9X, com ] Z H . Dubstituindo na equa.o anterior #p
9
79q
9
% temos6
#9X%
9
7 9q
9
\ ;X
9
7 9q
9
\ q
9
7 9X
9
/sso mostra que q
9
par, ento q par. 3as ento p e q so ambos di&is&eis por 9.
2bsurdo--- )ois mdc #p,q% 7 1. )ortanto Y9 no racional. ^ogo irracional.
9.Irracionalidade de Yp, com p primo
2gora seja p um nmero primo e &amos supor que Yp racional, ou seja,
Yp 7 m[n,
com m e n primos entre si. Ento6

Yp7 m[n \ p 7 m
9
[ n
9
\ pn
9
7m
9
/sso mostra que m
9
di&is&el por p. ^ogo, m tambm di&is&el por p, ou seja, m7rp. #r Z H%. La6
p
9
r
9
7 pn
9
\ pr
9
7 n
9
Digni*icando que n tambm di&is&el por p. O que absurdo, pois m e n seriam ambos di&is&eis
por p e desta *orma, m[n no seria *ra.o irredut&el. )ortanto, Yp no racional. ^ogo, irracional.
3.Irracionalidade de raiz de n, n no uadrado per!eito
Deja n um nmero que no seja quadrado per*eito. Ento, pelo teo *undamental da
aritmtica,
n 7 p1
a1
.p9
a9
...pX
am
"omo n no quadrado per*eito, ento pelo menos um dos p_s da *atora.o de n tem
e$poente mpar. Dejam p1, p9,...,pr tais p_s. Ento ai 7 9Xi I 1, i 7 1,9,,,,,r e aj 7 9lj, j 7 rI1, rI9,...,m
e temos que6
Yn 7 p1X1.p9X9...prXr.prI1XrI1...pX
;."raes contnuas