Professional Documents
Culture Documents
1 Introduo
A origem das fraes contnuas tradicionalmente atribuda ao desenvolvimento do
Algoritmo de Euclides. Manipulando algebricamente, o algoritmo, pode-se obter a frao
contnua simples de um nmero racional p/q.
Por mais de mil anos, todo trabalho que usava fraes contnuas era restrito a exemplos
especficos. A parte terica das fraes contnuas s se desenvolveu a partir do trabalho de John
Wallis (1616-1703). Em seu livro "Opera Mathematica (1695), Wallis introduziu alguns dos
fundamentos bsicos das fraes contnuas, tais como: calcular o n-simo convergente e
algumas propriedades de convergentes. Neste trabalho o termo "frao contnua" foi usado pela
primeira vez.
O primeiro matemtico a demonstrar uma aplicao prtica de fraes contnuas foi
Christiaan Huygens (1629-1695). Ele escreveu um artigo explicando como usar os
convergentes de uma frao contnua para encontrar as melhores aproximaes racionais para as
relaes entre as engrenagens. Essas aproximaes permitiram-lhe escolher as engrenagens com
o nmero correto de dentes. Este trabalho foi motivado pelo desejo de construir um planetrio
mecnico.
Neste trabalho vamos mostrar que possvel aproximar funes por fraes contnuas.
2 Convergentes
Definio: Uma frao contnua uma expresso da forma
b1
a0
b2
a1
b3
a2
a3
em que os termos a i e bi so nmeros reais ou complexos, ou funes de variveis reais ou
complexas, para todo i
. O nmero de termos pode ser finito ou infinito.
b b b
Notao: Podemos escrever a frao contnua na forma a0 1 2 3
a1 a2 a3
a
em que i , i
, ser chamado de i-simo quociente parcial da frao contnua.
bi
Convergentes
a1
1 , obtidos pelas
Vamos considerar as fraes c1
, c a1 1 , c3 a1
1 2
a2
a2 1
a3
expanses das fraes contnuas [a1 ],[a1 , a2 ],[a1 , a2 , a3 ], .
Estas fraes so chamadas de primeiro, segundo, terceiro, .... convergentes, respectivamente,
da frao contnua [a1 , a2 , a3 ,, an 1 , an ] . claro que o n-simo convergente igual prpria
*Aluno do PROMAT-UFU
** Tutor do PET Matemtica-UFU
527
a1
1
c2
a1
1
a2
a1a2 1
a2
p2
em que p2
q2
Calculando c 3 , obtemos: c3
p1
, em que p1
q1
a1a2 1 e q2
a2 .
a1a2 a3 a1 a3
a2 a3 1
a1
a1 e q1 1 . Assim,
a3 (a1a2 1) a1
a2 a3 1
a3 p2
a3q2
1
a3
De maneira geral, temos o seguinte resultado.
pi
Teorema: Seja ci
o i-simo convergente da frao contnua [a1 , a2 ,, an ] . Ento, o
qi
numerador p i e o denominador q i de ci satisfazem as seguintes relaes: pi ai pi 1 pi 2 ,
qi ai qi 1 qi 2 , para i 3,4,5,, n; em que p1 a1 , p2 a2 a1 1 , q1 1 , q2 a2 .
a2
p1
.
q1
bn 1
bn
b1
b b
.
a0 1 2
a1 T2
a1 a2 an 1 an Tn 1
Continuando esse processo de substituies sucessivas, obtemos a frao contnua.
Vamos apresentar duas expanses em fraes contnuas para a funo e x para mostrar que a
aproximao de uma funo por fraes contnuas no nica. Nesses exemplos, vamos
Z.
x; ,
escolher a0 1 e a i e bi da forma
Deste modo, temos que f a0 T1 a0
T1 e x 1 .
2
3
x 4 x5
Assim, T1 x 1 x x x x
2 6 24 120 720
x
2
x 1 x
1 x x
2 12 720
Portanto, T1
Mas, T2
x
2
1 x x x
2 6
x
.
x x2 x4
2 12 720
x
x 4 x5
24 120 720
(1)
2
b1
x4 .
, em que escolhemos b1 x, a1 1 x e T2 x x
2 12 720
a1 T2
x 1 x
2
6
x3
360
x
2
1
1 x
6
360
528
2 x
2x
3
x
x2
18
x3
270
Logo,
T2
b2
a2 T3
, em que escolhemos
b2 x, a2 2 x e
2
x 3 . Se
T3 2 x x
3 18 270
(i) x, ai
2,
teremos
T3
ek xk
o que
i 1
(i 1) x .
ix 1
i 1
x x 2 x3 .
3 18 270
Escolhendo
x x 2 x 4 . Escolhendo
2 12 720
b3 x,
a3
3,
teremos
por
Note que os convergentes so funes racionais que podem aproximar valores para a funo e x .
Podemos, por exemplo, aproximar o valor de e 1 atravs desses convergentes. Vamos comparlos com os valores obtidos pela expanso em srie de Taylor.
Queremos aproximar o valor e 1 0.367879441171. Fazendo x
1, obtemos os
seguintes valores:
N termos
Convergentes
Taylor
1
0
1
2
1
0
3
0.3333333333
0.5000000000
4
0.3684210526
0.3333333333
5
0.3678756477
0.3750000000
6
0.3678794561
0.3666666667
1
Tabela 1: Aproximao de e
Vimos neste exemplo que a expanso da funo em frao contnua tem uma preciso maior
do que a expanso em srie de Taylor.
Referncias
[1] Andrade, Eliana Xavier Linhares de, Cleonice Ftima Bracciali, Fraes contnuas:
propriedade e aplicaes, SBMAC, So Paulo, Pliade, 2005.
[2] Lemes, Leandro Cruvinel, Fraes Contnuas, aproximaes de nmeros reais por racionais
e nmeros transcendentes, Monografia, FAMAT-UFU, 2007.
[3] Olds, C.D., Continued Fractions, Random House, 1963.
[4] Santos, Jos Plnio de Oliveira, Introduo teoria dos nmeros, 3 ed, IMPA, Rio de
Janeiro, 2009.
529