Diferencia entre revisiones de «Divisibilidad»

← Ir a diferencia anterior Ir a siguiente diferencia →

Contenido eliminado Contenido añadido

En renglón

Revisión del 02:52 24 nov 2009

Decimos que un número entero b es divisible entre otro entero a (distinto de cero) si existe un tercer entero c tal que:

b = a · c

Se suele expresar de la forma a|b, que se lee a divide a b, o a es divisor de b, o también b es múltiplo de a. Por ejemplo, 6 es divisible por 3, ya que 6 = 3·2; pero no es divisible por 4, pues no existe un entero c tal que 6 = 4·c. Es decir, el resto de la división euclídea (entera) de 6 entre 4 no es cero. Véase el algoritmo de la división.

Todo número entero mayor que 1 es divisible por 1 y por sí mismo. Los números que no admiten más que estos dos divisores se denominan números primos. Los que admiten más de dos divisores se llaman números compuestos

Propiedades

Sean $a,b,c\in \mathbb {Z}$ , es decir $\ a$ , $\ b$ y $\ c$ son números enteros. Tenemos las siguientes propiedades básicas:

$a\mid a$ (Propiedad Refleja).
Si $a\mid b$ y $b\mid c$ , entonces $a\mid c$ (Propiedad Transitiva).
Si $a\mid b$ , entonces $|a|\leq |b|$ .
Si $a\mid b$ y $a\mid c$ , entonces $a\mid \beta b+\gamma c\ \ \forall \ \beta ,\gamma \in \mathbb {Z}$ .
Si $a\mid b$ y $a\mid b\pm \ c$ , entonces $a\mid c$
Si $a\mid b$ y $b\mid a$ , entonces $\ |a|=|b|$ .
Si $a\mid b$ y $b\neq 0$ , entonces ${\frac {b}{a}}\mid b$ .
Para $c\neq 0$ , $a\mid b$ si y sólo si $ac\mid bc$
Si $a\mid bc$ y $\ mcd(a,b)=1$ , entonces $a\mid c$ .
Si $\ mcd(a,b)=1$ y $\ c$ cumple que $a\mid c$ y $b\mid c$ , entonces $ab\mid c$ .

Como $0=0\cdot n$ y $n=n\cdot 1$ se tiene que $n\mid 0$ y $1\mid n$ para todo $\ n$ entero. Si $\ m$ no es divisible por $\ n$ escribimos $n\nmid m$ . Notemos que $0\nmid m$ para todo $\ m$ distinto de cero, pues $m\neq 0=k\cdot 0$ para todo $\ k$ entero. .

Criterios de divisibilidad

Los siguientes criterios nos permiten averiguar si un número es divisible por otro de una forma sencilla, sin necesidad de realizar una división:

Véase también

Número	Criterio	Ejemplo
2	El número termina en cero o cifra par.	378: porque "8" es par.
3	La suma de sus cifras es un múltiplo de 3.	480: porque 4+ 8+ 0 = 12 es múltiplo de 3.
4	El número formado por las dos últimas cifras es 00 ó múltiplo de 4.	7324: porque 24 es múltiplo de 4.
5	La última cifra es 0 ó 5.	485: porque acaba en 5.
6	El número es divisible por 2 y por 3.	24: Ver criterios anteriores.
7	Para números de 3 cifras: Al número formado por las dos primeras cifras se le resta la última multiplicada por 2. Si el resultado es múltiplo de 7, el número original también lo es.	469: porque 46-(9*2)= 28 que es múltiplo de 7.
7	Para números de más de 3 cifras: Dividir en grupos de 3 cifras y aplicar el criterio de arriba a cada grupo. Sumar y restar alternativamente el resultado obtenido en cada grupo y comprobar si el resultado final es un múltiplo de 7.	52176376: porque (37-12) - (17-12) + (5-4)= 25-5+1= 21 es múltiplo de 7.
8	El número formado por las tres últimas cifras es 000 ó múltiplo de 8.	27280: porque 280 es múltiplo de 8.
9	La suma de sus cifras es múltiplo de 9.	3744: porque 3+7+4+4= 18 es múltiplo de 9.
10	La última cifra es 0.	470: La última cifra es 0.
11	Sumando las cifras (del número) en posición impar por un lado y las de posición par por otro. Luego se resta el resultado de ambas sumas obtenidas. si el resultado es cero (0) o un múltiplo de 11, el número es divisible por éste. Si el número tiene dos cifras será multiplo de 11 si esas dos cifras son iguales.	42702: 4+7+2=13 · 2+0=2 · 13-2=11 → 11 es múltiplo de 11 44: porque las dos cifras son iguales.Entonces 44 es Múltiplo de 11
12	El número es divisible por 3 y 4.	528: Ver criterios anteriores.
13	Para números de 3 cifras: Al número formado por las dos primeras cifras se le suma la última multiplicada por 4. Si el resultado es múltiplo de 13, el número original también lo es.	364: porque 36+4·4= 52 es múltiplo de 13.
13	Para números de más de 3 cifras: Dividir en grupos de 3 cifras, sumar y restar alternativamente los grupos de derecha a izquierda y aplicar el criterio de arriba al resultado obtenido. Si es múltiplo de 13, el número original también lo es.	432549: porque 549-432 = 117 y luego 11 + 4·7 = 39 es múltiplo de 13.

@@ Línea 1: / Línea 1: @@
+Decimos que un [[número entero]] '''b''' es '''divisible''' entre otro entero '''a''' (distinto de cero) si existe un tercer entero '''c''' tal que:
-PUTASSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSS[[SON PUTAS]]
+<center>'''b = a · c'''</center>
-== TODOS EN EL MUNDO SONPUTAS EXEPTO MI ''AJAJAJAJA--[[Especial:Contributions/190.43.30.201|190.43.30.201]] ([[Usuario Discusión:190.43.30.201|discusión]]) 02:49 24 nov 2009 (UTC)--[[Especial:Contributions/190.43.30.201|190.43.30.201]] ([[Usuario Discusión:190.43.30.201|discusión]]) 02:49 24 nov 2009 (UTC)--[[Especial:Contributions/190.43.30.201|190.43.30.201]] ([[Usuario Discusión:190.43.30.201|discusión]]) 02:49 24 nov 2009 (UTC)--[[Especial:Contributions/190.43.30.201|190.43.30.201]] ([[Usuario Discusión:190.43.30.201|discusión]]) 02:49 24 nov 2009 (UTC)
+Se suele expresar de la forma '''a'''|'''b''', que se lee '''a''' divide a '''b''', o '''a''' es '''[[divisor]]''' de '''b''', o también '''b''' es '''[[múltiplo]]''' de '''a'''. Por ejemplo, 6 es divisible por 3, ya que 6 = 3·2; pero no es divisible por 4, pues no existe un entero ''c'' tal que 6 = 4·c. Es decir, el resto de la [[división euclídea]] (entera) de 6 entre 4 no es cero. Véase el [[algoritmo de la división]].
-----
+Todo número entero mayor que 1 es divisible por 1 y por sí mismo. Los [[número]]s que no admiten más que estos dos divisores se denominan [[número primo|números primos]]. Los que admiten más de dos divisores se llaman [[número compuesto|números compuestos]]
-----
+== Propiedades ==
-----
+Sean <math>a, b, c \in \mathbb{Z}</math>, es decir <math>\ a</math>, <math>\ b</math> y <math>\ c</math> son [[número entero|números enteros]]. Tenemos las siguientes propiedades básicas:
-----
-[[Media:PUTAS]]''AMOR ==
+#<math>a\mid a</math>   (Propiedad Refleja).
+#Si <math>a\mid b</math> y <math>b\mid c</math>, entonces <math>a\mid c</math>   (Propiedad Transitiva).
+#Si <math>a\mid b</math> , entonces <math>|a|\leq |b|</math>.
+#Si <math>a\mid b</math> y <math>a\mid c</math>, entonces <math>a\mid \beta b+ \gamma c\ \ \forall \ \beta, \gamma \in  \mathbb{Z}</math>.
+#Si <math>a\mid b</math> y <math>a\mid b \pm\ c</math>, entonces <math>a\mid c</math>
+#Si <math>a\mid b</math> y <math>b\mid a</math>, entonces <math>\ |a|=|b|</math>.
+#Si <math>a\mid b</math> y <math>b\neq 0</math>, entonces <math>\frac{b}{a}\mid b</math>.
+#Para <math>c\neq 0</math>, <math>a\mid b</math> si y sólo si <math>ac\mid bc</math>
+#Si <math>a\mid bc</math> y [[Máximo común divisor|<math>\ mcd(a,b)=1</math>]], entonces <math>a\mid c</math>.
+#Si <math>\ mcd(a,b)=1</math> y <math>\ c</math> cumple que <math>a\mid c</math> y <math>b\mid c</math>, entonces <math>ab\mid c</math>.
+Como <math>0=0\cdot n</math> y <math>n=n\cdot 1</math> se tiene que <math>n\mid 0</math>  y  <math>1\mid n</math> para todo <math>\ n</math> entero. Si <math>\ m</math> no es divisible por <math>\ n</math> escribimos <math>n\nmid m</math>. Notemos que <math>0\nmid m</math> para todo <math>\ m</math> distinto de cero, pues <math>m\neq 0=k\cdot 0</math> para todo <math>\ k</math> entero.
+.
+== Criterios de divisibilidad ==
+Los siguientes criterios nos permiten averiguar si un número es divisible por otro de una forma sencilla, sin necesidad de realizar una división:
+{| class="wikitable"
+|-
+!Número
+!Criterio
+!Ejemplo
+|-
+|'''[[Dos|2]]'''
+|El número termina en cero o cifra par.
+|378: porque "8" es par.
+|-
+|'''[[Tres|3]]'''
+|La suma de sus cifras es un múltiplo de 3.
+|480: porque 4+ 8+ 0 = 12 es múltiplo de 3.
+|-
+|'''[[Cuatro|4]]'''
+|El número formado por las dos últimas cifras es 00 ó múltiplo de 4.
+|7324: porque 24 es múltiplo de 4.
+|-
+|'''[[Cinco|5]]'''
+|La última cifra es 0 ó 5.
+|485: porque acaba en 5.
+|-
+|'''[[Seis|6]]'''
+|El número es divisible por 2 y por 3.
+|24: Ver criterios anteriores.
+|-
+|rowspan=2|'''[[Siete|7]]'''
+|Para números de 3 cifras: Al número formado por las dos primeras cifras se le resta la última multiplicada por 2. Si el resultado es múltiplo de 7, el número original también lo es.
+|469: porque  46-(9*2)= 28 que es múltiplo de 7.
+|-
+|Para números de más de 3 cifras: Dividir en grupos de 3 cifras y aplicar el criterio de arriba a cada grupo. Sumar y restar alternativamente el resultado obtenido en cada grupo y comprobar si el resultado final es un múltiplo de 7.
+|52176376: porque (37-12) - (17-12) + (5-4)= 25-5+1= 21 es múltiplo de 7.
+|-
+|'''[[Ocho|8]]'''
+|El número formado por las tres últimas cifras es 000 ó múltiplo de 8.
+|27280: porque 280 es múltiplo de 8.
+|-
+|'''[[Nueve|9]]'''
+|La suma de sus cifras es múltiplo de 9.
+|3744: porque 3+7+4+4= 18 es múltiplo de 9.
+|-
+|'''[[Diez|10]]'''
+|La última cifra es 0.
+|470: La última cifra es 0.
+|-
+|'''[[Once|11]]'''
+|Sumando las cifras (del número) en posición impar por un lado y las de posición par por otro. Luego se resta el resultado de ambas sumas obtenidas. si el resultado es cero (0) o un múltiplo de 11, el número es divisible por éste.
+Si el número tiene dos cifras será multiplo de 11 si esas dos cifras son iguales.
+|42702: 4+7+2=13 · 2+0=2 · 13-2=11 → 11 es múltiplo de 11
+: porque las dos cifras son iguales.Entonces 44 es Múltiplo de 11
+|-
+|'''[[Doce|12]]'''
+|El número es divisible por 3 y 4.
+|528: Ver criterios anteriores.
+|-
+|rowspan=2|'''[[Trece|13]]'''
+|Para números de 3 cifras: Al número formado por las dos primeras cifras se le suma la última multiplicada por 4. Si el resultado es múltiplo de 13, el número original también lo es.
+|364: porque 36+4·4= 52 es múltiplo de 13.
+|-
+|Para números de más de 3 cifras: Dividir en grupos de 3 cifras, sumar y restar alternativamente los grupos de derecha a izquierda y aplicar el criterio de arriba al resultado obtenido. Si es múltiplo de 13, el número original también lo es.
+|432549: porque 549-432 = 117 y luego 11 + 4·7 = 39 es múltiplo de 13.
+|-
+== Véase también ==
+* [[Anexo:Tabla de divisores|Tabla de divisores]]
+* [[Máximo común divisor]]
+[[Categoría:Teoría de números]]
+[[Categoría:Aritmética elemental]]
+[[ca:Criteris de divisibilitat]]
+[[de:Teilbarkeit]]
+[[en:Divisibility rule]]
+[[gl:Divisibilidade]]
+[[he:מבחני התחלקות]]
+[[lv:dalāmības pazīmes]]
+[[uz:Boʻlinish alomatlari]]
+[[ru:Признаки делимости]]
+[[uk:Ознаки подільності чисел]]