Documente Academic
Documente Profesional
Documente Cultură
= + =
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: