Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                

Congruencias

Descargar como doc, pdf o txt
Descargar como doc, pdf o txt
Está en la página 1de 6

Congruencias

Decimos que dos nmeros enteros a y b son congruentes mdulo m (donde m es natural) si a y b tienen el mismo resto en la divisin por m. Escribimos a = b md(m) para simbolizar que a es congruente a b mdulo m. Ejemplos:

1 = 6 md(5) porque 6 y 1 tienen el mismo resto en la divisin por 5. 11 = -1 md(4) pues 11 y -1 tienen el mismo resto en la divisin por 4. 14 = 0 md(2) porque ambos tienen resto 0 en la divisin por 2 (es decir son divisibles por 2).

Lo interesante de esto es que podemos dividir a los nmeros enteros en varios grupos segn el resto que tengan en la divisin por un nmero natural m. Por ejemplo, segn el resto en la divisin por 3: A = {...., -6, -3, 0, 3, 6, 9, 12, ....} B = {...., -5, -2, 1, 4, 7, 10, 13, ...} C = {...., -7, -4, -1, 2, 5, 8, 11, ....} El conjunto de los enteros que tienen resto 2 en la divisin por 3 (..., -7, -4, -1, 2, 5, 8,....), son todos los x enteros tal que x = 2 md(3). Otra forma de escribir esto mismo, de mucha utilidad a la hora de resolver problemas, es decir que son los enteros de la forma 3k+2 donde k es entero. Un resultado muy til que pueden verificar ustedes mismos es que a = b md(m) si y slo si a-b es divisible por m. Este resultado es uno ms en una larga lista de propiedades que cumple la congruencia y que comparte con la igualdad.

Si a = b md(m) y b = c md(m) entonces a = c md(m)

Esta propiedad es casi obvia pues si a tiene el mismo resto en la divisin por m que b, y b el mismo que c, entonces a y c tendrn el mismo resto en la divisin por m. Es muy importante que en ambos casos se trate del mismo m.

Si a = b md(m) y c = d md(m) entonces:

a) a + c = b + d md(m) b) a - c = b - d md(m) c) a.c = b.d md(m) a) Como a = b md(m) entonces m | a-b (que significa m divide a ab). Del mismo modo m | c-d. Como m divide a a-b y a c-d entonces dividir a la suma de ambos nmeros. Es decir, m | a-b+c-d, o lo que es lo mismo m | (a+c)-(b+d) lo que implica que a + c = b + d md(m). b) Se demuestra igual al anterior. c) Sean a = m.e + r1 , b = m.f + r1 , c = m.g + r2 y d = m.h + r2 donde 0 < r1, r2 < m. Notar que a y b tienen el mismo resto en la divisin por m, al igual que c y d. Entonces a.c = (m.e + r1).(m.g + r2) = m (m.e.g + e.r2 + g.r1) + r1.r2. Entonces a.c = r1.r2 md(m). Del mismo modo b.d = r1.r2 md(m) por lo que a.c = b.d md(m).

Si a = b md(m) entonces an = bn md(m)

Intenten probarlo ustedes mismos utilizando el punto anterior.

Si a.b = a.c md(m) y m es coprimo con a (es decir que a y m no tienen ningn divisor primo en comn), entonces b = c md(m).

Como a.b = a.c md(m) entonces m | a.b-a.c. Es decir que m | a(b-c). Dado que ningn divisor de m divide a a, entonces m debe dividir a bc con lo cual tenemos que b = c md(m).

Si a.b = 0 md(p) donde p es primo, entonces a = 0 md(p) b = 0 md(p).

Les dejamos a ustedes la demostracin de esta propiedad. Cualquier duda consltennos. Debido a las frecuentes confusiones que se generan entre estas propiedades y las propiedades de la igualdad, queremos hacerles algunas aclaraciones. Salvo casos particulares, en general NO es cierto que:

Si a = b md(m) y b = c md(n) entonces a = c md(n). Por ejemplo: 1 = 4 md(3) y 4 = 8 md(2) pero no es cierto que 1 = 8 md(2). Si a.b = a.c md(m) entonces b = c md(m). Por ejemplo: 2.3 = 2.12 md(6) pero no es cierto que 3 = 12 md(6). Es decir, NO vale dividir en congruencias.

Si an = bn md(m) entonces a = b md(m). Por ejemplo: 14 = 34 md(8) pero no es cierto que 1 = 3 md(8). Es decir, NO vale sacar races en congruencias.

Un resultado importante: Todo nmero entero a, es congruente a uno y slo un entero r tal que 0 < r < m. Este nmero r es el resto de la divisin de a por m. Otra forma de escribir el teorema anterior es la siguiente: Existen nicos enteros b y r tal que a = m.b + r donde 0 < r < m. Se pueden hallar muchsimos ejemplos donde aplicar congruencias a la resolucin de problemas. Un ejemplo de esto es la deduccin de criterios de divisibilidad. En la clase 2 del ao pasado vimos el criterio de divisibilidad por 9, veamos ahora una criterio para el 11. El resto al dividir un nmero natural N por 11, es igual al resto de dividir la suma alternada de sus cifras por 11. Veamos por qu. Sea N = a0 + a1.10 + a2.102 + ... + an.10n Como 10 = -1 md(11) entonces 10k = (-1)k md(11) para cualquier natural k. Por tanto: N = a0 + a1.(-1) + a2.(-1)2 + ... + an.(-1)n md(11). Es decir que N y a0 a1 + a2 - ... + an.(-1)n tienen el mismo resto en la divisin por 11. Por ejemplo, 297424 = 4-2+4-7+9-2 md(11) por lo que 297424 tiene resto 6 en la divisin por 11. Un resultado interesante que se desprende de esta demostracin es que: Un nmero es divisible por 11 si y slo si la suma alternada de sus cifras es divisible por 11. Veamos algunos problemas para ver como aplicar congruencias. Antes de leer las respuestas les sugerimos que intenten resolverlos por cuenta propia ... A. Hallar un criterio de divisibilidad para el 7 y uno para el 13. B. Probar que la ecuacin 5n + 2 = 17m no tiene soluciones con n y m naturales.

Soluciones
A. El objetivo de hacer un criterio de divisibilidad por m es evitar realizar la divisin de un nmero grande por m. La idea es hacer alguna operacin con el nmero que involucre solamente sumas o restas de modo de obtener un nmero ms chico y con el mismo resto en la divisin por m. Luego se repite este proceso hasta llegar a un punto en el que se obtiene un nmero pequeo (o relativamente pequeo) del que se obtiene el resto en la divisin por m, haciendo la divisin misma. Esto es especialmente til en computacin ya que una computadora suma y resta mucho ms rpido de lo que divide. Lo ms interesante es que se puede hallar un criterio de divisibilidad para cualquier natural m (lo cual no siempre es fcil, ni siempre es til). Veamos un criterio de divisibilidad que sirva tanto para el 7 como para el 13. La primer idea es notar que 1001 es divisible por 7 y por 13 (ya que 1001 = 7.11.13). Dado que 1000 = -1 md(1001) entonces 1000k = (-1)k md(1001). Se les ocurre como seguir en base a lo que vimos sobre el criterio de divisibilidad por 11? Si N = an an-1 ..... a6 a5 a4 a3 a2 a1 a0 donde a0 es el dgito de las unidades, a1 el de las decenas, etc. Otra forma de escribir esto es: N = a2 a1 a0 + 1000 . a5 a4 a3 + 10002 a8 a7 a6 + .... Entonces a2 a1 a0 = (-1)0 a2 a1 a0 md(1001), 1000 . a5 a4 a3 = (-1)1 . a5 a4 a3 md(1001), etc. Por lo tanto: N = a2 a1 a0 - a5 a4 a3 + a8 a7 a6 - a11 a10 a9 +.... md(1001) Veamos un ejemplo: Hallar el resto al dividir N = 3932089562389214 por 13. Sabemos que N tiene el mismo resto en la divisin por 1001 que 214-389+562089+932-3 = 1227. Es decir que N = 1227 md(1001) y adems 1227 = 227-1 md(1001). Por tanto, N = 226 md(1001). Entonces N-226 es divisible por 1001 y por tanto en divisible por 13. Es decir que 13| N-226, lo cual equivale a N = 226 md(13). Dado que 226 = 5 md(13) entonces N = 5 md(13). O sea que el mecanismo para hallar el resto al dividir N por 13 (o por 7 que es lo mismo) es el siguiente:

Hacer la suma alternada de los bloques de nmeros de tres cifras comenzando por la derecha del nmero. Si aparecen

ceros considerar al nmero como de dos cifras, una o cero segn corresponda (como en el ejemplo restamos 089). Si la cantidad de dgitos no es mltiplo de 3 no importa, resta o sumar (segn corresponda) el nmero de una o dos cifras (como en el ejemplo que restamos 3). Si se obtiene un nmero negativo suma un mltiplo de 1001 hasta obtener un nmero positivo. Repetir los pasos anteriores las veces que sea necesario hasta obtener un nmero entre 0 y 1000 ambos inclusive. Hallar el resto al dividir este ltimo nmero por 13. Este resto ser el resto al dividir N por 13.

Se animan a hallar un criterio de divisibilidad por 7 teniendo en cuenta que 7 divide a 999.999?Sirve tambin para el 13?

B. Encarar este problema sin conocer un poco de congruencias, podra parecer en un principio desbordante. Cmo hago para saber si existen n y m si hay infinitas posibilidades para cada uno? Ser que de un lado obtengo siempre un nmero par y del otro lado siempre un impar? Esto ltimo no ocurre, pero si ocurriera sera una buena demostracin de que no existen n y m. Ser que el miembro de la izquierda nunca es divisible por 17? Falso tambin, por ejemplo si n = 14. A propsito, cmo pueden probar que 514 + 2 es divisible por 17? Veamos como las congruencias nos facilitan las cosas. Sabemos que 5 = 1 md(4) por lo que 5n = 1n md(4). Entonces 5n + 2 = 1+2 md(4). Por el otro lado, al ser 17 = 1 md(4) tenemos que 17m = 1m md(4). Y dado que 1 y 3 no tienen la misma congruencia mdulo 4 ambos miembros nunca pueden ser iguales. En otras palabras no existen n y m naturales que satisfagan la ecuacin del enunciado. Les dejamos algunos problemas para que practiquen y retomamos el tema la clase que viene....

Problemas
1. Hallar todas las soluciones de la ecuacin 3n - 5m = 4 para n y m enteros positivos. 2. Hallar la cifra de las unidades de 7777. 3. Hallar el dgito k para que el nmero 34512k8675423 sea divisible por 7.

4. Demostrar el siguiente resultado: Sea p un nmero primo. Hallar un criterio de divisibilidad por p de modo de asegurarse que no sea necesario efectuar la divisin de ningn nmero de ms de p-1 cifras.

También podría gustarte