Apuntes de Matematica Discreta

10. Divisibilidad. Algoritmo de la Division

Francisco Jose Gonzalez Gutierrez
Cadiz, Octubre de 2004
Universidad de Cadiz Departamento de Matematicas
ii
Leccion 10
Divisibilidad. Algoritmo de la
Divisi on
Contenido
10.1 Algoritmo de la Division . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 266
10.1.1 Existencia y Unicidad de Cociente y Resto . . . . . . . . . . . . . . . . . . . . 266
10.1.2 Corolario . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 267
10.2 Sistemas de Numeracion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 271
10.2.1 Descomposicion Polinomica de un N umero . . . . . . . . . . . . . . . . . . . . . 271
10.2.2 Representacion Hexadecimal de un Octeto . . . . . . . . . . . . . . . . . . . . . 276
10.2.3 Representacion Binaria de un Hexadecimal de Cuatro Dgitos . . . . . . . . . . 277
10.3 El principio del Buen Orden . . . . . . . . . . . . . . . . . . . . . . . . . . . . 278
10.3.1 Conjunto Bien Ordenado . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 278
10.4 Divisibilidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 279
10.4.1 Denicion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 279
10.4.2 Propiedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 280
10.5 Criterios de Divisibilidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 285
10.5.1 Criterio General de Divisibilidad . . . . . . . . . . . . . . . . . . . . . . . . . . 285
10.6 Maximo Com un Divisor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 289
10.6.1 Divisor Com un . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 289
10.6.2 Maximo Com un Divisor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 290
10.6.3 Propiedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 291
10.6.4 Maximo Com un Divisor de Varios N umeros . . . . . . . . . . . . . . . . . . . . 292
10.6.5 Existencia y Unicidad del m.c.d. . . . . . . . . . . . . . . . . . . . . . . . . . . 292
10.6.6 Corolario . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 294
10.6.7 Proposicion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 294
10.6.8 Corolario . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 294
10.6.9 Mas Propiedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 295
10.7 Algoritmo de Euclides . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 299
10.7.1 Teorema . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 300
10.7.2 Algoritmo de Euclides . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 300
10.8 Mnimo Com un M ultiplo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 306
10.8.1 M ultiplo Com un . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 306
10.8.2 Mnimo Com un M ultiplo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 306
10.8.3 Mnimo Com un M ultiplo de Varios N umeros . . . . . . . . . . . . . . . . . . . 307
10.8.4 Proposicion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 307
10.8.5 Proposicion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 308
265
Universidad de Cadiz Departamento de Matematicas
Dios hizo los enteros, el resto es obra del hombre... Todos los
resultados de la mas profunda investigacion matematica deben
ser expresables en la sencilla forma de las propiedades de los
enteros.
Leopold Kronecker (1823-1891)
10.1 Algoritmo de la Divisi on
Estableceremos en este apartado el algoritmo de la division de dos n umeros, viendo que el cociente y el
resto de la division son unicos.
10.1.1 Existencia y Unicidad de Cociente y Resto
Si a y b son n umeros enteros con b > 0, entonces existen dos enteros, q y r, unicos, tales que
a = bq + r, con 0 r < b. A los n umeros a, b, q y r se les suele llamar, respectivamente, dividendo,
divisor, cociente y resto.
Demostracion
Existencia de q y r.
Bastara tomar q como un n umero entero tal que bq sea el mayor de los m ultiplos de b menor o igual que
a, es decir tal que bq a.
Una vez obtenido el cociente q, podemos calcular el resto r sin mas que hacer
r = a bq.
Por otra parte, si bq a, entonces el siguiente m ultiplo de q, b(q + 1), sera estrictamente mayor que a,
es decir,
bq a < b(q + 1).
Entonces,
bq a < b(q + 1) = bq bq a bq < b(q + 1) bq
= 0 a bq < b
= 0 r < b.
As pues, existen q y r, enteros tales que
a = bq + r, con 0 r < b.
Unicidad de q y r.
Supongamos que no son unicos, es decir, supongamos que existen r
1
, r
2
, q
1
y q
2
, enteros tales que verifican
el teorema, o sea,
a = bq
1
+ r
1
: 0 r
1
< b
a = bq
2
+ r
2
: 0 r
2
< b.
Entonces,
bq
1
+ r
1
= bq
2
+ r
2
= b(q
1
q
2
) = r
2
r
1
= b |q
1
q
2
| = |r
2
r
1
|
y al ser
0 r
1
, r
2
< b
sera
0 |r
2
r
1
| < b
266
Matematica Discreta Francisco Jose Gonzalez Gutierrez
luego,
b |q
1
q
2
| = |r
2
r
1
|
|r
2
r
1
| < b
_
= b |q
1
q
2
| < b = b(1 |q
1
q
2
|) > 0
y al ser b > 0, tendremos que
1 |q
1
q
2
| > 0
de donde sigue que
0 |q
1
q
2
| < 1
y como q
1
y q
2
son enteros, tendra que ser
|q
1
q
2
| = 0
por tanto,
q
1
= q
2
de donde se sigue tambien que
r
1
= r
2

10.1.2 Corolario
Si a y b son enteros, con b = 0, entonces existen dos enteros q y r, unicos, tales que a = bq +r, donde
0 r < |b|.
Demostracion
Si b > 0, entonces se cumplen las hipotesis del teorema anterior, luego se verifica el corolario.
Si b < 0, entonces b > 0 y aplicando el teorema anterior, existiran dos enteros q
1
y r, unicos, tales que
a = (b)q
1
+ r, con 0 r < b
de aqu que
a = b(q
1
) + r, con 0 r < b = |b|
tomando q = q
1
, tendremos que
a = bq + r, con 0 r < |b|
siendo q y r unicos, ya que q
1
y r lo eran.
Ejemplo 10.1
1. Sean a = 9 y b = 2.
El mayor m ultiplo de 2 menor o igual que 9 es 2 4, luego tomando q = 4 y r = 9 2 4 = 1,
tendremos que
9 = 2 4 + 1, con 0 1 < 2
2. Sean a = 2 y b = 5.
El mayor m ultiplo de 5 menor o igual que 2 es 5 0, luego si q = 0 y r = 2 5 0 = 2, se sigue que
2 = 5 0 + 2, con 0 2 < 5
3. Sean a = 17 y b = 10.
El mayor m ultiplo de 10 menor o igual que 17 es 10 (2), luego tomando q = 2 y r =
17 10 (2) = 3, tendremos que
17 = 10(2) + 3, con 0 3 < 10
267
Universidad de Cadiz Departamento de Matematicas
4. Sean a = 10 y b = 17.
El mayor m ultiplo de 17 menor o igual que 10 es 17(1), luego si tomamos q = 1 y r =
10 17(1) = 7, resulta que
10 = 17(1) + 7, con 0 7 < 17
5. Sean a = 61 y b = 7.
El mayor m ultiplo de 7 menor o igual que 61 es (7)(8), as pues si tomamos q = 8 y
r = 61 (7)(8) = 61 56 = 5, tendremos que
61 = (7)(8) + 5, con 0 5 < |7| = 7
6. Sean a = 7 y b = 61.
El mayor m ultiplo de 61 menor o igual que 7 es (61) 0, por tanto tomando q = 0 y r =
7 (61) 0 = 7, resulta
7 = (61) 0 + 7, con 0 7 < |61| = 61
7. Sean a = 21 y b = 15.
El mayor m ultiplo de 15 menor o igual que 21 es (15)(2). Tomando q = 2 y r = 21
(15)(2) = 9, resulta
21 = (15)(2) + 9, con 0 9 < |15| = 15
8. Sean a = 15 y b = 21.
El mayor m ultiplo de 21 menor o igual que 15 es (21) 1, as pues, si tomamos q = 1 y
r = 15 (21) 1 = 6, tendremos
15 = (21) 1 + 6, con 0 6 < |21| = 21

Ejemplo 10.2 Demuestrese que el cuadrado de cualquier n umero impar puede escribirse en la forma
(a) 4k + 1
(b) 8k + 1
Solucion
En efecto, sea a cualquier n umero entero.
(a) Por el teorema de existencia y unicidad de cociente y resto, pueden encontrarse dos n umeros enteros
q y r, unicos, tales que
a = 2q + r, con 0 r < 2
es decir, a = 2q + r, con r = 0 o r = 1. Pues bien,
Si r = 0, entonces a = 2q, es decir a es par.
Si r = 1, entonces a = 2q + 1, es decir a es impar, y
a
2
= (2q + 1)
2
= 4q
2
+ 4q + 1 = 4(q
2
+ q) + 1 = 4k + 1, con k = q
2
+ q Z
268
Matematica Discreta Francisco Jose Gonzalez Gutierrez
(b) En el apartado anterior tenamos que
a
2
= 4(q
2
+ q) + 1, con q Z
o lo que es igual
a
2
= 4q(q + 1) + 1, con q Z.
Pues bien, q(q +1) es par ya que uno de los dos, q o q +1 sera par, luego q(q +1) puede escribirse
en la forma 2k, con k entero. De aqu que
a
2
= 4q(q + 1) + 1 = 4 2k = 8k + 1, con k Z.

Ejemplo 10.3 Demuestrese que si un n umero entero es a la vez un cuadrado y un cubo, entonces
puede escribirse en la forma 7k o 7k + 1.
Solucion
Sea n cualquier n umero entero. Entonces, si ha de ser a la vez un cuadrado y un cubo, quiere decir que
pueden encontrarse a y b enteros, tales que
n = a
2
= b
3
Por el teorema 10.1.1, existiran q
1
, q
2
, r
1
y r
2
, unicos, tales que
a = 7q
1
+ r
1
, con 0 r
1
< 7
b = 7q
2
+ r
2
, con 0 r
2
< 7
Pues bien,
a = 7q
1
+ r
1
= a
2
= 49q
2
1
+ 14q
1
r
1
+ r
2
1
= 7(7q
2
1
+ 2q
1
r
1
) + r
2
1
= 7k
1
+ r
2
1
, con k
1
= 7q
2
1
+ 2q
1
r
1
Z
b = 7q
2
+ r
2
= b
3
= 7(49q
3
+ 21q
2
2
r
2
+ 21q
2
2
r
2
+ 3q
2
r
2
2
) + r
3
2
= 7k
2
+ r
3
2
, con k
2
Z
Entonces,
a
2
= b
3
= 7k
1
+ r
2
1
= 7k
2
+ r
3
2
, con 0 r
1
, r
2
7
y, de nuevo por el teorema 10.1.1, k
1
= k
2
y r
2
1
= r
3
2
. En el siguiente cuadro tenemos las opciones que se
presentan.
r
1
0 1 2 3 4 5 6
r
2
1
0 1 4 9 16 25 36
r
3
2
0 1 8 27 64 125 216
r
2
0 1 2 3 4 5 6
Como puede observarse, las unicas opciones en las que coinciden es cuando r
1
y r
2
son los dos 0 o los
dos 1. O sea,
a
2
= b
3
a
2
y b
3
son de la forma 7k o 7k + 1
Por tanto,
n es cuadrado y cubo = n = 7k o n = 7k + 1

Ejemplo 10.4 Demostrar que

(a) El cuadrado de cualquier n umero entero es de la forma 3k o 3k + 1.
(b) El cubo de cualquier n umero entero es de la forma 9k, 9k + 1 o 9k + 8.
269
Universidad de Cadiz Departamento de Matematicas
Solucion
Sea n un entero cualquiera. Entonces, por 10.1.1, existen q y r tales que
n = 3q + r, con 0 r < 3
(a) El cuadrado de n es
n = 3q + r = n
2
= (3q + r)
2
= 3(3q
2
+ 2qr) + r
2
= 3k
1
+ r
2
, con k
1
= 3q
2
+ 2qr
Pues bien,
Para r = 0, n
2
= 3k, con k = k
1
Para r = 1, n
2
= 3k + 1, con k = k
1
Para r = 2, n
2
= 3k
1
+ 4 = 3(k
1
+ 1) + 1 = 3k + 1, con k = k
1
+ 1
(b) Veamos ahora como es el cubo de n.
n = 3q + r = n
3
= (3q + r)
3
= 27q
3
+ 27q
2
r + 27qr + r
3
= 9(3q
3
+ 3q
2
r + 3qr) + r
3
= 9k + r
3
con k = 3q
3
+ 3q
2
r + 3qr Z. Entonces,
Para r = 0, n
3
= 9k
Para r = 1, n
3
= 9k + 1
Para r = 2, n
3
= 9k + 8

Ejemplo 10.5 Probar que si n es un n umero entero, entonces

n(n + 1)(2n + 1)
6
tambien lo es.
Solucion
Veamos que el resto de dividir p = n(n + 1)(2n + 1) entre 6 siempre es cero.
En efecto, por el teorema de existencia y unicidad de cociente y resto, existiran q y r unicos tales que
n = 6q + r, con 0 r < 6
entonces,
p = n(n + 1)(2n + 1)
= 2n
3
+ 3n
2
+ n
= 2(6q + r)
3
+ 3(6q + r)
2
+ 6q + r
= 26
3
q
3
+ 46
2
q
2
r + 46qr
2
+ 2r
3
+ 36
2
q
2
+ 6
2
qr + 3r
2
+ 6q + r
= 6(72q
3
+ 24q
2
r + 4qr
2
+ 18q
2
+ 6qr + q) + 2r
3
+ 3r
2
+ r
= 6k + 2r
3
+ 3r
2
+ r, con k entero y 0 r < 6
Pues bien,
Para r = 0, p = 6k
Para r = 1, p = 6(k + 1)
Para r = 2, p = 6k + 30 = 6(k + 5)
Para r = 3, p = 6k + 84 = 6(k + 14)
Para r = 4, p = 6k + 180 = 6(k + 30)
Para r = 5, p = 6k + 330 = 6(k + 55)
270
Matematica Discreta Francisco Jose Gonzalez Gutierrez
luego en cualquier caso n(n + 1)(2n + 1) es divisible por 6 y, por tanto,
n(n + 1)(2n + 1)
6
es un n umero
entero.
10.2 Sistemas de Numeraci on
Consideremos, por ejemplo, el entero positivo 7345. Normalmente leemos siete mil trescientos cuarenta
y cinco y, dado que es lo habitual, entendemos que esta escrito en el sistema decimal de numeracion o
en base 10.
Tambien sabemos que la ultima cifra, leyendo el n umero de derecha a izquierda, es la de las unidades,
la siguiente es la cifra de las decenas, la que sigue de las centenas, y as sucesivamente. Observemos lo
siguiente:
7345 = 5 + 40 + 300 + 7000
y si escribimos los n umeros de la derecha como potencias de diez, tendremos
7345 = 5 10
0
+ 4 10
1
+ 3 10
2
+ 7 10
3
y esto mismo puede hacerse con cualquier n umero entero positivo escrito en forma decimal, es decir si
tal n umero es a
k
a
k1
a
2
a
1
a
0
, entonces
a
k
a
k1
a
2
a
1
a
0
= a
0
10
0
+ a
1
10
1
+ a
2
10
2
+ + a
k1
10
k1
+ a
k
10
k
=
k

i=0
a
i
10
i
y esta forma de escribir el n umero se conoce como representacion polinomica del mismo tomando como
base el n umero 10.
Normalmente, se dice que a
0
es una unidad de primer orden, a
1
de segundo orden, a
2
de tercero y, en
general, diremos que a
k
es una unidad de orden k + 1.
Consideramos ahora el n umero 35 y lo escribimos en la forma
35 = 1 2
0
+ 1 2
1
+ 0 2
2
+ 0 2
3
+ 0 2
4
+ 1 2
5
.
En tal caso tendramos una representaci on polinomica del n umero 35 tomando como base el n umero
2.
Nada nos impide utilizar otro n umero como base para la representacion polinomica del n umero 35. Por
ejemplo, si tomamos el 3, tendramos
35 = 2 3
0
+ 2 3
1
+ 0 3
2
+ 1 3
3
y si tomaramos el 8,
35 = 3 8
0
+ 4 8
1
El siguiente teorema matiza y aclara estas ideas.
10.2.1 Descomposici on Polin omica de un N umero
Dados dos n umeros enteros positivos n y b (con b 2) pueden encontrarse k enteros no negativos a
k
,
unicos, tales que
n =
k

i=0
a
i
b
i
con i 0, 0 a
i
< b; i = 0, 1, . . . , k, siendo a
k
= 0.
271
Universidad de Cadiz Departamento de Matematicas
Demostracion
En efecto, dados n y b, por 10.1.1, existir an q
1
y a
0
, unicos, tales que
n = bq
1
+ a
0
, con 0 a
0
< b y q
1
< n.
Obtenido q
1
y aplicando de nuevo el algoritmo de la division, pueden encontrarse q
2
y a
1
, unicos, tales
que
q
1
= bq
2
+ a
1
con 0 a
1
< b, y q
2
< q
1
.
Reiterando el proceso,
q
2
= bq
3
+ a
2
con 0 a
2
< b, y q
3
< q
2
q
3
= bq
4
+ a
3
con 0 a
3
< b, y q
4
< q
3
y as sucesivamente.
Tendremos una sucesion de enteros positivos,
n, q
1
, q
2
, q
3
, q
4
, . . .
tal que
n > q
1
> q
2
> q
3
> q
4
>
y que por el principio del buen orden, tiene un primer elemento q
k
tal que
q
k
= b 0 + a
k
, con 0 a
k
< b
y a
k
ha de ser distinto de cero ya que de lo contrario q
k
sera cero, lo cual es imposible ya que es un
entero positivo.
Pues bien, sustituyendo el valor de q
1
en n,
n = q
1
b + a
0
q
1
= q
2
b + a
1
_
= n = (q
2
b + a
1
) b + a
0
= q
2
b
2
+ a
1
b + a
0
y sustituyendo en este resultado el valor de q
2
,
n = q
2
b
2
+ a
1
b + a
0
q
2
= q
3
b + a
2
_
= n = (q
3
b + a
2
) b
2
+ a
1
b + a
0
= q
3
b
3
+ a
2
b
2
+ a
1
b + a
0
.
Repitiendo el proceso para q
3
,
n = q
3
b
3
+ a
2
b
2
+ a
1
b + a
0
q
3
= q
4
b + a
3
_
= n = (q
4
b + a
3
) b
3
+ a
2
b
2
+ a
1
b + a
0
= q
4
b
4
+ a
3
b
3
+ a
2
b
2
+ a
1
b + a
0
.
Y siguiendo hasta q
k
,
n = q
k
b + a
k1
b
k1
+ + a
2
b
2
+ a
1
b + a
0
q
k
= a
k
_
= n = a
k
b
k
+ a
k1
b
k1
+ + a
2
b
2
+ a
1
b + a
0
donde por 10.1.1, los coeficientes a
k
son unicos, 0 a
i
< b, i = 0, 1, . . . , k y, como ya hemos visto,
a
k
= 0.
La expresion obtenida es la descomposicion polinomica de n en la base b y se escribe a
0
a
1
a
2
a
k
(b
.
Ejemplo 10.6 Escribir en forma decimal el n umero 1243
(5
.
Solucion
Bastara escribir la representacion polinomica del n umero.
1243
(5
= 3 + 4 5 + 2 5
2
+ 1 5
3
= 3 + 20 + 50 + 125 = 198
272
Matematica Discreta Francisco Jose Gonzalez Gutierrez

En el ejemplo siguiente veremos como puede utilizarse el teorema 10.1.1 para hacer lo contrario, es decir
escribir la representacion de n umeros enteros en bases distintas de la decimal.
Ejemplo 10.7 Escribir el n umero 5346 en base 7.
Solucion
El n umero dado en base 7 sera:
5346 = a
k
a
k1
a
k2
a
2
a
1
a
0
(7
y utilizando la representacion polinomica del n umero,
5346 = a
k
7
k
+ a
k1
7
k1
+ a
k2
7
k2
+ + a
2
7
2
+ a
1
7 + a
0
= 7
_
a
k
7
k1
+ a
k1
7
k2
+ a
k2
7
k3
+ + a
2
7 + a
1
_
+ a
0
. (10.1)
Por otra parte, por el 10.1.1,
5346 = 7 763 + 5 (10.2)
y por la unicidad del cociente y resto, de (10.1) y (10.2), se sigue que
a
0
= 5
y
763 = a
k
7
k1
+ a
k1
7
k2
+ a
k2
7
k3
+ + a
2
7 + a
1
.
Entonces,
763 = a
k
7
k1
+ a
k1
7
k2
+ + a
3
7
2
+ a
2
7 + a
1
= 7
_
a
k
7
k2
+ a
k1
7
k3
+ + a
3
7 + a
2
_
+ a
1
. (10.3)
y por 10.1.1,
763 = 7 109 + 0 (10.4)
y, de nuevo, por la unicidad del cociente y el resto, de (10.3) y (10.4), tendremos que
a
1
= 0
y
109 = a
k
7
k2
+ a
k1
7
k3
+ + a
4
7
2
+ a
3
7 + a
2
.
Repitiendo el proceso,
109 = 7
_
a
k
7
k3
+ a
k1
7
k4
+ + a
4
7 + a
3
_
+ a
2
y
109 = 7 15 + 4
luego,
a
2
= 4
y
15 = a
k
7
k3
+ a
k1
7
k4
+ + a
5
7
2
+ a
4
7 + a
3
.
Repetimos de nuevo, y
15 = 7
_
a
k
7
k4
+ a
k1
7
k5
+ + a
5
7 + a
4
_
+ a
3
y
15 = 7 2 + 1
273
Universidad de Cadiz Departamento de Matematicas
luego,
a
3
= 1
y
2 = a
k
7
k4
+ a
k1
7
k5
+ + a
6
7
2
+ a
5
7 + a
4
.
Por ultima vez,
2 = 7
_
a
k
7
k5
+ a
k1
7
k6
+ + a
6
7 + a
5
_
+ a
4
y
2 = 7 0 + 2
luego,
a
4
= 2
y
0 = a
k
7
k5
+ a
k1
7
k6
+ + a
6
7 + a
5
.
A partir de aqu todos los restos son cero, el proceso termina, y
5346 = 2 7
4
+ 1 7
3
+ 4 7
2
+ 0 7 + 5 = 21405
(7
.
En la practica, este proceso de divisiones sucesivas suele hacerse en la forma
5346 7
44 763 7
26 06 109 7
5 63 39 15 7
0 4 1 2
y
5346 = 21405
(7

Nota 10.1 El sistema de numeracion en base 2 o sistema binario es de vital importancia en la in-
formatica. Los unicos dgitos que pueden utilizarse son los bits 0 y 1.
Con los dgitos 0 y 1, el n umero de n umeros de cuatro cifras que pueden construirse es
V R
2,4
= 2
4
= 16
luego utilizando cuatro posiciones, con los bits 0 y 1 podemos representar 16 n umeros enteros. La
representacion binaria de los dieciseis primeros n umeros enteros es
274
Matematica Discreta Francisco Jose Gonzalez Gutierrez
0 0000
1 0001
2 0010
3 0011
4 0100
5 0101
6 0110
7 0111
8 1000
9 1001
10 1010
11 1011
12 1100
13 1101
14 1110
15 1111
Los ordenadores utilizan, normalmente, grupos de ocho dgitos (octetos o bytes) para almacenar infor-
macion. Observese que el n umero de octetos que pueden construirse con los dgitos 0 y 1 es
V R
2,8
= 2
8
= 256
lo cual equivale a decir que puede almacenarse cualquier n umero entero entre 0 y 255 en formato binario.
Otro sistema de numeracion muy utilizado en la informatica es el de base 16 o hexadecimal. Ademas
de los dgitos del 0 al 9, usaremos A, B, C, D, E y F para los n umeros 10, 11, 12, 13, 14 y 15,
respectivamente.
En la primera y tercera columna de la tabla siguiente recogemos la expresion binaria y hexadecimal de
los enteros entre el 0 y el 15.
Binario Decimal Hexadecimal
0000 0 0
0001 1 1
0010 2 2
0011 3 3
0100 4 4
0101 5 5
0110 6 6
0111 7 7
1000 8 8
1001 9 9
1010 10 A
1011 11 B
1100 12 C
1110 13 D
1110 14 E
1111 15 F
275
Universidad de Cadiz Departamento de Matematicas
10.2.2 Representaci on Hexadecimal de un Octeto
Para escribir un octeto (n umero de ocho bits en binario) en forma hexadecimal, podemos escribirlo en
base diez y, posteriormente, hallar su representacion hexadecimal. Veremos un metodo para obtenerla
directamente.
Seg un hemos visto, con los dgitos 0 y 1, podemos escribir un total de 256 octetos. La primera cuestion
es saber cuantos dgitos hexadecimales tiene un octeto. En efecto, si x es dicho n umero, y a cada octeto
le corresponde un n umero en hexadecimal y, dado que pueden escribirse un total de V R
16,x
n umeros
hexadecimales con x dgitos, tendremos que
V R
16,x
= V R
2,8
de aqu que
16
x
= 2
8
= 2
4x
= 2
8
= 4x = 8 = x = 2
luego a cada octeto le corresponde un n umero hexadecimal de dos cifras.
Pues bien sea N un n umero cualquiera y sean
N = a
7
a
6
a
5
a
4
a
3
a
2
a
1
a
0
(2
y
N = b
1
b
0
(16
sus representaciones respectivas en binario (con ocho bits) y en hexadecimal. Entonces,
N = a
0
+ a
1
2 + a
2
2
2
+ a
3
2
3
+ a
4
2
4
+ a
5
2
5
+ a
6
2
6
+ a
7
2
7
y
N = b
0
+ b
1
16
es decir,
N = a
0
+ a
1
2 + a
2
2
2
+ a
3
2
3
+ 16(a
4
+ a
5
2 + a
6
2
2
+ a
7
2
3
)
y
N = b
0
+ b
1
16
y como el cociente y el resto de dividir N entre 16 son unicos (10.1.1),
b
0
= a
0
+ a
1
2 + a
2
2
2
+ a
3
2
3
y
b
1
= a
4
+ a
5
2 + a
6
2
2
+ a
7
2
3
es decir,
b
0
(16
= a
3
a
2
a
1
a
0
(2
y
b
1(16
= a
7
a
6
a
5
a
4
(2
As pues, para convertir un entero binario de ocho bits a base 16, basta descomponerlo en dos bloques
de cuatro bits y representar cada uno de ellos en hexadecimal.
Ejemplo 10.8 Obtener la representacion hexadecimal del n umero 01111100.
Solucion
Descomponemos el n umero en dos de cuatro bits y, seg un la tabla anterior,
276
Matematica Discreta Francisco Jose Gonzalez Gutierrez
0111 1100
7 C
luego
01111100
(2
= 7C
(16

10.2.3 Representaci on Binaria de un Hexadecimal de Cuatro Dgitos

Veamos ahora como puede escribirse directamente en binario un n umero hexadecimal de cuatro dgitos.
El n umero de representaciones hexadecimales con cuatro dgitos sera V R
16,4
. Si, al igual que en el
apartado anterior, a cada uno de ellos le hacemos corresponder su representacion en binario y x es el
n umero de bits que tiene dicha representacion, tendremos que
V R
2,x
= V R
16,4
de aqu que
2
x
= 16
4
= 2
x
= 2
16
= x = 16
es decir cada n umero de cuatro dgitos hexadecimales puede representarse por 16 dgitos binarios (dos
octetos).
Pues bien, sea N un entero arbitrario y sean
N = a
3
a
2
a
1
a
0
(16
y
N = b
15
b
14
b
13
b
12
b
11
b
10
b
9
b
8
b
7
b
6
b
5
b
4
b
3
b
2
b
1
b
0
(2
sus representaciones en hexadecimal con cuatro dgitos y en binario con 16 bits, respectivamente. En-
tonces,
N = a
0
+ a
1
16 + a
2
16
2
+ a
3
16
3
y
N = b
0
+ b
1
2 + b
2
2
2
+ b
3
2
3
+ b
4
2
4
+ b
5
2
5
+ b
6
2
6
+ b
7
2
7
+ b
8
2
8
+ b
9
2
9
+ b
10
2
10
+ b
11
2
11
+ b
12
2
12
+ b
13
2
13
+ b
14
2
14
+ b
15
2
15
o sea,
N = a
0
+ a
1
16 + a
2
16
2
+ a
3
16
3
y
N = b
0
+ b
1
2 + b
2
2
2
+ b
3
2
3
+ 16
_
b
4
+ b
5
2 + b
6
2
2
+ b
7
2
3
_
+ 16
2
_
b
8
+ b
9
2 + b
10
2
2
+ b
11
2
3
_
+ 16
3
_
b
12
+ b
13
2 + b
14
2
2
+ b
15
2
3
_
y como la descomposicion polinomica de un n umero en una base dada es unica,
a
0
= b
0
+ b
1
2 + b
2
2
2
+ b
3
2
3
a
1
= b
4
+ b
5
2 + b
6
2
2
+ b
7
2
3
a
2
= b
8
+ b
9
2 + b
10
2
2
+ b
11
2
3
a
3
= b
12
+ b
13
2 + b
14
2
2
+ b
15
2
3
277
Universidad de Cadiz Departamento de Matematicas
es decir,
a
0
(16
= b
3
b
1
b
2
b
0
(2
a
1
(16
= b
7
b
6
b
5
b
4
(2
a
2
(16
= b
11
b
10
b
9
b
8
(2
a
3
(16
= b
15
b
14
b
13
b
12
(2
As pues, para convertir un n umero hexadecimal de cuatro dgitos a binario, basta obtener la repre-
sentacion binaria con cuatro dgitos de cada uno de los smbolos hexadecimales.
Ejemplo 10.9 Obtener la representacion binaria del n umero hexadecimal A8B3.
Solucion
Seg un la tabla,
A 8 B 3
1010 1000 1011 0011
luego
A8B3
(16
= 1010100010110011
(2

10.3 El principio del Buen Orden

Sea A un conjunto cualquiera y R una relacion de orden definida en el, es decir,
R AA : R es de orden
10.3.1 Conjunto Bien Ordenado
Un conjunto se dice que esta bien ordenado por una relacion de orden, cuando esta es total y ademas,
todo subconjunto suyo no vaco tiene primer elemento.
Veamos algunos ejemplos que nos aclararan este concepto.
Ejemplo 10.10
1. Sea Z el conjunto de los n umeros enteros y R la relacion menor o igual. Pues bien, sabemos
que R es una relacion de orden total, sin embargo Z carece de primer elemento, luego no esta bien
ordenado.
2. Sea R el conjunto de los n umeros reales y R la misma relacion anterior.
Por las mismas razones que en el punto anterior, R esta totalmente ordenado, sin embargo no esta
bien ordenado.
En efecto, el intervalo (1, 1) es una parte no vaca de R y carece de primer elemento.
3. Sea Z
+
. Si consideramos la misma relacion que en los ejemplos anteriores, Z
+
esta totalmente
ordenado y ademas toda parte no vaca de Z
+
tiene elemento mnimo o primer elemento, luego Z
+
esta bien ordenado con la relacion supuesta.
278
Matematica Discreta Francisco Jose Gonzalez Gutierrez
4. Sea Q
+
= {x Q : x > 0}.
Pues bien, Q
+
no esta bien ordenado con la relacion de los apartados anteriores.
En efecto, si lo estuviese entonces existira q Q
+
tal que q es el mnimo de Q
+
, pero
0 <
q
2
< q
y
q
2
Q
+
, luego q no sera el mnimo y de la contradiccion se sigue Q
+
no esta bien ordenado.
10.4 Divisibilidad
Aunque el conjunto de los n umeros enteros Z no es cerrado para la division, hay muchos casos en los que
un n umero entero divide a otro. Por ejemplo 2 divide a 12 y 3 divide a 27. La division es exacta y no
existe resto. As pues, el que 2 divida a 12 implica la existencia de un cociente, 6, tal que 12 = 2 6.
10.4.1 Denici on
Sean a y b dos n umeros enteros tales que a = 0. Diremos que a divide a b si existe un n umero entero
q tal que b = a q. Suele notarse a|b, es decir,
a|b q Z : b = aq
Expresiones equivalentes a a divide a b son a es un divisor de b o b es m ultiplo de a o b es divisible
por a.
Nota 10.2 Observese que si negamos ambos miembros de la equivalencia anterior, en virtud de la
equivalencia logica entre una proposicion y su contrarrecproca, tendremos
a| /b b = a q; q Z
es decir, a no divide a b si b = aq para cualquier entero. Dicho de otra forma, si b no es m ultiplo de a.
Ejemplo 10.11
(a) 2 divide a 6 ya que 6 = 2 3, con 3 Z.
(b) 5 divide a 45 ya que 45 = 5(9), con 9 Z.
(c) 4 divide a 64 ya que 64 = (4)(16), con 16 Z.
(d) 7 divide a 21 ya que 21 = (7)3, con 3 Z.
(e) 3 no divide a 5 ya que no existe ning un n umero entero q tal que 5 = 3 q.
Observese que la definicion de divisibilidad nos permite hablar de division en Z sin ir a Q.
Nota 10.3 Aunque nuestro objetivo no es el estudio de la estructura algebraica de los n umeros enteros,
es importante recordar que la suma y el producto de n umeros enteros son operaciones asociativas y
conmutativas, que {Z, +} es grupo abeliano y que se satisface la propiedad distributiva del producto
respecto de la suma, por lo que {Z, +, } es un anillo conmutativo con elemento unidad (el 1) y sin
divisores de cero.
279
Universidad de Cadiz Departamento de Matematicas
10.4.2 Propiedades
Sean a, b y c tres n umeros enteros, siendo a y b distintos de cero. Se verica:
(i) 1 divide a a y a divide a 0.
(ii) Si a divide a b y b divide a a, entonces a = b.
(iii) Si a divide a b y b divide a c, entonces a divide a c.
(iv) Si a divide a b y a divide a c, entonces a divide a pb + qc, cualesquiera que sean p
y q, enteros. (A la expresion pb + qc se le llama combinacion lineal de b y c con coecientes
enteros).
Demostracion
(i) 1|a y a|0.
En efecto,
a = 1 a, con a Z, luego 1 |a
0 = a 0, con 0 Z, luego a |0
(ii) a |b y b |a = a = b, a, b Z \ {0}
En efecto,
a |b p Z : b = ap

b |a q Z : a = bq
_
_
_
= b = bqp = b(1 qp) = 0
y al ser b = 0 y no tener Z divisores de cero, se sigue que
1 pq = 0 = pq = 1 =
_
_
_
p = q = 1

p = q = 1
luego,
b = ap
a = bq
p = q = 1
_

_
= a = b

b = ap
a = bq
p = q = 1
_

_
= a = b
_

_
= a = b
(iii) a |b y b |c = a |c.
En efecto,
a |b p Z : b = ap

b |c q Z : c = bq
_
_
_
= c = apq
con pq Z, luego
a |c
(iv) a |b y a |c = a |pb + qc , p, q Z
En efecto,
a |b s Z : b = as = pb = pas

a |c t Z : c = at = qc = qat
_
_
_
= pb + qc = a(ps + qt)
280
Matematica Discreta Francisco Jose Gonzalez Gutierrez
siendo ps + qt Z, luego
a |pb + qc

Ejemplo 10.12 Probar que si a divide a dos enteros cualesquiera, entonces divide a su suma y a su
diferencia.
Solucion
En efecto,
a |b
y
a |c
_

_
= a|pb + qc, p, q Z {10.4.2(iv)}
=
_

_
a|b + c {Tomando p = q = 1}
y
a|b c {Tomando p = 1 y q = 1}

Ejemplo 10.13 Sean a, b, c y d n umeros enteros con a = 0 y c = 0. Demuestrese que

(a) Si a |b y c |d, entonces ac |bd.
(b) ac |bc si, y solo si a |b.
Solucion
(a) Si a |b y c |d, entonces ac |bd.
En efecto,
a |b p Z : b = ap

c |d q Z : d = cq
_
_
_
= bd = acpq, con pq Z
luego
ac |bd
(b) ac |bc si, y solo si a |b.
Solo si. En efecto, supongamos que ac |bc. Entonces, existira un entero q tal que
bc = acq = (b aq)c = 0
pero c = 0 y Z no tiene divisores de cero, luego
b aq = 0 b = aq, con q Z
es decir,
a |b
Si. En efecto, si a |b, como c |c, por el apartado (a) se sigue que ac |bc.
Ejemplo 10.14 Sean a y b dos n umeros enteros positivos. Probar que si b |a y b |(a + 2) , entonces
b = 1 o b = 2.
Solucion
281
Universidad de Cadiz Departamento de Matematicas
Aplicando el resultado obtenido en el ejemplo 10.12,
b |a

b |a + 2
_
_
_
= b |a + 2 a = b |2 = b = 1 o b = 2

Ejemplo 10.15 Pruebese que si a y b son n umeros enteros positivos e impares, entonces 2 divide a
a
2
+ b
2
pero 4 no divide a a
2
+ b
2
.
Solucion
a Z
+
a impar
_
= a = 2p 1, con p Z
+
b Z
+
b impar
_
= b = 2q 1, con q Z
+
Entonces,
a
2
+ b
2
= (2p 1)
2
+ (2q 1)
2
= 4p
2
4p + 1 + 4q
2
4q + 1 = 2(2p
2
+ 2q
2
2p 2q + 1)
siendo 2p
2
+ 2q
2
2p 2q + 1 entero, luego
2

a
2
+ b
2
Veamos ahora que 4| /a
2
+ b
2
. En efecto, supongamos que lo contrario es cierto, es decir,
4

a
2
+ b
2
Pues bien,
4

4(p
2
p + q
2
q)
es decir,
4

a
2
+ b
2
2
As pues,
4

a
2
+ b
2
y
4

(a
2
+ b
2
) 2
_

_
= 4

(a
2
+ b
2
)
_
(a
2
+ b
2
) 2

= 4 |2
lo cual, obviamente, es falso y, por tanto, la suposicion hecha no es cierta. Consecuentemente,
4| /a
2
+ b
2

Ejemplo 10.16 Demostrar que la diferencia de los cubos de dos n umeros consecutivos no puede ser
m ultiplo de 3.
Solucion
Sea p un n umero entero arbitrario. Entonces,
(p + 1)
3
p
3
= p
3
+ 3p
2
+ 3p + 1 p
3
= 3(p
2
+ p) + 1, p
2
+ p Z.
Luego por el teorema de existencia y unicidad de cociente y resto se sigue que el resto de dividir (p+1)
3
p
3
entre 3 es 1, luego
(p + 1)
3
p
3
= 3k, k Z
282
Matematica Discreta Francisco Jose Gonzalez Gutierrez
es decir,
3| /(p + 1)
3
p
3
o sea no es m ultiplo de 3.
Ejemplo 10.17 Demostrar que para cualquier n umero natural n se verifica que 6

n
3
+ 5n.
Solucion
Utilizamos para la demostracion el primer principio de induccion matematica.
Sean p(1), p(2), . . ., predicados con el conjunto Z
+
de los n umeros enteros positivos como universo del
discurso.
Si p(1) es verdad y de la veracidad de p(k) se deduce la veracidad de p(k + 1), entonces la proposicion
p(n) es cierta para cualquier natural n.
Pues bien, sea p(n) : 6| n
3
+ 5n.
Paso basico. Veamos que p(n) es verdad para n = 1, es decir que 6

1
3
+ 5 1, lo cual, es evidente.
Paso inductivo. Veamos que k, [p(k) = p(k + 1)]. En efecto, supongamos que p(n) es cierta para
n = k, es decir,
6

k
3
+ 5k (10.5)
Probemos que p(n) es cierta para n = k + 1. En efecto,
(k + 1)
3
+ 5(k + 1) = k
3
+ 3k
2
+ 3k + 1 + 5k + 5 = (k
3
+ 5k) + 3k(k + 1) + 6 (10.6)
Pues bien,
k impar = k + 1 es par = k(k + 1) es par
k par = k + 1 es impar = k(k + 1) es par
_
= 2 |k(k + 1) , para cualquier k Z
+
y por el ejemplo 10.13,
2 |k(k + 1)
y
3 |3
_

_
= 6 |3k(k + 1)
As pues, utilizando este resultado y la hipotesis de induccion (10.5), tendremos
6

k
3
+ 5k
y
6 |3k(k + 1)
_

_
Ejemplo 10.12
= 6

(k
3
+ 5k) + 3k(k + 1) + 6
(10.6)
= 6

(k + 1)
3
+ 5(k + 1)
luego la proposicion es cierta para n = k + 1 y por el primer principio de induccion matematica,
6

n
3
+ 5n , n Z
+

Ejemplo 10.18 Probar que para cada n 0, el n umero 4

2n+1
+ 3
n+2
es m ultiplo de 13.
Solucion
Paso basico. Para n=0, 4
20+1
+ 3
n+2
= 4 + 9 = 13, luego es cierto.
283
Universidad de Cadiz Departamento de Matematicas
Paso inductivo. Supongamos que es cierto para n = k, es decir 4
2k+1
+ 3
k+2
es m ultiplo de 13.
Veamos que es cierto para n = k + 1. En efecto,
4
2(k+1)+1
+ 3
(k+1)+2
= 4
(2k+1)+2
+ 3
(k+2)+1
= 4
2k+1
4
2
+ 3
k+2
3
= 4
2k+1
4
2
+ 3
k+2
3 + 4
2
3
k+2
4
2
3
k+2
= 4
2
_
4
2k+1
+ 3
k+2
_
+ 3
k+2
(3 16)
= 4
2
_
4
2k+1
+ 3
k+2
_
+ 3
k+2
(13)
Pues bien, utilizando la hipotesis de induccion (paso inductivo), tendremos
13

4
2k+1
+ 3
k+2
= 13

4
2
_
4
2k+1
+ 3
k+2
_
13 |13 = 13

3
k+2
(13)
_
= 13

4
2
_
4
2k+1
+ 3
k+2
_
+ 3
k+2
(13)
= 13

4
2(k+1)+1
+ 3
(k+1)+2
luego la proposicion es cierta para n = k +1. El primer principio de induccion matematica asegura, por
tanto, que
4
2n+1
+ 3
n+2
es m ultiplo de 13.
Ejemplo 10.19 Si n Z
+
y n es impar, pruebese que 8

n
2
1.
Solucion
Utilizamos el primer principio de induccion matematica.
1. Veamos que es cierto para n = 1.
En efecto, para cada a entero, se verifica que a |0 luego, en particular, 8 |0, es decir,
8

1
2
1
de aqu que la proposicion sea cierta para n = 1.
2. Supongamos que es cierta para n = k, es decir,
8

k
2
1
y veamos si lo es para n = k + 2.
En efecto,
(k + 2)
2
1 = k
2
+ 4k + 4 1 = k
2
1 + 4(k + 1)
pero k es impar, luego k + 1 es par y por tanto, existira q Z tal que k + 1 = 2q de donde
4(k + 1) = 8q, es decir, 4(k + 1) es un m ultiplo de 8, y
(k + 2)
2
1 = k
2
1 + 8q
Pues bien, por la hipotesis de induccion
8

k
2
1
y
8 |8q
por tanto,
8

k
2
1 + 8q
luego,
8

(k + 2)
2
1
Aplicando el principio de induccion, de 1. y 2. se sigue que
8

n
2
1
cualquiera que sea n impar.
284
Matematica Discreta Francisco Jose Gonzalez Gutierrez
10.5 Criterios de Divisibilidad
Ejemplo 10.20 Demostrar que un n umero entero positivo es divisible por 2 si, y solo si lo es su ultima
cifra.
Solucion
Sea n Z
+
, cualquiera y sea
n = a
k
10
k
+ a
k1
10
k1
+ + a
2
10
2
+ a
1
10 + a
0
=
k

i=0
a
i
10
i
su representacion decimal. Entonces,
2 |10 = 2

10
i
; i = 1, 2, . . . , k
= 2

a
i
10
i
; i = 1, 2, . . . , k
= 2

i=1
a
i
10
i
= 2 |n a
0
.
Solo si. En efecto, supongamos que n es divisible por 2. Entonces,
2 |n
2 |n a
0
_
= 2 |n (n a
0
) = 2 |a
0
Si. En efecto, supongamos ahora que la ultima cifra de n es divisible por 2, es decir 2 |a
0
. Entonces
2 |a
0
2 |n a
0
_
= 2 |a
0
+ n a
0
= 2 |n
As pues,
un n umero entero positivo es divisible por 2 si, y solo si su ultima cifra es 2 o m ultiplo de 2.

10.5.1 Criterio General de Divisibilidad

Sea n un entero positivo, sea

k
i=1
a
i
10
i
su representacion decimal, y sean r
i
los restos de la divisi on
de 10
i
por p 2, i = 1, 2, . . . , k. Entonces,
n es divisible por p si, y solo si lo es
k

i=1
a
i
r
i
.
Demostracion
Sea p 2. Por el teorema 10.1.1, existiran q
i
y r
i
, i = 1, 2, . . . , k tales que
10
0
= q
0
p + r
0
10 = q
1
p + r
1
10
2
= q
2
p + r
2
. . . . . . . . . . . .
10
k
= q
k
p + r
k
285
Universidad de Cadiz Departamento de Matematicas
es decir, 10
i
= q
i
p + r
i
, i = 0, 1, . . . , k donde q
0
= 0 y r
0
= 1. Entonces,
10
i
r
i
= q
i
p
luego,
p

10
i
r
i
, i = 0, 1, 2, . . . , k
de aqu que
p

a
i
_
10
i
r
i
_
, i = 0, 1, 2, . . . , k
y, por lo tanto,
p

i=0
a
i
_
10
i
r
i
_
de aqu que
p

_
k

i=0
a
i
10
i

i=0
a
i
r
i
_
es decir,
p

_
n
k

i=0
a
i
r
i
_
Solo si. En efecto, si p |n, entonces,
p |n
y
p

_
n
k

i=0
a
i
r
i
_
_

_
= p

n
_
n
k

i=0
a
i
r
i
_
= p

i=0
a
i
r
i
Si. En efecto, si p

i=0
a
i
r
i
, entonces,
p

i=0
a
i
r
i
y
p

_
n
k

i=0
a
i
r
i
_
_

_
= p

_
k

i=0
a
i
r
i
+ n
k

i=0
a
i
r
i
_
= p |n

Veamos de nuevo el ejemplo 10.20.

Ejemplo 10.21 Demostrar que un n umero entero positivo es divisible por 2 si, y solo si lo es su ultima
cifra.
Solucion
Sea n Z
+
, cualquiera, sea
n = a
k
10
k
+ a
k1
10
k1
+ + a
2
10
2
+ a
1
10 + a
0
=
k

i=0
a
i
10
i
su representacion decimal y sean r
i
los restos de dividir 10
i
entre 2 para i = 0, 1, 2, . . . , k. Entonces,
r
0
= 1
y
r
i
= 0, i = 1, 2, . . . , k
286
Matematica Discreta Francisco Jose Gonzalez Gutierrez
de aqu que
k

i=1
a
i
r
i
= a
0
luego por el criterio anterior,
n sea divisible por 2 si, y solo si lo es su ultima cifra

Ejemplo 10.22 Obtener una condicion necesaria y suficiente para que un n umero entero positivo sea
divisible por 3.
Solucion
Sea n Z
+
, cualquiera, sea
n = a
k
10
k
+ a
k1
10
k1
+ + a
2
10
2
+ a
1
10 + a
0
=
k

i=0
a
i
10
i
su representacion decimal y sean r
i
los restos de dividir 10
i
entre 3 para i = 0, 1, 2, . . . , k. Por 10.1.1,
existira un entero positivo q tal que
10 = 3q + 1
luego,
10
i
= (3q + 1)
i
y desarrollando por el teorema del binomio, (??),
10
i
= (3q + 1)
i
=
i

k=0
_
i
k
_
(3q)
k
= 1 +
i

k=1
_
i
k
_
3
k
q
k
= 1 + 3
_
i

k=1
_
i
k
_
3
k1
q
k
_
_
Tomando q
i
=
i

k=1
_
i
k
_
3
k1
q
k
_
= 3q
i
+ 1, q
i
Z
es decir, los restos, r
i
, de dividir 10
i
entre 3 para i = 0, 1, 2, . . . , k son siempre iguales a 1, luego
k

i=1
a
i
r
i
=
k

i=1
a
i
de aqu que por el criterio general de divisibilidad, (10.5.1), n es divisible por 3 si, y solo si lo es la suma
de sus cifras, o lo que es igual
Una condicion necesaria y suciente para que un entero positivo sea divisible por 3 es que la
suma de sus cifras sea m ultiplo de 3.
287
Universidad de Cadiz Departamento de Matematicas

Ejemplo 10.23 Obtener un criterio de divisibilidad por 4.

Solucion
Sea n Z
+
, cualquiera, sea
n = a
k
10
k
+ a
k1
10
k1
+ + a
2
10
2
+ a
1
10 + a
0
=
k

i=0
a
i
10
i
su representacion decimal y sean r
i
los restos de dividir 10
i
entre 4 para i = 0, 1, 2, . . . , k. Entonces,
r
0
= 1 y r
1
= 2, y si tenemos en cuenta que
4 |100 , es decir, 4

10
2
tendremos que
4

10
i2
10
2
, i = 2, 3, . . . , k
es decir,
4

10
i
, i = 2, 3, . . . , k
luego,
r
i
= 0, i = 2, 3, . . . , k
de aqu que
k

i=0
a
i
r
i
= a
0
+ 2a
1
es decir,
n es divisible por 4 si, y solo si lo es la suma de la cifra de las unidades mas dos veces la
cifra de las decenas.

Ejemplo 10.24 Obtener un criterio de divisibilidad por 5.

Solucion
Sea n Z
+
, cualquiera, sea
n = a
k
10
k
+ a
k1
10
k1
+ + a
2
10
2
+ a
1
10 + a
0
=
k

i=0
a
i
10
i
su representacion decimal y sean r
i
los restos de dividir 10
i
entre 5 para i = 0, 1, 2, . . . , k. Entonces,
r
0
= 1
y
r
i
= 0, i = 1, 2, . . . , k
de aqu que
k

i=1
a
i
r
i
= a
0
luego por el criterio general de divisibilidad,
n sea divisible por 5 si, y solo si lo es su ultima cifra
288
Matematica Discreta Francisco Jose Gonzalez Gutierrez

Ejemplo 10.25 Obtener un criterio de divisibilidad por 8.

Solucion
Sea n Z
+
, cualquiera, y sea
n = a
k
10
k
+ a
k1
10
k1
+ + a
2
10
2
+ a
1
10 + a
0
=
k

i=0
a
i
10
i
su representacion polinomica en base decimal.
Si r
i
son los restos de dividir 10
i
entre 8 para i = 0, 1, 2 . . . , k, entonces r
0
= 1, r
1
= 2 y r
2
= 4 y teniendo
en cuenta que
8|1000, es decir, 8

10
3
tendremos que
8

10
i3
10
3
, i = 3, 4, . . . , k
o sea,
8

10
i
, i = 3, 4, . . . , k
de aqu que
r
i
= 0, i = 3, 4, . . . , k
y, consecuentemente,
k

i=0
a
i
r
i
= a
0
+ 2a
1
+ 4a
2
.
Aplicando el criterio general de divisibilidad,
n es divisible por 8 si, y solo lo es la suma de las cifras de sus unidades mas dos veces la
cifra de sus decenas mas cuatro veces la cifra de sus centenas

10.6 Maximo Com un Divisor

Siguiendo con la operacion de division que desarrollamos anteriormente, centraremos ahora nuestra
atencion en los divisores comunes de un par de n umeros enteros.
10.6.1 Divisor Com un
Dados dos n umeros enteros a y b, diremos que el entero d = 0, es un divisor com un de ambos, si
divide a a y divide a b, es decir,
d = 0, es divisor com un de a y b d |a y d |b
Observese que es lo mismo que decir que a y b son divisibles por d o que a y b son m ultiplos de d.
Ejemplo 10.26
2 |4 y 2 |8, luego 2 es un divisor com un de 4 y 8.
289
Universidad de Cadiz Departamento de Matematicas
3 |9 y 3 |27, luego 3 es un divisor com un de 9 y 27.

10.6.2 Maximo Com un Divisor

Sean a y b dos n umeros enteros. Diremos que d es el maximo com un divisor de a y b, si d es el maximo
del conjunto de los divisores positivos comunes a ambos, ordenado por la relacion de divisibilidad. Lo
notaremos m.c.d. (a, b).
Teniendo en cuenta la denicion de maximo de un conjunto ordenado, si llamamos D al conjunto de
todos los divisores positivos comunes a a y a b, tendremos
d = m.c.d. (a, b)
_

_
1. d |a y d |b
y
2. d = max(D)

_
1. d |a y d |b
y
2. c, c D = c|d

_
1. d |a y d |b
y
2. c|a y c|b = c|d
Si a = b = 0, entonces m.c.d. (a, b) = 0.
Ejemplo 10.27 Calcular el maximo com un divisor de 180 y 144.
Solucion
Aplicaremos directamente la denicion. Los conjuntos de divisores positivos de 180 y 144 son:
D
180
= {1, 2, 4, 3, 6, 12, 9, 18, 36, 5, 10, 20, 15, 30, 60, 45, 90, 180}
y
D
144
= {1, 2, 4, 8, 16, 3, 6, 12, 24, 48, 9, 18, 36, 72, 144} .
Por lo tanto, el conjunto de los divisores comunes sera
D
180
D
144
= {1, 2, 4, 3, 6, 12, 9, 18, 36}
El siguiente diagrama de Hasse representa la ordenacion de este conjunto por la relacion de divisibilidad,
290
Matematica Discreta Francisco Jose Gonzalez Gutierrez
36

12 18
4
6
9
2 3

1
y como puede apreciarse claramente el m aximo es el 36, por lo tanto,
m.c.d.(144, 180) = 36

10.6.3 Propiedades
Sean a y b dos n umeros enteros distintos de cero. Se verica:
(i) m.c.d. (a, 0) = |a|
(ii) m.c.d. (a, b) = m.c.d. (|a|, |b|)
Demostracion
(i) m.c.d. (a, 0) = |a| , a Z \ {0}.
En efecto, el maximo com un divisor de a y 0 es, por denicion, el maximo del conjunto de los divisores
comunes a a y a 0 ordenado por la relacion de divisibilidad. Ahora bien, como todos los n umeros
enteros son divisores de cero (10.4.2), el citado conjunto estara formado, unicamente, por los divisores
de a y el mayor divisor de a es el propio a, luego
m.c.d. (a, 0) = a
y al ser el maximo com un divisor mayor que cero, tomamos
m.c.d. (a, 0) = a, si a > 0
y
m.c.d. (a, 0) = a, si a < 0
es decir,
m.c.d. (a, 0) = |a|
(ii) m.c.d. (a, b) = m.c.d. (|a|, |b|).
En efecto, sea d un divisor de a y de b. Como a y b son distintos de cero, pueden ocurrir cuatro casos:
291
Universidad de Cadiz Departamento de Matematicas
1. a < 0 y b > 0. Entonces,
d|a y d|b = d| a y d|b = d ||a| y d ||b|
2. a > 0 y b < 0. Entonces,
d|a y d|b = d|a y d| b = d ||a| y d ||b|
3. a < 0 y b < 0. Entonces,
d|a y d|b = d| a y d| b = d ||a| y d ||b|
4. a > 0 y b > 0. Entonces,
d|a y d|b = d ||a| y d ||b|
Luego en cualquier caso, el conjunto de los divisores comunes a a y a b coincide con el de los
divisores comunes a |a| y a |b|, por lo tanto el maximo com un divisor sera el mismo, es decir,
m.c.d. (a, b) = m.c.d. (|a|, |b|)
Observese que si a y b son enteros positivos, esto es lo mismo que decir que
m.c.d. (a, b) = m.c.d. (a, b) = m.c.d. (a, b) = m.c.d. (a, b) .

10.6.4 Maximo Com un Divisor de Varios N umeros

Sean a
1
, a
2
, . . . , a
n
n umeros enteros. Llamaremos maximo com un divisor de a
1
, a
2
, . . . , a
n
al divisor
com un d > 0 tal que cualquier otro divisor com un de a
1
, a
2
, . . . . . . , a
n
divide tambien a d. Se designara
mediante m.c.d.(a
1
, a
2
, . . . . . . , a
n
).
Nota 10.4 Nos planteamos ahora las siguientes cuestiones:
1. Dados dos n umeros enteros a y b, existe siempre su maximo com un divisor? Caso de que la
respuesta sea afirmativa, como se hallara dicho n umero?
2. Cuantos maximo com un divisor pueden tener un par de n umeros enteros?
El siguiente teorema responde a ambas preguntas demostrando la existencia y unicidad del maximo
com un divisor de dos n umeros enteros.
10.6.5 Existencia y Unicidad del m.c.d.
Dados dos n umeros enteros a y b distintos de cero, existe un unico d, que es el maximo com un divisor
de ambos.
Demostracion
Supondremos que a y b son de Z
+
ya que seg un hemos visto en 10.6.3 (ii), si uno de los dos o ambos
fuera negativo el maximo com un divisor sera el mismo.
Existencia. Sea C el conjunto de todas las combinaciones lineales positivas con coecientes enteros que
puedan formarse con a y b, es decir,
C =
_
ma + nb Z
+
: m, n Z
_
292
Matematica Discreta Francisco Jose Gonzalez Gutierrez
C es no vaco. En efecto, como a es positivo, podemos escribirlo en la forma:
a = 1 a + 0 b
y, al menos, a estara en C.
As pues, C es un subconjunto no vaco de Z
+
. Aplicamos el principio de buena ordenacion (10.3) y C
ha de tener primer elemento o elemento mnimo y que llamaremos d.
Veamos que d es el maximo com un divisor de a y b. En efecto,
d C = d = sa + tb, con s y t enteros
Pues bien,
1. d es un divisor com un de a y b.
Supongamos lo contrario, es decir d no es divisor de a o d no es divisor de b. Entonces, si d no
divide a a, por el teorema de existencia y unicidad de cociente y resto (10.1.1), podremos encontrar
dos enteros q y r tales que
a = dq + r, con 0 < r < d
de aqu que
r = a dq = r = a (sa + tb)q = r = (1 sq)a + (tq)b > 0
con 1 sq y tq enteros, luego r est a en C. As pues, tenemos que
r C y r < d
lo cual contradice el que d sea el mnimo de C. Consecuentemente, la suposicion hecha es falsa y
d |a.
Con un razonamiento identico, se prueba que d |b.
2. Veamos ahora que d es el maximo de los divisores comunes a a y b.
En efecto, si c Z es otro divisor com un de a y de b, entonces
c|a
y
c|b
_
_
_
10.4.2 (iv)
= c |ma + nb
cualesquiera que sean m y n enteros. En particular,
c |sa + tb
luego
c |d
De 1. y 2. se sigue que d = m.c.d. (a, b).
Unicidad. En efecto, supongamos que hubiese dos maximo com un divisor de a y b, digamos d
1
y d
2
.
Entonces,
d
1
= m.c.d. (a, b)
d
2
es divisor com un de a y b
_
= d
2
|d
1
d
2
= m.c.d. (a, b)
d
1
es divisor com un de a y b
_
= d
1
|d
2
_

_
10.4.2(ii)
= d
1
= d
2
ya que por definicion d
1
y d
2
son mayores que cero.
293
Universidad de Cadiz Departamento de Matematicas
10.6.6 Corolario
Si d es el maximo com un divisor de a y b, entonces d es el menor entero positivo que puede escribirse
como combinacion lineal de a y b con coecientes enteros.
Demostracion
Se sigue directamente del teorema anterior.
Nota 10.5 Sera cierto el recproco?. Es decir, si d > 0 puede escribirse como combinacion lineal con
coecientes enteros de dos n umeros dados a y b, sera d = m.c.d.(a, b)?
Veamos que, en general, no tiene porque serlo. En efecto,
6 = 2 27 + (8) 6
y, sin embargo,
m.c.d. (27, 6) = 3 = 6.
En la proposicion siguiente veremos que si a nadimos la hipotesis de que d sea un divisor com un de a y
de b, entonces si se verica el recproco.
10.6.7 Proposici on
Si d es el menor entero positivo que puede escribirse como combinacion lineal con coecientes enteros
de dos enteros dados a y b y es divisor com un de ambos, entonces d es el maximo com un divisor de a
y de b.
Demostracion
En efecto, supongamos que
d = pa + qb, con p, q Z
y
d|a y d|b
Entonces,
1 d es divisor de a y de b. Directamente de la hipotesis.
2 d es el maximo. En efecto, sea c otro de los divisores comunes de a y b. Entonces,
c|a
y
c|b
_

_
= c|pa + qb, con p y q enteros = c|d.
Por lo tanto, d = m.c.d.(a, b).
Veamos ahora como un corolario a la proposicion anterior que en el caso de que el maximo com un divisor
de a y b sea 1, se verifica el recproco sin necesidad de a nadirle ninguna hipotesis al n umero d.
10.6.8 Corolario
Si a y b son dos enteros distintos de cero, entonces m.c.d. (a, b) = 1 si, y solo si existen dos n umeros
enteros p y q tales que pa + qb = 1.
294
Matematica Discreta Francisco Jose Gonzalez Gutierrez
Demostracion
Solo si. Si m.c.d. (a, b) = 1, entonces por el corolario 10.6.6, pueden encontrarse dos n umeros enteros
p y q tales que pa + qb = 1.
Si. Sean p y q dos n umeros enteros tales que pa + qb = 1. Como 1 es divisor de cualquier n umero
entero, 1|a y 1|b. Aplicamos la proposicion anterior y m.c.d. (a, b) = 1.
Ejemplo 10.28 Demuestrese que si m.c.d. (a, b) = 1 y m.c.d. (a, c) = 1, entonces m.c.d. (a, bc) = 1.
Solucion
Aplicando el corolario, tendremos
m.c.d. (a, b) = 1 p, q Z : pa + qb = 1
m.c.d. (a, c) = 1 r, s Z : ra + sc = 1
y multiplicando termino a termino, se sigue que
(pa + qb)(ra + sc) = 1 a(pra + psc + qrb) + (qs)bc = 1, con pra + psc + qrb y bc enteros
aplicamos de nuevo el corolario anterior, y
m.c.d. (a, bc) = 1

10.6.9 Mas Propiedades

Sean a y b dos n umeros enteros. Se verica:
(i) Si m.c.d. (a, b) = d, entonces m.c.d.
_
a
d
,
b
d
_
= 1
(ii) m.c.d. (ka, kb) = km.c.d. (a, b) , k Z
+
Demostracion
(i) Si m.c.d. (a, b) = d, entonces m.c.d.
_
a
d
,
b
d
_
= 1
En efecto,
d = m.c.d.(a, b) = p, q Z : pa + qb = d {Corolario 10.6.6}
= p, q Z : p
a
d
+ q
b
d
= 1
m.c.d.
_
a
d
,
b
d
_
= 1 {Corolario 10.6.8}
(ii) m.c.d. (ka, kb) = km.c.d. (a, b) , k Z
+
En efecto, supongamos que m.c.d. (a, b) = d. Entonces,
d = m.c.d.(a, b) = p, q Z : pa + qb = d {Corolario 10.6.6}
= p, q Z : pka + qkb = kd
Veamos que kd es el maximo com un divisor de ka y kb.
295
Universidad de Cadiz Departamento de Matematicas
1. kd es divisor de ka y kb.
En efecto,
d = m.c.d. (a, b) =
_
_
_
d |a = kd |ka
y
d |b = kd |kb
2. Sea c cualquier otro divisor com un de ka y kb. Entonces,
c |ka
y
c |kb
_

_
= c |pka + qkb con p, q Z = c |kd
Luego,
m.c.d. (ka, kb) = kd = km.c.d. (a, b)

Ejemplo 10.29 Demostrar que si m.c.d. (a, b) = 1, entonces m.c.d. (a + b, a b) = 1 o 2.

Solucion
Sea d = m.c.d. (a + b, a b). Entonces,
d |a + b

d |a b
_
_
_
= d |(a + b) + (a b) = d |2a
tambien
d |a + b

d |a b
_
_
_
= d |(a + b) (a b) = d |2b
y si d |2a y d |2b, entonces d divide al maximo com un divisor de 2a y 2b, es decir,
d |m.c.d. (2a, 2b) = d |2 m.c.d. (a, b) = d |2
pero los unicos divisores positivos de 2 son 1 y 2, luego
d = 1 o d = 2
o sea,
m.c.d. (a + b, a b) = 1 o 2

Ejemplo 10.30 Demuestrese que d = m.c.d. (a, b) si, y solo si d |a , d |b y m.c.d.

_
a
d
,
b
d
_
= 1.
Solucion
Solo si. Esta demostracion la hicimos en (i) de 10.6.9. Ahora la haremos utilizando (ii) de dicha
proposicion.
Si d = m.c.d. (a, b), es obvio que d |a y d |b, entonces
a
d
y
b
d
son n umeros enteros. Escribimos,
a = d
a
d
y b = d
b
d
296
Matematica Discreta Francisco Jose Gonzalez Gutierrez
luego,
m.c.d. (a, b) = d = m.c.d.
_
d
a
d
, d
b
d
_
= d
= d m.c.d.
_
a
d
,
b
d
_
= d
= m.c.d.
_
a
d
,
b
d
_
= 1
Veamos ahora que la hipotesis de que d |a y d |b, permite probar el recproco tambien.
Si. En efecto, como d |a y d |b, al igual que antes, se sigue que
a
d
y
b
d
son n umeros enteros, por tanto,
m.c.d. (a, b) = m.c.d.
_
d
a
d
, d
b
d
_
= d m.c.d.
_
a
d
,
b
d
_
= d 1
= d

Ejemplo 10.31 Hallar dos n umeros cuyo cociente es igual a

33
21
y su maximo com un divisor 90.
Solucion
Si a y b son los n umeros buscados, entonces
a
b
=
33
21
y
m.c.d. (a, b) = 90
_

_
=
_

_
a =
33
21
b
y
m.c.d. (a, b) = 90
= m.c.d.
_
33
21
b, b
_
= 90
= m.c.d.
_
3 11
3 7
b, b
_
= 90
= m.c.d.
_
11
7
b, b
_
= 90
=
b
7
m.c.d. (11, 7) = 90
= b =
7 90
m.c.d.(11, 7)
= b =
630
1
= b = 630
y, por lo tanto,
a =
33
21
630 = 990

Ejemplo 10.32 Los lados de un rectangulo vienen dados por n umeros enteros positivos. Cual sera
la longitud de dichos lados para que el permetro y la supercie se expresen con el mismo n umero?
297
Universidad de Cadiz Departamento de Matematicas
Solucion
Sean x e y los lados del rectangulo, entonces el permetro y la supercie del mismo son, respectivamente,
2x + 2y y xy, luego para que se cumpla la condicion del enunciado, ha de ser
2x + 2y = xy
Pues bien,
2x + 2y = xy = 2x xy = 2y
= x(2 y) = 2y
= x =
2y
y 2
= x =
2y 4 + 4
y 2
= x = 2 +
4
y 2
pero x Z
+
, luego tambien ha de ser
4
y 2
Z
+
o sea, y 2 ha de ser divisor de 4, por tanto,
y 2 = 1 = y = 3
o
y 2 = 2 = y = 4
o
y 2 = 4 = y = 6
Consecuentemente, las soluciones seran
y = 3, x = 2 +
4
3 2
= 6
y = 4, x = 2 +
4
4 2
= 4
y = 6, x = 2 +
4
6 2
= 3

Ejemplo 10.33 Se han plantado arboles igualmente espaciados en el contorno de un campo triangular
cuyos lados miden 144m., 180m. y 240m. respectivamente. Sabiendo que hay un arbol en cada vertice y
que la distancia entre dos arboles consecutivos esta comprendida entre 5 y 10 metros. Calcular el n umero
de arboles plantados.
Solucion
Sea d la distancia entre dos arboles consecutivos. Entonces d de ser un divisor de 144, 180 y 240 luego
ha de ser divisor de su maximo com un divisor.
Pues bien, calculemos el maximo com un divisor de 144, 180 y 240. Los conjuntos de divisores positivos
de los tres n umeros son:
D
144
= {1, 2, 4, 8, 16, 3, 6, 12, 24, 48, 9, 18, 36, 72, 144}
y
D
180
= {1, 2, 4, 3, 6, 12, 9, 18, 36, 5, 10, 20, 15, 30, 60, 45, 90, 180}
y
D
240
= {1, 2, 4, 8, 16, 3, 6, 12, 24, 48, 5, 10, 20, 40, 80, 15, 30, 60, 120, 240}
298
Matematica Discreta Francisco Jose Gonzalez Gutierrez
Por lo tanto, el conjunto de los divisores comunes a los tres n umeros sera
D
144
D
180
D
240
= {1, 2, 4, 3, 6, 12}
y un diagrama de Hasse que represente la ordenacion de este conjunto por la relacion de divisibilidad es:
12
4
6

2 3

1
Como puede apreciarse claramente el maximo es el 12, por lo tanto,
m.c.d.(144, 180, 240) = 12.
As pues, d ha de ser un divisor de 12 y como estos son 1, 2, 3, 4, 6 y 12, y d ha de estar comprendido
entre 5 y 10, se sigue que
d = 6
El n umero total de arboles plantados sera, pues
N =
144
6
+
180
6
+
240
6
= 94

10.7 Algoritmo de Euclides

Desarrollaremos un metodo para calcular el maximo com un divisor de dos n umeros conocido como el
Algoritmo de Euclides
1
. Este metodo es mas sencillo que el de calcular todos los divisores de ambos
n umeros cuando se trata de calcular el maximo com un divisor de dos n umeros y estos son muy grandes.
Veamos un teorema previo que sustenta teoricamente el algoritmo.
1
Matematico griego del siglo III antes de Cristo. Se sabe que ense naba matematicas en Alejandra, donde fundo la
escuela mas celebre de la antig uedad. Es sobre todo conocido por sus Elementos, que contin uan siendo considerados como
el libro de geometra por excelencia. En el principio de esta obra, importante por su gran claridad y rigor, hay la definicion
de las nociones comunes, a las que Euclides recurre casi constantemente en las paginas que siguen, y entre las cuales
gura su famoso postulado. A continuacion va desarrollando, en un orden logico, los diversos teoremas. El conjunto consta
de trece libros, a los que suele unirse otros dos atribuidos a Hipsicles, matematico de Alejandra que vivio probablemente
en el siglo II antes de Cristo. Los cuatro primeros libros tratan de la geometra del plano y estudian las razones y las
proporciones. La teora de los n umeros enteros es el objeto de los libros VII, VIII y IX. El libro X, mas largo, y considerado
tambien como el mas perfecto de todos, esta consagrado al estudio de los irracionales algebraicos mas simples. La ultima
parte trata de la geometra del espacio. Los Calculos, especie de complemento de los Elementos, tienen una forma mas
analtica. Una obra perdida, la de los Lugares de la supercie, deba tener por objeto el estudio de las secciones planas de
las supercies de revolucion de segundo grado. Los textos de Proclo y de Papo nos han transmitido los Porismas sobre
los cuales se ha discutido mucho, pero que, seg un Chasles, contienen en germen las tres teoras modernas de la razon
anarmonica, de las divisiones homogracas y de la involucion. En n, en su Optica, Euclides procede como en geometra,
poniendo en cabeza algunas proposiciones fundamentales, la mas importante de las cuales admite la propagacion de los
rayos luminosos en lnea recta.
299
Universidad de Cadiz Departamento de Matematicas
10.7.1 Teorema
El maximo com un divisor del dividendo y del divisor de una division es el mismo que el maximo com un
divisor del divisor y el resto.
Demostracion
Sean a y b dos n umeros enteros cualesquiera con b = 0. Por el teorema de existencia y unicidad de
cociente y resto, existiran dos n umeros enteros, unicos, q y r tales que
a = bq + r : 0 r < b
Probaremos que el maximo com un divisor de a y b es el mismo que el de b y r.
En efecto, sea d = m.c.d. (a, b). Entonces, d es un divisor com un a a y a b, luego por (iv) de 10.4.2,
d |a + (q)b
es decir,
d |r .
Por lo tanto,
d |b y d |r . (10.7)
Veamos ahora que es el maximo de los divisores comunes de b y r. En efecto, si c es otro divisor com un
a b y r, nuevamente por (iv) de 10.4.2,
c |bq + r
es decir,
c |a
luego,
c |a y c |b
y, consecuentemente, ha de dividir al maximo com un divisor de a y b, es decir,
c |d . (10.8)
De (10.7) y (10.8) se sigue que
m.c.d. (b, r) = d
y, por lo tanto,
m.c.d. (a, b) = m.c.d. (b, r)

10.7.2 Algoritmo de Euclides

El teorema anterior es el fundamento del algoritmo de Euclides, proceso de divisiones sucesivas que
permite calcular el maximo com un divisor de dos n umeros.
Demostracion
Sean a y b dos n umeros enteros que supondremos mayores que cero y tales que a = b.
Observese que al ser
m.c.d. (a, b) = m.c.d. (|a| , |b|)
el suponer que a > 0 y b > 0 no significa perdida de generalidad alguna y lo mismo ocurre con suponer
que a = b ya que m.c.d.(a, a) = a. Como a = b, sera a > b o a < b. Supondremos que a > b.
300
Matematica Discreta Francisco Jose Gonzalez Gutierrez
Por el teorema 10.1.1, existiran dos enteros q
1
y r
1
, unicos, tales que
a = bq
1
+ r
1
: 0 r
1
< b
y por el teorema anterior,
m.c.d.(a, b) = m.c.d.(b, r
1
).
Ahora pueden ocurrir dos cosas:
Si r
1
= 0, entonces,
m.c.d.(a, b) = m.c.d.(b, r
1
) = m.c.d.(b, 0) = b
y el proceso para obtener el maximo com un divisor termina.
Si r
1
= 0, entonces aplicando de nuevo 10.1.1, obtenemos q
2
y r
2
tales que
b = r
1
q
2
+ r
2
: 0 r
2
< r
1
y por el teorema previo,
m.c.d.(b, r
1
) = m.c.d.(r
1
, r
2
)
y, nuevamente, pueden ocurrir dos cosas:
Si r
2
= 0, entonces
m.c.d.(b, r
1
) = m.c.d.(r
1
, r
2
) = m.c.d.(r
1
, 0) = r
1
y, consecuentemente,
m.c.d.(a, b) = m.c.d.(b, r
1
) = m.c.d.(r
1
, r
2
) = r
1
terminando el proceso.
Si r
2
= 0, entonces el teorema 10.1.1 permite, de nuevo, obtener q
3
y r
3
tales que
r
1
= r
2
q
3
+ r
3
: 0 r
3
< r
2
y por el teorema previo,
m.c.d.(r
1
, r
2
) = m.c.d.(r
2
, r
3
)
y, otra vez,
Si r
3
= 0, entonces
m.c.d.(r
1
, r
2
) = m.c.d.(r
2
, r
3
) = m.c.d.(r
2
, 0) = r
2
por lo tanto,
m.c.d.(a, b) = m.c.d.(b, r
1
) = m.c.d.(r
1
, r
2
) = m.c.d.(r
2
, 0) = r
2
y el proceso acaba.
Si r
3
= 0, entonces que haras?
Procediendo as sucesivamente, obtendramos
r
1
> r
2
> r
3
> > r
k
>
y todos y cada uno de los n umeros r
1
, r
2
, . . . . . . , r
k
son mayores que cero, luego el conjunto de todos ellos
no puede tener infinitos elementos.
En alg un momento y despues de un n umero finito de pasos, aparecera un resto igual a cero. Supongamos
que dicho resto es r
n+1
, entonces aplicando sucesivamente el teorema previo, tendremos
m.c.d. (a, b) = m.c.d. (b, r
1
) = m.c.d. (r
1
, r
2
) = = m.c.d. (r
n1
, r
n
) = m.c.d. (r
n
, r
n+1
)
301
Universidad de Cadiz Departamento de Matematicas
y al ser r
n+1
= 0, sera
m.c.d. (r
n
, r
n+1
) = m.c.d. (r
n
, 0) = r
n
y, por tanto,
m.c.d. (a, b) = r
n
nalizando el proceso de obtener el maximo com un divisor de los n umeros a y b.
En la practica los calculos suelen disponerse en la forma siguiente:
q
1
q
2
q
3
q
n
q
n+1
a b r
1
r
2
r
n1
r
n
= m.c.d. (a, b)
r
1
r
2
r
3
r
n
r
n+1
= 0

Ejemplo 10.34 Hallar el maximo com un divisor de 1369 y 2597 y expresarlo como una combinacion
lineal con coeficientes enteros de ellos.
Solucion
Lo haremos de forma practica, disponiendo los calculos en una tabla
1 1 8 1 2 2 3 1 1 2
2597 1369 1228 141 100 41 18 5 3 2 1
1228 141 100 41 18 5 3 2 1 0
luego,
m.c.d. (2597, 1369) = 1
Para hallar los coeficientes de la combinacion lineal pedida, haremos las mismas cuentas pero hacia
302
Matematica Discreta Francisco Jose Gonzalez Gutierrez
atras.
1 = 3 2 1
2 = 5 3 1
_
= 1 = 3 (5 3 1)1
= (1) 5 + 2 3
1 = (1) 5 + 4 3
3 = 18 5 3
_
= 1 = (1)5 + 4(18 5 3)
= 4 18 + (5) 5
1 = 4 18 + (5) 5
5 = 41 18 2
_
= 1 = 4 18 + (5)(41 18 2)
= (5) 41 + 14 48
1 = (5) 41 + 14 18
18 = 100 41 2
_
= 1 = (5) 41 + 4(100 41 2)
= 14 100 13 41
1 = 14 100 13 41
41 = 141 1 100
_
= 1 = 16 100 39(141 1 100)
= (39) 141 + 55 100
1 = (39) 141 + 55 100
100 = 1228 8 141
_
= 1 = (39) 141 + 55(1228 8 141)
= 55 1228 479 141
1 = 55 1228 479 141
141 = 1369 1 1228
_
= 1 = 55 1228 479(1369 1 1228)
= (479)1369 + 534 1228
1 = (479) 1369 + 534 1228
1228 = 2597 1 1369
_
= 1 = (479) 1369 + 534(2597 1 1369)
= 534 2597 + (1013) 1369
De aqu que la combinacion lineal buscada sea
1 = 534 2597 + (1013) 1369
Observese que esta expresion no es unica. En efecto, para cualquier k Z, tendremos
1 = 534 2597 + (1013) 1369
= 534 2597 + (1013) 1369 + (1369k) 2597 + (2597k) 1369
= (534 1369k)2597 + (1013 + 2597k)1369
Observese tambien que
m.c.d. (1369, 2597) = 1
m.c.d. (1369, 2597) = 1
m.c.d. (1369, 2597) = 1
y en tales casos las combinaciones lineales con coecientes enteros seran:
1 = 1013(1369) + 534 2597
1 = (1013) 1369 + (534)(2597)
1 = 1013(1369) + (534)(2597)

303
Universidad de Cadiz Departamento de Matematicas
Ejemplo 10.35 Calcular el maximo com un divisor de 231 y 1820. Expresar dicho n umero como una
combinacion lineal con coeficientes enteros de ellos dos.
Solucion
7 1 7 4
1820 231 203 28 7
203 28 7 0
Por tanto,
m.c.d. (1820, 231) = 7
Calculamos los coeficientes de la combinacion lineal siguiendo el proceso inverso.
7 = 203 28 7
28 = 231 203 1
_
= 7 = 203 (231 203 1)7 = (7)231 + 8 203
7 = (7) 231 + 8 203
203 = 1820 231 7
_
= 7 = (7) 231 + 8 (1820 231 7) = 8 1820 + (63) 231
es decir, la combinacion lineal pedida es
7 = 8 1820 + (63) 231

Ejemplo 10.36 Cual es el mayor n umero que al emplearlo como divisor de 68130 y 107275 origina
los restos 27 y 49, respectivamente?
Solucion
Sea n el n umero que buscamos. Entonces,
68130 = nq + 27
107275 = np + 49
_
=
68103 = nq, con q Z
107226 = np, con p Z
_
= n|68103 y n|107226
luego n es un divisor com un a 68103 y 107226 y como tiene que ser el mayor, sera
n = m.c.d. (68103, 107226) = 1449

Ejemplo 10.37 Halla dos n umeros cuyo maximo com un divisor es 7 y tales que los cocientes obtenidos
en su determinacion por el algoritmo de Euclides son, en orden inverso, 7, 2, 3 y 36.
Solucion
Presentando los calculos en la forma pr actica que vimos antes, si los n umeros buscados son a y b,
tendremos
36 3 2 7
a b r
1
r
2
r
3
r
1
r
2
r
3
0
por tanto,
m.c.d. (a, b) = r
3
304
Matematica Discreta Francisco Jose Gonzalez Gutierrez
luego,
r
3
= 7
siguiendo el camino inverso, tendremos:
r
2
= r
3
7 + 0 = r
2
= 7 7 = r
2
= 49
r
1
= r
2
2 + r
3
= r
1
= 49 2 + 7 = r
1
= 105
b = r
1
3 + r
2
= b = 3 105 + 49 = b = 364
a = b 36 + r
1
= a = 364 36 + 105 = a = 13209
luego los n umeros buscados son a = 13209 y b = 364.
Ejemplo 10.38 Demostrar usando el algoritmo de Euclides, el punto (ii) de 10.6.9, es decir, para cada
p > 0 es
m.c.d. (p a, p b) = p m.c.d. (a, b)
Solucion
Seguiremos un camino analogo al utilizado en la demostracion del algoritmo de Euclides y supondremos
que el primer resto nulo aparece en el paso n + 1.
1. Dados pa y pb, por el algoritmo de la division, hallamos dos n umeros enteros q
1
y r tales que
pa = pb q
1
+ r : 0 r < pb
Observamos que el cociente q
1
es el mismo que el de aplicar el algoritmo de la division a a y b.
Ademas, si tomamos
r = pa pb q
1
= p(a b q
1
)
y llamamos r
1
= a b q
1
, resulta que r = pr
1
y r
1
es el resto de dividir a entre b, donde
0 r < pb = 0 pr
1
< pb = 0 r
1
< b
luego,
pa = pb q
1
+ pr
1
: p r
1
< b
2. Aplicando de nuevo el algoritmo de la division a pb y pr
1
, tendremos que existen dos n umeros
enteros q
2
y r tales que
pb = pr
1
q
2
+ r

: 0 r

< pr
1
y q
2
es el mismo cociente que resultara de dividir b entre r
1
.
Tomando,
r

= pb pr
1
q
2
= p(b r
1
q
2
)
y llamando r
2
= b r
1
q
2
, resulta r

= pr
2
y r
2
es el resto de dividir b entre r
1
, donde
0 r

< pr
1
= 0 pr
2
< pr 1 = 0 r
2
< r 1
luego,
pb = pr
1
q
2
+ pr
2
: 0 r
2
< r
1
3. Siguiendo el mismo proceso n + 1 veces, tendramos
pr
n1
= pr
n
q
n+1
+ r
(n+1
: 0 r
(n+1
< pr
n
y q
n+1
es el mismo cociente que resultara al dividir r
n1
entre r
n
.
Tomando
r
(n+1
= pr
n1
pr
n
q
n+1
= p(r
n1
r
n
q
n+1
)
305
Universidad de Cadiz Departamento de Matematicas
y llamando r
n+1
= r
n1
r
n
q
n+1
, resulta r
(n+1
= pr
n+1
y r
n+1
es el resto de dividir r
n1
entre
r
n
, siendo
0 r
(n+1
< pr
n
= 0 pr
n+1
< pr
n
= 0 r
n+1
< r
n
luego,
pr
n1
= pr
n
q
n+1
+ pr
n+1
: 0 r
n+1
< r
n
como hemos supuesto que r
(n+1
= 0, de r
(n+1
= pr
n
+ 1 y al ser p = 0, se sigue que r
n+1
= 0, de
aqu que
pr
n1
= pr
n
q
n+1
y
m.c.d. (pa, pb) = pr
n

10.8 Mnimo Com un M ultiplo

Estudiaremos en esta seccion los m ultiplos comunes a un par de n umeros enteros.
10.8.1 M ultiplo Com un
Dados dos n umeros enteros a y b, diremos que el entero m = 0 es un m ultiplo com un de ambos, si es
m ultiplo de a y es m ultiplo de b, es decir,
m = 0, es m ultiplo com un de a y b a|m y b|m
Observese que sera lo mismo decir que a y b son divisores de m o que a y b dividen a m.
Por ejemplo,
2 |16 y 4 |16, luego 16 es m ultiplo com un de 2 y 4.
3 |27 y 9 |27, luego 27 es m ultiplo com un de 3 y 9.
10.8.2 Mnimo Com un M ultiplo
El mnimo com un m ultiplo de dos n umeros enteros es el mnimo del conjunto de los m ultiplos positivos
comunes a ambos ordenado por la relacion de divisibilidad. Notaremos por m.c.m.(a, b) al mnimo
com un m ultiplo de los enteros a y b.
Teniendo en cuenta la denicion de mnimo de un conjunto ordenado, si llamamos M al conjunto de
306
Matematica Discreta Francisco Jose Gonzalez Gutierrez
todos los m ultiplos positivos comunes a a y b, tendremos
m = m.c.m.(a, b)
_

_
1. a|m y b|m
y
2. m = min(M)

_
1. a|m y b|m
y
2. c, c M = m|c

_
1. a|m y b|m
y
2. c, a|c y b|c = m|c
Ejemplo 10.39 Calcular el mnimo com un m ultiplo de 12 y 15.
Solucion
Aplicaremos la denicion directamente. Los conjuntos de m ultiplos positivos de 12 y 15 son, respectiva-
mente,
M
12
= {12, 24, 36, 48, 60, 72, 84, 96, 108, 120, . . .}
y
M
15
= {15, 30, 45, 60, 75, 90, 105, 120, . . .}
luego el conjunto de todos los m ultiplos comunes a ambos es
M
12
M
15
= {60, 120, 180, 240, . . .}
y el mnimo de este conjunto es para la relacion de divisibilidad es 60, luego
m.c.m. (12, 15) = 60

10.8.3 Mnimo Com un M ultiplo de Varios N umeros

Sean a
1
, a
2
, . . . , a
n
n umeros enteros. Llamaremos mnimo com un m ultiplo de ellos al m ultiplo com un
m > 0 tal que cualquier otro m ultiplo com un de dichos n umeros es tambien m ultiplo de m. Se designara
por m.c.m. (a
1
, a
2
, . . . , a
n
).
Observese que la definicion dada equivale a decir que es el entero positivo mas peque no que sea m ultiplo
de todos ellos.
10.8.4 Proposici on
Sean a y b dos n umeros enteros positivos. Se verica que
m.c.m. (ka, kb) = k m.c.m. (a, b) , k Z
+
Demostracion
Sea m = m.c.m. (a, b). Entonces,
307
Universidad de Cadiz Departamento de Matematicas
1.
m = m.c.m. (a, b) =
_
_
_
a |m = ka |km
y
b |m = kb |km
es decir, km es m ultiplo com un de ka y kb.
2. Supongamos que c es otro m ultiplo com un de ka y kb. Entonces,
ka |c q
1
Z : c = kaq
1
=
c
k
= aq
1
a

c
k
y
kb |c q
2
Z : c = kbq
2
=
c
k
= bq
2
b

c
k
o sea,
c
k
es un m ultiplo com un de a y b, luego ha de serlo tambien de su mnimo com un m ultiplo,
m, luego
m

c
k
q Z :
c
k
= mq c = kmq km|c
y por lo tanto, c es m ultiplo de km.
Por 1. y 2., tendremos que
m.c.m. (ka, kb) = km = k m.c.m. (a, b)

10.8.5 Proposici on
Para cualquier par de n umeros enteros positivos se verica que el producto del maximo com un divisor
y de su mnimo com un m ultiplo es igual al producto de los dos n umeros.
Demostracion
Por (ii) de 10.6.9, si d = m.c.d. (a, b), entonces
a
d
y
b
d
son primos entre s, luego m.c.m.
_
a
d
,
b
d
_
=
a
d

b
d
.
Pues bien,
m.c.d. (a, b) m.c.m. (a, b) = d d m.c.m.
_
a
d
,
b
d
_
= d d
a
d

b
d
= a b

Ejemplo 10.40 Sean a y b dos n umeros enteros distintos de cero. Demostrar que las siguientes
condiciones son equivalentes.
(i) a |b
(ii) m.c.d. (a, b) = |a|
(iii) m.c.m. (a, b) = |b|
Solucion
(i) = (ii) En efecto, si a divide a b, entonces a es un divisor com un de a y b y ademas cualquier otro
divisor com un de a y de b divide a a, luego
Si a > 0, entonces m.c.d. (a, b) = a
Si a < 0, entonces m.c.d. (a, b) = m.c.d. (a, b) = a
_
= m.c.d. (a, b) = |a|
308
Matematica Discreta Francisco Jose Gonzalez Gutierrez
(ii) = (iii) En efecto, supongamos que m.c.d. (a, b) = |a|, entonces por la proposicion anterior,
m.c.d. (a, b) m.c.m. (a, b) = |a b| = |a| m.c.m. (a, b) = |a| |b|
y de aqu se sigue que
m.c.m. (a, b) = |b|
(iii) = (i) En efecto, si m.c.m. (a, b) = |b|, entonces, de la definicion de mnimo com un m ultiplo se sigue
que |b| es un m ultiplo de a, es decir a divide a |b|, luego
a |b

Ejemplo 10.41 Determinar el maximo com un divisor y el mnimo com un m ultiplo de las siguientes
parejas de n umeros y expresar, en cada caso, el maximo com un divisor como una combinacion lineal de
ellos.
(a) 2689 y 4001
(b) 7982 y 7983
Solucion
(a) Hallamos el maximo com un divisor de 2689 y 4001 mediante el algoritmo de Euclides.
1 2 20 5 2 2 2
4001 2689 1312 65 12 5 2 1
1312 65 12 5 2 1 0
luego,
m.c.d. (4001, 2689) = 1
y, por tanto,
m.c.m. (4001, 2689) = 4001 2689 = 10758689
Expresamos ahora el maximo com un divisor como una combinacion lineal con coeficientes enteros de
4001 y 2689
1 = 5 2 2
2 = 12 2 5
_
= 1 = 5 2(12 2 5)
= 2 12 + 5 5
1 = 2 12 + 5 5
5 = 65 5 12
_
= 1 = 2 12 + 5(65 5 12)
= 5 65 + (27) 12
1 = 5 65 27 12
12 = 1312 20 65
_
= 1 = 5 65 27(1312 20 65)
= 27 1312 + 545 65
1 = 27 1312 + 545 65
65 = 2689 2 1312
_
= 1 = 27 1312 + 545(2689 2 1312)
= 545 2689 1117 1312
1 = 545 2689 1117 1312
1312 = 4001 1 2689
_
= 1 = 545 2689 1117(4001 1 2689)
= 1117 4001 + 1662 2689
309
Universidad de Cadiz Departamento de Matematicas
luego la combinacion lineal buscada es
1 = 1117 4001 + 1662 2689
(b) Al igual que en el apartado anterior, utilizamos el algoritmo de Euclides para hallar el maximo com un
divisor de 7982 y 7983.
1 7982
7983 7982 1
1 0
luego,
m.c.d. (7983, 7982)) = 1
y
m.c.m. (7983, 7982) = 7983 7982 = 63720306
La combinacion lineal buscada sera, por tanto,
1 = 7983 + (1) 7982

Ejemplo 10.42 Para cada n Z

+
, Cual es el mnimo com un m ultiplo y el maximo com un divisor
de n y n + 1?
Solucion
Observese lo siguiente:
Si n es par(impar), entonces n + 1 es impar(par), luego el unico divisor com un positivo que tienen es el
1, de aqu que
m.c.d. (n, n + 1) = 1
Si empleamos el algoritmo de Euclides
1 n
n + 1 n 1
1 0
o sea,
m.c.d. (n, n + 1) = 1
De
m.c.d. (n, n + 1) m.c.m. (n, n + 1) = n(n + 1)
se sigue que
m.c.m. (n, n + 1) = n(n + 1)

Ejemplo 10.43 Sean a, b y c tres n umeros enteros positivos tales que a y b son primos entre s. Probar
que si a |c y b |c, entonces ab |c. Se verifica tambien si a y b no son primos entre s?
Solucion
310
Matematica Discreta Francisco Jose Gonzalez Gutierrez
En efecto,
a |c c es m ultiplo de a

b |c c es m ultiplo de b
_
_
_
= c es m ultiplo del m.c.m. (a, b) {m.c.m. (a, b) = ab}
= c es m ultiplo de ab
ab |c
Si a y b no son primos entre s, no se verifica la proposicion. Por ejemplo
4 |16 y 8 |16
sin embargo 32 no divide a 16.
Ejemplo 10.44 El mnimo com un m ultiplo de los terminos de una fraccion es 340. Determinar dicha
fraccion sabiendo que no altera su valor si se suma 20 al numerador y 25 al denominador.
Solucion
Sean a y b el numerador y del denominador de la fraccion buscada y sea d el maximo com un divisor de
ambos n umeros, entonces
a
b
=
a + 20
b + 25
ab + 25a = ab + 20b
a
b
=
20
25
y si dividimos numerador y denominador de ambas fracciones por su maximo com un divisor, tendremos
a
d
b
d
=
20
5
25
5

a
d
b
d
=
4
5

_

_
a
d
= 4
y
b
d
= 5
Por otra parte,
m.c.d. (a, b) m.c.m. (a, b) = a b
luego,
d 340 = a b
de aqu que
a
d
=
340
b
y
b
d
=
340
a
y comparando estas igualdades con las anteriores, tendremos
a
d
= 4
y
a
d
=
340
b
_

_
=
340
b
= 4 = b =
340
4
= b = 85
b
d
= 5
y
b
d
=
340
a
_

_
=
340
a
= 5 = a =
340
5
= a = 68

Ejemplo 10.45 Hallar dos n umeros, sabiendo que su suma es 240 y su mnimo com un m ultiplo es
1768.
311
Universidad de Cadiz Departamento de Matematicas
Solucion
Sean a y b los n umeros buscados y sea d su maximo com un divisor. Si llamamos
a

=
a
d
y b

=
b
d
entonces,
m.c.d. (a

, b

) = 1
y
m.c.m. (a

, b

) = a

Pues bien, sea m = m.c.m. (a, b), entonces

a

=
a b
d d
=
m
d
= d a

= 1768
por tanto,
da

= 1768
da

+ db

= 240
_
=
da

d(a

+ b

)
=
2
3
221
2
4
15
=
a

+ b

=
221
30
Veamos que a

y a

+ b

son primos entre s.

En efecto, si c es el maximo com un divisor de a

y a

+ b

, entonces
c |a

y
c |a

+ b

= c

a
2
+ a

_
= c

a
2
y como m.c.d. (a

, b

) = 1, existiran dos n umeros enteros p y q tales que

pa

+ qb

= 1
luego,
pa
2
+ qa

= a

consecuentemente, c |a

Analogamente y con el mismo razonamiento, puede probarse que c |b

.
As pues, c es un divisor com un de a

y b

, por tanto debera ser divisor de su maximo com un divisor, es

decir
c |1
luego,
m.c.d. (a

, a

+ b

) = 1
y, por tanto,
a

= 221
a

+ b

= 30
_
= a

(30 a

) = 221 = a
2
30a

+ 221 = 0 = a

= 17 o a

= 13
Consecuentemente, las opciones posibles son:
1. a

= 17, b

= 13
2. a

= 13, b

= 17
en cualquiera de los dos casos es a

+ b

= 30, luego
da

+ db

= 240 = d(a

+ b

) = 240 = d 30 = 240 = d = 8
de donde resultan las soluciones:
312
Matematica Discreta Francisco Jose Gonzalez Gutierrez
1. Para a

= 17 y b

= 13
a = d a

= a = 8 17 = a = 136
b = d b

= b = 8 13 = b = 104
2. Para a

= 13 y b

= 17
a = d a

= a = 8 13 = a = 104
b = d b

= b = 8 17 = b = 136
de aqu que los n umeros buscados sean 104 y 136.
Ejemplo 10.46 Determinar dos n umeros naturales sabiendo que su mnimo com un m ultiplo es 360 y
la suma de sus cuadrados 5409.
Solucion
Sean a y b los n umeros a determinar, entonces
m.c.m. (a, b) = 360
y
a
2
+ b
2
= 5409
Pues bien, sea d el maximo com un divisor de a y b y sean
a

=
a
d
y b

=
b
d
entonces,
m.c.d. (a, b) m.c.m. (a, b) = a b = d 360 = a b = d 360 = a

db

d = d
2
a
2
b
2
= 360
2
por otra parte,
a
2
+ b
2
= 5409 = a
2
d
2
+ b
2
d
2
= 5409 = d
2
(a
2
+ b
2
) = 5409
de aqu que
d
2
a
2
b
2
= 360
2
d
2
(a
2
+ b
2
) = 5409
_
=
a
2
b
2
a
2
+ b
2
=
360
2
5409
=
a
2
b
2
a
2
+ b
2
=
360
2
9
5409
9
=
a
2
b
2
a
2
+ b
2
=
120
2
601
=
_
a

= 120
a
2
+ b
2
= 601
=
_
2a

= 240
a
2
+ b
2
= 601
{sumando y restando ambas ecuaciones}
=
_
(a

+ b

)
2
= 841
(a

)
2
= 361
=
_
a

+ b

= 29
a

= 19
=
_
a

= 24
b

= 5
313
Universidad de Cadiz Departamento de Matematicas
y como
da

= 360
tendremos que
d 24 5 = 360 = d = 3
consecuentemente, los n umeros pedidos son
a = d a

= 3 24 = 72
b = d b

= 3 5 = 15

314