You are on page 1of 13

EXISTE UN CRITERIO GENERAL DE DIVISIBILIDAD, APLICABLE A

CUALQUIER NMERO PRIMO?


Grimaldo Oleas L.
Noviembre 2014

PRESENTACIN
Usualmente enunciamos y aplicamos criterios de divisibilidad, sin detenernos en su justificacin en la Teora
Elemental de Nmeros. Adicionalmente, en los textos de Teora de Nmeros, es poca la informacin
contenida acerca del tema.
Con apoyo en algunos teoremas bsicos, presentamos aqu los criterios de divisibilidad comnmente usados
(por 2, 3, 4, 5, 8, 9, 10, 11), con su respectiva prueba, e intentamos enunciar y demostrar un criterio de
divisibilidad por cualquier nmero primo, de manera sencilla, e inteligible para estudiantes de educacin
bsica y media.

ELEMENTOS TERICOS
Definicin:
Si a, b son enteros con a 0 , se dice que a divide a b , si existe un entero c , tal que b
Expresiones equivalentes para a divide a b son:
a es divisor de b
b es mltiplo de a
b es divisible por a

a c.

Notacin:

a b denota: a divide a b
a b denota: a no divide a b

Teorema 1 (Algoritmo de la divisin)


Para a, b enteros, con b

0 , existen enteros nicos q, r , tales que: a q b

r , con 0

Teorema 2
I.

Para a, b, c enteros, si a b y a c , entonces a

(b c)

II. Para a, b, c enteros, si a b , pero a c , entonces a (b c)


III. Para a, b, m enteros, con m

0 , a b si y slo si ma mb

IV. Para a, b, c enteros, si a b y b c , entonces a c


V. Para a, b, c enteros, si a

(b

c) y mcd (a, b) 1 , entonces a c

Los numerales i., ii., pueden resumirse as:


Para a, b, c enteros, si a b , entonces: a

(b c) si y slo si a c .

Los dos teoremas siguientes se prueban fcilmente, usando el Principio de Induccin Matemtica.

b.

Pgina 2 de 13

Teorema 3
Para todo n entero no negativo, (10n 1) es divisible por 9.

Teorema 4
Para todo n entero no negativo:
Si n es par, entonces (10n 1) es divisible por 11
Si n es impar, entonces (10n

1) es divisible por 11

CRITERIOS BSICOS DE DIVISIBILIDAD


En lo que sigue, un nmero natural N de (n 1) dgitos (por supuesto, con n natural) tiene la siguiente
forma:
(1)
Teniendo en cuenta el valor posicional de los dgitos en base 10 :

10n an

10n-1 an-1

10n-2 an-2 +

+ 102 a2

101 a1

a0 (2)

Divisibilidad por 2, 5, 10
En (1) denotemos:
(3)

P se obtiene de N suprimiendo el dgito de las unidades.


Ahora:

10 P

a0 (4)

Claramente, 10P es mltiplo de 10. Por tanto (Teorema 2), N es divisible por 10 slo si a 0 es divisible por

10. Pero, el nico dgito divisible por 10 es cero ( 0 ). En consecuencia:

Un nmero natural es divisible por 10, sii1 su ltimo dgito es cero (0).
Volviendo a la expresin (3), teniendo en cuenta que 10P es mltiplo de cinco (5), N es divisible por 5 slo
si a 0 es divisible por 5. Sabemos que los nicos dgitos divisibles por 5 son: cero (0) y cinco (5). Por
tanto:

Un nmero natural es divisible por 5, sii su ltimo dgito es cero (0) o cinco (5).
Ahora, dado que 10P es mltiplo de dos (2), N es divisible por 2 slo si a 0 es divisible por 2. Dado que los
nicos dgitos divisibles por 2 son: 0, 2, 4, 6, 8, podemos enunciar:

Un nmero natural es divisible por 2, sii su ltimo dgito es par.


1

Sii Denota: Si y slo si

Pgina 3 de 13
Divisibilidad por 3, 9
La expresin (2) puede transformarse as:
(10n 1)an

(10n-1 1)an-1

(10n-2 1) an-2 +

+ (10 2 1) a2

(101 1) a1

(a0

a1 a2

an )

Denotemos:

(10n 1)an

(10n-1 1)an-1
S

(10 n-2 1) an-2 +


(a0

a1 a2

+ (10 2 1) a2

(101 1) a1

an )

As:

R S

S es la suma de los dgitos de N (llamada suma transversal de N ).


R es mltiplo de 9 (Teorema 3). Por tanto, N es mltiplo de 9 slo si S es mltiplo de 9. En consecuencia:

Un nmero natural es divisible por 9, sii su suma transversal es mltiplo de 9.


Por otra parte, al ser mltiplo de 9, R es tambin mltiplo de 3. Luego:

Un nmero natural es divisible por 3, sii su suma transversal es mltiplo de 3.


Ilustracin:
17985 .
Suma transversal: 1 7 9 8 5 30 .
30 es divisible por 3 , ms no por 9.
Conclusin: 17985 es divisible por 3 , pero no lo es por 9.

17985 3

5995.

Divisibilidad por 6
Teniendo en cuenta que la descomposicin en factores primos de 6 es: 6

3:

Un nmero natural es divisible por 6, sii es divisible por dos (2) y por tres (3).
De otro modo:
Un nmero natural es divisible por 6, sii es par y su suma trasversal es mltiplo
de tres (3).

Pgina 4 de 13
Divisibilidad por 4
En (1), denotemos:

Ahora:

N 100 R

es el nmero formado por los dos ltimos dgitos de N .


Es claro que
es mltiplo de cuatro (4). Por tanto (Teorema 2), N es mltiplo de cuatro, slo si
mltiplo de cuatro (4). Puede enunciarse:

es

Un nmero natural es divisible por 4, sii el nmero formado por sus dos ltimos
dgitos es mltiplo de cuatro (4).
Ilustracin:

357684.
84 4 21.
357684 es divisible por 4.
357684 4 89421.
Divisibilidad por 8
En (1) denotemos:

Ahora:

N 1000 T

Es claro que
es mltiplo de ocho (8). Por tanto (Teorema 2), N es mltiplo de ocho, slo si
mltiplo de ocho (8). Criterio:

es

Un nmero natural es divisible por 8, sii el nmero formado por sus tres ltimos
dgitos es mltiplo de ocho.
Ilustracin:

357688.
688 8 86
357688 es divisible por 8.
357688 8 44711.

Pgina 5 de 13
Divisibilidad por 11
Retomemos las expresiones (1) y (2):

10n an

10n-1 an-1

10n-2 an-2 +

+102 a2

101 a1

a0

Consideremos dos casos en cuanto a la paridad del exponente n en 10 n.


Caso 1: n es par
Caso 2: n es impar
Analicemos el primer caso: n es par.
En N :
, a2 , a0 ocupan lugares impares. Convengamos en que a 0 ocupa el primer
Los dgitos an , an 2 ,
lugar, a 2 el que ocupa el tercer lugar, etc., y a n el que ocupa el lugar (n 1). Por ello, los dgitos

an 1 , an 3 ,

, a3 , a1 ocupan lugares pares, siendo a1 el que ocupa el segundo lugar, a3 el que ocupa el

cuarto lugar, etc., y a n 1 el que ocupa el lugar n.


Reorganicemos N as:
N

(10n 1)an

(10n-1 1)an-1 (10n-2 1)an-2 +

+ (102 1)a2

(101 1) a1

(a0

a2

an ) (a1 a3

an 1 )

Denotemos:

(10n 1)an

(10n-1 1)an-1 (10n-2 1) an-2 +


D

(a0

a2

an ) (a1 a3

+ (102 1) a2 (101 1) a1
an 1 )

Ahora,

L D

D es la diferencia entre: La suma de los dgitos de N que ocupan los lugares impares y la suma de los
dgitos de N que ocupan los lugares pares.
Claramente (Teorema 4), L es mltiplo de 11. Por tanto, N es mltiplo de 11 slo si D es mltiplo de 11.
Resultado similar puede obtenerse en el caso 2. Esto permite enunciar:

Un nmero es divisible por 11, sii la diferencia entre la suma de los


dgitos que ocupan los lugares impares y la suma de los dgitos que
ocupan los lugares pares, es un mltiplo de 11.
Ilustracin:

987316.
Suma de los dgitos de lugar impar: 6 3 8 17
Suma de los dgitos de lugar par: 1 7 9 17
La diferencia entre las dos sumas es cero (mltiplo de 11). Luego, 987316 es divisible por 11.

Pgina 6 de 13

987316 11

89756.

Divisibilidad por 12
Dado que 12

4 , podemos enunciar:

Un nmero natural es divisible por 12, sii es divisible por tres (3) y por cuatro
(4).

Ilustracin:
6924. Al aplicar separadamente los criterios de divisibilidad por tres y por cuatro, se concluye que 6924 es
divisible por 12.

6924 12

577.

Divisibilidad por 7
Recordemos la expresiones (1) y (3):
(1)
(3)

P se obtiene al suprimir en N el dgito cifra de las unidades. De este modo:


N 10 P a0
Sea:

10 S
10 S

10 P 20 a0

(10 P a0 ) 21 a0

10 S

P 2 a0

N 21 a0

10 S

21 a0

Claramente, 21 a0 es mltiplo de siete (7). Adems, dado que 10 no es mltiplo de siete (7), para que N
sea divisible por siete, se requiere que S lo sea (Teorema 2). Puede entonces enunciarse:

Un nmero natural es divisible por siete (7), sii al suprimir en el nmero, el dgito
de las unidades, y al resultado restarle dos veces dicho dgito, el nmero
obtenido es mltiplo de siete.
Ilustracin:

40173.
4017 6 4011
401 2 399
39 18 21
21 es mltiplo de 7. Luego, 40173 es divisible por 7.
40173 7 5739.

Pgina 7 de 13

UN CRITERIO GENERAL DE DIVISIBILIDAD, APLICABLE A NMEROS PRIMOS


Es natural que nos hagamos la pregunta: Existe un criterio general para determinar si un nmero
natural es divisible por un nmero primo dado?
Intentemos dar respuesta a este interrogante.
Sean: q un nmero primo dado; N un nmero natural. Bajo qu condiciones es N divisible por q ?
Sea k q (con k natural), el menor mltiplo de q que difiere en uno (1) con algn mltiplo de 10. Sea
10 c (con c natural) ese mltiplo de 10.
Ntese que 2 y 5 son los nicos nmeros primos para los cuales esto no es posible.
Existen dos posibilidades:
i. k q 10 c 1
ii. k q 10 c 1
Como en el caso estudiado de la divisibilidad por 7:

P es el nmero resultante de suprimir en N , el dgito de las unidades. As:


N

10 P

a0

Analicemos cada uno de los dos casos:


i.

k q 10 c 1
Sea:

P c a0

10 S 10 P (10 c ) a0
10 S

(10 P
10 S
N

a0 ) (10 c 1) a0
N (k q) a0

10 S (k a0 ) q

Es evidente que (k a0 ) q es divisible por q. Luego, N es divisible por q, slo si 10 S es divisible por q.
Pero, 10 no es divisible por q (?). Por tanto, N es divisible por q, slo si S es divisible por q.
ii.

k q 10 c 1
Sea:

10 S
10 S

P c a0

10 P (10 c) a0

(10 P

a0 ) (10 c 1) a0

Pgina 8 de 13

10 S
N

N (k q) a0

10 S (k a0 ) q

Es claro que (k a0 ) q es divisible por q. Luego, N es divisible por q, slo si S es divisible por q.
Hemos demostrado as, un criterio general de divisibilidad por cualquier nmero primo distinto de dos (2),
el cual podemos enunciar as:

Teorema 5 (Criterio general de divisibilidad por nmeros primos)


Consideremos: un nmero primo y un nmero natural
Sea
(con
natural), el menor mltiplo de que difiere en uno (1) con algn mltiplo de 10.
Sea
(con natural) ese mltiplo de 10. Denotemos
, el nmero que
resulta de suprimir en el dgito de las unidades
Si
divisible por
Si
divisible por

entonces:

es divisible por

sii

es

entonces:

es divisible por

sii

es

Teniendo en cuenta el enunciado anterior, para cada nmero primo q, denominemos discriminante de q
para divisibilidad, y denotmoslo DN ( q ) , a las expresiones

Nota: Este criterio slo es aplicable a nmeros primos cuyo dgito de las unidades es: 1, 3, 7 o 9.

CRITERIOS DE DIVISIBILIDAD, PARA ALGUNOS PRIMOS PARTICULARES


El resultado anterior permite obtener criterios particulares de divisibilidad para cualquier nmero primo impar
distinto de 5. He aqu algunos:
Divisibilidad por 11

1 11 10 1

Estamos en el primer caso. Por tanto,

Un nmero natural es divisible por 11, sii al suprimir en el nmero el ltimo


dgito, y al resultado restarle dicho dgito, el nmero obtenido es mltiplo de 11.
Ntese que ahora tenemos un segundo criterio de divisibilidad por 11.
Ilustracin:

987316.
98731 6 98725
9872 5 9867

Pgina 9 de 13

986 7 979
97 9 88
88 es mltiplo de 11. Luego, 987316 es divisible por 11.
987316 11 89756.
Evidentemente el primer criterio de divisibilidad por 11 es ms sencillo de aplicar, a pesar de la complejidad
de su demostracin.
Ahora podemos enunciar criterios de divisibilidad para nmeros primos particulares, apoyados en el Teorema
5, ya demostrado.
Divisibilidad por 13

3 13 10 4

Ahora estamos en el segundo caso. Luego,

Un nmero natural es divisible por 13, sii al suprimir en el nmero el ltimo


dgito, y al resultado sumarle cuatro (4) veces dicho dgito, el nmero obtenido
es mltiplo de 13.
Ilustracin:

8996.
899 24 923
92 12 104
10 16 26
Dado que 26 es mltiplo de 13 , se concluye que 8996 es divisible por 13.
8996 13 692.
Divisibilidad por 17

3 17 10 5 + 1. Estamos en el primer caso. Criterio:

Un nmero natural es divisible por 17, sii al suprimir en el nmero el ltimo


dgito, y al resultado restarle cinco (5) veces dicho dgito, el nmero obtenido es
mltiplo de 17.
Ilustracin:

97444.
9744 20 9724
972 20 952
95 10 85
8 25 17
Es evidente que 97444 es divisible por 17.
97444 17 5732.

Pgina 10 de 13

Divisibilidad por 19

1 19 10 2

1 . Criterio:

Un nmero natural es divisible por 19, sii al suprimir en el nmero el ltimo


dgito, y al resultado sumarle dos (2) veces dicho dgito, el nmero obtenido es
mltiplo de 19.
Ilustracin:

139308.
13930 16 13946
1394 12 1406
140 12 152
15 4 19
Claramente, 139308 es divisible por 19.
139308 19 7332.
Divisibilidad por 23

Un nmero natural es divisible por 23, sii al suprimir en el nmero el ltimo


dgito, y al resultado sumarle siete (7) veces dicho dgito, el nmero obtenido es
mltiplo de 23.
Ilustracin:

108744.
10874 28 10902
1090 14 1104
110 28 138
13 56 69
69 3 23. Luego, 108744 es divisible por 23.
108744 23 4728.
Divisibilidad por 29

Un nmero natural es divisible por 29, sii al suprimir en el nmero el ltimo


dgito, y al resultado sumarle tres (3) veces dicho dgito, el nmero obtenido es
mltiplo de 29.
Ilustracin:

137083.
13708 9 13717
1371 21 1392

Pgina 11 de 13

139 6 145
14 15 29
Claramente, 137083 es divisible por 29.
137083 29 4727.
Divisibilidad por 31

Un nmero natural es divisible por 31, sii al suprimir en el nmero el ltimo


dgito, y al resultado restarle tres (3) veces dicho dgito, el nmero obtenido es
mltiplo de 31.
Ilustracin:

146506.
14650 18 14632
1463 6 1457
145 21 124
12 12 0
146506 es divisible por 31
146506 31 4726.
Divisibilidad por 37

Un nmero natural es divisible por 37, sii al suprimir en el nmero el ltimo


dgito, y al resultado restarle 11 veces dicho dgito, el nmero obtenido es
mltiplo de 37.
Ilustracin:

145225.
14522 55 14467
1446 77 1369
136 99 37
145225 es divisible por 37.
Divisibilidad por 43

Un nmero natural es divisible por 43, sii al suprimir en el nmero el ltimo


dgito, y al resultado sumarle 13 veces dicho dgito, el nmero obtenido es
mltiplo de 43.
Ilustracin:

151274.
15127 52 15179
1517 117 1634
163 52 215

Pgina 12 de 13

21 65 86
Claramente, 151274 es divisible por 43.
151274 43 3518.

UN RESULTADO INTERESANTE
El criterio de divisibilidad por 37 permite deducir que todo nmero de tres dgitos, todos iguales, es divisible
por 37.
En efecto, sea
Denotemos:

Por tanto,

es divisible por 37.

Este resultado puede generalizarse as:

Si un nmero natural tiene todos sus dgitos iguales y el nmero de sus dgitos
es mltiplo de tres, entonces dicho natural es divisible por 37.
Se deja la prueba al lector.

PREGUNTAS ABIERTAS
Dado cualquier nmero natural m (no necesariamente primo), existe un criterio de divisibilidad por
m, si el dgito de las unidades de m es1?
Y si el dgito de las unidades es 3?
Y si es 7?
Y si es 9?
Dado cualquier nmero natural m, existe un criterio de divisibilidad por m, si el dgito de las
unidades de m es 5 o un nmero par?

LISTADO DE DISCRIMINANTES PARA DIVISIBILIDAD


Con base en el Teorema 5, podemos definir para un nmero primo q, un discriminante para divisibilidad,
al que denotaremos
, para determinar si un nmero natural N es divisible por dicho primo. Por el
Teorema, el discriminante tiene una de estas dos formas, segn el caso:

He aqu los discriminantes para divisibilidad de los nmeros primos menores que 100 y superiores a 5.
Debe entenderse que un nmero natural es divisible por un nmero primo
si el valor del
respectivo discriminante es divisible por

Pgina 13 de 13

Primo

Discriminante

Primo

Discriminante

DN (q)

DN (q)

47

11

53

13

59

17

61

19

67

23

71

29

73

31

79

37

83

41

89

43

97

REFERENCIAS:
Teora de nmeros para principiantes (U. Nal., Bogot)
Luis R. Jimnez B.
Jorge E. Gordillo A.
Gustavo N. Rubiano O.
Un criterio de divisibilidad por cualquier entero terminado en 1:
http://docencia.udea.edu.co/SistemasDiscretos/contenido/curiosidad_02.html
Pascal y la teora de los nmeros:
http://www.acta.es/medios/articulos/matematicas/044043.pdf
Divisibilidad:
http://es.wikipedia.org/wiki/Divisibilidad
Apuntes de Matemtica Discreta (Universidad de Cdiz), en:
http://www2.uca.es/matematicas/Docencia/ESI/1711003/Apuntes/Leccion10.pdf
Divisibilidad en Z:
http://imerl.fing.edu.uy/matdisc2/divisibilidad_1.pdf
Murray-Lasso, Marco: Sobre la deduccin de los criterios de divisibilidad. En: Revista de
Ingeniera; UNAM; Vol. 67, No.3.

You might also like