Você está na página 1de 14

OS NMEROS IRRACIONAIS

Hermano Frid Instituto de Matemtica Pura e Aplicada - IMPA Nvel Intermedirio. No texto a seguir fazemos uma breve introduo ao conceito de nmero irracional. Na sua maior parte o texto ser acessvel a alunos da ltima srie do primeiro grau. As duas ltimas sees talvez requeiram um pouco mais de maturidade embora no exijam nenhum conhecimento prvio adicional. Para simplificar a exposio nos restringiremos a nmeros positivos. A extenso dos fatos abordados ao contexto geral de nmeros positivos, negativos e 0 no requer nenhuma dificuldade adicional. Pode-se imaginar que a idia de nmero inteiro positivo tenha surgido num estgio primrio da civilizao, juntamente com a necessidade da prtica da contagem. Por exemplo, era necessrio a um pastor saber contar de algum modo o nmero de animais no seu rebanho. A maneira de representar o resultado dessa contagem era no incio bastante diferente da que usamos agora e provvel que no comeo cada pessoa tivesse sua maneira prpria de faz-lo. Contar significa estabelecer um modo de comparar quantidades de elementos de conjuntos distintos. Por exemplo, a quantidade de pedrinhas em um saco com a quantidade de animais num rebanho, ou a quantidade de alimentos conseguidos em uma caada ou em colheita com a quantidade de membros da tribo. Tambm no difcil imaginar que a ideia de frao tenha surgido na evoluo da civilizao humana, primeiramente e de forma mais elementar, com a ocorrncia usual da necessidade de um determinado grupo de pessoas partilhar um ou mais bens de propriedade comum entre seus membros. E num estgio mais avanado, dentre outras motivaes possveis, com a necessidade de as pessoas trocarem entre si bens de tipos distintos. Por exemplo, um pastor deseja trocar com um agricultor peles de carneiro por sacos de milho numa razo de 3 peles de carneiro para cada grupo de 7 sacos de milho. Por outro lado, a idia de um nmero que no seja nem inteiro nem frao , em princpio, muito menos natural que a daqueles e surge num estgio muito mais avanado da civilizao com a necessidade da prtica da medio. Por exemplo, medir as dimenses ou a rea de um terreno, comparar as distncias entre pares de pontos distintos, etc. Procuraremos, a seguir, mostrar as propriedades bsicas destes nmeros estranhos em contraste com as propriedades, na maior parte j bem conhecidas, daqueles mais intuitivos, os inteiros e as fraes.

1. BASE DECIMAL; DZIMAS

Os nmeros reais positivos podem ser representados no sistema decimal por uma seqncia de algarismos elementos do conjunto {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} Separados por uma vrgula. Assim, se a N , a N ,..., a 0 , a , a 2 , a 3 ,..., so 1 1 algarismos quaisquer, um nmero real positivo representado no sistema decimal tem a forma a N a N a N 2 ... a1 a 0 , a a 2 a 3 ..., (1) 1 1 onde a N > 0. Nessa representao, esquerda da vrgula temos sempre um nmero finito de algarismos, porm direita podemos ter uma infinidade de algarismos. Por exemplo, 783,5231 representa o nmero obtido como resultado da expresso 7 10 2 + 8 10 1 + 3 10 0 + 5 10 1 + 2 10 2 + 3 10 3 + 1 10 4 . (2)
154 tem representao decimal 0, 1545454 com uma 999 infinidade de algarismos direita. Essa representao se traduz como resultado de uma expresso com infinitas parcelas 1 10 1 + 5 10 2 + 4 10 3 + 5 10 4 + 4 10 5 + 5 10 6 + ... (3) 154 Essa expresso significa exatamente que se quisermos aproximar no 999 sistema decimal com preciso de 8 casas decimais, por exemplo, devemos tomar como aproximao o nmero 0,15454545 que resultado da expresso 1 10 1 + 5 10 2 + 4 10 3 + 5 10 4 + 4 10 5 + 5 10 6 + 4 10 7 + 5 10 8. (4) Claro, o nmero 0, 1545454 o que chamamos de uma dzima peridica e por 154 isso pode ser obtido como uma frao . 999

Por outro lado, a frao

O QUE ACONTECE NO CASO DE UMA DZIMA NO-PERIDICA?

Neste caso, assim como no peridico, temos uma infinidade de algarismos direita da vrgula e assim s nos possvel escrever a representao decimal at uma certa casa decimal, porm, diferentemente do que acontece no caso peridico, no h repetio indefinidamente de um determinado grupo de algarismos e, assim, o nmero em questo no pode ser obtido como uma frao

p com e e q diferente de 0. Os nmeros que podem ser obtidos como fraes q

so chamados racionais; os que no podem ser obtidos como fraes so chamados irracionais.
2. POR QUE PRECISAMOS DOS NMEROS IRRACIONAIS?

Responderemos esta pregunta atravs de um exemplo. Euclides provou que o nmero positivo cujo quadrado 2, isto , o nmero positivo x que satisfaz a x 2 = 2, equao (5) no racional. Euclides argumentou da seguinte forma: Suponhamos que o nmero x satisfazendo (5) seja racional. Ento existem inteiros positivos p e q, p2 = 2. p 2 = 2q 2 . primos entre si, tais que ou seja q2 (6) Portanto p 2 par e p tambm par; p pode ser escrito na forma p = 2k. Assim, 2 2 2 2 (7)

( 2k ) = 2q 2k = q

Pela mesma razo que acabamos de expor, conclumos que q tambm deve ser par. Mas isto nos leva a uma contradio pois p e q so primos entre si por hiptese! Assim, a suposio de que x =
p nos leva a uma contradio e, q

portanto, deve ser descartada, considerada falsa. Chegamos concluso que 2 , que como representamos o nmero positivo cujo quadrado 2, um nmero irracional!!
3. COMO OBTER APROXIMAES RACIONAIS PARA 2

Podemos obter aproximaes cada vez melhores de 2 (o nmero x que satisfaz (5)) atravs do seguinte procedimento que um caso particular de um esquema inventado por Newton conhecido como mtodo de Newton. (Com base nesse mtodo podemos programar as mquinas de calcular para produzirem aproximaes de 2 to precisas quanto o avano da eletrnica nos permitir). primeiro chutamos um nmero x 0 como uma primeira aproximao de x que nos parea razovel; por exemplo, x 0 =1. Em seguida observamos que 2 x 2 x0 = ( x + x0 )( x x 0 ) 2 x0 ( x x0 ), onde o smbolo significa aproximadamente igual a. Assim, 2 x 2 x 0 2 x0 ( x x 0 ), e, portanto, dividindo a equao aproximada por 2x 0 e arranjando os termos, obtemos

2 x 2 x0 x + x0 . 2 x0

(8)

substituindo x 2 = 2 e x 0 = 1 em (8), obtemos 2 1 3 x +1 = . 2 2 3 Assim temos uma segunda aproximao x1 = . Encontramos tambm x 2 : 2 9 2 Da mesma 4 + 3 x 1 1 + 3 x 1 + 3 x 2 17 . x2 2 2 3 2 4 3 2 12 2 12 forma, podemos obter uma quarta aproximao x 3 , fazendo

x3 =
=

2 x 2 x2 2 (17 / 12) 2 17 + x2 = + 2 x2 17 / 6 12

288 289 17 288 289 + 2 289 577 + = = . 2 12 17 12 2 12 17 408 577 Assim, x3 = seria a aproximao seguinte: Sua representao decimal a 408 x = 1,414 2156862745 21568627 9.... 098039 ... dzima peridica 3
perodo

Agora se voc pegar uma mquina de calcular e pedir (atravs dos devidos comandos) que ela calcule 2 , voc obter, se sua mquina puder exibir 33 dgitos (incluindo a vrgula ou ponto), a expresso decimal 1,4142135623730950488016887242097. Horrvel, no ? Voc obter uma expresso ainda maior se sua mquina puder exibir mais dgitos. Repare como nossas aproximaes x1 , x 2 e x 3 esto cada vez mais prximas desse nmero!
4. OS NMEROS RACIONAIS PODEM SER ENUMERADOS

Isto significa que podemos dispor os nmeros racionais numa sucesso da forma r1 , r2 , r3 ,..., com uma infinidade de elementos. Podemos interpretar este fato como significando que a quantidade de nmeros racionais, embora sendo infinita, de uma ordem de infinitude equivalente a dos nmeros naturais 1, 2, 3. O argumento para a demonstrao desse fato devido a Georg Cantor.

Como todo racional tem uma representao nica como frao

p com p e q q

inteiros positivos primos entre si, basta que saibamos enumerar os pares ordenados (p, q) de naturais primos entre si. A forma de obter essa enumerao est descrita pela figura abaixo:

A enumerao obtida seguindo-se o caminho indicado pelas flechas, iniciando a partir de (1,1), tendo o cuidado de descartar os pares de naturais que no so primos entre si, como, por exemplo, (2,2), (4,2), (3,3) etc.. Com isso, teramos
r1 = 1 1 2 3 1 = 1, r2 = , r3 = = 2, r4 = = 3, r5 = , etc. 1 2 1 1 3

5. REPRESENTAO DECIMAL DOS RACIONAIS

H pouco dissemos que no era possvel pr uma dzima no peridica em forma de frao
p com p e q naturais primos entre si. Vamos dar uma explicao para q

este fato. Fixemos um natural q. Quando dividimos um nmero qualquer N > q pelo nmero q. Obtemos como resto da diviso um elemento do conjunto (finito) {0, 1, 2,, q 1}. Tomemos como exemplo q = 7 e N = 17; nesse caso os restos possveis pertencem ao conjunto {0, 1, 2, 3, 4, 5, 6}. Agora vamos recordar o algoritmo da diviso com esse exemplo especfico:

17 7 1 4 2, 4 2 8 5 7 1 4 2 8 5 7 1 30 28 20 14 60 56 40 35 50 49 10 7
30

O que acontece que os restos possveis so elementos do conjunto finito de q elementos {0, 1,, q 1}(no exemplo acima q = 7). Assim, em no mximo q iteraes do algoritmo ou acabamos repetindo um elemento do conjunto de restos possveis (no exemplo acima o primeiro a se repetir foi o 3), ou o 0 ocorre como resto e o processo termina. No primeiro caso, a partir da passamos a repetir os restos ocorridos anteriormente na mesma ordem (3, 2, 6, 4, 5, 1, no exemplo acima). As casas decimais no quociente por sua vez tambm se repetem o obtemos ento uma dzima peridica. No segundo caso, obtemos simplesmente um nmero finito de casas decimais.
6. REPRESENTAO DECIMAL DOS IRRACIONAIS

Todo nmero irracional positivo possui uma representao decimal nica por meio de uma dzima no peridica. Para simplificar vamos nos restringir aos nmeros entre 0 e 1. J sabemos que um nmero cuja representao decimal possui uma quantidade finita de casas decimais pertence ao conjunto dos racionais. Da mesma forma aprendemos que um nmero cuja representao decimal uma dzima peridica tambm um nmero racional. Por outro lado, vimos no item anterior que as representaes decimais de um racional so necessariamente de um dos dois tipos: ou possuem uma quantidade finita de casas decimais, ou terminam em uma dzima peridica. Logo, uma representao decimal para um nmero irracional tem necessariamente que ser uma dzima noperidica. Afirmamos que essa representao nica. Repare que isso no ocorre em geral com os racionais. Por exemplo, 0, 21 e 0, 20999 representam o 21 mesmo racional . Suponhamos que um irracional x entre 0 e 1 possua duas 100 representaes decimais distintas: x = 0, a 1 a 2 a 3 ..., (10) x = 0, b b2 b3 ..., (11) 1 Se essas representaes so distintas certamente existe um p N tal que a k = bk , para k = 0,..., p 1, e a p bp . Para fixar idias vamos assumir ento que a p bp +1 e por (10) e (11) x 0, a a 2 ... a p , (12) 1 x 0, a a 2 ... bp 999 ... = 0, a a 2 ...( bp +1), (13) 1 1 bk = a k se k = 0,..., p 1 e b sempre menor ou igual a 9. Mas j que k a p = bp +1 e x = 0, a a 2 ... a p . (12) e (13) implicam que 1 Porm nesse caso x racional e chegamos a uma contradio! Chegaramos a uma contradio semelhante tambm se tivssemos assumido bp > a p ,

argumentando da mesma forma apenas trocando os papis dos a k e bk . A contridio tem origem no fato de termos suposto que havia duas representaes decimais distintas para o mesmo irracional x. Logo essa possibilidade tem que ser descartada, considerada falsa, e assim conclumos que todo irracional possui uma representao decima nica como dzima no-peridica.
7. OS IRRACIONAIS NO PODEM SER ENUMERADOS

Isto significa que no podemos dispor os nmeros irracionais numa sucesso s1 , s 2 , s 3 ,..., mesmo admitindo uma infinidade de elementos. Quer dizer, diferentemente dos racionais, a ordem de infinitude da quantidade dos nmeros irracionais maior que a dos nmeros naturais. Conclumos da que existem muito mais nmeros irracionais do que racionais! Vamos tentar justificar nossa afirmao sobre a no-enumerabilidade dos irracionais. O argumento uma adaptao de uma idia tambm devida a G. Cantor. Suponhamos que fosse possvel dispor os irracionais numa sucesso s1 , s 2 , s 3 ,..., . Basta considerarmos apenas os irracionais entre 0 e 1. Criamos um nmero irracional x, tambm entre 0 e 1, atravs de uma representao decimal (portanto, uma dzima no peridica) da seguinte forma. O nmero x tem representao decimal dada por x = 0, x 1 x 2 x 3 ... onde x p escolhido dentro do conjunto {0, 1, , 9} de modo que x p diferente de ( s p ) p onde este ltimo o algarismo que aparece na casa decimal de ordem p do irracional s p (p-sima elemento da sucesso s1 , s 2 ,... s p ,...). A escolha de cada x p tambm deve atender a condio de no permitir que nenhum grupo de algarismos dentre os j escolhidos x , x 2 ,..., x ( p ) possa se tornar o 1 1 gerador de uma dzima peridica. Desta forma obtemos uma dzima no peridica representando um nico irracional que, no entanto, no pode constar na lista s1 , s 2 , s 3 ,..., . De fato, se x = s r , para algum r N, ento como x r ( s r ) r teramos um absurdo (uma contradio)!.
8. ESTUDO SUPLEMENTAR: O IRRACIONAL

O nmero definido como sendo a rea limitada por um crculo de raio 1. Ele certamente o irracional transcendente mais conhecido. A expresso transcendente significa, neste contexto, um nmero irracional que no raiz de nenhuma equao polinomial com coeficientes inteiros. Por exemplo, os irracionais 2 ,1 + 3 no so transcendentes pois so razes das equaes

polinomiais x 2 = 2, x 2 2 x 2 = 0, respectivamente. Neste ltimo caso dizemos que os nmeros so algbricos. A demonstrao de que um nmero irracional, apesar de no ser trivial, pode ser feita usando-se apenas o clculo diferencial elementar que ensinado no primeiro perodo dos cursos de cincias exatas. A primeira demonstrao de que irracional s foi obtida em 1766 por J. H. Lambert, de forma no completamente rigorosa, tendo sido finalmente (re)obtida de modo rigoroso pelo famoso matemtico A. M. Legendre e publicada em 1855. A prova de que transcendente muito mais complexa e s foi obtida em 1882 por F. Lindermann. O fabuloso matemtica grego Arquimedes foi o primeiro a obter uma aproximao razovel de por numeros racionais. Ele provou que 10 1 3+ < < 3+ , 71 7 usando dois polgonos regulares de 96 lados, um inscrito e outro circunscrito a um crculo de raio 1. Podemos obter aproximaes cada vez melhores de , com o auxlio de uma mquina de calcular bastante rudimentar, capaz apenas de fazer as operaes bsicas (+, , ) e mais a operao de extrair raiz quadrada, da seguinte forma. A idia aproximarmos o crculo de raio 1 por polgonos regulares de 2 n lados inscritos neste crculo. Primeiramente, fcil verificar que para a rea e o permetro do polgono regular de 2 n lados inscritos num crculo de raio 1 temos 1 rea = Permetro 4 l 2 , 4 onde l o comprimento do lado do polgono. Como l se aproxima mais e mais de 0 a medida que n cresce, vemos que para o crculo de raio 1 devemos ter (fazendo l = 0 na frmula acima) 1 rea = Permetro 4 Assim, podemos tambm definir como sendo a metade do permetro do crculo de raio 1. Por outro lado, usando o teorema de Pitgoras que diz que em um tringulo retngulo o quadrado da hipotenusa a soma dos quadrados dos catetos, se l n denota o comprimento do lado do polgono regular de 2 n lados, fcil mostrar que
l n +1 =
2 2 4 l n .

(14)

Para n = 2 temos o polgono regular de 4 lados, quadrado, inscrito no crculo de raio 1, cujo lado, facilmente obtido usando-se o teorema de Pitgoras, l 2 = 2.

Por meio de (14) obtemos sucessivamente


l3 = 2 2,

l4 = 2 2 + 2 ,
l5 =
l6 =
l7 =

2 2+ 2+ 2 ,

2 2+ 2+ 2+ 2 ,

2 2+ 2+ 2+ 2+ 2 ,

l8 =

2 2+ 2+ 2+ 2+ 2+ 2 ,

Para obter uma boa aproximao de calculemos, por exemplo, o valor da metade do permetro do polgono de 2 8 = 256 lados, inscrito no crculo de raio 1, cujo lado tem comprimento igual a l 8 . Podemos obter um valor aproximado para l 8 executando a seguinte seqncia de operaes numa calculadora 2 sqrt + 2 = sqrt + 2 = sqrt + 2 = sqrt + 2 = sqrt + 2 = sqrt + / + 2 = sqrt, e obtemos l 8 = 0.0245430765714398521588165239020064. Agora, multiplicaremos o resultado obtido para l 8 por 256, que o nmero de lados da polgono em questo, e em seguida dividimos por 2 o que nos d

o que fornece uma aproximao com erro menor que 0, 0001 j que sabido que 3, 1415 < < 3, 1416. Consideraes finais: Exceto pelas duas ltimas sees, o texto acima foi elaborado a partir de um pedido de minha filha, Marina, atualmente na 8a. srie do primeiro grau, urgida por um trabalho de casa em grupo passado por sua professora. O referido trabalho, felizmente, resultou bastante diferente do que foi exposto acima, que acabou servindo apenas como uma entre vrias referncias usadas pelo grupo. No entanto, as 7 primeiras sees foram bem compreendidas

3.14151380114430107632851505945682

por ela e seu grupo; as duas ltimas foram escritas depois que o prazo para a entrega do trabalho havia esgotado e, portanto, no chegaram a ser testadas. Para concluir gostaria de deixar aqui meus agradecimentos ao estimado professor e colega Elon Lages Lima pelas sugestes sobre uma verso preliminar destas notas.

EXERCCIOS:

1) Usando o mesmo argumento de Euclides descrito em 2. prove que 3 , 5 e 7 so irracionais. 2) Usando o mtodo de Newton, descrito em 3, obtenha aproximaes correspondentes ao x 3 do texto para os irracionais 3 , 5 , 7 e compare com o resultado fornecido pela mquina de calcular. 3) Pesquise sobre a vida e a obra dos grandes matemticos mencionados no texto: Arquimedes, Pitgoras, Euclides, Isaac Newton e Georg Cantor. 4) Prove a frmula (14).