Você está na página 1de 3

Expanso de funes em fraes contnuas

Joabe Oliveira Santos*,

Marcos Antnio da Cmara**

Faculdade de Matemtica, Famat, UFU,


38.408-100, Uberlndia, MG
Email: joabejos@hotmail.com camara@ufu.br

Palavras - chave: resumos estendidos, fraes contnuas, expanso de funes,


convergente.
Resumo: Neste artigo definimos fraes contnuas, convergentes e algumas propriedades de
convergente. Nosso objetivo expandir funes em fraes contnuas e depois comparar a
preciso desta expanso com expanso em srie de Taylor.

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

frao contnua. Vamos considerar c1

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

3 Expanso de funes em fraes contnuas


Para calcular a expanso de uma funo em frao contnua, vamos utilizar substituies
sucessivas. Seja f uma funo e f a0 T1 sua expanso em srie de Taylor. Calculamos
bi
b1
b2
T1 ,T2 ,,Tn 1 ,, tais que f a0 T1 , T1
, T2
, Ti
,
1 i n,
a1 T2
a2 T3
ai Ti 1
em que a 0 , ai , bi so escolhidos arbitrariamente e podem ser funes dos argumentos de f.

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

Exemplo 1: Considere a expanso em srie de Taylor em torno de x0 0 da funo e x , ou


seja,
2
3
4
x 5 x 6 x n . Vamos obter a seguinte expanso de e x em
ex 1 x x x x
2 6 24 120 720
n!
x
2 x 3x 4 x
x
1
fraes contnuas: e x 1 x
.
1 x 2 x 3 x 4 x 5 x
x
1 x
2x
2 x
3x
3 x
4x
4 x
5 x
Tome a0 1 , da e x a0 T1 1 T1

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

continuarmos deste modo, encontraremos bi (i 1) x, ai i x e Ti


novamente sugere escolhermos bi

(i) x, ai

2,

teremos

T3

ek xk

o que

i 1

(i 1) x .

Exemplo 2: Se em (1) escolhermos b1 x , a1 1 , ento T2


b2 x, a2

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

x x 2 x 3 . Procedendo de forma anloga, ou seja, escolhendo b x , i 1,2,


i
2 20 360
x x
obteremos a expanso e x 1 x x
que outra expanso da funo e x por
1 ( 2) ( 3) 2
fraes contnuas.
T4

4 Comparao da expanso de uma funo em srie de Taylor com sua


expanso em frao contnua.
2
2
4
Euler obteve outra expanso para a funo exponencial e x 0 1 2 x x x x
1 2 x 6 10 14
Os
primeiros
convergentes
so
dados
2
p0 0 p1 1 p2 (2 x) p1 ( 2 x) p0 2 x p3 6 p2 x p1 12 6 x x 2
,
,
,
q0 1 q1 1 q2 (2 x)q1 ( 2 x)q0 2 x q3 6q2 x 2 q1 12 6 x x 2

por

p4 10 p3 x 2 p2 120 60 x 12 x 2 x 2 p5 14 p4 x 2 p3 1680 840 x 180 x 2 20 x 3 x 4


,

q4 10 q3 x 2 q2 120 60 x 12 x 2 x 2 q5 14 q4 x 2 q3 1680 840 x 180 x 2 20 x 3 x 4

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