1

ESCOLA SUPERIOR MADRE CELESTE ESMAC

Teoria dos Nmeros Prof. MSc. Helena Lima

UNIDADE III DIVISIBILIDADE

Definio 3.1 - Sejam a e b dois inteiros, com a 0.
Notao: | . , a b b p a p Z = e
Se a divide b tambm se diz que a divisor de b, que b mltiplo de a, que a um fator de b ou que b
divisvel por a.

3.2 Quantidade de nmeros em um intervalo natural:
Intervalo fechado : n( [a,b] ) = b a +1
Intervalo aberto: n( ]a,b[ ) = n( ]a,b[) = b a -1
Intervalo semi- aberto: n( [a,b[ ) = n( ]a,b]) = b a

Exemplos:
1. Quantos nmeros naturais existem nos intervalos abaixo:
a) [10, 15] = 15 10 + 1 = 6
b) ] 10,15[ = 15 10 -1 = 4
c) ]10,15] = 15 10 = 5
d) [10, 15[ = 15 10 = 5

2. Quantos mltiplos de 7 existem entre 14 e 63, inclusive.

1. Calculamos o mltiplo de 7 resulta em 14

7 2 14 2 o primeiro mltiplo x =
2. Calculamos o mltiplo de 7 que d 63 ou algum bem prximo a ele.
7 9 63 9 o ltimo mltiplo x =
9 2 1 8 existem 8 mltiplos de 7 entre 14 e 63 n = + =

3. Quantos nmeros pares existem entre 3 211 e 6 321?
1. Calculamos o mltiplo de 2 que d 3212

3212: 7 1606 o primeiro mltiplo =
2. Calculamos o mltiplo de 2 que d 6322 ou algum bem prximo a ele.
6322: 2 3160 o ltimo mltiplo =
3160 1606 1 1555 existem 1555 mltiplos de 7 entre 3211 e 6321 n = + =

3.3 Relao de divisibilidade em Z

Teorema 3.1: Quaisquer que sejam os inteiros a, b e c tem - se:

(1) a | 0, 1 | a e a | a.
| 0 0 . 0 .0 0
1| 1.
| . 1
a a p p a
a a p p a
a a a a a p p
= = =
= =
= = =

2


(2) Se a | b e se c | d, ento ac | bd.
| .
( ).( ) |
| .
Z
a b b a p
bd ac pq ac bd
c d d c q
e
=
=
`
=
)


(3) Se a | b e se b | c, ento a | c.

(4) Se a | b e se b | a, ento a = b.

(5) Se a | b com b 0, ento | a | | b |
0
| 0 . , 0 | | | | .| | | | 1 | | | | a b b b a p p b a p p b a
=
= = = = > >
(6) Se a | b e se a | c, ento a |(bx + cy) para todos x e y em Z
( )
| . . . .
. . ( . . ) | . .
| . . . .
a b b a p b x a p x
b x c y a p x q y a b x c y
a c c a q c y a q y
= =
+ = + +
` `
= =
) )

Generalizando o denominador temos que:
( )
1 2 1 1 2 2
| , 1, 2,..., , ,..., temos que | ,...,
k n n n
a b k n x x x a b x b x b x = +
3.4 Conjunto dos divisores de um inteiro:
( ) D a { Z*/p| a} p = e
(12) {1, 2, 3, 4,12} D =

3.5 - Divisores comuns de dois inteiros:
Definio 3.3: Chama-se divisor comum de dois inteiros a e b todo inteiro d 0, tal que d | a e d | b.
Notao:
( ) D a,b { Z*/p| a e p| b } p = e
Propriedade: D( , ) D(a) D(b). a b =

3.6 - Algoritmo da Diviso
Uma das propriedades mais importantes dos nmeros naturais a possibilidade de dividir um nmero por
outro com resto pequeno. Essa a chamada diviso euclidiana.
Teorema 3.2: Se a e b so dois inteiros, com b > 0, ento existem e so nicos os inteiros q e r que
satisfazem s condies: a = bq + r e 0 r < b.
O nmero b chamado dividendo, o nmero a divisor, os nmeros q e r so chamados, respectivamente,
quociente e resto da diviso de b por a.
Caso b < a Como b = 0 x a + b, temos que q = 0 e r = b.
Caso b = a Neste caso, tomamos q = 1 e r = 0.
Caso b > a Podemos considerar a sequncia: b a, b 2a, ...,, b - na at encontrar um nmero natural q tal
que b - (q + 1)a < 0, com b - qa 0. Assim, obtemos b = qa + r, onde r = b - qa e, portanto, 0 r < a.

Corolrio 3.1: Se a e b so dois inteiros com b 0, existem e so nicos os inteiros q e r, que satisfazem as
condies: a = bq + r, 0 r < | b |. Portanto, 0 r < a.
Ex1: Diviso euclidiana de 54 por 13:
3

(13) {0,13, 26, 39, 52, 65,...}
54 13 0 54 0 54
54 13 1 41
54 13 2 28
54 13 3 15
54 13 4 2
54 13 5 11 0
54 13 4 2
m
x
x
x
x
x
x
x
=
= =
=
=
=
=
= <
= +

Ex.2: Diviso euclidiana de 20 por 12:
(12) {0,12, 24, 36,...}
20 12 0 20 0 20
20 12 1 20 12 8
20 12 2 20 24 12 0
20 12 1 8
m
x
x
x
x
=
= =
= =
= = <
= +


3.7 - Paridade de um Inteiro
A paridade ou no de um nmero est associada ao algoritmo da diviso.
Na diviso de um inteiro a qualquer por b = 2, os possveis restos so: r = 0 ou r = 1, logo o inteiro a = 2q
denominado par, se r=0 e mpar se r = 1, o que nos remete a:
2 0, par
a = 2q + 1
2 1 1, mpar
a q r a
a q r a
= =

= + =

Sendo assim,
2 2 2
2 2 2 2
(2 ) 4
(2 1) 4 4 1 4( ) 1 mpar
a q q
a q q q q q a
= =
= + = + + = + +

P.1) A soma de dois nmeros pares par.
Os nmeros pares a e b so escritos na forma 2a e 2b, cuja soma 2(a + b), logo par.

P.2)A soma de dois nmeros mpares par.
Os nmeros a e b so da forma 2a + 1 e 2b + 1, cuja soma 2(a + b + 1), logo par.

P.3)A soma de um nmero par com um nmero mpar mpar.
Um dos nmeros da forma 2a e o outro 2b + 1, cuja soma 2(a + b) + 1, logo mpar.
A paridade, isto , a qualidade de ser par ou mpar, da soma de dois nmeros s depende da paridade
de cada um dos nmeros e no dos nmeros em si.

P.4) O produto de dois nmeros pares par.
Os nmeros sendo da forma 2a e 2b, temos que o seu produto 4ab e, portanto, mltiplo de 4, logo par.

P.5)O produto de um nmero par por um nmero mpar par.
Um nmero da forma 2a e um nmero da forma 2b + 1 tm um produto igual a 2a(2b + 1), que par.

P.6) O produto de dois nmeros mpares mpar.
Sendo os nmeros da forma 2a+1 e 2b+1, o seu produto 2(2ab+a+b)+1, logo mpar.
Novamente, como no caso da soma, temos que a paridade do produto de dois nmeros s depende da
paridade desses nmeros e no dos nmeros em si.

4

Assim, podemos decidir a paridade de uma expresso complexa envolvendo produtos e somas de inteiros do
modo abaixo:
Atribuindo o smbolo 0 aos nmeros pares e o smbolo 1 aos nmeros mpares, as observaes acima nos
fornecem as seguintes tabelas que regem a paridade das somas e produtos dos nmeros inteiros.

3 2
2 3 2 0 1 0 0 0 0
8 3 2 24 2 26
x x par
x
+ = + = + = =
+ = + =

Esse mtodo foi idealizado pelo matemtico alemo Carl Friedrich Gauss (1777-1855), considerado o maior
matemtico de todos os tempos, quando tinha perto de 17 anos, e pode ser generalizado para controlar os
restos da diviso dos nmeros inteiros por qualquer nmero natural fixado m.

Ex:
A diviso do quadrado de um nmero inteiro qualquer por 4, propiciar r=0 ou r = 1.

a) Mostrar que o quadrado de qualquer inteiro mpar da forma 8k+1.
Pelo algoritmo da diviso, qualquer inteiro expresso por uma das seguintes formas:
( )
( )
2
2 2 2
2
2 2 2
4 , 4 1, 4 2, 4 3
0
4 1 16 8 1 8(2 ) 1 8 1 7 49 8 6 1
4 3 16 24 9 8(2 3 1) 1 8 1 13 169 8 21 1
k
k
q q q q
a
a bq r a bq r q
b
q q q q q k x
q q q q q k x
+ + +
= + = = =
+ = + + = + + = + = = +
+ = + + = + + + = + = = +



UNIDADE IV Mximo divisor comum - MDC

4. Mximo Divisor Comum:
4.1 Definio 1 - Dados dois ou mais nmeros inteiros no nulos denominamos mximo divisor comum
destes nmeros ao maior nmero inteiro que divisor simultaneamente de todos os nmeros dados. O mdc
o maior elemento da interseo dos conjuntos dos divisores positivos dos nmeros dados.

4.2 Definio 2 - Sejam a e b dois inteiros no conjuntamente nulos (a 0 ou b 0). Chama-se mximo
divisor comum de a e b o inteiro positivo d (d > 0) que satisfaz s condies:
1) d | a e d | b.
2) Se c | a e c | b, ento c| d.

Notao: d = mdc(a, b).

4.3 - Existncia e Unicidade do MDC:
Teorema 4.1 - Se a e b so inteiros no conjuntamente nulos, ento existe e nico o mdc(a,b); alm disso,
existem inteiros x e y tais que mdc(a, b) = ax + by, isto , o mdc(a, b) uma combinao linear de a e b.

Teorema 4.2 - Se a e b so dois inteiros no conjuntamente nulos, ento o conjunto de todos os mltiplos do
mdc(a, b) = d T = {ax + by | x,y eZ}.

5


4.4 Mximo Divisor Comum MDC
O problema de determinar o mdc de dois nmeros bem simples quando os nmeros so pequenos, pois
neste caso podemos listar todos os divisores comuns desses nmeros e escolher o maior deles, que ser
o seu mdc. Por exemplo, para calcular mdc(12; 18), determinamos os divisores
de 12 e de 18, que so:
(12) { 1, 2, 3, 4, 6, 12}
(12,18) 6
(18) { 1, 2, 3, 6, 9, 18}
D
mdc
D
=
=
`
=
)

No entanto, quando um dos dois nmeros for grande, esse mtodo fica impraticvel, pois achar os divisores
de um nmero grande muito complicado. O que fazer ento? Euclides, trs sculos antes de Cristo, nos d
uma soluo para este problema descrevendo um algoritmo muito eficiente para fazer este clculo.
Um nmero d divisor comum de a e b, no ambos nulos, se, e somente se, ele um divisor comum de a
e (b a).
mdc(a; b) = mdc(a; b - a)
O Lema de Euclides: Dados inteiros a e b, os divisores comuns de a e b so os mesmos que os divisores
comuns de a e (b - c . a), para todo nmero inteiro c fixado.
mdc(3264,1234) = mdc(1234, 3264 -1234) = mdc(1234 - 2030) = mdc(1234, 2030 -1234)
mdc(1234, 796) = mdc(796, 438) = mdc(358, 438) = mdc(358, 80) = mdc(278, 80)
mdc(278, 80) = mdc(198, 80) = mdc(118, 80) = mdc(38, 80) = mdc(38, 42) = mdc(38, 4)
mdc(38, 4) mdc(34, 4) = mdc(30, 4) = mdc(26; 4) = mdc(22; 4) = mdc(18; 4) = mdc(14, 4)
mdc(14, 4) = mdc(10, 4) = mdc(6, 4) = 2
=


4.5 - Algoritmo de Euclides
Lema - Se a = bq + r, ento mdc(a, b) = mdc(b, r):
Sejam a e b dois inteiros no conjuntamente nulos cujo mximo divisor comum se deseja determinar. Ento:
1) Se a 0, ento mdc(a,0) = |a|.
2) Se a 0, ento mdc(a,a) = |a|.
3) Se b | a, ento o mdc(a,b) = |b|.
4) Se a no divide b e b no divide a, ento a = bq + r e mdc(a, b) = mdc(b, r).

Dispositivo prtico para o clculo do Mximo divisor comum de dois inteiros positivos a e b denominado
Algoritmo de Euclides.

mdc(72,48)=24


mdc(96,60)

6

Teorema: Se k > 0, ento o mdc(ka, kb) = k mdc(a, b).
Corolrio:Para todo k 0, o mdc(ka, kb) = |k| mdc(a, b).

4.6 - Inteiros Primos entre si:
Definio 4.3 - Sejam a e b dois inteiros no conjuntamente nulos. Diz-se que a e b so primos entre si se, e
somente se, o mdc(a, b) = 1.
Teorema 4.3 - Dois inteiros a e b, no conjuntamente nulos, so primos entre si se, e somente se, existem os
inteiros x e y tais que ax + by = 1.
Corolrio 4.1 - Se o mdc(a, b) = d, ento ( , ) 1
a b
mdc
d d
=
4 10
: 4, 10 (4,10) 2 ( , ) (2, 5) 1
2 2
Ex a b mdc mdc mdc = = = = =
Corolrio 4.2 - Se a | b e se mdc(b, c) = 1, ento o mdc(a, c) = 1.
: 10, 20, 5 | 20| 10 (20, 3) 1 (10, 3) 1 Ex a b c b a mdc mdc = = = = =

Corolrio 4.3 - Se a | c, se b | c e se mdc(a, b) = 1, ento ab | c.

Corolrio 4.4 - Se mdc(a, b) = 1 = mdc(a, c), ento o mdc(a, bc) = 1.
: 2, 5, 7 (2, 5) 1 e (2, 7) (2, 35) 1 Ex a b c mdc mdc mdc = = = = =

Teorema 4.4 - Se a | bc e se o mdc(a, b) = 1 ento a | c.
4.5 - Caracterizao do MDC de dois Inteiros:
Teorema 4.5 - Sejam a e b dois inteiros no conjuntamente nulos . Um inteiro positivo d (d > 0) o mdc(a,
b) se, e somente se, satisfaz s condies:
1) d | a e d | b.
2) Se c | a e c | b, ento c | d.
O conceito de mximo divisor comum, definido para dois inteiros a e b, estende-se de maneira natural a mais
de dois inteiros. No caso de trs inteiros a, b e c, no todos nulos, o mdc (a, b, c) o inteiro positivo d (d > 0)
que, satisfaz s condies:
1) d | a, d | b e d | c.
2) Se e | a, se e | b e se e | b, ento e sd.

4.7 - MDC de Vrios Inteiros:

Teorema 4.6 - O mdc(a,b,c) = mdc(mdc(a,b), c).

Propriedades:

1. Calcular mdc(n, n + 2), sendo n um inteiro par ou mpar.

( , 2)
|
( , 2)
| 2
| 2 1 ou d = 2 2( par)
| 2 1 ou d = 2 1( mpar)
mdc n n
d n
d mdc n n
d n
n par d d d maior
n impar d d d maior
+

= +

= = =
= = =


7

:
) 2 (2, 4) | 2 1 2
| 4 1 2 ou d =4
2
) 5 (5, 7) | 5 1 5

Ex
a n mdc d d d ou d
d d ou d
d
a n mdc d d d ou d
= = = =
= =
=
= = = =
| 7 1 7
1
d d ou d
d
= =
=


2. Existem inteiros x e y tais que c = ax + by se, e somente se, mdc(a, b) | c.

( , ) | , ,
( , ) |
( , ) | e | | ( ) | ( propriedade 7)
( , ) |
( , ) |
propriedade 7, , ; ( )
x y
c ax by mdc a b c x y Z
mdc a b c c ax by
d mdc a b d a d b d ax by d c pela
c ax by mdc a b c
d mdc a b d c c dp
pela x y Z d ax by c ax by q
c a xq b yq c ax by
= + e
= +
= +
: = +
= =
- e = + = +
= + = +


Ex:Achar o menor inteiro positivo c da forma c = 22x + 55y onde x e y so dois inteiros.
(22, 55) 11 11 mdc c = =

3. Se existem inteiros x e y tais que ax + by = mdc(a, b), ento o mdc(x, y) = 1
Soluo:
( )
1 2
d mdc a, b . Ent o existem inteiros x e y tais que d ax by, onde d a e d b
( , ) , ; ; | , |
1
, d a e d b e

d mdc a b x y Z d ax by d a d b
d a b a b
d ax by x y x y
d d d d d
a b
mas p Z p Z a dp
d d
= = +
= e = +
| | | | | | | |
= + = + + =
| | | |
\ . \ . \ . \ .
= e = e =
1 2
1 2
e
1 ( , ) 1
b dp
p x p y mdc x y
=
+ = =


Determinar inteiros positivos a e b sabendo:
a)a + b = 63 e o mdc(a, b) = 9.
8

1
2
1 2
1 2
63
( , ) 9
9 | 9
( , ) 9
9 | 9
63 9 9 63
7
(1, 6) 9 e b = 54
(2, 5) 18 e b = 45
(3, 4) 27 e b = 36
a b
mdc a b
a a p
mdc a b
b b p
a b p p
p p
a
a
a
+ =

=
=

=

+ = + =
+ =
=
=
=

b) ab = 756 e o mdc(a, b) = 6.
1
2
1 2 1 2
1 2
756
( , ) 6
6 | 6
( , ) 6
6 | 6
756 6 .6 756 . 21
. 7
(1, 21) 6 e b =126
(3, 7) 18 e b = 42
ab
mdc a b
a a p
mdc a b
b b p
ab p p p p
p p
a
a
=

=
=

=

= = =
=
=
=


UNIDADE V Mnimo mltiplo comum - MMC

5.1 Mltiplos Comuns
Se a e b so nmeros naturais no nulos, sabemos por definio que o nmero ab um mltiplo no nulo
de b. Por outro lado, pela propriedade comutativa da multiplicao, tem-se que ele tambm um mltiplo de
a. Assim, o conjunto dos mltiplos comuns de a e b, alm de conter o nmero 0, contm tambm o nmero a
x b 0.

5.2 Definio. O menor mltiplo comum no nulo de dois nmeros naturais no nulos a e b denotado por
mmc(a; b) e ser chamado de mnimo mltiplo comum de a e b (ou abreviadamente mmc).

5.3 - Mltiplos Comuns de dois Inteiros:

M(a) = {x eZ | a | x} = {aq | q eZ}.
M(1) = M(1) = Z.

Definio 5.3.1 - Sejam a e b dois inteiros diferentes de zero. Chama-se mltiplo comum de a e b todo
inteiro x tal que a | x e b | x. M(a, b) = M(a) M(b).

Definio 5.3.2 - Sejam a e b dois inteiros diferentes de zero. Chama-se mnimo mltiplo comum de a e b o
inteiro positivo m (m > 0) que satisfaz s condies:
1. a | m e b | m.
9

2. se a | c e b | c, com c > 0, ento m c.
Notao: m = mmc(a, b).
Observao:
a) mmc(a, b) sab.
b) Se a | b, ento mmc(a, b) = |b|.

5.4 MMC de Vrios inteiros:
O conceito de mnimo mltiplo comum, definido para dois inteiros a e b, estende-se de maneira natural a
mais de dois inteiros. No caso de trs inteiros a, b e c, diferentes de zero, o m.m.c(a, b, c) o inteiro positivo
m(m > 0) que satisfaz s condies:
1) a | m, b | m e c | m.
2) Se a | e, b | e, e se c | e, com e > 0, ento m se.


Teorema 3.1. Todo mltiplo comum de dois inteiros a e b mltiplo
de mmc(a; b).

































10




UNIDADE VI Nmeros Primos


6.1 Nmeros Primos

Os nmeros primos so nmeros especiais que desempenham um papel importante dentro da teoria e entre
outras coisas os seus produtos representam todos os nmeros naturais.

Definio. Um nmero natural diferente de 0 e de 1 e que apenas mltiplo de 1 e de si prprio chamado
de nmero primo caso contrrio, chamado de nmero composto.os nmeros 0 e 1 no so classificados
nem como primos nem como compostos. Exceto esses dois nmeros, todo nmero natural ou primo ou
composto. Euclides de Alexandria, em 300 a.C., ou seja, h mais de 2 300anos, mostrou que existem infinitos
nmeros primos.

Teorema 6.1: Se um nmero primo p no divide um inteiro a, ento a e p so primos entre si.

Corolrio 6.1: Se p um primo tal que p | ab, ento p | a ou p | b.

Corolrio 6.2: Se p um primo tal que p | a1a2a3 ... an, ento existe um ndice k, com 1s k sn tal que p | ak..

Corolrio 6.3: Se os inteiros p, q1,q2 ,..., qn so todos primos e se p | q1q2 ... qn, ento existe um ndice k, com
1s k sn tal que p = qk..

Teorema 6.2: - Todo inteiro composto possui um divisor primo.

O Crivo de Eratstenes
Se um nmero natural a > 1 composto, ento ele mltiplo de algum nmero primo p tal que p2 a.
Equivalentemente, primo todo nmero a que no mltiplo de nenhum nmero primo p tal que p
2
< a.
De fato, se a composto e p o menor nmero primo do qual a mltiplo, ento a = p b, onde p e b so
menores do que a.
De todo modo, sendo b primo ou composto, ele ser mltiplo de um nmero primo q. Como a mltiplo de b
e b mltiplo de q, pela transitividade da relao de ser mltiplo, temos que a tambm mltiplo de q e
sendo p o menor primo do qual a mltiplo, temos p q. Logo, p2 p q a.
Por exemplo, para mostrar que o nmero 221(= 13 17), composto,
bastaria testar se ele mltiplo de algum dos nmeros primos
p = 2; 3; 5; 7; 11 ou 13, j que o prximo primo 17 tal que
17
2
= 289 > 221.

2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26
27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50
51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74
75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99
100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120
121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141
142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162
11

163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183
184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204
205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225
226 227 228 229 230 231 232 233 234 235 236 237 238 239 240


Ao observar a tabela de primos acima percebe-se que a diferena de dois nmeros primos consecutivos,
exceto 2 e 3 (que diferem de 1) de no mnimo 2.
Dois primos consecutivos so chamados primos gmeos se eles diferem de 2. Logo, so primos gmeos:
Os pares: (3; 5); (5; 7); (11; 13); (17; 19); (29; 31); (41; 43); (59; 61); (71; 73); (101; 103); (107; 109); (137;
139); (149; 151); (179; 181); (191; 193), (197; 199); (227; 229); (239; 241).

Trs primos consecutivos sero chamados primos trigmeos se a diferena entre cada dois primos
consecutivos da terna 2. Por exemplo, (3; 5; 7) uma terna de primos trigmeos.

At hoje os matemticos ainda no saibam dizer se os pares de primos gmeos formam um conjunto finito
ou infinito.















12















Teorema Fundamental da Aritmtica

O mtodo do Crivo de Eratstenes mostra que dado um nmero natural a, existe um nmero primo p0 tal
que ou a = p0, ou a um mltiplo no trivial de p0; isto , a = p0a1, com 1 < a1 < a.
Se a segunda possibilidade verificada, segue que existe um nmero primo p1, tal que ou a1 = p1, ou a1 =
p1a2, onde 1 < a2 < a1 < a. Assim, a = p0p1; ou a = p0p1a2:

Proposio (Euclides)
Todo nmero natural a > 1, ou primo, ou se escreve como produto de nmeros primos.

Dado um nmero natural a > 2, existem: um nmero r > 0, nmeros primos p1 < ... < pr e nmeros naturais no
nulos n1, ..., nr tais que a = pn1 1 pnr r ;

Teorema Fundamental da Aritmtica:
Teorema 6.3 Todo inteiro positivo n > 1 igual a um produto de fatores primos.
Corolrio 6.4: A decomposio de um inteiro positivo n > 1 como produto de fatores primos nica, a menos
da ordem dos fatores.
Corolrio 6.5: Todo inteiro positivo b > 1 admite uma nica decomposio da forma n = onde, para i =1,2,...,
r cada ki um inteiro positivo e cada pi um primo, com p1 < p2 < ... < pr, denominada decomposio cannica
do inteiro positivo n > 1. r 2 1 kr k2 k1 p ... p p
Exemplo 6.1: Definir mdc e mmc dos nmeros 588 e 936 pela decomposio cannica.
Teorema 6.4 - (de Euclides) - H um nmero infinito de primos.
Teorema 6.5 - Se um inteiro positivo a > 1 composto, ento a possui um divisor primo p . a
6.4 - Crivo de Eraststenes: