Resumen de Teor a de Enteros

Silvia Takahashi 19 de abril de 2012

1.

Introducci on

Este documento complementa la teor a y muestra la soluci on de algunos ejercicios que se encuentran en [2] y [1].

2.

Divisibilidad
a divide a b y escribimos a|b si existe

Denici on 2.1. Dados dos enteros a y b se dice que un entero k tal que b = k a . Formalmente: a|b

k.(a k = b)

En este caso tambi en se dice que b es m ultiplo de a. A partir de esta denici on se pueden demostrar muchas otras propiedades: Teorema 2.1. Si a divide a b entonces para cualquier entero c, a divide a b c. a|b c.(a|b c)

ese entero. Como queremos demostrar la propiedad para Si a|b existe un entero k tal que a k = b. Sea k =k c. Entonces: todo entero, tomamos un entero arbitrario c y denimos k ak = = c ak bc

) tal que a k = b c. Otra demostraci Entonces a|c ya que existe un entero (k on (usando expl citamente el c alculo deductivo):

Expresi on 1 2 3 4 a|b k.(a k = b) =b ak c=bc ak

Justicaci on Hip otesis Def. de | (1) Inst. (2) Multiplicamos a ambos lados por un c arbitrario Generalizaci on k c es un entero (4) Def. | (5) Generalizaci on (6) c es arbitrario

k.(a k = b c)

6 7

a|b c c.(a|b c)

Teorema 2.2. Si a divide a b y a divide a c entonces a divide a b + c. a|b a|c a|(b + c)

b tal que a k b = b y como a|c tambien hay un k c tal que a k c = c. Para Como a|b, entonces hay un k demostrar que a|(b + c), debemos encontrar un k tal que a k = (b + c). Vemos que un k que nos servir a b + k c , pues: ser a k ak = = = b + k c ) a (k b + a k c ak b+c

Otra vez, podemos hacer la demostraci on usando el calculo deductivo:

Ecuaci on 1 2 3 4 5 6 7 8 9 10 a|b a|c k.a k = b k.a k = c b = b ak c = c ak b + a k c = b + c ak b + k c ) = b + c a (k k.a k = b + c a|(b + c)

Justicaci on Hip Hip Def | (1) Def | (2) Inst. (3) Inst. (4) x = y w = v (x + w) = (y + v ) (6,5) factorizacion a (7)) b + k c es un entero) (8) Generalizacion ( k Def | (9).

Denici on 2.2. Una combinaci on linal de b y c es un valor de la forma: b s + c t, donde s y t son enteros. Teorema 2.3. Si a divide a b y a divide a c, entonces a divide a toda combinaci on lineal de b y c. Por lo tanto lo que debemos demostrar es que para todo s y t enteros, si a|b y a|c entonces a|(b s + c t) Si a|b, entonces a|b s (por el Teorema 2.1 ). Si a|c, entonces a|c t (por el Teorema 2.1 ). Entonces por el Teorema (2.2).: a|(b s + c t). Como s y t fueron arbitrarios: s, t.(a|b a|c a|(b s + c t)) Otra vez usando el c alculo deductivo. Ecuaci on 1 2 3 4 5 6 a|b a|c a|b s a|c t a|(b s + c t) s, t.(b s + c t) Justicaci on Hip otesis Hip otesis Teorema 2.1 , s arbitrario (1) Teorema 2.1 , t arbitrario (2) Teorema 2.2 (3,4) Generalizaci on , s y t arbitrarios (5).

Teorema 2.4. La relaci on divide a es una relaci on transitiva. a|b b|c a|c

 Si a|b entonces existe un k , digamos k ab tal que a kab = b. Si b|c entonces existe un k , digamos kbc tal que b k bc = c. Considere, entonces el entero k = kab kbc y note que: ak = = = a k ab kbc b k bc c

tal que a k = c lo que implica que a|c. Por lo tanto a|c ya que encontramos un entero, k Teorema 2.5. Para todo c diferente de cero: a|b si y solamente si a c|b c. Vamos a hacer la demostraci on para un c arbitrario distinto de 0 y as lo demostramos para todo c = 0. Primero demostramos: a|b a c|b c Note que si a|b entonces existe un k digamos k 1 tal que a k1 = b. Multiplicando por c a ambos lados dos da a c k1 = b c. Por lo tanto a c|b c. Ahora demostramos: a c|b c a|b Si a c|b c entonces existe un k digamos k 1 tal que a c k1 = b c. Como c = 0, podemos dividir ambos lados por c y nos da: a k1 = b. Por lo tanto: a|b.

3.

Primos

Denici on 3.1. Un n umero entero mayor que uno es primo si los u nicos divisores son 1 y si mismo. Todo n umero se puede factorizar en factores primos (ver demostraci on en el documento de pruebas y recitaciones) Esta factorizaci on es u nica.

4.

Algoritmo de la divisi on

Teorema 4.1. Para todo par de enteros n y d con d > 0, existen enteros u nicos r y q , con 0 r < d tales que: n=dq+r A q lo llamamos el cociente ( n d ) y a r el residuo (a mod b). Podemos reescribir la ecuaci on de arriba as : n = d (n d) + (n mod d) Note que n d es la divisi on entera de n por d. n d es el mayor entero que es menor o igual a n/d. Por ejemplo 5/2 = 2 y 5/2 = 3. Podemos usar este teorema (el algoritmo de la divisi on) de varias formas. En particular si para dos enteros a y b encontramos que si se puede expresar a de la forma: a = b Q + R con dos enteros Q y R y 0 R < b. Entonces sabemos que Q = a b y R = a mod b. Tenemos entonces los siguientes resultados: Teorema 4.2. Si a divide b entonces b mod a = 0. a|b b mod a = 0

1 2 3 3

a|b k.b = k a a b=k a+0 b=k

hip otesis def | (1) Intanciaci on (2) x + 0 = x (2)

Ahora sabemos que si b = q a + r, y 0 r < a estos n umeros son u nicos. Entonces. k = b a y 0 = b mod a. Teorema 4.3. Si b mod a = 0 entonces a|b. Este resultado es obvio y se deja como ejercicio. Teorema 4.4. Si a mod b = r y r > 0 entonces a mod b = b r y ((a) b) = ((a b) + 1) . a = (a b) b + (a mod b) a = (a b) b (a mod b) a = (a b) b b + b (a mod b) a = ((a b) 1) b + b (a mod b) a = ((a b) + 1) b + b (a mod b)

Como a mod b = 0, entonces 0 < b a mod b < b entonces por el algoritmo de la divisi on sabemos que hay dos n umeros u nicos q y r con 0 r < b a = q b + r Donde q = ((a) b) r = a mod b Por lo tanto, si reemplazamos en la equaci on de arriba: ((a) b) = ((a b) + 1) a mod b = b a mod b Teorema 4.5. Si a mod b = 0 entonces a mod b = r y ((a) b) = (a b) . Esta demostraci on se deja como ejercicio.

5.

M aximo com un divisor [1]

Denici on 5.1. Dados dos enteros a y b el m aximo com un divisor de a y b (gcd(a, b), por sus siglas en ingl es) es el maximo entero que divide tanto a a como a b. Note que si p es un n umero primo entonces para cualquier entero positivo q distinto de p el m aximo com un divisor entre p y q es 1. Teorema 5.1. El m aximo com un divisor de a y b es igual a la m nima combinaci on lineal positiva de a y b 5

Por el principio del buen orden existe m que es la menor combinaci on lineal positiva de a y b. Se demostrar a gcd(a, b) m gcd(a, b). Es decir debemos demostrar: (gcd(a, b) m) (m gcd(a, b)) Demostramos primero gcd(a, b) m: Como gcd(a, b) divide tanto a a como a b, entonces por el Teorema 2.3 debe dividir a m que es una combinaci on lineal de a y b. Si un n umero (positivo) divide a otro n umero (positivo) entonces es menor o igual que ese n umero. Entonces gcd(a, b) m Ahora demostramos que gcd(a, b) m: Para esto demostramos que m|a y m|b. Por el Algoritmo de la divisi on : a = q m + r donde 0 r < m. Ahora, m = s a + t b. Reemplazabdo: a = q (s a + t b) + r Despejando r: r = (1 q s) a + q t b Esto quiere decir que r es una combinaci on lineal de a y b. Pero m es la menor combinaci on lineal positiva. Por lo tanto, como 0 r < m, r = 0. Esto implica que m mod a = 0 y por lo tanto m|a. Podemos hacer un argumento an alogo para demostrar que m|b Entonces m es un divisor com un divisor de a y b. Por lo tanto debe ser menor o igual que el m aximo com un divisor de a y b: a mod b, demostrando as lo que quer amos demostrar: gcd(a, b) m.

6.

Teorema Fundamental de la Aritm etica

Todo entero positivo mayor que cero se puede descomponer de forma u nica como un producto de n umeros primos. Primero hay que demostrar que todo n umero se puede descomponer como un producto de n umeros primos (Ver demostraci on en el documento Pruebas y Recitaciones que les envi e). Luego demostramos que esta descomposici on es u nica. Para demostrar esto se requiere demostrar unas propiedades adicionales. (Ver demostraci on completa en [1].

7.

Congruencias m odulo
Decimos que dos enteros a y b son congruentes m odulo n y escribimos a b (mod n)

si n|(a b) . Podemos ver que: Teorema 7.1. b a (mod n) Si y solamente si (a mod n) = (b mod n) Demostremos este teorema.

Comenzamos demostrando: (a mod n) = (b mod n) a b (mod n) Por el algoritmo de la divisi on tenemos que: a = q1 n + r1 donde 0 r1 < b ( r1 = a mod n ) b = q2 n + r2 donde 0 r2 < b ( r2 = b mod n ) como tanto a como b son arbitrarios, sin p erdida de generalidad podemos decir que r1 r2 (a b) = (q1 q2 ) n + (r1 r2 ) 0 (r1 r2 ) < n Por hip otesis (a mod n) = (b mod n), por lo tanto: (r1 r2 mod n = 0) Entonces (a b) = (q1 q2 ) n Como (q1 q2 ) es un entero, n|(a b) Por lo tanto: a b (mod n) Ahora demostramos: a b (mod n) (a mod n) = (b mod n) Por el algoritmo de la divisi on tenemos que: a = q1 n + r1 donde 0 r1 < n ( r1 = a mod n ) b = q2 n + r2 donde 0 r2 < n ( r2 = b mod n ) Restamos la segunda equaci on de la primera (a b) = (q1 q2 ) n + (r1 r2 ) n < (r1 r2 ) < n Por hip otesis a b (mod n). Es decir: n|(a b) Reemplazando a b tenemos que: n|((q1 q2 ) n + (r1 r2 )) Usamos n|(n x + y ) n|y y obtenemos: n|r1 r2 Como b < (r1 r2 ) < b, el u nico valor que es divisible por n en este rango es 0. Por lo tanto: r1 r2 = 0 Entonces: r1 = r2 Es decir: a mod n = b mod n Teorema 7.2. Veamos otras propiedades para (mod n) 1. Reexividad: a a (mod n) 2. Simetr a: a b (mod n) a b (mod n) 3. Transitividad: a b (mod n) b c (mod n) a c (mod n) 4. Sumando una constante: a b (mod n) a + c b + c (mod n) 5. Multiplicando una constante: a b (mod n) a c b c (mod n) 6. Cerrado a la suma: a b (mod n) c d (mod n) a + c b + d (mod n) 7. Cerrado a la multiplicaci on: a b (mod n) c d (mod n) a c b d (mod n) 7

Reexividad a a (mod n) a a (mod n) si y solamente si n divide a a a. Es decir si n divide a 0. Sabemos que todo n umero divide a cero. Entonces est a demostrado. Simetr a a b (mod n) b a (mod n) a b (mod n) si y solamente si n divide a a b. tal que k n = (a b). Esto quiere decir que existe un k Vemos que: k n = (b a). = k es un entero tal que: k n = (b a). Es decir k Por lo tanto, n divide a b a y b a (mod n). Usando el c alculo deductivo: Ecuaci on justicaci on

1 2 3 4 5 6

a b (mod n) n|(a b) k.k n = (a b) n = (a b) k n = (b a) k k.k n = (b a)

hip otesis Def. (mod n) (1) Def. | (2) Inst. (3) mult. (-1) (4) (5) es un entero) (k def | def (mod n)

7 8

n|(b a) a b (mod n)

Demostramos la u ltima propiedad bas andonos en las anteriores. Ecuaci on 1 2 3 4 5 a b (mod n) c a c b (mod n) c d (mod n) c b d b (mod n) a c b d (mod n) Justicaci on Hip otesis Propiedad c (1) Hip otesis Propiedad c (3) Ecuaci on transitividad ( 2, 4)

Referencias
[1] Albert R. Meyer. Mathematics for computer science. MIT, 2010.

[2] Kenneth H. Rosen. Discrete Mathematics and Its Applications 6th Edition. McGraw Hill Higher Education, 2007.