1

Desvendando os Nmeros Reais Cristina Cerri IME-USP Novembro de 2006 Para que servem os nmeros? Certamente muitos respondero rapidamente que os nmeros servem para contar. Contudo, se o homem vivesse isolado, a necessidade de efetuar contagens diminuiria muito. Alguns povos primitivos no sentem a necessidade de registrar quantidades grandes. Por exemplo, h tribos na frica Central que no conhecem nmeros maiores que 10000. Assim, a vida em sociedade, o estabelecimento do regime de propriedades, as relaes comerciais levaram o homem a criar formas prticas de registrar qualquer quantidade, de manipul-las e de registrar medidas de grandezas. Percebemos que para nossas tarefas dirias usamos apenas os nmeros inteiros e racionais. Surgem, porm, problemas mais abstratos e tericos envolvendo, por exemplo, o prprio conceito de medida. Discusses sobre tais temas eram comuns na Grcia antiga (sc. IV a.C.). Matemticos gregos se perturbaram com problemas envolvendo grandezas no comensurveis. Muito tempo se passou para que tais questes fossem retomadas. No sculo XVII, o desenvolvimento do Clculo Diferencial e Integral intensifica a discusso de certos conceitos, como do contnuo, ou seja, o de grandezas que variam continuamente. Foi necessrio rever os conceitos de nmeros usando bases matemticas slidas. E assim os nmeros reais foram finalmente desvendados. Neste curso vamos procurar compreender as caractersticas dos nmeros reais e discutir algumas questes do ensino destes assuntos. No texto os nmeros inteiros so elementos do conjunto Z ={..., -2,-1,0,1,2,...} e os inteiros positivos so os nmeros naturais {0,1,2,...}. Como usual denotamos por Q o conjunto

dos nmeros racionais, ou seja, o conjunto dos nmeros da forma n/m, com m e n nmeros inteiros e m no nulo. A noo de medir. Essencialmente medir comparar: estabelecemos uma unidade fixa de uma grandeza e procuramos encontrar quantas desta unidade so necessrias para obter toda a quantidade da grandeza que temos. Claro que, freqentemente, no possumos quantidades inteiras da unidade. Precisamos de fraes ou partes da unidade para representar a quantidade que temos. Assim para medir precisamos de nmeros que represente a medida de uma grandeza, dada uma unidade fixada. Vamos pensar nos segmentos de uma reta. Desejamos medi-lo, ou seja, atribuir a este segmento um nmero. Portanto queremos que a todo segmento tenhamos um nmero associado. Seriam os nmeros racionais suficientes para medir todo segmento? Segmentos comensurveis Os matemticos gregos tratavam a questo da medida usando o conceito de grandezas comensurveis, que significa medidas simultaneamente. Vamos ver o que significa isso no caso de segmentos da reta. Considere dois segmentos AB e CD e denote por AB e CD os seus comprimentos respectivamente. Se existem nmeros inteiros positivos m e n e um segmento EF , tais que AB = mEF e CD = nEF ento os segmentos AB e CD so ditos comensurveis.

Na notao de hoje escreveramos que

AB m EF m = = CD n EF n

Note que os gregos no usavam fraes. Eles tratavam apenas das razes entre grandezas da mesma espcie (nmero racional vem da). Eles diriam que AB est para CD, assim como mEF est para nEF. razovel pensar que para quaisquer dois segmentos sempre seria possvel obter EF, m e n. Contudo os gregos, mais precisamente os pitagricos, descobriram algo perturbador: existiam grandezas no comensurveis A Crise: a existncia dos incomensurveis Em Crotona, uma colnia grega situada no sul da Itlia, Pitgoras, nascido por volta de 572 a.C., fundou a famosa escola pitagrica voltada ao estudo de filosofia, matemtica e cincias naturais. Uma irmandade permeada de ritos secretos e cerimnias. Os pitagricos, ao que tudo indica, foram os responsveis por um dos momentos mais crticos da matemtica: a prova de que h segmentos no comensurveis, os chamados incomensurveis. Vejamos uma demonstrao moderna desse fato. Atividade. (a) Primeiramente mostremos um fato geral. Mostre que se n um nmero inteiro positivo ento n2 um nmero par se, e somente se, n um nmero par. (b) Desenhe um quadrado ABCD. Segue do Teorema de Pitgoras que AC2 = 2 AB2. Se os segmentos AC e AB so comensurveis ento existem inteiros positivos m e n tais que AC/AB = m/n. Vamos eliminar os mltiplos comuns de m e n na representao da frao m/n. Sabemos, que existem p e q primos entre si tais que AC/AB = p/q. Temos, ento uma frao irredutvel p/q tal que
3

p =2 q

Assim, temos que p2=2q2. Dessa igualdade conclumos que p2 um nmero par. Usando (a) mostre que p=2k, para algum k inteiro positivo. Usando (a) novamente obtenha que q um nmero par. Perceba a contradio e escreva a concluso. Podemos imaginar a consternao que esta descoberta provocou entre os pitagricos, j que ela perturbava a filosofia bsica da escola, de que tudo dependia dos nmeros inteiros. To grande foi o escndalo lgico que por algum tempo se fizeram esforos para manter a questo em sigilo. Conta a lenda que o pitagrico Hipaso (ou talvez outro) foi lanado ao mar pela ao mpia de revelar o segredo a estranhos ou (de acordo com outra verso) que ele foi banido da comunidade pitagrica, sendo-lhe ainda erigido um tmulo, como se estivesse morto. (Eves, pg 107) A diagonal e o lado de um quadrado no , evidentemente, o nico par de segmentos incomensurveis. Acredita-se que esse foi o primeiro par de segmentos incomensurveis descoberto. Existe uma vertente que defende a tese de que a descoberta dos incomensurveis est relacionada ao pentagrama, que o smbolo dos pitagricos, pois a razo entre o lado de um pentgono regular com a sua diagonal resulta na razo urea que dada pelo nmero ( 5 + 1) / 2 , conhecido como nmero de ouro. Atividade. Vamos mostrar que no existe um nmero racional r tal que r2 = 5. Suponhamos que existam nmeros inteiros positivos p e q tais que (p/q)2 = 5. J vimos que podemos supor que p e q so primos entre si. Ento p2=5q2, ou seja 5 divide p2. (a) Mostre que 5 divide p. (b) De (a) temos que p = 5k. Mostre que 5 divide q2 e usando o mesmo argumento anterior mostre que 5 divide q. (c) Perceba a contradio e escreva a concluso. Agora mostre que o nmero ( 5 + 1) / 2 no racional, isto no da forma n/m.
4

Atividade. (a) possvel provar, usando os mesmos argumentos da atividade anterior, que dado qualquer nmero primo p no existe r racional tal que r2 = p. Tente! (b) Mostre que no existe r racional tal que r3 = 2 (ou seja, 3 2 no racional). (c) Mostre que no existe r racional tal que r2 = 6 O Nmero de Ouro Temos uma infinidade de maneiras de dividir um segmento AB em duas partes. Existe uma, no entanto, que parece ser a mais agradvel vista, como se traduzisse uma operao harmoniosa para os nossos sentidos. Relativamente a esta diviso, um matemtico alemo Zeizing formulou, em 1855, o seguinte princpio: Para que um todo dividido em duas partes desiguais parea belo do ponto de vista da forma, deve apresentar a parte menor e a maior a mesma relao que entre esta e o todo. Ele estava falando da razo urea, estudada pelos gregos antes do tempo de Euclides de Alexandria que descreveu esta seo em sua proposio "dividir um segmento de reta em mdia e extrema razo". Diz-se que o ponto B divide o segmento AC em mdia e extrema razo, se a razo entre o maior e o menor dos segmentos igual razo entre o segmento todo e o maior, isto , BC/AB = AC/BC. Usando a notao moderna, podemos escrever esta relao assim: x / (a-x) = a / x x2 = a2 ax x2 + ax - a2 = 0 Cujas razes so
x1 = a
5 1, 5 + 1 . x2 = a 2 2

Como x a medida de um segmento descartamos a raiz negativa, logo

5

x=a

5 1. 2

e a razo
BC AC a a = = = = AB BC x a( 5 1) 2 2 5 1 = 5 +1 1,618033 2

O valor da razo descrita acima muitas vezes chamado de (Phi) ou ainda de nmero de ouro. Os gregos consideraram que o retngulo cujos lados apresentavam esta relao apresentava uma especial harmonia esttica que lhe chamaram retngulo ureo ou retngulo de ouro, considerado a forma visualmente mais equilibrada e harmoniosa.

Geralmente a razo denotada pela letra grega Phi que a inicial do nome de Fdias, escultor e arquiteto encarregado da construo do Parthenon, em Atenas. Construdo entre 447 e 433 a.C., o Parthenon Grego ou o Templo das Virgens, templo representativo do sculo de Pricles e uma das obras arquitetnicas mais admiradas da antiguidade, contm a Razo de Ouro no retngulo que contm a fachada (Largura / Altura). Esta razo est presente tambm na fachada da Catedral de Notre Dame (em Paris) e a Baslica de Santa Maria Novella (em Florena). Coincidentemente ou no, o nmero de ouro est presente em muitos lugares que despertam a nossa experincia esttica. Em produes ligadas arte, principalmente na pintura, como nas obras renascentistas de Leonardo da Vinci, a exemplo do quadro Mona Lisa. Desenhando um retngulo volta da face o retngulo resultante um Retngulo de Ouro. Dividindo este retngulo por uma linha que passe nos olhos, o novo retngulo obtido tambm de Ouro. As dimenses do quadro tambm
6

(a + b) = a

representam a razo de Ouro. H indcios de que do sculo V a.C. ao Renascimento a arte tomou como critrio esttico, o nmero de ouro. Este est presente at no rosto humano e animal, pois a razo entre o comprimento do rosto e a distncia entre o queixo e os olhos. At hoje no se conseguiu descobrir a razo de ser da beleza que proporciona o nmero de ouro. Mas a verdade que existem inmeros exemplos onde o retngulo de ouro aparece. At mesmo no nosso cotidiano, encontramos aproximaes do retngulo de ouro, por exemplo, no caso dos cartes de crdito, nas carteiras de identidade, nos cartazes de publicidade, nas caixas dos cereais e fsforos, assim como na forma retangular da maior parte dos nossos livros e at nos maos de cigarro. Eudoxo e a soluo para a crise A descoberta da existncia de segmentos incomensurveis abalou profundamente as convices dos pitagricos. Eles logo perceberam que demonstraes de importantes resultados, como o Teorema de Tales, estavam incompletas! Isso era grave, j que muitos fatos fundamentais da Geometria dependem do Teorema de Tales. Foi um matemtico grego chamado Eudoxo, um discpulo de Plato, que, por volta de 370 a.C., resolveu de forma brilhante o problema criando a Teoria das Propores, que pode ser encontrada no livro V dos Elementos de Euclides. Na linguagem matemtica atual, podemos expressar a definio de Eudoxo da seguinte forma: a/b = c/d (a est para b assim como c est para d) se, e somente se, dados inteiros m e n ento: 1) ma < nb se, e s se, mc < nd 2) ma = nb se, e s se, mc = nd 3) ma > nb se, e s se, mc > nb Com esta definio de Eudoxo, passou a ser possvel tratar tambm de grandezas incomensurveis. Assim pode-se provar

o Teorema de Tales para todos os casos. Observe que na maioria dos livros didticos a prova do Teorema de Tales, quando aparece, est incompleta, sendo feita apenas para o caso de segmentos comensurveis, que muito mais fcil. Apesar da grande contribuio de Eudoxo, possvel que este tratamento geomtrico dado para o problema atrasou o desenvolvimento de novos campos numricos. Afinal a questo de se obter um nmero associado a cada segmento, representando sua medida, no foi tratado de forma direta. Somente muito tempo depois, a questo foi retomada e definitivamente resolvida. Expandindo o conjunto dos nmeros racionais J percebemos que com os nmeros racionais no se pode obter a medida todo segmento de reta. Deseja-se encontrar nmeros que representassem a medida de qualquer segmento da reta. Portanto procura-se ento um conjunto de nmeros que tivesse uma bijeo com os pontos da reta. Note que, dada uma reta e um referencial, isto , um ponto que chamamos de origem e uma unidade (de medida), estabelecemos um sentido positivo e temos uma reta orientada. Nesta reta pode-se facilmente associar a cada nmero racional um ponto. Veja os exemplos abaixo

Esta a chamada reta real. Convm lembrar que se demorou muito tempo para se aceitar e se incorporar aos conjuntos numricos os nmeros negativos e o 0. Mas vamos daqui pra frente admitir a existncia dos nmeros negativos. Uma construo simples com rgua e compasso (veja abaixo) nos permite encontrar um ponto P associado a diagonal do quadrado de lado 1 e sabemos que no h um nmero racional que represente este ponto. Ento nem todo ponto tem um nmero racional correspondente.
8

E este no o nico exemplo! Veja a construo abaixo:

Uma observao: a reta a que ns nos referimos aqui um objeto geomtrico abstrato e estamos admitindo certos axiomas da geometria. Se cada nmero racional tem um ponto associado e vice e versa, devem existir nmeros para representar os outros pontos. Naturalmente eles foram chamados de nmeros irracionais. O conjunto dos nmeros reais a coleo de todos os nmeros racionais e irracionais. Assim por decreto os nmeros reais foram criados. Mas precisamos ter uma representao para poder somar, subtrair, multiplicar, dividir e comparar tais nmeros, da mesma maneira que fazemos com os nmeros racionais. Representando nmeros Para representar as diversas quantidades usamos um sistema posicional de base 10. Os primeiros sistemas de numerao, como o egpcio, o hebraico, o grego e o romano se baseavam principalmente no princpio aditivo e de agrupamento
9

10

(IX ou MXI). A inveno do sistema posicional atribuda aos sumrios e babilnios, sendo desenvolvida pelos hindus. A utilizao de 10 como base sem dvida conseqncia do fato de termos 10 dedos. Outras bases foram usadas, cujos vestgios esto presentes nas unidades de medida de tempo ou de ngulo. Devemos, sobretudo, aos hindus e aos rabes a inveno e a divulgao da forma de escrita dos nmeros que usamos hoje. Usamos a representao no sistema decimal para escrever os nmeros inteiros. No haveria uma maneira de usar o mesmo sistema para representar os nmeros racionais? Sabemos que no sistema decimal posicional os algarismos ganham um diferente valor, que mltiplo de 10, dependendo da sua posio. Cada posio da esquerda para direita corresponde a um grupo 10 vezes menor que o anterior. Se continuarmos uma casa a direita da cada das unidades, ela deve representar uma quantidade 10 vezes menor, ou seja, representar o dcimo. Ou seja, se um nmero inteiro descrito com potncias positivas de 10 (por exemplo: 70.300.041 = 7+107 +3.105+4.102+1) usamos as dcimas partes da unidade, 1/10, 1/102, 1/103, 1/104 ..., que so potncias negativas de 10, para representar as fraes. E convencionamos escrever 0,1 para 1/10 0,01 para 1/102 0,001 para 1/103 e assim por diante. Portanto no nosso sistema de representao decimal
360,9207 = 3.102 + 6.10 + 9. 1 1 1 3609207 + 2. 2 + 7. 4 = 10 10 10 10 4

Ou ainda,
1 5 = = 0,5 , 2 10 3 75 69 8625 = = 0,075 , = = 0,8625 40 1000 80 10000

Vale notar que esta simples idia demorou muito para ser
10

11

definitivamente adotada. Os babilnios, que usavam um sistema posicional sexagesimal (de base 60) estenderam sua escrita para formas fracionarias 1/60, 1/602. etc. Outros povos, como os hindus, usavam representaes para fraes com dois smbolos, como numerador e denominador. S muito tempo depois, j no sculo XVI, a notao de frao num sistema posicional foi retomada ou reinventada, com a separao entre parte inteira e fracionria. Em 1585, Stevin, faz um tratado sobre fraes decimais e Napier, num trabalho de 1617, usa amplamente o ponto para separar a parte inteira dos dcimos. Acima descrevemos maneiras de converter nmeros na representao decimal para a representao fracionria. Tambm partindo de nmeros escritos na forma fracionria, obtivemos sua representao decimal. Mas ser que podemos representar TODOS os nmeros racionais dessa maneira? Representao decimal finita dos nmeros racionais Claramente todo nmero racional da forma b/10n , onde b um nmero inteiro qualquer, pode ser escrito na forma decimal. Por exemplo, se b for menor que 10n e se b, na forma decimal, b1b2b3b4..bk , onde bi so algarismos de 0 a 9, para cada i de 1 a k, ento cuja representao decimal tem exatamente n casas decimais. As representaes da forma a1a2a3a4..an,b1b2b3b4..bk , onde aj e bi so algarismos de 0 a 9, para cada i de 1 a k e j de 1 a n, so chamadas de representaes decimais finitas. Ser que TODO nmero racional pode ser representado com este tipo de forma decimal? Antes de responder examinemos um exemplo:
0,8625 = 8625 69 = 10000 80
b = 0,00...0b1b 2b 3 ...bk 10n

Obteve-se o denominador 80 dividindo 10000 por 125, que tambm divisor de 8625. Note que a frao 69/80
11

12

irredutvel, isto , 69 e 80 no tm divisores em comum (so primos entre si). E 80 e 10000 tm somente dois fatores primos na suas decomposies: 2 e 5. Se, ao contrrio, comearmos com uma frao irredutvel a/b tal que na decomposio de b em fatores primos s aparecem os fatores 2 e 5, ento conseguiremos uma representao decimal finita de a/b. Veja estes exemplos:
3 32 = = 0,6 5 52 41 41 41 5 205 = = = = 2,05 20 2 2.5 2 2 52 100

Isto foi possvel pois qualquer potncia de 10, ou seja os nmeros 10n , s possuem os fatores primos 2 e 5 na sua decomposio: 10n = 2n.5n. Sendo assim, se na decomposio do denominador da frao p/q aparecem fatores diferentes de 2 e 5 ento p/q no tem representao decimal finita. Concluindo: dada um nmero racional p/q , onde p e q so primos entre si, ele tem uma representao decimal finita, se, e somente se, na decomposio de q em fatores primos s aparecem os fatores 2 e 5, isto , q=2k5m. Representao decimal infinita peridica Naturalmente surge a questo: como, ento, representar, na forma decimal, os outros nmeros racionais? Ser que existe representao decimal para nmeros como 1/3, 7/5, 12/37, etc.? Quando queremos escrever 7/4 na forma decimal escrevemos a frao 175/100 que transformamos em 1,75. Mas tambm podemos fazer a diviso de 7 por 4. Assim procuramos primeiro saber quantas 4 unidades cabem em 7: temos 1. Mas sobram 3 unidades para se dividir em 4. Mas podemos pensar em 3 como 30 dcimos. Encontramos 7 dcimos de 4 e sobram 2 dcimos para serem divididos por 4. Analogamente, transformamos 2 dcimos em 20 centsimos para serem divididos por 4. E quando este processo no termina? Dividindo-se 1 por 3
12

13

obtemos sempre resto 1. Faz sentido escrever 0,33333...? Qual o sentido de infinitas casas decimais? Poderamos escrever que

1/3

1 3 3 3 3 = 0,333... = 0,3 + 0,33 + 0,333 + ... = + + + +L 3 10 100 1000 10000

Temos do lado direito uma soma infinita. claro que uma soma infinita to estranha quanto uma representao decimal infinita. S que este tipo de soma especial: est relacionada com progresso geomtrica (P.G.). Atividade. Uma progresso geomtrica uma seqncia de nmeros no nulos, onde qualquer termo (a partir do segundo), igual ao antecedente multiplicado por uma constante. Essa constante denominada razo da progresso, que indicaremos por q. Assim a seqncia de nmeros da forma (a, a.q, a.q2, a.q3,...) representa uma PG. (a) Mostre que se Sn = a + aq + aq2 +...+ a qn , ento
1 - qn + 1 Sn = a 1- q

(b) Tomando-se a razo q entre 1 e 1 (-1<q<1) pode-se mostrar que qn+1 tende a 0 (ou qn+1 vai para 0) quando n vai para infinito. Significa que qn+1 fica cada vez mais prximo de zero, medida que n aumenta. Mostre que nesse caso
Sn = a aqn + 1 a n + 1- q 1- q 1- q

Logo em uma PG infinita dizemos que a soma infinita dos termos da PG a/(1-q). E escrevemos que
S = a + a1 + a2 + a3 + ... = a + aq + aq2 + aq3 + ... = a 1- q

(c) Obtenha a soma dos infinitos termos da PG com a=3 e q=1/8 . Idem para a=3/10 e q = 1/10. As representaes decimais infinitas como vimos acima so chamadas de peridicas, pois periodicamente um grupo de algarismos se repete. Mas dada uma representao decimal infinita e peridica, ou seja uma chamada dzima peridica, ela a representao de um nmero racional? Vejamos um exemplo. Considere a representao
13

14

x = 1,2454545... que a soma infinita

x =1+ 2 45 45 45 45 + + + + +L 3 5 7 10 10 10 10 109

Isso envolve a soma de uma PG. Infinita de razo 1/102 . Portanto fazendo os clculos a soma acima d um nmero. Obteremos assim x na forma de frao. H uma forma alternativa mais simples de se obter x. Note que os algarismos comeam a se repetir a partir da segunda casa decimal, com o algarismo 4. Vamos multiplicar o nmero por 10: 10.x = 12,454545... Agora, vamos multiplicar o mesmo a por 103: 103 .x= 1245,454545... Se subtrairmos o maior do menor, ela ir cancelar: 103 .x 10 .x = 1245,45... - 12,45... = 1233 Logo, 10.x (100 1) = 1233 e, portanto, x.990 = 1233. Logo,
x= 1233 990

Com esse mtodo obtemos sempre uma representao em frao de uma dzima peridica. Atividade. Mostre que 0,999...= 1. E que 2,5 = 2,4999 K e 1,48 = 1,47999... H um grande incmodo nas igualdades do tipo 1/9 = 0,111.... Convm ressaltar que a igualdade apenas informa que temos duas representaes do mesmo nmero. Note que a notao com os pontinhos no precisa. Quando se escreve 0,333... pressupomos que o algarismo 3 se repete indefinidamente. Se escrevemos 0,7122312... como saber se h repetio? E quais algarismos se repetem? Assim uma notao mais utilizada a barra sobre os algarismos que se repetiro formando a dzima peridica. Atividade. Escreva
12,31415723

na forma a/b.
14

15

Atividade. Responda, justificando a resposta. (a) A representao decimal de 3/17 infinita e peridica? (b) O nmero cuja representao decimal segue o seguinte padro 0,10110111011110111110... , racional? Ser que todo nmero racional a/b tem uma representao decimal finita ou infinita peridica? Vejamos o que acontece quando dividimos 5 por 11. Dividindo 50 por 11 (para encontrar a 1a casa decimal) encontramos o quociente 4 e resto 6. Fazemos ento a diviso de 60 por 11 para obter a segunda casa decimal. Encontramos o quociente 5 e resto 5. Da fazemos a diviso de 50 por 11, que j fizemos, cujo resto 6. Os nicos restos que aparecem so 6 e 5. Assim 5/11 = 0,4545... Vejamos outro exemplo: fazendo a diviso de 4 por 7 obtemos 4/7 = 0,571428571428... Observe que, nesse caso, os restos da diviso so 5, 1, 3, 2, 6 e 4, nesta ordem. Quando chegamos ao resto 4 iremos dividir 40 por 7, que j fizemos. O prximo resto ser 5 e os prximos restos sero aqueles que j apareceram e na mesma ordem! Lembre que em qualquer diviso de a por b (a>b) vale que a=qb+r, onde o resto r deve ser sempre menor do que o divisor. Portanto r s pode ser 0,1,2,3,... ou b-1. Logo o resto da diviso por 7, s pode ser 0, 1, 2, 3, 4, 5 ou 6. O resto da diviso por 11 s pode ser 0, 1, 2, ... 9 ou 10. Assim os restos tero que se repetir. Generalizando, se p/q for um nmero racional escrito em sua forma irredutvel, e se o denominador q tiver outros fatores primos alm de 2 e 5, sua representao decimal ser uma dzima, pois na diviso de quaisquer nmeros por q, os nicos restos possveis sero 1, 2, ..., (q 1) uma quantidade finita de possibilidades. Com isso, teremos certeza de que, em algum momento, um determinado resto ir se repetir e, a partir da, todo o algoritmo ir se repetir, resultando assim uma dzima peridica. Conclumos que a representao decimal de qualquer nmero racional ou finita, ou infinita e peridica,
15

16

tambm chamada de dzima peridica. Representao decimal os nmeros reais fcil localizar o ponto 1/3 na reta real

A representao decimal de 1/3 0,33333... (infinita e peridica). Escrevendo

1 3 3 3 3 = 0,3333... = + + + +L 3 10 100 1000 10000

percebemos que 1/3 uma soma infinita. Se marcarmos os pontos correspondentes a 0,3 ; 0,33 ; 0,333 ; 0,3333 ; 0,33333 ; ... na reta real, obteremos uma seqncia de pontos que converge para o ponto 1/3. Isso significa que to perto quanto se queira de 1/3 existe um nmero da forma 0,33...3, onde a quantidade de casas decimais vai depender do quo perto se deseja. A mesma coisa ocorre com a representao decimal infinita de 1 que 0,999...: a seqncia de nmeros (0,9;0,99;0,999;0,9999,...) converge (se aproxima de ) 1. Podemos generalizar: todo nmero racional r pode ser aproximado por nmeros da forma a/10n, ou seja h uma seqncia infinita de nmeros da forma 0,a1a2...ak que converge para r. Por outro lado, se escolhermos um ponto P da reta que corresponde a um nmero irracional s existir uma representao decimal para tal nmero? Tomemos o ponto P que corresponde ao 2 (o ponto azul nas figuras abaixo). Como 12< 2 < 22 temos que 2 est entre 1 e 2.

16

17

Vamos procurar melhores aproximaes de 2 . Como (1,4)2 < 2 < (1,5)2 (faa os clculos e verifique!) ento 2 est entre 1,4 e 1,5.

Novamente, fazendo mais clculos percebemos que (1,41)2 < 2 < (1,42)2 e ento 1,41 < 2 < 1,42.

E mais, podemos calcular e ver que (1,414)2 < 2 < (1,415)2, e ento 1,414 < 2 < 1,415.

Podemos ento perceber que sempre podemos obter melhores aproximaes de 2 , bastando dividir os intervalos em partes iguais de tamanho 1/10k . E esse processo infinito!!!! Note que, os nmeros racionais (1,4; 1,41; 1,414; 1,4142 ; 1,41421; 1,414213; 1,4142135; 1,41421356; ....) formam uma seqncia de nmeros que converge, para 2 . Os nmeros desta seqncia so aproximaes de 2 da forma b/10n. Note que a seqncia formada por nmeros menores que 2 , e que uma seqncia crescente.

17

18

Nada impede que se repita o processo acima descrito para todo nmero irracional s (ponto da reta real). Assim podemos intuir que existe uma representao decimal de s. A representao decimal de um nmero irracional s tem que ser infinita e no peridica, pois s os nmeros racionais tm representao finita ou infinita e peridica.

Construindo os nmeros reais Vimos que todo ponto da reta real, ou seja, todo nmero real tem uma representao decimal infinita sendo que se o nmero racional a representao infinita e peridica e se o nmero irracional ela infinita e no peridica. Invente uma representao decimal qualquer. Ela representa um nmero real? Vamos ver um exemplo: consideremos o decimal 0,1212212221... . ( um decimal infinito cujas casas decimais s tem 1 e 2 conforme um padro: aumenta-se a quantidade de 2 separados por 1). Este um decimal infinito e no peridico. Existe um ponto Q da reta cujo nmero associado tem esta representao? Vamos tentar responder. Tome a seguinte seqncia de nmeros: 0,1 ; 0,12 ; 0,121 ; 0,1212 ; 0,12122 ; 0,121221 ; 0,1212212 ; 0,12122122 ; etc ... A seqncia crescente e nunca ultrapassa 0,13. Tambm no ultrapassa 0,122. Ou ainda no ultrapassa 0,1213 etc. A diferena entre os termos vai ficando cada vez menor. De fato, a diferena entre dois nmeros consecutivos sempre menor que 2/10n =0,0...02. Veja 0,12-0,1=0,02 0,121-0,12=0,001

18

19

0,1212-0,121=0,0002 etc

Nossa intuio nos diz que esta uma seqncia de nmeros racionais que converge para um nmero s (um ponto da reta real). E o nmero s s pode ser o nmero representado por 0,121221222122221... , com infinitas casas decimais! O argumento que usamos pode ser repetido para toda e qualquer forma decimal infinita que voc inventar, mesmo que ela no tenha uma regularidade (como o caso do exemplo acima). Portanto toda forma decimal infinita (peridica ou no) representa um nmero real. O que estamos afirmando que sempre existir um ponto na reta real, ou seja um nmero real, para onde converge uma seqncia crescente e limitada de nmeros da forma b/10n . Informalmente, dizemos que o conjunto dos nmeros reais no tem buraco. Quando dizemos isso queremos traduzir uma idia de continuidade ou de completude. E este um dos conceitos mais difceis e abstratos da Matemtica, cujo mistrio foi desvendado por matemticos como Georg Cantor (18451918) e Richard Dedekind (1831-1916). Para Cantor a completude ou a continuidade dos nmeros da reta real se traduz da seguinte forma: toda seqncia de nmeros reais convergente tem limite, ou seja, o limite um nmero real. A idia de Cantor foi sugerida pelo que vimos anteriormente de que nmeros reais podem ser considerados como decimais infinitas e decimais infinitas so limites de decimais finitas (nmeros racionais). Libertando-se do sistema decimal, Cantor afirmou que no conjunto dos nmeros reais toda seqncia de nmeros racionais (a1 ; a2 ; a3 ; a4 ; ...) que convergir, ou seja, a diferena entre os termos da seqncia vai diminuindo ( (an-am) tende a 0 a medida que n e m aumentam ) ter o limite no conjunto dos nmeros reais.
19

20

Dedekind, contudo, inspirou-se na Teoria das Propores de Eudoxo. Na definio de Eudoxo separa-se a frao m/n em trs casos: na > mb ou na = mb ou na< mb. Assim Dedekind pensou em separar as fraes em duas classes: aquelas com na < mb e as com na > mb. A este par de classes ele deu o nume de corte. Ele afirmou que o princpio da completude ou da continuidade est no fato de que toda vez que cortamos a reta em dois pedaos A e B existe um ponto que P que produz tal corte da reta e a separa em duas partes. Propriedades dos nmeros reais Sabemos que o conjunto dos nmeros racionais, denotado por Q, o que chamamos de corpo ordenado: as operaes de adio e multiplicao de nmeros racionais fornecem nmeros racionais que satisfazem determinadas propriedades e temos uma relao de ordem neste conjunto, compatvel com as operaes. O conjunto dos nmeros racionais foi aumentado e temos agora o conjunto dos nmeros reais. O conjunto dos nmeros reais, denotado por R, a unio dos nmeros racionais com os irracionais. Podemos ainda operar com estes novos nmeros como fazemos com os racionais? Como definir agora adio e multiplicao? Os nmeros reais formam tambm um corpo ordenado? No nada fcil operar com as representaes decimais. Vejamos esta soma 1,13234567898765453236272618377... + 2,98547893076453426374866845959987656... 4,11793......................................................... No h como conhecer todas as casas decimais de alguns nmeros. O algoritmo da multiplicao aplicado em decimais infinito fica bem complicado. E quando misturamos racionais e irracionais acontecem coisas incrveis. Queremos definir operaes em R que estendam as

20

21

operaes de adio e subtrao definidas em Q. Isso no to simples quanto parece. Contudo os matemticos de fato provaram que no conjunto dos nmeros reais R construdo anteriormente esto definidas operaes de adio e multiplicao que estende as de Q. Tambm temos uma ordem nas mesmas condies o que permite afirmar que R um corpo ordenado. Atividade. O conjunto dos nmeros irracionais pode formar um corpo? Analisemos o que acontece quando operamos com estes nmeros. (a) A soma de um nmero racional no nulo por um irracional sempre um nmero irracional? (b) O produto de um nmero racional no nulo por um irracional sempre um nmero irracional? (c) Se a e b forem nmeros irracionais ento a+b ser um nmero irracional? (d) Se a e b forem nmeros irracionais ento a.b um nmero irracional? Quantos irracionais existem? Ser que h tantos nmeros irracionais quanto racionais? Esta pergunta parece estranha pois j sabemos que existem infinitos nmeros racionais e irracionais. Como ento falar de quantidade de infinitos elementos? Matemticos perceberam que h qualidades diferentes de infinitos. Mas especialmente o matemtico G. Cantor que se dedicou (praticamente criou) Teoria dos Conjuntos, desvendou o mistrio. Vamos entender melhor esse conceito. Dizemos que as poltronas de um teatro so numeradas. freqente se usar letras e nmeros para tal (fila J cadeira 13, por exemplo). Tambm os carros de uma cidade so enumerados, pois recebem uma placa formada por letras e nmeros. Assim tambm se pensou em fazer com o conjunto de nmeros. Percebeu-se que os nmeros inteiros (que se denota por Z) podem ser enumerados. Portanto enumerar estabelecer uma correspondncia
21

22

bijetora entre os nmeros naturais N e os elementos do conjunto. Percebeu-se que os nmeros inteiros (que se denota por Z) podem ser enumerados. Veja como: Posio Nmero inteiro 1 0 2 -1 3 1 4 -2 5 2 6 -3 7 3 8 -4 9 4 ... ...

Como existem infinitos nmeros naturais a enumerao apresentada possvel: todos os nmeros inteiros tero uma posio na fila. Portanto o conjunto Z dos nmeros inteiros dito enumervel. mais surpreendente que o conjunto dos nmeros racionais Q tambm enumervel. Vejamos como estabelecer uma enumerao. Vamos tomar os racionais positivos. Se estabelecermos uma enumerao destes poderemos enumerar todos os nmeros racionais procedendo como foi feito acima com os nmeros inteiros. Procedamos, ento, da seguinte maneira: vamos agrupar todos os nmeros racionais positivos de modo que, em cada grupo, a soma dos termos (numerador e denominador) da frao irredutvel que o representa seja a mesma; todo nmero que j figura num grupo anterior ser retirado: 1o grupo : soma 2 : 2o grupo : soma 3 : 3o grupo : soma 4 apareceu) 4o grupo : soma 5 : 5o grupo : soma 6 : etc
22
1 4 2 3 , , , 4 1 3 2 1 5 , 5 1

1 1 1 2 , 2 1 1 3 : , 3 1

(elimina-se o 2/2 = 1, que j

(elimina-se o que j apareceu)

23

Coloquemos agora estes grupos um depois do outro e faamos corresponder a cada nmero do grupo um nmero natural (colocando-os em fila):
1 1 1

1 2 , 2 1 2 3

1 3 , 3 1 4 5

1 4 , , 4 1 6 7

2 , 3 8

3 2 9

1 5 , 5 1 10 11 ...etc

Dessa forma tome um racional positivo m/n , na forma irredutvel, qualquer. Este nmero est no grupo da soma m+n e dentro deste grupo ocupa um lugar determinado; assim corresponde-lhe um nmero natural e um s. Reciprocamente, na correspondncia acima estabelecida a cada nmero natural corresponde um nmero racional e um s. Portanto, este conjunto do tipo enumervel. E conjunto dos nmeros irracionais tambm enumervel? Esta questo ficou em aberto por muito tempo. Somente em 1874, o matemtico G. Cantor respondeu a pergunta de uma forma muito interessante (simples e genial), usando a representao decimal. Vamos apresent-la a seguir. Primeiramente lembre-se que todo nmero real (racional ou irracional) tem uma (nica) representao decimal infinita (podemos tomar 0,4999... no lugar de 0,5). Suponhamos que possamos enumerar todos os nmeros reais. Portanto tambm podemos enumerar os nmeros reais entre 0 e 1. Os nmeros reais entre 0 e 1 podem ser escritos na so da forma 0,b1b2b3b4..., onde bk so algarismos de 0 a 9. Se tais nmeros esto enumerados, ou seja, em fila, cada um ocupando uma posio.

23

24

1 a 0, a11a12 a13 a14 a15 a16 ... 2 a 0, a21a22 a23 a24 a25 a26 ... 3 a 0, a31a32 a33 a34 a35 a36 ... 4 a 0, a41a42 a43 a44 a45 a46 ... 5 a 0, a51a52 a53 a54 a55 a56 ... M

Note que aik denota o algarismo da k-sima casa decimal da representao decimal do nmero que ocupa a i-sima posio. Agora vamos criar um nmero real 0,b1b2b3b4..., da seguinte forma: cada bk = akk+1, quando akk diferente de 9 e bk=0, se akk igual a 9. Por exemplo, se a11=1 ento fazemos b1=2, se a22=0, ento b2=1, se a33=9, ento colocamos b3=0, e assim por diante. Criamos assim um nmero real entre 0 e 1. Portanto ele tem que estar na lista que fizemos acima, isto , ele tem que estar em correspondncia com um nmero natural. Imaginemos que 0,b1b2b3b4... ocupa o 5o lugar, isto , 0,b1b2b3b4b5b6... = 0,a51a52a53a54a55a56...; Para que tais nmeros sejam iguais, cada casa decimal correspondente deve ser igual, ou seja, b1=a51, b3=a53, b4=a54, b5=a55, b6=a56, etc. Mas b5 no igual a a55 !?! Em geral se 0,b1b2b3b4... ocupasse o k-simo lugar, isto , 0,b1b2b3b4b5b6... = 0,ak1ak2ak3ak4ak5ak6... ento teramos b1=ak1, b3=ak3, b4=ak4, b5=ak5,..., bk=akk, etc. Mas bk no igual a akk ! Temos uma contradio aqui! Que foi gerada pelo fato de querermos colocar o nmero 0,b1b2b3b4... na lista. Ento ele no pode fazer parte da lista. Mostramos que existe um nmero real entre 0 e 1 que no tem um correspondente nmero natural. Portanto no podemos enumerar TODOS os nmeros reais entre 0 e 1. Concluso: no possvel encontrar uma enumerao dos nmeros reais, ou seja, o conjunto dos nmeros reais no enumervel. A demonstrao que apresentamos conhecida como o mtodo da diagonal de Cantor, em homenagem ao seu criador.
24

25

Muitas outras questes H muitas outras questes sobre a natureza dos nmeros reais. Quando tratamos do fascinante mundo dos nmeros, certas questes surgem naturalmente. E alguns dos nossos alunos podem muitos bem nos fazer algumas perturbadoras perguntas. Como respond-las? Existem infinitos nmeros irracionais? Seriam todos os nmeros irracionais da forma n p , ou soma, diferena, produto ou quociente de nmeros deste tipo? Entre quaisquer dois nmeros racionais, sempre existe um nmero irracional? Entre quaisquer dois nmeros irracionais, sempre existe um nmero racional? Atividade. Como achar um nmero irracional entre a=+1 e b = +5? Obtenha um nmero racional entre 3 6 e 3 ? Existe um nmero irracional entre 1 e 0,99999? Existe um nmero racional entre 1 e 0,99999? O que ler. Caraa, B., Conceitos Fundamentais da Matemtica, 4a edio, Gradiva, Lisboa, 2002. Courant,R, Robbins,H. O que a Matemtica?, Ed. Cincia Moderna Ltda, Rio de Janeiro, 2000 (traduo do original What is Mathematics? 1969). Eves, H., Introduo a Historia da Matemtica, 3a edio, Ed. da Unicamp, Campinas, 2002. Figueiredo, D.G., Nmeros Irracionais e transcendentes, Coleo Fundamentos da Matemtica Elementar, SBM, Rio de Janeiro, 1985.
25

26

Niven, I., Nmeros: racionais e irracionais, Coleo Fundamentos da Matemtica Elementar, SBM, Rio de Janeiro, 1984. Artigos da Revista do Professor de Matemtica, SBM, So Paulo. (vol 2, 6, 7, 8, 10 etc) Sitios (sites) http://www. educ.fc.ul.pt/icm/icm99/icm17/index.html httt://www.matematica.br http://www-groups.dcs.st-and.ac.uk/~history/

26