Sistema de Numeracin

El sistema de numeracin decimal, tambin llamado sistema decimal, es un sistema de numeracin posicional en el que las cantidades se representan utilizando como base aritmtica las potencias del nmero diez. El conjunto de smbolos utilizado (sistema de numeracin arbiga) se compone de diez cifras diferentes: cero (0); uno (1); dos (2); tres (3); cuatro (4); cinco (5); seis (6); siete (7); ocho (8) y nueve (9). Excepto en ciertas culturas, es el sistema usado habitualmente en todo el mundo y en todas las reas que requieren de un sistema de numeracin. Sin embargo hay ciertas tcnicas, como por ejemplo en la informtica, donde se utilizan sistemas de numeracin adaptados al mtodo del binario o el hexadecimal Notacin decimal Al ser posicional, el sistema decimal es un sistema de numeracin en el cual el valor de cada dgito depende de su posicin dentro del nmero. Al primero corresponde el lugar de la unidades, el dgito se multiplica por 1) ; el siguiente las decenas (se multiplica por 10); centenas (se multiplica por 100); etc. (es decir

Ejemplo:

otro ejemplo: o tambin:

Se puede extender este mtodo para los decimales, utilizando las potencias negativas de diez, y un separador decimal entre la parte entera y la parte fraccionaria.

CARINA RAMOS
Ejemplo:

El sistema de numeracin romano es decimal, pero no-posicional:

Descomposicin polinmicas de un nmero Un nmero se puede descomponer utilizando potencias de base 10. El numero 3 658 podemos descomponerlo del siguiente modo:
3 658 = 3 10 + 6 10 + 5 10 + 8 Algunas propiedades del conjunto de los nmeros naturales Axiomas 1. 0 N. 2. a N, a + 1 N. 3. a, b N, a b a + 1 b + 1. 4. a N, a + 1 0. 5. Es vlido el principio del buen orden. Propiedades 1. a, b N, a + b N ab N (ley de cierre de la suma y del producto). 2. a, b N, a + b = b + a ab = ba (ley conmutativa de la suma y del producto). 3. a, b, c N, a + (b + c) = (a + b) + c a (bc) = (ab) c (ley asociativa de la suma y del producto). 4. a, b, c N, a + c = b + c a = b (ley cancelativa de la suma). 5. a, b, c N, (ac = bc c 6= 0) a = b (ley cancelativa del producto por un nmero no nulo). 6. a, b, c N, a + c > b + c a > b (cancelacin de trminos en desigualdades). 7. a, b, c N, ac > bc a > b (cancelacin de factores en desigualdades). 8. a, b, c, d N, (a > c b > d) (a + b > c + d ab > cd) (uniformidad). 9. a N, a + 0 = a a 1 = a (existencia del neutro de la suma y del producto). 10. a, b, c N, a (b + c) = ab + ac (ley distributiva del producto respecto de la suma). 11. a, b N, ab = 0 (a = 0 b = 0) (no hay divisores de 0).
3 2 1

EL CONJUNTO DE LOS NMEROS ENTEROS. DIVISIBILIDAD

Los nmeros enteros Ya tenemos conceptualizado al conjunto de los nmeros naturales N, con sus operaciones bsicas de suma y producto, y su orden usual. Nuestra meta es ahora presentar al conjunto de los nmeros enteros, con sus + operaciones bsicas y su relacin de orden, basndonos en los nmeros naturales. Designemos por Z al conjunto de + + los naturales positivos, es decir, Z = {1, 2, 3,. . .}. Definamos Z del siguiente modo: por cada elemento n de Z , fabriquemos un nuevo elemento anteponindole el signo ; es decir, consideremos n. El conjunto de todos los + elementos as obtenidos conforme n vara en Z es precisamente Z . O sea, + Z = {n: n Z } = {1,2,3,4, . . .}

CARINA RAMOS
Ahora estamos en condiciones de escribir lo que es el conjunto Z de los nmeros enteros, con sus operaciones bsicas y su relacin de orden usual (que resultarn coherentes con las de los nmeros naturales, en el caso en que los operandos sean nmeros naturales): Z = Z N = Z {0} Z+ = {. . . ,3,2,1, 0, 1, 2, 3, . . .}

1. Suma: Sean z1 y z2 dos enteros. a) Si ambos son naturales, usamos la suma habitual de nmeros naturales. b) Si ambos estn en Z, digamos z1 = n1 y z2 = n2 para n1, n2 Z+, es z1 + z2 = (n1 + n2). c) Si uno est en N y el otro en Z, digamos z1 = n1 y z2 = n2 para n1 N y n2 Z+, distinguiremos dos casos: 1) Si n1 n2, entonces z1 + z2 = n1 n2 (la resta de ambos nmeros naturales). 2) Si n1 < n2, entonces z1 + z2 = (n2 n1). 2. Producto: Sean z1 y z2 dos enteros. a) Si al menos uno de ellos es 0, el producto es 0. b) Si ambos son naturales, usamos el producto habitual de nmeros naturales. c) Si uno est en Z+ y el otro en Z, digamos z1 = n1 y z2 = n2 para n1 N y n2 Z+, entonces z1z2 = (n1n2). d) Si ambos estn en Z, digamos z1 = n1 y z2 = n2 para n1, n2 Z+, es z1z2 = n1n2. Si z Z, z representa a (1) z, teniendo entonces que 0 = 0 y que (z) = z. 3. Orden: Sean z1 y z2 dos enteros. a) Si ambos son naturales, los comparamos con el orden usual de los naturales. b) Si uno est en N y el otro en Z, es mayor el natural. c) Si ambos estn en Z, digamos z1 = n1 y z2 = n2 para n1, n2 Z+, ser n1 n2 si n1 n2 (en esta ltima, estamos empleando el orden usual de los naturales). Los enteros menores que 0 se llaman enteros negativos, y los mayores que 0, enteros positivos.
El mdulo o valor absoluto de un entero z se denota, como usualmente, por |z|, y vale z si z 0, y z si z < 0. Todas las propiedades conocidas acerca del mdulo de nmeros reales valen, por supuesto, para el conjunto de los enteros. 3. La divisin de nmeros naturales Citando a T. Hibbard, el mejor modelo de un nmero natural es una fila de palos (o de caramelos, o de personas). Sumar dos naturales equivale a poner las dos respectivas filas una a continuacin de la otra y contar cuntos palos quedan en total. La resta a b (con a b) quiere decir sacar de la fila de palos de a una cantidad de palos igual a los que haya en b, y ver cuntos quedan. Multiplicar a por b equivale a hacer b copias de los palos de a, una copia a continuacin de la otra, y ver cuntos palos quedan en total. Vamos con la divisin ahora. Dividir conlleva la idea de repartir, o distribuir. En la divisin de nmeros naturales, se trata de distribuir los caramelos que haya en una bolsa llamada dividendo entre los individuos que componen el divisor (se supone que hay siempre al menos un individuo all) de la manera ms equitativa posible, pero sin partir los caramelos (ni por la mitad, ni de ninguna otra forma). Cmo se hace entonces eso? Supongamos que hay a caramelos y b receptores. El sentido comn nos dice que primero veamos si hay suficientes caramelos para dar al menos uno a cada uno de los b personajes (o sea, que veamos si a b). 1. Si no es as, ya est lista la repartija: ninguno de los individuos recibe nada, es decir, reciben 0 caramelos cada uno. 2. Si fuese a b, pues bien, demos un caramelo a cada uno. Entonces, hasta el momento, cada individuo habr recibido 1 caramelo, y quedarn por distribuir a b caramelos. El sentido comn nos dice que primero veamos si entre esos a b caramelos, hay suficientes como para dar al menos uno a cada uno de los b personajes (o sea, que veamos si a b b). a) Si no es as, ya est lista la repartija: cada individuo se queda con 1 caramelo que le ha sido entregado en la primera vuelta.

CARINA RAMOS
b) Si fuese a b b, pues bien, demos un caramelo a cada uno. Entonces, hasta el momento, cada individuo habr recibido 2 caramelos, y quedarn por distribuir a2b caramelos. El sentido comn nos dice... Y as seguimos (recursivamente!) hasta que, despus de haber entregado caramelos a cada uno en sucesivas rondas, la cantidad remanente no alcance para dar un caramelo ms a cada uno. El cociente de la divisin entre a y b es la cantidad de caramelos que ha sido posible entregar a cada individuo, y el resto de la divisin entre a y b es esa cantidad remanente que ya no alcanza para dar una ronda ms de caramelos a los participantes. Obviamente, multiplicando el cociente por el divisor y sumando el resto obtenemos el dividendo. Dicho de otro modo, en trminos de palos, empaquetamos de a b elementos los palos en la fila de palos que corresponde a a (dejando sueltos a los palos que ya no alcancen para formar un nuevo grupo de b elementos). La cantidad de paquetes completos que hayamos podido hacer corresponde al cociente, y la cantidad de palos sueltos no empaquetados corresponde al resto de la divisin entre a y b. El sentido comn nos dice que vamos a poder dividir cualquier a N por cualquier b N{0}, obteniendo un cociente y un resto, y que esos nmeros obtenidos sern nicos independientemente de si a la repartija la hago yo hoy, o yo maana, o mi to pasado maana. Es decir, hay una nocin intuitiva de existencia y de unicidad del cociente y resto de una divisin entre nmeros naturales. Formalicemos todas estas nociones intuitivas. (TEOREMA DE LA DIVISIN DE NMEROS NATURALES) Sean a y b dos nmeros naturales, con b 0. Existe un nico par de nmeros naturales c y r con r < b tales que a = cb + r. Definicin: Sean a y b nmeros naturales, con b 0. Los nicos nmeros naturales c y r tales que a = cb+r con r < b se denominan, respectivamente, cociente y resto de la divisin entre a y b, denotados c (a, b) y r (a, b). DIVISIBILIDAD EN EL CAMPO DE LOS NATURALES. Definicin: Sean a y b dos naturales, con b 0. Se dice que b divide a a si el resto de la divisin entre a y b es 0. Proposicin: Sean a y b naturales no nulos. Si b | a, entonces es b a. Proposicin: Sean a1 , a2 y b naturales, y supongamos que b | a1 y que b | a2 (es decir, supongamos que b es un divisor en comn que tienen a1 y a2). Entonces, b | xa1 + ya2 cualesquiera sean los naturales x e y. Es decir, b divide a cualquier combinacin lineal a coeficientes naturales de a 1 y de a2. Proposicin. Sean a1, a2 y b naturales tales que b | a1. Se tiene que b | a1 + a2 si, y slo si, b | a2. 4. La divisin de nmeros enteros En el campo de los nmeros naturales, dividir el natural a por el natural no nulo b comienza por buscar el mltiplo de b ms grande que no supera a a. Tal mltiplo debe ser cb para c N. Entonces c es el cociente entre a y b. El resto se determina haciendo r = acb. Trasladaremos esta misma idea al campo de los nmeros enteros, a fin de definir divisin en Z. Para eso, digamos que dado b Z, con b 6= 0, el conjunto de mltiplos de b es {kb : k Z}. Debe notarse que este conjunto no tiene cota superior ni inferior. Supongamos que deseamos dividir el entero a por el entero no nulo b. Para nosotros, eso va a significar buscar el mayor mltiplo de b que no supere a a, digamos que sea cb, para algn c Z. Hagamos r = a cb. Entonces, c es el cociente y r el resto de la divisin entre a y b. Est claro que, en caso de ser a y b naturales, la divisin entera entre a y b coincide con la divisin natural entre ellos. Veamos los siguientes ejemplos: 1. 2. a = 10 y b = 3. Los mltiplos de 3 que circundan a 10 son 9 y 12. El mayor mltiplo de b que no supera a a es 9 = (3) (3) = (3) b. Por lo tanto, el cociente es c = 3. El resto es r = a cb = 10 (3) (3) = 1. a = 10 y b = 3. Los mltiplos de 3 que andan cerca de 10 son 12 y 9. El mayor mltiplo de b que no supera a a es 12 = (4) 3 = (4) b. Por lo tanto, el cociente es c = 4. El resto es r = a cb = 10 (4) 3 = 2. a = 10 y b = 3. Los mltiplos de 3 ms cercanos a 10 son 12 y 9. El mayor mltiplo de b que no supera a a es 12 = 4 (3) = 4b. Por lo tanto, el cociente es c = 4. El resto es r = a cb =10 4 (3) =2.

3.

CARINA RAMOS
4. a = 12 y b = 3. Los mltiplos de 3 en las cercanas de 12 son 9, 12, 15. El mayor mltiplo de b que no

supera a a es 12 = (4) (3) = (4) b. Por lo tanto, el cociente es c = 4. El resto es r = a cb = 12 (4) (3) = 0.
5. a = 0 y b = 3. Los mltiplos de 3 ms cercanos a 0 son 3, 0, 3. El mayor mltiplo de b que no supera a a es 0 = 0 (3) = 0b. Por lo tanto, el cociente es c = 0. El resto es r = acb = 00 (3) = 0. Todo lo dicho anteriormente a nivel intuitivo sirve para comprender mejor el teorema de la divisin de enteros, que enunciamos a continuacin, y cuya demostracin es muy similar a la del teorema de la divisin de naturales.

(Teorema de la divisin de nmeros enteros) Sean a y b dos nmeros enteros, con b 0. Existe un nico par de nmeros enteros c y r con 0 r < |b| tales que a = cb + r. Definicin. Sean a y b nmeros enteros, con b 6= 0. Los nicos nmeros enteros c y r tales que a = cb + r con 0 r < |b| se denominan, respectivamente, cociente y resto de la divisin entre a y b, denotados c (a, b) y r (a, b).

Podemos calcular el cociente y resto de la divisin de los enteros a y b con el auxilio del algoritmo de la divisin de nmeros naturales. Observemos que |a| y |b| son siempre nmeros naturales, as que existen naturales c y r tales que |a| = c |b| + r con 0 r < |b|. El desafo es ahora ver cmo usar ese c y ese r para encontrar cociente y resto de la divisin entre a y b.
1. Supongamos que es a 0 y b < 0. Entonces, es a = c (b) + r = (c) b + r, con 0 r < |b|. Luego, el cociente entre los enteros a y b es el opuesto del cociente entre los naturales |a| y |b|, y el resto es el mismo. 2. Supongamos que es a < 0 y b > 0. Entonces, es a = cb + r, con 0 r < |b|. Operando, tenemos que a = (c) b r.

a) Si fuese r = 0, tenemos a = (c) b, por lo que el cociente entre los enteros a y b sera c, y el resto 0. b) Si fuese r > 0, es a = (c) b r + b b = (c 1) b + (b r). Como era 0 < r < b, tenemos que
0 b r < b. Luego, el cociente entre los enteros a y b es c 1, y el resto es b r. 3. Supongamos que es a < 0 y b < 0. Entonces, es a = c (b) + r, con 0 r < |b|. Operando, tenemos que a = cb r.

a) Si fuese r = 0, tenemos a = cb, por lo que el cociente entre los enteros a y b sera c, y el resto 0.
b) Si fuese r > 0, es a = cb r + b b = (c + 1) b + (b r). Como era 0 < r < b, tenemos que 0 b r < b = |b|. Luego, el cociente entre los enteros a y b es c + 1, y el resto es b r. Divisibilidad en el campo de los enteros. Extenderemos ahora el concepto de divisibilidad visto para nmeros naturales, al conjunto de los nmeros enteros, con obvias modificaciones. Definicin. Sean a y b dos enteros, con b 0. Se dice que b divide a a si el resto de la divisin entre a y b es 0.

Seguimos usando frases como es factor de, o es divisor de, o es mltiplo de, o es divisible por, y tambin usamos la notacin b | a (sobreentendiendo que con b 0). Del teorema de la divisin de enteros, surge que, para b 0, b | a c Z: cb = a 0 no divide a ningn entero. Adems, cualquier entero no nulo divide a 0 ( a Z {0} , 0 = 0 a), 1 y 1 dividen a cualquier entero (a Z, a = a 1a = (a) (1)), y cualquier entero a 0 es divisible por s mismo y por su opuesto (a Z {0} , a = 1 a a = (1) (a)). Se sigue cumpliendo la transitividad de la relacin ser divisible por. Una propiedad importante, pues nos permitir ignorar los signos a la hora de verificar divisibilidad entre enteros, es la siguiente Proposicin. Sean a y b enteros, con b 0. Se tiene que b | a si, y slo si, |b| |a|.

CARINA RAMOS Veamos ahora otras propiedades de la divisibilidad, correlato de las correspondientes propiedades de la divisibilidad en naturales. Proposicin. Sean a y b enteros no nulos. Si b | a, entonces es |b| |a|. Entonces deducimos que todo entero no nulo tiene una cantidad finita de factores, la mitad de ellos es positiva y la otra mitad negativa. Proposicin. Supongamos que a y b son enteros tales que b | a y que a | b. Entonces es a = b o a = b.
5. Nmeros primos y compuestos Sea a un nmero entero. Para l, podemos elaborar su conjunto de divisores, es decir, el conjunto {b Z : b | a}. Ese conjunto de divisores nunca es vaco: al menos 1, 1 estn all, y si adems es a 0, a y a tambin estn. Un factor de a que no es 1, ni 1, ni a ni a, se llama DIVISOR PROPIO de a. Los nmeros 1 y 1 (y a y a, si a 0) son los DIVISORES IMPROPIOS de a. Notar que el mdulo de un divisor propio es al menos 2, y si a 0, menor que |a|. Ejemplo 2.28. El conjunto de divisores de 4 est compuesto por 4, 2, 1, 1, 2 y 4. El nmero 4 posee, adems de sus divisores impropios, los divisores propios 2 y 2. _ Ejemplo 2.29. El conjunto de divisores de 5 est compuesto por 5, 1, 1 y 5. Ento nces, el 5 no posee divisores propios. EL CONJUNTO DE LOS NMEROS ENTEROS. DIVISIBILIDAD En base a la cantidad de elementos que tenga el conjunto de divisores de un nmero, ste puede ser clasificado en dos categoras. Definicin. Se dice que un entero es un nmero primo si su conjunto de divisores consta exactamente de cuatro elementos. Un entero se llama compuesto si su mdulo es mayor que 1 y no es un nmero primo. Veamos algunos ejemplos: 1. 0 no es un nmero primo pues posee infinitos divisores, y no exactamente cuatro. Tampoco es un nmero compuesto. 2. 1 no es un nmero primo pues su conjunto de divisores consta de slo dos elementos, 1 y 1. Tampoco es un nmero compuesto. Lo mismo vale para 1. 3. 2 es primo, pues su conjunto de divisores es {2,1, 1, 2}, es decir, tiene exactamente cuatro miembros. Igualmente, 2 es primo. 4. 3 y 3 son primos, pues el conjunto de divisores es {3,1, 1, 3} y entonces consta de exactamente cuatro elementos. 5. 4 no es primo, pues su conjunto de divisores es {4,2,1, 1, 2, 4}, que no consta de exactamente cuatro elementos, sino de seis. Entonces, 4 es un nmero compuesto, as como 4. De la definicin, se desprende que, para a Z, a es primo (|a| > 1 a no tiene divisores propios) Ya que b | a si, y slo si, b | a, se deduce que el conjunto de divisores que tiene un nmero a es el mismo que el conjunto de divisores de a. Por eso, un nmero a es primo si, y slo si, a es tambin primo. Ya que b | a si, y slo si, b | a, para detectar si un nmero entero a es pri mo, alcanza con ver su conjunto de divisores positivos: a es primo si, y slo si, tiene exactamente dos divisores positivos. Pruebas de primalidad. Desde hace mucho tiempo, los nmeros primos han concentrado el inters de los matemticos. Hay muchas cuestiones relativas a ellos que los hacen particularmente atractivos. Primero, dado un nmero cualquiera, como por ejemplo 123.456.787, cmo decidir si es primo? Segundo, cul es el primo ms grande? O ser que la cantidad de primos es infinita, y por tanto no hay uno que sea mayor que todos los otros? Tercero, hay primos de la forma 2n 1 para n natural? En caso de haberlos, son infinitos? Para la primera pregunta, se han ideado tests de primalidad, es decir, algoritmos para decidir si un dado nmero es primo o no. Ya veremos algunos bsicos. El segundo grupo de preguntas ha sido ya contestado, alrededor del ao 300 a.C., por el griego Euclides y ms adelante veremos cmo procedi para contestar. La ltima pregunta del tercer grupo es slo un ejemplo de los abundantes problemas abiertos que al da de la fecha se encuentran sin resolver en relacin a los nmeros primos. Hay efectivamente primos de la forma 2n1 (probar con n = 5) pero an no se sabe si hay infinitos primos de tal forma. Y as como sta, hay muchsimas cuestiones sin resolver. Por qu interesa saber si un nmero dado es o no primo? Ms adelante veremos que los nmeros primos son bsicos en cierto sentido, es decir, son como los ladrillos que constituyen el muro de la teora de nmeros.

CARINA RAMOS
Entonces los nmeros primos tienen un gran inters terico. Pero tambin prctico: los mtodos actuales de seguridad para proteger sistemas suelen basar esa seguridad en el conocimiento de nmeros primos muy pero muy grandes (de alrededor de 200 o 300 dgitos, o ms). Cmo saber si un nmero entero a es primo? Sabemos que a es primo si, y slo si, |a| es primo, as que podemos idear un procedimiento para testear si un natural n es primo. Por la definicin, y por el hecho de que un nmero natural no tiene divisores mayores que l, hay que testear si n posee un divisor entre 2 y n 1. Es decir, probar si 2 | n, si 3 | n, ..., si n 1 | n. Si alguna de esas divisibilidades se cumple, entonces n no es primo, y, en caso contrario, s. 2. Pero podemos ahorrar an ms trabajo. Cul es el divisor propio ms grande que puede tener 1.891? Claro que no va a ser 1.890, porque 1.890 2 ya es mucho mayor que 1.891, y peor si lo multiplicamos por 3, o 4, etc. En realidad, estamos viendo que el mayor divisor propio que puede tener un natural n 2 no puede ser ms grande que la mitad de n (o la mitad de n1, si n es impar). Esto nos ahorrara la mitad de la mitad del trabajo: despus de haber probado si |a| es par, buscar factores propios de |a| arrancando de 3 y yendo de dos en dos, hasta llegar a la mitad de |a|. Si hasta all no hemos encontrado factores propios, a debe ser primo. Sin embargo, ahora veremos que no es necesario ni siquiera llegar a probar hasta la mitad de |a| para comprobar si a es primo. Existe una mejor cota para la decisin. Resulta que, para decidir si un natural n es primo, alcanza con buscar factores propios hasta la parte entera del 2 nmero real n, es decir, el mayor nmero natural q tal que q n. Por ejemplo, en el caso de n = 1.891, tenemos que 432 = 1.849 1.891, mientras que 442 = 1.936 > 1.891, y por lo tanto, para testear la primalidad de 1.891, alcanza con buscarle factor hasta el nmero 43. Por qu esto funciona bien? Proposicin 2.31. Sea n un nmero natural mayor que 1, y sea q el mayor natur al tal que q2 n. Si n no tiene factores propios menores o iguales que q, entonces n es un nmero primo. Entonces, gracias a esta proposicin, podemos poner como cota superior (nmero ms grande de un intervalo) de bsqueda de factores propios a la parte entera de n (o, equivalentemente, preguntar directamente si el factor que estamos testeando tiene cuadrado que supera a n) Elaborar una lista con todos los nmeros primos que no superen a la parte entera de n. n es primo si, y slo si, ningn nmero de esa lista es factor de n. Por ejemplo, los primos menores o iguales que 100 son 2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, 67, 71, 73, 79, 83, 89, 97 Esa lista alcanza para decidir si un natural n 10.000 es o no primo. Por ejemplo , 8.633 no es primo, pues es divisible por 89. El nmero 9.973 es primo pues no es divisible por ningn elemento de esa lista. La lista no alcanza para saber si 100.001 es o no primo, pues la parte entera de 100.001 es 316, y entonces, para saber si 100.001 es primo, hace falta la lista de todos los primos que no superan a 316. Si queremos saber si un nmero de 30 cifras es primo, por este criterio hace falta conocer los primos que tengan hasta 15 dgitos. 5.2. La criba de Eratstenes. Acabamos de ver que, para ciertos objetivos, es muy til tener una lista con todos los naturales primos hasta un cierto lmite superior N. Por ejemplo, eso sirve para testear eficientemente la primalidad de cualquier nmero menor que N2. Cmo se puede elaborar sistemticamente tal lista? Una manera es invocar al algoritmo primo (a) muchas veces, con todos los nmeros naturales hasta N, a ver cules son primos. Eso va a tardar mucho tiempo. Resulta que en el siglo III a.C., a un griego de nombre Eratstenes se le ocurri una muy buena idea: en vez de ver cules nmeros menores o iguales que N son primos, averiguar cules son compuestos. De entrada, parece ser lo mismo que averiguar cules son primos, pero resulta que no, y la explicacin est en el procedimiento que se emplea para detectar a los nmeros compuestos. El procedimiento es as: 1. Escribir los nmeros del 2 al N en forma consecutiva (sta es nuestra lista inicial) 2. A partir de 2, vamos tachando todos los nmeros de dos en dos (hasta llegar al final de la lista), pero sin tachar al propio 2. 3. El primer nmero que qued sin tachar despus de 2 es 3. Entonces, a partir de 3, vamos tachando todos los nmeros de la lista inicial de tres en tres, pero sin tachar al propio 3 (si un nmero ya haba sido tachado en el paso anterior, lo dejamos tachado como estaba). 4. El primer nmero que qued sin tachar despus de 3 es 5 (al 4 ya lo habamos tachado cuando fuimos de dos en dos desde el 2). Entonces, a partir de 5, vamos tachando todos los nmeros de la lista inicial de cinco en cinco, pero sin tachar al propio 5 (y dejando tachados a los nmeros que ya estaban tachados en el paso anterior).

CARINA RAMOS
5. El primer nmero que qued sin marcar despus de 5 es 7 (al 6 ya lo habamos tachado cuando fuimos de dos en dos desde el 2, y lo volvimos a tachar cuando fuimos de tres en tres desde el 3). Entonces, a partir de 7, vamos tachando todos los nmeros de la lista inicial de siete en siete, pero sin tachar al propio 7. 6. El primer nmero que qued sin tachar despus de 7 es 11 (al 8 y al 10 ya los habamos tachado cuando fuimos de dos en dos desde el 2, y al 9 lo hemos tachado cuando fuimos de tres en tres desde el 3). Entonces, comenzando en 11, vamos tachando todos los nmeros de la lista inicial de once en once, pero sin tachar al propio 11. Y as continuamos, viendo cul es el primer nmero sin tachar a la derecha del cual empezamos en el paso anterior, y vamos de a saltos tachando nmeros de la lista inicial. Repetimos este procedimiento hasta que lleguemos a que el primo a partir del cual tenemos que comenzar el proceso supera a la parte entera de N. Los nmeros de la lista inicial que han quedado sin tachar son los primos menores o iguales que N. Qu es lo que estamos haciendo con este procedimiento? El primer paso consiste en escribir la lista completa de nmeros del 2 al N. En el paso siguiente, estamos averiguando todos los nmeros compuestos de esa lista que tienen a 2 como factor. En el siguiente, todos los compuestos de la lista que tienen a 3 como factor. En el siguiente, todos los compuestos que tienen a 5 como factor. Y as, hasta llegar a parte entera de N. Una criba es un colador (claro que nos resultara raro que m nos diga ayudame a cribar los fideos que acaban de hervir en la olla, pero no nos asustaramos si nos pide ayudame a colar los fideos). En el procedimiento anterior, lo que estamos haciendo es cribar los nmeros de 2 a N, repetidas veces, a fin de eliminar los compuestos y retener slo los primos. Al tachar los compuestos mltiplos de 2, estamos cribando los mltiplos de 2, reteniendo slo a 2, y a todos los otros nmeros que no son mltiplos de 2; de ellos, al tachar los compuestos mltiplos de 3, estamos cribando los mltiplos de 3, reteniendo slo a 2, a 3, y a los que no son mltiplos de 2 ni de 3. Y as, sucesivamente, por deteccin y tachado de los nmeros compuestos de la lista, nos quedamos slo con los primos. Ejemplo 2.32. Apliquemos el mtodo de la criba de Eratstenes para encontrar los primos menores o iguales que N = 49. Mostramos paso a paso el procedimiento: 1. Lista inicial: 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 2. Primer cribado (tachar los compuestos que son mltiplos de 2, salvo el propio 2): 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 3. Segundo cribado (tachar los compuestos que son mltiplos de 3, salvo el propio 3): 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 4. Tercer cribado (tachar los compuestos que son mltiplos de 5, salvo el propio 5): 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 5. Cuarto cribado (tachar los compuestos que son mltiplos de 7, salvo el propio 7): 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 Y ya no hace falta cribar ms, porque el prximo nmero a partir del cual habra que empezar el proceso es 11, que ya es mayor que la parte entera de 49 que es 7. Los nmeros que no tienen marca abajo son los primos de la lista: 2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43 y 47. _ Lema: Todo nmero natural compuesto es divisible por un natural primo . Teorema (Euclides) Existen infinitos nmeros enteros que son primos .

MXIMO COMN DIVISOR. MNIMO COMN MLTIPLO

1. Mximo comn divisor Definicin: Sean a y b nmeros enteros. Cualquier nmero entero que simultneamente divide a a y a b se llama un divisor comn de a y b. Es decir, d Z es un divisor comn (o factor comn) de a y de b si d | a y d | b.

CARINA RAMOS
Una manera de encontrar factores comunes a a y a b es obtener la lista de divisores de ambos, y fijarse cules son los elementos que estn en ambas listas. Si tanto a como b son 0, las dos listas son coincidentes e infinitas. Si al menos uno de los dos es diferente de 0, de la proposicin 2.24, deducimos que ese nmero no nulo tiene slo una cantidad finita de factores, y, en este caso, la lista de factores comunes a ambos es finita. Por razones que se harn evidentes ms adelante, interesa mucho conocer cul es el mayor de los elementos de esa lista finita. Definicin. Sean a y b nmeros enteros tales que al menos uno de ellos sea diferente de 0. El mximo comn divisor de a y b, denotado mcd (a, b), es el mayor de los divisores comunes de a y b. Obsrvese que la lista de divisores comunes de dos nmeros nunca es vaca: al menos el nmero 1 siempre est all. Adems, ya dijimos que la lista de divisores comunes es finita si al menos uno de los nmeros es diferente de 0. Entonces, si a y b no son ambos nulos, el conjunto de sus divisores comunes es no vaco y finito. Por eso, debe tener un elemento mximo, y, por definicin de mximo de un conjunto, es nico. En otras palabras, el mximo comn divisor de una pareja de nmeros no simultneamente nulos siempre existe y es nico, y es un nmero entero positivo. Cuando dos nmeros a y b tienen un factor propio t en comn, se tiene que su mximo comn divisor es mayor estricto que 1, pues, en ese caso, es mcd (a, b) |t| 2. Por lo tanto, si mcd (a, b) = 1 es porque ningn nmero ms grande que 1 es factor comn de a y b. Esta situacin recibe un nombre especial. Definicin. Sean a y b dos nmeros enteros. Se dice que a y b son coprimos si no tienen factor comn ms grande que 1. Equivalentemente, a y b son coprimos cuando mcd (a, b) = 1 . Proposicin. Sea p un primo, y sea a un entero. Entonces o bien p es un factor de a o bien p y a son coprimos. Cmo se calcula mcd (a, b)? De la definicin, elaborando la lista de factores de a, luego la de b, obteniendo luego los factores comunes, y finalmente viendo cul es el mximo de ellos. Ntese que, a la hora de encontrar el mximo comn divisor por este mtodo, nos alcanza con inspeccionar slo los factores comunes positivos. Adems, dado que la lista de factores comunes de a y b es la misma que la de factores comunes de |a| y |b|, se tiene que mcd (a, b) = mcd (|a| , |b|), y por esta razn es suficiente saber calcular mximo comn divisor de pares de nmeros naturales. Ejemplo 3.5. Encontrar mcd (84, 60). El conjunto de factores positivos de 84 es {1, 2, 3, 4, 6, 7, 12, 14, 21, 28, 42, 84}. El conjunto de factores positivos de 60 es {1, 2, 3, 4, 5, 6, 10, 12, 15, 20, 30, 60}. La interseccin de estos dos conjuntos es {1, 2, 3, 4, 6, 12}, cuyo mximo elemento es 12. Luego, mcd (84, 60) = 12. Como pasa muchas veces, las definiciones no proporcionan el mejor mtodo para calcular algo. Una primera mejora que podramos hacer al mtodo anterior para calcular mcd (a, b) es la siguiente: considerar slo la lista de divisores positivos del ms chico entre |a| y |b|, y, de mayor a menor, testear si son divisores del otro tambin, parando cuando encontremos uno (cosa que siempre va a ocurrir, en el peor de los casos cuando lleguemos a 1). En nuestro ejemplo anterior, esto funcionara as: el ms chico entre 84 y 60 es 60. Su lista de divisores positivos, ordenada de mayor a menor, es {60, 30, 20, 15, 12, 10, 6, 5, 4, 3, 2, 1}. Es 60 factor de 84? No. Vamos con el siguiente de la lista: Es 30 factor de 84? No. Y 20? Tampoco. Y 15? Tampoco. Y 12? S. Entonces, mcd (84, 60) = 12. Algunas propiedades de M.C.D Teorema 3.13. Sean a y b enteros no ambos nulos, y sea d un entero. Se tiene que d = mcd (a, b) si, y slo si, d es un divisor comn positivo de a y de b que es divisible por todos los divisores comunes de a y b. Teorema 3.14. Sean a y b enteros no ambos nulos, y sea d un nmero natural. Se tiene que mcd (a, b) = d si, y slo si, existen enteros c1 y c2 coprimos tales que a = c1d y b = c2d. Teorema 3.17. Sean a y b dos enteros no ambos nulos, y sea m un entero positivo. Entonces, mcd (m a,m b) = m mcd (a, b) Corolario 3.18. Si d es un factor comn positivo de a y b, entonces

Teorema 3.20. Sean a, b y m enteros con m 6= 0. Si m | ab y m es coprimo con b, entonces m | a.

CARINA RAMOS

2. Mnimo comn mltiplo

En muchas aplicaciones, se tiene una lista a1, . . . , an de nmeros enteros todos distintos de 0, e interesa encontrar otro entero que sea mltiplo simultneamente de todos ellos. Por ejemplo, cuando se desea hacer una suma de nmeros racionales que estn expresados como cocientes de enteros. A los efectos de no sobrecargarnos con clculos tediosos, siempre tratamos que ese mltiplo en comn sea lo ms pequeo posible. Definicin 3.32. Dados dos enteros a y b ambos no nulos, un mltiplo comn a a y b es cualquier nmero que es divisible simultneamente por a y por b. Es decir, c es mltiplo comn de a y b si a | c y b | c. El menor de todos los mltiplos comunes positivos de a y b se denomina mnimo comn mltiplo de a y b, y se denota por mcm(a, b). Veamos que la definicin tiene sentido: si a 0 y b 0, entonces |ab| > 0 y |ab| es divisible por a y por b. Entonces, el conjunto de los mltiplos comunes positivos de a y b es un subconjunto no vaco de N, y entonces, por el PBO, mcm(a, b) es un nmero bien definido. Obsrvese que 0 es siempre un mltiplo comn de a y b, pero no cuenta a la hora de calcular el mnimo comn mltiplo de a y b, pues, por definicin, siempre es mcm(a, b) > 0. Adems, por lo que acabamos de decir, siempre es mcm(a, b) |ab|. Ejemplo 3.33. Calcular mcm (18, 12). Podemos empezar observando que los mltiplos positivos de 18 son 18, 36, 54, 72, 90, 108, 126, 144,. . . y que los de 12 son 12, 24, 36, 48, 60, 72, 84, 96, 108, . . . Los mltiplos positivos comunes a ambos son 36, 72, 108, . . ., de los cuales el menor es 36. Por lo tanto, mcm (18, 12) = 36. _ En el ejemplo hemos empleado un algoritmo poco eficiente: el de elaborar la lista de mltiplos de ambos, hacer la interseccin y ver el elemento mnimo. En mucho, esto se parece a la bsqueda de mcd (a, b) por elaboracin de listas de factores comunes. Afortunadamente, hay otras maneras, mucho ms eficientes, para calcular mcm(a, b). Notemos que mcm(a, b) = mcm (|a|, |b|) (proposicin 2.23), as que alcanza con saber calcular mnimo comn mltiplo de enteros positivos. Teorema 3.34. Sean a y b enteros no nulos, y sea h un entero. Se tiene que h = mcm(a, b) si, y slo si, h es un mltiplo comn positivo de a y b que es un factor de cualquier mltiplo comn de a y b. Teorema 3.35. Sean a y b enteros no nulos, y sea m un entero positivo. Se tiene que mcm (m a, m b) = m mcm(a, b). Obtencin del M.C.M. a partir del M.C.D. Los siguientes resultados proporcionan una manera eficiente de calcular mcm(a, b) (siempre que sepamos calcular eficientemente mcd (a, b)). Lema 3.36. Sean a y b enteros no nulos coprimos. Entonces, mcm(a, b) = |ab| Teorema 3.37. Sean a y b enteros no nulos. Se tiene que

EL TEOREMA FUNDAMENTAL DE LA ARITMTICA El Teorema Fundamental nos guiar a nuevos criterios de divisibilidad y de bsqueda de mximo comn divisor y mnimo comn mltiplo. Tambin nos dar pistas sobre cuntos divisores puede tener un nmero, sobre la posibilidad de resolver en racionales ciertas ecuaciones polinmicas (como por ejemplo saber si la raz cuadrada de un primo 2 2 2 puede ser racional) o, ms generalmente, cules son todas las soluciones en N de ecuaciones tales como x + y = z . Factorizacin de nmeros naturales: existencia y unicidad Consideremos como universo de trabajo el conjunto de los nmeros naturales. Podemos expresar al nmero 60 como producto de factores de ese universo, vale decir, podemos factorizar a 60 en el universo de los naturales? Dicho de otro modo, podemos dar una sucesin finita de nmeros naturales tal que multiplicando todos los nmeros de esa sucesin obtengamos 60? Por supuesto que s, y no slo una, sino varias de tales sucesiones, en las que varan tanto el nmero de factores intervinientes como el valor de los mismos. Por ejemplo: {4, 15} {15, 4} {20, 3} {20, 3, 1, 1} {3, 4, 5} {5, 1, 4, 3} { 1, 60} {60} Y hay varias ms. Algunas de ellas son muy parecidas entre s; otras constan de un nico trmino. Definicin 4.1. Sea m un nmero natural, y sea {p1, p2,. . ., pn} una sucesin finita de nmeros naturales (no necesariamente todos distintos) tal que m = p1p2 pn. Decimos entonces que la sucesin {p1, p2, . . . , pn} es una factorizacin de m.

CARINA RAMOS
O sea que una factorizacin de m no es ms que una lista de nmeros tales que, multiplicados entre s, producen m. Convendremos que multiplicar elementos de una lista unitaria produce como resultado el nico trmino de la lista. Representaremos a las factorizaciones de nmeros directamente sin comas que separen elementos; eventualmente usaremos el signo de multiplicacin (). Por ejemplo, 2 30 es una factorizacin de 60. Ntese que 4 15 y 15 4, si bien contienen los mismos factores, corresponden a disposiciones en diferente orden de los mismos; como sucesiones, {4, 15} y {15, 4} son distintas. Sin embargo, si nos independizamos del orden de los factores, ambas representan la misma manera de factorizar al 60. Definicin 4.2. Decimos que dos factorizaciones de un mismo nmero son la misma factorizacin (excepto por el orden de los factores) si una de ellas es una conmutacin de los factores de la otra. En caso contrario, las factorizaciones se dicen distintas. Dada una factorizacin {q1, q2, . . . , qn}, es posible siempre ordenar sus trminos en orden creciente, es decir, permutar sus trminos de modo que resulte una sucesin {p1, p2, . . . , pn} con p1 p2 pn (obsrvese que no pedimos estrictamente creciente, pues algunos factores pueden ser iguales). Dos factorizaciones son la misma si, y slo si, ordenando respectivamente sus trminos en orden creciente, producen la misma sucesin. Dos factorizaciones son distintas cuando la funcin identidad no establece una correspondencia biyectiva entre los trminos de cada una; puestas respectivamente en orden creciente, no producen la misma sucesin, ya sea porque difieren en longitud o en alguno de los trminos. Podemos expresar al nmero 60 como producto de factores primos? De todas las descomposiciones que hicimos ms arriba, la que ms se aproxima a eso es 60 = 3 4 5, a la que lo nico que le falla es que 4 no es primo. Pero no hay problema: 4 = 2 2, as que 60 = 3 2 2 5. Pudimos. Es decir, 60 es el producto de los nmeros primos que componen la sucesin finita {3, 2, 2, 5}. Otra descomposicin en primos para 60 es 2532, que es la misma que 3 2 2 5 excepto por el orden de los factores (si ordenamos ambas listas en orden creciente, llegamos a un mismo resultado: {2, 2, 3, 5}). Y lo mismo va a pasar con cualquier descomposicin en primos que hagamos del nmero 60, obviamente. Obviamente? Qu tan obviamente? Si estuviramos descomponiendo un primo, la cosa s es obvia: si p es un natural primo, p es el producto de todos los primos que componen la lista {p}, y no puede haber otra lista con otros primos pues p no tiene otros factores primos. Pero para los compuestos... Por un momento, consideremos como universo de trabajo el conjunto de los nmeros enteros positivos pares, {2, 4, 6, 8, . . .}, y llamemos primitivo a todo elemento de ese universo que no es expresable como producto de dos o ms factores de ese universo. Por ejemplo, 2 y 6 son primitivos, mientras que 4 no (4 = 2 2) y 8 tampoco (8 = 24). En general, son primitivos todos los nmeros de la forma 4k+2 con k N, es decir, son primitivos los nmeros 2, 6, 10, 14, . . ., y todos los otros resultan compuestos. Por un argumento inductivo, se puede demostrar que cualquier nmero de nuestro conjunto universal es factorizable como producto de primitivos. Pero, es nica esa factorizacin, an si disponemos los factores en orden creciente? No! Por ejemplo, 60 = 2 30 = 6 10. Hay dos factorizaciones distintas para 60 en el universo de los pares. El rol que juegan los nmeros primitivos en el caso de los nmeros pares es el mismo que el que juegan los primos en N, en cuanto a la posibilidad de factorizacin de cualquier elemento del respectivo universo. Qu nos garantiza entonces que en N la factorizacin en primos es nica? Con el ejemplo de los nmeros pares, confiamos en haber transmitido al lector la inseguridad que deben haber sentido hace aos los matemticos al respecto: estaremos en la misma situacin cuando hablamos de N con sus primos que cuando hablamos de los pares con sus primitivos? Es probable que esa inseguridad haya conducido a la bsqueda de una demostracin formal de la existencia y unicidad de factorizacin en primos. Lema 4.3. Sea p un natural primo, y sean a y b naturales. Supongamos que p | ab. Entonces p | a o p | b. Teorema 4.4. (Teorema Fundamental de la Aritmtica) Todo nmero natural mayor que 1 puede expresarse como producto de naturales primos (con, tal vez, un solo factor). La factorizacin es nica excepto por el orden de los factores. Algunas consecuencias del Teorema Fundamental Llamamos factorizacin cannica de un nmero natural a la descomposicin en factores primos del mismo en la que los primos que la componen estn ubicados en orden creciente. Es decir, la factorizacin cannica de un nmero tiene la forma p1p2 pk en donde p1, p2, . . ., pk son todos primos y 0 < p1 p2 pk. Del Teorema Fundamental se desprende directamente la existencia y unicidad de la factorizacin cannica de cualquier natural mayor que 1. Por ejemplo, la factorizacin cannica de 60 es 2235. Dado que varios factores de la

CARINA RAMOS
factorizacin cannica pueden ser iguales, es comn agruparlos y usar notacin de exponenciacin. De este modo, todo nmero a > 1 puede expresarse en su factorizacin cannica de la forma a = en donde p1, p2, . . ., pn son todos primos, 1, 2, n son todos naturales positivos y 0 < p 1 < p2 < < pn. 2 Cada i se denomina orden, o multiplicidad, del primo p i en a. Escrito de esta forma, 60 se expresa como 2 3 5, es decir, n = 3, 1 = 2, 2 = 1, 3 = 1, p1 = 2, p2 = 3 y p3 = 5. Lisa y llanamente, el Teorema Fundamental de la Aritmtica establece lo siguiente: dados dos nmeros a y b cuyas factorizaciones cannicas son, respectivamente se tiene que a = b si, y slo si, k = n, p1 = q1, p2 = q2, . . ., pn = qk, 1 = 1, 2 = 2, . . ., n = k. Es decir, dos nmeros son iguales si, y slo si, sus respectivas factorizaciones cannicas contienen exactamente los mismos primos y con las mismas multiplicidades. Si algn primo de una de las factorizaciones no aparece en la otra, o si aparece con otra multiplicidad, los nmeros a y b no pueden ser iguales. Mostramos un ejemplo del uso del Teorema Fundamental en la siguiente proposicin. 2.1. Divisibilidad a partir de la factorizacin. Cuando dos nmeros naturales estn expresados en su forma cannica pero con la posibilidad de que los exponentes sean 0, es muy fcil determinar si uno de ellos divide al otro. Teorema 4.7. Sean a y b dos naturales positivos cuyas factorizaciones en primos sean a= , 1, 2, n N b= , , N con p1, p2, . . ., pn primos, 0 < p1 < p2 < < pn. Se tiene que a divide a b, si y solo si i i para todo i {1, . . . , n}. 2.2. M. C. D. y M. C. M. a partir de la factorizacin. La factorizacin cannica (con exponentes pudiendo valer 0) de dos nmeros tambin permite el clculo casi inmediato de su mximo comn divisor y mnimo comn mltiplo. Teorema 4.9. Sean a y b dos naturales positivos cuyas factorizaciones en primos sean a= , 1, 2, n N b= , , N con p1, p2, . . ., pn primos, 0 < p1 < p2 < < pn. Se tiene que mcd (a, b) = mcm (a, b) = Cantidad de divisores Proposicin 4.10. Sea a= , 1, 2, n N con p1, p2, . . ., pn primos, 0 < p1 < p2 < < pn nmeros + naturales primos y 1, 2, n Z . Entonces, a posee exactamente ( 1 + 1) ( 2+ 1) ( n+ 1) divisores naturales. 3 1 Por ejemplo, 24 = 2 3 , de modo que 24 posee exactamente (3 + 1) (1 + 1) = 8 divisores naturales (y efectivamente los divisores de 24 son 1, 2, 3, 4, 6, 8, 12 y 24). Debe notarse que, aun cuando permitisemos que algunos exponentes de los primos en la factorizacin de a sean 0, la situacin no cambia, pues si algn i vale 0, el correspondiente factor i + 1 es 1, y no cambia la cantidad 3 1 0 0 calculada de divisores. Por ejemplo, aun escribiendo 24 = 2 3 11 23 , la cantidad de divisores naturales de 24 es (3 + 1) (1 + 1) (0 + 1) (0 + 1), es decir, sigue siendo 8.