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

PROPOSIO 3
Sejam a, b, c Z, tais que a|(bc). 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|a
n
-b
n


PROPOSIO 7
Sejam a, b Z e n N. Temos que a+b|a
2n+1
+b
2n+1


PROPOSIO 8
Sejam a, b Z e n N. Temos que a+b|a
2n
-b
2n



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 03

TEOREMA 1
Sejam a, b N, com b >1, existem nmeros
naturais c
0
, c
1
, ..., c
n
menores do que b,
univocamente determinados, tais que
a=c
0
+c
1
b+c
2
b
2
+...+c
n
b
n
.

PROPOSIO 2
Seja a = r
n
...r
1
r
0
um nmero apresentado no
sistema decimal. Uma condio necessria e
suficiente para que a seja divisvel por 5
(respectivamente por 10) que r
0
seja 0 ou 5
(respectivamente 0).

PROPOSIO 3
Seja a = r
n
...r
1
r
0
um nmero apresentado no
sistema decimal. Uma condio necessria e
suficiente para que a seja divisvel por 3 ou por 9
que r
n
+...+r
1
+r
0
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.


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.


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})

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

COROLRIO 3
Dados a, b Z, no ambos nulos, tem-se
(
a
(a,b)
,
b
(a,b)
) =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,
temos que b|a e c|a
bc
(b,c)
|a.

COROLRIO 7
Dados nmeros inteiros a
1
, a
2
, ..., a
n
, no todos
nulos, existe o seu mdc e (a
1
, ..., a
n
) =(a
1
, ..., (n
a-1
,
a
n
)).


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 a
1
, ..., a
n
nmeros inteiros no nulos. Ento
existe o nmero [a
1
, ..., a
n
] e [a
1
, ..., a
n-1
, a
n
] =
[a
1
, ..., [a
n-1
, a
n
]].


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 x
0
, y
0
uma soluo da equao aX +bY =c,
onde (a, b) =1. Ento, solues x, y em Z da
equao so x =x
0
+tb e y =y
0
ta, t Z.

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}.

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 x
0
=n, y
0
=m a soluo
minimal. As solues x, y da equao so dadas
pelas frmulas x =n+tb e y =m-ta, t N{0}, m-
ta 0.


UNIDADE 10

PROPOSIO 1
Dada uma sequncia (a
n
)
n
tal que todo m n,(a
m
,
a
n
) =(a
n
, a
r
), onde r o resto da diviso de m por n,
ento tem-se que (a
m
, a
n
) =(a
m
, a
r
).

PROPOSIO 2
Se n, m, a N, com a 2, ento (a
m
1, a
n
1),
ento (a
m
1, a
n
1) =a
d
1, onde d =(m, n).

LEMA 3
Sejam a, m, n, q, r N, com a 2, tais que n =
mq +r, ento (a
n
+1, a
m
1) =(a
m
1,a
r
+1).

LEMA 4
Sejam a, m, n, q, r N, com a 2, tais que n =mq
+r, ento (a
m
1, a
n
+1) =
* (a
n
+1,a
r
1), se q par.
* (a
n
+1,a
r
+1), se q mpar.
LEMA 5
Sejam a, m, n, q, r N, tais que n =mq +r, ento
(a
m
+1, a
n
+1) =
* (a
n
+1,a
r
+1), se q par.
* (a
n
+1,a
r
1), se q mpar.

PROPOSIO 6
Sejam n, m N, com m|n e
m
n
par. Se a N,
ento, (a
m
+1, a
n
+1) =
* 1, se a par.
* 2, se a mpar.

TEOREMA 7
Se a, n, m N, com a 2, ento, (a
m
1, a
n
1) =
a
(m, n)
1 e (a
m
1, a
n
+1) pode apenas assumir
um dos seguintes valores: 1, 2 ou a
(m, n)
+1.

COROLRIO 9
Tem-se que (a
m
+1, a
n
+1) =
* a
(m, n)
+1, se
[m,n]
(m,n)
mpar.
* 2, se
[m,n]
(m,n)
par e a mpar.
* 1, se
[m,n]
(m,n)
e a so pares.

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


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, u
n
|u
m
.

TEOREMA 3
Seja (u
n
)
n
a sequncia de Finacci, ento (u
m
, u
n
) =
u
(m, n)
.

COROLRIO 4
Na sequncia de Fibonacci, temos que u
n
divide
u
m
se, e somente se, n divide m.