Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

Oh matemticas severas!, yo no os he
olvidado desde que vuestras sabias
lecciones, ms dulces que la miel, se
infiltraron en mi corazn como una onda
refrescante... Haba en mi espritu algo
vago, un no s qu espeso como el humo;
pero supe franquear religiosamente las
gradas que conducen a vuestro altar, y
vosotras habis disipado ese velo oscuro,
como el viento disipa a la niebla. Vosotras
habis puesto, en su lugar, una frialdad
excesiva, una prudencia consumada y una
lgica implacable.
Conde de Lautramont
Los cantos de Maldoror

Hilbert

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

CONSTRUCCIN DE UN CRITERIO
GENERAL DE DIVISIBILIDAD
Profesor: Grimaldo Oleas Lin
2015

grimaldo.oleas@gmail.com
grimaldo.oleas@udea

Hilbert

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

Hilbert

JUSTIFICACIN:
Usualmente enunciamos y aplicamos criterios de divisibilidad, sin
reflexionar acerca de su justificacin en la Teora Elemental de

Nmeros
En los textos de Aritmtica, es escasa la informacin acerca del tema
El estudio de los nmeros primos se complementa con un criterio
terico, que permita determinar si un nmero primo es factor de un
nmero natural dado.
TEMAS:
Presentacin, con su respectiva prueba, de los criterios de
divisibilidad comnmente usados (Por 2, 3, 4, 5, 8, 9, 10, 11)
Construccin de un criterio de divisibilidad aplicable a cualquier
nmero primo.

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

ELEMENTOS TERICOS
Nuestro universo de referencia es el conjunto de los
nmeros enteros:

= , , , , , , , , ,
con sus dos operaciones bsicas: ADICIN y MULTIPLICACIN,
y sus propiedades.

Un subconjunto importante de es el conjunto de los

nmeros naturales:
= , , ,

Hilbert

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

Hilbert

Definicin
Sean a, b enteros, con . Se dice que a divide a b, si existe
al menos un entero , tal que =

Expresiones equivalentes para a divide a b son:

a es divisor de b
b es mltiplo de a
b es divisible por a
Notacin:
denota: a divide a b (b es divisible por a)
a b denota: a no divide a b (b no es divisible por a)

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

Propiedades iniciales:

es divisible por cualquier nmero natural

Todo nmero entero es divisible por y por
Si es divisible por , entonces:
es divisible por
es divisible por y por
Todo entero no nulo, es divisible por s mismo y por su
inverso aditivo

Hilbert

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

Hilbert

Teorema 1 (Algoritmo de la divisin para nmeros

naturales)
Para a, b naturales, existen enteros no negativos nicos
, , tales que:
= + ,
con y <
: dividendo
: divisor
: cociente
: residuo

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

Teorema 2 (Propiedades bsicas de la divisibilidad)

Para , , , , enteros, si , , , , entonces
+ + +
Para , , enteros, si , entonces: + si y slo si
Para , , enteros, , si y slo si
Para , , enteros, si y , entonces
(Lema de Euclides) Para , , enteros, si y
. . , = ,
entonces

Hilbert

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

Teorema 3 (Potencias de y divisibilidad por )

Para todo entero no negativo, es divisible por
Teorema 4 (Potencias de y divisibilidad por )
Para todo entero no negativo:
Si es par, entonces es divisible por
Si es impar, entonces + es divisible por

Estos dos teoremas se prueban fcilmente, utilizando el

principio de induccin matemtica

Hilbert

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

ILUSTRACIN:

=
es divisible por y por
+ =
+ es divisible por

Gauss

Cantor

Hilbert

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

Hilbert

ACERCA DE LOS NMEROS PRIMOS

Definicin:
Un nmero natural es PRIMO, si tiene exactamente
dos divisores naturales: EL NMERO Y LA UNIDAD
Ilustracin:
no es primo: Tiene slo un divisor natural: l mismo
es primo: Tiene exactamente dos divisores naturales: ,
es primo: Tiene exactamente dos divisores naturales: ,
no es primo: Tiene tres divisores naturales: , ,

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

Hilbert

Los nmeros primos se utilizan en criptografa: en la

codificacin o cifrado de mensajes. Son muy tiles para
imprimir seguridad a las transacciones monetarias que se
hacen va internet.
Los nmeros naturales mayores que 1, y que no son primos, se
denominan compuestos.
El nmero 1 es el nico natural que no es primo ni compuesto.
El conjunto , de los nmeros naturales, es la unin de tres
conjuntos disjuntos:
= : :

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

Hilbert

La primera mencin de los nmeros primos la hizo Euclides

en su obra ELEMENTOS. Euclides defini los nmeros
primos y demostr dos teoremas fundamentales:
El conjunto de los nmeros primos es infinito
Todo nmero natural superior a 1, es primo, o se puede

descomponer, de manera nica, como producto de

potencias de nmeros primos .
Este ltimo es el teorema fundamental de la Aritmtica

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

TEOREMA FUNDAMENTAL DE LA ARITMTICA

Si es un natural compuesto, entonces existen:
primos nicos , , , , con < < <
naturales nicos , , ,

tales que:

Hilbert

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

EXISTE UNA FRMULA PARA GENERAR

NMEROS PRIMOS?
Intentos:

Los nmeros de Fermat

Los nmeros de Mersenne

Cantor

Hilbert

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

Hilbert

LOS NMEROS DE FERMAT

Pierre de Fermat, jurista y matemtico francs, fue junto
con Ren Descartes, uno de los principales matemticos de la
primera mitad del siglo XVII.

En Teora de Nmeros, ide una frmula (los nmeros de

Fermat):
=

+ ; para = , , , ,

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Fermat encontr:

= + =

= + =

= + =

= + =

= + =

Euler

Gauss

Cantor

Hilbert

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

Hilbert

Estos primeros cinco nmeros de Fermat son primos.

Aparentemente estos resultados indujeron a Fermat a
conjeturar que todos los nmeros de Fermat son primos

Transcurridos cerca de 66 aos de la muerte de Fermat,

Leonhard Euler refut la conjetura. Encontr:

= + = . . . =
no es primo!
No obstante, los nmeros de Fermat tienen otras propiedades
interesantes.
Se desconoce si hay ms nmeros primos de Fermat.

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

LOS NMEROS DE MERSENNE

Marin Mersenne, monje francs del siglo XVII,
contemporneo de Fermat, estudi diversos campos de
la Teologa, la Matemtica y la Msica
Un nmero de Mersenne es un nmero natural de la
forma:
= ; para = , , ,

Un nmero primo de Mersenne es un nmero de

Mersenne que es primo

Hilbert

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

Los primos de Mersenne, son nmeros

primos para los cuales, al sumarles la unidad (1), se
obtiene una potencia de dos (2)
Poco antes de 1950, se encontr que para ,
slo hay 12 primos de Mersenne. Para:
, , , , , , , , , , ,

Hilbert

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

Hilbert

En 1996 naci el proyecto GIMPS (Great Internet Mersenne

Prime Search), que provee un software para hallar primos
de Mersenne y ofrece premios para quienes vayan
descubriendo nuevos de estos primos.
Hasta enero de 2013, el mayor primo de Mersenne
encontrado (el primo nmero 48) es:
.. = ..
Este nmero, de gran tamao, tiene . . dgitos!
Se desconoce hasta ahora, si el conjunto de los primos de
Mersenne es infinito

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

Hilbert

CONJETURAS DE GOLDBACH
Christian Goldbach, hijo de un pastor, fue un matemtico prusiano del siglo
XIX. Estudi leyes, idiomas y matemticas. En diversos viajes a travs de
Europa, conoci a matemticos famosos, como: Leibniz, Euler y Bernoulli.
Goldbach enunci, en 1742, dos conjeturas:
Conjetura fuerte:

Todo nmero par, mayor que 2, puede expresarse como la suma de dos
nmeros primos.
Conjetura dbil:

Todo nmero impar, mayor que 5, se puede expresar como la suma de tres
nmeros primos.

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

Hilbert

DEMOSTRADA UNA DE LAS CONJETURAS DE GOLDBACH!

En mayo de 2013 (ms de 270 aos despus de enunciada la
conjetura!), el matemtico peruano Harald Helfgott, nacido en
Lima en noviembre de 1977, concluy, despus de seis aos de
trabajo constante, la prueba de la Conjetura dbil de Goldbach.
La prueba de Helfgott debi pasar por dos aos de revisiones y
reescrituras hasta el envo, de su parte, del documento final.
Hace poco, en mayo de 2015, recibi de Annals of Mathematics
Studies, revista prestigiosa de la Universidad de Princeton, la
validacin de su prueba de la conjetura.

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

PREMIOS:
La Ctedra Humboldt le concede a Harald
Helfgott, tres millones y medio de euros para
crear y liderar un equipo de tericos de la
matemtica que exploren en teora de grupos y
teora de nmeros en los prximos cinco aos
La Unin Europea le ha concedido un milln
trescientos mil euros para investigar.

Hilbert

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

CMO HALLAR LOS NMEROS PRIMOS

QUE NO SUPEREN UN NATURAL DADO?

LA CRIBA DE ERATSTENES

Cantor

Hilbert

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

Hilbert

ERATSTENES
(284 A. C. 192 A. C.)
Astrnomo, gegrafo, matemtico y filsofo griego. Una de las
figuras ms eminentes del gran siglo de la ciencia griega: el de
Euclides, Arqumedes, Apolonio
Fue el primero en calcular, con bastante aproximacin, la
longitud de la circunferencia de la Tierra

Ide un algoritmo para encontrar los nmeros primos

inferiores o iguales a un nmero natural dado: La criba de

Eratstenes

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

Hilbert

Algoritmo:

Dado un nmero natural , se forma una tabla con todos los

nmeros naturales comprendidos entre y . A continuacin:
Se tacha el nmero 1 (Por ser el primer natural no primo)
Se tachan todos los mltiplos de mayores que . El primero
es
Se observa cul es primer entero superior a que no ha sido
tachado () y se tachan sus mltiplos mayores que l. El
primero es
Se repite el proceso, el cual finaliza cuando el cuadrado del
mayor nmero confirmado como primo es mayor que

Los nmeros que no resulten tachados, son los primos buscados

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

Hilbert

1 2 3 4

5 6 7 8 9 10

11 12 13 14 15 16 17 18 19 20

21 22 23 24 25 26 27 28 29 30
31 32 33 34 35 36 37 38 39 40

41 42 43 44 45 46 47 48 49 50
51 52 53 54 55 56 57 58 59 60
61 62 63 64 65 66 67 68 69 70
71 72 73 74 75 76 77 78 79 80
81 82 83 84 85 86 87 88 89 90
91 92 93 94 95 96 97 98 99 100

9 10

11 12 13 14 15 16 17 18 19 20

21 22 23 24 25 26 27 28 29 30
31 32 33 34 35 36 37 38 39 40

41 42 43 44 45 46 47 48 49 50
51 52 53 54 55 56 57 58 59 60
61 62 63 64 65 66 67 68 69 70
71 72 73 74 75 76 77 78 79 80
81 82 83 84 85 86 87 88 89 90
91 92 93 94 95 96 97 98 99 100

9 10

11 12 13 14 15 16 17 18 19 20

21 22 23 24 25 26 27 28 29 30
31 32 33 34 35 36 37 38 39 40

41 42 43 44 45 46 47 48 49 50
51 52 53 54 55 56 57 58 59 60
61 62 63 64 65 66 67 68 69 70
71 72 73 74 75 76 77 78 79 80
81 82 83 84 85 86 87 88 89 90
91 92 93 94 95 96 97 98 99 100

9 10

11 12 13 14 15 16 17 18 19 20

21 22 23 24 25 26 27 28 29 30
31 32 33 34 35 36 37 38 39 40

41 42 43 44 45 46 47 48 49 50
51 52 53 54 55 56 57 58 59 60
61 62 63 64 65 66 67 68 69 70
71 72 73 74 75 76 77 78 79 80
81 82 83 84 85 86 87 88 89 90
91 92 93 94 95 96 97 98 99 100

9 10

11 12 13 14 15 16 17 18 19 20

21 22 23 24 25 26 27 28 29 30
31 32 33 34 35 36 37 38 39 40

41 42 43 44 45 46 47 48 49 50
51 52 53 54 55 56 57 58 59 60
61 62 63 64 65 66 67 68 69 70
71 72 73 74 75 76 77 78 79 80
81 82 83 84 85 86 87 88 89 90
91 92 93 94 95 96 97 98 99 10

9 10

11 12 13 14 15 16 17 18 19 20

21 22 23 24 25 26 27 28 29 30
31 32 33 34 35 36 37 38 39 40

41 42 43 44 45 46 47 48 49 50
51 52 53 54 55 56 57 58 59 60
61 62 63 64 65 66 67 68 69 70
71 72 73 74 75 76 77 78 79 80
81 82 83 84 85 86 87 88 89 90
91 92 93 94 95 96 97 98 99 100

2
11

3
13

7
17

29

23
37

31
41

43

47
59
59

53

61
71

19

67
73

79

83

89
97

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

NMEROS PRIMOS MENORES QUE 100:

, , , ,
, , , ,
, , , ,
, , , ,
, , , ,

Hilbert

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

Hilbert

CRITERIOS BSICOS DE DIVISIBILIDAD

Un nmero natural de + dgitos (por supuesto, con
natural) tiene la siguiente forma:
= (1)
Teniendo en cuenta el valor posicional de los dgitos en base :
= + + + + + + (2)

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

Hilbert

ILUSTRACIN:

=
+ + + + + +

=
+ + + + + + +

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

= (1)
Denotemos:

= (3)
se obtiene de , al suprimir el dgito de las unidades.
es el nmero de decenas contenidas en
= + (4)
Ejemplo:

=
=

= +

Cantor

Hilbert

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

Hilbert

Divisibilidad por 2, 5, 10

= +
Claramente: es mltiplo de . Por tanto (Teorema 2),
es divisible por si y slo si es divisible por . Pero, el
nico dgito divisible por 10 es cero (0). En consecuencia:

Un nmero natural es divisible por 10, sii su dgito de las

unidades es cero (0)

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

Hilbert

Retomemos:
= + (4)
Evidentemente: es mltiplo de . Por tanto (Teorema 2),
es divisible por si y slo si es divisible por .
Pero, los nicos dgitos divisibles por 5 son: cero (0) y cinco
(5). Por tanto:

Un nmero natural es divisible por 5, sii su dgito de las

unidades es cero (0) o cinco (5)

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

Hilbert

Volvamos a:
= + (4)
Es claro que: es mltiplo de . Por tanto (Teorema 2), es
divisible por si y slo si es divisible por .
Pero, los nicos dgitos divisibles por 2 son: cero (0), dos (2),
cuatro (4), seis (6), ocho (8). Luego:
Un nmero natural es divisible por 2, sii su dgito de las
unidades es par

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

Hilbert

Divisibilidad por : 3, 9
= + + + + + + (2)
La expresin (2) puede transformarse en:
= + + + + +

+ + + + + + +
Denotemos:

= + + + + +
= + + + + + +

=+

es la suma de los dgitos de (llamada suma transversal

de )

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

Por el teorema 3: Cada sumando de es mltiplo de .

Luego (Teorema 2): es divisible por .
Adems, por el teorema 2: es divisible por .
En consecuencia:
Un nmero natural es divisible por 9, sii su suma
transversal (S) es mltiplo de 9
Un nmero natural es divisible por 3, sii su suma
transversal (S) es mltiplo de 3

Hilbert

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

ILUSTRACIN 1:

Suma transversal:
+ + + + =
+=
es divisible por , mas no por
Conclusin:
es divisible por , pero no lo es por

Cantor

Hilbert

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

ILUSTRACIN 2:

Suma transversal:
+ + + + =
+=
es divisible por y por

Gauss

Cantor

Hilbert

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

ILUSTRACIN 3:

Suma transversal:
+ + + + =
+ =
1+=

3 no es divisible por ni por

Gauss

Cantor

Hilbert

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

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

Un nmero natural es divisible por , sii es divisible por

dos () y por tres )
De otro modo:

Un nmero natural es divisible por , sii es par y su suma

transversal es mltiplo de tres (3)

Hilbert

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

Divisibilidad por 4
= (1)
Denotemos:
=

=
es el nmero obtenido al suprimir en los dos ltimos
dgitos
es el nmero de centenas contenidas en
es el nmero formado por los dos ltimos dgitos de

= +

Hilbert

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

ILUSTRACIN:

42
=

=
= +

Euler

Gauss

Cantor

Hilbert

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

Hilbert

Divisibilidad por 4
= +
Es claro que es mltiplo de cuatro (4). Por tanto
(Teorema 2), es mltiplo de cuatro, si y slo si es mltiplo
de cuatro (4). Luego:
Un nmero natural es divisible por 4, sii el nmero formado
por sus dos ltimos dgitos es mltiplo de cuatro (4)

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

ILUSTRACIN:

=
es divisible por

Euler

Gauss

Cantor

Hilbert

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

Divisibilidad por 8
=
Denotemos:
=
=
es el nmero obtenido al suprimir en los tres ltimos dgitos
es el nmero de unidades de mil contenidas en
es el nmero formado por los tres ltimos dgitos de

= +

Hilbert

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

ILUSTRACIN:

N = 42
=

=
= +

Euler

Gauss

Cantor

Hilbert

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

Hilbert

Divisibilidad por 8
= +
= +
es mltiplo de ocho (8). Por tanto (Teorema 2), es
mltiplo de ocho, si y slo si es mltiplo de ocho (8). Luego:

Un nmero natural es divisible por 8, sii el nmero formado

por sus tres ltimos dgitos es mltiplo de ocho (8)

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

ILUSTRACIN:

es divisible por
=

Euler

Gauss

Cantor

Hilbert

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

Hilbert

Divisibilidad por 11
Volvamos a las expresiones (1) y (2):
= (1)
= + + + + + + (2)

Consideremos dos casos en cuanto a la paridad del exponente en :

Caso 1: es par

Caso 2: es impar

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

Hilbert

Caso 1: n es par
=

Convencin:
El dgito de las unidades, , ocupa el lugar CERO. De este modo:
Los dgitos , , , , ocupan lugares de orden PAR

Los dgitos , , , , ocupan lugares de orden

IMPAR

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

ILUSTRACIN:

=
El nmero de cifras de es:
+=
=
Los lugares de orden par son ocupados as:
Lugar 0: 8
Lugar 2: 7
Lugar 4: 4
Lugar 6: 3

Gauss

Cantor

Hilbert

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

Retomemos el Teorema 4:
Teorema 4 (Potencias de y divisibilidad por )
Para todo entero no negativo:
Si es par, entonces es divisible por

Si es impar, entonces + es divisible por

Hilbert

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

Hilbert

Reorganicemos as:
= + + + + + + +

+ + + + + + +

Denotemos:

= + + + +
+ + +
= + + + + + +

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

Hilbert

=+

es la diferencia entre: La suma de los dgitos de que ocupan los lugares de

orden par y la suma de los dgitos de que ocupan los lugares de orden impar.
Claramente (Teorema 4), cada sumando de es mltiplo de 11. Por tanto, es
mltiplo de 11. En consecuencia (Teorema 2): es mltiplo de 11, si y slo si
es mltiplo de 11.
Resultado similar puede obtenerse en el caso 2 ( impar). Esto permite
enunciar:
Un nmero natural es divisible por 11, sii la diferencia entre la suma de los
dgitos que ocupan los lugares de orden impar y la suma de los dgitos que ocupan
los lugares de orden par, es un mltiplo de 11

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

ILUSTRACIN:

Suma de los dgitos que ocupan lugares de orden par:

+ + + + =
Suma de los dgitos que ocupan lugares de orden impar:
7+ + + =
Diferencia entre las dos sumas:
= (mltiplo de )
es mltiplo de
=

Hilbert

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

Hilbert

Divisibilidad por 12

Dado que = , podemos enunciar:

Un nmero natural es divisible por 12, sii es divisible por

tres (3) y por cuatro (4)
De otro modo:
Un nmero natural es divisible por 12, sii su suma transversal es divisible
por 3, y el nmero formado por sus dos ltimos dgitos es divisible por 4

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

Hilbert

ILUSTRACIN:

Al aplicar separadamente los criterios de divisibilidad por

cuatro (4) y por tres (), se obtiene:
El nmero es divisible por : es divisible por
El nmero es divisible por . Su suma transversal es divisible
por : + + + =
es divisible por
=

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

De la importancia de la descomposicin de un
nmero natural en sus factores primos, se
desprende la siguiente pregunta:

Existe un criterio general para determinar si un

nmero natural
es divisible por un nmero primo dado?
A continuacin daremos respuesta a este
interrogante.

Hilbert

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

UN CRITERIO DE DIVISIBILIDAD POR 7

= (1)
= (3)

se obtiene de , al suprimir el dgito de las unidades.

es el nmero de decenas contenidas en .
Ahora:

= + (4)

Hilbert

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

=
es el menor mltiplo de 7 que difiere en una unidad
con un mltiplo de
= +
Definamos:
=
=
= +
=

= +

Hilbert

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

= +
es divisible por 7
Por tanto (Teorema 2):
es divisible por 7 si y slo si es divisible por 7.
Pero:
. . . , =
Luego (Teorema 2):
es divisible por 7 si y slo si es divisible por 7

Hilbert

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

Hilbert

Criterio:
Un nmero natural es divisible por 7, si y slo si al suprimir en
el nmero, el dgito de las unidades, y al resultado restarle dos
veces dicho dgito, el nmero obtenido es mltiplo de 7
En forma equivalente:

Un nmero natural es divisible por 7, si y slo si al restar al

nmero de decenas contenidas en l, dos veces el dgito de las
unidades del mismo, el resultado es mltiplo de 7

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

ILUSTRACIN:

=
=
=
es mltiplo de
es divisible por
=

Gauss

Cantor

Hilbert

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

UN CRITERIO DE DIVISIBILIDAD POR 13

= (1)

= (3)
se obtiene de , al suprimir el dgito de las unidades.
es el nmero de decenas contenidas en .

= + (4)

Hilbert

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

=
39 es el menor mltiplo de 13 que difiere en una unidad
con un mltiplo de
39 =
Definamos:
= +

= +
= + +
= +

Hilbert

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

=
es divisible por 13
Por tanto (Teorema 2):
es divisible por 13 si y slo si es divisible por 13.
Pero:
. . . , =
Luego (Teorema 2):
es divisible por 13 si y slo si es divisible por 13

Hilbert

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

Hilbert

Criterio:
Un nmero natural es divisible por 13, si y slo si al suprimir en
el nmero, el dgito de las unidades, y al resultado sumarle
cuatro veces dicho dgito, el nmero obtenido es mltiplo de 13

En forma equivalente:
Un nmero natural es divisible por 13, si y slo al sumar al
nmero de decenas contenidas en l, cuatro veces el dgito de
las unidades del mismo, el resultado es mltiplo de 13

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

ILUSTRACIN:

+ =
+ =
+ =
es mltiplo de
es divisible por
=

Gauss

Cantor

Hilbert

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

Orientados por los dos casos anteriores

(divisibilidad por 7 y divisibilidad por 13),
construyamos un
CRITERIO GENERAL DE DIVISIBILIDAD

Hilbert

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

Sean: un nmero primo dado; un nmero natural.

Bajo qu condiciones es divisible por ?
Sea ( natural), el menor mltiplo de que difiere
en uno (1) con algn mltiplo de .

Sea ( natural) ese mltiplo de

Ntese que y son los nicos nmeros primos para los
cuales ello no es posible.
Existen dos posibilidades:
= +
=

Hilbert

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Recordemos las expresiones:

= (1)
= (3)
es el nmero resultante de suprimir en , el
dgito de las unidades
es el nmero de decenas contenidas en
= +
Analicemos cada uno de los dos casos:

Cantor

Hilbert

Thales

Pitgoras

Definamos:

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

Caso 1:
= +

=
=
= + +
=
= +
Es evidente que es divisible por . Luego:
es divisible por , si y slo si es divisible por .
Pero, . . . , = (?).
Por tanto (Teorema 2):
es divisible por , si y slo si es divisible por .

Hilbert

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

Hilbert

Caso 2:
=
Definamos:

= +
= +
= + +

= +
=
Claramente, es divisible por . Luego (Teorema 2):
es divisible por , si y slo si es divisible por .
Pero, . . . , = .
Luego (Teorema 2):
es divisible por , slo si es divisible por

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

Hilbert

Teorema 5 (Criterio general de divisibilidad por nmeros primos)

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

es divisible por

sii

es divisible por

sii

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

CRITERIOS DE DIVISIBILIDAD, PARA ALGUNOS

PRIMOS PARTICULARES

El Teorema 5, permite obtener, para cualquier

nmero primo mayor que cinco (5), un criterio de
divisibilidad.
He aqu algunos casos:

Hilbert

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

Hilbert

Divisibilidad por 7
=
= +
= ; =

Estamos ante el primer caso del Criterio General de

Divisibilidad (CGD). Luego:
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

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

Hilbert

Divisibilidad por 11

= +
1 = +
= ; =
Se da el primer caso del CGD. Por tanto:

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

nmero, el dgito de las unidades, y al resultado restarle dicho
dgito, el nmero obtenido es mltiplo de 11

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

Hilbert

ILUSTRACIN:

=
=
=
es mltiplo de
es divisible por
=
Es evidente que el primer criterio de divisibilidad por es ms sencillo
de aplicar, no obstante la complejidad de su deduccin

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

Hilbert

Divisibilidad por 13

=
=
= ; =
Estamos ante el segundo caso del CGD . En consecuencia:
Un nmero natural es divisible por 13, sii al suprimir en el
nmero, el dgito de las unidades, y al resultado sumarle cuatro
veces dicho dgito, el nmero obtenido es mltiplo de 13

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

Hilbert

Divisibilidad por 17
=
= +
= ; =
Ahora se configura el primer caso del CGD. Esto implica:

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

nmero, el dgito de las unidades, y al resultado restarle cinco
veces dicho dgito, el nmero obtenido es mltiplo de 17

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

ILUSTRACIN:

( ) =
=

=
=

es mltiplo de
es divisible por
=

Euler

Gauss

Cantor

Hilbert

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

Hilbert

Divisibilidad por 19

=
=
= ; =

Estamos ante el segundo caso del CGD. Luego:

Un nmero natural es divisible por 19, sii al suprimir en el
nmero, el dgito de las unidades, y al resultado sumarle dos
veces dicho dgito, el nmero obtenido es mltiplo de 19

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

ILUSTRACIN:

+ =
+ =

+ =
+ =

es mltiplo de
es divisible por
=

Euler

Gauss

Cantor

Hilbert

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

Hilbert

Divisibilidad por 23
=
=
= ; =
Se dan las condiciones para el segundo caso del CGD. En
consecuencia:
Un nmero natural es divisible por 23, sii al suprimir en el
nmero, el dgito de las unidades, y al resultado sumarle siete
veces dicho dgito, el nmero obtenido es mltiplo de 23

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

ILUSTRACIN:

+ =

+ =
+ =

+ =
es mltiplo de

es divisible por
=

Gauss

Cantor

Hilbert

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

Hilbert

Divisibilidad por 31

=
= +
= ; =
Estamos ante el primer caso del CGD . Por tanto:
Un nmero natural es divisible por 31, sii al suprimir en el
nmero, el dgito de las unidades, y al resultado restarle
tres veces dicho dgito, el nmero obtenido es mltiplo de 31

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

ILUSTRACIN:

=
=

=
=
es divisible por 1
=

Gauss

Cantor

Hilbert

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

Hilbert

Divisibilidad por 37

=
= +
= ; =
Estamos ante el primer caso del CGD. Luego:
Un nmero natural es divisible por 37, sii al suprimir en el
nmero, el dgito de las unidades, y al resultado restarle 11
veces dicho dgito, el nmero obtenido es mltiplo de 37

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

ILUSTRACIN:

5 =

5 =
51 =
es divisible por
es divisible por 7
=

Euler

Gauss

Cantor

Hilbert

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

Hilbert

Divisibilidad por 97
3 =
3 = +
= ; =
Se da nuevamente el primer caso del CGD . En consecuencia:
Un nmero natural es divisible por 97, sii al suprimir en el
nmero, el dgito de las unidades, y al resultado restarle 29
veces dicho dgito, el nmero obtenido es mltiplo de 97

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

ILUSTRACIN:

=
=
=
=

es mltiplo de
es divisible por
=

Euler

Gauss

Cantor

Hilbert

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

Hilbert

DISCRIMINANTE PARA DIVISIBILIDAD

Con base en el enunciado del Criterio General de Divisibilidad,

para cada nmero primo (distinto de 2 y de 5) y cada
nmero natural , podemos definir un discriminante para
divisibilidad, al que denotaremos , aplicable a la luz del
enunciado del teorema:
Caso 1: = .
Caso 2: = + .
Aplicacin: es divisible por sii es divisible por

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

LISTADO DE DISCRIMINANTES DE
DIVISIBILIDAD, PARA LOS NMEROS PRIMOS
SUPERIORES A E
INFERIORES A

Hilbert

Thales

Pitgoras

Euclides

Primo
()
7
11
13
17
19
23
29
31
37
41
43

Diofanto

Hipatia

Discriminante



+

+
+
+



+

Descartes

Primo
()
47
53
59
61
67
71
73
79
83
89
97

Fermat

Euler

Discriminante


+
+



+
+
+
+

Gauss

Cantor

Hilbert

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

PROBLEMAS RESUELTOS

Gauss

Cantor

Hilbert

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Un problema de divisibilidad por 36

Encuentre todos los nmeros de

cinco cifras, de la forma ,
divisibles por 36.

Cantor

Hilbert

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

SOLUCIN:
Aplicando el Teorema Fundamental de la Aritmtica:
=
=
Debemos tener en cuenta los criterios de divisibilidad
por 4 y por 9:
Un nmero es divisible por 4, si el nmero formado
por sus dos ltimos dgitos es mltiplo de 4
Un nmero es divisible por 9, si su suma transversal
(la suma de sus dgitos) es mltiplo de 9

Hilbert

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

Hilbert

Por el primer criterio, el nmero 5y debe ser mltiplo de 4. Los

nicos nmeros de esta forma que son mltiplos de 4 son:
4 13 ; 4 14

En el primer caso, = .
Ahora el nmero es de la forma:
Por el criterio de divisibilidad por 9:
+ + + + = + , debe ser mltiplo de 9. El nico
dgito que satisface esta condicin es: = .
Se obtiene as que uno de los nmeros buscados es: .

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

Hilbert

En el segundo caso, = .
Por el criterio de divisibilidad por 9:
+ + + + = + , debe ser mltiplo de 9.
Hay dos dgitos que satisfacen esta condicin: = ; = .
Tenemos as, dos nuevos nmeros que satisfacen lo exigido en
el enunciado:
; .
El problema tiene tres soluciones:
; ;

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Un problema de divisibilidad por 8

Al dividir por el nmero , se
obtiene un residuo de . Encuentre los
posibles valores de .

Cantor

Hilbert

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

Hilbert

SOLUCIN:
De acuerdo con el criterio de divisibilidad por , es necesario y
suficiente que el nmero , es decir, , sea divisible por
.
Denotemos este nmero.
= + +
Pero es divisible por . Por tanto (Teorema 2):
es divisible por si y slo si + es divisible por .
Este nmero es de la forma . Los nmeros de dos cifras
terminados en , son: 12, 22, , 42, 52, 62, , 82, 92.
Los valores de que satisfacen la condicin, son: , . Los nmeros
son:
,

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

PROBLEMAS PROPUESTOS

Gauss

Cantor

Hilbert

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

Problema 1
Enuncie un criterio de divisibilidad por
Demuestre que todo nmero natural de la forma
abab, es divisible por .

Hilbert

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

Hilbert

Problema 2
En la calculadora de Julia, una de las teclas del al
funciona mal: al pulsarla, aparece en pantalla un dgito
entre y que no es el que corresponde. Cuando trat de
escribir el nmero , apareci en la pantalla un
nmero divisible por y que deja resto al dividirlo
por . Cul es la tecla descompuesta? Cul es el nmero
que apareci en la pantalla?

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

Problema 3
Nmeros de cifras iguales
El criterio de divisibilidad por permite deducir que
todo nmero de tres dgitos, todos iguales, es divisible
por .

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
Demustrelo.
Ilustracin:
, , son divisibles por 37

Hilbert

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

Problema 4
Ms sobre divisibilidad por

Una rotacin de un nmero natural, es el nmero

que se obtiene al trasladar el dgito de las unidades
al primer lugar. Ejemplo:
=
=
=
y son rotaciones de

Hilbert

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

Al aplicar a el criterio de divisibilidad por , se

obtiene:
=
es mltiplo de
Luego, es divisible por
Lo mismo ocurre con sus rotaciones: y

Hilbert

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

Hilbert

Otro caso:

=
=
=
y sus dos rotaciones: y son divisibles por
Conjetura:

Si un nmero natural de tres (3) dgitos, es divisible por ,

entonces sus rotaciones son, tambin, divisibles por
Demuestre o refute esta conjetura.

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

Hilbert

Problema 5
Consideremos los siguientes nmeros:

4995
6882
Apliquemos a cada uno, el criterio de divisibilidad por 37

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

nmero, el dgito de las unidades, y al resultado restarle
11 veces dicho dgito, el nmero obtenido es mltiplo de 37

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

2
2 =
=
2 es divisible por 37

4995
499 =
=
4995 es divisible por 37

Euler

Gauss

Cantor

Hilbert

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

6882
688 =
=
6882 es divisible por 37

Euler

Gauss

Cantor

Hilbert

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

Hilbert

Observacin:

Coincidencias en los tres nmeros:

Tienen cuatro cifras
La cifra de las centenas y la de las decenas son iguales
La suma de la cifra de las unidades y la de las unidades de
mil, es igual a la cifra de las decenas
Son divisibles por 37

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Conjetura:
Todo nmero de cuatro cifras, de la
forma , con + = , es divisible
por 37.

Pruebe o refute esta conjetura.

Cantor

Hilbert

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

Hilbert

Problema 6

Nmeros palndromos y divisibilidad por 11

Un nmero es palndromo (capica), si al invertir el orden de sus
dgitos, su valor no se altera. Ejemplos:
, , son palndromos y divisibles por 11.
, , son palndromos, pero no divisibles por 11.
A qu se debe la diferencia?
Puede hacer una conjetura?
Puede demostrarla?

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

Problema 7
Encuentre un nmero de cuatro cifras, cuadrado
perfecto, de modo que la cifra de las centenas y la de
las unidades de mil, sean iguales, as como la cifra de
las unidades y la de las decenas.

Hilbert

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

Problema 8
Entre los papeles de la abuela se encontr una nota
que dice: Por 72 charoles, se pagaron pesos
(el primer y el ltimo dgito se borraron). Cul fue
el total pagado por los charoles?

Hilbert

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

Hilbert

Problema 9
La escalera del castillo
Para subir al viejo castillo, hay que subir una escalera larga,
muy larga. Tres amigos quieren llegar al castillo.
Pedro sube los escalones, despacio y de uno en uno. Mara,
de dos en dos. Pablo, veloz, salta los escalones de tres en tres.
Pedro empieza a subir en el primer escaln. Mara, en el
segundo escaln y Pablo en el tercero.
Cules son los escalones a los que slo pisan dos personas?

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

Hilbert

Problema 10
La escalera de la casa de Julia
Benilda fue a visitar a su amiga Julia. Al llegar, subi las
escaleras saltando los escalones de forma variada: de uno
en uno o de dos en dos, segn se le ocurriera. Julia sali a
su encuentro, bajando los escalones de tres en tres. Las dos
amigas se encontraron en el octavo escaln (contando
desde abajo), despus de haber hecho, las dos, el mismo
nmero de saltos. Cuntos escalones puede tener la
escalera de entrada a la casa de Julia?

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

Hilbert

Problema 11
El saco de canicas
Cuatro amigos, Francisco, Ivn, Luis y Marcos, quieren descubrir el nmero
de canicas que contiene un saco. Para lograrlo, tienen las siguientes
informaciones:
El saco tiene entre 1300 y 1500 canicas
Francisco, que las ha agrupado de dos en dos, comenta que le sobr una
Ivn, que las agrup de tres en tres, dijo que no le sobr ninguna
Luis, que intent formar grupos de cinco canicas, asegur que le faltaron
dos canicas
Por fin Marcos, que form grupos de siete en siete, dijo que al final le
sobraron cuatro canicas.

Cul es el nmero exacto de canicas en el saco?

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

Hilbert

PROBLEMA 12
Recordemos el criterio de divisibilidad por :

Un nmero natural es divisible por 7 si y slo si al restar al

nmero de decenas contenidas en l, dos veces el dgito de las
unidades del mismo, el resultado es mltiplo de 7
=
=
=

es mltiplo de 7

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

Hilbert

Ahora, en lugar de restar a las decenas, dos veces el dgito de

las unidades, sumemos cinco veces dicho dgito:
=
+ =

+ =
es mltiplo de 7

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

Hilbert

Recordemos el criterio de divisibilidad por 13:

Un nmero natural N es divisible por 13 si y slo si al sumar al

nmero de decenas contenidas en l, cuatro veces el dgito de
las unidades del mismo, el resultado es mltiplo de 13
=
+ =
+ =

+ =
es mltiplo de 13

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

Hilbert

Ahora, en lugar de sumar a las decenas, cuatro veces el

dgito de las unidades, restemos nueve veces dicho dgito:
=
=

es mltiplo de 13

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

Ensaye con otros nmeros primos.

Qu observa?
Puede conjeturarse que, para cada uno de los
criterios de divisibilidad derivados del Teorema
General de Divisibilidad, existe un nuevo criterio que
podra llamarse dual del primero?
Cul sera su enunciado?
Podra probarse dicha conjetura?
Cmo?

Hilbert

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

Hilbert

PROBLEMA 13
Al comienzo del estudio del tema de divisibilidad, se enunci
un criterio de divisibilidad por 3 y uno de divisibilidad por 9.
En ambos, se recurre a la suma transversal del nmero del cual
se averigua si es divisible por 3 o si lo es por 9.
Recurriendo al Teorema 5 (Criterio general de divisibilidad),
enuncie:
Un nuevo criterio de divisibilidad por 3
Un nuevo criterio de divisibilidad por 9 (no obstante que 9
no es primo)
Ntese que, como en el caso de la suma transversal, los nuevos
criterios de divisibilidad por 3 y por 9, estn emparentados.

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

Hilbert

PROBLEMA 14
En alguna pgina de internet se lee:
Criterio de divisibilidad por 3:

Un nmero natural N es divisible por 3 si y slo si al restar al

nmero de decenas contenidas en l, dos veces el dgito de las
unidades del mismo, el resultado es mltiplo de 3
Criterio de divisibilidad por 9:

Un nmero natural N es divisible por 9 si y slo si al restar al

nmero de decenas contenidas en l, ocho veces el dgito de las
unidades del mismo, el resultado es mltiplo de 9

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Al constatar con varios nmeros, se

observa que los dos criterios funcionan.
Pero, podrn demostrarse?
Una tarea interesante consiste en, para
cada enunciado, refutarlo o demostrarlo.

Cantor

Hilbert

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

PROBLEMA 15
Aplique la Criba de Eratstenes para encontrar los
nmeros primos mayores que 100 y menores que 200
Aplique el CRITERIO GENARAL DE DIVISISIBILIDAD,
para hallar el discriminante de divisibilidad para cada
uno de estos nmeros primos
Complete la tabla de discriminantes para divisibilidad
que se da a continuacin

Hilbert

Thales

Pitgoras

Euclides

Primo
()
101
103
107
109
113
127
131
137
139
149
151

Diofanto

Hipatia

Discriminante

Descartes

Primo
()
157
163
167
173
179
181
191
193
197
199

Fermat

Euler

Discriminante

Gauss

Cantor

Hilbert

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

Hilbert

PREGUNTAS ABIERTAS

1. Dado cualquier nmero natural m (no necesariamente primo):

Existe un criterio de divisibilidad por m, si el dgito de las unidades
de m es ?
Y si el dgito de las unidades es ?
Y si es ?
Y si es ?
2. Dado cualquier nmero natural m, existe un criterio general de
divisibilidad por m, si el dgito de las unidades de m es o un nmero
par?
3. Qu conjetura puede hacerse acerca de la divisibilidad por de las

rotaciones de los nmeros palndromos mltiplos de ? Puede

demostrarla?

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

Hilbert

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

REFERENCIAS:
Jimnez B. Luis R, et al: Teora de nmeros para principiantes (U. Nal., Bogot)
Un criterio de divisibilidad por cualquier entero terminado en 1. En:
http://docencia.udea.edu.co/SistemasDiscretos/contenido/curiosidad_02.html

Pascal y la teora de los nmeros. En:

http://www.acta.es/medios/articulos/matematicas/044043.pdf
Divisibilidad. En:
http://es.wikipedia.org/wiki/Divisibilidad

Criterios de divisibilidad. En:

http://www.matematicasypoesia.com.es/matematicas/CriterDivisib.htm
Ejemplos de divisibilidad. En:
http://www.matematicasypoesia.com.es/matematicas/Divisibilidad.htm

Hilbert

Thales

Pitgoras

Euclides

Diofanto

Hipatia

Descartes

Fermat

Euler

Gauss

Cantor

Hilbert

Apuntes de Matemtica Discreta (Universidad de Cdiz). En:

http://www2.uca.es/matematicas/Docencia/ESI/1711003/Apuntes/Leccion10.pdf
Divisibilidad en Z. En:
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.
Euclides: Elementos. En:
http://www.ict.edu.mx/acervo_ciencias_mate_Euclides%201%20Elementos-IIV%20-.pdf
Juegos y Matemticas. En:
https://anagarciaazcarate.wordpress.com/2013/12/30/historias-de-divisibilidadmultiplos-y-divisores/
100 PROBLEMAS QUE TODO BACHILLER DEBE ENTENDER Y RESOLVER. Red
Matemtica Antioquia. Medelln, 2015