Algoritmos de divisin y Euclides

ndice

1. El conjunto de los nmeros enteros. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1

2. Operaciones bsicas con nmeros enteros. . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
3. Valor absoluto de un nmero entero. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
4. Algoritmo de divisin de nmeros enteros. . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
5. El operador mdulo. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
6. Mximo comn divisor de dos enteros. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
7. Algoritmo de divisin de Euclides. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7

1. El conjunto de los nmeros enteros.

Proposicin. El conjunto Z dotado de la operacin suma es un grupo abeliano. Esto es, se verican las
propiedades:
1. Asociativa: Cualesquiera que sean los enteros a, b y c se cumple que
(a + b) + c = a + (b + c)

2. Conmutativa: Cualesquiera que sean los enteros a y b se cumple que

a+b=b+a

3. Existencia de elemento neutro: Existe un entero 0 tal que

0+a=a+0=a

para todo entero a.

4. Existencia de simtricos: Para cada entero a existe un entero a tal que

a + (a) = (a) + a = 0

Proposicin. El conjunto Z es un anillo conmutativo con elemento unidad. Esto es, (Z, +) es un grupo
abeliano y el producto verica las propiedades:

1
2 Operaciones bsicas con nmeros enteros. 2

1. Asociativa: Cualesquiera que sean los enteros a, b y c se cumple que

(ab)c = a(bc)

2. Conmutativa: Cualesquiera que sean los enteros a y b se cumple que

ab = ba

3. Distributiva respecto de la suma: Cualesquiera que sean los enteros a, b y c se cumple que
a(b + c) = ab + ac

4. Existencia de elemento neutro: Existe un entero 1 tal que

1a = a1 = a

para todo entero a.

Proposicin. El anillo Z de los nmeros enteros es un anillo ordenado.

2. Operaciones bsicas con nmeros enteros.

Denicin. Sean a y b dos enteros. Si a 6= 0 y b = aq para algn entero q, entonces se dice que a divide
a b y se escribe a|b. Tambin se dice que a es divisor de b, que a es factor de b o que b es mltiplo de a.
Denicin. Sean a y b dos enteros. Se dice que b > a si existe un nmero natural n tal que b = a + n.
Anlogamente, se dice que b a si b > a o b = a.

Proposicin. Sean a, b y c nmeros enteros. Se cumple que

1. 0a = a.

2. a(b) = ab.

3. Si a 6= 0 y ab = ac, entonces b = c.

4. Si a 6= 0 y a|b, entonces a|bx para cada entero x.

5. Si a 6= 0 y b 6= 0, y a|b y b|c, entonces a|c.

6. Si a 6= 0 y, a|b y a|c, entonces a|(bx + cy) para cualquier par de enteros x e y .

7. Si a > 0 y b > 0, y a|b, entonces a b.

8. Si a 6= 0 y b 6= 0, y a|b y b|a, entonces a = b o a = b.

2 Operaciones bsicas con nmeros enteros. 3

Demostracin. Se tiene que

1. 0a = (0 + 0)a, con lo que

0a 0a = 0a + 0a 0a

esto es
0 = 0a + 0

y como el 0 es el elemento neutro de la suma, 0 = 0a.

2. a(b) + ab = a(b + b), con lo que

a(b) + ab = 0

de manera que ab es el elemento simtrico de a(b). Esto implica que a(b) = ab.

3. ab ac = a(b c), y como ab = ac, entonces

a(b + c) = 0

Dado que a 6= 0, esto implica que b + c = 0, por lo que b = c.

4. Si a|b existe un entero q tal que b = aq1 , con lo que

bx = aq1 x

Si q2 = q1 x, entonces bx = aq2 , de manera que a|bx.

5. Si a|b existe un entero q1 tal que b = aq1 . Del mismo modo, si b|c existe un entero q2 tal que c = bq2 .
De esta forma:
c = aq1 q2

por lo que a|c.

6. Si a|b y a|c entonces existen dos enteros q1 y q1 tales que b = aq1 y c = aq2 . Esto implica que

bx + cy = aq1 x + aq2 y

esto es,
bx + cy = a(q1 x + q2 y)

para cualquier par de enteros x e y . De este modo, existe un entero q3 = q1 x + q2 y tal que

bx + cy = aq2

con lo que a|(bx + cy).

3 Valor absoluto de un nmero entero. 4

7. Si a|b, entonces existe un entero q tal que b = aq . Adems, si b > 0 y a > 0, entonces q > 0 en virtud
de la propiedad 2. Por lo tanto, si a 6= b, se tiene que q > 1 en la relacin

b a = a(q 1)

por lo que b a = 0 + n para algn n N. Esto es,

b=a+n

De este modo, b a.

8. Si a|b y b|a, existen dos enteros q1 y q2 tales que b = q1 a y a = q2 b. De este modo,

b = q1 q2 b

por lo que q1 q2 = 1, es decir, q1 = q2 = 1 o q1 = q2 = 1. Por consiguiente, a = b o a = b.

3. Valor absoluto de un nmero entero.

Denicin. Se denomina valor absoluto a la aplicacin

||:ZZ

defnida por |n| = n si n 0 o |n| = n si n < 0.

Proposicin. Sean a, b y c nmeros enteros. Se cumple que

1. |n| N {0}.

2. |n| = 0 si y slo si n = 0.

3. |ab| = |a||b|.

4. |a + b| |a| + |b|.

5. Si a 6= 0, b 6= 0 y a|b, entonces |a| |b|.

4. Algoritmo de divisin de nmeros enteros.

Teorema. Sean a Z y b N. Entonces existe nmeros enteros q y r tales que a = bq + r con 0 r < b.
Adems, q y r son nicos.
5 El operador mdulo. 5

Demostracin. Sea bq el mayor mltiplo de b que es menor o igual que a; entonces

bq a < b(q + 1)

Si r = a bq , entonces
0 a bq < b(q + 1) bq = b

con lo que r y q satisfacen las condiciones de partida.

Supongamos que existen r1 y q1 , y r2 y q2 con

a = bq1 + r1 = bq2 + r2 y r1 6= r2

En tal caso, se tiene que b(q1 q2 ) = r2 r1 , luego b|(r2 r1 ), por lo que

|b| |r2 r1 |

Sin embargo, por hiptesis 0 r1 < b y 0 r2 < b, de manera que

|r2 r1 | < b = |b|

lo cual contradice a la desigualdad anterior. Por consiguiente, r1 = r2 y q1 = q2 .

Observacin. A los nmeros a, b, q y r se les suele llamar dividendo, divisor, cociente y resto respectiva-
mente.

Corolario. Dados dos enteros a y b con b 6= 0, entonces existen enteros q y r tales que a = bq + r donde
0 r < |b|. Adems, q y r son nicos.

Demostracin. Si b > 0 las hiptesis son las mismas que en el teorema anterior. De este modo, supongamos
que b < 0 y, por consiguiente, que q > 0. En tal caso, existen q 0 y r0 tales que

a = (b)q 0 + r con 0 r < b

Esto es, se cumple que

a = b(q 0 ) + r con 0 r < b = |b|

Si q = q 0 , entonces se tiene que a = bq+r con b Z, y q y r nicos, tal y como se quera demostrar.

5. El operador mdulo.

Denicin. Sean a y b nmeros enteros con b 6= 0. Sea a = bq + r donde 0 r < |b|. Se dene el operador
mdulo MOD por
a MOD b = r
6 Mximo comn divisor de dos enteros. 6

Proposicin. Sean a, b, c, d y m nmeros enteros con m 6= 0. Si

a MOD m = c MOD m y b MOD m = d MOD m

entonces

1. (a + b) MOD m = (c + d) MOD m.

2. (ab) MOD m = (cd) MOD m.

Demostracin. De las hiptesis se tiene que

a = mq1 + r1 , b = mq2 + r2
c = mq3 + r1 , d = mq4 + r2

con 0 r1 < |m| y 0 r2 < |m| para ciertos enteros q1 , q2 , q3 y q4 . De este modo, se tiene que

a + b = m(q1 + q2 ) + (r1 + r2 ) y c + d = m(q3 + q4 ) + (r1 + r2 )

Si r1 + r2 < |m|, se verica inmediatamente la propiedad 1. Si r1 + r2 |m|, entonces existen un

nmero natural 0 r0 < |m| y un entero q 0 tales que

r1 + r2 = |m|q 0 + r0

por lo que

a + b = m(q1 + q2 + q 0 ) + r0 y c + d = m(q3 + q4 + q 0 ) + r0

y, en consecuencia, (a + b) MOD m = (c + d) MOD m tal y como se quera demostrar.

La propiedad 2 se demuestra de manera anloga.

6. Mximo comn divisor de dos enteros.

Denicin. Sean a y b enteros. Un entero d 6= 0 es un divisor comn de a y b y se llama mximo comn

divisor de a y b si d > 0 y cada comn divisor de a y b divide tambin a d. Al mximo comn divisor de
a y b se le designa por m.c.d(a, b).

En el caso de que a = b = 0, entonces m.c.d(0, 0) = 0.

Teorema. Sean a y b enteros distintos de 0. Entonces existe un nico d mximo comn divisor de a y b.
Adems, d es el entero positivo ms pequeo que puede expresarse en la forma ax + by , donde x e y son
nmeros enteros.
7 Algoritmo de divisin de Euclides. 7

Demostracin. Sea el conjunto

M = {ax + by > 0, x, y Z}

Este conjunto es no vaco, ya que

|a| = 1a + 0b

pertenece a M . De este modo, por el principio de buena ordenacin existe un primer elemento d de M .
Como d M , existen enteros x1 e y1 tales que

d = ax1 + by1

Supongamos que d no divide a a. Entonces, existen un entero q y un nmero natural 0 < r < d tales
que
a = dq + r

por lo que r = a dq = a (ax1 + by1 ) = a(1 x1 )q + b(y1 q). Esto implica que r M , ya que r > 0.
Como r < d y d es el primer elemento de M esto es una contradiccin, con lo que d|a. Anlogamente se
prueba que d|b.
Sea d0 otro divisor comn de a y b. Entonces, se tiene a = d0 p1 y b = d0 p2 para ciertos enteros p1 y p2 .
De esta manera:
d = ax1 + by1 = d0 p1 x1 + d0 p2 y1 = d0 (p1 x1 + p2 y2 )

y, por lo tanto, d0 |d. Esto es, d es un mximo comn divisor de a y de b.

Supongamos ahora que existen dos mximos comunes divisores d1 y d2 de a y de b. En tal caso, d1 |d2
y d2 |d1 , con lo que |d1 | |d2 | y |d1 | |d2 |. Por denicin, d1 > 0 y d2 > 0, de manera que d1 = d2 .

Corolario. Sean a y b enteros distintos de 0. Entonces m.c.d(a, b) = 1 si y slo si existen enteros s y t

tales que as + bt = 1.

7. Algoritmo de divisin de Euclides.

Proposicin. Dados dos enteros a y b con b 6= 0, se tiene que

1. Los divisores comunes de a y b son divisores del resto r de la divisin de a por b.

2. Los divisores comunes de b y del resto r son divisores de a.

Teorema. El mximo comn divisor del dividendo y del divisor de una divisin es el mismo que el mximo
comn divisor del divisor y del resto.

De acuerdo con este teorema, se puede obtener un algoritmo para el clculo del mnimo comun mltiplo
de dos nmeros a y b. Como
m.c.d(a, b) = m.c.d(|a|, |b|)
7 Algoritmo de divisin de Euclides. 8

sin prdida de generalidad se puede suponer que a b > 0. De este modo, si se divide a por b se tiene que

a = bq1 + r1 con 0 r1 < d

Si r1 = 0, entonces b = m.c.d(a, b). Si r1 6= 0; dividiendo b por r1 se puede escribir

b = r1 q2 + r2 con 0 r2 < r1

Si r2 = 0, entonces m.c.d(b, r1 ) = m.c.d(a, b) = r1 . En caso contrario, se puede efectuar la divisin de

r1 por r2 . De este modo se puede obtener un conjunto de nmeros

r1 > r2 > > ri >

Este conjunto es nito, ya que cada uno de los nmeros r1 , r2 , . . . , ri , . . . es mayor o igual que cero.
En algn momento uno de los restos ser 0. Sea rn dicho resto, entonces

rn1 = m.c.d(rn2 , rn1 ) = = m.c.d(a, b)

Teorema. Si k > 0, entonces m.c.d(ka, kb) = km.c.d(a, b).

Corolario. Para cada entero k 6= 0 se tiene que m.c.d(ka, kb) = |k|m.c.d(a, b)