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
r , con 0
Teorema 2
I.
(b c)
0 , a b si y slo si ma mb
(b
(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
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)
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
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:
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
a1 a2
+ (10 2 1) a2
(101 1) a1
an )
As:
R S
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
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
an 1 , an 3 ,
, a3 , a1 ocupan lugares pares, siendo a1 el que ocupa el segundo lugar, a3 el que ocupa el
(10n 1)an
+ (102 1)a2
(101 1) a1
(a0
a2
an ) (a1 a3
an 1 )
Denotemos:
(10n 1)an
(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:
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)
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
10 P
a0
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:
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.
1 11 10 1
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
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
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:
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
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
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
146506.
14650 18 14632
1463 6 1457
145 21 124
12 12 0
146506 es divisible por 31
146506 31 4726.
Divisibilidad por 37
145225.
14522 55 14467
1446 77 1369
136 99 37
145225 es divisible por 37.
Divisibilidad por 43
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,
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?
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.