12.05.2013 Views

Una Introducción (otra mas) - Departamento de Matemática y ...

Una Introducción (otra mas) - Departamento de Matemática y ...

Una Introducción (otra mas) - Departamento de Matemática y ...

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Sergio Plaza 275<br />

2 p +p 2 ≡ 0 (mod 3).<br />

Pero entonces 2 p +p 2 es siempre divisible por 3 si p > 3. Luego<br />

el único caso es p = 3.<br />

Problema 8.7 Determinartodoslosenteros positivos n paraloscuales<br />

la expresión 2 n +1 es divisible por 3.<br />

Solución. Consi<strong>de</strong>remoscongruenciamódulo3. Entonces, 2 ≡ −1(mod 3)<br />

implica que 2 n ≡ (−1) n (mod 3), luego 2 n +1 ≡ [(−1) n +1] (mod 3)<br />

Luego, si n es impar, 2 n + 1 ≡ 0 (mod 3), es <strong>de</strong>cir, 2 n + 1 es<br />

divisible por 3 para todo n impar. A<strong>de</strong>más, si n es par se obtiene que<br />

2 n +1 ≡ 2 (mod 3). Luego 2 n +1 no es nunca divisible por 3 si n es<br />

par.<br />

Problema 8.8 Sean a y b números naturales tales que su máximo<br />

común divisor es d. Probar que hay exactamente d números <strong>de</strong>l con-<br />

junto {a,2a,3a,...,(b−1)a,ba} que son divisibles por b.<br />

Solución. Si d = mcd(a,b) entonces d|a y d|b, es <strong>de</strong>cir, existen<br />

enteros r,s tales que a = rd y b = sd, con mcd(r,s) = 1. Luego el<br />

conjunto en cuestión pue<strong>de</strong> <strong>de</strong>scribirse como sigue<br />

{rd,2rd,3rd,···,(b−1)rd,brd} = {krd : k = 1,2,···,b}.<br />

Al dividir cada número <strong>de</strong>l conjunto por b = sd, se obtiene resto<br />

cero si y solamente si s divi<strong>de</strong> a k (notar que mcd(r,s) = 1). Como<br />

b = sd, esto suce<strong>de</strong> exactamente d veces.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!