Académique Documents
Professionnel Documents
Culture Documents
Moderna
Livro: Algebra
Moderna - Editora Atual
(Higino H. Domingues e Gelson Iezzi)
nibblediego@gmail.com
Compilado dia 26/09/2016
Solucion
ario da 4a edic
ao do livro de Algebra
Moderna dos
autores Higino H. Domingues e Gelson Iezzi. Um dos melhores
livros de
algebra moderna em portugues. Ate porque existem
poucos ttulos semelhantes em nossa lngua, ja que a producao de
livros did
aticos (principalmente para nvel de graduacao e pos), e
um mercado pouco lucrativo.
Para quem desejar; uma c
opia do livro do Higino pode ser baixada em https://pt.scribd.com/doc/74399512/AlgebraModerna-Domingues-Iezzi.
A expectativa e que seja respondido um captulo do livro por
mes. Contudo, pode haver atrasos, uma vez que digitar todo o
texto consome mais tempo do que resolver os exerccios. De todo,
modo n
ao deixe de acompanhar este documento no link a seguir
para obter todas as atualizac
oes. www.number.890m.com
Sum
ario
1 No
c
oes Sobre Conjuntos e Demonstra
c
oes
` 16 . . . . . . . . . . . . . . . . . . . . . . . . .
1.1 EXERCICIOS DA PAGINA
13 A
` 28 . . . . . . . . . . . . . . . . . . . . . . . . .
1.2 EXERCICIOS DA PAGINA
25 A
3
3
18
2 Introdu
c
ao `
a Aritm
etica dos N
umeros
` 39 .
2.2 EXERCICIOS DA PAGINA
38 A
` 45 .
2.3 EXERCICIOS DA PAGINA
44 A
` 49 .
2.4 EXERCICIOS DA PAGINA
48 A
` 62 .
2.6 EXERCICIOS DA PAGINA
61 A
Inteiros
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
30
30
35
46
51
58
65
3 Rela
c
oes, Opera
c
oes, Aplica
c
oes
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
77
. 77
. 84
. 91
. 95
. 102
4 Agradecimentos
` 71
A
` 76
A
. . .
` 82
A
` 82
A
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
111
Algebra
Moderna
No
c
oes Sobre Conjuntos e Demonstrac
oes
1.1
` 16
EXERCICIOS DA PAGINA
13 A
d) BAC
e) CD6=
Solu
c
ao de a:
Observe que exceto pelo conjunto C, todos os conjuntos estao sendo caracterizados por meio
de uma inequac
ao.
B = {x R | x inequacao}
Normalmente a resoluc
ao de problemas que envolvem operacoes entre conjuntos, em que
os conjuntos s
ao caracterizados por uma inequacao, depende da passagem do conjunto de sua
notac
ao entre chaves para a sua representacao como intervalo. Veja:
Para expressar o conjunto A como intervalo primeiro resolvemos a inequacao que caracteriza
o conjunto.
x2 < 4
x < 2 ou x > 2
Logo A e o intervalo (2, 2).
-2
2
Conjunto A
2
c
Conjunto A
Algebra
Moderna
Logo B e a uni
ao dos intervalos (, 1] [2, ).
-1
2
Conjunto B
-2
Algebra
Moderna
Note que o maior termo de C e maior que zero e todos os seus termos sao nao nulos, ou seja
est
ao entre 0 e 1. Como (0, 1) Bc entao a afirmativa e VERDADEIRA.
Solu
c
ao de d:
BA = R. Assim a afirmativa e VERDADEIRA.
Solu
c
ao de e:
Todos os elementos de D s
ao negativos, ao passo que todo elemento de C sao positivos. Assim,
n
ao existe intersec
ao entre eles, isto e CD = .
Assim, a afirmativa e FALSA.
Algebra
Moderna
4. Se A, B e C s
ao conjuntos tais que A B = A C e A B = A C, prove que B = C.
Solu
c
ao:
A prova da igualdade entre conjuntos na maioria das vezes consiste em:
1 Passo: Tomar um elemento generico do lado direito da igualdade e mostrar que ele pertence
tambem ao lado esquerdo;
2 Passo: Tomar um elemento generico do lado esquerdo da igualdade e mostrar que ele
pertence tambem ao lado direito;
3 Passo: Evocar a propriedade anti-simetrica.
A conclus
ao do primeiro passo implica na inclusao do conjunto a direita da igualdade no
conjunto a esquerda. Enquanto a conclusao do segundo passo implica na inclusao do conjunto a
esquerda da igualdade no conjunto a direita.
O terceiro passo usa as duas implicacoes dos passos anteriores para garantir a igualdade.
(1 Passo) Se b B ent
ao b A B. Como por hipotese A B = A C entao b A ou
b C ou b pertence a ambos.
Se b A, ent
ao b A B. Como por hipotese A B = A C entao b C. Assim, todo
elemento de B e tambem elemento de C.
Se b C ou a ambos (A e C) a mesma conclusao e imediata.
(2 Passo) Se c C ent
ao c A C. Como por hipotese A C = A B entao c A ou
c B ou c pertence a ambos.
Se c A, ent
ao c A C. Como por hipotese A C = A B entao c B. Assim, todo
elemento de C e tambem elemento de B.
Se c B ou a ambos (A e B) a mesma conclusao e imediata.
(3 Passo) Como todo elemento de B pertence a C (passo 1) e vice-versa (passo 2) entao
pela propriedade anti-simetrica fica provado que B = C.
Algebra
Moderna
6. Se A e B s
ao conjuntos arbitr
arios, demonstre as seguintes propriedades conhecidas como
leis de absorc
ao.
a) A (A B) = A
b) A (A B) = A
Solu
c
ao de a:
Se x A (A B) ent
ao x A. Ou seja, todo elemento de A (A B) pertence a A.
Se a A ent
ao tambem pertence a (A B) e portanto A (A B). Assim, todo elemento
de A pertence a A (A B).
Como todo elemento de A est
a contido em A (A B) e vice versa pela propriedade antisimetrica fica provado a igualdade.
Solu
c
ao de b:
Se x A (A B) ent
ao x A. Ou seja, todo elemento de A (A B) tambem pertence
a A.
Se a A ent
ao a A (A B). O que implica no fato de que todo elemento de A pertence
a A (A B).
Como todo elemento de A (A B) pertence a A, e vice versa, entao pela propriedade
anti-simetrica fica provado a igualdade.
7. Dado um conjunto A, chama-se conjunto das partes de A e indica-se por P(A) o conjunto
de todos os subconjuntos de A. Por exemplo, se A = {1, 2}, entao P(A) = {, {1}, {2}, {1, 2}}
a) Determine P(A) quando A = {, 1, {1}}.
b) Prove que se um conjunto A tem n elementos entao P(A) tem 2n elementos.
c) Se o n
umero de subconjuntos binarios (formados de dois elementos) de um conjunto dado
e 15, quantos subconjuntos tem esse conjunto?
Solu
c
ao de a:
P(A) = {, {}, {1}, {{1}}, {, 1}, {, {1}}, {1, {1}}, {, 1, {1}}
Solu
c
ao de b:
Como ensina a an
alise combinat
oria o n
umero de subconjuntos de A com um elemento e n1 ,
o n
umero de subconjuntoscom dois
elementos e n2 , e etc.
Usando os n
umeros n0 e nn para contar
o conjunto vazio e o proprio A, entao o total de
subconjuntos de A e n0 + n1 + n2 + + nn . Mas essa soma, segundo o teorema das linhas1 ,
1 A soma dos n
umeros binomiais de uma mesma linha
e uma potencia de base 2 cujo expoente
e a ordem da
linha.
Algebra
Moderna
n
2
n!
= 15
2!(n 2)!
n!
= 15
2(n 2)!
n(n 1)(n 2)!
= 15
2(n 2)!
n(n 1)
= 15
2
n(n 1) = 30 n = 5 ou n = 6
Como n e o n
umero de elementos do conjunto nao pode ser negativo. Com isso conclumos
que o conjunto em quest
ao tem 6 elementos e portanto, 26 = 64 subconjuntos.
8. Para indicar o n
umero de elementos de um conjunto finito X, adotemos a notacao n(X).
Mostre ent
ao que se, A e B s
ao conjuntos finitos, verifica-se a importante relacao: n(AB) =
n(A) + n(B) n(AB)
Solu
c
ao:
De fato se indicarmos por A e B respectivamente as partes de A e B formadas pelos elementos
que n
ao est
ao em A B ent
ao n(A B) = n(A) + n(A B) + n(B). Mas n(A) = n(A)
n(A B) e n(B) = n(B) n(A B). Substituindo estas duas u
ltimas igualdades na anterior,
obtemos a igualdade proposta.
Algebra
Moderna
20
14
O n
umero de asisinates das revistas (independente de qual revista seja ou de quantas), e igual
a 30, pois
n(A B) = n(A) + n(B) n(A B)
n(A B) = 20 + 14 4 = 30
Subtraindo este resultado do total de entrevistados (500 30), chega-se a resposta final que
e o total de 470 pessoas.
10. Se A, B e C s
ao conjuntos finitos, mostre que:
n(A B C) = n(A) + n(B) + n(C) n(A B) n(A C) n(B C) + n(A B C)
Solu
c
ao:
Observe a figura seguinte.
C
CA
CB
CBA
AB
Algebra
Moderna
Algebra
Moderna
1
-1
A reta mais acima representa o conjunto A, enquanto a segunda o conjunto B. Pelo esquema
e f
acil ver que todos os elemento de A nao pertencem a B. Sendo assim A B = A.
12. Sejam A e B conjuntos finitos tais que n(AB) = 40, n(AB) = 10 e n(AB) = 26.
Determine n(BA).
Solu
c
ao:
Observe o diagrama
A
AB
Algebra
Moderna
26 = n(A) 10
n(A) = 36 (1)
Tambem vemos que:
n(A B) = n(A) + n(B) n(A B)
40 = n(A) + n(B) 10
n(A) + n(B) = 50 (2)
E por ultimo
n(B A) = n(B) n(A B)
n(B A) = n(B) 10 (3)
Com (2) e (1) conclumos que n(B) = 14.
Usando esse resultado em (3):
n(B A) = 14 10 = 4
Assim, n(B A) = 4
Algebra
Moderna
b) A B = I e B A = , portanto
AB = (A B) (B A)
AB = I
AB = I
c) Observe as retas a seguir:
2
5
A
B
3
1
A
B
13
Algebra
Moderna
A B = A e B A = B sendo assim:
AB = (AB)(BA)
AB = AB
AB = (, -1)(1,3)(4,)
Solu
c
ao de b:
Por definic
ao:
AB = (A)(A)
Dado a A ent
ao a
/ , pois se assim fosse nao seria vazio. Logo todos os elementos de
A n
ao est
ao em B. Em outras palavras, A = A
Tambem por definic
ao A. Sendo assim: (BA) = . Portanto,
AB = A = A.
Analogamente se prova que AA = .
Solu
c
ao de c:
Por definic
ao AB= BA
(AB)(BA) = (BA)(AB)
Como na operac
ao de uni
ao vale a comutatividade fica provada a afirmacao.
14
Algebra
Moderna
Como BA ent
ao Ac = U A = X. Ja Bc = (A B)X. Essas afirmacoes podem ser
visualizadas na imagem acima.
Como Bc = (A B)X ent
ao XBc e como Ac = X entao Ac Bc . C.Q.D2 .
() Se U = ABX ent
ao Bc = XA e Ac = XB.
c
Como por hip
otese A Bc ent
ao XA XB que so pode ocorrer quando AB. C.Q.D.
15
Algebra
Moderna
Se x (AB) C ent
ao x (AB) e x
/ C o que implica em x A e x B. Sendo assim,
x (A C) e x (B C), ou seja, x (A B)(A C).
Isso prova que (AB) C(A C)(B C). (2)
De (1) e (2) e pela propriedade anti-simetrica dos conjuntos fica provado que:
(AB) C = (A C)(B C)
Para mais detalhes de como provar a igualdade entre conjuntos veja o exerccio 4 desta
apostila.
16. Encontre um exemplo para mostrar que pode ocorrer a desigualdade seguinte:
A(BC) 6= (AB)(AC)
Solu
c
ao:
Se A = {1, 2, 3, 4}, B = {6} e C = {5, 6, 7} entao:
A(B C) = {1, 2, 3, 4} ({6} {5, 6, 7}) = {1, 2, 3, 4}
A(B C) = {1, 2, 3, 4} (1)
Considerando agora o 2o membro
(AB) (AC)
= {1, 2, 3, 4}{6} {1, 2, 3, 4}{5, 6, 7}
= {1, 2, 3, 4, 6} {1, 2, 3, 4, 5, 6, 7}
= (2)
Como (1) 6= (2) fica provado a afirmacao.
16
Algebra
Moderna
www.number.890m.com
17
Algebra
Moderna
1.2
` 28
EXERCICIOS DA PAGINA
25 A
AVISO!!
Muitas quest
oes desta sec
ao admitem mais de uma resposta. Assim, nao conclua-a de imediato
que sua resposta est
a errada apenas porque esta diferente da resposta do livro, do seu amigo ou
do professor.
Agora, aproveitando que voce est
a lendo essa parte, quero pedir que caso algum erro de
digitac
ao, ou l
ogica na resoluc
ao dos exerccios seja identificado, por favor, escreva para
nibblediego@gmail.com para que eles possam ser corrigidos.
Solu
c
ao:
a) F ou V = V.
b) V e V = V.
18
Algebra
Moderna
c) Se F ent
ao F = V.
d) Verdadeiro.
e) Falso, pois 0.5 R e 0.52 < 0.5.
ao, x3 = 2.
f) Verdadeiro. Se x = 3 2 ent
g) Verdadeiro. Partindo da lei dos cossenos (valida para qualquer triangulo), e tomando um
triangulo de lados a, b e c tal que:
a2 = b2 + c2 2cos()
para que o quadrado de a seja igual a soma dos quadrados de b e c entao e necessario que
cos() = 0. O que s
o ocorre para = + k, com k Z . No entanto, para k > 0 teramos um
2
triangulo com angulo interno maior que 180 (o que nao pode ocorrer, pois a soma dos angulos
2
2
1
0
eB=
0
1
2
2
.
18. Considere que numa universidade se tenha a seguinte situacao: ha pesquisadores que nao
s
ao professores e professores que n
ao s
ao pesquisadores, mas alguns pesquisadores sao professores.
Isso posto, quais das seguintes afirmacoes relativas a essa universidade sao verdadeiras?
Solu
c
ao:
O diagrama a seguir ilustra a situacao descrita.
19
Algebra
Moderna
Pesquisador
Professor
a) V; b) V; c) F; d) V; e) V; f) F.
a) Qualquer lado de um triangulo e menor que a soma dos outros dois lados.
b) Todo numero primo diferente de 2 e impar.
c) Para um numero real x tal que 2 < x < 2, vale x2 < 4.
d) Duas retas quaisquer, paralelas ente si e nao paralelas ao eixo das ordenadas, tem
o mesmo coeficiente angular.
e) Sempre que uma func
ao real de variavel real e diferenciavel num ponto, ela e
continua nesse ponto.
f) Um determinante e nulo quando uma de suas filas e formada de zeros.
Solu
c
ao:
a) Se e um triangulo, ent
ao qualquer lado de e menor que a soma dos outros
dois.
b) Se p e um numero primo diferente de 2, entao p e impar.
c) Se x e um numero real tal que 2 < x < 2, entao x2 < 4.
d) Se duas retas s
ao paralelas entre si e se nao sao paralelas ao eixo das ordenadas,
ent
ao essas retas tem o mesmo coeficiente angular.
e) Se uma func
ao real de vari
avel real e diferenciavel num ponto, entao ela e continua
nesse ponto.
f) Se uma das filas de um determinante e formada de zeros, entao esse determinante
e nulo.
20
Algebra
Moderna
a) p e ( q):
b) ( r) ou ( p):
c) se (p e r), ent
ao q:
d) p se, e somente se, r.
Solu
c
ao:
a) V e F = F.
b) V ou F = V.
c) Se (V e F), ent
ao V se F, entao V = V.
d) V se, e somente se, F = F.
a) Se x R e x > 2, ent
ao x2 4.
b) Nenhum tri
angulo ret
angulo e equilatero.
c) Qualquer que seja o numero real x, existe um numero inteiro n tal que n > x.
d) Existe um numero complexo z tal que z 5 = 2.
e) Todo ret
angulo e um paralelogramo.
f) Se dois planos s
ao paralelos, entao toda reta de um deles e paralela ao outro plano.
Solu
c
ao:
Algebra
Moderna
e) Existem ret
angulos que n
ao s
ao paralelogramos.
f) Existem planos paralelos tais que um deles contem uma reta que nao e paralela ao
outro.
a) x2 5x + 6 = 0
b) x2 16 = (x 4)(x + 4)
c) sen2 (x) + cos2 (x) = 1
d) sen2 (x) sen(x) = 0
e) x2 3x + 3 > 1
f) x2 > 2x3
Solu
c
ao:
22
Algebra
Moderna
a) y > x
b) (x + y)2 = x2 + 2xy + y 2
c) x2 = y
d) sen(x + y) = sen(x) + sen(y)
e) x2 + y 2 0
Solu
c
ao:
23
Algebra
Moderna
Solu
c
ao:
a) Se 2 = 0, ent
ao 4 e um numero primo.
b) Se x2 + x 2 = 0, ent
ao x = 2.
c) Se x e um numero real, ent
ao x e um numero complexo.
24
Algebra
Moderna
d) Se x2 4 < 0, ent
ao x < 2.
e) Se tg(x) > 1, ent
ao x > /4.
Solu
c
ao:
a) Verdadeira.
b) Falsa. As razes de x2 + x 2 = 0 ocorrem apenas para x = 2 ou x = 1. Logo x
n
ao pode ser igual a 2.
c) Correto. Todo conjunto R est
a contido em C.
d) Correto. Resolvendo a inequacao em questao chegamos a 2 < x < 2. O que
prova a condic
ao de x < 2.
e) Correto. A soluc
ao para a equacao e + k > x > + k com k {0, 1, ...}. O
2
4
26. Para quais das bicondicionais seguintes seria correto dizer que a primeira proposicao
(func
ao proposicional na vari
avel real x) acarreta a segunda?
Solu
c
ao:
25
Algebra
Moderna
e) Correto. Recorrendo ao c
alculo diferencial se a reta y = mx + n e perpendicular
1
1
a y = 2x ent
ao m = 0
, o que implica em m = . Dessa ultima equacao
f (2x)
2
tiramos que 2m 1 = 0. Assim, a primeira proposicao acarreta na segunda.
a) Se dois n
umeros inteiros s
ao impares, entao a soma deles e um numero par.
b) Se uma func
ao real de vari
avel real e continua num ponto, entao ela e diferenciavel
nesse ponto.
c) Se uma matriz quadrada e inversvel, entao seu determinante e diferente de zero.
d) Se o grau de um polin
omio real e 2, entao esse polinomio tem duas e apenas duas
razes complexas.
e) Se dois planos s
ao perpendiculares, entao toda reta de um deles e perpendicular
ao a outro.
Solu
c
ao:
26
Algebra
Moderna
28. Classifique como verdadeiras ou falsas as reciprocas e as contra positivas das proposicoes
do exerccio 27.
Solu
c
ao:
Letra
Letra
Letra
Letra
Letra
A: F e V.
B: V e F.
C: V e V.
D: V e V.
E: V e F.
31. Ache um contra exemplo para cada uma das seguintes afirmacoes:
Algebra
Moderna
Solu
c
ao:
32. Justifique a propriedade seguinte de duas maneiras, a primeira atraves de sua contrapositiva e a segunda por reduc
ao ao absurdo: Se m e um inteiro tal que m3 + 2 e impar, entao m
e impar.
Solu
c
ao por contrapositiva:
A contra positiva da proposic
ao e: Se m e um inteiro tal que m3 + 2 e par, entao m e par.
O que de fato e verdade pois o produto entre n
umeros pares e par e a soma de pares tambem.
Assim, como a contrapositiva da proposicao e verdadeira entao a proposicao tambem e.
Solu
c
ao por absurdo:
Suponha por absurdo que m e par. Nesse caso m = 2k com k Z. Sendo assim:
m3 + 2 = (2k)3 + 2
= 8k 3 + 2
= 2(4k 3 + 1)
Como todo numero divisvel por dois e par entao m3 + 2 = 2(4k 3 + 1 e par. O que e um
absurdo, pois por hip
otese m3 + 2 e impar. Logo m tambem deve ser impar.
33. Prove, por meio de um contra exemplo, que n2 +n+41 (em que n e um inteiro estritamente
positivo) nem sempre e um n
umero primo.
Solu
c
ao:
Essa f
ormula e conhecida como formula de Euler e so e valida para n = 1, ..., 39 ate o momento.
Assim poderamos dar como contra exemplo n = 40. Onde teramos 402 + 40 + 41 = 1681 que e
divisvel por 41.
28
Algebra
Moderna
www.number.890m.com
29
Algebra
Moderna
Introdu
c
ao `
a Aritm
etica dos N
umeros Inteiros
2.1
EXERCICIOS DA PAGINA
33
a) 1 + 2 + + n =
n(n + 1)
(n 1)
2
b) 1 + 3 + 5 + + (2n 1) = n2 (n 1)
c) 13 + 23 + + n3 = (1 + 2 + ... + n)2 (n 1)
d) 1 2 + 2 3 + + n (n + 1) =
n(n + 1)(n + 2)
(n 1)
3
e) n2 > n + 1 (n 2)
Solu
c
ao de a:
i) Observe que a proposic
ao e verdadeira para n = 1, pois
1=
1(1 + 1)
=1
2
k(k + 1)
2
k(k + 1)
+ (k + 1)
2
chegamos
a:
1 + + k + (k + 1) =
(k + 1)(k + 2)
2
30
Algebra
Moderna
Prova de ii:
Se a proposic
ao e verdadeira para k entao:
1 + 3 + 5 + + (2k 1) = k 2
Note que os valores a direita crescem de 2 em 2 (1, 3, 5,...). Assim o proximo termo da
sequencia depois de 2k 1 seria 2k + 1.
1 + 3 + 5 + + (2k 1) + (2k + 1) = k 2 + (2k + 1)
1 + 3 + 5 + + (2k 1) + (2k + 1) = (k + 1)2
Ou seja, se a proposic
ao e valida para k entao ela e valida para k + 1. Sendo assim, pelo
princpio de induc
ao a proposic
ao e verdadeira para todo n 1.
Solu
c
ao de c:
prova de i:
A proposic
ao e v
alida para 1, pois 13 = 12 .
Prova de ii:
Se a proposic
ao e v
alida para k entao
13 + 23 + + k 3 = (1 + 2 + ... + k)2
Somando (k + 1)3 em ambos os membros entao
13 + 23 + + k 3 + (k + 1)3 = (1 + 2 + ... + k)2 + (k + 1)3
Como visto na letra a do exerccio 1 + 2 + ... + k =
substituic
ao
(1 + 2 + ... + k) + (k + 1) =
k(k + 1)
. Assim, podemos fazer a seguinte
2
k(k + 1)
2
(1 + 2 + ... + k) + (k + 1) =
31
2
+ (k + 1)3
(k + 1)2 (k + 2)2
22
(k + 1)(k + 2)
2
2
Algebra
Moderna
Com isso mostramos que se a proposicao e valida para k entao ela tambem e valida para
k + 1. Assim, pelo princpio de induc
ao a proposicao e valida para todo n 1.
Solu
c
ao de d:
Prova de i:
A proposic
ao e v
alida para 1.
12=
1(1 + 1)(1 + 2)
3
6=6
Prova de ii:
Tomando a proposic
ao como verdadeira para k entao:
1 2 + 2 3 + + k (k + 1) =
k(k + 1)(k + 2)
3
k(k + 1)(k + 2)
+ (k + 1)(k + 2)
3
1 2 + 2 3 + + (k + 1) (k + 2) =
(k + 1)(k + 2)(k + 3)
3
Com isso mostramos que se a proposicao e valida para k entao ela tambem e valida para
k + 1. Assim, pelo princpio de induc
ao a proposicao e valida para todo n 1.
Solu
c
ao de d:
Prova de i:
A proposic
ao e verdadeira para 2.
22 > 2 + 1
4>3
Prova de ii:
Se a proposic
ao e verdadeira para k entao:
32
Algebra
Moderna
k2 > k + 1
Somando 1 em ambos os membros entao:
k2 + 1 > k + 2
Como (k + 1)2 > k 2 + 1 ent
ao
(k + 1)2 > k 2 + 1 > k + 2
O que resulta em (k + 1)2 > k + 2
Com isso mostramos que se a proposicao e valida para k entao ela tambem e valida para
k + 1. Assim, pelo princpio de induc
ao a proposicao e valida para todo n 2.
33
Algebra
Moderna
www.number.890m.com
34
Algebra
Moderna
2.2
` 39
EXERCICIOS DA PAGINA
38 A
a) 4|(2m 2n)
b) 8|(m2 n2 )
c) 8|(m2 + n2 2)
Solu
c
ao de a:
Se m e n e mpar ent
ao, m = 2p + 1 e n = 2t + 1, para algum p e t Z. Sendo assim:
4|2m 2n
4|2(2p + 1) 2(2t + 1)
4|4p 4t
4|4(p t)
Finalizando a demonstrac
ao.
Solu
c
ao de b:
Se m e n e mpar ent
ao, m = 2p + 1 e n = 2t + 1, para algum p e t Z. Sendo assim:
8|m2 n2
8|(2p + 1)2 (2t + 1)2
8|4(p2 t2 ) + 4(p t)
Analisando p2 t2 e p t temos as seguintes possibilidade:
Algebra
Moderna
36
Algebra
Moderna
8|4(p2 t2 + p + t)
Independente da natureza (par ou mpar) de p e t. O que esta entre parenteses sera um valor
par. Sendo assim:
8|4(p2 t2 + p + t)
8|4(2k)
8|8k
Completando a demonstrac
ao.
Se k for = 0 ent
ao 4|p.
Prova:
p = 2k, mas se k = 0 entao p = 0. Como 4 | 0 entao 4 | p.
Se k for mpar ent
ao 4|p + 2.
Prova:
p + 2 = 2k + 2
= 2(2k 0 + 1) + 2
= 4k 0 + 2 + 2
= 4(k 0 + 1)
como 4|4(k 0 + 1) ent
ao 4|p + 2.
Se k for par ent
ao 4|p.
Prova:
p = 2k
= 2(2k 0 )
= 4k 0
37
Algebra
Moderna
a) 7|(23n 1) (n 0)
b) 8|(32n + 7) (n 0)
c) 11|(22n 3n+2 + 1) (n 1)
d) 7|(32n+1 + 2n+2 ) (n 1)
38
Algebra
Moderna
e) 17|(34n+2 + 2 43n+1 ) ( 0)
Solu
c
ao de a:
i)
Para n = 0 temos:
23(0) 1
= 20 1
=0
como 7|0 a proposic
ao e verdadeira para n = 0.
ii)
Se a proposic
ao e verdadeira para k entao 7|23k 1.
(23k 1) = 7p com p Z
Multiplicando ambos os termos por 23
(23k 1)23 = 7p 23
23k+3 8 = 7(8p)
23(k+1) 1 = 7(8p) + 7
23(k+1) 1 = 7(8p + 1)
como 7|7(8p + 1) ent
ao 7|23(k+1) 1.
Como queramos demostrar.
Solu
c
ao de 6b:
i)
Tomando n = 0 temos
32(0) + 7
=1+7
=8
Logo a proposic
ao e verdadeira para n = 0.
ii)
Se a proposic
ao e verdadeira para k entao 8|32k + 7.
32k + 7 = 8p para algum p Z.
39
Algebra
Moderna
40
+1
Algebra
Moderna
32(1)+1 + 21+2 = 33 + 23 = 35
como 7|35 ent
ao a proposic
ao e verdadeira para n = 1.
ii) Se verdadeira para k ent
ao
7|32k+1 + 2k+2
32k+1 + 2k+2 = 7p para algum p Z.
Multiplicando ambos os membros da equacao acima por 182
182 (32k+1 + 2k+2 ) = 182 (7p)
18(3(2k+2)+1 2 + 2(k+1) 9) = 7(182 p)
3(2k+2)+1 2 32 + 2(k+1)+2 9 2 = 7(182 p)
3(2k+2)+1 18 + 2(k+1)+2 18 = 7(182 p)
32(k+1)+1 + 2(k+1)+2 = 7(18p)
como 7|18 ent
ao 7|32(k+1)+1 + 2(k+1)+2 .
Como queramos demonstrar.
7. Prove que:
Solu
c
ao de a (Retirada do blog do Everton Alves3 ):
De acordo com o algoritmo da divisao, a = 3q ou a = 3q + 1 ou a = 3q + 2. Isto e, os restos
da divis
ao por 3 somente podem ser 0, 1 ou 2.
Se a = 3q, est
a comprovada a hipotese.
Se a = 3q + 1, ent
ao a + 2 = 3q + 2 + 1 = 3q + 3 = 3(q + 1) a + 2 e divisvel por 3.
Se a = 3q + 2, ent
ao a + 1 = 3q + 2 + 1 = 3q + 3 = 3(q + 1) a + 1 e divisvel por 3.
41
Algebra
Moderna
10. Na divis
ao euclidiana de 802 por a, o quociente e 14. Determine os valores possveis de
a e do resto.
Solu
c
ao:
Pelo algoritmo de divis
ao euclidiana 802 = 14a + r com 0 r < a.
Uma soluc
ao particular e (a, r) = (57, 4), assim as solucoes gerais sao: a = 57+t e r = 414t.
Mas, como 0 r < a, temos
0 4 14t < 57 + t
Isto e, 3 < t 0, logo, t = {3, 2, 1, 0}.
Assim, valores possveis de a e do resto sao:
(a, r) = (54, 46), (55, 32), (56, 18), (57, 4)
42
Algebra
Moderna
12. Quantos n
umeros naturais entre 1 e 1000 sao divisveis por 9? Justifique a resposta.
Solu
c
ao:
Todos os n
umeros entre 1 e 1000 podem ser colocados sob a forma de uma PA onde a1 = 9
e an = 999 com raz
ao r = 9. Assim, determinar o numero de termos dessa PA e conhecer a
quantidade de n
umeros naturais entre 1 e 1000 que sao divisveis por 9.
999 = 9 + (n 1) 9
9n = 999
n = 111
Ou seja, temos 111 n
umeros.
13. Sejam m um inteiro cujo resto da divisao por 6 e 5. Mostre que o resto da divisao de m
por 3 e 2.
Soluc
ao no pr
oprio livro.
43
Algebra
Moderna
44
Algebra
Moderna
www.number.890m.com
45
Algebra
Moderna
2.3
` 45
EXERCICIOS DA PAGINA
44 A
16. Encontre o m
aximo divisor dos pares de n
umeros que seguem e, para cada caso, de uma
identidade de Bezout.
Solu
c
ao de a:
70 = 20(3) + 14 (i)
20 = 14(1) + 6 (ii)
14 = 6(2) + 2 (iii)
6 = 2(3) + 0 (iv)
mdc(74, 20) = 2
Da equac
ao (iii) escreve-se
14 6(2) = 2 (v)
Combinando v e ii
14 (20 14)2 = 2
14(3) 20(2) = 2 (vi)
Combinando vi com i
(74 20(3))(3) 20(2) = 2
74(3) 20(9) 20(2) = 2
74(3) + 20(11) = 2
Assim o mdc(20, 74) = 2 e uma identidade e 74(3) + 20(11) = 2.
Solu
c
ao de b:
O mdc(68, 120) = 4 e uma identidade e 68(7) + 120(4) = 4.
Solu
c
ao de c:
O mdc(42, 96) = 6 e uma identidade e 42(7) + 96(3) = 6.
46
Algebra
Moderna
17. O m
aximo divisor comum de dois n
umeros e 48 e o maior deles e 384. Encontre o outro
n
umero.
Solu
c
ao:
Como 384 e divisvel por 48 ent
ao 48 e a resposta.
18. O m
aximo divisor comum de dois n
umeros e 20. Para se chegar a esse resultado pelo processo das divis
oes sucessivas, os quocientes encontrados foram, pela ordem, 2, 1, 3 e 2. Encontre
os dois n
umeros.
Solu
c
ao (Retirada do PROFMAT 2014.1):
Utilizando o processo das divis
oes sucessivas, para os inteiros positivos a, b, obtem-se:
a = b 1 + r; 0 < r < b
b = r 5 + r1 ; 0 < r1 < r
r = r1 3 + r2 ; 0 < r2 < r1
r1 = r2 3 + r3 ; 0 < r3 < r2
r2 = r3 1 + r4 ; 0 < r4 < r3
r3 = r4 3
Portanto, r4 = mdc(a, b) e por hip
otese r4 = 20 o que implica em r3 = 60.
Substituindo esses valores nas equacoes anteriores encontra-se a = 180 e b = 500.
47
Algebra
Moderna
21. Sejam a e b n
umeros inteiros tais que mdc(a, a + b) = 1. Prove que mdc(a, b) = 1. O
reciproco desse resultado tambem e verdadeiro. Enuncie-o e demonstre-o. Sugest
ao: Para a
primeira parte, tome um divisor de c de a e b e mostre que ele tambem e divisor de a e a + b.
Solu
c
ao:
Se mdc(a, a + b) = 1, ent
ao existem os inteiros x e y, tais que (a)x + (a + b)y = 1
ax + ay + by = 1
a(x + y) + by = 1
mdc(a, b) = 1
Por outro lado, se mdc(a, b) = 1, entao existe um x e y tais que ax + by = 1. Fazendo
x = y + z, teremos a(y + z) + by = 1 (a + b)y + az = 1 mdc (a, (a + b)) = 1. Como
queramos demonstrar.
Algebra
Moderna
Sendo assim:
(cd)2 = (k(ab) + r)2
(cd)2 = (k 2 (ab)2 + 2k(abr) + r2 )
Mesmo supondo que ab - cd provamos que ab|(cd)2 assim, cada termo do polinomio acima
deve ter divis
ao exata por ab, o que ocorre para os dois primeiros termos mas n
ao para o ultimo,
o que e um absurdo pois contraria a divisibilidade de (cd)2 por (ab). Portanto, ab|cd. Como
queramos demonstrar.
23. Se a e b s
ao inteiros primos entre si, demonstre que mdc(2a + b, a + 2b) = 1 ou 3.
Solu
c
ao:
Se a e b s
ao primos entre si, ent
ao mdc(a, b) = 1. Pelo algoritmo do MDC de Euclides,
mdc(a, b) = mdc(a, b c a), assim,
mdc(2a + b, a + 2b) = mdc(2a + b, a + 2b 2a b) = mdc(2a + b, b a).
mdc(2a + b, b a) = mdc(b a, 2a + b b + a) = mdc(b a, 3a)
Deste modo, mdc(2a + b, a + 2b) = mdc(b a, 3a).
Se 3|b a, teremos mdc(2a + b, a + 2b) = 3
Se 3 - b a, teremos mdc(2a + b, a + 2b) = 1
Completando a demonstrac
ao.
49
Algebra
Moderna
www.number.890m.com
50
Algebra
Moderna
2.4
` 49
EXERCICIOS DA PAGINA
48 A
25. Ache o m
aximo divisor comum dos seguintes pares de n
umeros atraves da decomposicao
desses n
umeros em fatores primos:
a) 234 e 456
b) 456 e 780
c) 200 e 480
Solu
c
ao:
A decomposic
ao de 234 e 456 e:
234 = 21 32 13
456 = 23 31 19
Note que na decomposic
ao de ambos existe em comum o numero 2 e 3. Fazendo o produto
desses valores elevados a menor potencia dada determinamos o mdc.
51
Algebra
Moderna
mdc(234, 456) = 21 31
mdc(234, 456) = 6
Solu
c
ao de b:
456 = 23 3 19
780 = 22 3 5 13
mdc(456, 780) = 22 3 = 12
Solu
c
ao de c:
200 = 23 52
480 = 25 3 5
mdc(200, 480) = 23 5 = 40
Se (n 1) = 1 ent
ao n = 2 e assim p = 3. Que e um numero primo.
Se (n + 1) = 1 ent
ao n = 0 e p = 1. Que nao e primo.
Portanto, o numero 3 e o u
nico valor possvel.
Algebra
Moderna
Solu
c
ao:
Seja p um primo escrito como:
p = n3 1
p = (n 1)(n2 + n + 1)
Um numero primo s
o pode ser fatoravel por 2 valores, o um e ele mesmo. Sendo assim, ou
(n 1) = 1 ou (n2 + n + 1) = 1.
Se (n 1) = 1 ent
ao n = 2;
Se (n2 + n + 1) = 1 ent
ao n = 0 ou n = 1.
Como n = 0 implicaria em um p negativo, entao n = 2 ou n = 1. Como se queria
demonstrar.
28. Em 1742, o russo Christian Goldbach formulou a seguinte conjectura (conhecida como
conjectura de Goldbach): Todo inteiro par maior que 2 e igual `a soma de dois n
umeros primos
positivos. Por exemplo: 4 = 2 + 2, 6 = 3 + 3, 8 = 3 + 5, 10 = 3 + 7, etc. Ate hoje continua em
aberto a quest
ao de saber se essa proposicao e falsa ou verdadeira.
Admitindo a conjectura de Goldbach, prove que todo inteiro maior que 5 e soma de tres
n
umeros primos. Por exemplo: 6 = 2 + 2 + 2, 7 = 2 + 2 + 3, etc.
Sugest
ao: Devido `
a conjectura, se n 3, 2n2 = p+q (p e q primos). Portanto, 2n = p+q +2
(soma de tres n
umeros primos).
Solu
c
ao:
Tome um numero k > 5 ent
ao:
k = 5 + t com t N
Para t = 1 ou t = 2 a demonstrac
ao e evidente.
k = (3 + 2) + 1
k = (3 + 2) + 2
Para t 3 e admitindo que a conjectura seja sempre valida, existe dois primos t1 e t2 tal que
t = t1 + t2 . Sendo assim:
k =5+t
k = 5 + t1 + t2
Como 5 e primo e t1 e t2 por hip
otese fica mostrado a proposicao.
53
Algebra
Moderna
30. Se n2 + 2 e um n
umero primo, prove que n e m
ultiplo de 3 ou n = 1.
Sugest
ao: H
a tres possibilidades de expressar um numero inteiro n; n = 3q, n = 3q + 1,
n = 3q + 2, conforme o resto da divis
ao de n por 3 seja 0, 1 ou 2. Mostre que as duas u
ltimas
s
ao impossveis, no caso.
Solu
c
ao:
Seguindo a sugest
ao do livro temos 3 possibilidades para escrever um inteiro n. Sendo assim
podemos escrever p como:
p = (3q)2 + 2 ou
p = (3q + 1)2 + 2 ou
p = (3q + 2)2 + 2.
54
Algebra
Moderna
p = 9q 2 + 6q + 3
p = 3(3q 2 + 2q + 1)
Como p e primo ent
ao (3q 2 + 2q + 1) = 1. Contudo, essa equacao possui somente
uma soluc
ao inteira que ocorre para q = 0. O que implicaria em n = 3(0) + 1 = 1.
Se p = (3q)2 + 2 ent
ao, claramente n e m
ultiplo de 3.
Portanto, se p = n2 + 1 e primo entao, ou n = 1 ou n e m
ultiplo de tres. Como se queria
demonstrar.
Solu
c
ao:
Fatorando o n
umero 15 chegamos ao seguinte:
15 = 3 5
15 = (2 + 1)(4 + 1)
Sendo assim, o n
umero procurado tera a forma
a = p21 p42
Como desejamos o menor inteiro e como p1 e p2 sao primos entao fica claro que os valores de
p1 e p2 s
ao primos, ent
ao os valores de p1 e p2 serao 3 e 2, respectivamente. Sendo assim:
a = 32 24
= 144
Algebra
Moderna
(por que?). Logo, e composto (Por que?). Entao e divisvel por um dos pi , (1 i n)(por que?).
Segue, ent
ao, que p|1 (por que?). Esse absurdo (por que?) garante a infinitude do conjunto dos
primos.
Solu
c
ao:
Suponha por absurdo que p1 , ...pn fossem todos os primos. Nesse caso o numero p = p1
p2 pn + 1 n
ao seria divisvel por nenhum primo, o que contraria o teorema fundamental da
aritmetica.
56
Algebra
Moderna
www.number.890m.com
57
Algebra
Moderna
2.5
EXERCICIOS DA PAGINA
52
c) 18x20y = 8
d) 24x + 138y = 18
Solu
c
ao de a:
O problema j
a afirma que as equacoes possuem solucao, entretanto e bom que se crie o habito
de sempre verificar se a equac
ao possui ou nao solucao. A nvel de exemplo vamos verificar a
primeira equac
ao. Para isso basta conferir se mdc(3, 4)|20.
Como mdc(3, 4) = 1 e 1|20 ent
ao a equacao possui solucao.
Agora que sabemos que a equac
ao possui solucao evocamos o teorema de bezout para afirmar
que
3 + 4 = 1
Atraves do algoritmo estendido de Euclides obtemos como solucao da equacao acima = 1
e = 1.
3(1) + 4(1) = 1
Multiplicando a igualdade acima por 20
3(20) + 4(20) = 20
e comparando a igualdade acima com a identidade original (3x + 4y = 20) fica evidente que
x = 20 e y = 20. Assim, uma soluc
ao particular da equacao e (x, y) = (20, 20) e a solucao
geral ser
a:
3
4
k, 20
k
20 +
mdc(3, 4)
mdc(3, 4)
= (20 + 4k, 20 3k)
onde k e qualquer n
umero inteiro.
Solu
c
ao de b:
Nesse caso vamos resolver a equacao por um metodo diferente. Vamos faze-la por tentativa.
Primeiro evidenciamos y na equac
ao.
5x2y = 2 y =
5
x1
2
Agora nos perguntamos: qual o valor para x que nos fornece um valor inteiro para y?
58
Algebra
Moderna
5
21=4
2
y=4
Assim, uma soluc
ao particular ser
a x = 2 e y = 4.
5(2) 2(4) = 2
A soluc
ao geral fica a cargo do leitor.
Solu
c
ao de c e d:
An
alogas as anteriores.
34. Decomponha o n
umero 100 em duas parcelas positivas tais que uma e m
ultipla de 7 e a
outra de 11. (Problema do matem
atico L. Euler [1707-1783]).
Solu
c
ao:
O problema equivale a resolver a seguinte equacao diofantina
7a + 11b = 100 (1)
Como 7 e 11 s
ao primos ent
ao mdc(7, 11) = 1 e pelo teorema de bezout
7a + 11b = 1 (2)
Pelo algoritmo estendido de Euclides a solucao de (2) e 2 e 3.
Sendo assim:
59
Algebra
Moderna
300 +
11
7
k, 200
k
mdc(7, 11)
mdc(7, 11)
= (300 + 11k, 200 7k)
Algebra
Moderna
p = 11(8 7t) + 6
p = 94 77t com t Z
Como o problema imp
oe que p seja positivo entao:
p0
94 77t 0 t 0
Assim, a soluc
ao e: todos os n
umeros do conjunto {94 77t|t = 1, 0, 1, 2, ...}
Observa
c
ao:
A soluc
ao mostrada no livro e equivalente a mostrada aqui. A diferenca entre elas se deve
apenas ao fato de que aqui foi tomada uma solucao particular da diofantina diferente da tomada
pelo autor. Da mesma forma o aluno pode chegar a mesma solucao escrita de uma terceira forma.
36. O valor da entrada de um cinema e R$ 8,00 e da meia entrada R$ 5,00. Qual e o menor
numero de pessoas que pode assistir a uma sessao de maneira que a bilheteria seja de R$ 500,00?
(Em tempo: a capacidade desse cinema e suficiente para esse n
umero de pessoas).
Solu
c
ao:
O problema equivale a resolver a seguinte equacao
8x + 5y = 500
Ora 8(2) + 5(3) = 1 ent
ao 8(1000) + 5(1500) = 500, assim uma solucao particular seria
(x, y) = (1000, 1500).
E a soluc
ao geral
(1000 5k, 1500 + 8k)
Como x e y s
ao o numero de pessoas que pagam inteira e meia, respectivamente, entao a
soluc
ao n
ao pode ser negativa. Em outras palavras devemos encontrar um k tal que:
1000 5k 0 e 1500 + 8k 0
.
Dessas duas inequac
oes conclui-se que k deve estar no intervalo [187.5, 200]. Como k Z e o
problema pede o menor numero de pessoas entao necessitamos testar apenas os dois valores
extremos do intervalo.
Para k = 188 a soluc
ao ser
a:
(1000 5k, 1500 + 8k) = (60, 4)
61
Algebra
Moderna
37. Ao entrar num bosque, alguns viajantes avistam 37 montes de maca. Apos serem retiradas
17 frutas, o restante foi vendido igualmente entre 79 pessoas. Qual a parte de cada pessoa?
(Problema de Mahaviracarya, matem
atico hindu).
Solu
c
ao:
Suponha que tenham x macas em cada monte. Assim foram vistas 37x macas ao todo. Em
seguida foram retiradas 17 ficando apenas
37x 17
Como esse total foi totalmente dividido, e em partes iguais, entao conclumos que a divisao
foi exata, assim pelo teorema da divis
ao euclidiana
37x 17 = 79k
37x 79k = 17 (1)
Com k Z e representando a parte de macas recebidas por cada pessoa.
Resolvendo a equac
ao 37a + 79b = 1 pelo algoritmo de Euclides estendido chegamos a solucao
particular (a, b) = (32, 15). Que nos leva a uma solucao particular para (1).
(37(32) + 79(15)) 17 = 1 17
37(544) + 79(255) = 17
37(544) 79(255) = 17
(x, k) = (544, 255)
Dessa soluc
ao particular chega-se a seguinte solucao geral para (1)
(x, k) = (554 79t, 225 37t)
Com t Z.
62
Algebra
Moderna
Como k e o numero de macas recebidas por cada um ele deve ser inteiro, ou seja, deve
satisfazer a inequac
ao 225 37t > 0 cuja solucao ocorre para t (, 225/8).
Ou em outras palavras:
As quantidades possveis de macas recebidas por cada um formam o conjunto
{225 37t|t = 7, 8, 9, ...}
63
Algebra
Moderna
www.number.890m.com
64
Algebra
Moderna
2.6
` 62
EXERCICIOS DA PAGINA
61 A
Solu
c
ao de a:
Se 23 1 (mod 7), ent
ao:
(23 )15 115 (mod 7)
245 1 (mod 7)
Ou seja, o resto de 245 por 7 e 1.
Solu
c
ao de b:
Se 112 21 (mod 100) ent
ao:
(112 )50 2150 mod(100).
Como 212 41 (mod 100) ent
ao:
(212 )25 4125 (mod 100)
2150 4125 (mod 100).
Como 41 e um numero de dois dgitos e termina com 1 e facil concluir que 4125 1 (mod
100).
Sendo assim:
(112 )50 2150 4125 1 (mod 100)
11100 1 (mod 100)
portanto, o resto da divis
ao citada e 1.
Solu
c
ao de c:
Se 32 4 (mod 5) ent
ao:
(32 )5 45 (mod 5)
310 45 (mod 5)
e como 44 = 1024 ent
ao:
310 4 (mod 5) (1)
65
Algebra
Moderna
66
Algebra
Moderna
220 1 mod(41)
Sendo assim, 220 1 1 1 = 0
O que implica em 220 1 mod(41).
Como se queria demonstrar.
100
c) Ache os dois u
ltimos algarismos de 9(9 ) .
67
Algebra
Moderna
Solu
c
ao de a:
Seja n um n
umero qualquer se n < 10 entao a demonstracao e evidente.
Se n > 10 ent
ao existe um q e p Z onde pelo teorema da divisao euclidiana pode-se afirmar
que n = 10q + p com 10 > p > 0. O que implica em n p (mod 10). Em outras palavras a
divis
ao de n por 10 e igual a p que como e menor que dez e o algarismo que representa a unidade
(ou o u
ltimo algarismo do n
umero dado).
Analogamente se prova para n negativo.
Solu
c
ao de b:
Considere a seguinte sequencia:
70 = 1 n
umero terminado em 1.
71 = 7 n
umero terminado em 7.
72 = 49 n
umero terminado em 9.
73 = 343 n
umero terminado em 3.
74 = 2401 n
umero terminado em 1.
75 = 16807 n
umero terminado em 7.
..
.
se continu
assemos com ela perceberamos que o final dos demais n
umeros ainda seria, e na
ordem, os n
umeros 1, 7, 9 e 3 ate o fim.
Como as potencias de 7 seguem esse padrao e tem somente 4 algarismos diferentes para
compor seu algarismo das unidades (1, 3, 7 e 9), entao podemos determinar o n
umero p tal que:
100
77
p (mod. 4)
pois com base nele facilmente descobrimos qual o algarismo das unidades. Veja:
Como 7 3 (mod 4) e 100 0 (mod 4) entao,
77
100
33 (mod. 4)
77
100
77
100
31 (mod. 4)
3 (mod. 4).
100
Ent
ao, o algarismo da unidade de 77
e 3.
Solu
c
ao de c:
Esse metodo pode ser aplicado sempre que se desejar encontrar os dois u
ltimos algarismos de
n
um numero nn (com n N).
68
Algebra
Moderna
3
= (729)3
como 729 9 no m
odulo 10 entao:
99 93 (mod 10)
99 729 (mod 10)
99 9 (mod 10)
r=9
Finalmente determinamos um inteiro p tal que 9r p (mod 100).
99 = (93 )3 = (729)3 (29)3 (mod 100)
Como 293 = 24389 ent
ao (29)3 89 (mod 100). O que implica em
p = 89.
9
o caso, por
42. Se p e p + 2 s
ao n
umeros primos, entao eles se denominam primos gemeos. E
exemplo, de 3 e 5.
Se p > 3 e os n
umeros p e p + 2 s
ao primos gemeos, prove que a soma p + (p + 2) = 2p + 2 e
m
ultiplo de 12.
Sugest
ao: Sendo a soma um numero par, entao a principio essa soma poderia ser congrua a
0, 2, 4, 6, 8, 10 m
odulo 12. Mostrar que todas essas possibilidades, exceto a primeira, levam a
uma contradic
ao.
Solu
c
ao:
Seguindo a sugest
ao vamos provar que 2p + 2 nao pode ser equivalente a 2, 4, 6, 8 ou 10 no
m
odulo 12.
Suponha por absurdo que 2p + 2 2 (mod 12). Nesse caso, poderamos afirmar entao que:
2p + 2 = 12q + 2 para algum q Z.
Sendo assim:
2p = 12q
p = 6q
69
Algebra
Moderna
O que e um absurdo, pois p sendo primo so pode ter dois divisores. E sendo p = 6q teria
como divisores 6, q e o pr
oprio p, isto e 3.
De forma similar se prova os demais casos.
43. Prove que se a b (mod m) e n e um divisor de m, maior que 1, entao a b (mod n).
Solu
c
ao:
Se a b (mod m) ent
ao a = mq + b (q Z). Se n e um divisor de m, entao m = nk com
k Z. Sendo assim:
a = mq + b
a = (nk)q + b
a = n(kq) + b
Essa u
ltima implicac
ao resulta em a b (mod n).
44. Demonstre:
a) a3 a (mod 6)
b) a3 0, 1 ou 8 (mod 9)
c) Se a e um inteiro que n
ao e divisvel por 2 nem por 3, entao a2 1 (mod 24).
d) Se a e um cubo perfeito, ent
ao a 0, 1 ou 1 (mod 9).
Solu
c
ao de a:
Dizer que a3 a (mod 6) e equivalente a dizer que a3 a 0 (mod 6).
a3 a (mod 6) a3 a 0 (mod 6)
Sendo assim, podemos provar o que se pede provando apenas que a3 a 0 (mod 6).
Note que a3 a = (a 1)a(a + 1). Um resultado conhecido da Teoria dos N
umeros e o de
que entre tres n
umeros consecutivos um deles e divisvel por 3 entao:
Se (a 1) e divisvel por 3, ent
ao (a 1) = 3k com k Z.
Logo a3 = 3k a (a + 1).
Como a e a + 1 s
ao de paridades diferentes entao seu produto e par. Ou seja a(a + 1) = 2q
para algum q Z.
Sendo assim:
70
Algebra
Moderna
a3 a = 3k 2q
= 6(kq)
a3 a 0 (mod 6).
Supondo a = 3k + 1 ent
ao:
a2 = (3k + 1)2 = 9k 2 + 6k + 1
Como k e par pode-se fazer k = 2q com q Z, assim:
a2 = 9(2q)2 + 6(2q) + 1
a2 = 36q 2 + 12q + 1
a2 = 12q(3q + 1) + 1
4 http://ellalves.net.br/blog/posts/single/21/teoria
71
Algebra
Moderna
45. a) Encontre um inteiro x tal que x 3 (mod 10), x 11 (mod 13) e x 15 (mod
17)(Regiomantanus, seculo XVI).
b) Encontre um inteiro x tal que x 3 (mod 11), x 5 (mod 19) e x 10 (mod 29)(Euler,
seculo XVIII).
Solu
c
ao de a:
Usando o teorema chines dos restos x = 1103.
Solu
c
ao de b:
x = 4128
72
Algebra
Moderna
A cargo do leitor.
47. Um bando de 17 piratas, ao tentar dividir igualmente entre si as moedas de uma arca,
verificou que haveria uma sobra de 3 moedas. Seguiu-se uma discussao, na qual um pirata
foi morto. Na nova tentativa de divisao ja com um pirata a menos, verificou-se que haveria
uma sobra de 10 moedas. Nova confusao, e mais um pirata foi morto. Entao, por fim, eles
conseguiram dividir igualmente as moedas entre si. Qual o menor numero de moedas que a arca
poderia conter?
Solu
c
ao (Retirada do yahoo perguntas:)
Considere o n de moedas igual a x. Entao:
x
= q1 + 3 x = 17q1 + 3 x 3 (mod 17)
17
x
= q2 + 10 x = 16q2 + 10 x 10 (mod 16)
16
x
= q3 + 0 x = 15q3 + 0 x 0 (mod 15)
15
Pelo Teorema Chines do Resto:
x a1 (mod m1 )
x a2 (mod m2 )
x a3 (mod m3 )
X = a1 M1 x1 + a2 M2 x2 + a3 M3 x3
Onde:
Ma e o produto de todos os mk com excecao de ma
Exemplo:
M1 = m2 m3
M2 = m1 m3
M3 = m1 m2
xa e o n
umero que torna Ma xa 1 (mod ma )
No nosso caso:
X = 3 16 15 x1 + 10 17 15 x2 + 0 17 16 x3
73
Algebra
Moderna
X = 720 x1 + 2550 x2
Calculando o x1 :
x1 16 15 1 (mod 17)
como:
16 1 (mod 17)
e
15 2 (mod 17)
x1 16 15 1 (mod 17)
x1 (1) (2) 1 (mod 17)
2 x1 1 (mod 17)
Como
1 18 (mod 17)
2 x1 1 (mod 17)
2 x1 18 (mod 17)
x1
18
(mod 17)
2
x1 9 (mod 17)
Calculando o x2 :
x2 17 15 1 (mod 16)
Como:
17 1 (mod 16)
e
15 1 (mod 16)
x2 17 15 1 (mod 16)
x2 1 (1) 1 (mod 16)
x2 1 (mod 16)
x2 1 (mod 16)
Como:
74
Algebra
Moderna
1 15 (mod 16)
x2 1 (mod 16)
x2 15 (mod 16)
Substituindo x1 e x2 :
X = 720 x1 + 2550 x2
X = 720 9 + 2550 15
X = 6480 + 38250
X = 44730
Para finalizar:
x 44730 (mod 17 16 15)
x 44730 (mod 4080)
Como:
44730 3930 (mod 4080)
Obs: Como queremos o menor n
umero de moedas possvel, temos que encontrar o primeiro
valor positivo que seja congruente de 44730 no modulo 4080. No caso e o 3930.
Logo, o menor n
umero de moedas possvel e 3930.
75
Algebra
Moderna
www.number.890m.com
76
Algebra
Moderna
Rela
c
oes, Opera
co
es, Aplicac
oes
3.1
` 71
EXERCICIOS DA PAGINA
70 A
77
Algebra
Moderna
Solu
c
ao de b:
Dado R1 = {(1, 0); (3, 2); (5, 4); (7, 6); (9, 8)} chama-se de domnio de R1 o conjunto formado
pelo primeiro elemento de cada par ordenado de R1 , ou seja:
Dm (R1 ) = {1,3,5,7,9}
J
a a imagem de R1 e o conjunto formado pelo segundo elemento de cada par. Isto e:
Im (R1 ) = {0,2,4,6,8}
Analogamente se chega `
a:
Dm (R2 ) = {1,3,5} e Im (R2 ) = {2,4,6}
Dm (R3 ) = Im (R3 ) =
2. Sabe-se que E e um conjunto com 5 elementos e R = {(a, b), (b, c), (c, d), (d, e)} e uma
relac
ao sobre E. Pede-se obter:
a) os elementos de E;
b) domnio e imagem de R;
c) os elementos, domnio e imagem de R1 ;
d) esquema de flechas de R;
Solu
c
ao de a:
Se R e uma relac
ao sobre o conjunto E entao todos os seus pares devem ser formados pelos
elementos do pr
oprio E, e como este tem apenas 5 elementos (mesma quantidade de elementos
que comp
oem os pares ordenados de R) entao:
E = {a, b, c, d, e}
Solu
c
ao de b:
Dm (R) = {a, b, c, d} e Im (R) = {b, c, d, e}
Solu
c
ao de c:
Se R = {(a, b); (b, c); (c, d); (d, e)} a inversao dos elementos de seus pares sera R1 . Assim:
R1 = {(b, a); (c, d); (d, c); (e, d)}
De modo que
Dm (R1 ) = {b, c, d, e} e Im (R1 ) = {a, b, c, d}
Solu
c
ao de d:
78
Algebra
Moderna
1
-2
Solu
c
ao de b:
Atraves do gr
afico percebe-se que Dm = [1, 1]
Solu
c
ao de c:
Atraves do gr
afico percebe-se que Im (R) = [2, 2]
Solu
c
ao de d:
Partindo da equac
ao 4x2 + y 2 = 4 entao:
y = 4 4x2
y = 2 1 x2
Trocando y por x ent
ao:
79
Algebra
Moderna
p
x2 = 2 1 y 2
p
x2 = (2 1 y 2 )2
x2 = 4(1 y 2 )
x2
4
= 1 y2
y2 = 1
x2
4
4y 2 = 4 x2
4y 2 + x2 = 4
Sendo assim: R1 = {(x, y) R2 /x2 + 4y 2 = 4}
4. Seja R a relac
ao sobre o conjunto N definida pela sentenca x + 3y = 10. Pede-se
determinar:
a) os elementos de R;
b) o domnio de R;
c) a imagem de R;
d) os elementos de R1) .
Solu
c
ao de a:
Note que a sentenca x + 3y = 10 tambem pode ser escrita como:
10 x
3
10 x
>0
3
O que implica em
x < 10
Note que para x = 1 temos:
y(1) =
10 1
=3
3
Como 3 N ent
ao o par (1, 3) R
Note que para x = 2, , 10 temos:
y(2) =
8
7
5
4
2
1
10
; y(3) = ; y(4) = 2; y(5) = ; y(6) = ; y(7) = 1; y(8) ; y(9) = ; y(10) =
3
3
3
3
3
3
3
80
Algebra
Moderna
Como 2, 7 N ent
ao os pares (4, 2); (7, 1) R. Os demais valores para x fornecem apenas
n
umeros n
ao naturais de modo que
R = {(1, 3), (4, 2), (7, 1)}
Solu
c
ao de b:
D(R) = {1, 4, 7}
Solu
c
ao de c:
Im (R) = {1, 2, 3}
Solu
c
ao de d:
R 1 = {(3, 1), (2, 4), (1, 7)}
Algebra
Moderna
Se R1 R2 ent
ao todo elemento de R1 tambem pertence a R2 .
82
Algebra
Moderna
www.number.890m.com
Algebra
Moderna
3.2
` 76
EXERCICIOS DA PAGINA
75 A
8. Seja R a relac
ao em E = {1, 2, 3, 4, 5} tal que xRy se, e somente se, x y e m
ultiplo de 2.
a) Quais s
ao os elementos de R?
b) Faca o diagrama de flechas para R.
c) R e reflexiva? R e simetrica? R e transitiva? R e antissimetrica?
Solu
c
ao de a:
Comece listando todos os pares (x, y) com x, y E.
(1, 1)
(1, 2)
..
.
(1, 5)
..
.
(2, 1)
(2, 2)
..
.
(5, 4)
(5, 5)
Agora verifique quais desses pares cumprem a condicao de serem divisveis por 2.
(1, 1) 1 1 = 0
(1, 2) 1 2 = 1
..
.
(1, 5) 1 5 = 4
..
.
(2, 1) 2 1 = 1
(2, 2) 2 2 = 0
..
.
(5, 4) 5 4 = 1
(5, 5) 5 5 = 0
Observe que das operac
oes listadas acima as u
nicas que satisfazem as condicoes de R, isto e,
ser divisvel por 2 e pertencer a E s
ao as que formam os pares:
(1,1),(1,3),(1,5),(2,2),(2,4),(3,1),(3,3),(3,5),(4,4),(4,2),(5,5),(5,3),(5,1)
Portanto, a relac
ao R ser
a:
84
Algebra
Moderna
R = {(1, 1), (1, 3), (1, 5), (2, 2), (2, 4), (3, 1), (3, 3), (3, 5), (4, 4), (4, 2), (5, 5), (5, 3), (5, 1)}
Solu
c
ao de b:
R = {(1, 1), (1, 3), (1, 5), (2, 2), (2, 4), (3, 3), (3, 1), (3, 5), (4, 4), (4, 2), (5, 5), (5, 1), (5, 3)} sobre
o conjunto E.
Solu
c
ao de c:
A relac
ao R e reflexiva, pois x E temos xRx. Tambem e simetrica e transitiva. R nao e
anti-simetrica.
9. R e uma relac
ao sobre E = {a, b, c, d} dada pelo esquema de flechas ao lado. Que propriedades R apresenta?
Solu
c
ao:
Reflexividade, simetria e transitividade.
10. Que propriedades apresenta a relacao S dada pelo esquema ao lado?
E c
Solu
c
ao:
S n
ao e reflexiva, simetrica, anti-simetrica e transitiva.
11. O conjunto E = {a, b, c, d, e} e formado pelos cinco filhos de um mesmo casamento. Seja
R a relac
ao sobre E assim definida:
85
Algebra
Moderna
12. Seja E o conjunto das retas que contem os lados de um hexagono regular abcde.
86
Algebra
Moderna
Algebra
Moderna
R3 = {(1, 2), (1, 3), (2, 1), (2, 3), (3, 1), (3, 2), (3, 3)}
R4 = EE
R5 =
Quais s
ao reflexivas? E simetricas? E transitivas? E anti-simetricas?
Solu
c
ao:
Reflexivas: R1 , R2 e R4 ;
simetricas: R1 , R3 , R4 e R5 ;
transitivas: R1 , R2 , R4 e R5 ;
anti-simetricas:R1 , R2 e R5 .
= {(1, 1), (2, 2), (3, 3), (4, 4)(1, 2), (2, 3), (3, 2)}
= {(1, 2), (2, 1), (1, 3), (3, 1)}
= {(1, 2), (2, 3), (1, 3), (2, 1)}
= {(1, 2), (2, 3), (3, 4)}
16. Descreva uma a uma todas as relacoes binarias sobre o conjunto E = {a, b}. Em
seguida, identifique quais s
ao reflexivas, quais sao simetricas, quais sao transitivas e quais sao
anti-simetricas.
Solu
c
ao:
88
Algebra
Moderna
, {(a, a)}, {(a, b)}, {(b, b)}, {(b, a)}, {(a, a), (a, b)}, {(a, a), (b, b)}, {(a, a), (b, a)}, {(a, b), (b, b)},
{(a, b), (b, a)}, {(b, b), (b, a)}, {(a, a), (a, b), (b, b)}, {(a, a), (b, b), (b, a)}, {(a, a), (a, b), (b, a)},
{(a, b), (b, b), (b, a)}, EE
89
Algebra
Moderna
www.number.890m.com
90
Algebra
Moderna
3.3
EXERCICIOS DA PAGINA
77
17. Esboce os gr
aficos cartesianos das seguintes relacoes sobre R:
R1 = {(x, y)|x + y 2}
R2 = {(x, y)|x2 + y 2 = 1}
R3 = {(x, y)|x2 + y 2 4}
R4 = {(x, y)|x2 + x = y 2 + y}
R5 = {(x, y)|x2 + y 2 16}
Solu
c
ao:
Gr
afico de R1
1
1
1
Gr
afico de R2
2
2
2
Gr
afico de R3
91
Algebra
Moderna
-2
-1
1
-1
Gr
afico de R4
2
2
2
Gr
afico de R5
19. Esboce os gr
aficos cartesianos das seguintes relacoes sobre R:
R6 = {(x, y)|y = x2 }
R7 = {(x, y)|xy = 12}
R8 = {(x, y)|x2 + 4y 2 4}
R9 = {(x, y)|x2 = y 2 }
R10 = {(x, y)|y x3 }
Solu
c
ao:
Devido a simplicidade e semelhanca com a questao 17 deixarei essa questao a cargo do leitor.
Caso o mesmo tenha dificuldade, ou apenas deseje conferir suas respostas, recomendo o uso do
software Geogebra.
92
Algebra
Moderna
93
Algebra
Moderna
www.number.890m.com
94
Algebra
Moderna
3.4
` 82
EXERCICIOS DA PAGINA
79 A
22. Quais das sentencas abertas abaixo definem uma relacao de equivalencia em Z?
a) x y (mod 3)
b) xB| y
c) x y
d) mdc(x, y) = 1
e) x + y = 7
Solu
c
ao de a:
Para todo x Z temos x x (mod 3) logo e reflexiva.
Se x y (mod 3) ent
ao y x (mod 3) logo e simetrica.
Se x y (mod 3) e y z (mod 3) entao x z (mod 3) logo a relacao e transitiva.
Sendo assim, e uma relac
ao de ordem.
Solu
c
ao de b:
Para todo x Z temos x | x logo e reflexiva.
Se x | y e y 6= x ent
ao y - x, logo n
ao e transitiva.
Se n
ao e transitiva n
ao pode ser uma relacao de ordem.
Solu
c
ao de c:
95
Algebra
Moderna
N
ao e relac
ao de ordem.
Solu
c
ao de d:
N
ao e relac
ao de ordem.
Solu
c
ao de e:
N
ao e relac
ao de ordem.
1
1 =
1
Tri^
angulo 1
2
2 =
2
Tri^
angulo 2
96
Algebra
Moderna
1
1 =
1
Triangulo 1
2
2 =
2
Triangulo 2
3
3 =
3
Triangulo 3
Atraves das igualdades de (1) e (2) chega-se a:
1 = 3 ; 1 = 3 ; 1 = 3 .
O que implica em 1 3 . Provando a transitividade.
24. Seja E o conjunto das retas de um plano . Quais das relacoes abaixo definidas sao
relac
oes de equivalencia em E?
97
Algebra
Moderna
98
Algebra
Moderna
0 (c + d) = [(c + d) + (a + (b))] (c + d)
(c + d) = [(c + d) + (a + (b))] + (c + (d))
Usando a associativade no 2 membro:
(c + d) = [(c + d) + (c + (d))] + (a + (b))
(c + d) = [(c + d) (c + d)] + (a + (b))
(c + d) = (a + (b))
(c + d) = (a + b)
Multiplicando ambos os membros por 1
(c + d) = (a + b)
(c, d)R(a, b)
Provando a segunda condic
ao
Prova de iii:
Dado (a, b), (c, d) e (e, f ) N2 com (a,b)R(c,d) e (c,d)R(e,f) entao:
a+b=c+d e c+d=e+f
a+b=e+f
(a, b)R(e, f )
Provando a terceira condic
ao.
Logo e uma relac
ao de equivalencia.
99
Algebra
Moderna
100
Algebra
Moderna
www.number.890m.com
101
Algebra
Moderna
3.5
` 82
EXERCICIOS DA PAGINA
81 A
Algebra
Moderna
Algebra
Moderna
104
Algebra
Moderna
Prova da transitividade
Dado x, y e z E de modo que xRy e yRz entao:
x + |x| = y + |y| e y + |y| = z + |z|
combinando as igualdades acima chega-se `a:
x + |x| = z + |z|
xRz
Provando a transitividade.
Como a relac
ao e reflexiva, transitiva e simetrica entao e uma relacao de equivalencia.
Solu
c
ao de B:
Como E = {x Z | |x| 3} ent
ao os elementos de E sao os n
umeros 3, 2, 1, 0, 1, 2, 3.
Por definic
ao o conjunto quociente e o conjunto das classes de equivalencia de cada um dos
elementos de E. Que no caso s
ao:
3 = {x E | (xR 3)} = {3, 2, 1, 0}
2 = {3, 2, 1, 0}
1 = {3, 2, 1, 0}
0 = {3, 2, 1, 0}
1 = {1}
2 = {2}
3 = {3}
Como os elementos de 3 a 0 geram a mesma classe entao:
E/R = {{3, 2, 1, 0}, {1}, {2}, {3}}
105
Algebra
Moderna
Solu
c
ao de A:
Para determinar 0 devemos encontrar o conjunto solucao da seguinte equacao sobre E
x 0 (mod 4)
Sendo E = {x Z|0 x 10} ent
ao os u
nicos valores que satisfazem a equacao sao 0, 4 e 8.
0 0 = 0 e como 0|4 ent
ao 0 0 (mod 4)
4 0 = 4 e como 4|4 ent
ao 4 0 (mod 4)
8 0 = 8 e como 8|4 ent
ao 8 0 (mod 4)
Sendo assim 0 = {0, 4, 8}. Analogamente se conclui que I = {1, 5, 9}
Solu
c
ao de B
29.
E
= {{0, 4, 8}, {1, 5, 9}, {2, 6, 10}, {3, 7}} (veja a questao 28).
R
106
Algebra
Moderna
107
Algebra
Moderna
d) Descreva a classe 2.
Solu
c
ao de A:
Prova da reflexividade
Dado x Q como x x = 0 e 0 Q entao xSx. Provando a reflexividade.
Prova da simetria
Dado x, y Q tal que xSy ent
ao:
xy Q
Sendo assim existe um k Q tal que xy = k. Como k Q entao k Q e como k = y x
ent
ao xSx. Provando a simetria.
Prova da transitividade
(Veja quest
ao 30).
Solu
c
ao de B:
1
1
1
= xR| x
Q por definicao, mas como x
Q x Q entao podemos
2
2
2
escrever a classe de equivalencia tambem como:
1
=Q
2
Solu
c
ao de C:
a = Q, a Q (ver quest
ao 30)
Solu
c
ao de D:
2 = {x + 2 | x Q} (ver quest
ao 30)
108
Algebra
Moderna
109
Algebra
Moderna
www.number.890m.com
110
Algebra
Moderna
Agradecimentos
Se alguma passagem ficou obscura ou se algum erro foi cometido por favor escreva para
nibblediego@gmail.com para que possa ser feito a devida correcao.
Para encontrar esse e outros exerccios resolvidos de matematica acesse:
www.number.890m.com
111