Divisibilidad y nmeros primos

Divisibilidad En muchos problemas es necesario saber si el reparto de varios elementos en diferentes grupos se puede hacer equitativamente, es decir, si el nmero de elementos dividido entre el nmero de grupos sera una divisin entera con resto o sin resto. Caso de que al dividir un nmero entero n entre otro nmero entero d, la divisin sea exacta sin resto, diremos que n es mltiplo de d, que n es divisible entre d, que d es divisor de n, o que d divide a n. En este caso, existe un tercer entero (cociente) c, tal que n=cd. En general, aplicamos la divisibilidad a nmeros enteros, pudiendo ser positivos o negativos. Por ejemplo, 45 es divisible entre 15, y 33 divide a 198, siendo los cocientes respectivos 3 y 6. La divisibilidad tiene las siguientes propiedades: Reflexiva: para todo entero n, n divide a n (con cociente 1). Transitiva: si a divide a b, y b divide a c, entonces a divide a c. Valor absoluto: a divide a b si y slo si |a| divide a |b|. Si a divide a b, entonces |a||b|. Si a divide a b y b divide a a, entonces a=b o a=b (en cualquier caso |a|=|b|). Los enteros positivos p tales que slo son divisibles por 1, 1, p y p se llaman nmeros primos, y son especialmente interesantes como veremos ms adelante. Los nmeros primos en orden creciente son 2, 3, 5, 7, 11, 13, 17,... (el 1 es un caso especial que no se suele considerar primo).

Algunas reglas sencillas sobre divisibilidad El que un nmero sea divisible entre 2, 3, 4, 5, 8, 9, 10 u 11 es relativamente sencillo de comprobar. Un nmero entero cualquiera n: es divisible entre 2 si y slo si su ltima cifra es par, es divisible entre 3 si y slo si la suma de las cifras de n es mltiplo de 3, es divisible entre 4 si y slo si su ltima cifra es par pero no mltiplo de 4, y su penltima cifra es impar, o si su ltima cifra es mltiplo de 4 y su penltima cifra es par (o equivalentemente, si el nmero formado por sus dos ltimas cifras es divisible entre 4), es divisible entre 5 si y slo si su ltima cifra es 0 o 5, es divisible entre 8 si y slo si sus el nmero formado por sus tres ltimas cifras es mltiplo de 8, es divisible entre 9 si y slo si la suma de las cifras de n es mltiplo de 9, es divisible entre 10 si y slo si su ltima cifra es 0, es divisible entre 11 si y slo si la suma de sus cifras en posicin par, menos la suma de sus cifras en posicin impar, es mltiplo de 11 (incluido el 0). Ilustramos el ltimo caso con un ejemplo: el nmero 164151324116 no es mltiplo de 11, porque sumando las cifras de posicin impar (1+4+5+3+4+1=18), y las cifras de posicin impar (6+1+1+2+1+6=17), la diferencia es 1, que no es mltiplo de 11. Sin embargo, el nmero 164151324161 s sera mltiplo de 11 (1+4+5+3+4+6=23, 6+1+1+2+1+1=12, y 2312=11, que s es mltiplo de 11).

Cuando las reglas anteriores no valen Si nos toca dividir un entero entre uno de los nmeros anteriores, no es complicado ver a priori si la divisin tendr resto 0 o no, pero nos puede tocar dividir entre un nmero sin regla simple, como 7, 13, 47, o 2010. Qu hacemos en un caso como ste? En el caso de los nmeros 7, 13 o 47, poco podemos

hacer en general, salvo realizar la divisin y ver si da resultado exacto. En el caso del 2010, podemos aplicar el siguiente razonamiento: como 2010=23567, podemos ver que si el nmero es divisible entre 10 (mirando su ltima cifra) y tambin es divisible entre 3 (sumando sus cifras y viendo si esta suma es divisible entre 3). Caso de que el nmero no sea divisible por 3 o por 10, hemos acabado: el nmero no ser divisible por 2010. Caso de que s sea divisible por 3 y por 10, nos bastara entonces comprobar si es divisible por 67, y en caso afirmativo, el nmero sera divisible por 2010. Por qu funciona el mtodo anterior? Los nmeros 2, 3, 5 y 67 tienen en comn que son primos, es decir, que no tienen ms divisores positivos que 1 y ellos mismos. Es conocido que todo nmero entero se puede expresar de una nica manera como producto de primos (salvo la forma de ordenarlos), por ejemplo, 2010=23567, y no podemos escribirlo de otra forma salvo si cambiamos el orden de los cuatro factores. A esta forma de escribir un nmero lo llamamos descomposicin en producto de factores primos, descomposicin en factores primos, o factorizacin del nmero. Una vez que hemos expresado un nmero n como producto de factores primos, si dicho factor primo aparece en la expresin, entonces divide al nmero n, y si no aparece, no lo divide. Entonces, dados un nmero d y otro nmero n, si expresamos tanto d como n, como producto de factores primos de la nica forma en la que puede hacerse, entonces d divide a n (o n es mltiplo de d) si y slo si, todos los primos que aparecen en la descomposicin de d, aparecen tambin, y por lo menos el mismo nmero de veces, en la descomposicin de n. As, 64=26 es divisible por 16=24, pero no por 12=223, porque 3 no aparece en la descomposicin en factores primos de 64.

Divisibilidad de sumas y productos Se demuestra fcilmente (intntalo!) que si dados dos enteros m y n, se tiene que m+n es divisible entre d, entonces o m y n son ambos divisibles entre d, o no lo es ninguno. Si la suma contiene ms de dos enteros, en general slo podemos decir que, si todos los sumandos son divisibles entre d, entonces la suma tambin lo es, y que si todos los sumandos menos uno son divisibles entre d y el restante no lo es, entonces la suma tampoco lo es (intenta demostrarlo!). Supongamos ahora que tenemos varios nmeros enteros n1, n2, n3,..., y queremos ver si su producto es divisible entre d. Si podemos escribir d=d1d2d3..., de forma que d1 divide a n1, d2 divide a n2,..., entonces d dividir a n=n1n2n3.... Por ejemplo, 2010 divide al 675012, ya que 67 divide a 67, 10 divide a 50, y 3 divide a 12, siendo como ya hemos visto 2010=67103. Esto se debe a que, al multiplicar enteros n1, n2, n3,..., expresados como producto de factores primos, la descomposicin de n=n1n2n3... se puede obtener sin ms que tomar todos los primos que aparecen en la descomposicin de n1, n2, n3,..., sumando los exponentes que tienen en cada uno (sumando 0 si el factor primo no aparece en la descomposicin), es decir, como 50=252, y 12=223, entonces 675012=2335267. Al expresar d como producto d1d2d3..., y comprobar si d1 divide a n1, d2 divide a n2,..., lo que estamos haciendo en realidad es ver si los factores primos que aparecen en la descomposicin de d, aparecen tambin, por lo menos el mismo nmero de veces, en el producto n1n2n3..., pero lo hacemos a trozos, cosa que puede ser mucho ms sencilla, y nos puede servir para utilizar las reglas sencillas de divisibilidad que citbamos al principio. Adems, el cociente de n1n2n3... entre d es igual al producto de los cocientes de n1 entre d1, n2 entre d2,... (propiedad asociativa del producto en este caso de su operacin inversa, la divisin). Es tambin muy til considerar la siguiente propiedad: si el producto de varios enteros es divisible entre un nmero primo p, entonces al menos uno de los enteros es divisible por dicho primo p. Ejemplo: comprobar si 2002 divide al producto 39566868, o al producto 39566798, y en caso afirmativo hallar el cociente. Como 2002=271113, siendo adems 39 divisible entre 13, y 56 entre 2 y entre 7, nos basta con ver si alguno de los tres factores es mltiplo de 11. Claramente vemos que ni 39 ni 56 lo son, porque de

acuerdo a la regla antes mencionada, un nmero de 2 cifras es mltiplo de 11 si y slo si ambas cifras son iguales. Como en 6868 las sumas de las cifras en posicin impar, 6+6=12, y en posicin par, 8+8=16, difieren en 4 que no es mltiplo de 11, entonces 2002 no divide al primer producto porque 11 no divide a dicho producto; sin embargo, s divide al segundo producto, pues 6+9=7+8=15. Adems, el cociente de la divisin en el segundo caso es 34618, pues 39=133, 56=144 y 6798=11618.

Cuando uno de los enteros es una expresin algebrica Los anteriores resultados pueden ser especialmente tiles cuando nos piden comprobar si una expresin algebraica (es decir, con variables o con incgnitas) es divisible entre un nmero dado; por ejemplo, si nos piden comprobar si 2n3+3n2+n es divisible entre 6 para todo entero positivo n. En este tipo de situaciones, puede ser til escribir la expresin algebraica como producto de expresiones ms pequeas, y ver si alguna de ellas es divisible por alguno de los factores del divisor. En este caso, vemos que podemos escribir 2n3+3n2+n=n(n+1)(2n+1). Ahora bien, n y n+1 son dos enteros consecutivos, con lo que uno de ellos tiene que ser par (no hay dos enteros impares consecutivos), luego 2n3+3n2+n es siempre divisible entre 2. Adems, n1, n y n+1 son tres enteros consecutivos, con lo que uno de ellos es divisible entre 3; si n+1 no lo es, entonces dar resto 1 o 2 al dividir por 3, y entonces n o n1 respectivamente, sern mltiplos de 3. Si n y n+1 no son ninguno mltiplo de 3, n1 s lo es, y como (n1)+(2n+1)=3n es mltiplo de 3 siempre, como ya hemos visto antes 2n+1 tiene que ser mltiplo de 3. Luego en cualquier caso 2n3+3n2+n ser mltiplo de 6 para cualquier entero positivo n, porque o n o n+1 (uno, pero no los dos) ser divisible entre 2, y o n, o n+1, o 2n+1 (siempre uno de los tres, pero slo uno de los tres) ser divisible entre 3. Tambin puede ser especialmente til descomponer una expresin algebraica en factores cuando sabemos que dicha expresin algebraica es igual a un entero, o divide a un entero dado. Ejemplo: hallar todos los enteros positivos x e y tales que x2y4=2009. Podemos escribir x y 2 x + y 2 = x 2 y 4 = 2009 = 7 2 41 . Como x+y2 es positivo, tambin lo ser xy2, siendo adems el primero mayor que el segundo. Se tiene entonces que puede ser x+y2=72, o x+y2=741, o x+y2=7241 (ya que x+y2 tiene que ser un nmero que divida a 7241, y cualquier otro divisor de 7241 hara que xy2 fuera mayor), siendo respectivamente xy2=41, xy2=7, xy2=1. Deducimos entonces que y2 debera valer, en cada uno de los tres casos, 4, 140, 1004, y no nos cuesta mucho comprobar que el segundo y tercer caso no pueden ser cuadrados de un entero, con lo que se ha de dar el primer caso (los otros dos no resultan en un valor entero de y), y por lo tanto y=2, y x=45.

)(

Factorizacin en primos La descomposicin en factores primos de un entero n, tambin llamada factorizacin en primos o simplemente factorizacin, consiste en expresar n como producto de nmeros primos; como ya hemos dicho, esta forma de expresarlo es nica salvo el orden de los factores primos. Para nmeros relativamente pequeos, esta factorizacin suele ser sencilla, por ejemplo 12=223, 56=237, o 51=317. Para nmeros ms grandes, como 123761232, la tarea empieza a ser ms complicada, de entrada porque, cmo sabemos qu factores primos tiene 123761232? Y si 123761232 fuera l mismo un nmero primo? Yendo por partes, vemos en primer lugar que 123761232 no puede ser primo; de hecho, aplicando las reglas de la divisin vemos que es divisible por 2 y por 9, pero ni por 5 ni por 11. Podemos en primer lugar simplificar el problema, sacando todos los factores de 2 que podamos, dividiendo sucesivamente

por 2 mientras se pueda, aadiendo 1 al exponente de 2 en la factorizacin del nmero por cada divisin que podemos hacer; otro tanto haramos con el 3. Obtenemos as que 123761232=2432859453, y ahora las reglas de divisibilidad nos dicen que 859453 no es divisible por 2, 3, 5 u 11. Si intentamos dividir entre 7, vemos que la divisin da exacta (pero ya slo hemos tenido que dividir entre 7 un nmero de 6 cifras, no uno de 9 cifras!). El resultado de la divisin, 122779, ya no es divisible entre 7. Tenemos que probar ahora los nmeros primos mayores que 11, es decir, 13, 17, 19, 23,.... Tras varios intentos infructuosos, llegamos a que 122779=592081, luego 123761232=24327592081, y ya hemos acabado la factorizacin.

La criba de Eratstenes Cmo sabemos en el anterior caso que ya hemos acabado? Y cmo sabemos por qu nmeros intentar dividir? Claramente, 2, 3, 5, 7, 11, 13 son primos, pero cmo s que he dividido por todos los primos y no me he dejado ninguno? Puedo en algn momento dejar de dividir y decir que 122779 es primo (si lo fuera)? Las respuestas a estas dos preguntas las da el procedimiento conocido como criba de Eratstenes. Escribimos primero todos los enteros del 1 al 100, y luego tachamos todos los mltiplos de 2 (menos el 2). Despus tachamos los mltiplos de 3 (menos el 3). Cuando llegamos al 4, vemos que ya est tachado por ser mltiplo de 2, as como todos los mltiplos de 4, que tambin son mltiplos de 2. El menor entero sin tachar es el 5, y tachamos todos los mltiplos de 5 (menos el 5). El siguiente entero sin tachar es el 7, as que tachamos todos los mltiplos de 7 (menos el 7). Si haces esto, comprobars que todos los nmeros que te quedan sin tachar entre el 2 y el 100 son primos. Por qu con este procedimiento no nos dejamos ningn primo entre 2 y 100 sin tachar? 100 no es primo, y si un nmero n menor que 100 no es primo, entonces lo podemos escribir como el producto de dos enteros a y b mayores que 1, n=ab (a y b pueden ser ambos primos, o no). Claramente, uno de estos dos nmeros es menor que 10, porque si fueran ambos mayores o iguales que 10, entonces n sera mayor o igual que 100. Tenemos entonces que, o a, o b, es menor que 10, y como ya hemos visto, los nicos nmeros sin tachar menores que 10 son 2, 3, 5 y 7 (los dems son mltiplos de alguno de ellos). Luego a tiene un factor primo que es 2, 3, 5 o 7, y por lo tanto n tambin lo tendra. Entonces, si n est sin tachar y es menor que 100, es primo! De la criba de Eratstenes, obtenemos dos conclusiones: si intento dividir a un nmero n por todos los primos menores o iguales que su raz cuadrada (que puede no ser entera), y en ningn caso obtengo una divisin exacta, entonces n es primo, y puedo obtener todos los nmeros primos menores que N, sin ms que repetir la criba de Eratstenes, hasta llegar a la raz cuadrada de N (que nuevamente, no tiene por qu ser entera). Por ejemplo, queremos saber si 122779 es primo: si hallo su raz cuadrada por el mtodo tradicional, veo que ser 350 y decimales, luego me basta con dividir hasta el mayor primo menor o igual que 350, y como la raz cuadrada de 350 es 18 y decimales, me basta con realizar la criba de Eratstenes, tachando todos los mltiplos de los primos hasta 17 inclusive, es decir, de 2, 3, 5, 7, 11, 13 y 17. El mayor primo menor o igual que 350 resulta ser 349. Menos mal que 122779 resulta ser divisible por 59! Ahora bien, una vez que hemos encontrado que 122779=592081, paramos. Por qu? Bueno, segn lo anterior, si 2081 no es primo, entonces es divisible por algn primo menor que su raz cuadrada, que es 45 y decimales, es decir, si 2081 no es primo, entonces es divisible por algn primo menor o igual que 43. Pero esos ya los hemos probado todos, cuando intentbamos hallar un factor primo de 122779! Luego 2081 es primo, y hemos acabado la factorizacin.

Ejercicios propuestos Factoriza el ao de tu nacimiento y el de tus familiares. Si quieres un desafo ms grande, factoriza los DNIs de tu familia o vuestros nmeros de telfono fijo y mvil! Escribo en la pizarra 14 nmeros enteros, no necesariamente distintos, que verifican la propiedad de que al borrar cualquiera de ellos, puedo agrupar los trece restantes en tres montones de igual suma. a) Demuestra que cada uno de los 14 nmeros es mltiplo de 3. b) Es posible que alguno de los 14 nmeros sea distinto de 0? Encontrar todos los nmeros enteros positivos n tales que 3n+5n es mltiplo de 3n1+5n1. Encontrar, razonadamente, dos nmeros enteros positivos a y b, tales que b2 sea mltiplo de a, a3 sea mltiplo de b2, b4 sea mltiplo de a3, 5 4 6 a sea mltiplo de b , pero b no sea mltiplo de a5. Encontrar todas las soluciones enteras posibles, x e y, de la ecuacin p(x+y)=xy, siendo p un cierto nmero primo. Probar que para cualquier primo p distinto de 2 y 5 existe un mltiplo de p cuyas cifras son todas nueves. Por ejemplo, si p=13, 999999=1376923. Dado un entero k1, definimos ak como el nmero entero que en base diez se escribe
k veces 6 7 8 ak = 111...1 ,

es decir, un 1 repetido k veces. Demostrar que ak divide a al si y slo si k divide a l. Demostrar tambin que para cada primo p distintos de 2 y 5 existen infinitos mltiplos de p de la forma 11111 (escrito slo con unos).