ADMISIN

2010-IDE ESTUDIOS PREUNIVERSITARIOSFRACCIONES CONTINUAS SIMPLES (FCS)

CENTRO
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 +

a1

a2

a3
donde a0 es entero, los nmeros a1,
a2, a3, an son enteros positivos y
n es finito.

.
.

Se puede expresar como:

a0 +

1
a1

a2

a3

.....

1
an

a n-1

1
an

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

Ejemplo:

67
= 2
29

1
3

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

1
3

1
4
2

a
. (a y b )
b
De la tabla del algoritmo de Euclides para el calculo del MCD(a, b), se obtienen los enteros x, y,
z, ... v, w.

Uso del algoritmo de Euclides para hallar la FCS del racional

a
=x +
b
y

x y z . . v w
a b _ _ . . _ d
_ _ _ . . d 0

1
1
z

1
.
.

Ejm:

67
29

1
w

67

2
29
9

3
9
2

67
= [2; 3, 4, 2] ,
29
CEPRE-UNI

4
2
1

67 2
=
29

2
1
0

1
1

3
4

67
29

1
3

1
4

1
2

1
2

ARITMTICA

ADMISIN 2010-I

Ejm:

FRACCIONES CONTINUAS SIMPLES (FCS)

29
67

0
67
29

29

2
29
9

3
9
2

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

Ejm:

29
11

29

3
11
4

2
4
3

4
2
1

0
1
3
1

7
12

1
12
5

2
5
2

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

1
3

3
2
2
1

1
2

1
4

1
2

1
4

1
2
29
= 3
11

1
1

1
3

1
3
7
= 1
12

1
1

2
2

1
2

1
2

1
1

2
1
0

1
3

3
1
0

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

Ejm:

1
2

29 0
=
67
2

2
1
0

1
2

1
2

Propiedades:
1)

Todo nmero racional puede ser representado mediante una fraccin continua simple
finita y tal representacin es bsicamente nica.
Toda fraccin continua simple finita representa a un nmero racional.
Las fracciones continuas se utilizan para obtener aproximaciones racionales de los
nmeros reales por medio de los convergentes o reducidos de la FCS.

2)
3)

Definicin:
Se denomina convergente o aproximadamente de orden i, a la expresin:
Ci = [a0; a1,. . . , ai ] , i = 0,1,2,3,...

c0
c2

a0
a0 ; a1 , a2

c1

a0
1

a0
a1

1
a2

c3

a0 ; a1

a0 , a1 , a2 , a3

a0

1
a1
1

a0

a1
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.
CEPRE-UNI

ARITMTICA

ADMISIN 2010-I

Ejemplo: 37
30

FRACCIONES CONTINUAS SIMPLES (FCS)

7
30

1
30
7

2
7

37
30

Entonces

1
7
2

4
3

1
2

1,4,3,2

Convergentes: C0 = 1
C1 = 1

1
4

5
= 1,25
4

C2 = 1
4

C3 = 1
4

1
3
1
1

1
13
3

1
4

1
2

3
13

1
7
2

16
= 1,230769... ;
13
1

1
4

2
7

1
30
7

7
30

37
= 1,2333.....
30

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 *

x * , esto es F

Se define al conjunto de las fracciones como F

(a, b) / a , b * .

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

Por razones practicas en vez de (a, b) se escribe

a
1 2
3
pertenecen a F .
, entonces , y
b
2 4
5

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

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
son equivalentes si a.d = b.c
y
b d

Notacin: (a, b)
(1,2) (2,4)

CEPRE-UNI

(c, d)

1 2

2 4

equivalencia de

Ejm:

1
2

a
a
como:
b
b

x x a
/
y y b

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

porque 1.4 = 2.2

es una clase de equivalencia.
ARITMTICA

ADMISIN 2010-I

FRACCIONES CONTINUAS SIMPLES (FCS)

a
= [(a, b)] ( x, y) /( x, y) F,( x, y) (a, b)
b
1
podemos escribir:
(1,2)
(1,2),(2,4),(3,6),(-1,-2),(-2,-4),(-3,-6),.......
2
p
a
p
a
Definicin: es el representante cannico de
si
, p y q PESI y q>0
q
b
q
b

Desde que

Propiedades:
1.
El representante cannico es nico.
el de

Por ejemplo:
El representante cannico de
0
0 0 0 0 0
0
, , ,
,
,
, ....... es .
1
3 2 1
1 2
3
2.

3.

a
u
a
,
, entonces
b
v
b
2
1
2
1
Ejem
;
, entonces
=
4
2
4
2

Si

Si

el de
el de

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

es

3 6 9 3 6 9
, , , , ,
.......
4 8 12 4 8 12
3 2 1 1 2 3
, , , , , ,.......
3 2 1 1 2 3

es
es

1
2
3
4

1
1

u
v

u
v

a
, entonces
b

u
v

a
b

1
2

2
4

3
6

1
2

2
4

Las clases de equivalencia son conjuntos disjuntos:

3
4

1
, entonces
2

3
4

1
2

4. La relacin de equivalencia
particiona al
conjunto de las fracciones F en subconjuntos
disjuntos cuya unin es F.
Es decir:

F / = ....,

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

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

2
3

1
2

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

( Particin de F)

F ......

2
3

1
2

3
4

1
1

0
1

3
4

F
.......

a
a

b
b
a
c

es simtrica: si
entonces
b
d
a
c
c

es transitiva: si
y
b
d
d

es reflexiva:

Propiedades de la relacin
de equivalencia :

CEPRE-UNI

c
a

d
b
e
a
e

, entonces
f
b
f

ARITMTICA

ADMISIN 2010-I

FRACCIONES CONTINUAS SIMPLES (FCS)

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
conjunto F / se le llama el conjunto de los nmeros racionales
= (x* ) /

= F/

= ......,

y al

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

Operaciones y Relacin de orden en Q

Adicin (+)

ad bc
a
c
+
=
bd
b
d

Multiplicacin ( )

a
b

c
d

Sustraccin (-).

c
d

Divisin( ). Para cada racional

existe el racional c
d

Se define la sustraccin de a y c :

existe el nmero

racional c tal que c

tal que

c
d

a
b

0
.
1
c
d

0
1

c
d

a c
c
=
b d
d

Se define:

1
1

que

c
d

c
a
=
d
b
a
b

c
d

c
a
=
d
b

0
, con
1

c
d

c
d

, siempre

d
c

Sean b y d enteros positivos,

Relacin de orden (<)

luego a < c
b

si y slo si a d < b c

3
2
1 0 1 2 3
,
,
,
,
,
,
,.....
1
1
1
1 1 1 1
tiene una relacin uno a uno con los enteros
Nota: El conjunto B

.....,

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

z
z
le corresponde z , esto nos ndica que
1
1

se relaciona con .
Las operaciones de suma, producto y la relacin
de orden en el conjunto B tiene su anlogo en
y se preservan dichas operaciones.
CEPRE-UNI

ARITMTICA

ADMISIN 2010-I

FRACCIONES CONTINUAS SIMPLES (FCS)

EL CONJUNTO Q ES DENSO EN LOS REALES

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

4
7
1 4
y , basta con calcular (
2 7
7
9

7)
9

que en la recta numrica se ubica entre

85
126
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 =
y o tambin =

a y = c , con b y d positivos, basta con tomar como la semisuma de

b
d

1 a c

.
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

1 y 1 se encuentra 5 .
4
8

1 y 5 se encuentra 7 , entre 1 y 7 se encuentra 11 , etc., tenemos as

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

Ahora entre

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 an que converge a dicho nmero
real. Esto es, siempre se puede encontrar un an tan cerca de r como se quiera.
Ejm.: Se define la siguiente sucesin de nmeros racionales a0, a1, a2, .. en forma
recursiva.
an

a0 = 1 ,

an
2

1
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 10 4
Rpta: a3

(se deja al lector el procedimiento de la solucin)

CLASES DE FRACCIONES:
Sean a y b

1.- Propia si a

3.- Unitaria si a

CEPRE-UNI

a
es:
b
2 5
Ejm: ,
5 7
2 7 1
, ,
Ejm:
2 7 1

, con b 0, la fraccin

2.- Impropia si a

Ejm:

5 7
,
2 5

ARITMTICA

ADMISIN 2010-I

FRACCIONES CONTINUAS SIMPLES (FCS)

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

5.- Decimal cuando el denominador es potencia de 10.
6.- Ordinaria comn cuando no es decimal.

2
6
,
9 7
2 5
3
,
Ejm: ,
1 10 100

Ejm:

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
Ejm: , ,
4 4 4
b) Fracciones Heterogneas, cuando no son homogneas. Ejm
a
c
y
b
d

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

Sean

Sean

MCD

y k

8 , 3 , 2
10
5 5

tal que k

c
a
es un mltiplo de
.
d
b
4
4
es un mltiplo de
3
9

a b
c
, ,.....,
fracciones irreductibles, entonces:
p q
r

a b
c
, ,.....,
p q
r

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

MCM (a, b,...., c)

MCD( p, q,...., r )

Propiedad

Sean

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

CONVERSIONES
1. De fraccin ordinaria a decimal. Sea

a
b

, este nmero racional tiene un 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:
3
0,75
Decimal exacto
a)
4
3

0,2727.... 0,27
Decimal peridico puro.
b)
11

7
0,583 Decimal peridico mixto.
c)
12

CEPRE-UNI

ARITMTICA

ADMISIN 2010-I

FRACCIONES CONTINUAS SIMPLES (FCS)

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

consideraciones
NOMBRE FORMA
GENERATRIZ DENOMINADOR DE
CANTIDAD DE
LA GENERATRIZ (EN CIFRAS DECIMALES
SU FORMA
IRREDUCTIBLE)
Numricamente igual al
Decimal
2 ;5 2 .5
0,abcd
abcd
f
mayor exponente del
exacto o
10000
factor 2 y/ 5 que
terminante
Decimal
peridico
puro

0, xyz

Decimal
peridico
mixto

0,abxyz

xyz
999

p
(p: no contiene ni factor
cinco ni factor dos)

abxyz ab
99900

p; 5

p;

contiene el
denominador.
Numricamente igual al
menor nmero de
nueves que es
necesario escribir tal
que contenga al
denominador.
En este caso se aplican
los casos anteriores
tanto para la parte
peridica como para la
parte no peridica.

2 5 p
(p: no contiene ni factor
dos ni cinco)
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:

32

32

11

33

37

32

11

101

32

41

271

33

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:

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 ).
12
52

0, xy

101

0, xyzuv
2 5 11
3

100001
53 7

N,xyzabcdef

2
101 7

0, x
1 x2 ....x12

Propiedad

CEPRE-UNI

ARITMTICA

ADMISIN 2010-I

FRACCIONES CONTINUAS SIMPLES (FCS)

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

entonces la cantidad de cifras peridicas que genera

p
es un divisor del indicador de
q

Euler de q.

CEPRE-UNI

ARITMTICA