P E @

Universidade Federal de Santa Catarina

Centro de Cincias Fisicas e Matemticas
Departamento de Matemtica
A AMPLITUDE DO CONJUNTO DOS
NMEROS IRRACIONAIS
Trabalho de Concluso de Curso
Thais Meurer Moscibroski
Florianpolis SC
Maio de 2002
THAIS MEURER MOSCIBROSK1
A AMPLITUDE DO CONJUNTO DOS NMEROS
IRRACIONAIS
Trabalho de concluso do curso
Matemtica Licenciatura da
Universidade Federal de Santa
Catarina (UFSC).
Professor: Antonio Vladimir Martins
Florianpolis - Sc
2002
Esta monografia foi julgada adequada como
TRABALHO DE
CONCLUSO
DE CURSO
no Curso de Matemtica Habilitao
Licenciatura, e
aprovada emsua forma final pela Banca Examinadora
designada pela Portaria no 22/SCG/02.
Prof. Nereu Estanislau Burin
Professor da Disciplina
Banca Examinadora:
4
atc,(4.* Vet 1,t;ixt,A717a41- 41-S
Antnio Vladimir Martins
Orientador
4 I /)
ct t /

Jardel Morais Pereira
Jos tuiz Rosas Pinho
Dedico a vitria desta etapa
de minha vida minha familia,
pelo apoio emtodas as horas, e
ao meu orientador e amigo
Antonio Vladimir Martins, por ter
acreditado emmim.
eles todo o meu carinho
Muito obrigada!
S UMARIO
INTRODUO
01
1 NMEROS IRRACIONAIS
03
1.1 PROPRIEDADES DE FECHAMENTO 08
1.2 PRODUO DE INFINITOS NMEROS IRRACIONAIS 08
1.2.1 Teorema 01
08
1.2.2 Teorema 02 09
1.300NDIO SUFICIENTE PARA QUE UM NMERO NO INTEIRO
SEJA IRRACIONAL 10
1.40 LOGARITMO DE 2 NA BASE 10 (log2) IRRACIONAL 11
1.5 ( IRRACIONAL 12
2 NMEROS ALGBRICOS E TRANSCENDENTES
2.1 DEFINIO
;-1 -
2.1.1 cos
,...17 ./
2.1.2 cosl Algbrico - 18
2.2 PROPRIEDADES DOS NMEROS ALGBRICOS 19
2.3 TODO RACIONAL ALGBRICO 20
2.4NMEROS DE LIOUVILLE 20
2.4.1 Grau de um Nmero Algbrico 21
15
15
Algbrico, com n Natural 16
2.4.2 Uma Aplicao de um Nmero de Liouville 22
2.5 CONJUNTO ENUMERVEL 24
2.5.1 Definio 25
2.5.2 0 Conjunto dos Nmeros Algbricos Enumervel 25
2.5.3 Um Subconjunto Infinito iLf de um Conjunto Enumervel I '
Enumervel
26
2.5.4 0 Conjunto dos Nmeros Reais No Enumervel 27
2.5.5 0 Conjunto dos Nmeros Transcendentes No Enumervel 28
2.5.6 0 Conjunto dos Nmeros Racionais Enumervel 29
2.5.7 0 Conjunto dos Nmeros Irracionais No Enumervel 29
2.5.8 Exerccio 30
2.6ALGUNS NMEROS TRANSCENDENTES 31
2.6.1 Teorema de Gelfond-Schneider 32
2.6.1.1 2 5. Transcendente 32
2.6.1.2 log2 Transcendente 32
2.6.1.3 e 7 r Transcendente 33
3 FRAES CONTNUAS 34
3.1 NOMES LIGADOS A HISTORIA DAS FRAES CONTINUAS 36
3.2 FRAES CONTINUAS PARA NMEROS RACIONAIS 39
3.3 EXPANSO DE n- EM FRAO CONTINUA 41
3.4 EXPANSO DE e EM FRAES CONTINUAS 44
3.5EXPANSO DE log2 EM FRAES CONTINUAS 45
3.6 EXPANSO EM FRAES CONTINUAS PARA ALGUNS
IRRACIONAIS ALGBRICOS 49
3.6.1 Expanso para a Razo (ou Seco) urea 49
3.6.2 Expanso de -Nh em Fraes Continuas 50
3.7 FRAO CONTNUA PERIDICA 53
3.8SUBCONJUNTOS ESPECIAIS DOS NMEROS IRRACIONAIS 54
3.8.1 Todo Nmero Nobre Irracional Quadrtico 55
3.8.2 Todo Irracional Quadrtico do Tipo Constante 56
3.8.3 Todo Irracional Quadrtico Algbrico 56
3.8.4 Todo Irracional Algbrico Diofantino 57
3.8.5 Todo Nmero do Tipo Constante Diofantino 57
CONCLUSO 60
BIBLIOGRAFIA 61
vi
INTRODUO
Existem muitos nmeros irracionais?
Ainda que tenhamos a sensao de termos cruzado com poucos
nmeros
irracionais em nosso dia a dia (por exemplo,
lou,2) existe uma grande quantidade deles, j que um nmero com
representao decimal infinita que no peridica no pode ser
racional.
Neste trabalho destacamos o quo grande o conjunto dos
nmeros irracionais, respondendo perguntas como:
Existem mais nmeros irracionais do que racionais?
Os irracionais podem ser colocados em uma lista como os
nmeros naturais?
Em N h vrios subconjuntos especiais como o subconjunto dos
nmeros primos, dos pares, impares, de Fibonacci, de Fermat, entre
outros. E em R -Q, sera que existem muitos subconjuntos especiais?
Para isto, dividiremos este trabalho em trs partes. Na primeira
parte, nmeros irracionais, contaremos um pouco da histria destes
nmeros e citaremos alguns exemplos. Na segunda parte, Nmeros
Algbricos e Transcendentes, novamente contaremos um pouco da
historia, definiremos os dois tipos de nmeros, apresentaremos
exemplos e propriedades, definiremos conjunto enumervel e daremos
2
exemplos. NaltimapartetrataremosdeFraesContinuas,
apresentandosuadefinio, citandoalgunsnomesimportantesemsua
histria, obtendofraescontinuasparanmerosracionais
e
j+1
irracionais como-Nr3, log2 e emostrandoalgunssubconjuntos
especiais dosirracionais.
Minhaintenonessamonografia cativar aatenodoleitor
paraesteuniversoque o conjuntodosnmerosirracionais, evitando,
namedidadopossvel, ospormenorestcnicos.
I NMEROS IRRACIONAIS
0 conjunto dos nmeros reais R, uma das idealizaes mais
audaciosas da mente humana segundo Ian Stewart, a reunio dos
conjuntos dos nmeros racionais e irracionais.
0 significado matemtico da palavra "racional" se refere razo
de nmeros inteiros e irracional" a ausncia de uma tal razo.
Foram os gregos, no sculo V a.C., que descobriram que os
nmeros irracionais so indispensveis em geometria. Os matemticos
gregos comparavam grandezas de uma mesma espcie, como dois
segmentos de reta, duas reas ou dois volumes.
Aparentemente, os gregos ficaram surpresos ao descobrirem os
nmeros irracionais, porque pensaram que, dados dois segmentos
quaisquer, como o lado e a diagonal de um quadrado, existiriam
sempre inteiros a e b, tais que a razo dos comprimentos dos
segmentos fosse
a
.
h
No tempo de Pitgoras (580 500 a.C., aproximadamente)
pensava-se que os nmeros racionais fossem suficientes para
comparar segmentos de reta. Foram os pitagricos que descobriram
grandezas incomensurveis, provavelmente entre 450 e 400 a.C..
4
Apalavra"comensurvel"
usadaparadescrever dois
comprimentos cujarazo
umnmeroracional. Duas grandezas
comensurveis sotais queumadelas podeser medidapor intermdio
daoutra, ouseja, existeuminteiro
k
tal que, sedividirmos oprimeiro
segmentoem k
partes iguais, cadaumadecomprimento/,
o segundo
segmentotambmpoderser divididoemumnmerointeiro, digamos
iii ,
departes iguais, cadaumadecomprimentoI. Arazodos
k
comprimentos dos dois segmentos sera
kl
--que umnmero
nil in
racional.
Entretanto, seos segmentos foremtais quearazodeseus
comprimentos
irracional, entoaconstruoacimanuncapoderiaser
feita. Nestecaso, dizemos queos segmentos dados so
incomensurveis.
0
fatodeexistiremsegmentos incomensurveis contrarianossa
intuiogeomtricapois se o
comprimento/ noserveparamedir ao
mesmotempodois segmentos quaisquer,
poderamos imaginar urn
comprimentomenor, outromenor ainda,
e assimpor diante.
Poderamos
imaginar umsegmentotopequenoquenemsepossa
mais desenhar. Por isso, adescobertadegrandezas
incomensurveis
naantiguidaderepresentouummomentodecrisedodesenvolvimento
daMatemtica.
0
primeiroexemplodeumpar desegmentos incomensurveis,
descobertopor Pitagoras e seusdiscpulos,
bastantesimples: se
tomarmos o
ladodeumquadradocomosegmentounitrio, adiagonal
dessequadradonopodeter comprimentoracional, ouseja,
o lado e a
5
diagonal deumquadradosoincomensurveis, ouainda, 1 /2
irracional.
Defato, se o lado e adiagonal fossemcomensurveis, tomando
oladocomounidade, obteramosparacomprimentodadiagonal um
nmero racional 1-1 , com p e q inteiros.
EmvirtudedoteoremadePitgoras aplicadoaumdos
tringulosretngulosformadopor doislados e adiagonal doquadrado,
temos:
r
=12 2
p2 =2.1 2
Mas altimaigualdade umabsurdo. Osinteiros p2 e
contmcadaumdosseusfatoresprimpsumnmeropar devezes, pois
estoelevadosaoquadrado. Por conseguinte, 2q 2 contmumnmero
impar defatoresiguaisa 2 e assimnopodeser igual a p2 .
Comoateoriapitagricadasgrandezassebaseavana crena
intuitivadequetodasasgrandezasdemesma espciedeveriamser
comensurveis, adescobertadegrandezasincomensurveisprovocou
grandestranstornos. Paraeles onmero eraaessnciadetudo. Eles
acreditavamnapossibilidadedeexplicar todososfenmenosdomundo
sensvel emtermosdosnmeros e desuasrelaes. Onmeroseriaa
essncialtimadoser e detodososfenmenos. Mas, por nmeroeles
6
entendiam somenteosinteirospositivos: 1, 2, 3, . Nem as fraes
eram nmeros, j que elas apareciamcomo relaes entre grandezas
de mesma espcie. Aps a descoberta de grandezas incomensurveis
ficouclaroque os nmeros naturais eram insuficientes at mesmo para
definir a razo entre duas grandezas e toda a teoria pitagrica de
propores, comtodas as suas conseqncias, teria que ser jogada
fora por ser infundada.
To grande foi o "escndalolgico"que por algum tempo se
fizeram esforos para manter a questo em sigilo. Conte a lenda que o
pitagricoHipasofoi lanado ao mar por reveler o segredo a estranhos
ou (de acordo com outra verso) que ele foi banido da comunidade
pitagrica, sendo-lhe ainda exigido um tmulo, como se estivesse
morto.
Por algum tempo, 15: foi o niconmeroirracional conhecido.
Mais tarde, segundo Plato, Teodoro de Cirene, por volta de 425 a. C. ,
mostrou que A r- 3, ,,Ji, fa Vi3 e
tambm soirracionais.
A superao da crise nofoi fcil nemrpida. Omatemtico
grego Eudoxio, discpulo de Plato e do pitagricoArquitas, foi o
primeiro a lidar de modo preciso com grandezas incomensurveis,
por
volta de 370 a. C. . Ele desenvolveu uma teoria que, em linguagem
moderna, diz que para conhecer um nmeroirracional basta
conhecer os nmeros racionais menores do quex (suas aproximaes
por falta) e os nmerosracionaismaiores do que x (suasaproximaes
7
por excesso). Por este processo podemos obter aproximaes para um
nmero irracional comumerro to pequeno quanto se queira.
Para comparar duas grandezas da mesma espcie, emvez de
nmero. Eudxio adotou o conceito de "razo entre duas
grandezas.
Eudxio
desenvolveu a teoria das razes entre grandezas de
forma logicamente impecvel. As definies
bsicas so as de
igualdade e
desigualdade entre duas razes. Anotvel abordagemdos
incomensurveis
de Eudxio pode ser encontrada no quinto livro dos
Elementos de Euclides e
coincide emessncia coma moderna teoria
dos nmeros irracionais dada por Richard Dedekind em1872.
Porm, uma grave deficincia no formalismo criado por Eudbxio
e
apresentado nos Elementos de Euclides era que no se efetuavam
operaes aritmticas comrazes.
Poderamos
pensar que no precisamos dos nmeros irracionais
pois os nmeros usados para fazer medies cientificas so os
racionais. Pormsemos nmeros irracionais
o smbolo no teria
significado e como resultado a circunferncia . X .2. y=4e a reta x=y
no se interceptariam. Isto sugere que o sistema de nmeros racionais
uminstrumento inadequado para representar os objetos da geometria
e os movimentos continuos da fsica.
Almdisso, semos nmeros
irracionais a maioria das seqncias e sries no convergiriam e a
maioria das integrais no existiria e a estrutura de anlise matemtica
desmoronaria pois 7z- e e no teriamsignificado.
8
1.1 PROPRIEDADES DE FECHAMENTO
Ao contrario dos nmeros racionais, que so fechados em
relao adio, subtrao, multiplicao e diviso (exceto por zero),
os nmeros irracionais no possuem nenhuma destas propriedades.
pois:
j).--,k5..=0, onde zero racional;
.15
onde um racional;
onde zero racional;
,r)

onde dois racional.

1.2 PRODUO DE INFINITOS NMEROS IRRACIONAIS
1.2.1 Teorema 01
Seja a um nmero irracional qualquer e r um nmero racional
diferente de zero. Ento a adio, subtrao, multiplicao e diviso de
/ . e u resultaro em nmeros irracionais. Tambm -0 e a I so
irracionais.
A demonstrao por absurdo imediata.
9
Exemplos:
Seja a=11-5-i e r=-
3
, ento
2
1/Ti + -3- irracional,
2
3 , . .
V.T1 - - e irracional,
2
irracional,
2
,
irracional,
2 e
2 -13 7
irracional,
3
3
irracional,
102
-IT irracional e
1 _ A RT ,
N / 3 1.---5-- 1 e irracional.
1.2.2 Teorema 02
Sejam a e b inteiros.
Se o inteiro n = a.b tal que , , r n- =ii irracional, ento N r u- -F , T h-
6 irracional.
De fato, se supormos que r .1 + 1 1 )- seja racional, teremos:
r =1 1 (.7+ j
r2 4G+ A2
1 . 2 =a +
r2 =a +2. 1 ,1 b
r2 a - h
2
Mas como os racionais so fechados emrelao adio,
subtrao e diviso e como r, a, b e 2 so racionais teramos que jr .h
racional. 0 que uma contradio.
Exemplo:
irracional logo (.J+15) tambm irracional.
1.3 CONDIO
SUFICIENTE PARA QUE UM NMERO NO
INTEIRO SEJA IRRACIONAL
Se hoZ satisfaz x" +. . . +a,x+ao -0, onde a0 , a1 , ,
so inteiros ento h irracional.
Ademonstrao pode ser encontrada no livro "Nmeros
Racionais e Irracionais" de Ivan Niven e feita por reduo ao absurdo
baseando-se no seguinte resultado:
"Seja cx" + -I- C o =0 uma equao polinomial
qualquer comcoeficientes inteiros. Se esta equao tiver uma raiz
lo
11
racional onde uma
frao irredutivel, ento a ser um divisor
h
de co e h um divisor de c".
Com isto podemos mostrar, por exemplo, que
1- 2+,I 5_
irracional.
De fato, seja x=j+kr2
=(k/Y
)3

3-1Y.x 2 + 6x - 4,5= 2
x3

x" + 6x - 2 V- (3x 2 +4)
{ x 3 + 6x - 2}2 = [43x 2 + 4)}2
x 6 +12x 4 -4x3 +36 x2 - 24x + 4 = 2(9x 4 +12x 2 +
x 6 +12x 4 4x 3 +36 x2 - 24x + 4 =18x 4 +2 4x2 +8
x 6 -6 x4 -4x3 +12x 2 - 24x - 4 = O
Sabemos que Nrii-krf no inteiro pois l<V2 - <-- e l<3,5<: 1 e
somando as desigualdades temos que 2 <j;5<3.
Como , rf+kri no inteiro e raiz, por construo, do
polinmio x6 -6 x4 -4x3 +1 2 x2 - 24x - 4=0, que tem todos os coeficientes
inteiros, temos que ,r2 - +3.1 - 2 ., irracional.
12
1.4 0 LOGARITMO DE 2 NA BASE 10 (log2) IRRACIONAL
Suponhamos que log2 seja racional. Assim log2=-6 1
'
onde a e h
h
so naturais, j que log2 > O.
log2 =
a
1 0 6 =2
a 1 6

1 0' =2b
1 0 " =2"
(2 . 5) " 2b
2" - 5 ' 1 =2'
Como a e b so naturais, podemos dizer que 2" -5" e 2 b so
nmeros naturais. Portanto a igualdade acima no pode ser verdadeira
pois o Teorema Fundamental da Aritmtica garante que todo nmero
natural, diferente de 1, pode ser decomposto em fatores primos de
modo nico, a menos da ordem dos fatores.
1.5 e IRRACIONAL
Para mostrar que e irracional usamos a definio:
e=1+-
1
+-
1
+-
1
+.,..
1! 2! 3 !
13
Suponhamos que e seja racional, ou seja, e =, com p e q
naturais e irredutvel.
Portanto,
p 1 + 1 + 1 +
I ! 2 ! 3 !
Agora, temos que

1 1 1 ( 1 1 I 1 1
0 <-- 1 ++++...+=1 +++...+

1 ! /! 3 ! ! I ! /!

q'
1 ! q!
1 1 1 1
+
(q+1 )! +(q+2)! +-.=qL+1
+
(q+2 )(q+1)
+
(q+3 )(q+2 Xq+1)
Podemos dizer que
1
q!
1
+
1 1
+
q
1
q!
1
q!
1
1
,
k y 2 Xq

1
(q
+1 )(q
1
1 +
4 - 1) (q +
+1 ) (q
1
3)(q
1 )(q
+
+2 Xq +1)
1
1 )(q +1 ) ( q
I
1
,q +1 + + (q +1)-
11
Vemos que
q +1
++
(q+1 )3
+... a soma de uma progresso
geomtrica infinita de razo e primeiro termo
q +1 q +1
Portanto,
1
1 1 q+1 q+1 1 (q +1 ) 1

q +1
+
++
1 q +1 1 (q +1 ) q q
q +1 q +1
14
Voltando, temos que
1 1 + 1 1 1 1
+
+1 (q +1)2 (q+ i)
q! q
Portanto,
1 + 1 + 1 +...+ 1 ) < 1 . 1
q1! 2! q!q
Multiplicando todos os membros por ql temos
1 \

1
<_.
1! 2! q!,
Vemos que o termo do meio inteiro pois q! cancela todos os
denominadores das fraes.
Temos que 2<e<3 pois
1! 2! 3! 2 2 2 2 3
1
=2+
2
-7
= 2+1=3.
1
2
Como 2<e<3 devemos ter q>1 e portanto
1
<1.
1
Logo,

q1! 2! q!
0 que um absurdo porque no existe nmero inteiro entre O e
1.
Portanto e irracional.
2 NMEROS ALGBRICOS E TRANSCENDENTES
Os matemticos gregos antigos enfrentavamproblemas
geomtricos deconstruodefiguras compropriedades especificadas.
Eles, comfreqncia, conseguiramresolver seus problemas. mas, s
vezes, issonoocorriacomona"duplicaodocubo", na"trisecode
umAngulo" ena "quadraturadocirculo" utilizandosomenterguasem
marcas e compasso.
A teoria dos nmeros algbricos e transcendentes possibilitou
aos matemticos concluir que as construes desses trs problemas
geomtricos no podemser efetuadas pelos mtodos deconstruoda
GeometriaEuclidiana.
Os nmeros algbricos sodegrandeinteresse eimportncia
por muitas razes queprovmdaAlgebra e daTeoriados Nmeros.
2.1 DEFINIO
Urnnmero real ou complexo algbrico se soluo de
equaoalgbricacomcoeficientes inteiros.
16
Em outras palavras, se um nmero satisfaz alguma equao da
z - - 1 r- - 2
forma cx" +cx" +c_2 x' +...+c2 x
2
+X+Co =0 com coeficientes
inteiros, e c#0, diz emos que ele um nmero algbrico.
Um nmero que no soluo de nenhuma equao algbrica
comcoeficientes inteiros dito nmero transcendente, ou seja, um
nmero transcendente se no algbrico.
Sobre este segundo tipo de nmero Leonard Euler disse: "Eles
transcendem o poder dos mtodos algbricos." Dai, a designao de
transcendentes.
Exemplos:
2 algbrico porque soluo das equaes x2 -4=0 e
1ff algbrico, pois satisfaz a equao x2 -2 =0.
1_5 algbrico, pois satisfaz a equao .X 2 + 1 = 0 .
2 .1.1 cos(- 1 Algbrico, com n Natural
A prova da afirmao acima um caso particular da afirmao:
"cos(nO) um polinmio de grau menor ou igual a n em cos() e
sen(nOsen0 um polinmio de grau menor ou igual a 11+1 em cosO,
ambos com coeficientes inteiros", que justificaremos por induo.
Para n=1,
cos(1.0)=cos0 satisfaz Acost9)=cos(1.0), onde f(x)=x(polinmio de
grau 1);
17
sen(1 .0) sen 0 = sen 2 0 = 1 cos 2 & satisfaz f (cos = sen(1.0)sen , onde
(polinmio de grau 2 ).
Vamos supor que a afirmao vlida para n=k, ou seja,
C . 1 h . ( cos 0)k + ak _, (cos e
)
-t + a2 (cos 0) 2 + a, cos 8+ a0 =cos(k .0)

e
k+,(cos + k (cos 0) k + + b2 (cos 0) 2 + b 1 cos 0 + b =sen(k .0). sera) , onde os
coeficientes
a
e h i's so inteiros.
Agora, queremos saber se a afirmao vlidapara n =k +1 .
cos[(k +1 )0)=cos(k + =cos(k 0). cos 0 sen(k 0)sen O =
=La k (cos e) k + a k _ 1 (cos +... + a, cose + a o icos 0 +
k+,(cos erl + b k (cos 0)h + + b2 (cos + bcos 0 + 1 )0 ).
.,. (cos oy
+ 1
ak_ , (cos 0) k + . . + ,(cos 0)
2
a o cos 0 +
bk + , (cos bk (cos 0) k - b2 (cos 0)2 b1 cos 0 1 ) 0 =
-- k+1 )(cos 0)" + k_ , k )(cos 0) + + (at b2 Xcos 0) 2 +
+(a0 b )cos 0 + bo
Portanto cos(n8) polinmio em coscom coeficientes inteiros,
de grau menor ou igual a k + 1, para n=k +1 .
Logo, existe um polinmio f(x) de grau menor ou igual a 1 1 tal
que Acos 0) = cos(n 0) para todo n.
senKk + 00j sen 6 1 = sen(k 0 + sen O =[sen(k 0). cos 0 + sen 0. cos(lc0)1sen O =
= sen(k 0) sen 0. cos 0 + sen 2 0. COS(k 0) =
= (bk +1 (COS 0+1 bk (COS O)
k
b2 (COS 0) 2 + bl cos 0 + bo )cos 0 +
+(lcos2 0)(ak (cos 0)k + a k _ 1 (cos0)" + + a 2 (cos +a1 cos 0 + a ),
18
1 k . + 2
bk + i (cos 0)+ bk (cos 0)
k + I
4- h2 (cos OY + h, (cos 0) + b0 cost9+
+ ak (cos + a
k l
(cosg)
k I
+ + a2 (cos 0)2 + al cos 0+ ao +
-ak (cos0)
k + 2
ak _ t (cos0)
k + 1
a2 (cos0)4 -al (cos BY - ao (cos0)
2
=
ak Xcos 0+ 2 + (bk -ak _ , Xcoso )+ (a k + bk _ , -ak _ , )(cos 0)k +
+ (ak-i bk-2 -ak-3)(os 0)"-"+ (6 1 4 b3
a2 Xcos0)4 +
+ (a, + h2 -ai Xcos0)3 + (a2 + b1 -a
0
Xcos0)2 + (al + bo )cos0+ a
Que um pol inmio comcoeficientes inteiros de graumenorou
igual a k+ 2 . E, portanto senKk + 001 sen0 um pol inmio de graumenor
ouigual a k + 2 .
Logo, "sen(n0). senepol inmio emcost9"para todo n.
i r 7 1 -
Se ento f[cos( )1 =cos(71 . - - ). COS Tt =
1 1
O pol inmio g(x)=f(x)+ 1 tem coeficientes inteiros e para
x = - - -- cos(
T c
), temos:
g[c o s(5-)]=f o s(7 -r -)1 + 1 =-1 + 1 =0
7 r ,
Como, cos(- - ir raiz de g(x) ento, cos(
)
e al gbrico.
2.1.2 cos(1) Al gbrico
Basta notar que 1 =radi anos e usar 2 . 1 . 1 .
1 80
19
2.2 PROPRIEDADES DOS NMEROS ALGBRICOS
Sejam a e b algbricos e a#0. Ento a+b, u.b e so
algbricos.
Provaremos que a- 1 algbrico pois usaremos este resultado no
decorrer deste texto. 1
De fato, se a algbrico ento a raiz de

p(x):= cx" +c_l x"- 1 +++co , ou seja, c a" +c_l a"- L +++co =0, onde
SOinteiros.
c,, ,." , Co
Multiplicando c a" +c l a"- 1 +++co =0 por u- " temos

+c ++cl a+a" c=
c a" a- " + c . . .i a"- 1 a + . . . + cl acr" + co a- " =0
c u""" + c_l a"- " + . . . + C1 a'' + co a- " =
+c a- n = 0 c a +c ++
c,, + c + + c, (a' )H-1 + co
C
O
(a -I )
77
+ C
I
(a
r-I
- 1 )' +...+c a- 1 +C,, =0
ou seja, a raiz de
s(x)..--co f +ci x"-1 +,..+c_I x+C
Logo a algbrico.
1 Ademo nstrao deque a+h e ah so algbri co spo demser enco ntradasno li vro
"Nmero sI rraci o nai seTranscendentes" de0.1 ai ro G deFi guei redo .
20
2.3 TODO RACIONAL ALGBRICO
Os nmeros algbricos constituemuma generalizao dos
nmeros racionais pois todo nmero racional a pode ser definido como
raiz da equao, comcoeficientes inteiros, bx a=0,

A
Assim, se umnmero racional ento este nmero algbrico.
E pela contrapositiva, se umnmero no algbrico ento ele no
racional ou seja, todo nmero transcendente irracional.
2.4 NMEROS DE LIOUVILLE
Os primeiros nmeros transcendentes conhecidos foram
apresentados em1851 pelo matemtico francs Joseph Liouville (1809-
1882)
Liouville construiu
seus exemplos a partir do seguinte teorema,
conhecido como Teorema de Liouville:
21
Seja a um nmero irracional e algbrico de grau2 n ento existe
urn nmero positivo C tal que a-- para todo nmero racional r-
tit ?:

q>0.
Pela contrapositiva, temos:
"Se C um nmero positivo arbitrrio, n um nmero natural
arbitrrio e existem inteiros p e q(q>0) tal que
nmero a transcendente ou racional." 3
a-- ento o
Assim, Liouville provou, por exemplo, que o nmero
a 0,110001000000000000000001000... ,que irracional, onde os "1" ocorrem
na n! casa decimal, com n_1, transcendente.
2.4.1 Grau de um Nmero Algbrico
Diz- se que um nmero algbrico a de grau n se ele for raiz de
uma equao polinomial de grau n com coeficientes inteiros, e se no
existir uma equao desse tipo, de menor grau, da qual a seja raiz.
Um teorema importante afirma que um nmero a construtivel
com rgua e compasso se e somente se a algbrico de grau igual a
uma potncia de dois.
2 Ver 2.4.1
3 Os nmeros a que satisfazem estas condies so chamados Nmeros de Liouville. A prova deste
teorema pode ser encontrada no muito citado livro "Continued Fractions" de A. Ya. Khinchin, Dover
Pub. 1997.
22
Com este teorema temos a comprovao de que dois dos trs
problemas clssicos da geometria no tem resoluo.
De fato, na duplicao do cubo teramos que construir com
rgua e compasso um segmento de comprimento kri, que um nmero
algbrico de grau trs, pois satisfaz x3 -2 = 0 e x3 -2 irredutvel sobre
o conjunto dos nmeros racionais.
Se a trisseco de um ngulo genrico fosse sempre possvel,
poderamos trissectar um ngulo de 60, que equivale construir um
ngulo de 20Porm, se um Angulo construtivel com rgua e
compasso, seu cosseno tambm 6. Entretanto fazendo 0 = 20 na
formula geomtrica cos(3 61 )= 4 cos.' 0 -3 cos 0 temos
1
cos 60= 4 cos 3 20 3 cos 20, ou ainda, = 4 cos3 20 3 cos 20. Assim, por
construo, cos 20 ser raiz do polinmio 8x3 -6x -I , que irredutvel
sobre o conjunto dos nmeros racionais. Portanto cos 20 no
construtvel com rgua e compasso e, por conseqncia,
200
tambm
no 6. 4
2.4.2 Uma Aplicao de um Nmero de Liouville
Podemos usar o nmero x=0,1 1 0001 000000000000000001 000... que
um nmero de Liouville para provar o seguinte teorema:
4 Aprova de que x 2 e 8s
3
1 so polinmios irredutveis sobre o conjunto dos nmeros
racionais pode ser encontrada no Trabalho de Concluso de Curso de Jociane Mees, Matematica-
UFSC,1 999.
23
Dados dois nmeros reais A e B, com A#B, sempre existe um
nmero irracional entre eles.5
Dividiremos a prova em dois casos e vamos supor A<B.
Caso 1: A e B so racionais.
Seja x=0,110001000000000000000001000..., que um nmero
irracional e est entre 0 e 1.
Ento t=A+x(B- A) um nmero irracional entre A e B.
De fato
t -A
, se t fosse racional teramos x= com X irracional e
B-A
(-A
racional (os racionais so fechados que relao a subtrao e a
diviso). O que uma contradio.
O nmero t est entre A e B.
De fato,
A< pois x=0,110001000000000000000001000... e B>A, ou seja,
B-A>0. Portanto x.(B-A)>0. Logo A+x.(13 -A)>A, ou seja, 1>A.
t<13 pois sendo x<1 e B>A, temos x(B-A)<B--A. Dai,
A+.x.(B-A)<B, ou seja, t <B.
Caso2: A ou 13 ou ambos so irracionais.
Consideraremos, agora, t=71+x(-74) onde 74 e 7 4 so os
truncamentos dos desenvolvimentos decimais de A e B
respectivamente, tomando-se um nmero suficiente de casas e
5 Extraido da Revista do Professor de Matemtico n. 9, 1986, pagina 64.
B-A
24
alterando-se alguma casa emA, para se ter A e Bentre A e 13 e
Por exemplo, se A=1/2- e B=J+10-7 , temos A=1,41421356... e
B=1,41421366.... Fazendo A=1,4142135 e T3=1,4142136,
teremos que somar
umao algarismo da ltima casa de A para ter A . Assim, A=1,4142136
igual a T3=1,4142136. Ento temos que ter mais urna casa decimal em
T 3 para ter A<B. Teremos, ento A=1,4142136 e T9- .1,41421366.
Tendo A e T 3 racionais retornamos ao caso 1, obtendo i entre
7 t e
Como A e 7 3 esto entre A e B, temos que i est entre A e B
2.5 CONJUNTO ENUMERVEL
Por muito tempo os nmeros de Liouville eramos Calicos
transcendentes conhecidos.
A situao mudou quando Georg Cantor (1 84 5-1 9 18) mostrou
que a maioria dos nmeros transcendente. Para isso usou a noo de
conjunto enumervel.
25
2.5.1 Definio
Um conjunto infinito se diz enumervel se os seus elementos
puderem ser escritos em forma de uma seqncia: al , a2 , a3 , a4 , ..., de
modo que qualquer elemento do conjunto seja um termo da seqncia.
Por exemplo, o conjunto dos nmeros inteiros enumervel pois
pode ser escrito como 0, 1, -1, 2, -2 , 3, -3, 4, -4.....
2.5.2 0 Conjunto dos Nmeros Algbricos Enumervel
Seja f(x)=cx" +c_I x"--1 +c_2x"--2 +...+c2 x2 +cl x+co com coeficientes
inteiros e suponhamos, sem perda de generalidade, que c >0.
Consideremos a altura hdo polinmio, definida por
h = n+ c +1c._, Hic_ 2 1 - ...+1c2 1+1c1 14 0 1.
Obviamente h um inteiro maior ou igual a dois. Podemos ver
que o conjunto de polinmios de uma dada altura h finito, pois, por
exemplo,
para h =2 temos o polinmio x;
para h=3 temos os polinmios x+1, x-1, x2 e 2x;
para h=4 temos os polinmios x3 , x2 +1, x2 -1, 2x2 , 2x+1, 2x-1,
x+2, x-2 e 3 x.
Como cada polinmio de grau n pode ter no mximo ii raizes e
como cada altura h fornece um nmero finito de polinmios podemos
26
dizer que cada altura h fornece apenas um nmero finito de raizes dos
polinmios. Como os coeficientes de cada polinmio, neste caso, so
inteiros, temos que estas raizes so os nmeros algbricos. Ento,
cada altura h fornece um nmero finito de nmeros algbricos.
Assim, os nmeros algbricos podem ser classificados pelas
alturas dos polinmios dos quais so raizes.
Pode-se ento construir uma lista, teoricamente falando, de
todos os nmeros algbricos, tomando primeiro aqueles que resultam
de polinmios de altura 2, depois aqueles que resultam de polinmios
de altura 3 e assim por diante, eliminando-se em cada etapa aqueles
que constituram repeties. Podendo ser colocados numa lista infinita,
os nmeros algbricos formam um conjunto enumervel.
2.5.3 Um Subconjunto Infinito A/ de um Conjunto Enumervel
S Enumervel
Para sua justificative, seja o menor inteiro
positivo, tal que a,, pertence a M, n2 o menor inteiro positivo tal que
n2 >n, e a,, pertence a M, n3 o menor inteiro positivo tal que a3 >n, e
pertence a M, e assim por diante. Ento podemos concluir que
que enumervel.
E pela contrapositiva, se existe um subconjunto no enumervel
de S ento o conjunto s no enumervel.
2.5.4 0 Conjunto dos Nmeros Reais No Enumervel
Podemos demonstrar que o conjunto dos nmeros reais no
enumervel mostrando que o conjunto dos
nmeros reais do intervalo
O<x<1 no enumervel.
Seja A [OM.
Suponhamos que A seja enumervel, ento,
_21+2 11
Podemos dizer que A-4,1]=[0,-1
]
4-1

3 3'3 3 '
Vemos que xt , com k natural, no
pode pertencer aos trs
subintervalos.
Seja /1 =k,b,] um dos subintervalos acima tal que x,
Dividindo /1 em trs partes iguais, temos:
I Ia a1 + 1 1 4 a , + +- 21u[a, +-
9 '
2

9 9 9
Seja 12 [a2 ,b2 ] um dos subintervalos de /1 tal que x2 E/2 .
Dividindo /21 temos:
12 = [G1 2 , C . 12 [C1 2 , a, [ + ua2 +D 2 1.
27 27 27 27
E
assim sucessivamente, teremos uma seqncia
de intervalos
fechados de modo que z tais que x,, o / para todo ii
natural.
Mas existe uma propriedade dos intervalos encaixantes que diz
27
que:
28
"Seja It -7-=[a1 ,b1 j, 1 2
uma seqncia decrescente de
intervalos encaixados (limitados e fechados), isto 6, J
1 D1 2 n13 D...
Ento, existe, ao menos, um ponto comum a todos esses intervalos." 6
Isto garante que existe um nmeros real YE A=[0,1] tal que y
pertence a todo intervalo J DD1 3 n/4 D... .
Mas yE A= {x,r2 ,x3 ,...}, isto 6, yxx_ para algum k natural.
Porm, pela construo acima,
Y_XA.
O
que uma
contradio.
Logo o intervalo no enumervel.
E, por conseqncia, o conjunto dos nmeros reais no
enumervel.
2.5.5 0 Conjunto dos Nmeros Transcendentes No
Enumeravel
Como o conjunto dos nmeros algbricos enumervel eo
conjunto dos nmeros reais, que a unio do conjunto dos nmeros
algbricos com o conjunto dos nmeros transcendentes, no

enumervel segue que o conjunto dos nmeros transcendentes no
enumervel.
Isto nos diz que existem mais nmeros transcendentes do que
algbricos pois os nmeros algbricos podem ser apresentados como
6
A demonstrao
deste resultado pode ser encontrada no livro "Topologia geral" de Lipschutz.
29
termos de uma seqncia infinita enquanto que existemnmeros
transcendentes emdemasia para uma tal representao seqencial.
2.5.6 0
Conjunto dos Nmeros Racionais Enumervel
Sendo que todo racional
algbrico e que o conjunto dos
nmeros algbricos enumervel temos que, o conjunto dos nmeros
racionais tambm enumervel.
2.5.7 0
Conjunto dos Nmeros Irracionais E No Enumervel
J vimos que todo nmero no algbrico
irracional. Isto quer
dizer que todo nmero transcendente irracional, ou ainda que o
conjunto dos nmeros transcendentes umsubconjunto dos nmeros
irracionais.
Corno o conjunto dos nmeros transcendentes
no enumervel
temos que o conjunto dos nmeros irracionais tambmno

enumervel.
Comisto podemos afirmar que existemmais nmeros irracionais
do que racionais. Ou, como diz Rzsa Pter no livro "Playing with
Infinity", os nmeros racionais so as uvas secas espalhadas no bolo
dos nmeros irracionais.
2.5.8 Exerccio
"Escreva sob a forma de decimais infinitos uma
dzia de
nmeros
transcendentes diferentes, dando emcada caso a regra de
sucesso dos digitos". 7
Consideremos todos os
nmeros algbricos emsua
representao decimal infinita,
por exemplo, ao invs de considerar 2,1
vamos considerar 2,099999... .
Sabemos que o conjunto dos nmeros algbricos enumervel.
Ento, podemos fazer uma lista, A= {x,,x2 ,x3 ,x4 ,...}, comtodos os
algbricos.
Seja t1 =0,123 4 56a7 a8 a9a10an... um nmero em representao
decimal infinita, onde a,
diferente da stima casa decimal de
xl e
a, #9a8 diferente da oitava casa decimal de x2 e a8 9, a, diferente
da nona casa decimal de x3 e a, 9, am diferente da dcima casa
decimal de x4 e ato 9, e assimpor diante.
Assim, t, no termina emuma srie infinita de noves e
diferente de todo x. lista. Portanto i
no est na lista
que contmtodos os algbricos.
Logo ti transcendente.
J temos umnmero transcendente.
3 0
7 Exercicio 12
do livro "Histria da Matemtica" de C. B. Boyer, Ed. Edgard BlOcher Ltda., pagina
4 18 .
31
Seja t 2 = 0,2 34567a7 a8 a9 a10 ... t 3 = 0,345678a7 u g uc/ 1 0 ...
1 4 = 0,45678 9 a7 a8 a9 a10 ... / 5 = 0,9 8 7654a7 a8 a9 a10 ... , t 6 0,8 76543a7 u8 a9 aj0 ...
t7 0,765432 a7 a8 a9 c t 10 ... , t 8 = 0,65432 la7 a8 aai o ... , t = 0,54321 0u 7 a5 a,u...
,
,
,
/
10
.= 0012 345a
7a8
a
9 a1 0*-,
t
1 1
=0 0012 34a7 a8 a,a, 0 ... , /12 = 0,0002 34a a ct a COM
7 8 9 10
a7 , ag , a,, j c onstruidos em t.
Assim temos 12 nmeros transc endentes diferentes.
Com este argumento, alm dos 12 ac ima, podemos c onstruir
infinitos nmeros transc endentes.
2 .6 ALGUNS NMEROS TRANSCENDENTES
A primeira demonstrao de que o nmero e, base dos
logaritmos naturais, transc endente foi dada por Charles Hermite
(18 2 2 -19 01) em 18 73 e a primeira demonstrao da transc endnc ia de
It foi dada por Carl L. F. Lindemann (18 52 -19 39 ) em 18 8 2 . 8 Mas a
transc endnc ia de log 2 e 2 `' 2 so resultados mais rec entes, c onhec idos
somente desde 19 34.
O nmero 2 fi2 foi usado c omo exemplo espec ific o, pelo
matemtic o David Hilbert, quando, em 19 00 apresentou uma famosa
lista de vinte e trs problemas que, a seu ver, eram os mais destac ados
problemas matemtic os ainda em aberto. 0 stimo problema de Hilbert
8 As demonstraes de que 71 e e so transc endentes podemser enc ontradas em 'Nmeros
Irracionais e Transc endentes" de Diairo G de Figueiredo.
32
consistia em decidir se ab algbrico ou transcendente, dado que a e
so nmeros algbricos. Em 1934, Alexsander Osipovich Gelfond e,
independentemente, Th. Schneider, provaram o seguinte teorema.
2.6.1 Teorema de Gelfond-Schneider9
f,
Sejam a#1 e b#1 algbricos e b no racional, ento
h
e
transcendente.
2.6.1.1
V-2-
2
E Transcendente
A transcendncia de
2
` ` um caso especifico desse resultado
geral.
2.6.1.2 log2 E Transcendente
De fato, supondo que log2 algbrico e sabendo que no
racional podemos fazer b =log2 e a=10 no Teorema de Gelfond-
Schneider.
A demonstrao deste teorema no 6 simples e pode ser encontrada, segundo Djairo, nos livros:
"Irrational Numbers" de Ivan Niven e "Transcendental e Algebraic Numbers" de Gelfond.
33
Ento ah =101 8 2 =2 ser transcendente. Isto um absurdo pois 2
algbrico.
Portanto log2 transcendente.

2.6.1.3 e 7 1 ' Transcendentel

Sabemos que e a =cosx+ isenx (frmula de Euler).
Para x=
7 1 -
-temos ei =i .
2
/
2
e
/
rse
2

e =i'
2
e = r
= f ry
J
-2 1
e
.a.
=r
Se e' r fosse algbrico, ento, ( C ? ff ) 2 i teria que ser algbrico
(conforme o item 2 .3).
Porm i e 2i so algbricos e 2i no racional, logo i
transcendente, pelo Teorema Gelfond-Schneider. O que absurdo.
Portanto e fr transcendente.
' Extraido da Revista do Professor de Matemtican. 4, pgina15.
3 FRAES CONTNUAS
Um importante ramo da teoria dos nmeros trata da aproximao
de um nmero irracional por nmeros racionais Li cujos denominadores
no so muito grandes.
Um meio de fazer isso 6 com o uso de fraes continuas
simples, que so obtidas da seguinte maneira:
Todo nmero real x pode ser escrito como uma soma,
onde [x] denota a parte inteira de x (o maior inteiro no excedendo .v),
e (x) denota a diferena x[x], chamada parte fracionria de .v.
Se x um inteiro, a parte fracionria (x) zero. Por exemplo,
5 -= [5] + (5), onde [5] = 5 e (5) = .
Se x no um inteiro a parte fracionria (x) positiva e menor
do que um. Por exemplo, 2,4,[2,4]+(2,4), onde [2,4]=2 e (2,4)=0,4. Sendo
menor do que um, a parte fracionria pode ser escrita como
1
para
algum real y > 1 . Por sua vez, o nmero y pode ser escrito como a
1
soma [y1+ (y) . Assim, x=[x]+=[x]+
Lv1+(.0.
35
1
Se (y)= 0 , entox=ki+] -- um nmeroracional, e a frao
[Y
continua terminou.
\
Masse (A> 0, ento (y)=-1 -
1
- para algum z>1 , e dai
X=[X I +
1

f yl -F
Repetindoesse processo temosa representaofracionaria
continua de x, x=a+
1

, onde a0 = [x] , a1 44a, = [1 ] , e

1
a
]
+

1
a2
a3 +
assim por diante. Podemosusar a notao x=1 00 ;a1 ,a2 ,a3 ,...] para esta
representao, onde todos osinteirosdepoisde ao sopositivos. Os
nmeros
"1 (42
a3 , , soos elemento s (ou quocientesparciais) da
fraocontinua.
Se x racional, o processotermina aps um nmerofinitode
passos e a frao continua finita. Por exemplo, L
2
:---[37} e
7
355

[37 1 6].
1 1 3
Quandox irracional, a fraocontinua infinita. Por exemplo,
7T -=
Truncandoa f ra o continua de um nmero irracional _rv aps o
P
inteiro u

produzimos um nmero racional chamado
de n-simo co nvergente de x.
em notao moderna 10=3+
4
4
6+ ---
6+...
4
6+
36
Segundo e Enciclopdia Britnica, as fraes continuas so
teis porque IAesta mais prximo de x do que qualquer outro nmero
racional com denominador menor ou igual a q. Por exemplo, o terceiro
1 1 1
convergente de z {3;7,1 5,1 }= 3+ =3+ =3+
111
7+
16
3 1
1
=+ =3+
112+1
113113113113
=3+-
16
=
339+16
=
355
, uma frao mais prxima de if
1616
que qualquer outra com denominador menor ou igual a 113.
3.1 NOMES LIGADOS HISTORIA DAS FRAES
CONTNUAS"
Rafael Bombelli (1526-1573): parece ter sido o primeiro a faz er
uso explicito de fraes continuas (infinitas). Em 1572, escreveu o que
7+ 7+
1
15+1
15+-
Pietro Antonio Cataldi (1548-1626): credita-se a ele o mrito de
ter dado os primeiros passos na teoria das fraes continuas, em 1613.
No seu tratado publicado em Bolonha sobre extrao de raiz es
Extraidos de "Introducao a HistOria da Matemtica " de Eves, "Aproxima0o de um Nmero Real
por Nmeros Racionais" de Lequain e do artigo "Fraes Continuos" de Tathan.
37
quadradas de nmeros introduziu a motivao para a notao usada
posteriormente por Huygens.
John Wallis (1616-1703): descobriu numerosas propriedades dos
...
convergentes. Obteve a expresso
n-
=
2.2.4.4.6.6.8.

2 1.3.3.5.5.7.7. ...
William Brouncker (1620-1684): foi o primeiro britnico a
investigar e usar as propriedades das fraes continuas. Obteve a
frao continua

12

a partir da expresso de Wallis para
2+
32
5 2
2+ -
2 +...
2
Christiann Huygens (1629-1695): Introduziu uma forma moderna
de simbolismo que expressava a razo
77708431
como
2640858
2 9 +
1
1
2+
1
1 +
4 +
Huygens usou esta razo em 1680 ao desenhar as rodas
dentadas de seu planetrio.
Leonhard Euler (1707-1783): foi um dos primeiros matemticos
a desenvolver os fundamentos modernos da teoria das fraes
continuas. Mostrou que qualquer irracional quadrtico, a+J com a e
h racionais, pode ser representado por uma frao continua peridica
simples.
38
Johann Heinrich Lambert (1728-1777): mostrou, em 1761, que a
1
seguinte frao continua para 1r 3+no peridica e.
1
portanto, no um irracional quadrtico.
Joseph Louis Lagrange (1736-1813): provou que fraes
continuas peridicas simples representam solues de equaes
quadrticas com coeficientes racionais. Forneceu a primeira exposio
completa da convergncia dos convergentes. Mostrou que em geral
todo convergente impar menor que todos os convergentes seguintes
e todo convergente par maior que todos os convergentes seguintes.
Adrien Marie Legendre (1752-1833): provou, em 1794, que toda
frao continua infinite irracional.
Dirichlet (1805-1859): introduziu a notao x= ,a2 ,a3 ,...), em
1854.
Thomas Joannes Stieltjes: descobriu, em 1894, uma relao
entre sries divergentes e fraes continues convergentes que permitiu
definir integrao para as series. De certa maneira, as integrais de
Stieltjes foram resultado de seu trabalho com fraes continuas
Ma's recentemente, Siegel, Hurwitz, Markoff, Thue, Roth
(medalha Fields em 1958) e K. Vahln contriburam historia das
Fraes Continues.
7+ -
15+
1
1+
292+...
=0+
1+
1+
1
1+ \--
3.(1)+ 2
3
1
1

=0+
=0+
1+
=0+
1+
1+
1+
1
1 1
1+
1
39
3.2 FRAES CONTNUAS PARA NMEROS RACIONAIS
A expanso em fraes continuas de nmeros racionais sempre
termina. A demonstrao pode ser encontrada no livro "Aproximao de
um nmero real por nmeros racionais" de Yves Lequain, 19Colquio
Brasileiro de Matemtica, 1993.
Tomaremos dois exemplos,
13
e
86
para mostrar como obter
21 31'
fraes continuas simples para nmeros racionais a partir do Algoritmo
da Diviso em Z.

13 13 I 1 I 1 1
=0+=0+---=0+
13.0)
=0+ =0+ =0+

21 21 21 +8 8 1 1
ii 13
1+ 1+
13
13
1+ iN
8 8

1 1 1 1 1
=0+ .0+ =0+

=0+ =0+
1
1+

1 1 1 1
1+ 1+ 1+
1

1+
1
1+
5
8

1+--
5 5
3
1
=0+
1 i
1+ 1+
1 1
1+ 1+ ----
1+
1
1+ 1+-? -1 : -
3
3
2
13 r
Obtemos, assim, = [0;1,1,1,1,1,2].
21
40
Porm, podemos continuar a expanso e obter:
13 0
1 1
=0+
1
1 21=+
1+1+
1
1+ 1+
1 1
1+1+
1
1+-1 ---f1+
1
1+
2
1+
1+-1-
I
, 13 r
Obtendo, dai,
21
Assim, temos duas r epr esentaes para o mesmo nmer o. Na
verdade, podemos expressar qualquer nmer o r acional em fr ao
continua simples de duas formas, a saber,
[a0, a1, a2, . , a] e
k 0;a1, 6/2, -, 0
Para desenvolver --
86
emfr ao continua, primeiro aplicamos o
31
Algor itmo da Diviso aos nmer os a=-86 e b=31.
-86=31.(-3)+7, 0.7<1311
86 31.(-3)+7-37
+-- 3
1
+=-3
11
3131
317.(4)+31
1
31

4+-3
777
7
4+
3

1
1
1
=3+

4+ r %
1
4+
243)+1

3
3
r
Obtemos a primeira r epr esentao,
86
=1 73;4, 2, 3].
31
1 1
Continuando, --
86
= 3+=3+

31
1 1
4 4++
2+-
1 1

3
2+
2+-
1
1
41
, 86 r
A outr a r epr esentao e
3.3 EXPANSO DE ir EM FRAO CONTNUA
Podemos deter minar a expanso de ir em fr ao continua
usando uma calculador a e a r epr esentao decimal n- = 3, 141592653....
Como 3, 1_7r .<_3, 2, ento, ( 1 0 -3 e 7r =3
1
, onde
a a1

1
>a >
1
0 , 1 I 0 , 2
10 ? _5
No conseguimos deter miner a par te inteir a de al . Ento, vamos
usar a aproximao 3, 14 par a ir.
1
De 3, 14 5. 3, 15 tir amos g=3+-
1
, onde 0 , 14 5 5_ 0 , 15 .
at a
s
1 1
>a >
0 , 14 0 , 15
7, 142857143 6, 666...
A par te inteir a de al pode ser 6 ou 7. Por tanto, ainda no
conseguimos deter minar [al ]. Temos que usar g:,- 3, 141.
De 3, 1415.73, 142 e K=3+-
1
obtemos 0 , 141-
1
5_0 , 142.
a a1
1 >al
> 1
0 , 141 0 , 142
42
7,092198582 7,042253521
1
Portanto [a l ]= 7 e r=3+-
1
=3+
7+1
az
Agora, queremos determinar a parte inteira de a 2 .
Como 7,092198582 ?. ?_ 7,042253521 e { a l }= 7 , temos que
1
0,04 0,042253521. 5 0,092198582 0,1.
U
2
1
0,04 0,1
1
>a,>
0,04 -0,1
25>a 2
No conseguimos determinar [ad.
1
Usaremos 0,042 0,093.
a
2
1 1
>a,>
0,042 0,093
23,80952381 a 2 1 0,7526881 7
Ainda no determinamos [ad.
Usando a melhor aproximao que temos:
1
0,042253521 0,092198582
a 2
1 1
az
0,042253521 0,092198582
23,66666674 a2 :1 0,8461 5379
Ainda no determinamos [a2].
43
Ento, temos que pegar uma aproximao melhor para
Usaremos a aproximao mxima que obtemos com uma calculadora de
dez dgitos, g=3,141592653 .
1
a , , = 3 e =+
0 ,141592653
1
0,141592654
1 1
> a >
0,141592653 - 0,141592654
7,062513335 7,062513305
1
Portanto [a1 }=7 e ir= 3 +-1-= 3 + .
a
1
1
( 2
2
1
0,062513305 .5_ -- 0,062513335
a
2
1 1
> > a
0,062513305 - 2 - 0,062513335
15,99659464 a 2 15,99658688
1
Assim, k2 ]=15 e tc=3+ = 3 +
1

1 1

7+ 7 +
a
2
1
1 5+ -
a3
Vamos determinar [a3 ].
15,99658688 a2 15,99659464
0,99658688
1
0,996594644
a
3
1 1

>a3
>

0,99658688 0,996594644
1,003424808 a3 1,003416991
44
Portanto, P 3 1=1 e K=3+

7+
Vamos determinar { a4 } .

0,003424808
1
0,003416991
a4
11
< a, <

0,003424808 0,003416991
291,9871653 a4 5_ 292,6551323
No conseguimos determinar a parte inteira de u4 . Teramos que
usar uma aproximao melhor para 7 r. e uma calculadora com mais
dgitos no visor. Entretanto, vamos parar por aqui, afinal a expanso
em fraes continues para 7 Z ' infinita.
3.4 EXPANSO DE e EM FRAES CONTNUAS
A expanso em fraes continuas simples para e dada por
e =2 +
1
=
1
4+
1
1+
1
1+--
6 +
1
45
A deduo desta expresso encontrada no livro "Aproximao
de um nmero real por nmeros racionais" de Yves Lequain, IMPA, 19
Colquio Brasileiro de Matemtica, 1993.
Existe outra expanso em frao continuas para e, pormessa
no simples:
e=2+
1
1+ --
2+-
1
2
3+
3
4+
4
5+...
3.5 EXPANSO DE log2 EM FRAES CONTINUAS
Seja x=log2.
Ento, pela definio de logaritmo 1 O 2.
Note que 10 <2<10', ento, 10 <10x <101 e, portanto, 0<x<1.
Ento,
J obtemos ao , vamos descobrir a,.
0-I--
I0' =lO Y =2
10Y =2
ie L.\ y
10Y =2Y
1 0 =2Y
Mas, 2 3 <10<2 4 , ento, 2 3 <2Y <2 4 e 3<y<4.
Ento, a parte inteira de y 3.
1 1
Dai, x=0+=0+
3+ 1-
J obtemos ao e a vamos descobrir a2 .

10= V'
1
3 +-
10=2 z
10=2 3.2z
10= 8.2:
r 5 ) 2
Note que -5 <2<r __14 , ento, r n3<r _5 _1=<r ) 4 e 3<=< 4.
,z1) 4)
Ento, a parte inteir a de 3.
Dai, x=0+-
1
=0+3 +
1
3+ -
4 6
J obtemos ao , a, e a2 , vamos descobrir a3.
2=
125
.
(5ju
64 . 71-
128 =on
125 z t . )
(128y
025) -
47
(128)u 5
125
128)9
Mas
5
<- <
4
(128)1 (128);
, ent o,
125 125
<(128)u
,125
(
125
Ent o, a part e int eira de u 9 .
1 1
Dai, x=0+ =0+
1 1
3 3 + +
3 +- 1-
1

3 +
U
9 +-
1
w
<0,81 0
e 9 <u<10.
1` ). 5
J obt emos aa
1 ,
a
2
ea
3 ,
vamos descobrir a
4 -
(128u = 5
125 -4
(128)9 4, 5
125)
48
(128 5
125, \125 4
/
' 27
=
(128)..5
5 - 125 2'
)
26 3 (127 5
5 27 . 025 22
( 1 281 .528
L125) =26 5
f- 1 I w
(128).5
28 \ n'
125) 26 5
'I /
128(528 )n
125
T-
6 5
Mas

(52'. )
2
128
52s3

2
mt

26 5 )
<
5
28
(.265

e nto,

r 5
28 '\ 3
0
6 4
<
264 <
Ento, a parteinteira de w 2.
e 2<w<3 .
Dai, x=0+
3 +
11
=0+
1 1
3+
3 +
1 1
3+
9+-
11
9 +
J obtemos ac a1 , a2 , a3 e a4 . Entretanto, vamosparar por aqui
afinal, sendo x. log2 irracional e no quadrtico (pois
transcendente), sua expanso em frao continua infinita e no-
peridica.
log2=0+
1
49

3+
3+
1
9+
2 +
3.6 EXPANSO EM FRAES CONTINUAS PARA ALGUNS
IRRACIONAIS ALGBRICOS
3.6.1 Expanso para a Razo (ou Seco) urea
A razo urea o nmero a=
1 + j
, para o qual tende a
seqncia "+1 onde (P,,)= (1 ,1 ,2,3,5,...) a famosa seqncia de Fibonacci
definida indutivamente como F=1 , F2 =1 e F = P,,_, para n 3 .
1 +
=
2a=1 +
2a- 1 = 1 5-
(2a-
)
2 =(j)2
4a2 -4a+1 =5
4a - 4a - 4 =
a
2
- a-1 = 0
50
a
2
=a+1
Como a#0,
a
2
a+1
1
a=i+
a
Substituindo a por 1+-
1
, temos:
a
a=l+
1
1+
1
a
Novamente, substituindo a por 1+1 , temos:
a
a=1+

1
1+ 1+
1 1
a
Repetindo este processo infinitas vezes, temos que
a =
3.6.2 Expanso de .1- 3- em Fraes Continuas
O primeiro passo descobrir a parte inteira de 1.73. Usando uma
calculadora vemos que krsj=i
Ento, 13- =i+(Ji). Note que 0)=-I /-3- -1 onde 0<--1<1.
51
Lembre-se que (x) representa a parte fracionria e [x] a parte
inteira de x.
Dai,
1
Multiplicando o numerador e o denominador de pelo
-
conjugado de 1[3- -1, temos:
1 1
= 1 +
1
-1+ 1 =1+
1
Na=l+
1
1[S+1 1/3 +1 V3+1

-j -1 15 +1
3-1 2
Agora, temos que saber qual a parte inteira de Usando,
novamente, a calculadora descobrimos que
1 1
EntAo,
,173 +1
1 +H
(j+1 \ j+1 1[3- 4 - 1 - 2 J- 1
Perceba que 1= onde
2 2 2
0< < 1 .
2
1 1 1
=1+ =1+
(V3+1
Ad -
r-N
2
2
2
I /
2
Multiplicando o numerador e o denominador de pelo
1/7.3
conjugado de j-1, temos:
Dai,
1+
-1
1
52
..=1 +1 1

1 +
2
1 1 1
=1 +=1 +
1
=I+
1 1
1 + 1+- 1 +
2 1 3- +1 2,,1 3+2

Ars_ivi+i
3-1
7
=I+
1 +

I
,J3+1
Aparteinteirade -si+1 2.
Ento, A/5+1 =2+(J+1 ), onde(+1 )=,[5+1 -2=J-1 e
0<-1 - 3- --1 <1 .
1 1 1
Dai, -1 =1 +=1 +=I+
1 +
1

1 +
1
V3+1
1
Multiplicando o numerador eo denominador de pelo
-T3-1
conjugado deV73 - 1 , temos:
1 1
=1 +=I+
1 1
1 + I+
1 1
2+ 2+ r_
1 va+1 1 /3+1
.., -1 -s,ff +1 3-1
=1 +
1 +

1
2+ r_ _ 1 -
V3+I
2
-,5+1
Agora, teriamos quedescobrir aparte inteira de . Porm,
notequeisto j foi feito, rj+1 ]=1 . Portanto, apartir deagoraos
L
2
passos iro serepetir.
53
1
Logo, V-S=1 + ou A rj=[1 ;1 ,2,1 ,2,1 ,2,1 ,2,...}.
1
2+
1
1 +
1
2+
1 +...
Podemos usar este mtodo para obter a expanso em fraes
continuas simples de outros radicais. Por exemplo,
j=[2;2,4,2,4,2,4,2,4,...] e -11 =
Observe que todos estes radicais tm expanso em fraes
continuas simples peridica, afinal, so irracionais quadrticos.
3.7 FRAO CONTNUA PERIDICA
Uma frao continua a =[a0 ;a,,a2 ,...] peridica se existem
inteiros n e tal que a=a, para todo n>no .
Assim, a =[a0 ;a1 ,a2 ,...,a _,,a0 ,a0 _,,...,a,,_,
Por exemplo, V-3- T=1 5;1 ,1 ,3,5,3,1 ,1 ,1 01 .
Esta expanso facilmente obtida usando- se uma calculadora
que tenha a tecla
1
. Basta seguir o seguinte roteiro, que uma forma
mais simples do que foi feito para 6- na sesso 3.6.2:
Primeiro passo: fazemos F- 31 para obter o elemento a
0
=5.567764363. A ssim, ao =5.
1 +
1
54
Segundo passo: Do resultado anterior, 5.567764363 ,
subtraimos a parte inteira, 5. Teremos, ento, /3-i--5=0.567764363.
Terceiro passo: Teclamos 1 e obtemos o elemento a, =1.
Quarto passo: Subtraimos a parte inteira.
Quinto passo: Teclamos
1
e obtemos o proximo elemento.
Sexto passo: voltamos ao quarto passo.
E assim sucessivamente at obtermos o perodo.
3.8 SUBCONJUNTOS ESPECIAIS DOS NMEROS
IRRACIONAIS
Nmero Nobre: um nmero irracional c t 410 a0 a2 ,a3 ,... tal que
a, =1 para todo m, para algum m natural.
0 mais nobre de todos os nmeros a razo urea pois,
2
Outros exemplos de nmeros nobres: [0;1,2,1,1,1,1,1,1_],
0 conjunto dos nmeros nobres denso em R-Q. A idia para a
prova desta afirmao acrescentar uma "cauda nobre" a um
convergente de qualquer nmero we(R-Q), obtendo, assim, uma
55
aproximao arbitrariamente boa para w, conforme diz J. D. Meiss,
citado na bibliografia.
Irracional Quadrtico: um nmero irracional a=[a0 ;a,,a2 ,a3 ,...]
que soluo de uma equao quadrtica com coeficientes inteiros.
Exemplos de irracionais quadrticos so 1.5*, que soluo de
X
2
-2, , e a=
1+
, que soluo de x2 -x-1.0.
2
Nmero do Tino Constante: um nmero a=[a;a,,a2 ,a3 ,...] tal
que existe uma constante k > 0tal que a<lc para todo n.
Exemplos de nmeros dos tipo constante so todos os nmeros
nobres e a mdia prateada 1+,/ . =
Nmero Diofantino: um nmero ada0 ;a1 ,a2 ,a3 ,...] para o qual
existe um C>0tal que para todos os inteiros p e q com p #0 e q#0,
C
para algum co?_1.
Da definio, segue imediatamente que todo nmero diofantino
irracional.
3.8.1 Todo Nmero Nobre Irracional Quadrtico
Euler (1737) e Lagrange (1770) provaram que um nmero real
irracional algbrico de grau dois se e somente se sua expanso em
frao continua infinita e peridica. A demonstrao pode ser
56
encontrada da pgina 58 at a pgina 62 do livro de Yves j citado
anteriormente.
Se a nobre ento a
Note que esta expanso peridica, seu perodo 1.
Pelo resultado de Euler e Lagrange tem-se que toda frao
continua periodica simples um irracional quadrtico.
Logo, todo nmero nobre um irracional quadrtico.
3.8.2 Todo Irracional Quadrtico do Tipo Constante
Novamente, pelo resultado de Euler e Lagrange, todo irracional
quadrtico, a,pode ser representado por uma frao continua
periodica simples.
Sendo peridica, o conjunto dos elementos de a finito.
Assim, podemos encontrar o maior de seus elementos e fazendo
k maior que o maior de seus elementos temos que a,,<k para todo
Logo, todo irracional quadrtico do tipo constante.
3.8.3 Todo Irracional Quadrtico Algbrico
Se a irracional quadrtico ento a soluo de uma equao
quadrtica com coeficientes inteiros.
57
Portanto, a algbrico.
3.8.4 Todo Irracional Algbrico
E Diofantino
0 teorema de Liouville
afirma que "para todo irracional algbrico
de grau existe um nmero C>0 tal que
C
>, para inteiros
qn

arbitrrios p e q (q>0)".
A desigualdade a--
C
>
C
pode ser rescrita como Iv-pi>
?I

com n-1=co>1.
Logo a diofantino com co=n-1 >1.
3.8.5 Todo Nmero do Tipo Constante Diofantino
Para esta demonstrao, usaremos dois resultados encontrados
no livro de Yves Lequain, 19Colquio Brasileiro de Matemtica, 1993.
Primeiro resultado: Seja a=[a0;a1 ,...,a,..,], um nmero real e a
q
forma irredutivel do n-simo convergente de a. Ento,
(a+i + 2 2
P
a
4I
1
2
a,i.q

58
Segundo resultado: Toda frao irredutvel que satisfaz a
desigualdade
1 ,
< e um convergente do nmero a.
2.q

Demonstrao: Seja a =kto ;a1 ,...,a,...] um nmero do tipo
Pn
constante e o n-simo convergente de a.
Ento, a<k para todo n>0 e algum k>0.
a,, <k
a-F2k-E2
1 1
a+2k+2
1

1
+2)q_1 2
(C fl 2)( ri-1
2
Dai, pelo primeiro resultado:
1
<
2
<
(k2n-1 - +2 )(1 -1
a

1 C
Tomando C= temos
k + 2
2
qn-1
a , 1 ,2,3,4,....

C
Para ser diofantino com rig = 2 temos que garantir que <
1 3 2
a
a---
b

a
para todo
a
racional. J vimos que vlido quando
h
um
convergente de a. Temos que ver se vlido para os outros casos.
Irracionais Quadraticos
Numeros Diofantinos
Tipo Constant e
AI gbricos
Numeros Irracionais
59
Vamos supor o contrrio, que existe um nmero racional
C /
que
no um convergente de a e para o qual
a
a--
b

1
Mas, C= , ento
k +2
C omo k>0 temos
1
< (
1 1
< < .
(k+ 2)52 2h2
a
a
Porm,
pelo segundo resultado, temos que
1 )
um convergente
de a. 0 que uma contradio.
Portanto,
c
<
h 2
a
a--para todo
a
racional.
h

Logo, todo nmero do tipo constante diofantino com 0=2.
CONCLUSO
A elaborao desta monografia trouxe umsurpreendente
enriquecimento minha formao matemtica. Afinal, conheci dois
assuntos que no fazemparte do curriculo do curso de licenciatura em
Matemtica: Nmeros Algbricos e Transcendentes e Fraes
Continuas.
Estamos acostumados a dividir os nmeros Reais emRacionais
e Irracionais. Emgeral, desconhecemos a diviso emTranscendentes e
Algbricos que mais abrangente pois atinge, tambm, os nmeros
Complexos. Esta diviso importante no estudo da Algebra e da Teoria
de Nmeros.
J a teoria das Fraes Continuas se mostra cada vez mais viva.
Esta presente emartigos recentes de revistas como: Matemtica
Universitria, Revista do Professor de Matemtica e Eureka. utilizada
nas novas tcnicas para fatorar nmeros grandes e no estudo de
solues inteiras de equaes do tipo x2 A
2 y2
=(equao de Pell).
Almde abrir as portas estes dois "novos" assuntos, acredito
que a elaborao deste trabalho foi compensadora pois o mesmo
poder servir como material de estudo, sobre Nmeros Irracionais, para
professores do ensino Fundamental e Mdio.
BIBLIOGRAFIA
AVILA, G. Grandezas incomensurveis e nmeros irracionais
Revista do Professor de Matemtica (RPM). So Paulo, SP.
n.5, p.06-11, 2semestre de 1984.
BOTELHO, M. H. C. Seo: o leitor pergunta. Revista do
Professor de Matemtica (RPM). So Paulo, SP, n.9, p.64, 2
semestre de 1986.
BOYER, C. B. Histria da matemtica. Trad. Elsa F. Gomide.
So Paulo, SP: Editora Edgard Blcher, 1974. 488p. (original
ingls).
COURANT, R. & ROBBINS H. What is mathematics?; na
elementary approach to ideas and methods. 4 ed. Oxford: Oxford
University Press, 1979. 533p.
EVES, H. introduo histria da matemtica. Trad. Hygino
H. Domingues. 2 ed. Campinas, SP: Editora da UNICAMP, 1997.
843p. (original ingls).
62
FIGUEIREDO, D. G. Nmeros irracionais e transcendentes.
Rio de Janeiro, RJ: Sociedade Brasileira de Matemtica (SBM),
1980. 104p.
KLEIN, F. Famous problems of elementary geometry; the
duplication of the cube, the trisection of an angle, the quadrature
of the circle. Trad. Wooster Woodruff Beman. New York: Dover
Publications, Inc., 1956. 92p. (original alemo).
LEQUAIN, Y. Aproximao de umnmero real por nmeros
racionais; 19Colquio Brasileiro de Matemtica. Rio de
Janeiro, RJ: Instituto de Matemtica Pura e Aplicada, 1993.
151p.
LIMA, E. L. Medida e forma emgeometria; comprimento, rea,
volume e semelhana. Rio de Janeiro, RJ: Sociedade Brasileira
de Matemtica, 1991. 100p.
LIPSCHUTZ, S. Topologia geral; resumo da teoria, 650
problemas resolvidos, 391 problemas propostos. Trad. Alfredo
Alves de Faria. So Paulo, SP: McGraw-Hill do Brasil, 1973.
301p. (original ingls).
63
MEISS, J. B. Sympletic maps, variational principles and
transport. Reviews of modernphysics. New York, NY, v.63,
n.03, p.813-815, julho de 1992.
NIVEN, I. M. Nmeros: racionais e irracionais. Trad. Renate
VVatanable. Rio de Janeiro, RJ: Sociedade Brasileira de
Matemtica, 1984. 216p. (original ingls).
PENHA, G. M. de La. Euler e a Teoria dos Nmeros. Revista do
ProfessordeMatemtica (RPM). So Paulo, SP, n.4, p.12-15,
1" semestre de 1984.
SIMMONS, G. F. Clculocomgeometria analtica. Trad. Seiji
Hariki. So Paulo, SP: McGraw-Hill, 1987. Vol.2, 807p. (original
ingls).
SPIVAK, M. Calculus. 3 ed. Houston, Texas: Publish or Perish,
Inc., 1994. 670p,
TATHAN, E. J. Fraes continuas. In: Baumgart, J. K. Tpicos
de histria da matemtica para usoemsala de aula; algebra.
So Paulo, SP: PUB: Atual, 1993. VOLUME, Cap.3, p. 37-41.
The NewEncyclopaedia Britannica. 15 ed. 1990. p 26-27 Vol
25.
64
WAGNER, E. Construes geomtricas. Rio de Janeiro, RJ:
Instituto de Matemtica Pura e Aplicada, 1993. 110p.