Está en la página 1de 13

Sobre las Fracciones Continuas Carlos S.

Chinea
1
Sobre las Fracciones
Continuas





La representacin de los nmeros reales en forma decimal ofrece ciertos problemas
cuando se trata de nmeros decimales peridicos o de nmeros irracionales, los
cuales necesitan una secuencia infinita de dgitos. Las fracciones continuas
permiten una representacin de los nmeros reales, tanto racionales como
irracionales, de una forma elegante y precisa.

Histricamente se utilizan las fracciones continuas desde la antigedad tanto para
aproximar nmeros irracionales como para resolver ecuaciones diofnticas
(ecuaciones con coeficientes y soluciones enteras).

Aparecen en Europa en el siglo XVI, utilizndose en principio para la aproximacin
de races cuadradas de diferentes nmeros. Adquirieron un amplio desarrollo en
Francia e Inglaterra durante el siglo XVII, con los trabajos de Pierre de Fermat
(1601-1665), de William Brouncker (1620-1684) y de John Wallis (1616-1703),
habiendo sido utilizadas tambin en la prctica en la solucin de diferentes
problemas, como por ejemplo, en los trabajos sobre determinacin de engranajes
en maquinas realizados por Christian Huygens (1629-1695). El estudio de la
fracciones continuas adquiri un espectacular desarrollo en los siglos XVIII y XIX,
donde prcticamente fueron utilizadas por todos los grandes matemticos de esa
poca.

Las fracciones continuas se estudian mediante el proceso de la divisin reiterada,
de la determinacin de divisores de los nmeros involucrados, en particular del
mximo comn divisor de diferentes nmeros. En las notas que siguen,
comenzamos mediante una introduccin en la que exponemos el Algoritmo de
Euclides para la determinacin del mximo comn divisor (MCD) de varios nmeros
enteros.




0. Introduccin: el algoritmo de Euclides

El llamado Algoritmo de Euclides es un procedimiento por el cual se obtiene el
mximo comn divisor de dos nmeros enteros despus de un nmero finito de
pasos. Se basa en la proposicin siguiente:

Teorema 1: El mximo comn divisor de dos nmeros enteros, a y b, ) ( b a es
tambin el mximo comn divisor de los enteros b y r, siendo r el resto de la
divisin de a entre b.

Demostracin:

Bastar probar que el conjunto de todos los divisores de a y de b coincide con el
conjunto de todos los divisores de b y de r. As:
Sobre las Fracciones Continuas Carlos S. Chinea
2

- De ser r q b a + = . , todo divisor de b y de r divide tambin a a, por lo que es
tambin divisor de a y de b.

- Por ser r q b a + = . , se tiene que q b a r . = , por lo cual, todo divisor de a y
de b, divide tambin a r, esto es, es divisor de b y de r.

En definitiva, ambos conjuntos de divisores son coincidentes.

El algoritmo consiste en ir realizando divisiones de a entre b, de b por el primer
resto, r
0
, de este por el segundo r
1
, ., hasta llegar a una divisin, de r
n-1
entre r
n
,
en la que aparezca nulo el resto r
n+1
. El ltimo cociente, r
n
es el mximo comn
divisor de los enteros dados a y b.


El algoritmo:

La aplicacin del teorema 1 consiste, en definitiva, en determinar la divisin de
cada cociente por cada resto consecutivo, hasta encontrar un divisor (que ocurrir
cuando aparezca un resto cero). Este divisor, o ltimo cociente del proceso, divide
por consiguiente a cada uno de los restos anteriores y, consiguientemente, a los
enteros a y b de partida.
0 .
.
... ... ... ... ...
.
.
.
.
1 1
1 2
3 3 2 1
2 2 1 0
1 1 0
0 0
+ =
+ =
+ =
+ =
+ =
+ =
+

n n n
n n n n
q r r
r q r r
r q r r
r q r r
r q r b
r q b a



Observamos, pues, que el ltimo resto no nulo divide a r
n-1
, y, por reiteracin, a
r
n-1,
r
n-1,
a, b. Adems, es el mayor de todos los divisores, pues cualquier otro
entero m> r
n-1
no dividir a los restos indicados.

Para calcular el MCD de n enteros, a
1
, a
2
, , a
n
, bastar aplicar la propiedad
asociativa que tiene el MCD, es decir, determinamos:

) , (
... ...
) , (
) , (
) , (
1
4 3 4
3 2 3
2 1 2
n n n
a d MCD d
a d MCD d
a d MCD d
a a MCD d

=
=
=
=


Y es d
n
el mximo comn divisor de todos los n enteros.


Ejemplo:

Sobre las Fracciones Continuas Carlos S. Chinea
3
Calculemos el mximo comn divisor de los enteros siguientes, usando el algoritmo
de Euclides: 1) de 321 y 150, 2) de 735, 330, 150, 3) 15, 81, 345 y 126.

1) Dividimos:
3 ) 150 , 321 (
7 . 3 21
3 7 . 21 150
21 2 . 150 321
=

=
+ =
+ =
MCD

2) Dividimos para hallar primero el MCD(735,330):

15 ) 330 , 735 (
9 . 15 135
15 1 . 135 150
135 4 . 150 735
=

=
+ =
+ =
MCD
Hallamos ahora el MCD(15,150). Dividimos:

15 ) 15 , 150 ( 10 . 15 150 = = MCD
En definitiva: 15 ) 150 , 330 , 735 ( = MCD

3) Dividimos:
3 ) 15 , 81 (
2 . 3 6
3 2 . 6 15
6 5 . 15 81
=

=
+ =
+ =
MCD
3 ) 345 , 3 ( 115 . 3 345 = = MCD
3 ) 126 , 3 ( 42 . 3 126 = = MCD

Por tanto: 3 ) 126 , 345 , 81 , 15 ( = MCD






1. Fracciones Continuas

Definicin 1: Una fraccin continua finita es una expresin de la forma

n
n
n
b
b
a
a
b
a
b
a
b
a
1
1
4
3
3
2
2
1
1
... .... .....
.....

+
+
+
+
+

donde los a
i
, b
i
son nmeros reales o complejos.

Sobre las Fracciones Continuas Carlos S. Chinea
4
Definicin 2: Una fraccin continua simple finita es una fraccin continua en la que
es i b
i
= , 1 , es decir:
| |
n
n
n
a
a
a
a
a a a a
1
...
1
1
,..., ,
1
3
2
1 2 1
+
+
+
+ =


donde los 0 , >
+
i Z a
i
, con R a
1
, son los trminos de la fraccin continua
simple finita.

Si el nmero de trminos es infinito, la fraccin continua simple | | ,... ,..., ,
2 1 k
a a a se
denomina fraccin continua simple infinita.

Definicin 3: Se denominan convergentes o reducidos de una fraccin continua
simple | | ,... ,..., ,
2 1 k
a a a a las fracciones continuas simples finitas

| |
| |
| |
| |
k
k
k k
a
a
a
a
a a a a c
a
a
a a a a c
a
a a a c
a a c
1
.... .......
....
1
1
,..., ,
.... .... .... .... .... .... .... .... .... ....
.... .... .... .... .... .... .... ....
1
1
, ,
1
,
1
3
2
1 2 1
3
2
1 3 2 1 3
2
1 2 1 2
1 1 1
+
+
+
+ = =
+
+ = =
+ = =
= =






2. Fracciones Continuas y nmeros reales

Teorema 2: Toda fraccin continua simple finita representa un nmero racional, y,
recprocamente, todo nmero racional representa a una fraccin continua simple
finita.

Demostracin:

- Veamos que para todo nmero racional, Q
q
p
, existe una fraccin continua
simple finita, | |
n
a a ,...,
1
, que lo representa:

Sobre las Fracciones Continuas Carlos S. Chinea
5
q r
q
p
a con
q
r
a
q
p
r q a p
o o
< < < + = + =
0 0
0
0
0 , .
Anlogamente:

0 1
0
1
0
1
1
0
0 , r r
r
q
a con
r
r
a
r
q
< < < + =

1 2
1
0
2
2
2
2
1
0
0 , r r
r
r
a con
r
r
a
r
r
< < < + =





1
1
2
1 1
2
0 ,

< < < + =


n n
n
n
n
n
n
n
n
n
r r
r
r
a con
r
r
a
r
r


En definitiva aparece una sucesin decreciente de enteros positivos menores que el
entero q:

{ } { }
n n
r r r r r , ,..., ,
1 1 0
= ,
n n
r r r r > > > >
1 1 0
...

y como solamente existe un nmero finito, z
q
, de enteros menores que q, el
proceso ha de terminar tras un nmero finito de pasos, por lo que resulta:

| |
n
n
n
a a a
c
a
r
r
a
a
a
r
r
a
a
a
r
r
a
a
r
r
a
a
r
q
a
q
r
a
q
p
,..., ,
1
... ... ...
....
1
1
1
...
1
1
1
1
1 1 1
2 1
1
2
1
2
1
0
2
1
2
1
0
1
0
1
0
0
1
1
0
0
0
0
0
=
+
+
+
+ =
=
+
+
+ =
+
+ =
+
+ = + = + =


- Toda fraccin continua simple finita es una suma y cociente de fracciones, y
como sabemos que toda fraccin de nmeros enteros es un nmero
racional, y que ambas operaciones, suma y cociente, son internas en el
cuerpo Q de los nmeros racionales, el resultado de todas las operaciones
que se indican en la fraccin continua simple finita es una fraccin, esto es,
un nmero racional.

Corolario: Los convergentes,
n
c c c ,..., ,
2 1
, de una fraccin continua simple finita, al
ser tambin fracciones simples finitas, representan a nmeros racionales,
n n
q p q p q p / ,..., / , /
2 2 1 1
.
Sobre las Fracciones Continuas Carlos S. Chinea
6

Del anterior teorema deducimos, en definitiva, que todo nmero racional est
representado por una fraccin continua simple finita, y, recprocamente, toda
fraccin continua simple finita representa un nmero racional. La pregunta que
podramos hacernos es si la fraccin continua que representa a un determinado
nmero racional es nica, o, por el contrario, si un nmero racional puede estar
representado por diferentes fracciones continuas simples. Esto lo resolvemos
mediante el siguiente teorema de unicidad.


Teorema 4: Todo nmero racional est representado por una nica fraccin
continua simple finita.

Demostracin:

Supongamos que las dos fracciones simples finitas | |
k
a a a ,..., ,
2 1
y | |
m
b b b ,..., ,
2 1

representan el mismo nmero racional, esto es:

| | | |
m k
b b b a a a ,..., , ,..., ,
2 1 2 1
= , donde 1 , 1 > >
m k
b a

Veamos que, entonces, ambas fracciones continuas son la misma, es decir, que

m k i b a
i i
= = = ,..., 2 , 1 ,
Pues llamando | |
k i i i
a a a x ,..., ,
1 +
= , | |
m i i i
b b b y ,..., ,
1 +
= , se tiene que

| |
| |
k k i i i
i
i
k i i
i k i i i
a x con n i x a x
x
a
a a a
a a a a x
= = > >
+ = + = =
+ + +
+
, 1 ,..., 1 , 1
1
,..., ,
1
,..., ,
1 2 1
1


| |
| |
m k i i i
i
i
m i i
i m i i i
y y con n i y y y
y
b
b b b
b b b b y
= = > >
+ = + = =
+ + +
+
, 1 ,..., 1 , 1
1
,..., ,
1
,..., ,
1 2 1
1


Como las fracciones continuas de partida: | |
k
a a a x ,..., ,
1 0 0
= , | |
m
b b b y ,..., ,
1 0 0
=
coinciden, tambin han de coincidir sus partes enteras:

| | | |
| | | |
1 1 2 1 2 1
1 1
1
0
1
0 0 0 1 0 1 0 0 0
,..., , ,..., ,
1 1
,..., , ,..., ,
b a b b b a a a
y x
y
b
x
a b a b b b a a a y x
m k
m k
= =
= + = + = = =


y reiterando el proceso, encontramos que
m k
b a b a = = ,...,
2 2


lo que prueba la unicidad indicada en el enunciado del teorema.


Teorema 5: La fraccin continua simple que representa a un nmero irracional es
infinita.

Demostracin:

Sobre las Fracciones Continuas Carlos S. Chinea
7
Sea
0
x irracional y llamemos ) (
0
x M al mayor entero menor que
0
x . Se tiene que

1
0 0
1
) (
x
x M x + = con 1
1
0
1
< <
x

Veamos que
1
x tambin ha de ser irracional:

Si | | | |
| |
k
k k
a a a
x M x a a a x a a a Q x
,..., ,
1
) ( ,..., , / ,..., ,
2 1
0 0 2 1 1 1 0 1
+ = =

Pero esto indicara que
0
x est representado por una fraccin continua simple finita:

| |
k
a a a x M x ,..., , ), (
2 1 0 0
= y por tanto ha de ser racional, en contradiccin con la
hiptesis de que se trata de un nmero irracional.

Luego,
1 1
x Q x irracional.

Repitiendo reiteradamente el razonamiento, encontramos que
2
1 1
1
) (
x
x M x + = con Q x
x
< <
2
2
1
1
0



1
1
) (
+
+ =
h
h h
x
x M x con Q x
x
h
h
< <
+
+
1
1
1
1
0



Por tanto, al tratarse de una iteracin infinita:

| | ),... ( ),..., ( ), (
1 0 0 h
x M x M x M x =

que es una fraccin continua simple infinita.



Ejemplo:

Encontremos la fraccin continua simple infinita que representa al nmero irracional
2 :

Expresemos 2 de la forma
1
1
) 2 ( 2
x
M + = . Para ello podemos utilizar el hecho
de que ( )( ) 1 1 2 . 1 2 = + , ya que:

1 2
1
1 2
1 2
1
1 2
+
+ =
+
=

Repitiendo esto reiteradamente:

Sobre las Fracciones Continuas Carlos S. Chinea
8
| | ,... 2 ,..., 2 , 2 , 1
... 2
1
2
1
2
1
1
1 2
1
2
1
2
1
1
1 2
1
2
1
1
1 2
1
1 1
1
1 2 =
+
+
+
+ =
+
+
+
+ =
+
+
+ =
+
+ +
+ =

luego 2 queda representado por esta fraccin continua simple infinita:

| | ,... 2 ,..., 2 , 2 , 1 2 =




Ejemplo:

Encontrar las fracciones continuas que representan a los siguientes nmeros reales

54
81
,
23
35
,
15
59

1) :
15
59

| | 14 , 1 , 3
14
1
1
1
3
14
15
1
3
15
14
3
15
59
1 . 14 14
1 1 . 14 15
14 3 . 15 59
=
+
+ = + = + =

=
+ =
+ =

2) :
23
35

| | 11 , 1 , 1 , 1
11
1
1
1
1
1
1
12
11
1
1
1
12
23
1
1
23
12
1
23
35
1 . 11 11
1 1 . 11 12
11 1 . 12 23
12 1 . 23 35
=
+
+
+ =
+
+ = + = + =

=
+ =
+ =
+ =

3) :
54
81

=
+
+ =
+
+ = + = + =

=
+ =
+ =
+ =
6
19
1
1
1
4
19
6
1
1
4
19
25
1
4
25
19
4
25
81
1 . 6 6
1 3 . 6 19
6 1 . 19 25
19 ) 4 .( 25 81

| | 6 , 3 , 1 , 4
6
1
3
1
1
1
4 =
+
+
+ =






Sobre las Fracciones Continuas Carlos S. Chinea
9

3. Los convergentes de una fraccin continua simple

Los convergentes o reducidos de una fraccin continua simple dada, ya sea finita o
infinita, son siempre fracciones continuas simples finitas, por lo que cada uno de
ellos representa a un nmero racional. As, si consideramos la fraccin continua
simple dada por | | ,... ,..., ,
2 1 n
a a a , sus convergentes son
| | | | | | ,... ,..., , ,..., , ,
2 1
2
2
2 1 2
1
1
1 1
n
n
n n
q
p
a a a c
q
p
a a c
q
p
a c = = = = = =

Para poder calcular el nmero racional
n
n
q
p
correspondiente a la fraccin continua
simple finita | |
n
a a a ,..., ,
2 1
hemos de establecer alguna relacin entre el numerador
y denominador del nmero racional y los trminos de la fraccin continua simple
finita que lo representa. Veamos, para ello, dos teoremas que establecen esta
relacin.



Teorema 6:

Dada la fraccin continua simple | | ,... ,..., ,
2 1 n
a a a , cuyos convergentes podemos
representar por | | | | | | ,... ,..., , ,..., , ,
1
1
2 1
2
2
2 1 2
1
1
1 1
q
p
a a a c
q
p
a a c
q
p
a c
n n
= = = = = = se
verifica:

a) 1 ,
1 1 1
= = q a p

b)
2 2 2 1 2
, 1 a q a a p = + =

c) Para
2 1 2 1
, , 3

+ = + =
n n n n n n n n
q q a q p p a p n

Demostracin:

a) | | 1 ,
1 1 1 1 1 1
1
1
= = = = = q a p a a c
q
p


b) | |
2 2 2 1 2
2
2 1
2
1 2 1 2
2
2
, 1
1 1
, a q a a p
a
a a
a
a a a c
q
p
= + =
+
= + = = =

c) Para 3 n empleamos induccin:

- Para n=3 se verifica:


| |

+ =
+ =

+
+
=
+
+ +
=
+
+ +
=
=
+
+ =
(

+
=
(

+ = = =
1 2 3 3
1 2 3 3
1 2 3
1 2 3
2 3
1 2 1 3
3 2
3 1 3 2 1
3
3 2
1
3
3 2
1
3
2 1 3 2 1 3
2
3
1
) 1 (
1
1
1 1
,
1
, , ,
q q a q
p p a p
q q a
p p a
a a
a a a a
a a
a a a a a
a
a a
a
a
a a
a
a
a a a a a c
p
p

Sobre las Fracciones Continuas Carlos S. Chinea
10

- Supongamos ahora ciertas las expresiones para : k n =

2 1 2 1
,

+ = + =
k k k k k k k k
q q a q p p a p

y veamos que, entonces, han de ser tambin ciertas para : 1 + = k n
| | =
+
|
|
.
|

\
|
+
+
|
|
.
|

\
|
+
=
(

+ = = =

+

+
+
+ +
+
+
2 1
1
2 1
1
1
2 1 1 2 1 1
1
1
1
1
1
,..., , , ,..., ,
k k
k
k
k k
k
k
k
k k k k
k
k
q q
a
a
p p
a
a
a
a a a a a a a c
q
p



( )
( )

+
+
=
+ +
+ +
=
+ +
+ +
=
+
+
+
+
+ +
+ +
1 1
1 1
1 2 1 1
1 2 1 1
1 2 1 1 1
1 2 1 1 1
) (
) (
k k k
k k k
k k k k k
k k k k k
k k k k k k
k k k k k k
q q a
p p a
q q q a a
p p p a a
q q a q a a
p p a p a a



1 1 1 1 1 1
,
+ + + +
+ = + =
k k k k k k k k
q q a q p p a p

Teorema 7:

Dada la fraccin continua simple | | ,... ,..., ,
2 1 n
a a a , cuyos convergentes podemos
representar por | | | | | | ,... ,..., , ,..., , ,
1
1
2 1
2
2
2 1 2
1
1
1 1
q
p
a a a c
q
p
a a c
q
p
a c
n n
= = = = = = se
verifica:
( )
n
n n n n
p q q p 1
1 1
=


o bien:

1
1
) 1 (


=
n n
n
n n
q q
c c

Demostracin:

Empleamos induccin,

- para n=2:
2
2 1 2 1 2 1 1 2
) 1 ( 1 1 ). 1 ( = = + = a a a a q p q p

- para n=3: = + + + = ) ).( 1 ( ). (
1 2 3 2 1 2 1 2 3 3 2 2 3
q q a a a a p p a q p q p

3
2 1 3 2 3
2
2 1 2 1 3 2 3
2
2 1
2 3 2 1 2 1 2 1 3
) 1 ( 1 1
) 1 )( 1 ( ) ) 1 ( (
= = + + =
= + + + + =
a a a a a a a a a a a a a a
a a a a a a a a a


- Supongamos ahora cierta la expresin para : k n =

( )
k
k k k
qp q p 1
1 1
=



y veamos que, entonces, ha de ser tambin cierta para : 1 + = k n


( ) ( )
( )
1
1 1 1 1 1
1 1 1 1 1 1 1 1
) 1 ( ) 1 (
. .
+
+
+ + + + +
= = =
+ = + + =
k k
k k k k k k k k k
k k k k k k k k k k k k k k k k k
q p q p q p q a p
q p q p a q q a p q p p a q p q p


Sobre las Fracciones Continuas Carlos S. Chinea
11
En definitiva, se verifica, para todo entero positivo n: ( )
n
n n n n
p q q p 1
1 1
=

, y la
segunda expresin es inmediata, pues dividiendo por :
1 n n
q q

1
1
1 1
1
1 1
1 1
) 1 ( ) 1 ( ) 1 (

n n
n
n n
n n
n
n
n
n
n
n n
n
n n
n n n n
q q
c c
q q q
p
q
p
q q q q
q p q p




Ejemplo:

Encontrar el nmero racional que corresponde a cada una de las siguientes
fracciones continuas simples

a) | | 2 , 1 , 3 b) | | 2 , 5 , 1 , 3

a) Tabulemos los valores de los trminos, y de los numeradores y
denominadores de los convergentes, usando el teorema 6:

k 1 2 3
a
k
-3 1 2
p
k
-3 -2 -7
q
k
1 1 3
c
k
-3 -2 -7/3

Por tanto: | | 3 / 7 2 , 1 , 3 =

b) Tabulando:

k 1 2 3 4
a
k
3 1 5 2
p
k
3 4 23 50
q
k
1 1 6 13
c
k
3 4 23/6 50/13

Por tanto: | | 13 / 50 2 , 5 , 1 , 3 =



4. Aplicacin de las fracciones continuas a la resolucin de ecuaciones
diofnticas lineales

Efectivamente, usando el enunciado del teorema 7 es posible utilizar las fracciones
continuas para encontrar una solucin particular de una ecuacin diofntica lineal
de dos variables:

c by ax = + , en donde MCD(a,b)=1

bastar hallar la fraccin continua cuyo convergente n-simo es a/b, y a
continuacin, encontrar el convergente n-1-esimo para poder aplicar la frmula del
teorema 7:
n
n
n
q
p
b
a
c = =
Sobre las Fracciones Continuas Carlos S. Chinea
12
n
n n n n
q p q p ) 1 (
1 1
=



1 ) 1 ( ) 1 (
1
1 1
= +
+

n
n n
n
n n
q p q p

multiplicando por c, termino independiente de la ecuacin diofantica, se tiene:

c c q p c q p
n
n n
n
n n
= +
+

1
1 1
) 1 ( ) 1 (

o bien
( ) ( ) c c p b c q a
n
n
n
n
= +
+

1
1 1
) 1 ( . ) 1 ( .

por tanto, una solucin particular de la ecuacin sera:

1
1 0 1 0
) 1 .( . , ) 1 .( .
+

= =
n
n
n
n
p c y q c x

Veamos algunos ejemplos sencillos de determinacin de una solucin particular de
esta forma:

a) Sea la ecuacin diofntica lineal 3x+2y=7

Convergente n-simo: 2 / 3 / =
n n
q p , que tiene por fraccin continua simple | | 2 , 1

Luego el convergente n-1-simo es | | 1 1 /
1 1
= =
n n
q p , de donde 1 , 1
1 1
= =
n n
q p

Y una solucin particular ser: 7 ) 1 .( 1 . 7 , 7 ) 1 .( 1 . 7
3
0
2
0
= = = = y x

Es decir ) 7 , 7 ( ) , (
0 0
= y x , que obviamente verifica la ecuacin diofntica.


b) Sea la ecuacin diofntica lineal 13x+5y=3

Convergente n-simo: 5 / 13 / =
n n
q p , cuya fraccin continua simple es | | 2 , 1 , 1 , 2
Hallamos el convergente anterior, n-1-simo, para lo cual tabulamos:

k 1 2 3 4
a
k
2 1 1 2
p
k
2 3 5 13
q
k
1 1 2 5
c
k
2 3 5/2 13/5

Por tanto, 2 / 5 /
1 1
=
n n
q p , con lo que ya podemos escribir la solucin particular:

15 ) 1 .( 5 . 3 , 6 ) 1 .( 2 . 3
5
0
4
0
= = = = y x

Es decir ) 15 , 6 ( ) , (
0 0
= y x , que verifica la ecuacin.



c) Sea la ecuacin diofntica lineal 323x+149y=186

Sobre las Fracciones Continuas Carlos S. Chinea
13
Convergente n-simo: 149 / 323 / =
n n
q p , cuya fraccin continua simple es | | 24 , 1 , 5 , 2
Hallamos el convergente anterior, n-1-simo, para lo cual tabulamos:

k 1 2 3 4
a
k
2 5 1 24
p
k
2 11 13 323
q
k
1 5 6 149
c
k
2 11/5 13/6 323/149

Por tanto, 6 / 13 /
1 1
=
n n
q p , con lo que ya podemos escribir la solucin particular:

2418 ) 1 .( 13 . 186 , 1116 ) 1 .( 6 . 186
5
0
4
0
= = = = y x

Que podemos comprobar que verifica la ecuacin diofntica lineal planteada:

323.1116+149(-2418)=186




5. Bibliografa

Jones, Burton W.; Teora de los Nmeros, Editorial Trillas, Mxico, 1969
Niven, I.; Zuckerman, H.: Introduccin a la Teora de los Nmeros", Editorial
Limusa-Wiley, Mexico, 1976.
Oliver Pellicer, J.: Estructura del lgebra multilineal, Editada por la Universidad de
Valencia, 1996.
Pettofrezzo, A. J.; Byrkit, D.R.: Introduccin a la Teora de los Nmeros", Editorial
Prentice-Hall - Espaa, 1972.
Samuel, P.: Teora Algebrica de Nmeros", Editorial Omega, Barcelona, 1972.
Vinogradov,I.: Fundamentos de la Teora de Nmeros". Edit Mir, Mosc, 1977.

También podría gustarte