Divisin de nmeros naturales

Divisibilidad

1. Divisin de nmeros naturales

Dividir, en el sentido matemtico, significa repartir equitativamente. Trataremos en este
epgrafe la divisin con nmeros naturales, es decir, aquellos que utilizamos para contar. El
ejemplo ms empleado, por dulce y descriptivo, es el de repartir caramelos: supongamos
que tenemos 15 caramelos y queremos dividirlos entre 4 nios.

1 Departamento de lgebra. Universidad de Granada

c
 Divisin de nmeros naturales

Hay dos opciones sencillas de reparto equitativo: Opcin a): 3 de los nios reciben 4
caramelos y 1 recibe solo 3 caramelos. Opcin b): los 4 nios reciben 3 caramelos y se
dejan sin repartir 3 caramelos. Esta segunda opcin corresponde a la divisin matemtica
de nmeros naturales: el nmero 15 es el dividendo, el 4 es el divisor y la divisin determina
el cociente (cantidad que recibe cada uno de los nios), que en este caso es 3, y el resto
(una cantidad menor que el divisor y que por tanto no alcanza para dar una unidad ms a
cada nio) que es tambin 3 en este ejemplo. Podemos expresar este reparto con la siguiente
frmula

15 = 4 3 + 3

en el caso general, si dividimos a entre b

a = bq+r

donde q es el cociente y r es el resto, que cumple 0 r < b.

Repasemos con un ejemplo sencillo el algoritmo de la divisin que aprendimos en prima-
ria: se trata de dividir 235 entre 7.
En el primer paso hacemos un reparto aproximado: separamos los dos dgitos a la izquierda
y como 23 entre 7 cabe a 3, entonces escribimos 3 debajo de la caja y restamos 7 3 = 21 al

2 Departamento de lgebra. Universidad de Granada

c
 Mltiplos y divisores

23. Realmente hemos calculado que asignamos 30 unidades en cada uno de los "paquetes
con lo que hemos consumido 210 unidades de las 235 disponibles, as que quedan 25 por
repartir an; estas 25 permiten asignar an 3 ms a cada "paquete con lo que se consumen
21 y solo quedan 4 que ya no alcanzan para repartir entre 7, por tanto hemos obtenido que
el cociente es 33 (30 + 3) y el resto es 4.

235 = 7 33 + 4

Ejercicio 1. Al fallecer un padre deja una deuda de 13565 euros que deben saldar de forma
equitativa sus 7 hijos. Calcular la cantidad entera (sin decimales) que debe aportar cada uno
(es decir, el cociente de la divisin) para que la deuda quede completamente satisfecha.

2. Mltiplos y divisores
Observamos ahora el caso en el que al dividir a entre b ocurra que el resto es 0, por
ejemplo 18 = 6 3 + 0, entonces decimos que a es un mltiplo de b (18 es mltiplo de 6).
Hay distintas formas de describir esta relacin:

1. a es un mltiplo de b,

3 Departamento de lgebra. Universidad de Granada

c
 Mltiplos y divisores

2. a se obtiene al multiplicar b por otro nmero: a = b c,

3. el resto de dividir a entre b es 0,

4. a es divisible por b,

5. b es un divisor de a.

Usamos los smbolos b|a (se lee: "b divide a a) para describir esta relacin.

Observacin 1. Dado un nmero n 6= 0 tiene infinitos mltiplos: 0, n, 2n, 3n, . . . , y el nmero

0 solo tiene un mltiplo, el propio 0. Por el contrario, todos los nmeros dividen a 0 o dicho
de otra manera, 0 es mltiplo de cualquier nmero. Qu propiedad tiene el nmero 1 como
divisor y como mltiplo?

Observacin 2. Las relaciones "dividir a y "ser mltiplo de tienen las propiedades reflexiva
y transitiva.

Ejercicio 2. En el conjunto de los nmeros del 1 al 16 vamos a representar en un diagrama

la relacin de divisibilidad. Para ello dibujaremos una lnea descendente (vertical u oblcua)
de un nmero a sus mltiplos ms pequeos. Un recorrido descendente nos lleva, por la
transitividad, de un nmero a un mltiplo suyo.

4 Departamento de lgebra. Universidad de Granada

c
 Nmeros primos y compuestos

2 3 5 7 11 13

4 6 9 10 14

8 12

16

3. Nmeros primos y compuestos

En el ejercicio anterior se observa que la segunda lnea horizontal est ocupada por aque-
llos nmeros que solo tienen como divisor propio (es decir, distinto del mismo nmero) al
1. La definicin habitual de nmero primo es que es un nmero distinto de la unidad que
solo es divisible por 1 y por s mismo. Los nmeros distintos de uno y no primos se llaman
compuestos. Los nmeros primos son uno de los objetos ms antiguos e interesantes de las
matemticas y muchos los consideran los "ladrillos con los que se contruyen los nmeros
naturales debido al siguiente resultado:

3.1 Teorema (Teorema Fundamental de la Aritmtica). Todo nmero natural mayor que 1 se

5 Departamento de lgebra. Universidad de Granada

c
 Nmeros primos y compuestos

escribe de forma nica, salvo el orden de los factores, como producto de primos.

Cuando un factor primo aparece varias veces en la descomposicin de un nmero se suele

escribir solo una vez elevado a la potencia que corresponda. As, se obtiene una expresin
de la forma
e e
n = p11 p22 pses

donde pi representa a un nmero primo y ei > 0 para cada valor de i = 1, . . . , s.

Ejemplo 1. El nmero 198 es un nmero compuesto, lo que es fcil de observar porque es

par y por tanto divisible por 2. La descomposicin en factores primos es

198 = 2 3 3 11 = 2 32 11

Esta descomposicin nos permite calcular de una manera rpida todos los divisores del n-
mero dado. En este caso cualquier divisor tiene que ser producto de los primos que aparecen
y como mucho aparecer elevados a la mxima potencia que tengan en la factorizacin. As
que para calcular un divisor de 198 debemos escribir un producto

2a 3 b 11c

6 Departamento de lgebra. Universidad de Granada

c
 Nmeros primos y compuestos

donde 0 a 1; 0 b 2; 0 c 1. TODAS las posibles elecciones para a, b, c y los

correspondientes divisores son:
a bc d
000 1
100 2
010 3
020 9
001 11
110 6
120 18
101 22
011 33
021 99
111 66
121 198

Ejercicio 3. Dibuja el diagrama que corresponde a la relacin de divisibilidad para el con-

junto de los divisores de 198.

Ejercicio 4. Calcula la descomposicin en primos del nmero 301411 as como el conjunto

7 Departamento de lgebra. Universidad de Granada

c
 Mximo comn divisor y mnimo comn mltiplo

de todos sus divisores. Representa la relacin de divisibilidad en dicho conjunto y comprala

con la obtenida en el ejercicio anterior.

4. Mximo comn divisor y mnimo comn mltiplo

Dada una pareja de nmeros naturales, a y b, pueden calcularse los conjuntos de divisores
de cada uno y determinar cul es el mayor nmero que los divide a ambos, es el mximo
comn divisor y se representa como mcd(a, b) o simplemente (a, b) si no hay lugar a confu-
sin. A veces el mximo divisor comn entre dos nmeros es el 1, entonces se dice que los
dos nmeros son primos relativos, como ocurre con 24 y 35 puesto que mcd(24, 35) = 1.
Del mismo modo, entre todos los mltiplos comunes de ambos nmeros puede elegirse el
menor, al que llamamos el mnimo comn mltiplo, que se representa por mcm(a, b) o bien
[a, b]. El mnimo comn mltiplo se utiliza para calcular la suma de fracciones.
En la enseanza primaria suelen usarse principalmente dos mtodos para calcular mcm y
mcd, por tanteo o bien a partir de la factorizacin en primos. Recordemos este ltimo: el mcd
es el producto de los primos comunes (es decir, que aparecen en las descomposiciones de
ambos nmeros) elevados al menor exponente y el mcm es el producto de todos los primos
(comunes y no comunes) elevados a la mayor potencia con la que aparezcan.

8 Departamento de lgebra. Universidad de Granada

c
 Mximo comn divisor y mnimo comn mltiplo

Ejemplo 2. Calulemos mcd(825, 198) y mcm(825, 198). Para ello tenemos

825 = 3 11 52 ; 198 = 2 32 11

entonces primos comunes son 3 y 11 y el menor exponente con el que aparece cada uno
es 1, as que
mcd(825, 198) = 3 11 = 33

(puede comprobarse calculando los conjuntos de divisores de ambos)

mcm(825, 198) = 2 32 52 11 = 4950

donde hemos usado todos los primos, cada uno de ellos con el mayor exponente con el
que apareca.

Este mtodo tambin puede usarse para calcular el mcd y el mcm de cualquier conjunto
finito de nmeros.

Ejercicio 5. Calcula

9 Departamento de lgebra. Universidad de Granada

c
 Mximo comn divisor y mnimo comn mltiplo

a) md c(560, 588) c) mcd(210, 315, 420)

b) mcm(72, 108) d) mcm(270, 234)

Un mtodo ms eficiente para calcular el mcd de dos nmeros es el algoritmo de Eucli-

des, que consiste en hacer divisiones enteras sucesivas y que forma parte del temario de la
asignatura ALEM del grado de Informtica. Este algoritmo y el hecho de que

a b = mcd(a, b) mcm(a, b)

nos permite un clculo algortmico de ambos.

10 Departamento de lgebra. Universidad de Granada

c