ADMISIN

2010-I
FRACCIONES CONTINUAS SIMPLES (FCS)
CENTRO
DE ESTUDIOS PREUNIVERSITARIOS
UNIVERSIDAD NACIONAL DE INGENIERA

CEPRE-UNI
FRACCIONES CONTINUAS SIMPLES (FCS)
Aplicacin del algoritmo de Euclides en la representacin de un nmero racional
mediante una FCS.
Definicin: Se define a una fraccin
continua simple finita por la expresin

a0 +

1
a1

1
a2

donde a0 es entero, los nmeros a1, a2,

a3, an son enteros positivos y n es
finito.

1
1

a3
.

.
.

Se puede expresar como:

a0 +

.
a n-1

1
an

1
1
1
1
.....
a1 a2 a3
an
Y tambin: [a0; a1, a2, a3, , an]

Ejemplo:

67
29

1
3

1
4

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

1
3

1
4

1
2

a
Uso del algoritmo de Euclides para hallar la FCS del racional b . (
a y b )
De la tabla del algoritmo de Euclides para el calculo del MCD(a, b), se obtienen los
enteros x, y, z, ... v, w.
x y z . . v w
a b _ _ . . _ d
_ _ _ . . d 0

a
=x +
b
y

1
1
z

1
.
.

.
v

CEPRE-UNI

1
w

ARITMTICA

ADMISIN 2010-I

Ejm:

FRACCIONES CONTINUAS SIMPLES (FCS)

67
29

67

2
29
9

3
9
2

4
2
1

2
1
0

29
67

29

0
67
29

2
29
9

67
=
29

1
3

1
4

1
2

67
1
1 1
2
29
3 4 2

67
= [2; 3, 4, 2] ,
29

Ejm:

3
9
2

4
2
1

2
1
0

29
=
29 67
67

1
1

= [0;2 , 3, 4, 24] 1
2

0 1 1 1 1
2 3 4 2

Ejm:

29

11

29

Ejm:

12

Propiedades:
1)

11

29
= [-3; 2, 1, 3]
11

1
12
5

2
5
2

29
=
11

1
2

1
1

1
3

3 1 1 1
2 1 3

2
2
1

2
1
0

7
=
12

1
2

1
2

1
2

7
1 1 1
= [-1; 2, 2, 2] 1
12
2 2 2

Todo nmero racional puede ser representado mediante una fraccin

continua simple finita y tal representacin es bsicamente nica.

CEPRE-UNI

ARITMTICA

ADMISIN 2010-I

FRACCIONES CONTINUAS SIMPLES (FCS)

2)

Toda fraccin continua simple finita representa a un nmero racional.

3)

Las fracciones continuas se utilizan para obtener aproximaciones

racionales de los nmeros reales por medio de los convergentes o
reducidos de la FCS.

Definicin:Se denomina convergente o aproximadamente de orden i, a la

expresin:
Ci = [a0; a1,. . . , ai ] , i = 0,1,2,3,...
c0 a0 a0

c1 a0 ; a1 a0

c2 a0 ; a1 , a2

1
a1

a0

1
a1

c3 a0 , a1 , a2 , a3 a0

1
a2

1
a1

1
a2

1
a3

Proposicin:
(i)
Los convergentes pares C2i forman una sucesin creciente y los impares
C2i+1 una sucesin decreciente.
(ii)

Cada convergente impar es mayor que cada convergente par y el valor

de la fraccin continua est entre los convergentes pares y los impares.

Observacin: Para C = [a0; a1, an] es evidente que Cn coincide con el valor de
C y es un nmero racional.

Ejemplo:

37 1 7 1 1 1 1 1 1 1
1
30
30
30
4 2
4 1
4 1
7
7
7
3 1
2
2

Entonces

37
1,4,3,2
30

Convergentes:
CEPRE-UNI

ARITMTICA

ADMISIN 2010-I

FRACCIONES CONTINUAS SIMPLES (FCS)

C0 = 1
C1 = 1

1 5
= 1,25
4 4

1
3 16
1

1
13
C2 =
13
13 = 1,230769... ;
4
3
3
1
1
1
1
7 37
1
1
1
1
1

1
1
2
30
30
30
4
4
4
C3 =
= 1,2333.....
1
7
7
7
3
2
2
1

Observacin:
C0 < C2 < C4 <.. C ..< C5 < C3 < C1

CONSTRUCCIN DE LOS NMEROS RACIONALES

Las Fracciones.

*
Se define a la fraccin como el par ordenado (a, b) , a y b * , donde 0
Se define al conjunto de las fracciones como F x * , esto es

F ( a, b) / a , b * .

CEPRE-UNI

ARITMTICA

ADMISIN 2010-I

FRACCIONES CONTINUAS SIMPLES (FCS)

por ejemplo (1,2), (2,4), (6,2) y (-3,5) pertenecen a F.

Por razones practicas en vez de (a, b) se escribe
1 2 3
, y
pertenecen a F .
2 4
5

a
, entonces
b

Observacin:
(1,2) y (2,4) son diferentes porque son pares ordenados diferentes, luego:

1
2
y
2
4

son

fracciones diferentes.
Relacin de equivalencia

Clase de Equivalencia.

Se define en F la relacin :
(a, b) (c, d) a.d = b.c

Sea (a, b) F , se define la clase de

a c
y
b d

equivalencia de

son equivalentes si a.d = b.c

Notacin: (a, b) (c, d)

1 2
(1,2) : (2,4) :
2 4

a
b

x x
a
b y / y :

c
d

porque 1.4 = 2.2

a
como:
b

b
1 2 3 -1 -2 -3

Ejm: , , , , , .......
2 2 4 6 -2 -4 -6
es una clase de
equivalencia.

Desde que = [(a, b)] ( x, y ) /( x, y) F , ( x, y) : (a, b)
b
a

1
2 (1,2) (1,2),(2,4),(3,6),(-1,-2),(-2,-4),(-3,-6),.......

p
p a
a
Definicin: q es el representante cannico de si , p y q PESI y q>0
q b
b

podemos escribir:

Propiedades:
1.
El representante cannico es nico.

Por ejemplo:
0
0
0
0 0 0 0

, , ,
,
,
, ....... es .
1
3 2 1 1 2 3

El representante cannico de
1 2 3 1 2 3

el de 2 , 4 , 6 , 2 , 4 , 6 .......

3 6 9 3 6 9

, , , , ,
.......
4 8 12 4 8 12

el de

CEPRE-UNI
3 2 1 1 2 3

, , , , , ,.......
el de
3 2 1 1 2 3

es

1
2

es

3
4

es

1
1

ARITMTICA

ADMISIN 2010-I

2.Si

u a , entonces u a
v b ,
v b

2

Ejem
3.

FRACCIONES CONTINUAS SIMPLES (FCS)

Si

1
2

1
2 1
2 , entonces 4 =
2 ;

2
4

3
6

2
1
2 4

u a , entonces u a
,
v b
v b

3

Las clases de equivalencia son conjuntos disjuntos:

1
3 1
2 , entonces 4
2

4. La relacin de equivalencia particiona al

conjunto de las fracciones F en subconjuntos
disjuntos cuya unin es F.

2 4 4
, , , .....
3 6 6

Es decir:

2
F / : = ....,
3

1
2

2
3

3 1
0
4 , 1 , 1 , 4 ,.....

1
2

1 2 3
, , ,.....
2 4 6
F

( Particin de F)
F ......

2
1 3

3
2 4

1

0
1 1

Propiedades de la relacin
de equivalencia :

es reflexiva:

CEPRE-UNI

3
.......
4

a
a
:
b
b
a
:
es simtrica: si
b
a
:
es transitiva: si
b

c
c
a
:
entonces
d
d
b
c
c
e
:
y
, entonces
d
d
f

ARITMTICA

ADMISIN 2010-I

FRACCIONES CONTINUAS SIMPLES (FCS)

a
e
:
b
f

Observacin:
La relacin : es de equivalencia sobre F , porque cumple las tres propiedades anteriores.
Definicin: A los elementos de la particin de F se les llama nmeros racionales
y al conjunto F / se le llama el conjunto de los nmeros racionales

= F/

1 2
= ......, ,
2 3

= (x * ) /

0 3
, ,
,.......
4
1

Operaciones y Relacin de orden en Q

Adicin (+)

a
b

Multiplicacin ( )

a
b
c

Sustraccin (-). d existe el nmero

racional d tal que d d

c

0
1

a d b c
b d

c = a c
d
b d
a

Se define la sustraccin de b y d :


a
b

Divisin(). Para cada racional d

+ d =

d = b d



c

a
b

c
d

0
1
c
d

existe el racional
1

c
d

tal que

Se define:

c
d

c
0
c
que d 1 , con


d

= 1

a
b
1

c
d
d
c

, siempre

Sean b y d enteros positivos,

Relacin de orden (<)

luego b < d


3 2

si y slo si a d < b c

,
,.....
Nota: El conjunto B ....., , , , , ,
1 1 1 1 1 1 1

tiene una relacin uno a uno con los enteros

0

....,-3,-2,-1,0,1,2,3,.... , es decir para z :

CEPRE-UNI

ARITMTICA

ADMISIN 2010-I

FRACCIONES CONTINUAS SIMPLES (FCS)

z
a le corresponde z , esto nos ndica que
1

z
1

Las operaciones de suma, producto y la relacin

de orden en el conjunto B tiene su anlogo en
y se preservan dichas operaciones.

EL CONJUNTO Q ES DENSO EN LOS REALES

Entre dos nmeros racionales diferentes siempre existe otro racional.
Ejm: entre

4
7
y
7
9

, basta con calcular

1 ( 4 7 ) 85
2 7 9
126

que en la recta numrica se ubica entre

4 y 7
.
7
9

4
7

86
126

7
9

PROPIEDAD DE LA DENSIDAD.
El conjunto Q es denso porque entre dos nmeros racionales diferentes siempre
existe otro racional. Dados dos nmeros racionales distintos < , siempre existe
otro nmero racional tal que < <. Si =

a
c
y=
b
d

basta con tomar como la semisuma de y o tambin =

, con b y d positivos,
1 ac

2 b d

Ahora bien, reiterando el proceso de introducir un racional entre cada dos

racionales distintos es claro que entre dos racionales distintos existen infinitos
racionales distintos.
Por ejemplo, entre
Ahora entre
tenemos

1
5
y 1 se encuentra .
4
8

1
5
7
1
7
11
y
se encuentra
, entre
y
se encuentra
, etc.,
4
8
16
4
16
32

as

1
11
7
5
< ...... <
<
<
< 1, por eso se dice que el conjunto de los racionales es
4
32 16
8

un conjunto denso.
La propiedad de la densidad de los racionales en los reales implica que para todo
nmero real existe una sucesin de nmeros racionales que converge a dicho
nmero racional. Esto quiere decir que para todo nmero real r ya sea racional
irracional siempre existe una sucesin de nmeros racionales a n que converge a
dicho nmero real. Esto es, siempre se puede encontrar un a n tan cerca de r como
se quiera.

CEPRE-UNI

ARITMTICA

ADMISIN 2010-I

FRACCIONES CONTINUAS SIMPLES (FCS)

Ejm.: Se define la siguiente sucesin de nmeros racionales a 0, a1, a2, .. en

forma recursiva.
a0 = 1 ,

an 1

an
1

2
an

para n = 0, 1, 2,..

Sabiendo que dicha sucesin converge a 2 = 1,414213562., hallar el

primer trmino de la sucesin que aproxima a 2 en menos de 104
Rpta: a3

(se deja al lector el procedimiento de la solucin)

CLASES DE FRACCIONES:
a
es:
b
2 5
Ejm: ,
5 7

Sean a y b , con b 0, la fraccin

1.- Propia si a b
CEPRE-UNI

2.- Impropia si a b Ejm:

5 7
,
2 5

ARITMTICA

ADMISIN 2010-I

3.- Unitaria si a b

FRACCIONES CONTINUAS SIMPLES (FCS)

Ejm:

2 7 1
, ,
2 7 1

4.- Irreductible o irreducible cuando sus trminos son primos entre s.

2 6
,
9 7

5.- Decimal cuando el denominador es potencia de 10.

Ejm:

6.- Ordinaria comn cuando no es decimal.

Ejm:

2 5
3
,
,
1 10 100

Ejm:

5
2
,
25 14

Un grupo de Fracciones son:

a) Fracciones Homogneas, cuando los valores absolutos de los denominadores
son iguales.
2 5 3
, ,
4 4 4

Ejm:

b) Fracciones Heterogneas, cuando no son homogneas. Ejm

8
3 2
,
,
10 5 5

c
a
c
a
y
y k tal que k
d
b
d
b
a
c
c
a
entonces se dir que
es un divisor de
y que
es un mltiplo de
.
b
d
d
b
4
4
4
4
4
4
y
es un mltiplo de
Ejm: 3 , entonces es un divisor de
3
9
3
3
9
9

Sean

a b

Sean p , q ,....., r fracciones irreductibles, entonces:

a b
c
MCD (a, b,...., c)
, ,.....,
y
r
MCM ( p, q,...., r )
p q

MCD

a b
c
MCM (a, b,...., c)
, ,.....,
r
MCD ( p, q,...., r )
p q

MCM

Propiedad
a c
a c
y fracciones irreductibles tales que + es un entero, entones
b d
b d
b d b d

Sean

CONVERSIONES
1. De fraccin ordinaria a decimal. Sea

a
, este nmero racional tiene un
b

punto que lo representa en la recta real y se dir que dicho punto es su valor
numrico, este es aquel nmero originado al efectuar el cociente de a entre b
se presentan los siguientes casos:
a)

3
0,75 Decimal exacto
4

CEPRE-UNI

ARITMTICA

10

ADMISIN 2010-I

FRACCIONES CONTINUAS SIMPLES (FCS)

3
Decimal peridico puro.
0,2727.... 0,27
11
)
7
0,58 3 Decimal peridico mixto.
c)
12

b)

2. De decimal a fraccin ordinaria. En este caso tener en cuenta las siguientes

consideraciones
NOMBRE FORMA GENERATRIZ DENOMINADOR DE CANTIDAD DE
LA GENERATRIZ
CIFRAS
(EN SU FORMA
DECIMALES
IRREDUCTIBLE)
Decimal
Numricamente
0,abcd
2 ; 5 2 ; 5
abcd
f

exacto o
igual al mayor
1000
terminante
exponente del
factor 2 y/ 5 que
contiene el
denominador.

Decimal
p
Numricamente
xyz
0, xyz
f

peridico
(p: no contiene ni
igual al menor
999
puro
factor cinco ni factor nmero de nueves
dos)
que es necesario
escribir tal que
contenga al
denominador.

Decimal
En este caso se
2 p ; 5 p ;
abxyz ab
0,abxyz
f

peridico
aplican los casos
99900
2 5 p
mixto
anteriores tanto
(p: no contiene ni
para la parte
factor dos ni cinco)
peridica como
para la parte no
peridica.
NOTA:
Como un nmero decimal inexacto es originado por una fraccin que
en su forma equivalente tiene a un nmero formado por cifras nueve, es
importante tener en cuenta para el anlisis la siguiente descomposicin:
9

32

9 9

32 11

9 9 9

33 37

9 9 9 9

32 11

9 9 9 9 9

CEPRE-UNI

32 41

101
271
ARITMTICA

11

ADMISIN 2010-I

FRACCIONES CONTINUAS SIMPLES (FCS)

9 9 9 9 9 9

33 7

11

13

37

Propiedad
Sean A, B,C,..enteros positivos PESI 2 a 2, donde ninguno es mltiplo de 2 ni
de 5. Si dichos nmeros generan a, b, c;, cifras peridicas, entonces el
producto de ellos ( A .B . C ) genera m cifras peridicas donde m es el mnimo
comn mltiplo de a, b, c., ..
Ejemplo: 101 y 7 generan 4 y 6 cifras peridicas respectivamente y como el
mnimo comn mltiplo de 4 y 6 es 12, entonces 707 genera 12 cifras
peridicas (707 = 101 7 ).
Ejemplo:

12
0, xy
52

101

0, xyzuv
3
2 5 11

100001

N,xyzabcdef
3
5 7

2
0, x
1 x2 ....x12
101 7

Propiedad
Sean p y q dos nmeros enteros positivos PESI tal que q no es mltiplo de 2 ni de
p

5, entonces la cantidad de cifras peridicas que genera q es un divisor del

indicador de Euler de q.

CEPRE-UNI

ARITMTICA

12