a. Mostre que todo inteiro da forma 2k (par) ou 2k+1 (mpar)(k pertence a Z).

. Prova: Seja a um inteiro qualquer, o resto da diviso de a por 2 0 e 1. Logo, a=2.k+0=2k ou a=2.k+1 (k pertence a Z). b. Todo inteiro mpar da forma 4k+1 ou 4k+3. Sabemos que a da forma a=2m+1 Se m par, tem-se m=2k Logo, a=2(2k)+1=4k+1 Se m mpar tem-se m=2k+1, logo a=2(2k+1)+1=4k+3+1= 4k+3.

c. O quadrado de um inteiro da forma 3k ou 3k+1. Seja a inteiro. Podemos escrever a=3q+r, com 0r<3. Elevando ao quadrado, vem que: a2 =9q2 +6qr+r2 . Se r=0, temos que: a2 =9q2 da forma a=3k. Se r=1, ento a2=9q2+6q+1=3(3q2 +2q)+1 da forma 3k+1. Se r=2, ento a2=9q2+12q+4=9q2+12q+3+1 =3(q2 +4q+1)+1 tambm da forma 3k+1.

d. O quadrado de um inteiro da forma 4k ou 4k+1. Seja um inteiro. Podemos escrever a=4q+r, Com 0r<4...assim por diante. e. Provar que, de trs inteiros consecutivos, um mltiplo de 3. f. Ache o resto da diviso de: 13158 + 21724 por 3. Soluo: 13158 =13.13.13...13= 153 fatores, o resto da diviso de cada fator 13 por 3 d 1. O produto dos restos d tb 1.

h. Seja m, n inteiros quaisquer. Mostre que: a) m par se, e somente se, m+2n b) m+n mpar se, e somente se, m-n mpar.

21724 =21.21.21...21= 724 fatores de 21. O resto da diviso de 21 por 3 zero. O produto dos restos zero. O resto da diviso de 13158 + 21724 por 3 igual ao resto da diviso de (1+0) por 3 que 1. g. Seja m um inteiro mpar. Mostre que o resto da diviso de m por 4 1 ou 3.
par.

i) Seja a um inteiro. Mostre que: a. Um dos inteiros a, a+1, a+2 divisvel por 3. b. Um dos inteiros a, a+2, a+4 divisvel por 3. c. Um dos inteiros a, a+1, a+2, a+3 divisvel por 4. J. Prove que, para todo n0: a. 7|(23n -1) b. 8|(32n + 7)

g) por hiptese m=2k+1. Se r o resto da diviso de m por 4, ento: 2k+1=4q+r 0r<4. Para r=0 ou r=2, segundo membro dessa igualdade seria par, o que no possvel. h.a) Se m=2k(par), ento m+2n=2k+2n=2(k+n) (par). h.b) Se m+n=2k+1m=2k+1-n, ento m-n=2k+1-n-n=2(k-n)+1(mpar).

i.a) devido ao algoritmo da diviso, a=3k, a=3k+1, a= 3k+2. a=3k3|a (V) a+2=(3k+1)+2 3|(a+2)(v) a+1=(3k+2)+13(k+1), 3|(a+1)(v) i.b) devido ao algoritmo da diviso:a=3k, a=3k+1, a= 3k+2. a=3k3|a(v) a+2=(3k+1)+2=3(k+1) ento 3|(a+2)(v) a+4=(3k+2)+4=3(k+2), ento 3|(a+4)(v)

i.c) Devido ao algoritmo da diviso: a=4k, a=4k+1, a=4k+2, a=4k+3. a=4k, logo, 4|a(v) a+1=4k+3+1=4(k+1), logo, 4|(a+1)(v) a+2=4k+2+2=4(k+1), logo, 4|(a+2)(v) a+3=4k+1+3=4(k+1), logo, 4|(a+3)(v) J.a) 7|(23k -1), vamos fazer a demonstrao por induo finita. Se n=1, 23 -1=8-1=7, logo, 7|7(v). Por hiptese: n=k 23k -1 divisvel por 7(v)

Tese{n=k+1(23(k+1) -1)=23k .23 -1= 23k .8-1=23k (7+1)-1=23k .7+23k-1 7|(23k .7)(v), logo, 7| 3(k+1)-1(v). b.) Agora sua vez, sucesso!! 8|(32n +7) Leituras Obrigatrias/onde est localizada: SANTOS, P. de Oliv. Introduo Teoria dos Nmeros. Coleo Matemtica Universitria. Rio de Janeiro: IMPA.2009. MILIES, C.P. e COELHO, S. P. Nmeros: uma introduo matemtica. SP: EDUSP.2003

COUTINHO,S.C. Nmeros Inteiros e Criptografia RSA. Srie de Computao e Matemtica. RJ:IMPA.2005. FILHO, E. de A. Teoria elementar dos Nmeros. SP: Editora Nobel.1985.
Leituras complementares Revista do Professor de Matemtica. SBM Educao Matemtica em Revista. SBEM http://www.fae.unicamp.br/zetetike/viewissn e.php