1

O ESTUDO DAS FRAES CONTNUAS

Jos Carlos Ramos da Silva
1

Orientador: Jorge Fernandes Lima Neto
2


RESUMO
Esse artigo tem como objetivo apresentar um estudo sobre fraes contnuas. Uma frao contnua de um
nmero racional pode ser representada por uma seqncia finita de inteiros e a de um nmero irracional por uma
seqncia infinita de inteiros. Tais representaes permitem encontrar uma aproximao de um nmero
irracional por um nmero racional, to prximo quanto desejarmos.
Palavras-chave: Fraes Contnuas, Matemtica Pura, Anlise.
1. INTRODUO
As fraes contnuas foram objetos de estudo de grandes matemticos nos sculos XVII e
XVIII, como Leonard Euler e Hermite, atualmente so de grandes interesses em vrias reas
no campo da matemtica, como em teoria dos nmeros, na cincia da computao, e outros...
Para obtermos uma frao contnua de certo nmero racional, basta aplicar o algoritmo da
diviso de Euclides sucessivamente numa diviso de inteiros. Por exemplo, tomemos um
racional irredutvel
q
p
.
Assim, existem nicos
1
a e
1
r tal que
1 1
r q a p + = , com q r <
1
0 , logo

1
1
1
1
1 1
1
r
q
a
q
r
a
q
r
q
q a
q
p
+ = + = + = . (1)
Para
1
q e
1
r , obtemos nicos
2
a e
2
r tal que
2 1 2
r r a q + = , com
1 2
0 r r < , logo
2
1
2
1
1
r
r
a
a
q
p
+
+ = . (2)
Repetindo esse processo sucessivamente, obtemos

n
a
a
a
a
q
p
1
1
1
1
3
2
1
+
+
+
+ =
O
. (3)

1
Licenciado em Matemtica da Universidade Catlica de Braslia
2
Professor do Curso de Matemtica da Universidade Catlica de Braslia
2
Como o algoritmo da diviso de Euclides um processo finito, esse tambm o , e esta ltima
expresso a frao contnua que representa o racional
q
p
e escreveremos;
] ..., , , [
3 2 1 n
a a a a
q
p
= . (4)

2. ASPECTOS HISTRICOS
Foi encontrado em meados de 306 a.C. um texto de matemtica mais bem sucedido de todos
os tempos Os Elementos (Stoichia) de Euclides, nele encontra-se um algoritmo (Algoritmo
da diviso de Euclides) que, podemos obter qualquer nmero racional em termos de frao
contnua.
Durante os anos de 1650 1670 uma grande variedade de mtodos infinitos foi desenvolvida,
inclusive o mtodo das fraes contnuas infinitas para que fora dado por William
Brouncker (1620 ? 1684), o primeiro presidente da Royal Society. Wallis [3, pg. 143], em
1650, obteve a curiosa expresso:
K
K
7 7 5 5 3 3 1
8 6 6 4 4 2 2 2


=

(5).
Por manipulao do produto de Wallis para

2
, Brouncker [2, pg 266] chegou de algum
modo expresso
K +
+
+
+
+ =
2
49
2
25
2
9
2
1
1
4

(6)

Os primeiros passos para fraes contnuas datavam de muito antes, na Itlia, onde Pietro
Antonio Cataldi (1548-1626) de Bolonha, escreveu razes quadradas nessa forma, tais
expresses so facilmente obtidas. Cataldi obteve
K +
+
+
+
=
2
1
2
1
2
1
2
1
1 2
. (7)

3
Leonhard Euler contribuiu demasiadamente com a matemtica, ele foi um dos primeiros
matemticos a desenvolver a teoria das fraes contnuas, em 1737, encontrando o seguinte
desenvolvimento para o nmero e.
K +
+
+
+
+
+
+
+ =
1
1
1
1
4
1
1
1
1
1
2
1
1
1
2 e (8)

3. FRAO CONTNUA DE UM NMERO RACIONAL
Em Os Elementos de Euclides, o mtodo para achar o m.d.c. de dois nmeros usado para
se converter uma frao (nmero racional) em frao contnua.
Como exemplo o m.d.c. entre (85,32)
0 1 10 10
1 10 1 11
10 11 1 21
11 21 1 32
21 32 2 85
+ =
+ =
+ =
+ =
+ =
(9)
Logo o m.d.c. (85, 32) = 1
Expressamos
32
85
da seguinte forma:
.
10
1
1
1
1
1
1
1
2
10
11
1
1
1
1
1
2
11
10
1
1
1
1
2
11
21
1
1
1
2
21
11
1
1
2
21
32
1
2
32
21
2
32
85
+
+
+
+ =
+
+
+ =
+
+
+ =
=
+
+ =
+
+ = + = + =
(10)
4
Este ltimo a frao contnua expressa do nmero racional
32
85
e sua notao
1,10] 1, 1, [2,
32
85
= .
De um modo geral, uma frao contnua de um nmero racional pode ser expressa da seguinte
forma:
n
a
a
a
a
1
1
1
1
3
2
1
+
+
+
+
O
(11)
Os nmeros
n
a a a a ,..., , ,
3 2 1
so denominados os quocientes parciais e ] , , , , [
3 2 1 n
a a a a K
representa a sua frao contnua.
3.1 O PRIMEIRO QUOCIENTE
No processo de divises sucessivas, apenas o primeiro quociente pode ser positivo, negativo
ou zero. Podemos dizer que um nmero racional quando o quociente de uma diviso de
dois nmeros inteiros,
q
p
, com o divisor positivo, 0 > q .
Se p > q; o primeiro quociente parcial da frao contnua positivo; se q p < < 0 o primeiro
quociente parcial da frao contnua zero; Se p for negativo, o primeiro quociente da frao
contnua negativo.
Exemplo:

] 12 , 1 , 4 [
12
1
1
1
4
12
1
1
1
4
12
13
1
4
13
12
4
13
40
=
+
+ =
+
+ = + = + =

(12)


] 2 , 1 , 14 , 1 , 0 [
2
1
1
1
4
1
1
1
1
1
0
31
17
=
+
+
+
+
+ = (13)


5
TEOREMA 01
3
Todo nmero racional pode ser representado de duas maneiras distintas sob
a forma de frao contnua finita e toda frao contnua finita representa um nmero
racional.
Para entendermos melhor, consideremos a seqncia [ ] 2 , 1 , 2 , 1 e sua frao contnua
representada da seguinte forma:

8
11
8
3
1
3
8
1
1
3
2
2
1
1
2
3
1
2
1
1
2
1
1
1
2
1
1 = + = + =
+
+ =
+
+ =
+
+
+ (14)

Numa representao de uma frao contnua de um nmero racional, quando o termo
n
a for
maior que 1 (um) poderemos substitu-lo por
1
1
1+
n
a , assim a representao acima pode
assumir duas formas, por exemplo:
] 1 , 1 , 1 , 2 , 1 [
1
1
1
1
1
1
2
1
1
2
1
1
1
2
1
1 ] 2 , 1 , 2 , 1 [ =
+
+
+
+ =
+
+
+ = (15)
4. FRAO CONTNUA DE UM NMERO IRRACIONAL
4.1 APROXIMAES SUCESSIVAS
Seja um nmero irracional e

=
1
a , isto ,
1
a o maior inteiro menor do que ou igual a ,
teremos:
1
1
x
1
+ = a (16)
onde,
1
1
1
a
x

(17)
Observe que 1
1
> x e
1
x irracional, dessa forma, repetindo o processo, poderemos escrever;
2
2 1
1
x
a x + = , onde


1 2
x a = e
1 1
2
1
a x
x

= .

3
Ver [4, pg 142]
6
Repetindo esse processo, teremos:

M
3
3 2
2
2 1
1
1
1
1
1
x
a x
x
a x
x
a
+ =
+ =
+ =
(18)
Onde todos os s a
i
' so inteiros maiores ou iguais a 1 (hum) e todos os s x
i
' so irracionais
maiores do que 1 (hum). Assim obtemos:
n
x
a
a
a
a
x
a
a
x
a
1
1
1
1
1
1
1 1
4
3
2
1
2
2
1
1
1
+
+
+
+
+ = =
+
+ = + =
O
L (19)
Definimos ] , , [
3 2 , 1
L a a a como frao contnua de .
Lagrange, em 1770, caracterizou todos os irracionais possuidores de representao peridica
quando expressos sob a forma de frao contnua e que a frao contnua infinita que
representa um irracional peridica, se e somente se, este irracional for raiz de um polinmio
de 2 grau, ou seja, da forma c bx ax + +
2
, onde a, b e c so inteiros. Para entendermos
melhor, mostraremos o irracional 8 na forma de frao contnua infinita.



2 8
4
8 8 4
2 8
2 8
2 8
4
1
4
2 8
1
1
4
2 8
4
2 8
) 2 8 )( 2 8 (
) 2 8 ( 1
2 8
1
x
2
2 8
2
2 2
1
1
+ =
+
=
|
|

\
|
+
+
|

\
|

+
=
= =
(

+
=
+
=
+
+
=

=
=
= =
x
a a
a

(20)

7


4
2 8
4
8 8 4
2 8
2 8
2 8
1
2 8
1
4 2 8
1
4 2 8
2 8
4
8 8 4
2 8
2 8
2 8
4
1
4
2 8
1
1
4
2 8
4
2 8
4
8 8 4
2 8
2 8
2 8
1
2 8
1
4 2 8
1
4 2 8
5
5 5
4
4 4
3
3 3
+

|
|

\
|
+
+
|
|

\
|

+
=
= + =
+
+

|
|

\
|
+
+
|
|

\
|

+
=
=
(

+
=
+

|
|

\
|
+
+
|
|

\
|

+
=
= + =
x
a a
x
a a
x
a a


A frao contnua de 8 aparece em forma repetitiva com exceo do
1
a , assim
denominamos de frao contnua peridica.
Juntando os termos acima, temos:

4
2 8
1
4
1
1
1
4
1
1
1
2 8
+
+
+
+
+
+ = (21)
e sua notao ser expressa; ] , 4 , 1 , 4 , 1 , 2 [ K ou ] 4 , 1 , 2 [ , observemos que, podemos reverter o
processo acima para obtermos novamente o nmero irracional que ele representa.

4.2. CONVERGENTES
Qualquer nmero racional pode ser representado sob a forma de frao contnua. Se
] , ,... , , [
1 3 2 1 n n
a a a a a
q
p

= , logo, [ ] [ ] [ ]; , , ; , ;
3 2 1 2 1 1
a a a a a a a seqncia da expanso da frao
contnua de
q
p
. Denominados: primeiro, segundo, terceiro... convergentes, da frao
contnua.
8
] , ,... , , [
1 3 2 1 n n
a a a a a

, sendo a prpria frao contnua o n-simo convergente. Chamaremos o
i-simo convergente de c
i
. Assim,
1 e onde ,
1
1 1 1
1
1 1
1
= = = = q a p
q
p a
c (22)
2 2 2 1 2
2
2 1
3
2
1 2
e 1 onde ,
1
1
1
a q a a p
a
a a
a
a
a c = + =
+
=
+
+ = (23)
1 2 3
1 2 3
2 3
1 2 1 3
2 3
3 1 3 2 1
3
2
1 3
1
) 1 (
1
1
1
q q a
p p a
a a
a a a a
a a
a a a a a
a
a
a c
+
+
=
+
+ +
=
+
+ +
=
+
+ = , (24)
onde
1 2 3 3 1 2 3 3
e q q a q p p a p + = + =

TEOREMA 2
Seja
i
i
i
q
p
c = , o i-simo convergente da frao contnua [ ]
n n
a a a a a , ,..., , ,
1 3 2 1
ento, para
3 i , o numerador
i
p e o denominador
i
q , do convergente
i
c satisfazem as seguintes
relaes.

2 1
2 1



+ =
+ =
i i i i
i i i i
q q a q
p p a p
(25)
Demonstrao:
Observe os nmeros
1 2 1 2
, , ,
i i i i
q q p p , dependem apenas dos quocientes parciais e
assumirmos como hiptese de induo a validade de um i k . Assim, poderemos obter
1 + i
c
simplesmente substituindo
i
a por
1
1
+
+
i
i
a
a . Logo,
1
1
3
2
1 1
1
1
1
1
1
1
+

+
+
+
+
+
+
+ =
i
i
i
i
a
a
a
a
a
a c
O
. (26)
Ento teremos;
9
( )( )
( )( )
( )
( )
2 1
1 1
2 2 1 1
1 2 1 1
2 1
1
2 1
1
1
1
1
+
+
+
+

+

+
+
+
+
=
+ +
+ +
=
+
|
|

\
|
+
+
|
|

\
|
+
=
i i i
i i i
i i i i i
i i i i i
i i
i
i
i i
i
i
i
q q a
p p a
q q q a a
p p p a a
q q
a
a
p p
a
a
c (27)
concluindo a demonstrao por induo.
Ajustando melhor os ndices, vamos definir 1 0 0 1
1 0 1 0
= = = =
- -
e q , q , p p assim
tornaremos verdadeiro o teorema para 1 i .

TEOREMA 3
4

A relao ( )
i
i i i i
q p q p 1
1 1
=

se verifica para todo 0 i , onde
i
q e
i
p so respectivamente,
o numerador e o denominador do i-simo convergente.
COROLRIO 1 Todo convergente ( ) 1 , p que temos ,
i
= =
i
i
i
i
q
q
p
c .

4.3 PROPRIEDADES DOS CONVERGENTES
TEOREMA 4
A seqncia L , , ,
3 2 1
c c c dos convergentes de uma frao contnua satisfaz as seguintes
propriedades:
(i)
1 2 5 3 1
... c
+
< < < <
n
c c c
(ii)
n
c c c
2 6 4 2
... c > > > >
(iii)
n n
c c
2 2 2 1 2n
c < <
+ +

Demonstrao: Pelo teorema 3, temos que ( )
i
i i i i
q p q p 1
1 1
=

. Assim,
( ) ( ) ( )
1
1
1 1
1
1 1
1
1
1
1 1 1

=
i i
i
i i
i i
i
i
i
i
i
i i
i
i i
i i
i i
i i
q q
c c
q q q
p
q
p
q q q q
q p
q q
q p
(28)

4
Ver demonstrao em [1, pg. 10] ou [4, pg. 145]

10
( )
2
1
2
1 2 2 1
2
2 2
2
2
2
1

= =
i i
i
i
i i
i i i i i i
i i
i i i i
i
i
i
i
i i
q q
a
q q
q p a q p a
q q
q p q p
q
p
q
p
c c (29)
Das duas desigualdades acima fcil ver que o teorema verdadeiro.

4.4 OBSERVAO
Pelo teorema 4 a seqncia dos convergentes obedece a desigualdade
2 4 2 1 2 5 3 1
... ... ... c c c c c c c
n n
< < < < < < < < <
+
(30)
Em anlise, em seqncias montonas, temos que, toda seqncia crescente e limitada
superiormente converge e toda seqncia decrescente e limitada inferiormente tambm
converge. Ento
1 2
L c
n
e
2 1 2
L c
n

+
.
Como
( )
0
1
1
1

i i
i
i i
q q
c c ento, L
1
= L
2
.
Assim a seqncia dos convergentes, de uma frao contnua infinita, converge. Nos teoremas
abaixo, veremos que essa seqncia converge para o nmero irracional que a gerou.


TEOREMA 5
5


Para todo nmero real temos,
2 1
2 1
3 2 1
] ,... , , [


+
+
=
i i
i i
q p
p p
a a a

, onde todos os quocientes

s a
i
' so inteiros positivos com exceo do
1
a , as seqncias dos s p
i
' e s q
i
' so dadas pela
frao contnua de , ou seja, 1
0
= p , 0
1
=

p , 0
0
= q , 1
1
=

q ,
2 1 1
+ =
i i i
p p a p e
2 1 1
+ =
i i i
q q a q , para todo 1 i .


OBSERVAO.

Seja um nmero irracional, pelo teorema 5, temos que

2 1 1
2 1 1
1 1 3 2 1
] , ,..., , , [



+
+
= =
i i i
i i i
i i
q p x
p p x
x a a a a (31)
Assim
) (
) 1 (
) (
) (
2 1 1 1 2 1 1 1
1 2 2 1
1
1
2 1 1
2 1 1
1

=
+

=
+
+
=
i i i i
i
i i i i
i i i i
i
i
i i i
i i i
i
q q x q q q x q
q p q p
q
p
q p x
p p x
c (32)

5
Ver [4, pg. 153] ou [1, pg. 22]
11
Ento 0
1

i
c , confirmando que a seqncia dos convergentes converge para o
irracional que a gerou.

CONSIDERAES FINAIS
As fraes contnuas tm uma vasta atuao no campo da matemtica, nesse trabalho
mostramos como obter uma aproximao de um nmero irracional por um racional to
prximo quanto desejamos, ou seja, como a frao contnua de todo nmero irracional
infinita, basta trunc-la para obtermos um nmero racional bem prximo de um irracional que
estamos trabalhando.
Como no ensino mdio, o exemplo mais comum de nmero irracional uma raiz quadrada de
um inteiro, temos aqui uma tima maneira de calcular um valor aproximado para tal raiz.
No exemplo
29
82
] 4 , 1 , 4 , 1 , 2 [ ] , 4 , 1 , 4 , 1 , 2 [ 8 = = K , uma tima aproximao para a raiz
procurada.
As fraes contnuas e seu contedo, a meu ver podem fazer parte do ensino fundamental e
mdio, elevando assim o grau do desenvolvimento e aprendizagem do aluno em relao aos
nmeros racionais e irracionais.

BIBLIOGRAFIA
1. ANDRADE, Eliana Xavier Linhares de; BRACCIALI, Cleonice Ftima. Fraes Contnuas: algumas
propriedades e aplicaes. Disponvel em: <http://www.bienasbm.ufba.br/MC34.pdf>. Acesso em:
28/06/2007.
2. BOYER, Carl Benjamin. Histria da Matemtica. 2 ed. So Paulo: Edgard Blcher LTDA, 1996.
3. EVES, Howard whitley. Introduo Histria da Matemtica. 2. ed. Campinas: Editora da UNICAMP,
1997.
4. SANTOS, Jos Plnio dos Santos. Introduo teoria dos nmeros. 2 ed. Rio de Janeiro: IMPA, 2005.