Campus de So Jos do Rio Preto

Expanso de nmeros irracionais em fraes

contnuas, fraes contnuas peridicas e
irracionais quadrticos.

Profa. Dra. Cleonice Ftima Bracciali

Universidade Estadual Paulista, Depto. de Matemtica Aplicada

Caroline Gagliardo Dordan

Paulo Roberto Vecchia

Sumrio

1. Expanso de nmeros irracionais em fraes contnuas.

i) Expanso de nmeros irracionais em fraes contnuas simples .
. . . . . . .3
ii) Expanso de

x= N . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . .4
iii) Convergncia. . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . 5

2. Fraes contnuas peridicas.

i)
Fraes contnuas peridicas. . .
. . . . . . . . . 8
ii)
Irracionais quadrticos. . . . . .
. . . . . . . . . 8
iii)
Teorema de Euler . . . . . . .
. . . . . . . . . . 8
iv)
Teorema de Lagrange. . . . . .
. . . . . . . . . . 9

. . . . . . . . . . . . . . .
. . . . . . . . . . . . . . .
. . . . . . . . . . . . . . .
. . . . . . . . . . . . . . .

3. Referncias bibliogrficas.
i)
Referncias
bibliogrficas . . . . . . . . . . . . . . . . . . . . . .
. . . . 10

1. Expanso de nmeros irracionais em fraes

contnuas simples.
i. Expanso de nmeros irracionais em fraes contnuas
simples.
Para construir uma expanso de um nmero irracional em frao contnua
simples utilizaremos substituies sucessivas, da forma que descreveremos a
seguir.
Seja x um nmero irracional qualquer e

a0

= x. Onde o operador a

significa maior inteiro menor que a.

Ento x pode ser escrito como

Assim,

um nmero irracional.
Da mesma forma podemos escrever

e, obtemos ento

que tambm um nmero irracional.

Repetindo esse processo, sucessivamente, obtemos as equaes

com

inteiros e

irracionais.

Naturalmente, o processo anterior s terminaria se tivssemos

algum n , o que impossvel, pois

um nmero irracional para todo n .

3

para

Fazendo substituies dos respectivos

uma frao contnua simples infinita,

que a expanso do nmero irracional

na equao, obtemos

x .

Exemplo: Expressar 3 como uma frao contnua simples.

Como

temos

ou seja,

Da,

Portanto,
Como
, conclumos que
ser igual a e, desta forma, a sequncia
ter os valores 1,1,2,1,2,1,2... . Logo, a frao contnua infinita representando 3
ser dada por:
3 = [1,1,2,1,2,1,2, ].

ii. Expanso de

x= N .

Quando
, sendo um nmero natural no quadrado perfeito, podemos
tambm encontrar as expanses em fraes contnuas, que podem no
ser simples, da seguinte forma:

Encontramos

aeb

naturais tais que

N=a +b

e calculamos

Assim, temos

Substitumos na equao o valor de

N a

no seu prprio

denominador do lado direito da igualdade

Fazendo isto sucessivamente, obtemos

.
Exemplo: Expressar
Sejam

13

como uma frao contnua.

a=3 e b=4 , ento

133=

( 133 ) .( 13+3)

13+3

139
4
=
.
13+3+33 6+ 133

Seguindo o raciocnio acima, obtemos

4
6
4
+
6

13=3+

4
6

iii. Convergncia
Definio: Considere a frao contnua
cauda

de

ordem

da

frao

x=[a 0 , a 1 , , an , ] . Definimos como

contnua

frao

contnua

x n=[a n ; a n+1 , an+2 , ] .

Teorema 1: Toda frao contnua simples infinita convergente e seu limite L
dado por

L=lim C 2n =lim C2 n+1

n

Demonstrao: Suponhamos que {

C2 n } uma sequncia crescente e que {

C2 n +1 } uma sequncia decrescente.

Por teorema, os convergentes de ordem par,

C2 n , de uma frao contnua

simples infinita formam uma sequncia numrica crescente, enquanto que os de

ordem mpar,

C2 n +1 , formam uma sequncia decrescente, alm de, todo

convergente de ordem par ser menor do que qualquer convergente de ordem mpar.
Assim,

C2 n LU , pois { C2 n } limitada superiormente por c 1

C2 n +1 LL , pois { C2 n +1 } limitada inferiormente por c 0 .

Mostremos

LU =L L .

que

Sabemos

C2 nC2 n1 0 , pois os valores

que

C2 nC2 n1=

que

q n so inteiros positivos e

1
q2 n q2 n1 .

Assim,

q n+1 <q n , uma vez

q n+1=a n+1 qn +q n1 N . Logo,

lim (C 2 nC 2n1 )=0

Ou seja,

LL LU =0 . Portanto,

LU =L L , cqd.

Teorema 2: Se um nmero irracional positivo

contnua simples infinita

lim Cn =x

contnua

[a0 ; a1 ,a 2 ] , ento

, onde {

Cn } a sequncia dos convergentes da frao

[a0 ; a1 ,a 2 ] .
x=a 0+

Demonstrao: Tomando

expandido em uma frao

1
a1 +

1
a2 ++

1
an+

x=a 0+
teremos

a1 +

1
a2 ++

onde

1
an+
xn

xn

a cauda de ordem

x .

frao contnua

Como

x n+1 >an +1

1
1
< an +
x n+1
an+1
1
an < x n< an +
an +1

x n =an +

ou

1 1
> >
an x n

1
a n+

1
.
a n+1

Observe que

C0 =a0 < x 0 <a 0+

C1 =a0 +

x=a 0+

1
=C 1 C 0< x<C 1
.
a1

1
1
> x =a0 + >a0 +
a1
x1
1

1
a1 +
a2

Assim, conclumos

< a0 +

1
1
a1 +
a2

1
a1+

x<C 3 .Portanto C 2 < x< C3

1
a2+

=C2 C 2 < x< C1

1
a3

C2 n < x <C 2n +1 , n=0, 1,2,

E, por teorema,

lim C2 n= lim C 2 n+1=L L=x . cqd.

Exemplo: Consideremos

x= 18=4,2426406

Sabemos que sua representao como frao contnua simples

+
1
+
4
1
+
8
1
x=4 +
4

da

lim Cn = 18=4,2426406

E o resultado acima nos garante que

, i, a sequncia

dos convergentes da frao converge para

18.

[a1 , a 2 , a3 ]

Teorema 3: Toda frao contnua simples infinita

representa um

irracional.

[ a1 , a2 , a 3 ]

Demonstrao: Denotando
est entre

por , observamos que, por teorema,

c i e c i +1 e, portanto, 0<|c i|< c i+1c i .

Multiplicando por

qi

esta desigualdade, temos

0<| qi p i|<|c i+1 q ic i qi|<

Supondo racional, i,

a
b ,
b

acima, aps multiplicao por

qi

Como a sequncia dos

1
qi +1 .
aeb

inteiros com

b>0 , a desigualdade

nos fornece

|a q ib pi|< q

i+1

crescente, podemos escolher i suficientemente

grande de forma que

b< qi+1 .

Desta forma o inteiro

a q ib pi estaria entre 0 e 1, o que impossvel, cqd.

Teorema 4: Seja

em frao contnua. Se

um irracional e

a
b

pn
qn

os convergentes da expanso de

for um racional com

b>0

tal que

| ab|< pq
n

Para algum
algum

n 1 , ento

b> qn . Mais ainda, se

n 0 , ento b qn +1 .

|ba|< qn p n

para

Demonstrao: Inicialmente mostraremos que a segunda parte do teorema implica

a primeira. Supondo falsa a primeira afirmao teremos a existncia de

| ab|< pq
n

com

b qn .

Destas desigualdades obtemos

|ba|<| qn p n|.

Mas a segunda parte do teorema nos diz que isto implica

uma contradio, pois

a
b

b qn +1 . Logo, temos

q n< qn +1 para n 0 .

Para provarmos o inverso, procedemos, novamente, por contradio.

Suponhamos

|ba|<| qn p n|e b<q n+1

Consideremos o sistema linear

p n x + pn+1 y=a
q n x +q n+1 y =b .
1

Sabemos que o determinante principal

possui uma soluo em inteiros

x=0

ento

b= y qn+1

e, consequentemente, este sistema

x e y , ambos diferentes de zero. Isto porque, se

o que implica

y >0 e b q n+1 , em contradio com

b< qn+1 .

Agora,

se y=0 ento a=x p n , b=x qn e|ba|=|x qn x pn|=|x|| q n pn|| q n pn| uma vez que |x| 1
o que nos d, novamente, uma contradio.
A seguir, mostramos que

xe y

possuem sinais opostos. Se

y >0 , ento

x q n=b y q n+1 , i , x> 0 .

Conclumos, agora, que
portanto,

q n pn e

q n+1 p n+1

possuem sinais opostos e,

x ( q n pn ) e y ( q n+1 p n+1 ) possuem o mesmo sinal.

Do sistema acima obtemos

ba=x ( q n pn ) + y ( qn+1 p n+1 ) .

Desta forma, como os dois termos da direita da igualdade acima possuem o mesmo
sinal, temos

|ba|=| x ( qn p n ) + y ( q n+1 pn +1 )|=| x ( qn p n )|+| y ( qn+1 p n+1 )|>| x ( qn p n )|=| x| q n pn

.
Absurdo!
9

Assim, o teorema est provado.

]
53=[7 ; 3,1,3,14

Exemplo: Consideremos

C1 =7 e

, tomemos o primeiro convergente

a 20
=
b 3 .

Temos

| 53 203|=0,613443222 <0,280109889 = 537

Assim,

b=3>1=qn , como mostra o resultado.

Alm disso,

| 53.320|=1,840329668 <0,280109889 = 53 .17

teorema provado,

a
, b 1 , tal que
b

. E, pelo

3 1 .

Teorema 5 (Lagrange): Seja

de

um nmero irracional. Se existir um racional

| |

a
b um dos convergentes da expanso

a
1
<
b 2b , ento

em frao contnua.

a
b

Demonstrao: Suponhamos que exista

racional satisfazendo a hiptese do

teorema, mas que no seja convergente da frao contnua de

generalidade, suponhamos
Para este inteiro

( a , b ) =1 . Seja

o inteiro tal que

|ba|<| qn p n|

a desigualdade

. Sem perda de
q n b<q n+1 .

impossvel, pelo

Teorema anterior. Logo

| |
p

| qn p n||ba|< 2 b , q n
n

Usando o fato de que

<

1
2 b qn .

a pn
e que b p na q n um inteiro no nulo, obtemos
b qn

| ||

|| || |

p a
p
a p
a
1
1
b pna qn = n = + n + n <
+
b qn qn b
b qn
b
qn 2 b 2 b q n
1

b qn

10

e isto implica

b< qn , ou seja, contradio, cqd.

Exemplo: Para , consideremos

a 3
=
b 1 . Ento

| 31|<|0,141592|=0,141592<0,5= 211
+
E para

1
15

a 333
1 , temos
=
=3+
b 106
7

1
<0,00008322<4,4499822=
| 333
|
106
2(106)

2. Fraes contnuas peridicas

i. Fraes contnuas peridicas
Quando a sequncia dos valores apresenta repetio, ou seja, algum
perodo, como no exemplo de 3, a frao contnua simples chamada de frao
contnua peridica e pode ser denotada por

em que

e os valores

formam o perodo que se repete.

A frao contnua
peridica.
Exemplo:

dita

3=[ 1 ;1,2,1,2,1,2, ]=[1; 1,2]

frao contnua puramente

ii. Irracional quadrtico

Definio: Chamamos de irracional quadrtico um nmero irracional
raiz da equao quadrtica

b24 ac >0

a x 2+ bx+ c=0 , onde

a,b,c

so inteiros e

no um quadrado perfeito.

Exemplo:

1+ 5
1 5
raiz de x + x1=0,em que b 4 ac =5.Do mesmo modo ,
.
2
2

iii. Teorema de Euler

11

que

Teorema: Se

uma funo contnua peridica, isto , se

ento

um

nmero

irracional

quadrtico.

x=[a 0 ; a 1 , , a k1 , x k ] , onde

Demonstrao: Seja

x k =[a k ; ak+1 , ] . Logo,

x k =[a k ; ak+1 , , ak +n1 , x k ] .

p^ ~
p
,
q^ ~
q

Sejam

xk=

xk ~
p+ ^p
x k q^ + ~
q

Mas, tambm,

Assim,

x k=

os dois ltimos convergentes de

x=

x=[a k ; ak+1 , , ak+ n1] , ento

~
q x 2k + ( q^ ~
p ) x k ^p=0 . (i)
x k pk1 + pk2
x k qk1 +q k2 ;

p k2q k2 x
qk 1 x pk1 .

Substituindo e simplificando

xk

dado em (i), obtemos

a x + bx+ c=0 com

a=~q q 2k2( q^ ~
q ) q k2 qk1 ^p q 2k1 ;
b=2 ( ^p pk1 qk 1 ~
q pk2 qk2 ) + ( q^ ~
p ) ( p k2 q k1+ qk2 p k1) ;
2
2
c=~
q p k2( q^ ~p ) p k2 pk1 ^p pk1 .

E, portanto,

a,be c

so nmeros inteiros. Como

irracional, ento

b24 ac >0 , cqd.

Exemplo: Temos
equao

2=[ 1; 2,2,2,2,2,2 ] =[1; 2]

x 2=0 . Da,

. Alm disso,

b24 ac =04.1 . (2 )=8

x= 2

raiz da

que no um quadrado

perfeito.

iv. Teorema de Lagrange

Teorema: A frao contnua que representa um irracional quadrtico
peridica.

12

Demonstrao: Sabemos que um nmero quadrtico irracional satisfaz a uma

equao quadrtica com coeficientes inteiros, que pode ser escrita como
2

a x + bx+ c=0

(ii).

x=[a 0 ; a 1 , , x k , ] ,

Se

x k =[a k ; ak+1 , ] ,

tomando-se

x=[a 0 ; a 1 , , a k1 , x k ] . Alm disso,

x=

ento

x k pk1 + pk2
x k qk1 +q k2 .
2

A k x + Bk x+ Ck =0 , em que

Substituindo-se o valor acima em (ii), obtemos

A k =a p 2k1+ b p k1 q k1+ c q2k1 ;

B k =2 a pk1 p k2+b ( p k1 q k2 pk2 qk 1 ) +2 c qk 1 q k2 ;
2

C k =a pk2 +b pk2 qk2 +c q k2 .

Se

A k =0 , i, a p2k1 +b pk1 qk1 +c q2k1=0 , obtemos

b qk1 (b24 ac )q 2k1 b (b2 4 ac)
pk1=
=
q k1 .
2a
2a

Logo,

p k1
q k1

b (b 24 ac) p k1
=
2a
q k1 . Ento, a equao (ii) tem um nmero racional
como raiz, o que impossvel, pois

equao quadrtica

A k x 2+ Bk x+ Ck =0 tem

irracional. Portanto,

xk

Ak 0 e a

como uma de suas razes.

Mostremos agora que peridica.

Dos valores de

A k , B k e Ck

e da Frmula do determinante, obtemos

2 a p k1 pk2 +b ( pk 1 q k2p k2 qk1 ) +2 c qk1 qk2

]-4(

2
k

B 4 A k C k =

a pk1 +b pk1 qk1 +c qk1 )(

2

a p2k2 +b pk2 qk2 +c q2k2 =( b24 ac ) ( pk1 qk 2 p k2 q k1 ) =b 4 ac .

13

(iii)

x q k1 pk1 >

Pelo Teorema 2 de 1.iii., temos

k1 , com

| k1|<1

, tal que

pk1=x qk1 +

1
.
qk

Logo, existe um nmero

k1
qk 1 .

Desta equao, temos

2

A k =a x qk 1 + k1 + b qk 1 x q k1 + k1 + c q2k1=( a x 2 +bx +c ) q 2k1+2 ax k1 + a k1

+b k1=2 ax k 1 +
2
q k1
q k1
q k1

A k | 2|ax+|a|+ b .

Logo, |
E como

C k =A k1 , temos B k|2| ax+|a|+ b .

2

De (iii), segue que

B 2k a| A k C k|+|b 24 ac|<4 ( 2|ax|+|b|+|c|) +|b 24 ac| .

Observe que os valores absolutos de

A k , B k e Ck

so menores do que nmeros

k . Como

A k , B k e Ck

so nmeros inteiros, existe

que no dependem de

apenas um nmero finito de triplas (

Ak , Bk , Ck

diferentes entre si. Logo,

podemos encontrar uma tripla (A,B,C) que ocorre pelo menos trs vezes, digamos

( Ak 1 , B k1 , Ck 1 ) , ( A k 2 , Bk 2 , Ck 2 ) e ( A k 3 , B k3 , Ck 3 )
de

xk 1 , xk 2 e xk 3

so razes

Ay + By+ C=0 , com, pelo menos, duas iguais, por exemplo,

xk 1 e xk 2 .

Ento,

ak 2=ak 1 , ak 2+1=ak 1+1 , ak 2+2=ak 1+2 , e a frao contnua peridica.

Exemplo:
2

Temos

x= 19

b 4 ac =04.1 . (19 )=76

raiz

da

equao

x 19=0 .

Da,

que no um quadrado perfeito. Alm disso,

representado pela frao contnua simples

. Portanto,

19=[1 ; 2,1,3,1,2,8]

que peridica.

3. Referncias bibliogrficas
Introduo teoria dos nmeros / Jos Plinio de Oliveira Santos. 3 ed. Rio de
Janeiro : IMPA, 2010;
Fraes Contnuas: Propriedades e Aplicaes / Eliana Xavier Linhares de
Andrade, Cleonice Ftima Bracciali, 2005 : Pliade;
Fraes contnuas e Aplicaes TCC Vinicius Carvalho da Silva UEMS
Cassilndia/2010 (http://www.uems.br/portal/biblioteca/repositorio/2012-0201_10-19-34.pdf).

14