Disciplinarum Scientia. Srie: Cincias Exatas, S. Maria, v.2, n.1, p.

85-98, 2001

85

NMEROS RACIONAIS E IRRACIONAIS E SUAS

REPRESENTAES DECIMAIS1
RATIONAL AND IRRATIONAL NUMBERS AND THEIR
DECIMAL REPRESENTATIONS
Tiago Martinuzzi Buriol2
Alcibades Gazzoni3
RESUMO
Esta pesquisa foi realizada com a finalidade de reunir, organizar e
ilustrar com exemplos simples, alguns resultados notveis, e por vezes curiosos, sobre nmeros racionais e irracionais e suas representaes decimais.
Para isto foi efetuado um estudo em diversos trabalhos e publicaes de
importantes matemticos da atualidade. Os resultados obtidos proporcionaram a verificao da irracionalidade de 2 e de e, a demonstrao de dois
teoremas sobre nmeros racionais e a apresentao de um mtodo para identificar nmeros irracionais por meio de polinmios.
Palavras-chave: nmeros racionais e irracionais, representao decimal.
ABSTRACT
With the aim organizing and illustrating with simple examples, some notables
results, and for its instance curious, about rational and irrational numbers
and their decimal representation, was made this research. For this, was
produced the study in many works and the publications of important
mathematicians of the present time. The obtained results permitted the
verification of the irrationally of 2 and e, the demonstration of the theorem
about rational numbers and still the presentation of one method to identify
irrational numbers through out polynomials.
Key words: Rational and irrational numbers, decimal representation.
INTRODUO
Observa-se que os primeiros nmeros surgiram, na antigidade, para
possibilitar as diversas operaes de contagem que se mostraram necessriTrabalho Final de Graduao.
Curso de Matemtica - Licenciatura Plena. UNIFRA.
3
Orientador.
1
2

86

Disciplinarum Scientia. Srie: Cincias Exatas, S. Maria, v.2, n.1, p.85-98, 2001

as para o desenvolvimento da humanidade. J o processo de medio das

grandezas ditas contnuas conduziu-nos noo de nmero real e isso se fez
de forma to significativa que o conjunto dos nmeros reais tambm conhecido como reta real, ou simplesmente, reta numrica (LIMA, 1996).
Inicialmente, para representar quantidades inteiras de objetos, animais ou
qualquer coisa que se quisesse contar, o homem criou smbolos que, hoje,
so os nmeros naturais. Porm, estes nmeros foram insuficientes no trato
de problemas que envolvem divises em partes iguais fazendo com que
surgissem as fraes.
Com as fraes surgiu uma grande crise nos alicerces do pitagorismo
envolvendo a descoberta dos segmentos incomensurveis. Esta crise foi superada com grande genialidade pelo sbio Eudoxo com a teoria das propores, que quase dois mil anos depois, inspirou Dedekind a criar uma rigorosa teoria para construo dos nmeros reais(LIMA, 1996).
Da necessidade de ampliar o conceito de nmeros para alm daqueles
que podem ser representados pela razo de dois nmeros inteiros, com o
passar dos tempos, foram desenvolvidos estudos e descobriram-se diversos
resultados relativos a fraes decimais e a nmeros racionais e irracionais
que tiveram e ainda tm fundamental importncia no desenvolvimento da
Matemtica.
FRAES
Segundo VILA (1985), define-se igualdade entre fraes da seguinte forma:
DEFINIO - 1: Diz-se que duas fraes m/n e m'/n', com n; n' 0, so
iguais se existem nmeros inteiros a e b e nmeros primos entre si, p e q, tais
que:
m=a .p, n=a .q,
m=b .p, n=b .q.
Ou equivalentemente,
m m m.n m.n.
=
n = n
Ex: 8 42 4 , 12 43 4 , ou seja, 8 12 .
30 =152 =15 45 = 153=15
30= 15
No entanto, ao tratar-se de grandezas contnuas de mesma espcie,
como o comprimento de dois segmentos de reta, esta equivalncia no
sempre verdadeira.

Disciplinarum Scientia. Srie: Cincias Exatas, S. Maria, v.2, n.1, p.85-98, 2001

87

No caso de m e n serem segmentos comensurveis, isto , existe um

segmento de reta a contido um nmero inteiro p de vezes em m e um nmero
inteiro q de vezes em n, diz-se que m est para n na razo p/q, e assim, a
igualdade m/n = p/q ter significado nico e preciso.
Porm, h quatro sculos antes de Cristo, descobriu-se que o lado e a
diagonal de um quadrado so segmentos de retas incomensurveis, ou seja,
no existe um segmento a que caiba um nmero inteiro de vezes no lado e na
diagonal de um quadrado.
O argumento bastante simples e conhecido. Se houvesse um segmento de reta a que coubesse n vezes no lado CD e m vezes na diagonal AD
do quadrado da Figura 1 ento, tomando CD como unidade de comprimento,
a medida de AD seria igual a m/n ( AD/CD = m/n =>AD = m/n uma vez que
CD 1). Pelo Teorema de Pitgoras teramos (m/n)2 = 12 + 12, donde m2/n2
= 2 e m2 = 2n2. Mas esta ltima igualdade absurda, uma vez que, na decomposio de m2 em fatores primos, o expoente do fator 2 um nmero par
ou zero enquanto o expoente do fator 2 de 2n2 mpar, igual ou maior que 1.
Desta argumentao pode-se concluir que 2 um nmero irracional e se m
e n forem segmentos de retas incomensurveis, igualdades do tipo m/n = p/q,
nunca ocorrero, ou seja, m/n no podero ser representados pela razo de
dois inteiros e esta razo ser, portanto, um nmero irracional (BEZERRA,
1995).

Figura 1- Quadrado de vrtices A, B, C e D.

A descoberta dos incomensurveis gerou, na poca, uma enorme crise
nos alicerces do pitagorismo e, por algum tempo, em toda estrutura Matemtica
Grega, pois baseado na definio de igualdade entre fraes descrita anteriormente, fundamentou-se o Teorema de Tales, do qual depende toda teoria de
semelhana entre figuras. Portanto, constatou-se novamente a necessidade de
ampliar o conceito de nmeros para alm daqueles que podem ser representados
pela razo de dois inteiros (com denominador diferente de zero).
Mas, o sbio Eudoxo, ainda quatro sculos a.C., desenvolveu uma
teoria das propores que superou esta crise sem a necessidade dos irracionais. Ele definiu igualdade entre razes da seguinte forma:

88

Disciplinarum Scientia. Srie: Cincias Exatas, S. Maria, v.2, n.1, p.85-98, 2001

DEFINIO - 2: Dados quatro segmentos de reta A, B, C e D, diz-se

que A est para B assim como C est para D (ou seja A/B = C/D) se, para
quaisquer que sejam os nmeros inteiros m e n, ento:
nA > mB <=> nC > mD;
nA = mB <=> nC = mD;
nA < mB <=> nC < mD.
Esta a definio essencial do livro V dos Elementos de Euclides, que
PITOMBEIRA(1994) cita com a seguinte redao, bastante semelhante:
DEFINIO - 3: Dados A, B, C e D, quatro grandezas da mesma
espcie, diz-se que A e B tm a mesma razo que C e D quando, para todos
os inteiros m e n, temos:
a) Se nA > mB, ento nC > mD;
b) Se nA = mB, ento nC = mD;
c) Se nA < mB, ento nC < mD.
Esta definio serve perfeitamente para grandezas incomensurveis e
comensurveis e por ela pode-se demonstrar o Teorema de Tales e outros
resultados sobre figuras semelhantes.
Mais de dois mil anos depois, Dedekind, inspirado nos estudos de
Eudoxo, construiu uma rigorosa teoria dos nmeros reais. Dedekind percebeu que a definio de Eudoxo associa a cada razo A/B um par de classes
de fraes A1 e A2 que ele chama de corte e utiliza para definir nmero real.
Por exemplo, o corte que define o nmero real (irracional) 2 o par
de classes A1 e A2 assim descritos: A1 o conjunto das fraes m/n tais que
(m/n)2<2, so as "razes quadradas de 2 por falta", e A2 constitui-se da fraes m/n tais que (m/n)2>2, so as "razes quadradas de 2 por excesso".
No foi aprofundada a construo dos nmeros reais, pois no fez
parte do objetivo deste trabalho.
REPRESENTAO DECIMAL DE NMEROS
O conjunto de todas as fraes a/b, com a,b e b 0, compe o
conjunto dos nmeros racionais que, em reunio com o conjunto dos irracionais, formam os reais.
Toda frao ordinria tem sua representao decimal obtida por meio
do algoritmo da diviso prolongada, no qual, acrescentam-se sucessivos zeros para continuar o processo de diviso, por exemplo:

Disciplinarum Scientia. Srie: Cincias Exatas, S. Maria, v.2, n.1, p.85-98, 2001

89

7,00
3
-6
2,33
10 acrescenta-se um zero ao resto e con-9
tinua-se a diviso
10 acrescenta-se mais um zero
-9
1
percebe-se que sempre sobra resto 1 que, com acrscimo do zero, fica 10,
que dividido por 3, dar 3 e restar novamente o 1, portanto
a frao decimal
.
resultante ser a dzima peridica 2,333..., 2,3 ou 2, 3
Qualquer nmero racional tem representao decimal, podendo ser
ou finita ou infinita . Mas quais so os nmeros racionais que tm representao exata (finita)?
Conclui-se que somente aqueles cujo denominador do tipo 2n.5m com
m, n IN, pois assim, este nmero ter outra frao ordinria igual cujo
denominador uma potncia de 10. De fato, se a/b com a, b IN e b 0
tal que b = 2n.5m com m, n IN, ento podem ocorrer os seguintes casos:
n
n
1) Se b = 2n, ento, a = a e como a = a.5 , tem-se a = a.5 .
b 2n
2n 2n.5n
b 10n
O nmero obtido com certeza uma decimal exata, uma vez que, para
chegar a ela, basta colocar vrgulas no lugar correto.
m
m
2) No caso de b = 5m, basta fazer a . 2 = a.2 que tambm uma
10m
5m.2m
decimal finita.
3) Porm, se b = 2n . 5m com m e n 0, procede-se da seguinte forma:
a.5n-m
a.5n-m a.5n-m e novamente o denominador
se n > m, ento
=
= n
2n.5m.5n-m
2n.5n
10
uma potncia de 10;
se n = m simples, tem-se a/10m ou a/10n; e por ltimo, se n < m, ento fazm-n
m-n
se an . 2m m-n= a . 2m e novamente, tem-se a potncia de 10 no denominador.
10
2 .5 .2
Fica assim provado que, se b = 2n . 5m, com m e n IN, a frao
decimal gerada pela razo a/b ser finita.
Pode-se dizer que uma frao ordinria s gerar uma frao decimal
finita se puder ser representada por uma outra frao ordinria igual em que
o denominador uma potncia de 10.
Como toda potncia de dez tem somente dois fatores primos que so o
2 e o 5, uma frao ordinria ter sua decimal finita somente se o denominador for da forma 2n . 5m com m, n IN.

90

Disciplinarum Scientia. Srie: Cincias Exatas, S. Maria, v.2, n.1, p.85-98, 2001

O que foi feito anteriormente foi a demonstrao da seguinte proposio:

PROPOSIO- 1: Uma frao ordinria ter representao finita se, e
somente se, o denominador no tiver outros fatores primos alm de 2 e 5.
Mas um fato muito curioso e interessante que todos os nmeros
racionais podem ser representados por uma dzima peridica (infinita), mesmo
aqueles que resultam em uma decimal exata. Vejamos o seguinte exemplo
sugerido por NVEN (1984) que ilustra bem este fato (novamente utiliza-se
do algoritmo das divises prolongadas acrescentando-se zeros ao resto).
2,000000 7
-14
0,285714
60
-56
40
-35
50
-49
10
-7
30
-28
2
No decorrer da diviso os restos so, sucessivamente, 6, 4, 5, 1, 3, 2.
Ao se chegar ao resto 2, completa-se um ciclo e reaparece a diviso de 20
por 7, gerando novamente o bloco peridico de dgitos 2856714. Os restos
so todos menores que o divisor, portanto, haver necessariamente, uma
repetio, dado que existem apenas seis restos possveis (se o resto zero
aparecer, a decimal exata, mas tambm ter uma representao infinita e
peridica como se descreve a seguir). Tem-se 2/7 = 0,28567142856714...
No caso geral a/b, se o inteiro a for dividido pelo inteiro b, os nicos
restos possveis so 1, 2, 3,..., b-2 e b-1. Portanto, como h um nmero
finito de valores possveis para estes restos, pode-se ter certeza de que haver repetio no desenrolar da diviso. A repetio ocorre com o aparecimento, pela segunda vez, de um mesmo resto, isto acontecer sempre, mesmo
que seja preciso, talvez, efetuar muitas divises antes. Quando a repetio
ocorrer, um novo ciclo se iniciar e o resultado ser uma dzima peridica.
E a mais curiosa de todas as dzimas peridicas aquela que aparece
na igualdade 1 = 0,999... pois, de certa forma, ela quem garante que mesmo as fraes decimais finitas possuam uma representao infinita e peridica (LIMA, 1983).

Disciplinarum Scientia. Srie: Cincias Exatas, S. Maria, v.2, n.1, p.85-98, 2001

91

Veja que, se 0,9999... = x , ento 9,999... = 10x. Subtraindo-se as

duas igualdades como segue, tem-se:
_ 9,999...= 10x
0,999...= x
9 = 9x => x=1.
Logo, 1= 0,999... ( ou seja, no existe uma frao ordinria em que se
dividindo o numerador pelo denominador se obtenha a dzima peridica
0,999...).
Segue-se que: 0,1 = 0,0999...
0,01 = 0,00999...
0,001 = 0,000999...
..
..
.
.
0,0000001 = 0,0000000999... .

Dessa forma, qualquer decimal finita pode ser representada por uma
dzima peridica j que, por exemplo:
0,5 = 0,4 + 0,0999... => 0,5 = 0,4999...
0,698 = 0,697 + 0,000999... => 0,698 = 0,697999... .
Conforme NVEN (1984), escrevendo uma dzima peridica de forma generalizada (sem parte inteira, pois esta no desempenha nenhum papel
no processo) tem-se: x = 0,a1a2...asb1b2...bt ,multiplicando x, inicialmente
por 10s+t, depois por 10s e subtraindo os resultados, obtm-se:
10s+tx = a1a2...asb1b2...bt+ 0,b1b2...bt ,
10sx = a1a2...as+0,b1b2...bt e
(10s+t - 10s)x = a1a2...asb1b2...bt - a1a2...as ,
de modo que:
a1a2...asb1b2...bt - a1a2...as
10s+t - 10s
que est na forma inteiro sobre inteiro e, portanto, racional.
Fica dessa forma demonstrado o seguinte teorema:
TEOREMA- 1: " a racional se, e somente se, a tem representao
decimal peridica" (BEZERRA et al., 1995).
x=

92

Disciplinarum Scientia. Srie: Cincias Exatas, S. Maria, v.2, n.1, p.85-98, 2001

Observa-se que, na dzima peridica x = 0,a1a2...asb1b2...bt , se s=0

b1b2...bt
e, portanto, o denominador ser do tipo 99...9 com t
10t - 1
algarismos igual a 9. Tambm percebe-se que o perodo de x comea no
primeiro algarismo decimal, ou seja, x = 0,b1b2...bt (sugesto: teste, com
auxilio da calculadora, para alguns nmeros aleatrios).
Se por outro lado s > 0 ento obtm-se um denominador do tipo
99...900...0, que gerar uma decimal com alguns algarismos no peridicos
seguidos dos algarismos peridicos.
Segundo LIMA (1987), estes resultados podem ser escritos e demonstrados mais sucintamente, da seguinte forma:
1) Uma frao ordinria irredutvel p/q, quando transformada em decimal, gera uma frao decimal exata (finita) ou uma dzima peridica. O
primeiro caso ocorre quando q da forma 2n5m e o segundo quando q
divisvel por algum nmero primo diferente de 2 ou 5.
2) Quando o denominador q for primo com 10, a dzima peridica
gerada pela frao irredutvel p/q simples, isto , o perodo comea no
primeiro algarismo decimal.
3) Se o denominador q for divisvel por 2 ou 5 e, alm disso, por outro
nmero primo, a dzima peridica gerada pela frao irredutvel p/q composta, isto , a parte decimal comea com alguns algarismos no peridicos
seguidos dos peridicos. O nmero de algarismos no peridicos igual ao
maior expoente de uma potncia de 2 ou de 5 pela qual q divisvel.
Para chegar a estes resultados, tomar-se- como ponto de partida os
dois lemas abaixo.
LEMA-1: Todo nmero natural q, primo com 10, tem mltiplos cuja
representao decimal formada apenas por noves.
Demonstrao: H uma infinidade de nmeros formados apenas por
algarismos 9 ( 9, 9999, 99...9, etc ). Quando divididos por q, estes nmeros
deixam restos que vo de 0 a q-1, ao todo um nmero finito de restos possveis. Logo, existem dois nmeros formados por nove que daro o mesmo
resto. A diferena entre esses dois nmeros , por um lado divisvel por q e
por outro lado, um nmero formado por uma srie de noves seguidos de uma
srie de zeros. Tem-se ento: n.q=99...900...0=99...9.10m
.
m
m
Assim, q divide o produto 99...9.10 , como primo com 10 , concluse que q divide.
LEMA-2: Todo nmero natural q tem um mltiplo cuja representao
decimal formada por uma srie de noves seguidos por uma srie de zeros.
O menor mltiplo de q, desta forma, termina com um nmero de zeros igual
ao maior expoente de uma potncia de 2 ou de 5 pela qual q divisvel.
teremos x =

Disciplinarum Scientia. Srie: Cincias Exatas, S. Maria, v.2, n.1, p.85-98, 2001

93

Demonstrao: Tem-se q = 2n5mq', em que q' primo com 10. Para

fixar idias, suponhamos n > m. Ento n o maior expoente de uma potncia
de 2 ou 5 pelo qual q divisvel. Seja p o menor nmero natural tal que
nq'=99...9. Ento o menor mltiplo de q formado por noves seguidos de
zeros :
5n-mnq = 10nnq' = 99...900...0 (com n zeros no final).
Destes lemas resulta imediatamente, o seguinte teorema:
TEOREMA-2: Toda frao irredutvel p/q equivalente a uma frao cujo denominador tem uma das formas 10...0, 99...900...0 ou 99...9.
Ocorrem os seguintes casos:
1)
Se q = 2a5b, ento p/q =n/10...0;
2)
Se q for primo com 10, ento p/q=n/99...9;
3)
Se q = 2a5bq' onde q' primo com 10, ento p/q = n/99...90...0.
Nos casos 1 e 3, se o numerador n no terminar em zero, o nmero
de zeros do denominador igual ao maior dos expoentes a ou b.
Demonstrao: Basta multiplicar o numerador e o denominador da
frao p/q pelo mesmo nmero escolhido de modo que o denominador tenha
a forma desejada , o que possvel em virtude dos lemas anteriores.
Mas nem todas fraes decimais infinitas so peridicas. A periodicidade s aparece quando se quer representar uma frao ordinria (nmero
racional) sob forma decimal. Existem outros nmeros importantes na matemtica que tem sua representao decimal infinita e no peridica. o caso
dos nmeros e, e 2 que fazem parte do conjunto dos irracionais.
OS NMEROS e, e 2
O nmero por definio a rea de um crculo de raio 1 ou o comprimento do crculo de raio (LIMA, 1983).
Inscrevendo no crculo de raio 1 polgonos regulares cujo nmero de
lados admite-se cada vez maior, as reas desses polgonos apresentam valores aproximados para a rea do crculo, isto , para o nmero . Existem,
alm deste, outros mtodos bem mais sofisticados para obter o valor aproximado de , mas desde o tempo de Arquimedes (cerca de 250 anos antes de
Cristo) se conhecem algoritmos que permitem determinar razes que aproximam com a preciso desejada, porm a dzima obtida no ter perodo
pois um nmero irracional. Segundo informaes de
www.matematica.com.br, "Em tempos mais atuais, cinco trilhes de casas

94

Disciplinarum Scientia. Srie: Cincias Exatas, S. Maria, v.2, n.1, p.85-98, 2001

o recorde quebrado por um adolescente americano de 17 anos para o valor

de . Colin Percival, usando microcomputadores, completou a ltima etapa
dos clculos em setembro de 1998. Vinte e cinco microcomputadores, colocados disposio de Percival por colaboradores em vrias partes do mundo, auxiliaram-no a realizar os clculos. Comunicando-se com cada mquina por e-mail, ele desenvolveu a tarefa distribuindo trabalho pela Internet.
Cinco meses foram necessrios para a concluso da faanha."
O nmero e outro nmero irracional que tem extrema importncia
pois inevitvel em diversas questes bsicas da Matemtica. No clculo
diferencial e integral, por exemplo, que estuda a variao das grandezas, um
tipo de variao mais simples e comum aquela em que o crescimento (ou
decrescimento) da grandeza em cada instante proporcional ao valor da
grandeza naquele instante, como o que ocorre em clculos envolvendo juros,
crescimento populacional, desintegrao radioativa, etc. Nestes casos e em
muitos outros fenmenos da natureza, o nmero e aparece de modo natural e
insubstituvel.
Por exemplo, supondo-se um emprstimo a uma pessoa de 1 (um) real
a juros de 100% ao ano. Portanto, ao final de um ano, esta pessoa dever
pagar 2 (dois) reais, certo? H quem diga que no. De certa forma pode-se
chegar concluso que o justo seria se essa pessoa pagasse e reais.
Entende-se, em transaes financeiras, que o juro proporcional ao
capital emprestado e ao tempo decorrido entre o emprstimo e o pagamento.
Desta forma, se o devedor lhe pagasse seis meses aps o emprstimo, voc
receberia um real e cinqenta centavos, pois a taxa de juros equivalente ao
perodo de meio ano de 50%. No entanto, se esta pessoa est com 1,5 reais
seus e demora mais seis meses, a juros de 100% ao ano, para pagar, ento
voc deveria receber (1,5)2 = 2,25 reais, e mesmo assim, poder-se-ia pensar
que no justo.
Acontece que, dividindo-se o ano em n perodos cada vez menores
(meses, dias, horas, etc), chega-se a concluso que, aps um ano, um real
aplicado a 100% ao ano, valeria: lim (1 + 1/n)n , ou seja, e reais.
n

Porm isso s ocorre na teoria, pois voc no pode aplicar o seu dinheiro por um perodo de segundo, por exemplo. Ento, define-se, para
cada transao financeira, um perodo n adequado sua durao.
Mas quanto vale exatamente e reais? Quase R$ 2,72 ou, mais aproximadamente, 2,71828182846 reais. J que e um nmero irracional, no
existe frao ordinria nem decimal exata ou peridica para represent-lo.

95

Disciplinarum Scientia. Srie: Cincias Exatas, S. Maria, v.2, n.1, p.85-98, 2001

PROPOSIO-2: O nmero e irracional.

Demonstrao: Segundo LEITHOLD (1994), a srie que representa o
nmero e 1 + 1/1! + 1/2! + 1/3! + 1/4! + ... . Para demonstrar a
irracionalidade de e, primeiramente supe-se que e = 1 + 1/2! + 1/3! + 1/4!
+ ... racional, isto , e = p/q onde p, q IN, so primos entre si. Segue-se
ento que

p/q - (1 + 1/1! + 1/2! + 1/3! + 1/4! + ... +1/q!) =

j=q+1

1
j! .

Agora, fazendo-se uma estimativa do segundo membro acima:

j=q+1

1 1

1 1

+
+ ... <
+
+ ... .
j! = q! q+1 (q+1)(q+2)
q! q+1 (q+1)2

A expresso entre parnteses, no ltimo membro dessa inequao,

uma srie geomtrica da forma

n=1

rn, a qual, para 0 < r < 1, tem soma igual

a r/(1- r). Usando este fato obtm-se:

j=q+1

1<1.1.
j! q! q

Com esta estimativa, a desigualdade acima resulta em:

0<

P
1
1 ... 1 1 . 1
- 1+
+
+ +
<
q
1! 2!
q! q! q

e da,
P
1
1 ... 1 1
0 < q! - 1- <
.
q
1! 2!
q! q

Observa-se que o membro do meio inteiro, pois q! cancela

todos os denominadores das fraes a presentes. Mas isso impossvel, pois sendo 1 1, a ltima expresso acima diria que o termo do meio
q
um inteiro positivo estritamente menor que 1, o que , por hiptese, uma
contradio. Logo, o nmero e irracional.
Se p = 2, ento p irracional como foi provado logo no incio deste
trabalho. Prova-se, por absurdo, que p irracional, se p > 1 um nmero
primo qualquer. A irracionalidade de tambm pode ser demonstrada, para
isto, basta o leitor consultar o livro Nmeros Irracionais e Trascendentes de

96

Disciplinarum Scientia. Srie: Cincias Exatas, S. Maria, v.2, n.1, p.85-98, 2001

FIGUEIREDO (1985). Apresenta-se a seguir um mtodo bastante interessante de identificar nmeros irracionais por meio de polinmios.
IDENTIFICANDO NMEROS IRRACIONAIS ATRAVS DE
POLINMIOS
Este mtodo, descrito por TAMAROZZI (2000), utiliza-se do Teorema
das Razes Racionais, enunciado abaixo, cuja demonstrao detalhada encontra-se no livro Nmeros: Racionais e Irracionais (NIVEN, 1984).
TEOREMA-3: Se o nmero racional p/q (p e q inteiros primos entre
si) raiz do polinmio anxn + an-1xn-1 + ...+ a1x + a0, com coeficientes inteiros, ento p divisor de a0 e q divisor de an.
n
Partindo deste teorema, pode-se concluir que todas as razes a, no
exatas, de um natural a, so irracionais. Pois p(x) = xn - a o polinmio cuja
n

raiz a, e tem-se an = 1 e a0 = -a; logo, se um nmero racional p/q raiz

deste polinmio, segundo o teorema das Razes Racionais, q divisor de 1,
ou seja q = 1 , o que mostra que p/q um nmero inteiro. Observa-se que,
n

por hiptese, a no um nmero inteiro o que nos leva a concluir que o

n

polinmio p(x) = xn - a no admite razes racionais, ou seja, a um nmero

n

irracional sempre que a no exata.

Se n=2 e a>1 um nmero primo, tem-se casos particulares deste,
isto , o polinmio p(x) = xn - a ter como raiz o nmero irracional
.
De forma anloga, utilizando polinmios e o teorema anterior, podese verificar a irracionalidade ou racionalidade de alguns nmeros reais especficos. Veja dois exemplos:
1 - O nmero 5 - 3 irracional.
Verificao: fazendo 5 - 3 = a ou, ainda, (5 )2 (a + 3 )2, obtmse a igualdade 2 - a2 = 23.a, a qual, aps mais um quadramento, mostra ser
a a raiz do polinmio x4 - 16x2 + 4. Pelo teorema, as nicas razes racionais
possveis deste polinmio so 1 , 2 e 4 como, por verificao direta,
estes nmeros no so razes, a = 5 - 3 no pode ser racional.
3

2 - Surpreendentemente, o nmero a = 2-5 + 2+5 racional.

De fato elevando-se ao cubo ambos os membros da igualdade, obtm-se
3

a3 = 4 - 3 (2-5 + 2+5 )
Isto , a raiz do polinmio p(x) = x3 + 3x - 4.

Disciplinarum Scientia. Srie: Cincias Exatas, S. Maria, v.2, n.1, p.85-98, 2001

97

fcil verificar que x = 1 raiz deste polinmio e que o quociente da

diviso de p(x) por (x - 1) q(x) = x2 + x + 4, que no admite razes reais.
Portanto, x = 1 a nica raiz real de p(x). Logo,
3

2-5 + 2+5 = 1
CONCLUSES
Os nmeros irracionais surgem da necessidade de medir grandezas que
so incomensurveis com a unidade de medida adotada.
Analisando a representao decimal de um nmero irracional, percebese que no existe perodo, porm, apenas examinando o desenvolvimento decimal de um nmero qualquer, nunca se pode garantir que ele irracional mesmo
que, aparentemente, no possua perodo.
No entanto, existem diferentes mtodos para se identificar nmeros irracionais e, para verificar sua irracionalidade, deve-se buscar apoio na Anlise e
na Lgica Matemtica.
O conceito de dzimas peridicas e as justificativas dos clculos com elas
envolvem a idia de limite e de srie, que so de grande importncia para a
Matemtica e que so abordados mais detalhadamente apenas nos cursos superiores.
REFERNCIAS BIBLIOGRFICAS
VILA, Geraldo. 1985. Olhando mais de Cima: Eudoxo, Dedekind,
Nmeros Reais e Ensino de Matemtica. Revista do Professor de
Matemtica, Rio de Janeiro, RJ, n.7, p.5-10.
BEZERRA, Licio Hernanes, BARROS, Paulo Henrique V. de, TOMEI,
Carlos, et al. 1995.Introduo Matemtica. 1. ed. Florianpolis , SC:
Editora da UFSC.
FIGUEIREDO, Djairo Guedes de. 1985. Nmeros Irracionais e
Transcendentes. Sociedade Brasileira de Matemtica. Rio de Janeiro, RJ.
LEITHOLD, Louis.1994.O Clculo com Geometria Analtica.3.ed. So
Paulo, SP: HARBRA ltda.
LIMA, Elon Lages. 1983. Conceitos e Controvrsias. Revista do Professor
de Matemtica, Rio de Janeiro, RJ, n.2, p.6-9.
LIMA, Elon Lages. 1987. Conceitos e Controvrsias: Voltando a falar
sobre Dzimas. Revista do Professor de Matemtica, Rio de Janeiro, RJ,
n.10, p.23-28.

98

Disciplinarum Scientia. Srie: Cincias Exatas, S. Maria, v.2, n.1, p.85-98, 2001

LIMA, Elon Lages. 1996. Matemtica no Ensino Mdio. 1. ed. Rio de

Janeiro, RJ: Sociedade Brasileira de Matemtica.v.3.
MATEMTICA ON-LINE. 2000. O Famoso Nmero Pi. http//
www.matematica.com.br. 27/08/01
NVEN, Ivan. 1984. Nmeros: Racionais e Irracionais. Coleo
Fundamentos da Matemtica Elementar. 1.ed. Rio de Janeiro, RJ: Sociedade
Brasileira de Matemtica.
PITOMBEIRA, Joo Bosco. 1994. Os elementos de Euclides. Revista do
Professor de Matemtica, Rio de Janeiro, RJ, v.5, n.1, p.24-25.
TAMAROZZI, Antnio Carlos. 2000. Identificando Nmeros Irracionais
Atravs de polinmios. Revista do Professor de Matemtica, Rio de Janeiro,
RJ, n.42, p.16-19.