UNIDADE 01

PROPOSIO 1 Sejam a. b. c Z. Tem-se que: i) 1|a, a|a e a|0 ii) se a|b e b|c, ento a|c PROPOSIO 2 Se a, b, c, d Z, ento a|b e c|d ==> a.c|b.d

univocamente determinados, 2 a=c0+c1b+c2b +...+cnbn.

tais

que

PROPOSIO 2 Seja a = rn...r1r0 um nmero apresentado no sistema decimal. Uma condio necessria e suficiente para que a seja divisvel por 5 (respectivamente por 10) que r0 seja 0 ou 5 (respectivamente 0). PROPOSIO 3 Seja a = rn...r1r0 um nmero apresentado no sistema decimal. Uma condio necessria e suficiente para que a seja divisvel por 3 ou por 9 que rn+...+r1+r0 seja divisvel por 3 ou por 9, respectivamente. COROLRIO 4 Todo nmero natural se escreve de modo nico como soma de potncias distintas de 2.

PROPOSIO 3 Sejam a, b, c Z, tais que a|(b c). Ento a|b <==> a|c PROPOSIO 4 Se a, b, c Z so tais que a|b e a|c, ento a|(xb + yc), para todo x, y Z. PROPOSIO 5 Dados a, b Z, temos que a|b ab

PROPOSIO 6 Sejam a.b Z e n N. Temos que a-b|an-bn

UNIDADE 05
LEMA DE EUCLIDES Sejam a, b, n Z. Se existe (a, b-na), ento (a, b) existe e (a, b) = (a, b-na). ALGORITMO DE EUCLIDES EXTENDIDO Sejam a, b Z. Existe (a, b) = ma + nb, n, m Z.

PROPOSIO 7 Sejam a, b Z e n N. Temos que a+b|a2n+1+b2n+1 PROPOSIO 8 Sejam a, b Z e n N. Temos que a+b|a2n-b2n

UNIDADE 02
TEOREMA 1 Sejam a, b Z-{0}. Existem q, r Z, tais que b=a.q+r, com 0r<|a| COROLARIO 2 Dados a, b N, existe n Z tal que nab<(n+1)a

UNIDADE 06
TEOREMA 1 Sejam a, b Z no ambos nulos. Se d = minI(a, b) N, ento: i) d mdc de a e b; e ii) I(a, b) = dZ (={Id; I Z})

UNIDADE 03
TEOREMA 1 Sejam a, b N, com b > 1, existem nmeros naturais c0, c1, ..., cn menores do que b,

COROLRIO 2 Quaisquer que sejam a, b Z, no ambos nulos e n N, (na, ma) = n(a, b). (
a b , ) (a,b) (a,b)

COROLRIO 3 Dados a, b Z, no ambos nulos, tem-se = 1.

PROPOSIO 4 Dois nmeros inteiros a e b so primos entre si se, e somente se, existem nmeros inteiros n e m tais que ma+na=1. TEOREMA 5 Sejam a, b, c nmeros inteiros. Se a|b.c e (a, b) = 1, ento a|c. COROLRIO 6 Dados a, b, c Z, com b e c no ambos nulos,
bc |a. (b,c)

PROPOSIO 3 Sejam a, b N, com (a, b) = 1. Todo nmero natural c pode ser escrito de modo nico da seguinte forma: c = na + mb, com 0 n < b e m Z. PROPOSIO 4 c S(a, b) se, e somente se, existem n, m N {0}, com n<b (univocamente determinados) tais que c =na+mb. COROLRIO 5 Temos que L(a, b) = {na+mb N, n, m N, n<b}.

temos que b|a e c|a

COROLRIO 7 Dados nmeros inteiros a1, a2, ..., an, no todos nulos, existe o seu mdc e (a1, ..., an) = (a1, ..., (na-1, an)).

UNIDADE 07
PROPOSIO 1 Dados dois nmeros inteiros a e b, ambos no nulos, temos que [a, b] existe e [a, b](a, b) = |ab|. COROLRIO 2 Se a e b so nmeros inteiros primos entre si, ento [a, b] = |ab|. PROPOSIO 3 Sejam a1, ..., an nmeros inteiros no nulos. Ento existe o nmero [a1, ..., an] e [a1, ..., an-1, an] = [a1, ..., [an-1, an]].

TEOREMA 6 A equao aX + bY = c, onde (a, b) = 1, tem soluo em nmeros naturais se, e somente se, c L(a, b) {na+mb N, n, m N, n<b}se, e somente se, existem n, m N {0}, com n<b (univocamente determinados) tais que c =na+mb. PROPOSIO 7 Suponha que a equao aX + bY = c, com (a, b) = 1, tenha soluo e seja x0 = n, y0 = m a soluo minimal. As solues x, y da equao so dadas pelas frmulas x = n+tb e y = m-ta, t N{0}, mta 0.

UNIDADE 10
PROPOSIO 1 Dada uma sequncia (an)n tal que todo m n,(am, an) = (an, ar), onde r o resto da diviso de m por n, ento tem-se que (am, an) = (am, ar). PROPOSIO 2 Se n, m, a N, com a 2, ento (am 1, an 1), ento (am 1, an 1) = ad 1, onde d =(m, n). LEMA 3 Sejam a, m, n, q, r N, com a 2, tais que n = mq + r, ento (an + 1, am 1) = (am 1,ar + 1). LEMA 4 Sejam a, m, n, q, r N, com a 2, tais que n = mq + r, ento (am 1, an + 1) = * (an + 1,ar 1), se q par. * (an + 1,ar + 1), se q mpar.

UNIDADE 08
PROPOSIO 1 Sejam a, b Z\{0} e c Z. A equao aX + bY = c admite soluo em nmeros inteiros se, se somente se, (a, b)|c. PROPOSIO 2 Seja x0, y0 uma soluo da equao aX + bY = c, onde (a, b) = 1. Ento, solues x, y em Z da equao so x = x0 + tb e y = y0 ta, t Z.

LEMA 5 Sejam a, m, n, q, r N, tais que n = mq + r, ento (am + 1, an + 1) = * (an + 1,ar + 1), se q par. * (an + 1,ar 1), se q mpar. PROPOSIO 6 Sejam n, m N, com m|n e ento, (a + 1, a + 1) = * 1, se a par. * 2, se a mpar.
m n

m n

par. Se a N,

TEOREMA 7 Se a, n, m N, com a 2, ento, (am 1, an 1) = a(m, n) 1 e (am 1, an + 1) pode apenas assumir um dos seguintes valores: 1, 2 ou a(m, n) + 1. COROLRIO 9 Tem-se que (am + 1, an + 1) = * a(m, n) + 1, se * 2, se * 1, se
[m,n] (m,n) [m,n] (m,n) [m,n] (m,n)

mpar.

par e a mpar. e a so pares.

COROLRIO 10 Se a N, tem-se que (am 1, an + 1) = * a(m, n) + 1, se * 2, caso contrrio e a mpar. * 1, caso contrrio e a par.
m (m,n)

par e

n (m,n)

mpar.

UNIDADE 11
LEMA 1 Dois nmeros consecutivos da sequncia de Fibonacci so primos entre si. LEMA 2 Se n, m, N so tais que n|m, ento, un|um.

TEOREMA 3 Seja (un)n a sequncia de Finacci, ento (um, un) = u(m, n). COROLRIO 4 Na sequncia de Fibonacci, temos que un divide um se, e somente se, n divide m.