Divisibilidad

En matemticas, bsicamente en aritmtica, se dice que llaman impares.

un nmero entero b es divisible entre un entero a (distinto Si d es un divisor de a y no admite ms divisor propio
de cero) si existe un entero c tal que: b = a c. Esto es
que la unidad, de llama divisor primo de a. De hecho es
equivalente a decir, que b es exactamente divisible por un nmero primo. El 1 es el nico entero que tiene un
a, o bien, que el resto de la divisin eucldea es cero.
solo divisor positivo.
Se suele expresar de la forma a | b , que se lee: a divide
a b, o a es un divisor de b o tambin b es mltiplo
de a.[1] Por ejemplo, 6 es divisible por 3, ya que 6 = 32; 3 Propiedades
pero 6 no es divisible por 4, pues no existe un entero c tal
que 6 = 4c, es decir que el resto de la divisin eucldea
Sean a, b, c Z , es decir a , b y c son nmeros enteros.
(entera) de 6 entre 4 no es cero.
Tenemos las propiedades bsicas:
Todo nmero entero es divisible por 1 y por s mismo.
Los nmeros mayores que 1 que no admiten ms que es- a | a (Propiedad reexiva).
tos dos divisores se denominan nmeros primos. Los que
admiten ms de dos divisores se llaman nmeros com- si a | b y b | a entonces a = b o a = b
puestos.
Si a | b y b | c , entonces a | c (Propiedad transitiva).
Si a | b y b = 0 , entonces |a| |b| .
1 Denicin Si a | b y a | c , entonces a | b + c , Z .

El nmero entero a es divisible por el nmero entero b = Si a | b y a | b c , entonces a | c

0 (o lo que es lo mismo, b divide a a) si hay un nmero q Si a | b y b | a , entonces |a| = |b| .
entero, tal que a = b q .
Este hecho se denomina divisibilidad del nmero entero Si a | b y a = 0 , entonces b
a |b.
a por el nmero entero b y se denota por b|a ; que no es Para c = 0 , a | b si y slo si ac | bc
otra cosa que una armacin entre los nmeros enteros,
que, en un contexto concreto, puede ser cierta o no.[2] Por Si a | bc y mcd(a, b) = 1 , entonces a | c .
ejemplo 3|12 es cierta; sin embargo, 3|17 no es cierta. Si
Si mcd(a, b) = 1 y c cumple que a | c y b | c ,
b no es divisor de a escribimos b a . Notemos que 0 a
entonces ab | c .
para todo a distinto de cero, pues a = 0 = k 0 para todo
k entero. n | 0 y 1 | n para todo n entero ya que 0 = 0 n y
n=n1.
1 | mcd(a, b) | a | mcm(a, b) | 0
2 Factor o divisor propio
Se denomina factor o divisor propio de un nmero en- 3.1 Nmero de divisores
tero n, a otro nmero tambin entero que es divisor de n,
pero diferente de n. Los divisores 1 y n son denominados Si la factorizacin en nmeros primos de n viene dada por
impropios.
Por ejemplo, los divisores propios de 28 son 1, 2, 4, 7
y 14. Cuando se toman en cuenta enteros negativos, un n = p1 p2 pk
1 2 k

divisor propio es aquel cuyo valor absoluto es menor al

entonces el nmero de divisores positivos de n es
nmero dado. En este caso, los divisores propios seran
14, 7, 4, 2, 1, 1, 2, 4, 7, 14.
Casos especiales: 1 y 1 son factores triviales de todos d(n) = (1 + 1)(2 + 1) (k + 1),
los enteros, y cada entero es divisor de 0. Los nmeros
divisibles por 2 son llamados pares y los que no lo son se y cada uno de los divisores tiene la forma

1
2 7 REFERENCIAS

4.1 Observacin

p1 1 p2 2 pk k Todos los criterios sealados funcionan si el nmero es-

t escrito en el sistema de numeracin decimal. En otra
donde 0 i i para cada 1 i k. [3] base no siempre ocurre as. Pues 1027 , escrito en base 7,
termina en cifra par, pero no es divisible por 2. En este
caso se suman las cifras 1+2=3; 3=1 (Md 2), luego 1027
es impar (en decimal es 72 +2=51).
4 Criterios de divisibilidad
Los siguientes criterios nos permiten averiguar si un n-
mero es divisible por otro de una forma sencilla, sin ne- 5 Otros contextos
cesidad de realizar la divisin.
Nota 1: Existen muchas versiones de los criterios de divi- La divisibilidad es posible tratar dentro de la propiedades
sibilidad. As por ejemplo, para el 13 resulta equivalente aritmticas de los
el criterio: al separar la ltima cifra de la derecha, multi-
plicarla por 4 y sumarla a las cifras restantes la suma es Enteros gaussianos[4]
igual a 0 o es un mltiplo de 13.
Nota 2: Resulta curioso que el criterio de divisibilidad Enteros algebraicos[5]
por 7 sirva tambin como criterio de divisibilidad por 3,
aunque evidentemente el criterio tradicional resulta ms Polinomios en una indeterminada con coecientes
sencillo y ste no se utiliza: al separar la ltima cifra de enteros
la derecha, multiplicarla por 2 y restarla de las cifras res-
tantes la diferencia es igual a 0 o es un mltiplo de 3. Nmeros enteros pares
Nota 3: Aunque existen criterios similares para cualquier
nmero primo, con frecuencia resulta ms sencillo dividir Nmeros de Fibonacci
que aplicar un criterio complicado (como el del 13). Sin
embargo existe un criterio general que funciona siempre Anillos cuadrticos[6]
y que en muchos casos es sucientemente prctico: restar
el nmero primo (o mltiplos de ste) a las cifras de la
izquierda sucesivamente hasta obtener cero o ese nmero
primo. As el ejemplo del 13 se podra comprobar con
6 Vase tambin
el proceso siguiente (usamos el 39 =3*13 para abreviar
pasos): 3822 (restamos 13 dos veces a la izquierda) Tabla de divisores
2522 1222 (restamos 39 tres veces de las tres cifras de
la izquierda) 832 442 52 y al restar de nuevo 39 Mximo comn divisor
obtenemos 52-39 =13
Nota 4: El mtodo no tiene que ceirse slo al proceso Conmensurabilidad
de quitar las unidades. Pueden quitarse unidades y dece-
nas. As por ejemplo: 201 es mltiplo de 67. Un crite- Divisor unitario
rio para el 67 sera: quitamos el nmero formado por las
decenas y unidades y se lo restamos 2 veces a las cifras
que quedan, si el resultado es mltiplo de 67, el nmero
anterior tambin lo ser. Ejemplo: 66129, hacemos 661-
7 Referencias
229=603, Ahora 6 23=0, luego 66129 es mltiplo de
67. [1] G. M. Bruo: Aritmtica razonada
Una prueba de esto es la siguiente: (N-d)/100-2d = (N-d-
[2] N. N. Vorobiov. Criterios de divisibilidad
200d)/100 = (N - 201d)/100= k. Si k es mltiplo de 67,
N tambin lo ser puesto que N = 100k+201d.
[3] Pettofrezzo- Byrkit. Elements of Number Theory. Prenti-
Nota 5: Para saber si un nmero de 3 cifras es mltiplo de ce Hall Internacional Inc (1970)
8. Hay que tener en cuenta lo siguiente: Si la cifra de las
centenas es par y las otras 2 es un mltiplo de 8 (288 2 [4] Hefez: lgebra I, ediciones Imca, Lima
es cifra par, y 88 mltiplo de 8) o si la cifra de las centenas
es impar y las dos ltimas son el resultado de la diferencia [5] Niven Zuckerman: Introduccin a la teora de nmeros
o suma de un mltiplo de 8 con 4 (168 1 es cifra impar
y 68+4=72; 72 es mltiplo de 8. [6] Fraleigh: lgebra abstracta
7.1 Bibliografa 3

7.1 Bibliografa
Aritmtica elemental de Enzo R. Gentile (1985)
OEA.

Teora de los nmeros de Burton W. Jones.

Fundamentos de la teora de nmeros de Ivn Vino-
grdov
Introduccin a la teora de los nmeros de Niven y
Zuckermann
Aritmtica [I] de L.Galds (2002), Cultural S.A.
Madrid.
4 8 ORIGEN DEL TEXTO Y LAS IMGENES, COLABORADORES Y LICENCIAS

8 Origen del texto y las imgenes, colaboradores y licencias

8.1 Texto
Divisibilidad Fuente: https://es.wikipedia.org/wiki/Divisibilidad?oldid=97005955 Colaboradores: Sabbut, Dodo, Opinador, Jarl, Cina-
brium, JCCO, Balderai, Niqueco, Petronas, Taichi, Magister Mathematicae, Dem, Alhen, Superzerocool, Yrbot, Vitamine, The Photograp-
her, Heliocrono, Gtz, Ppja, Morza, Er Komandante, Chlewbot, Jgomez53, Juan Marquez, Lagarto, BOTpolicia, Qwertyytrewqqwerty,
CEM-bot, Chuo, 333, -jem-, Salvador alc, Retama, Davius, Jjafjjaf, FrancoGG, Ingenioso Hidalgo, Alvaro qc, Estevoaei, Bot que revier-
te, Escarbot, Yeza, Max Changmin, JovianJake, Egaida, Gusgus, Gngora, JAnDbot, Kved, Muro de Aguas, Gsrdzl, Humberto, Netito777,
Nioger, Bedwyr, Droog~eswiki, DonBarredora, Technopat, Matdrodes, DJ Nietzsche, BlackBeast, Camr, LCB, Cobalttempest, Rigenea,
Mel 23, Manw, Pascow, Greek, Belb, Jahon Karpsen, XalD, Jarisleif, HUB, Eduardosalg, Derki, Leonpolanco, Pan con queso, Atila
rey, Rge, Raulshc, Osado, UA31, AVBOT, LucienBOT, Gfranpe, Stonicado, Milsepul, Diegusjaimes, Davidgutierrezalvarez, Nick12,
Arjuno3, Wikiprincess~eswiki, Celtics~eswiki, Adonais, Roinpa, DiegoFb, Vic Fede, Jorge 2701, Marciana trece, Fernando101, Yuyo
84, SuperBraulio13, Manuelt15, Jkbw, Dreitmen, Cally Berry, Ricardogpn, Metronomo, Cruel Assassin, Botarel, Misael431, Hprmedina,
Jerowiki, PatruBOT, Ripchip Bot, Humbefa, HermanHn, Gauri, Edslov, EmausBot, Savh, Africanus, Grillitus, Emiduronte, Chuispas-
tonBot, Khiari, Waka Waka, WikitanvirBot, Metrnomo, Lcsrns, Antonorsi, Bellatrix0812, MerlIwBot, Edson Luque, ChayoBot, Julio
grillo, Travelour, Cyberdelic, Acratta, Lucas Godano, Harpagornis, rico, David y andres, DLeandroc, Helmy oved, Quasipodo, YFdyh-
bot, Armonizador, El chavito, Rauletemunoz, Lemilio775, MaKiNeoH, Legobot, LEONARDO1014, Daiana ruiz, Balles2601, Sebpast,
DavosMat, JulinDelRusso, JacobRodrigues, Jarould, Matiia, Elreysintrono, Bruno Rene Vargas, AlvaroMolina, David el pup, Vampifueg,
Wggaston, X2y3, CAPTAIN RAJU, Fernando2812l, Ks-M9, Ignaciogu, Andresrbxw y Annimos: 420

8.2 Imgenes

8.3 Licencia del contenido

Creative Commons Attribution-Share Alike 3.0