You are on page 1of 31

Mdulo I Aritmtica de los nmeros enteros

Pgina 1 de 31

NMEROS ENTEROS
Introduccin
La teora de nmeros es la rama de las matemticas que estudia las propiedades de los nmeros, en particular los enteros, pero ms en general, estudia las propiedades de los elementos de Dominios Enteros (Anillos conmutativos con elemento unitario y cancelacin) as como diversos problemas derivados de su estudio. Segn los mtodos empleados y las preguntas que se intentan contestar, la teora de nmeros se subdivide en varias ramas. Pertenecen a la teora elemental de nmeros las cuestiones de divisibilidad, el algoritmo de Euclides, el mximo comn divisor, la factorizacin de los enteros como producto de nmeros primos, la bsqueda de los nmeros perfectos. Vamos a estudiar el sistema de los nmeros enteros, que por muchas razones constituyen el sistema matemtico ms fundamental. No vamos a demostrar que existe tal sistema, sino que ms bien suponemos que el lector tiene cierta experiencia con el mismo, y trataremos cierto nmero de propiedades fundamentales que cumple el sistema de los enteros y a partir de las cuales se puedan derivar todas las propiedades atribuidas a los mismos.

Algunas nociones preliminares


El conjunto de los nmeros reales puede representarse con la recta numrica. Todo nmero real puede ser representado por un desarrollo decimal finito o infinito. Por ejemplo, 2,402 y 15,223 son desarrollos decimales finitos, mientras que, por ejemplo 0,0002000020000002 y e = 2,71828... son desarrollos decimales infinitos. El conjunto es un cuerpo. Definicin 1: Una operacin binaria interna en un conjunto A no vaco es una aplicacin A A A. Es decir, si a, b A entonces (a, b) = a b A. Definicin 2: Un anillo es una terna ( A,+,) en la que A es un conjunto y + , son dos operaciones binarias internas en A denominadas multiplicacin y adicin, que se escriben, respectivamente, como un producto y una suma, y satisfacen las siguientes condiciones:

1. La suma es asociativa: a, b, c A (a + b) + c = a + (b + c) 2. La suma tiene elemento neutro: existe un elemento neutro 0 A al que llamaremos neutro aditivo de A tal que para todo a A se verifica a + 0 = 0 + a = a. 3. Elemento inverso aditivo: para cada a A existe b A tal que a + b = b + a = 0. Tal elemento es nico y se denomina inverso aditivo de a. 4. La suma es conmutativa: a, b A a + b = b + a. 5. El producto es asociativo: a, b, c A (a b) c = a (b c) 6. El producto es distributivo a derecha y a izquierda respecto de la suma: a, b, c A (a + b) c = a c + b c y c ( a + b) = c a + c b .

Lic. Parra, Vernica. CONICET. NIECyT. Departamento de Formacin Docente. Facultad de Ciencias Exactas. UNCPBA

Mdulo I Aritmtica de los nmeros enteros

Pgina 2 de 31

El elemento aludido en la condicin 2 ha de ser nico pues si existe otro elemento 0' A que cumple la misma condicin entonces 0 = 0 + 0' = 0'. Igualmente, para cada a A el elemento aludido en 3 es nico pues si existiera otro elemento d A que cumpliera la condicin en 3 entonces d = d + 0 = d + (a + b) = (d + a) + b = 0 + b = b. En general, al inverso aditivo de a se lo denota por a. Un anillo A es conmutativo si a b = b a para todos los elementos a, b A. Es decir, es conmutativo si la operacin producto es conmutativa. Un anillo A es unitario si existe un elemento 1 A tal que a 1 = 1 a = a para todo elemento a A . Dicho elemento 1 ha de ser nico, pues si existiera otro elemento 1' A que cumpliera lo mismo que 1 entonces 1 = 1 1' = 1'. A este elemento lo llamaremos identidad de A o neutro multiplicativo de A.
Ejemplo 1: 1. El conjunto con las operaciones suma y producto es un anillo conmutativo unitario. 2. El conjunto con las operaciones suma y producto es un anillo conmutativo unitario. 3. Definimos 2 = {2n : n } y lo dotamos de la suma y el producto de . Este es un anillo conmutativo y no unitario. Anlogamente, para cualquier entero positivo n podemos definir el anillo n.

Observemos que si en un anillo unitario A se cumple que 1 = 0 entonces cualquier a A cumple que a = a 1 = a 0 = 0 , luego A = {0}. Notemos que en cualquier anillo no trivial a 0 = 0 a = 0 , pero no es cierto en general que si a b = 0 uno de los factores haya de ser nulo. Vamos a dar una definicin que recoja este hecho.
Definicin 3: a) Sea A un anillo, decimos que a A es divisor del cero si a 0 y existe b A b 0 tal que a b = 0. b) Un anillo conmutativo que no tiene divisores del cero es un dominio de integridad o simplemente un dominio. c) En un anillo unitario A con neutro multiplicativo 1, decimos que un elemento u es una unidad si existe un elemento v tal que u v = v u = 1 . Tal elemento se llama inverso de u. El conjunto de todas las unidades de A se denota A*.

Observaciones: En , las nicas unidades son 1 y 1 . En general, en cualquier anillo unitario el neutro multiplicativo 1 es una unidad. Una propiedad muy importante de los dominios de integridad es que en ellos podemos simplificar elementos no nulos de las igualdades, es decir, si en un dominio de integridad tenemos que a b = a c y a 0 entonces b = c , pues a (b c) = 0 , luego b c = 0.
Ejemplo 2: 1. El anillo es un dominio de integridad. 2. p con p primo es un dominio de integridad, pero n no es un dominio de integridad si n no es primo. 3. El anillo [x] es un dominio de integridad.

Lic. Parra, Vernica. CONICET. NIECyT. Departamento de Formacin Docente. Facultad de Ciencias Exactas. UNCPBA

Mdulo I Aritmtica de los nmeros enteros

Pgina 3 de 31

Definicin 4: Un anillo conmutativo y unitario es un cuerpo si todo elemento distinto de 0 tiene un inverso multiplicativo.

El inverso multiplicativo de un elemento a es nico. Esto nos autoriza a denotarlo con un smbolo especial: a 1 . Es decir, si a 0 , a.a 1 = a 1.a = 1.
Teorema 1: Las leyes de cancelacin valen en si y slo si no no tiene divisores de 0, izquierdos ni derechos. Demostracin: Sea un anillo en el cul se cumplen las leyes de cancelacin. Supngase que a.b = 0 para algunas a, b . Debemos demostrar que a es cero o b es cero. Si a 0 , entonces a.b = 0 = a.0 implica que b = 0 , por las leyes de cancelacin. Anlogamente, b 0 implica que a = 0 , de modo que no puede haber divisores izquierdos ni derechos de 0 si las leyes de cancelacin se cumplen. Recprocamente, supngase que no tiene divisores izquierdos ni derechos de 0 y supngase que a.b = a.c con a 0 . Entonces,

a.b a.c = a(b c) = 0 Como a 0 y no tiene divisores de 0, debemos tener b c = 0 , de modo que b = c . Un argumento similar muestra que b.a = c.a con a 0 implica b = c . En un cuerpo no hay divisores de cero, es decir, todo cuerpo es un dominio de integridad. En efecto, supongamos que a 0 y existe b tal que a.b = 0 , entonces multiplicando ambos miembros por a 1 tenemos a 1.(a.b) = a 1.0 = 0 Luego, b = 0 pues por la asociatividad del producto, por la propiedad del elemento inverso de a y por la existencia del elemento neutro para el producto, tenemos a 1.(a.b) = (a 1.a).b = 1.b = b. As tenemos que dado a , su inverso para la suma (opuesto) es nico y lo notamos a y si adems a 0 , entonces a tiene tambin un nico inverso para el producto y lo 1 notamos a 1 1 a . a

En lgebra, los sistemas que verifican todas las leyes para adicin y producto que verifican los nmeros reales se llaman campos (o cuerpos). Dentro de se destaca un subconjunto muy interesante: el conjunto de los nmeros naturales. El conjunto de los nmeros naturales como subconjunto de , est definido por:
= { ,2 = 1 + 1,3 = 1 + 1 + 1,...} 1

Lic. Parra, Vernica. CONICET. NIECyT. Departamento de Formacin Docente. Facultad de Ciencias Exactas. UNCPBA

Mdulo I Aritmtica de los nmeros enteros Entonces verifica la ley de cierre para la suma:
1 +4+ ... + 1 + 1 +4+ ... + 1 = 1 +4+ ... + 1 3 3 3 1 1 24 1 1 24 1 1 24 n + m veces n veces m veces

Pgina 4 de 31

Tambin verifica la ley de cierre para el producto: el producto de dos naturales es otro natural, es decir, sumas de unos (1s) es otra suma de unos (1s):
1 +4+ ... + 1.1 +4+ ... + 1 = 1 +4+ ... + 1 3 3 3 1 1 24 1 1 24 1 1 24 n.m veces n veces m veces

Muchos textos definen al conjunto de nmeros naturales incluyendo al cero, pero debido a que los nmeros naturales surgen de la operacin de contar, preferimos la definicin dada aqu, es decir, sin incluir al cero. Los nmeros naturales heredan las operaciones de suma y producto, pero no son vlidas en este conjunto todas las leyes que describimos anteriormente. Analicemos cules de los axiomas son vlidos para todo a, b, c y cules no:
Ley o axioma Operacin adicin Operacin multiplicacin a, b a + b a, b a.b Cierre a.(b.c) = (a.b).c Asociativa a + (b + c) = (a + b) + c 1 Elemento neutro (Identidad) La adicin en no tiene elemento neutro. Elemento inverso (Inverso) No existe el inverso aditivo No existe elemento inverso multiplicativo para todos en . los elementos de . a+b =b+a a.b = b.a Conmutativa Distributiva a.(b + c) = a.b + a.c (La otra distributiva se deduce de la conmutatividad del producto)

El conjunto de los nmeros enteros


El conjunto, que denotaremos por , de los nmeros enteros como subconjunto de est formado por:
= {0} = {0,1,1,2,2,3,3,4,4,...}

Siendo el conjunto de los nmeros naturales y el conjunto formado por los inversos aditivos de los elementos de . El conjunto de los nmeros enteros verifica la mayora de las leyes (axiomas) que verifican los nmeros reales: 1. La suma y el producto son leyes de composicin internas en : a, b a + b a, b a.b 2. Ambas leyes son asociativas: a, b, c (a + b) + c = a + (b + c) a, b, c (a.b).c = a.(b.c)

Lic. Parra, Vernica. CONICET. NIECyT. Departamento de Formacin Docente. Facultad de Ciencias Exactas. UNCPBA

Mdulo I Aritmtica de los nmeros enteros

Pgina 5 de 31

3. Existen elementos neutro 0 y unidad 1 tales que: a 0 tal que a + 0 = 0 + a = a a 1 tal que a.1 = 1.a = a 4. Existen elementos opuestos o inversos aditivos: a a tal que a + (a) = (a) + a = 0 En general deja de verificarse el axioma de existencia de inversos para el producto (inverso multiplicativo), en el sentido que el inverso multiplicativo de un entero no necesariamente es un entero. 5. Ambas leyes son conmutativas: a, b a + b = b + a a, b a.b = b.a 6. El producto es distributivo respecto de la suma: a, b, c a.(b + c) = a.b + a.c 7. El producto posee la propiedad cancelativa: Si a 0 y a.b = 0 b = 0 Si a 0 y a.b = a.c b = c La ley de cancelacin puede demostrarse sin necesidad de considerar que un elemento no nulo en tiene inverso multiplicativo. En efecto, si a 0 y b 0 son enteros, resulta que a y b son nmeros naturales, por lo que si a.b = 0 entonces
0 = a.b = a . b 1 sera un absurdo.

Mencionaremos adems la propiedad reflexiva, antisimtrica y transitiva de los nmeros enteros: 8. Propiedad reflexiva: a a a 9. Propiedad antisimtrica: Dados a, b , si a b y b a a = b 10. Propiedad transitiva: Dados a, b, c , si a b y b c a c
Definicin 5: Sea S un subconjunto de . Se dice que c es una cota inferior del conjunto S si c a cualquiera sea el elemento a S . Si adems c S , recibe el nombre de primer elemento o mnimo. Anlogamente, se dice que d es una cota superior del conjunto S si a d cualquiera sea el elemento a S . Si adems d S , recibe el nombre de ltimo elemento o mximo.

Nos referimos a una y no la cota inferior (superior) ya que cualquier nmero c' ( d ' ) con c' < c ( d ' > d ) tambin ser una cota inferior (superior) de S. Teniendo en cuenta la definicin anterior, el conjunto de los nmeros enteros verifica:

Lic. Parra, Vernica. CONICET. NIECyT. Departamento de Formacin Docente. Facultad de Ciencias Exactas. UNCPBA

Mdulo I Aritmtica de los nmeros enteros

Pgina 6 de 31

11. [Principio de Buena Ordenacin] Todo subconjunto de no vaco y acotado inferiormente (superiormente) posee un primer (ltimo) elemento. 12. Sean a, b, c
a b y c > 0 a.c b.c a b a + c b + c

Por convencin, en la prctica suele omitirse el punto . cuando se trate de literales, es decir, de letras. En el producto de nmeros reales concretos es preferible usar el smbolo , por ejemplo 48 = 12 4 . Una ventaja de los nmeros enteros es la posibilidad de alinearlos segn el orden de los nmeros reales. . ...,5,4,3,3,1,0,1,2,3,4,5,... Este orden expresado con la relacin a < b equivale a pensar que a est a la izquierda de b. Destaquemos que a < b si, y slo si, b a es un entero positivo, es decir, un elemento de . Por eso los elementos de suelen denominarse tambin enteros positivos.

Definiciones recursivas
Muchas veces nos habremos encontrado con expresiones del tipo S n = 1 + 3 + 5 + ... + (2n 1) con n Y lo primero que podemos preguntarnos es qu significado tienen los puntos suspensivos. El significado de estos no es ms que hacernos ver que estamos dando una definicin recursiva de S n . Es decir, estamos definiendo
S1 = 1 y S n = S n 1 + (2n 1) siempre que n

De esta manera para definir el valor de S n debemos utilizar el de S n 1 . En otras palabras, estamos utilizando la funcin en su propia definicin. Evidentemente, si para calcular el transformado de un elemento n necesitamos conocer el del elemento anterior n 1 , tendremos que conocer cul es el transformado del primer elemento para, a partir de l, calcular todos los dems. Obsrvese que, como consecuencia del axioma de buena ordenacin, podemos definir funciones de en otro conjunto cualquiera de forma recursiva, ya que cualquiera que sea el conjunto de originales C por ser un subconjunto de y estar acotado inferiormente (ya que lo est por 0), posee un primer elemento y, por lo tanto, a partir de ese elemento podemos definir todos los posteriores. No ocurrir as si tratramos de definir una funcin f : Y de forma recursiva ya que al dar f (n) en funcin de

Lic. Parra, Vernica. CONICET. NIECyT. Departamento de Formacin Docente. Facultad de Ciencias Exactas. UNCPBA

Mdulo I Aritmtica de los nmeros enteros

Pgina 7 de 31

f (n 1) y no estar acotado inferiormente, no tendramos un primer elemento a partir del cul obtener todos los restantes. Observacin: Las funciones de en otro conjunto numrico, como pueden ser o , reciben el nombre de sucesiones y se suelen denotar por un o por u (n) .

Induccin matemtica
La induccin es el proceso de obtener un resultado general a partir del anlisis de casos particulares. De esta forma, por ejemplo, observando la cada de una serie de cuerpos pesados se induce que cualquier cuerpo ms pesado que el aire cae por la accin de la gravedad. Este hecho se considerar vlido mientras no se encuentre un cuerpo ms pesado que el aire que no caiga. En Matemtica se utiliza un proceso equivalente pero con la diferencia que es necesario probar que el resultado inducido siempre se va a cumplir.
Definicin 6: Un conjunto S se dice inductivo si se verifican: i) 1 S ii) x S x + 1 S Teorema 2: Si S es un conjunto inductivo, entonces S = . Demostracin: Ejercicio.

Teorema 3: [Mtodo de induccin] Sea Pn una proposicin matemtica. Si se verifican: P es verdadera y i) 1 ii) Pk verdadera implica que Pk +1 tambin lo es, Entonces, Pn es verdadera para cualquier n . Demostracin: Sea S = {n : Pn es verdadera}. La hiptesis del teorema dice que:

1 S S es inductivo S = k S k + 1 S Es decir, la propiedad Pn es cierta para cualquiera que sea el nmero natural n que se elija. Una variante del mtodo de induccin matemtica es el denominado mtodo de induccin completa.
Teorema 4: [Mtodo de induccin completa] Sea Pn una proposicin matemtica. Si se verifican: i) P , P2 ,..., Pr son verdaderas y 1 ii) P , P2 ,...Pk , con k r , verdaderas implica que Pk +1 tambin lo es 1 Entonces, Pn es verdadera para cualquier n .

Lic. Parra, Vernica. CONICET. NIECyT. Departamento de Formacin Docente. Facultad de Ciencias Exactas. UNCPBA

Mdulo I Aritmtica de los nmeros enteros

Pgina 8 de 31

Divisibilidad de nmeros enteros


Definicin 7: Sean a, b , b 0. Diremos que b divide a a si existe un nmero entero c tal que a = bc, y usamos la notacin b | a . Se dice que b es un divisor de a, o que a es un mltiplo de b.

Observaciones: 1) 1 | a y a | a para todo a pues a = 1a para todo a . 2) a | 0 para todo a y a 0 porque 0 = 0a para todo a , pero observemos que la nica manera de escribir el 0 de forma 0 = ab en es con a = 0 b = 0 pues es un dominio de integridad. Por la definicin tenemos que b | a a = bq con q Para expresar que b no divide a a escribiremos: bFa
Ejemplo 3: 1. 5|30 pues 30 = 5 6. 2. 3F20 pues no existe un entero c tal que 20 = 3c bien pues

a . b

20 . 3

El lema siguiente presenta las propiedades bsicas de la divisibilidad.


Lema 1: Sean a, b i) a | b (a ) | b a | (b) ii) Si a | b y b | c entonces a | c iii) Si a | b y a | c entonces a | sb + tc para todo s, t iv) Si a | b y b | a entonces a = b v) Si a 0 y si b | a entonces b a Demostracin: Ejercicio.

Teorema 5: Sean a y b , entonces existen nicos enteros q y r verificando que:

a = qb + r , con 0 r < b
Demostracin: a a Tomamos q = , la parte entera del racional . Entonces b b a a q = < q +1 b b Luego qb a < qb + b

Esto dice que qb es el mayor entero que no supera a a. Poniendo r = a qb entonces

Lic. Parra, Vernica. CONICET. NIECyT. Departamento de Formacin Docente. Facultad de Ciencias Exactas. UNCPBA

Mdulo I Aritmtica de los nmeros enteros

Pgina 9 de 31

0r<b

Para probar la unicidad de q y r, supongamos que a = qb + r , con 0 r < b y a = q1b + r1 , con 0 r1 < b . Restando estas dos expresiones para a obtenemos
0 = b(q q1 ) + r r1

Entonces
b(q q1 ) = r1 r

Tomando valor absoluto


b q q1 = r1 r

Pero de la propiedad de r y r1 deducimos que b < r r1 < b , es decir r r1 < b. Luego


b q q1 = r1 r < b

Ahora, el miembro derecho de esta ltima identidad es menor que b, pero entonces debe ser q q1 = 0 , de lo contrario, siendo q q1 un entero, sera q q1 1 y el miembro izquierdo sera b q q1 = b .

Ejemplo 4: 1. Si a = 9 y b = 4 , como 9 = 2 4 + 1 con 0 1 < 4 , se tiene que q = 2 y r = 1 . 2. Si a = 9 y b = 4 , como 9 = 3 4 + 3 con 0 3 < 4 , se tiene que q = 3 y r = 3. Definicin 8: Con la notacin del Teorema anterior, el entero q recibe el nombre de cociente entero o simplemente cociente y el entero r recibe el nombre de resto.

En la expresin a = qb + r , el cociente q viene dado por la parte entera por defecto o a a a (el mayor entero i con i y que denotaremos por . Esto facilita el suelo de b b b clculo de q. El de r se realiza posteriormente mediante la igualdad r = a qb .
Ejemplo 5:

37 = 7,4 = 8 y r = 37 (8) 5 = 3 . Si a = 37 y b = 5 tenemos que q = 5 Luego 37 = (8) 5 + 3 es la expresin del Teorema 5 para a = 37 y b = 5 .

Puede ser necesario dividir un entero a por un entero negativo b. El siguiente teorema es una generalizacin del Teorema 5.
Teorema 6 (Algoritmo de la Divisin en ) Sean a, b con b 0 entonces existen nicos enteros q y r verificando que:

Lic. Parra, Vernica. CONICET. NIECyT. Departamento de Formacin Docente. Facultad de Ciencias Exactas. UNCPBA

Mdulo I Aritmtica de los nmeros enteros

Pgina 10 de 31

a = qb + r , con 0 r < b
Demostracin: Si b > 0 ya est probado por el Teorema 5. Si b < 0 aplicamos el Teorema 5 para a y b , por lo tanto existen nicos enteros q y r verificando

a = q(b) + r , con 0 r < b


Pero entonces podemos escribir
a = (q)b + r , con 0 r < b = b

La prueba de la unicidad es similar a la anterior.

Observacin: Cuando b < 0 , el cociente q es la parte entera por exceso o techo del a a a cociente que denotaremos por , es decir, el menor entero i tal que i . b b b
Ejemplo 6: Para aplicar el algoritmo con a = 37 y b = 5 , en la demostracin del Teorema 6 vemos que basta aplicar el Teorema 5 a a = 37 y b = (5) = 5, y ya sabemos que 37 = (8) 5 + 3 , por lo que slo basta cambiar el signo del cociente y el resto no vara: 37 = 8 (5) + 3. Luego 37 = 8 (5) + 3 es la expresin del Teorema 6 para a = 37 y b = 5 .

Desarrollos en una base


La caracterstica fundamental de todos los clculos realizados con nmeros, sean manuales o por medio de computadoras, est en la posibilidad de representar estos nmeros en alguna base. En base 10 (la base decimal), por ejemplo, el nmero 128325 se expresa 128325 = 1 105 + 2 104 + 8 103 + 3 102 + 2 101 + 5 100 Cul sera la escritura de este mismo nmero pero en otra base que no sea la base decimal? Por ejemplo, Cmo sera en base octal (base 8)? Para responder estas cuestiones recordemos la tcnica utilizada en la base 10: se realizan sucesivas divisiones por 10. Por lo tanto, para escribir este nmero en base 8 deberamos realizar sucesivas divisiones por 8.
128325 = 16040 8 + 5 16040 = 2005 8 + 0 2005 = 250 8 + 5 250 = 31 8 + 2 31 = 3 8 + 7

Luego

Lic. Parra, Vernica. CONICET. NIECyT. Departamento de Formacin Docente. Facultad de Ciencias Exactas. UNCPBA

10

Mdulo I Aritmtica de los nmeros enteros

Pgina 11 de 31

128325 = 8 16040 + 5 = 8 [8 2005] + 5


= 82 2005 + 5 = 82 [8 250 + 5] + 5 = 83 250 + 82 5 + 5 = 83 [8 31 + 2] + 82 5 + 5 = 84 31 + 83 2 + 82 5 + 5 = 84 [8 3 + 7] + 83 2 + 82 5 + 5 = 85 3 + 84 7 + 83 2 + 82 5 + 5 = 3 85 + 7 84 + 2 83 + 5 82 + 5 80 = 3 85 + 7 84 + 2 83 + 5 82 + 0 81 + 5 80

O sea que la sucesin de dgitos del desarrollo del nmero 128325 en base octal es 372505 y se escribe 128325 = (372505)8 . Anlogamente el desarrollo binario (base 2) de 128325 es: 128325 = (11111010101000101)2 Tambin, el desarrollo hexadecimal (base 16) de 128325 es 1F545 Hex. Para el desarrollo hexadecimal ya est convenida en computacin la siguiente regla de nombre de dgitos: 0,1,2,3,4,5,6,7,8,9, A, B, C, D, E, F (por ejemplo F representa al entero 15). Formalicemos estos resultados en la proposicin siguiente:
Proposicin 1: Sea s > 1 . Para cada n existe una expresin polinmica en s, llamada el desarrollo s-dico de n, de la forma:

n = at s t + at 1s t 1 + ... + a1s1 + a0t 0 Donde ai y 0 ai < s para i = 0,..., t , at 0. Este desarrollo es nico en el sentido siguiente: si

t i =0

a i s i = j = 0 b j s j , donde 0 ai < s, 0 b j < s , con at 0 , bh 0


h

entonces se tiene que t = h y ai = bi , para todo i = 0,..., t. Escribimos n = (at ,..., a0 )s para significar que los ai son los dgitos del desarrollo de n en base s. Cuando s = 10 utilizamos la notacin usual.
Demostracin: Si n = 1 , el desarrollo s-dico de 1 es 1 y la proposicin es cierta. Supongamos inductivamente que la proposicin ha sido probada para todos los enteros positivos menores que un entero positivo k. Se debe probar que el teorema es cierto para k. Sea primero el caso k s , entonces el desarrollo es k = 0 s + k , si k < s y k = 1s + 0 , si k = s . Si s < k , por el algoritmo de la divisin se tiene k = sq + r con 0 r < s . Como s < k debe ser 0 < q , adems siendo 1 < s , tendremos que q < qs qs + r = k .

Lic. Parra, Vernica. CONICET. NIECyT. Departamento de Formacin Docente. Facultad de Ciencias Exactas. UNCPBA

11

Mdulo I Aritmtica de los nmeros enteros

Pgina 12 de 31
t

Por lo tanto, por la hiptesis inductiva, la proposicin vale para q. O sea q = i = 0 ai s i con 0 ai < s y operando k = sq + r = at s t +1 + at 1s t + ... + a1s 2 + a0 s + r que es un desarrollo s-dico de k. Para la unicidad, sean dos desarrollos

a s i = j = 0 b j s j , donde 0 ai < s, 0 b j < s , con at 0 , bh 0 i =0 i


t h

Entonces a0 +

t i =1

a i s i 1 s = b0 +

h j =1

b j s j 1 s

Por la unicidad del resto en la divisin por s, se tiene que a0 = b0 y se puede hacer recurrencia en los trminos entre parntesis, por lo que resulta t = h y a1 = b1 ,..., at = bt , con lo que la unicidad queda probada.

Mximo comn divisor


A continuacin consideraremos slo los divisores positivos de nmeros enteros.
Definicin 9: Dados a, b , se denomina divisor comn de a y b a cualquier entero positivo que divida a a y a b. Es decir, si d | a y d | b decimos que d es un divisor comn de a y b. El mayor de estos divisores comunes, si existe, se llama mximo comn divisor de a y b y se denota por (a : b) ; siendo d = (a : b) el nico entero que satisface: i) ii)

d | a y d | b (por ser d un divisor comn) Si c | a y c | b c d (pues d es el mayor divisor comn de a y b)

Observacin: En algunos textos se usa la notacin mcd (a, b) para denotar al mximo comn divisor.
Ejemplo 7: 1. (35 : 60 ) = max({1,5,7,35} {1,2,3,4,5,6,10,12,15,20,30,60}) = max{1,5} = 5 2. (2 : 3) = max{1} = 1 Definicin 10: Sean a y b enteros positivos, diremos que a y b son coprimos (tambin denominados primos entre s) si (a : b ) = 1.

Observaciones: Cualquier entero m divide a 0, pues 0 = m0 . Entonces no definimos (0 : 0 ) . Pero si a 0 , la cantidad de divisores positivos de a es finita y su mximo es a . Luego el mximo comn divisor entre a y b existe siempre cuando alguno de los dos es no nulo y (0 : a ) = a . Tambin (a : a ) = a .

Por la definicin (a : b ) = ( a : b ) = (a : b ) = ( a : b ) = (a : b ) = (b : a ) para todo a, b enteros y, por definicin, (a : b ) es siempre un nmero positivo. Luego, interpretaremos

Lic. Parra, Vernica. CONICET. NIECyT. Departamento de Formacin Docente. Facultad de Ciencias Exactas. UNCPBA

12

Mdulo I Aritmtica de los nmeros enteros

Pgina 13 de 31

el smbolo (a : b ) siempre como si a y b fuesen enteros no negativos y alguno de ellos no nulo. La condicin que verifica (a : b ) muestra que es un divisor comn de los nmeros a y b y es el mximo del conjunto de divisores comunes con el orden inducido por el orden usual en . Pero (a : b ) es mximo tambin para el orden dado por la relacin de orden en divide a. Busquemos esa caracterizacin de (a : b ) .
Teorema 7: Sean a, b enteros no negativos: i) Si b | a , entonces los divisores comunes de a y b son exactamente los divisores de b. En particular, (a : b ) = b. (a : b ) = (a : b + ta ) para cualquier entero t. ii) Demostracin: De i) Si c es un divisor comn de a y b, entonces es divisor de b. Recprocamente, siendo a mltiplo de b, todo divisor de b tambin es divisor de a. Si ambos conjuntos coinciden, entonces por la definicin del mximo comn divisor, vale que (a : b ) = b. De ii) Probemos que el conjunto de los divisores comunes de a y b y el conjunto de los divisores comunes de b y b + ta son iguales para todo entero t. Por un lado si c divide a a y a b entonces c divide a b + ta para todo t por iii) del Lema 1. Luego c es un divisor comn de a y de b + ta . Recprocamente, si c es un divisor comn de a y de b + ta , entonces tambin usando ii) del Lema 1 resulta que c divide a b = (t )a + (b + ta ) , y entonces c es divisor comn de a y de b. Ejemplo 8: Usando i) y ii) del Teorema 7 y la simetra tenemos (30 : 50) = (30 : 50 + (1) 30) = (30 : 20) = (20 : 30) = (20 : 30 + (1) 20) = (20 : 10) = 10 .

Algoritmo de Euclides
Una forma de encontrar el mximo comn divisor de a y b es simplemente construir las listas de todos los divisores de a y todos los divisores de b para buscar el mayor entero que aparece entre ambos. Evidentemente basta con buscar la lista de los divisores positivos: si, por ejemplo, a = 12 y b = 18 , los divisores positivos de 12 son 1,2,3,4,6,12 y los de 18 son 1,2,3,6,9,18, con lo que inmediatamente vemos que el mximo comn divisor es 6. Este mtodo resulta muy tedioso cuando a o b son grandes, pero afortunadamente existe un mtodo ms eficiente para calcular el mximo comn divisor llamado algoritmo de Euclides (publicado en el libro VII de los Elementos de Euclides alrededor del ao 300 a.C.). Este mtodo se basa en el siguiente lema.
Lema 2: Dados dos enteros a y b se verifica que (a : b) = (b : r ) cualesquiera sean los entero q y r verificando que a = bq + r . Demostracin: Por el inciso iii) del Lema 1 cualquier divisor comn de b y r tambin divide a qb + r = a ; de manera anloga, como r = a qb , obtenemos que cualquier divisor comn de a y b tambin divide a r. Por lo tanto, las dos parejas a y b, y b y r poseen los mismos divisores comunes y, por tanto, tienen el mismo mximo comn divisor.

Lic. Parra, Vernica. CONICET. NIECyT. Departamento de Formacin Docente. Facultad de Ciencias Exactas. UNCPBA

13

Mdulo I Aritmtica de los nmeros enteros

Pgina 14 de 31

El algoritmo de Euclides es usado en forma repetitiva para simplificar el clculo del mximo comn divisor por reduccin del tamao de los enteros sin alterar su mximo comn divisor. Supongamos que se tienen dos enteros a y b (no ambos nulos) y que se desea calcular d = (a : b) . Si a = 0 entonces d = b , si b = 0 entonces d = a , por lo que sin considerar estos casos triviales, podemos suponer que a y b son ambos no nulos. Como (a : b) = (a : b) = (a : b) = (a : b) podemos asumir que a y b son ambos enteros positivos. Adems, como (a : b) = (b : a) podemos suponer que a b y si despreciamos, por ltimo, el caso trivial (a : a) = a podemos suponer que a > b , es decir, que a > b > 0 . Utilizamos ahora el algoritmo de la divisin para dividir a entre b y escribimos
a = q1b + r1 con 0 r1 < b

Si r1 = 0 entonces b | a , por lo que d = b y hemos terminado. Si r1 0 dividimos b entre r1 y escribimos


b = q2 r1 + r2 con 0 r2 < r1

Y repetimos el proceso. Como b > r1 > r2 > ... 0 debemos encontrar necesariamente un resto rn = 0 (despus de, a lo sumo, b pasos) y en ese punto finalizamos el proceso. Los dos ltimos pasos podemos escribirlos de la forma rn 3 = qn 1rn 2 + rn 1 con 0 < rn 1 < rn 2 rn 2 = qn rn 1 + rn con rn = 0 Resumamos estos resultados en la formulacin del Algoritmo de Euclides:
Algoritmo de Euclides: Para obtener sucesivas divisiones
a = q1b + r1 con 0 r1 < b b = q2 r1 + r2 con 0 r2 < r1 .. rn 3 = qn 1rn 2 + rn 1 con 0 < rn 1 < rn 2

(a : b )

con a > b > 0 se van realizando las


r1 = a + (q1 )b r2 = b + ( q2 )r1 . rn 1 = rn 3 + ( qn 1 )rn 2

rn 2 = qn rn 1 + rn con rn = 0

rn = rn 2 + ( qn )rn 1

Teorema 8: En el proceso de clculo anterior, d = rn 1 (ltimo resto no nulo). Demostracin: Aplicando el Lema 2 a las sucesivas ecuaciones dadas anteriormente para a, b, r1 ,..., rn 3 observamos que

d = (a : b ) = (b : r1 ) = (r1 : r2 ) = ... = (rn 2 : rn 1 )

Lic. Parra, Vernica. CONICET. NIECyT. Departamento de Formacin Docente. Facultad de Ciencias Exactas. UNCPBA

14

Mdulo I Aritmtica de los nmeros enteros

Pgina 15 de 31

La ltima ecuacin rn 2 = qn rn 1 prueba que rn 1 divide a rn 2 por lo que (rn 2 : rn 1 ) = rn 1 y por lo tanto d = rn 1 .
Ejemplo 9: Deseamos calcular el mximo comn divisor de los nmeros 228 y 144. Aplicando el algoritmo de la divisin sucesivamente tenemos que
228 = 1 144 + 84 144 = 1 84 + 60 84 = 1 60 + 24 60 = 2 24 + 12 24 = 2 12 + 0

84 = 1 228 + (1) 144 60 = 1 144 + (1) 84 24 = 1 84 + (1) 60 12 = 1 60 + (2) 24

De la primera columna obtenemos: (228 : 144) = (144 : 84) = (84 : 60) = (60 : 24) = 12 Para completar el ejemplo, escribamos 12 = v144 + u 228 , con u y v enteros. Esta parte del Algoritmo de Euclides de llama Algoritmo de Euclides Extendido. De la segunda columna tenemos, sustituyendo sucesivamente:

12 = 1 60 + (2) 24 = 60 + (2) 24 = 60 + (2) [84 + (1) 60] = 60 + (2) 84 + 2 60 = 3 60 + (2) 84 = 3 [144 + (1) 84] + (2) 84 = 3 144 + (3) 84 + (2) 84 = 3 144 + (5) 84 = 3 144 + (5) [228 + (1) 144] = 3 144 + (5) 228 + 5 144 = 8 144 + (5) 228 En consecuencia v = 8 , u = 5 y (228 : 144 ) = 12 = 8 144 5 228
Proposicin 2: (Algoritmo de Euclides Extendido) Sean a y b dos nmeros enteros y sea d = (a : b ) . Existen enteros r y s tales d = ra + sb . Demostracin: Una vez realizado el Algoritmo de Euclides, trabajando en la segunda columna, ponemos (a : b ) = d = rn 1 = rn 3 + (qn 1 )rn 2 y vamos reemplazando en forma creciente los sucesivos restos hasta llegar a una expresin en a y b.

Lic. Parra, Vernica. CONICET. NIECyT. Departamento de Formacin Docente. Facultad de Ciencias Exactas. UNCPBA

15

Mdulo I Aritmtica de los nmeros enteros

Pgina 16 de 31

Proposicin 3: (Caracterizacin del Mximo Comn Divisor) Sean a y b dos enteros no negativos y d = (a : b ) entonces d est caracterizado por las dos propiedades siguientes: d | a yd |b i) ii) Si c | a y c | b entonces c | d Demostracin: Ejercicio.

Proposicin 4: (Propiedades del Mximo Comn Divisor) Sean a y b dos enteros no negativos, entonces (ma : mb ) = m(a : b ) para todo m i) ii)

iii) iv) v) vi)

a b a b (a : b ) Si c | a y c | b entonces : = . En particular (a : b ) : (a : b ) = 1 . c c c a b y son coprimos. Es decir los dos nmeros (a : b ) (a : b ) (a : b ) = 1 si y slo si existen enteros r y s tales que 1 = ra + sb Si c | ab y (c : b ) = 1 entonces c | a (a : c ) = 1 y (b : c ) = 1 entonces (ab : c ) = 1 Si (a : b ) = 1 entonces (ac : b ) = (c : b )

Demostracin: i) Sean d = (a : b ) y f = (ma : mb ) con m , probemos que f = md . Como d | a y d | b entonces md | ma y md | mb luego md | f . A su vez escribimos d = ra + sb para enteros r y s, entonces md = rma + smb , entonces f divide a md, o sea f | md . Por lo tanto, f = md . a b (a : b ) a b a b Usando i) escribimos (a : b ) = c : c = c : , as : = ii) . c c c c c c c Ejercicio: demostrar el caso particular. Si (a : b ) = 1 entonces existen enteros r y s tales que 1 = ra + sb (por el iii) Algoritmo de Euclides Extendido). Recprocamente, si existen enteros r y s tales que 1 = ra + sb entonces (a : b ) divide al miembro derecho de esta identidad, por lo tanto divide a 1, luego (a : b ) = 1 . (c : b ) = 1 entonces existen enteros r y s tales que 1 = rc + sb y multiplicando iv) por a tenemos a = arc + asb . Como c | ab deducimos que c divide al miembro derecho de la identidad anterior y por lo tanto c | a . v) Si (a : c ) = 1 y (b : c ) = 1 entonces existen enteros r1 , s1 , r2 , s2 tales que 1 = r1a + s1c y 1 = r2b + s2c , multiplicando miembro a miembro estas dos identidades 1 = (r1a + s1c)(r2b + s2c) = r1r2 ab + (r1as2 + s1r2b + s1s2c)c y por iii) resulta (ab : c ) = 1 . vi) Sean d = (ac : b ) y d1 = (c : b ) . Desde que d1 | c y d1 | b se sigue que d1 | ac y d1 | b por lo que d1 | d . Como (a : b ) = 1 entonces existen enteros r y s tales que 1 = ra + sb , entonces c = cra + csb . Entonces d divide al miembro

Lic. Parra, Vernica. CONICET. NIECyT. Departamento de Formacin Docente. Facultad de Ciencias Exactas. UNCPBA

16

Mdulo I Aritmtica de los nmeros enteros

Pgina 17 de 31

derecho de esta identidad, luego d | c , y como tambin divide a b, entonces d | d1 . Por lo tanto d = d1 .

Ecuaciones Diofnticas Lineales


Estas ecuaciones reciben su nombre en honor al matemtico Diofanto quien trabaj en Alejandra a mediados del siglo III a.C. Estas ecuaciones son en una o varias variables, para las que nos interesan slo sus soluciones enteras. Una de las ecuaciones diofnticas ms simples son las lineales ax + by = c con a, b, c . Utilizaremos algunas de las ideas anteriores para encontrar las soluciones enteras x e y de estas ecuaciones. Una solucin de la ecuacin anterior es un par (x0 , y0 ) tal que ax0 + by0 = c .
Teorema 9: Sean a, b, c con a y b ambos no nulos, y sea d = (a : b ) . La ecuacin ax + by = c admite soluciones enteras si, y slo si d | c , en cuyo caso existen infinitas. Estas son los pares

x = x0 +

bn an , y = y0 con n d d

Donde (x0 , y0 ) es una solucin particular.


Demostracin: Si c = ax + by con x, y , como d | a y d | b implica que d | c . Recprocamente, si d | c entonces existe algn entero e tal que c = de . Escribiendo d = au + bv , pues d = (a : b ) , se tiene que c = (au + bv)e = aue + bve . Considerando x = ue e y = ve , son ambos enteros, es decir x, y . Por lo tanto, los enteros de la forma ax + by son los mltiplos de d, y el menor entero positivo de esta forma es el menor mltiplo de d, es decir, el propio d.

Para la segunda parte del teorema, sea (x0 , y0 ) es una solucin particular, es decir

ax0 + by0 = c
Si ponemos

x = x0 +
Donde n es un entero, se tiene que

bn an , y = y0 n d d

bn an ax + by = a x0 + + b y0 = ax0 + by0 = c d d
Por lo que x, y tambin es solucin (Obsrvese que x e y son enteros debido a que d divide a a y a b). Se obtienen as infinitas soluciones para los diferentes valores de n. Para probar que slo existen estas soluciones, sea x, y una solucin tal que ax + by = c . Como ax + by = c = ax0 + bx0 se tiene que

Lic. Parra, Vernica. CONICET. NIECyT. Departamento de Formacin Docente. Facultad de Ciencias Exactas. UNCPBA

17

Mdulo I Aritmtica de los nmeros enteros

Pgina 18 de 31

a( x x0 ) + b( y y0 ) = 0
En donde dividiendo por d se obtiene que

a (x x0 ) = b ( y y0 ) d d
Como a y b no son ambos nulos, podemos suponer b 0 (en caso contrario b intercambiamos los papeles de a y b en el resto de la demostracin). Como , divide a d a ambos miembros de la ecuacin anterior y es primo con , debe dividir a (x x0 ) . De d b bn . este modo, x x0 = n para algn entero n, es decir x = x0 + d d a b Sustituyendo este resultad en la ecuacin ( x x0 ) = ( y y0 ) se tiene d d

b ( y y0 ) = a (x x0 ) = a bn d d d d b an (que es no nulo) obtenemos y = y0 . d d

Donde dividiendo ambos miembros por

Observaciones: 1) Si (x0 , y0 ) es una solucin particular de la ecuacin diofntica ax + by = c entonces x = x0 + kb e y = y0 ka es otra solucin de la ecuacin cualquiera sea el k . 2) Si d = 1 , cualquier solucin de la ecuacin verifica que x = x0 + kb e y = y0 ka con k .
Ejemplo 10: Consideremos la ecuacin

1492 x + 1066 y = 4 En la que a = 1492 , b = 1066 y c = 4 . Usando el Algoritmo de Euclides obtenemos que (1492 : 1066 ) = 2 . Luego comprobamos que 2 divida a c, en este caso 2 | 4 . Luego, haciendo uso del Algoritmo de Euclides Extendido obtenemos que 2 = 5 1492 + 7 1066 , es decir u = 5 y v = 7 . Ahora bien, la ecuacin a resolver es

4 = 1492 x + 1066 y
Hasta aqu tenemos
2 = 5 1492 + 7 1066

Lic. Parra, Vernica. CONICET. NIECyT. Departamento de Formacin Docente. Facultad de Ciencias Exactas. UNCPBA

18

Mdulo I Aritmtica de los nmeros enteros

Pgina 19 de 31

Multiplicando miembro a miembro esta ecuacin por 2 tenemos


2 2 = 2 [5 1492 + 7 1066] 4 = 2 (5) 1492 + (2) 7 1066 4 = 10 1492 + (14) 1066 Por lo tanto x0 = 10 e y0 = 14 es una solucin particular de la ecuacin 1492 x + 1066 y = 4 . Por el teorema anterior, la solucin general es de la forma:

x = 10 +

1066n 1492n = 10 + 533n , y = 14 = 14 746n con n 2 2

Mnimo Comn Mltiplo


Definicin 11: Si a y b son dos enteros, un mltiplo comn de a y b es un entero c tal que a | c y b | c . Si a y b son ambos no nulos, existen mltiplos comunes positivos (por ejemplo ab ), por lo que el principio de buena ordenacin nos asegura la existencia de

un mnimo comn mltiplo, o ms concretamente, el menor mltiplo comn positivo. Este es el nico entero positivo m que cumple:
i) ii)

a | m y b | m (ya que m es mltiplo comn), y Si a | c y b | c con c > 0 entonces m c (ya que ningn mltiplo comn puede ser menor que m)

Usualmente se denota a m como mcm(a, b) o simplemente como [a : b] .


Ejemplo 11: [15 : 10] = 30 ya que los mltiplos positivos de 15 son 15,30,45, y los de 10 son 10,20,30,. Teorema 10: Sean a y b dos enteros positivos con d = (a : b ) y m = [a : b] . Se verifica entonces que dm = ab

(Como (a : b ) = ( a : b ) y [a : b] = [ a : b ] no supone ninguna restriccin al suponer

a, b > 0 )
Demostracin: Sean a' =

a b , b' = y consideremos d d ab da' db' = = da' b' d d

Evidentemente da ' b' es positivo, por lo que debemos probar que es igual a m probando que satisface las condiciones i) y ii) de la definicin del mnimo comn mltiplo. En
Lic. Parra, Vernica. CONICET. NIECyT. Departamento de Formacin Docente. Facultad de Ciencias Exactas. UNCPBA

19

Mdulo I Aritmtica de los nmeros enteros

Pgina 20 de 31

primer lugar, da' b' = (da' )b' = ab' y da' b' = (db' )a' = ba' por lo que a | da ' b' y b | da' b' , es decir, satisface la condicin a). En segundo lugar, supongamos que a | c y b | c con c > 0 , debemos probar que da ' b' c . Como d = (a : b ) , existen enteros u y v tales que d = au + bv , entonces

c cd cd c(au + bv) c c = = = = u+ v da' b' (da' )(db' ) ab ab b a


Es entero por ser a y b divisores de c, por lo que da' b'| c y por tanto se tiene que da ' b' c , como queramos probar.
Ejemplo 12: Si a = 15 y b = 10 entonces d = 5 y m = 30 , por lo que dm = 150 = ab.

Podemos utilizar este teorema para encontrar el [a : b] de una forma eficiente utilizando ab . el Algoritmo de Euclides para encontrar d = (a : b ) y calcular posteriormente m = d
Ejemplo 13: Dado que (1492 : 1066 ) = 2 (hallado por el Algoritmo de Euclides) se tiene que

[1492 : 1066] = 1492 1066 = 795236


2
Proposicin 5: Sean a y b enteros [a : b] = [ a : b] = [a : b] = [ a : b] y [a : b] = [b : a]

positivos,

entonces

Demostracin: Sean m = [a : b] y m1 = [ a : b] . Entonces m y m1 son ambos positivos y mltiplos comunes de a y b. No puede ser m < m1 pues esto contradice la definicin de m1 , y si m1 < m , se contradice la definicin de m. Por lo tanto m = m1 . Las otras identidades se obtienen de igual manera.

Nmeros primos
Definicin 12: Sea p un entero positivo, p 0,1,1 , diremos que p es un nmero primo si los nicos divisores que admite son 1 y p (slo 4 divisores). Equivalentemente, 1 p es un nmero primo si, y slo si: p 1 y el conjunto de divisores de p es { , p} . Ejemplo 14: 1. 2, 3, 5, 7, 11, 13,17, son nmeros primos. En cambio 16 no es primo ya que sus divisores son 1,2,4 8,16 . 2. 1 no es primo pues posee slo dos divisores, 1 y 1. 3. 0 no es primo pues posee infinitos divisores (cualquier entero no nulo divide a 0)

A partir de ahora consideraremos solamente primos positivos.

Lic. Parra, Vernica. CONICET. NIECyT. Departamento de Formacin Docente. Facultad de Ciencias Exactas. UNCPBA

20

Mdulo I Aritmtica de los nmeros enteros

Pgina 21 de 31

Lema 3: Sea p primo y sean a y b enteros cualesquiera. Entonces a) p | a (a : p) = 1 (a y p son coprimos). b) p | ab p | a p | b Demostracin: a) Por definicin (a : p ) es un divisor positivo de p, es decir (a : p) | p , por lo que, al ser p primo, debe ser 1 p. Si (a : p) = p , como (a : p) | p , se tiene que p | a . Si (a : p) = 1 los nmeros a y p son coprimos. b) Supongamos que p | ab . Si p F a , es decir, si p no divide a a, el apartado a) implica que (a : p) = 1 . Luego, existen enteros u y v tales que 1 = au + pv por lo que b = bau + bpv . Como suponemos que p | ab , p divide tambin a bau y como divide evidentemente a bpv , tambin divide a b como queramos probar.

Los dos apartados pueden fallar si p no es primo: por ejemplo, si p = 4, a = 6 y b = 10 .


Lema 4: Todo nmero natural n mayor que 1 es divisible por un nmero primo. Demostracin: Sea p el menor elemento del conjunto de los divisores positivos de n que son mayores que 1. Veamos que p debe ser primo. Si p no es primo, entonces p = rs con r , s 1, p , desde que p es positivo, podemos suponer que r y s lo son, pero entonces 1 < r < p y r es un divisor positivo de n que no es 1, lo que contradice que p es el menor elemento del conjunto considerado. Lema 5: Todo nmero natural n mayor que 1 es primo o es un producto de primos Demostracin: Si n = 2 es primo. Sea n > 2 dado y supongamos que el lema es verdadero para todos los naturales menores que n, entonces, por el Lema 4, n es divisible por un primo p. Sea n = pq . Si q = 1 , n es primo. Si q > 1 , entonces, desde que p es primo, es p > 1 , por lo tanto q < n , as que por hiptesis inductiva q es primo o producto de primos. Luego resulta n = pq un producto de primos. Proposicin 6: Existen infinitos nmeros primos. Demostracin: Supongamos que la cantidad de nmeros primos es finita, digamos p1 , p2 ,..., pn . Consideremos el nmero A = p1 p2 ... pn + 1 . Pero entonces A no es divisible por ningn primo pi con i = 1,..., n ya que el resto de dividirlo por pi es 1, para cada i, en contradiccin con el Lema 5.

En principio, la demostracin de la proposicin anterior parece ser una receta para encontrar todos los nmeros primos, pero no es suficiente, y que con el 2 encontramos el primo 2 + 1 = 3 , con los primos 2 y 3 podemos encontrar el primo 2 3 + 1 = 7 , pero no podemos construir as el 11 que es primo. Existen algunas frmulas para construir

Lic. Parra, Vernica. CONICET. NIECyT. Departamento de Formacin Docente. Facultad de Ciencias Exactas. UNCPBA

21

Mdulo I Aritmtica de los nmeros enteros

Pgina 22 de 31

nmeros primos, por ejemplo f ( x) = x 2 + x + 41 . Variando la x desde 0 hasta 40, se pueden encontrar los siguientes 41 nmeros primos: 41, 43, 47, 53, 61, 71, 83, 97, 113, 131, 151, 173, 197, 223, 251, 281, 313, 347, 383, 421, 461, 5 03, 547, 593, 641, 691, 743, 797, 853, 911, 971, 1033, 1097, 1163, 1231, 1301, 1373, 1447, 1523, 1601, 1681 Sin embargo no existe ninguna frmula que d todos los nmeros primos de manera elemental. Pero supongamos que deseamos comprobar que los enteros listados son en verdad, primos. Demostremos primero la siguiente proposicin.
Proposicin 7: Sea a , a 1 que no es primo, entonces a es divisible por un entero positivo p que satisface p a . Demostracin: Sabemos por el Lema 5 que a es un producto de primos: a = p1 p2 ... pn

donde n 2 , pues a no es primo. Supongamos que pi > a para todo i = 1,..., n . Entonces tendremos a = p1 p2 ... pn p1 p2 > a a = a , lo que es un absurdo.

Ejemplo 15: Deseamos saber si 131 en la lista de arriba es primo. Los primos menores o iguales que 131 11,446 son 2, 3, 5, 7 y 11. Haciendo las correspondientes divisiones se tiene que 2 no divide a 131, 3 no divide a 131, 5 no divide a 131, 7 no divide a 131, 11 no divide a 131. Por lo tanto 131 es un nmero primo.

Criba de Eratstenes
La criba de Eratstenes es un algoritmo que permite hallar todos los nmeros primos menores que un nmero natural dado n. Se forma una tabla con todos los nmeros naturales comprendidos entre 2 y n y se van tachando, para cada primo p n , todos los mltiplos: 2 p,3 p,... que le siguen hasta n.
Ejemplo 16: 1. Determinemos, mediante este procedimiento, la lista de los nmeros primos menores de 20.

Primer paso: Escribamos la lista de los veinte primeros nmeros naturales: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 20 . Segundo paso: Veamos que nmeros primos son menores o iguales a 20 4,47 , por lo tanto, debemos ir tachando los mltiplos del 2 y 4 pues el 5 es mayor. Comencemos marcando el 2 como primer nmero primo y tachemos sus mltiplos: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20

Lic. Parra, Vernica. CONICET. NIECyT. Departamento de Formacin Docente. Facultad de Ciencias Exactas. UNCPBA

22

Mdulo I Aritmtica de los nmeros enteros Tercer paso: Tachemos los mltiplos de 3.

Pgina 23 de 31

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 Aqu terminamos pues 5 < 20 Por lo tanto, los nmeros primos menores a 20 son aquellos no tachados (exceptuando el 1): 2, 3, 5, 7, 11, 13, 17 y 19. Convencin: De aqu en adelante, la palabra primo significar entero primo positivo, y no primo o compuesto significar un nmero entero que nos es primo.
2. Determinemos todos los nmeros primos que hay entre los primeros 100 nmeros naturales.

Realizando el procedimiento anterior obtendremos que los nmeros encerrados en un rectngulo blanco son los nmeros primos que hay entre los primeros 100 nmeros naturales: 1 11 21 31 41 51 61 71 81 91 2 12 22 32 42 52 62 72 82 92 3 13 23 33 43 53 63 73 83 93 4 14 24 34 44 54 64 74 84 94 5 15 25 35 45 55 65 75 85 95 6 16 26 36 46 56 66 76 86 96 7 17 27 37 47 57 67 77 87 97 8 18 28 38 48 58 68 78 88 98 9 19 29 39 49 59 69 79 89 99 10 20 30 40 50 60 70 80 90 100

3. Determinemos si el nmero 811 es primo usando la Criba de Eratstenes. 811 28,47 y los nmeros primos menores o iguales que 28.5 son 2, 3, 5, 7, 11, 13, 17, 19 23 y dado que ninguno de estos nmeros divide a 811, concluimos que dicho nmero es primo.

El Teorema Fundamental de la Aritmtica: TFA

Lic. Parra, Vernica. CONICET. NIECyT. Departamento de Formacin Docente. Facultad de Ciencias Exactas. UNCPBA

23

Mdulo I Aritmtica de los nmeros enteros

Pgina 24 de 31

El siguiente resultado, conocido como el Teorema Fundamental de la Aritmtica (TFA) explica la importancia de los nmeros primos: ellos son los bloques bsicos con los que se construye el edificio de los nmeros enteros.
Teorema 11: [Teorema Fundamental de la Aritmtica] Sea n , n 0,1,1 , entonces admite una descomposicin en factores primos de la forma:

n = p1 p2 ... pk
Donde p1 , p2 ,..., pk son primos positivos, y p1 p2 ... pk Esta forma de expresar el nmero n es nica, o sea que si:

n = q1q2 ...qm
Donde q1 , q2 ,..., qm son primos positivos, y q1 q2 ... qm entonces se tiene que k = m y pi = qi , i = 1,2,..., k
Demostracin: El Lema 3 nos dice que todo nmero natural n mayor que 1 es primo o es un producto de primos. De manera que si n < 0 , obtenemos un desarrollo en producto de primos para n = p1 p2 ... pk por lo que n = p1 p2 ... pk . Slo resta probar la unicidad y, en virtud de lo visto recin, podemos suponer n > 0 . Si se tiene

p1 p2 ... pk = q1q2 ...qm


Donde p1 , p2 ,..., pk , q1 , q2 ,..., qm son primos positivos, entonces p1 divide a q1q2 ...qm y por el Lema 4 existe un j = 1,..., m tal que p1 | q j y como q j es primo, debe ser p1 = q j . Simplificando p1 y q j en cada miembro de la ecuacin anterior, se puede repetir el proceso con p2 , etc. Entonces al simplificar un primo en cada paso, se debe llegar a que hay la misma cantidad a cada lado de la ecuacin, de lo contrario en alguno de los lados de la ecuacin queda 1 y del otro lado un nmero distinto de 1. Luego k = m y pi = qi para i = 1,2,..., k .
Ejemplo 17: 200 admite la descomposicin en factores primos 200 = 2 2 2 5 5 = 23 52 o, alternativamente, si permutamos los factores 200 = 52 23 , pero no admite ninguna otra factorizacin posible. Corolario 1: Sea a un nmero entero tal que a > 1 , entonces a tiene una factorizacin

nica de la forma:
a = p1 1 p2 2 ... pk
k

Siendo k 1 , los pi primos distintos con p1 < p2 < ... < pk y 1 1 para 1 i k .

Lic. Parra, Vernica. CONICET. NIECyT. Departamento de Formacin Docente. Facultad de Ciencias Exactas. UNCPBA

24

Mdulo I Aritmtica de los nmeros enteros

Pgina 25 de 31

Demostracin: Si a > 1 , por el TFA, a puede descomponerse en factores primos. Agrupamos todos los primos iguales a p1 en el factor p1 1 , hacemos igual con p2 , con p3 y as sucesivamente hasta pk , obteniendo as la descomposicin pedida. Si a < 1 , entonces a es positivo, con lo cul bastara aplicar el razonamiento anterior a a .

Aplicaciones del TFA


Ejemplo 18: Algunos ejemplos de aplicaciones del TFA son los siguientes: 1. Demostrar que 3 5 es un nmero irracional. Supongamos que no lo es, es decir, supongamos que 3 5 es un nmero racional, entonces existiran dos nmeros enteros a y b, b 0 , primos entre si tales que:
3

5=

a b

(Podemos pedir que a y b sean primos entre si pues si no lo son, buscamos la fraccin irreducible y los transformamos en coprimos) Elevando al cubo ambos miembros de la igualdad, tenemos: 5=

a3 b3

Entonces a 3 = 5b3 5 | a 3 De donde se sigue, al ser 5 un nmero primo, que 5| a Luego, existe un nmero entero q tal que a = 5q Entonces a 3 = 53 q 3 5b3 = 53 q 3 pues ms arriba dedujimos que a 3 = 5b3 Entonces b3 = 52 q 3 5 | b3 . Por lo tanto 5|b Concluimos pues que 5 es un divisor comn de a y b, lo cul contradice el hecho de que estos dos nmeros sean coprimos, luego la suposicin hecha es falta, por lo tanto 3 5 es un nmero irracional.
2. Demostrar que no existen enteros n y m tal que m 2 = 10n 2 Claramente m 1 , pues no existe n tal que 1 = 10n 2 . Adems, debe ser n 1 pues no existe m tal que m 2 = 10 . Por el TFA, escribimos:
m = p1 1 p2 2 ... ps
s

n = q1 1 q2 2 ...qr

Lic. Parra, Vernica. CONICET. NIECyT. Departamento de Formacin Docente. Facultad de Ciencias Exactas. UNCPBA

25

Mdulo I Aritmtica de los nmeros enteros

Pgina 26 de 31

Luego, la expresin m 2 = 10n 2 queda de la siguiente manera:


p1
2 1

p2

2 2

... ps

2 s

= 10q1 1 q2

2 2

...qr

2 r

Como 10 = 2 5 , la factorizacin en primos de 10, se tiene que 2 | m 2 pues m 2 = 2 5n 2 , por lo tanto, existe un ndice i tal que pi = 2 . Supongamos que es p1 . Es decir,
221 p2
2 2

... ps

2 s

= 10q1 1 q2

2 2

...qr

2 r

En consecuencia 221 | 10q1 1 q2

22

...qr

2 r

. Por lo tanto existe un ndice j tal que q j = 2 .

Supongamos que es q1 . Es decir,


221 p2
2 2

... ps

2 s

= 10 22 1 q2
2 2 2r

2 2

...qr

2 r

O equivalentemente:
221 p2
2 2

... ps

2 s

= 2 5 2 2 1 q2

...qr

= 5 22 1 +1 q2

2 2

...qr

2 r

Comparando las potencias del 2, del lado izquierdo tenemos un nmero par mientras que del lado derecho es impar, pues tenemos 221 = 22 1 +1 . Esto es absurdo, en consecuencia no existen enteros n y m tal que m 2 = 10n 2 .

Lic. Parra, Vernica. CONICET. NIECyT. Departamento de Formacin Docente. Facultad de Ciencias Exactas. UNCPBA

26

Mdulo I Aritmtica de los nmeros enteros

Pgina 27 de 31

PRCTICA DEL MDULO I


1. Demostrar el Teorema 2: Si S es un conjunto inductivo, entonces S = . 2. Probar que para todo n se verifica: n n(n + 1) a) i =1 i = 2 b) c)

n i =1

i2 =

n(n + 1)(2n + 1) 6
2

n i =0

(2i + 1) = (n + 1)
2

d)

n(n + 1) i =1 i3 = 2
n

e)

n i =1

(1)i 1 i 2 = (1) n 1

n(n + 1) 2

3. Sean a, b , n , probar: a) a b divide a a n b n para todo n . b) a + b divide a a n + b n para todo n impar. c) a + b divide a a n b n para todo n par. 4. Probar que las siguientes afirmaciones son verdaderas para todo n . a) 3 divide a 4n 1 . b) 11 divide a 9 2n 6n +1 + 1 . c) 7 divide a 3( 2 n + 2 ) 2n +1 . 5. Demostrar el Lema 1: Sean a, b a) a | b ( a) | b a | (b) b) Si a | b y b | c entonces a | c c) Si a | b y a | c entonces a | sb + tc para todo s, t d) Si a | b y b | a entonces a = b e) Si a 0 y si b | a entonces b a 6. Demostrar la Proposicin 3 (Caracterizacin del Mximo Comn Divisor): Sean a y b dos enteros no negativos y d = (a : b ) entonces d est caracterizado por las dos propiedades siguientes: a) d | a y d | b b) Si c | a y c | b entonces c | d 7. Sean a, b, c , probar las siguientes proposiciones en el caso que sean verdaderas o mostrar un contraejemplo si stas son falsas:

Lic. Parra, Vernica. CONICET. NIECyT. Departamento de Formacin Docente. Facultad de Ciencias Exactas. UNCPBA

27

Mdulo I Aritmtica de los nmeros enteros


a) b) c) d) e)

Pgina 28 de 31

a|b a|b+c a|b a b Si a | b + c y a | c a | b Si a | b + c a | b a | c Si a | b a | bc

8. Demostrar el caso particular del inciso ii) de la Proposicin 4 (Propiedades del Mximo Comn Divisor): Sean a y b dos enteros no negativos, entonces si c | a y

a b (a : b ) c | b entonces : = . En particular c c c a b y son coprimos. nmeros (a : b ) (a : b )

a b (a : b ) : (a : b ) = 1 . Es decir los dos

9. Calcular el cociente y el resto de dividir a por b en los siguientes casos: a) a = 4231; b = 7 b) a = 25; b = 6 c) a = 0; b = 7 45621 d) a = 25; b = 6 e) a = 100; b = 30 f) a = 7; b = 8 g) a = n 2 1; b = n con n h) a = n 2 ; b = n 1 con n 10. Sean a, b . Supongamos que el resto de dividir a entre b es r. Calcular los restos de dividir: a) 2a por b = 7 , si r = 5 . b) 7 a + 1 por b = 7 , si r = 5 . c) 1 a por b 7 , si r = 0 . d) 10a 1 por b = 10 , si r = 0 . e) a 1 por b = 2 , si r = 1 . b f) 2a por b , si r < . 2 11. Sea a un entero y D(a) el conjunto formado por todos los divisores positivos de a. Es decir, x A significa que x es un divisor positivo de a, o sea x | a . a) Listar D(a) para a = 1,2,4,5,9,17,31,181 b) Probar que D(a ) = D( a ) para todo a y que a D(a ) c) Probar que si x D(a) D( x) D(a ) para todo x y para todo a. 12. Calcular D(a ) D(b) en los casos siguientes: a) a = 1 y b = 0 b) a = 10 y b = 1 c) a = 20 y b = 50

Lic. Parra, Vernica. CONICET. NIECyT. Departamento de Formacin Docente. Facultad de Ciencias Exactas. UNCPBA

28

Mdulo I Aritmtica de los nmeros enteros

Pgina 29 de 31 a ? 2

d) Si a es positivo cuntos elementos hay en D(a) mayores o iguales a

13. Hallar (a : b ) y expresarlo como combinacin entera de a y b en cada uno de los siguientes casos: a) a = 2; b = 3 b) a = 32; b = 1 c) a = 12; b = 12 d) a = 40; b = 41 e) a = 101; b = 73 f) a = 1997; b = 10 g) a = 36; b = 24 h) a = 1492; b = 1066 14. Dados a y b entero no nulos, calcular en funcin de (a : b ) a) (5a + 3b : 2a + b ) b) (8a + 7b : 9a + 8b ) c) (na + (n 1)b : (n + 1)a + nb ) con n 15. Sea a y a el conjunto de mltiplos de a. Probar que a) a = ( a) b) 1 = y 0 = {0} c) Si a entonces son vlidas las siguientes tres propiedades: i) 0 a ii) m, n a m + n a iii) b y m a bm a 16. Hallar, si es posible, todas las soluciones enteras de las siguientes ecuaciones diofnticas: a) 3x 12 y = 7 b) 1990 x 173 y = 11 c) 238 x + 133 y = 31 d) 6 x + 10 y = 20 e) 127 x 52 y = 1 f) 4329 x + 132 y = 33 g) 2 x + 5 y = 73 h) 525 x + 100 y = 50 i) 66 x + 550 y = 88 j) 30 x + 12 y = 1200 k) 30 x + 36 y = 5 17. Hallar los valores de c +, con 10 < c < 20 para los cuales no tiene solucin la ecuacin diofntica 84 x + 990 y = c . Determinar la solucin para los restantes valores de c.

Lic. Parra, Vernica. CONICET. NIECyT. Departamento de Formacin Docente. Facultad de Ciencias Exactas. UNCPBA

29

Mdulo I Aritmtica de los nmeros enteros

Pgina 30 de 31

18. Un hombre recibi un cheque por cierta cantidad de dinero. Al cobrarlo la cajera confundi el nmero de pesos con el nmero de centavos y viceversa, sin que nuestro hombre lo note. Al salir del banco el hombre hace una compra de 68 centavos, luego de lo cul descubre que posee el doble del dinero de lo que debera haber cobrado. Determinar la mnima cantidad de dinero por la que se puedo haber pagado el cheque. 19. Una caja de lapiceras cuesta $85 y una de gomas de borrar cuesta $93. En qu forma se pueden gastar $1420 si se quieren comprar ms cajas de lapiceras que de gomas de borrar? 20. Determinar cules de los siguientes nmeros son primos: 103, 1997, 1111, 262 + 2 y 811. 21. Utilizando la Criba de Eratstenes listar todos los primos entre 100 y 150. 22. Probar que p es primo si y slo si D( p ) = {1, p} 23. Hallar todos los enteros p tales que p y p + 1 son enteros primos. 24. Se sabe que p, p + 2 y p + 4 son primos. Hallar p. 25. Probar que si p 5 es un nmero primo impar, entonces p 2 1 p 2 + 1 es divisible por 10. 26. Decidir si (2 p : 4 p + 3) = 1 cualquiera sea el primo p. 27. Decidir si (2 p + 1 : 3 p + 2 ) = 1 cualquiera sea el primo p. 28. Probar que los siguientes nmeros reales no son nacionales: a) 2 b) 3 c) n p p primo, n d)

2 5
k

29. Probar que si n no es la k-sima potencia de ningn nmero entero entonces un nmero irracional cualesquiera sean n y k enteros positivos.

n es

30. Sea p un nmero primo tal que p > 3 , probar que p se puede escribir de la forma a) 4n + 1 4n + 3 para algn n b) 6n + 1 6n + 5 para algn n 31. Probar que los enteros de la forma n 4 + 4 con n > 1 o de la forma 8n + 1 con n 1 son compuestos. 32. Probar que si a y b son dos enteros tales que (a : b ) = 1 entonces

Lic. Parra, Vernica. CONICET. NIECyT. Departamento de Formacin Docente. Facultad de Ciencias Exactas. UNCPBA

30

Mdulo I Aritmtica de los nmeros enteros


a) b) c)

Pgina 31 de 31

(2a + b : a + 2b ) = 1 3.

(a + b : a (a + b : a

+ b 2 = 1 2. 2 ab + b 2 = 1 3.
2

33. Probar que si n es un cuadrado perfecto, al dividirlo entre 4 el resto slo puede ser 0 1. 34. Decidir si existen nmeros enteros a y b tales que verifiquen en cada caso las relaciones dadas. Si existen caracterizar los tales a y b. Justificar en cada caso: a) a 2 = 3b 2 b) a 2 = 12b 2 c) a 2 = b3 d) 15a 2 = 45b 2 35. Hallar el desarrollo 3-dico, 2-dico (binario), 8-dico (octal) y 16-dico (hexadecimal) del nmero 24587.

Lic. Parra, Vernica. CONICET. NIECyT. Departamento de Formacin Docente. Facultad de Ciencias Exactas. UNCPBA

31

You might also like