You are on page 1of 12

DIVISIBILIDAD

Jery Huaman 05 de Abril del 2008


Introduccin o Desde hace mucho tiempo, el hombre se ha visto ante la necesidad de tener que repartir cantidades de objetos entre personas, dndole a cada una el mismo nmero de objetos. a u A travs de la prctica el hombre descubri que este problema a veces ten solucin e a o a o y a veces no; ello incentiv el estudio de la relacin que exist entre los nmeros en los o o a u que este problema s ten solucin y los nmeros en los que no; de esta forma comenz a a o u o estudiarse la divisibilidad. Ms concretamente, nos remontaremos a Grecia (periodo Helnico) cuando se descubri de a e o manera tajante la irracionalidad, demostrando, por ejemplo, la irracionalidad de la ra z cuadrada de 2 por la v de reduccin al absurdo (Hipaso, escuela Pitagrica), este desa o o cubrimiento de la irracionalidad condujo inevitablemente a la elaboracin de la teor de o a la divisibilidad. Hablar de divisibilidad en el conjunto de los nmeros naturales (ms an, en el de los u a u nmeros enteros) es hablar de los divisores y mltiplos de esos nmeros, as como de las u u u relaciones que pueden establecerse entre tales nmeros al considerarlos como mltiplos y u u divisores unos de otros.

Nociones bsicas a De 3 4 = 12 podemos armar que 3 es un factor o divisor de 12 y 12 es un mltiu plo de 3, en forma similar el 4; asimismo el nmero 12 tiene otros divisores, por ejemplo u el -2 ya que (-2)(-6) = 12. Siendo a y b enteros, con a = 0, usaremos el s mbolo a | b para denotar que a es un factor o divisor de b . Si a no es un divisor de b, escribiremos a b. Ejemplos: 7 | 28, 3 | 15, 4 | 0, 1 | 8, 3 7, 4 2

Diremos que a | b si y solo si a = 0 y existe un entero k tal que b = a k

Asi pues, de los ejemplos: 7 | 28 pues 28 = 7 4 3 | 15 pues 15 = (3)(5) 4 | 0 pues 0 = 4 0 3 7 pues no existe un entero k tal que 7 = 3 k 4 2 pues no existe un entero k tal que 2 = 4 k

Siendo a un nmero entero, tenemos u 1 | a, a a | a y a | 0, a = 0 a | ak, k Z a = 0 si a | 1, entonces a = 1 Nota: Tambien podemos armar: a | b si y solo si a = 0 y b es entero. a

Teoremas bsicos a A continuacin se expondran algunos teoremas que nos servirn en la resolucin de proo a o blemas. Se sugiere practicar y habituarse a estos, pues son los que comnmente se usan. u Sean los enteros a, b y c, con a = 0. i) si a | b entonces a | bm, m Z. ii) si a | b y a | c entonces a | b + c y a | b c. iii) si a | b y b | c, con b = 0 entonces a | c. (propiedad transitiva). iv) si a y b son positivos y a | b entonces a b. v) si a y b son positivos tales que a | b y b | a entonces a = b. vi) si ac | bc, con c = 0, entonces a | b. vii) sea P (x) un polinomio con coecientes enteros. Para cualesquiera enteros b y c, con b = c, se cumple b c | P (b) P (c).

Teoremas auxiliares Se pueden deducir de los teoremas basicos. Sean los enteros a, b y c, con a = 0. viii) si a | b y a | b + c entonces a | c. ix) si a | b entonces a | b a. x) si a | b y a | c entonces a | bx + cy para cualesquiera x e y enteros. xi) sean los enteros b1 , b2 , ..., bn tales que a | b1 , a | b2 , . . ., a | bn entonces para
n

cualesquiera c1 , c2 , ..., cn se cumple a |


i=1

bi ci .

xii) si ab | c entonces a | c y b | c. xiii) si a a es entero y a | c entonces | c. b b c c xiv) si es entero y a | entonces a | c b b xv) sea la igualdad x1 + x2 + ... + xn + b = y1 + y2 + ... + ym donde x1 , x2 , ..., xn , y1 , y2 , ..., ym son enteros. Si a | x1 , a | x2 , ..., a | xn , a | y1 , a | y2 , ..., a | ym entonces a | b. xvi) si a | b y b = 0 entonces |a| |b|. xvii) si a | b y b | a entonces a = b.

Comentario: Existe un teorema muy util en la resolucin de problemas de divisibilidad, para su demostracin o o se requiere de aspectos tericos que abordaremos en los prximos art o o culos; por el momento mencionaremos lo siguiente: Dos nmeros enteros a y b distintos de cero se dice que son pes (primos entre si o u coprimos o primos relativos) si no tienen otro divisor comn mas que 1 y 1. u Teorema xviii) Sean los enteros a, b y c, con a = 0, si a | bc y a es pesi con b entonces a | c.

Al nal de este art culo puede ver la demostracin de los teoremas bsicos (i al vii). o a Ahora veamos algunas aplicaciones.

Aplicacin 1 o Sean a, b, c y d enteros tales que a es pesi con b, c es pesi con d y 3

a c + b d es entero. Demuestre que b = d Demostracin o a c + = k, siendo k un nmero entero. u b d a c ad + bc Operando + = = k. b d bd Tenemos que Dado que k es entero, tenemos que bd | (ad + bc) Lo cual implica b | (ad + bc) Como b | bc entonces b | ad Dado que b es pesi con a, resulta b | d En forma analoga obtenemos d | b (Pues tambien podemos plantear que b | (ad + bc) y aplicar los pasos anteriores) Finalmente aplicando el teorema xvii tenemos que b = d. (Ahora usaremos el teorema xii) (Ahora usaremos el teorema viii) (Ahora usaremos el teorema xviii)

Aplicacin 2 o Calcule los enteros n tales que n + 2 es divisor de n + 37. Resolucin o El problema se puede plantear as Halle los enteros n tales que (n + 2) | (n + 37). Recuerde que si a | b entonces a | (b a), aplicando ello resulta (n + 2) | [(n + 37) (n + 2)] (n + 2) | 35, es decir que (n + 2) es un divisor de 35. Luego (n + 2) puede ser 1, 5, 7, 35 Luego n puede ser 3, 1, 7, 3, 9, 5, 37 33 o

Aplicacin 3 o Tomado en la olimpiada de mayo 2006 Calcule los enteros positivos a y b tales que a+1 b+1 y b a sean enteros. Resolucin o El problema se puede plantear as Halle los enteros a y b tales que b | (a + 1) y a | (b + 1). Aplicaremos el teorema iv De b | (a + 1), resulta b a + 1 de lo cual obtenemos b 1 a De a | (b + 1), resulta a b + 1 (1) (2)

De (1) y (2) tenemos b 1 a b + 1, es decir que pueden ocurrir tres casos: a=b+1 Caso 1: a = b + 1, reemplazando en b | (a + 1) resulta b | (b + 2) b | [(b + 2) b] b|2 Entonces b = 1 y a = 2 b = 2 y a = 3. o Caso 2: a = b, reemplazando en b | (a + 1) resulta b | (b + 1) b | [(b + 1) b] b|1 Entonces b = 1 y a = 1 o a=b o a = b 1.

Caso 3: a = b 1, reemplazando en a | (b + 1) resulta (b 1) | (b + 1) (b 1) | [(b + 1) (b 1)] (b 1) | 2 Entonces b = 2 y a = 1 b = 3 y a = 2 o Luego, todas las soluciones (a, b) son (2, 1), (3, 2), (1, 1), (1, 2) y (2, 3).

Un comentario a este problema: En la resolucin, el caso 3 es analogo al caso 1, sus soluciones son las misma salvo por o el orden que toman los valores. Cuando en un problema hay simetria en las condiciones (en el problema ten amos b | (a + 1) y a | (b + 1)) estableceremos, sin perder generalidad, un orden, digamos a b (asi solo analizamos los casos 1 y 2) y luego permutamos el orden de los valores para obtener las dems soluciones (en los casos 1 y 2 obtuvimos a (2, 1), (3, 2), (1, 1) as pues las demas soluciones son (1, 2) y (3, 2)).

Aplicacin 4 o Sea P (x) un polinomio con coecientes enteros. Demuestre que si m es un entero diferente de cero tal que P (m) = 0 entonces m es un divisor del trmino constante. e Demostracin: o El problema se puede plantear as Sea P (x) = an xn + an1 xn1 + an2 xn2 + ... + a1 x + a0 donde an , an1 , an1 , ..., a1 y a0 son enteros. Demostrar que si m es un entero diferente de cero y P (m) = 0 entonces m | a.

Evaluando P en m tenemos: P (m) = an mn + an1 mn1 + an2 mn2 + ... + a1 m + a0 = 0. Es claro que m | an mn , m | an1 mn1 , m | an2 mn2 , ..., m | a1 m, m | 0. Por lo tanto m | a0 . (estamos usando el teorema xv).

Aplicacin 5 o Tomado en la USAMO 1974 Sean a, b, y c tres enteros distintos, y sea P (x) un polinomio con coecientes enteros. Mostrar que es imposible que P (a) = b, P (b) = c, P (c) = a. Demostracin: o Del problema tenemos que P (x) es un polinomio con coecientes enteros, por lo cual podemos usar el T eorema vii, as pues (a b) | P (a) P (b) es decir P (a) P (b) es entero ab por dato P (a) = b y P (b) = c, reemplazando resulta bc es entero ab Asi podemos plantear bc = m, donde m Z. ab ca Analogamente obtenemos = n, donde n Z. bc ab = p, donde p Z. ca Multiplicando bc ab ca bc ab ca = mnp, donde m, n, p Z

Resultando 1 = mnp, donde m, n, p Z, lo cual signica que m, n, p toman, en algn u orden, los valores 1, 1, 1 1, 1, 1. o

Caso 1: Cuando todos valen 1 (m = n = p = 1) Reemplazando en bc = m, resulta b c = a b ab 2b = a + c ca = n, resulta bc 2c = a + b

Reemplazando en

Restando 2b 2c = (a + c) (a + b) 2b 2c = c b 3b = 3c b = c, lo cual no es posible, pues segn dato b = c. u

Caso 2: Cuando dos de ellos valen -1 y uno de ellos vale 1 (m, n y p toman en algn u orden los valores 1, 1, 1)

Sin perder generalidad podemos tomar m = 1. Reemplazando en bc = m, resulta b c = (a b) ab bc=ba c = a, lo cual no es posible pues segun dato c = a.

Por lo tanto es imposible que P (a) = b, P (b) = c y P (c) = a

Un comentario a este problema: En la resolucin, en el caso 2, decimos sin perder generalidad porque sin importar o bc ca quien sea 1 al hacer el reemplazo en cualquiera de las ecuaciones = m, =n ab bc ab o = p obtenemos la misma conclusin. o ca

Demostracin de los teoremas basicos (i al vii) o Sean los enteros a, b y c, con a = 0. b = k, donde k Z a bm = km, donde km Z, lo que a

i) Si a | b entonces

Multiplicando po m (entero arbitrario) obtenemos implica a | bm, m Z.

ii) Si a | b entonces

b es entero. a c Si a | c entonces es entero. a b+c bc y son enteros lo que implica a | b + c y a a

Sumando y restando obtenemos a | b c.

iii) si a | b y b | c, con b = 0, entonces Multiplicando obtenemos b a

b c y son enteros. a b c c = , que sigue siendo entero. b a

De ah que

c es entero, que implica a | c. a

b iv) Si a y b son positivos y a | b entonces = k, donde k es entero mayor que cero, a b es decir k 1, reemplazando tenemos 1, de lo cual resulta a b. a

v) Para demostrar este teorema usaremos el teorema iv, siendo a y b positivos: si a | b entonces a b. si b | a entonces b a. De (1) y (2) resulta a = b. ...(1) ...(2)

bc = k, k Z. vi) Si ac | bc, con c = 0, entonces ac b Cancelando c, resulta = k, k Z. a Por lo tanto a | b.

vii) Si P (x) es un polinomio con coecientes enteros, entonces: P (x) = mn xn + mn1 xn1 + mn2 xn2 + ... + m1 x + m0 donde mn , mn1 , mn1 , ..., m1 y m0 Z.

Evaluando en b y en c, con b = c obtenemos P (b) = mn bn + mn1 bn1 + mn2 bn2 + ... + m1 b + m0 P (c) = mn cn + mn1 cn1 + mn2 cn2 + ... + m1 c + m0 Restando obtenemos P (b) P (c) = mn (bn cn ) + mn1 (bn1 cn1 ) + mn2 (bn2 cn2 ) + ... + m1 (b c) Es claro que (b c) | (bi ci ), i Z + . Es decir (b c) | (bn cn ), (b c) | (bn1 cn1 ), ..., (b c) | (b2 c2 ), (b c) | (b c) Por lo tanto (b c) | P (b) P (c). 9

Tarea

Tarea 01 Demuestre los teoremas auxiliares (viii al xvii). Investigue sobre el teorema xviii.

Tarea 02 Evale cada una de las siguientes armaciones como verdadera (V) o falsa (F). Para ello, u aydese con ejemplos, contraejemplos (para refutar), argumentos, ... u Si un nmero es divisor de varios otros, entonces divide a la suma de todos ellos. u Si un nmero divide a otro, entonces divide a cualesquiera dos sumandos en que se u puede descomponer el segundo nmero. u Si un nmero es divisor de otros dos nmeros, entonces divide a la diferencia entre u u el mayor y el menor. Todo nmero distinto de 0 tiene innitos mltiplos u u La suma de varios mltiplos de un nmero no es mltiplo de ese nmero. u u u u Todo nmero distinto de cero tiene un nmero innito de divisores. u u Si dos nmeros son mltiplos de otro, tambin lo es la diferencia entre el mayor y u u e el menor. Si un nmero a es divisor de uno b, y ste a su vez es divisor de c, entonces a no u e tiene porque ser divisor de c. Si a y b son divisores de un nmero N , entonces a + b tambin es divisor de N . u e Si a y b son divisores de un nmero N , entonces a x b tambin es divisor de N. u e Si un nmero es divisor de otro, entonces tambien es divisor de los divisores de este. u Si un nmero es divisor de otro, entonces tambin es divisor de los mltiplos de ste. u e u e Si a es divisor de b, entonces es divisor de b + c (c: cualquier nmero natural). u Si a es divisor de b, entonces es divisor de a + b. Si a es divisor de b, entonces es divisor de b c (c: cualquier nmero natural). u Si un nmero es mltiplo de otro, entonces tambin es mltiplo de todos los mltiplos u u e u u de ste ultimo. e Si un nmero es mltiplo de otro, entonces tambin es mltiplo de todos los divisores u u e u de ste ultimo. e 10

Tarea 03 Resuelva los siguiente problemas:

Problema 1: Encuentre todos los enteros positivos n tales que n + 2 | n2 + 5.

Problema 2: a, b y c son enteros positivos tales que a+b b+c c+a , y c a b c son enteros. Cual es el mayor que puede tomar ?. a Problema 3: Encuentre todos los enteros positivos a y b tales que a2 + b b2 + a y b2 a a2 b son enteros.

Problema 4: Tomado en la olimpiada rumana del 2001 Determine todos los nmeros racionales positivos a, b y c tales que u 1 1 1 a+ , b+ , c+ b c a son enteros.

Problema 5: a o o Demostrar que si la fraccin irreductible es una solucin de la ecuacin o b cn xn + cn1 xn1 + ... + c1 x + c0 = 0 donde x es una variable real y cn , cn1 , ..., c1 , c0 son enteros, con cn = 0, entonces a | c0 y b | cn .

Problema 6: Tomado en la PUTNAM 1990 P (x) es un polinomio con coecientes enteros. La secuencia de enteros a1 , a2 , ..., an (donde n 3) satisfacen a2 = P (a1 ), a3 = P (a2 ), ..., an = P (an1 ), a1 = P (an ). Mostrar que a1 = a3 . 11

Bibliograf a (1) GENTILE Enzo R., ARITMETICA ELEMENTAL, Washington D.C. 1985. (2) VINOGRADOV Ivn M., FUNDAMENTOS DE LA TEOR DE NUMEROS, Edia IA torial MIR, Mosc 1977. u (3) LEVEQUE William J., TEORIA ELEMENTAL DE LOS NUMEROS, Herrero Hermanos Sucs S.A. Editores, Mexico 1968. (4) JONES Burton W., TEOR DE LOS NUMEROS, Editorial F. Trillas, Mexico IA 1969. (5) PETTOFREZO Anthony J. , INTRODUCCION A LA TEOR DE LOS NUMEROS, IA Editorial Prentice-Hall Internacional, U.S.A. 1972. (6) NIVEN Ivan, INTRODUCCION A LA TEOR DE NUMEROS, Editorial Limusa, IA Mexico 1969. (7) BECKER Maria E., ARITMETICA, Editorial Red Olimpica, Buenos Aires 2001. (8) ANDREESCU Titu, 104 NUMBER THEORY PROBLEMS, Birkhauser, Boston 2006.

Enlaces en internet (1) http://www.iesalc.unesco.org.ve/publicaciones/divisibilidad.pdf DIVISIBILIDAD (Autor: Mart Andonegui Zabala). n (2) http://www.cie.uva.es/matematicas/olimpiadamatematica/divis teo.pdf DIVISIBILIDAD: RESULTADOS (Autor: Francisco Bellot Rosado). (3) http://www.artofproblemsolving.com/Resources/Papers/SatoNT.pdf NUMBER THEORY (Autor: Naoki Sato).

12

You might also like