Professional Documents
Culture Documents
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.
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
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
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)
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
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
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
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
Pgina 8 de 31
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
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
Lic. Parra, Vernica. CONICET. NIECyT. Departamento de Formacin Docente. Facultad de Ciencias Exactas. UNCPBA
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
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
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
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 .
Luego
Lic. Parra, Vernica. CONICET. NIECyT. Departamento de Formacin Docente. Facultad de Ciencias Exactas. UNCPBA
10
Pgina 11 de 31
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
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
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
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.
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
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
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
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 )
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
Lic. Parra, Vernica. CONICET. NIECyT. Departamento de Formacin Docente. Facultad de Ciencias Exactas. UNCPBA
14
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
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
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)
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
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 .
x = x0 +
bn an , y = y0 con n d 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
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
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
Pgina 19 de 31
x = 10 +
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)
a, b > 0 )
Demostracin: Sean a' =
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
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
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
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)
Lic. Parra, Vernica. CONICET. NIECyT. Departamento de Formacin Docente. Facultad de Ciencias Exactas. UNCPBA
20
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.
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
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.
Lic. Parra, Vernica. CONICET. NIECyT. Departamento de Formacin Docente. Facultad de Ciencias Exactas. UNCPBA
23
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
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
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 .
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
Pgina 26 de 31
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
22
...qr
2 r
... 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
Pgina 27 de 31
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
Pgina 28 de 31
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
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
Pgina 29 de 31 a ? 2
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
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
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