Você está na página 1de 111

Algebra

Moderna

Diego Oliveira - Vitoria da Conquista/BA

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

2.1 EXERCICIOS DA PAGINA


33 . . . .

` 39 .
2.2 EXERCICIOS DA PAGINA
38 A

` 45 .
2.3 EXERCICIOS DA PAGINA
44 A

` 49 .
2.4 EXERCICIOS DA PAGINA
48 A

2.5 EXERCICIOS DA PAGINA


52 . . . .

` 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

3.1 EXERCICIOS DA PAGINA


70

3.2 EXERCICIOS DA PAGINA


75

3.3 EXERCICIOS DA PAGINA


77

3.4 EXERCICIOS DA PAGINA


79

3.5 EXERCICIOS DA PAGINA


81

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

77
. 77
. 84
. 91
. 95
. 102

4 Agradecimentos

` 71
A
` 76
A
. . .
` 82
A
` 82
A

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

111


Algebra
Moderna

Diego Oliveira - Vitoria da Conquista/BA

No
c
oes Sobre Conjuntos e Demonstrac
oes

1.1

` 16
EXERCICIOS DA PAGINA
13 A

1. Considere os seguintes subconjuntos de R (aqui considerado como conjunto universo):


A = {x R|x2 < 4},
B = {x R|x2 x 2},
C = {1/2, 1/31/4, ...} e
D = {x R| 2 < x < 1}.
Classifique cada relac
ao seguinte como verdadeira ou falsa e justifique.
a) Ac B
b) AB = D
c) CBc

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

Por meio da imagem acima fica f


acil definir o complementar A.
-2

2
c

Conjunto A


Algebra
Moderna

Diego Oliveira - Vitoria da Conquista/BA

Ac = {x R | x > 2 ou x < 2}.


Vamos agora determinar o conjunto B em termos de intervalo.
Assim como feito anteriormente primeiro resolvemos a inequacao que caracteriza o conjunto.
x2 x 2
x 2 ou x 1

Logo B e a uni
ao dos intervalos (, 1] [2, ).
-1

2
Conjunto B

Comparando agora o intervalo que representa o conjunto Ac e o intervalo que representa o


conjunto B, verificamos que Ac B.

-2

Conjunto Ac sobre o conjunto B


Portanto a afirmac
ao e VERDADEIRA.
Solu
c
ao de b:
Como j
a foi demonstrado os conjuntos A e B podem ser representado por intervalos.
B = [2, ) (, 1]
A = (-2, 2)
Como A B e a intercess
ao entre A e B entao:
A B = (2, 1]
Note que 1 A B, contudo 1
/ D. Assim, a afirmativa e FALSA.
Solu
c
ao de c:
Se B = [2, ) (, 1] ent
ao Bc = (1, 2).


Algebra
Moderna

Diego Oliveira - Vitoria da Conquista/BA

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.

2. Construa um exemplo envolvendo dois conjuntos, B e C, para os quais se verifiquem as


seguintes relac
oes: C, B C, B C.
Solu
c
ao:
C = {, 1, {1}, {1, 2} } e B = {1}.

3A. Descubra conjuntos A, B e C, tais que B 6= C e A B = A C.


Solu
c
ao de a:
Se A = B = {1} e C = (o que cumpre a condicao de C 6= B), entao:
{1} {1} = {1}
{1} = {1}
Outra soluc
ao seria A = {1, 2, 3, 4}, B = {4, 5} e C ={3, 4, 5}
3B. Com um exemplo, mostre que pode ocorrer o seguinte: B 6= C e A B = A C
Solu
c
ao de b:
Neste caso se A = , C = {2} e B = {1} entao:
AB=AC
{1} = {2}
=
Outra soluc
ao seria A = {1, 2, 3, 4, 5}, B = {4, 5, 6, 7} e C ={4, 5, 6, 7, 8}


Algebra
Moderna

Diego Oliveira - Vitoria da Conquista/BA

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.

5. Sejam A e B conjuntos tais que A B = A B. Prove que A = B.


Solu
c
ao por absurdo:
Na quest
ao anterior foi mostrada uma tecnica para a demonstracao de igualdade entre conjuntos. Nessa quest
ao vamos usar a prova por absurdo.
Suponha por absurdo que A 6= B. Entao existe um a A e nao pertencente a B, ou um b
B e n
ao pertencente a A.
Se a A e n
ao pertence a B ent
ao a A B. Como por hipotese A B = A B entao a
B o que resulta em absurdo.
Raciocnio an
alogo se desenvolve para b B.


Algebra
Moderna

Diego Oliveira - Vitoria da Conquista/BA

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

Diego Oliveira - Vitoria da Conquista/BA

e igual a 2n . Provando a afirmac


ao.
Solu
c
ao de c:
O n
umero de subconjuntos bin
arios de um conjunto qualquer e igual ao n
umero binomial
Se esse n
umero e igual a 15 ent
ao:
 
n
= 15
2

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.

9. Numa pesquisa a respeito da assinatura das revistas A e B, foram entrevistadas 500


pessoas. Verificou-se que 20 delas assinavam a revista A, 14 a revista B e 4 as duas revistas.
Quantas das pessoas entrevistadas n
ao assinavam nenhuma das revistas?
Solu
c
ao:


Algebra
Moderna

Diego Oliveira - Vitoria da Conquista/BA

O diagrama seguinte ilustra a situacao.


A

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

Nela temos tres conjuntos A, B e C que se interceptam mutuamente.


Primeiro fazemos a soma dos elementos de cada regiao.
n(A B C) = n(A) + n(B) + n(C)
Em seguida subtramos as regi
oes que sao intercessoes.
9


Algebra
Moderna

Diego Oliveira - Vitoria da Conquista/BA

n(A B C) = n(A) + n(B) + n(C) n(CA) n(CB) n(AB)


Nesse processo o n
umero de elementos da regiao (C B A) foi subtrada do calculo. Assim
efetua-se a correc
ao.
n(A B C) = n(A) + n(B) + n(C) n(CA) n(CB) n(AB) + n(CBA)
Reorganizando os elementos e levando em conta que n(AC) = n(CA), e que assim ocorre
para as demais regi
oes, chega se a conclusao que:
n(ABC) = n(A) + n(B) + n(C) n(AB) n(AC) n(BC) + n(ABC)
Obs: Este exerccio tambem pode ser resolvido de modo analogo ao utilizado na questao 8.
Contudo, ser
a um processo mais trabalhoso.

11. Define-se a diferenca entre dois conjuntos, A e B da seguinte maneira:


A B = {x|x A e x
/ B}.
Ache a diferenca A B nos seguintes casos:
a) A = Q e B = R
b) A = R e B = Q
c) A ={x R|2 < x < 5} e B = {x R|x 2}






2n
n
n
=
1,
2,
3,
...
e
B
=
n
=
1,
2,
3,
...
d) A =
n + 1
2n + 1
e) A = {x R|1 < x < 3} e B = {x R|x2 3x 4 > 0}
Solu
c
ao:
(a) Como Q R ent
ao n
ao existe nenhum elemento de Q que nao esteja em R. Assim A
B = .
(b) R = Q I e como Q e I s
ao conjunto disjuntos entao A B = I
(c) Observe as retas a seguir:
2

A primeira reta representa o conjunto A, enquanto a segunda o conjunto B. Pelo desenho


podemos notar que A B, assim A B = .
(d) Sabemos que A = { 1/2; 2/3; 3/4; 4/5; 5/6; 6/7... } e B = { 2/3; 4/5; 6/7;... }.
Observe que os elementos que est
ao em A e que nao estao em B sao as fracoes cujo numerador
s
ao impares.
10


Algebra
Moderna

Diego Oliveira - Vitoria da Conquista/BA

A B = { 1/2; 3/4; 5/6; ... }


Ou em outras palavras:



2n 1
n
=
1,
2,
...
AB=
2n
(e) Primeiro vamos resolver a inequacao que caracteriza o conjunto B.
x2 3x 4 > 0
(x 4)(x + 1) > 0
(x 4) > 0 ou (x + 1) > 0
x > 4 ou x < 1
Assim, a inequac
ao ocorre quando x > 4 e x < 1.
Com base na soluc
ao considere as seguintes retas.
3

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

Nele tiramos que:


n(A B) = n(A) n(A B)
11


Algebra
Moderna

Diego Oliveira - Vitoria da Conquista/BA

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

13. Denomina-se diferenca simetrica entre dois conjuntos A e B e denota-se por AB o


seguinte conjunto: AB = (AB)(BA). Isso posto:
a) Ache a diferenca simetrica entre os pares de conjuntos do exerccio 11.
b) Mostre que qualquer que seja o conjunto A, valem A = A e AA = ;
c) Mostre que, para quaisquer conjuntos A e B, vale AB = BA.
Solu
c
ao de a:

a) Como visto no exerccio 11 (A B) = .


Como R = Q I e Q e I s
ao conjuntos disjuntos entao se existe um r R tal que
r Q ent
ao I Sendo assim:
BA=I
Portanto,
AB = (A B) (B A)
AB = I
AB = I
12


Algebra
Moderna

Diego Oliveira - Vitoria da Conquista/BA

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

Por elas fica evidente que n


ao existe nenhum ponto do conjunto A que ao mesmo
tempo n
ao esteja contido na reta B. Sendo assim:
AB =
Contudo, o conjunto de pontos b B sendo b 5 estao contidos em B, mas nao em
A. Sendo assim:
B A = {x|x 5}
Concluindo que
AB = (A B)(B A)
AB = {x|x 5}
AB = {x| 5}
d) A = {1/2, 2/3, 3/4,...} e B = {2/3, 4/5, ...}. Sendo assim:
A B = {1/2, 3/4, 5/6}
E B A = . Logo:
AB = {1/2, 3/4, 5/6,...}
AB = {1/2, 3/4, 5/6,...}
e) Observe as retas a seguir:
1

3
1

A
B

13


Algebra
Moderna

Diego Oliveira - Vitoria da Conquista/BA

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. Sejam A e B subconjuntos de um conjunto U. Prove as seguintes propriedades:


a) Se AB = e AB = U, ent
ao B = Ac e A = Bc
b) Se AB = , ent
ao BAc e ABc .
c) BA se, e somente se, Ac Bc .
Solu
c
ao de a:
Como AB = U e AB = ent
ao A e B sao disjuntos. Sendo assim U A = B e portanto,
Ac = B. Analogamente se prova que Bc = A.
Solu
c
ao de b:
Como A e B s
ao subconjuntos de U entao vamos supor a existencia de um conjunto X (vazio
ou n
ao), de modo que X contenha todos os elementos de U que nao estao contidos em A ou B.
Em outras palavras U = ABX. Chamando de B a uniao do conjunto X com o conjunto
B ent
ao, U = AB.

14


Algebra
Moderna

Diego Oliveira - Vitoria da Conquista/BA

Como por hip


otese AB = , e X nao possui nenhum elemento de A, entao BA = . Esse
resultado implica que U A = B. Como tambem U A = Ac entao B = Ac .
Assim tomando um b B ent
ao b B (pois B = X B), e como B = Ac entao, b Ac .
Assim todo elemento de B pertence a Ac que implica em B Ac
Analogamente se prova que ABc .
Solu
c
ao de c:
() Para facilitar a compreens
ao da resposta que sera dada veja o seguinte diagrama.
U
A

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. Prove as seguinte propriedades, evolvendo o conceito de diferenca de conjuntos:


a) (AB)(AC) = A(BC)
b) (AC)(BC) = (AB)C
c) (AB)B = A se, e somente se, AB =
Solu
c
ao de b:
Seja x (A C)(B C) vamos mostrar que x (AB) C.
Se x (A C)(B C), ent
ao x (A C) e x (B C). Sendo assim pode se afirmar que
x A, x B e n
ao pertence a C. Da se conclui que x AB que implica em x (AB) C.
Isso prova que (A C)(B C)(AB) C. (1)
Para provar a inclus
ao contr
aria agora tomemos x (AB) C e vamos demostrar que
x (A C)(B C).
2 A sigla C.Q.D significa Como se Queria Demonstrar. Ocorrendo no final de v
arias demonstrac
oes matem
aticas
indicando o fim da demonstrac
ao.

15


Algebra
Moderna

Diego Oliveira - Vitoria da Conquista/BA

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

Diego Oliveira - Vitoria da Conquista/BA

Quer saber quando sair


a a pr
oxima atualizacao desse documento? Nesse caso voce pode:

verificar diretamente no blog (www.number.890m.com);


ou me seguir no Facebook (www.facebook.com/diegoguntz).
E 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.

www.number.890m.com

Para encontrar esse e outros exerccios resolvidos de matematica acesse: www.number.890m.com

17


Algebra
Moderna

1.2

Diego Oliveira - Vitoria da Conquista/BA

` 28
EXERCICIOS DA PAGINA
25 A

Comeco essa parte com uma das minhas citacoes preferidas.


A l
ogica de Arist
oteles e
otima para criar brigas e contendas, mas totalmente incapaz de
produzir algo de u
til para a humanidade.
(Francis Bacon).

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.

17. Qual e o valor l


ogico das seguintes proposicoes?
a) 2 + 5 = 1 ou 3 > 1.
b) 2 e primo e 2 e par.
c) Se 1 > 2, ent
ao 1 = 2.
d) Todo numero primo e um numero real.
e) Qualquer que seja o numero real x, vale x2 > x.
f) Existe um numero real x tal que x3 = 2.
g) Para que um triangulo seja retangulo, e necessario e suficiente que o quadrado de
um de seus lados seja igual a soma dos quadrados dos outros dois.
h) Se f e uma func
ao real de variavel real, entao f e uma funcao par ou uma funcao
mpar.
i) Se x e um numero inteiro e x3 e impar, entao x e impar.
j) Duas matrizes quadradas de mesma ordem sao iguais se, e somente se, seus determinantes s
ao iguais.

Solu
c
ao:
a) F ou V = V.
b) V e V = V.

18


Algebra
Moderna

Diego Oliveira - Vitoria da Conquista/BA

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

internos de qualquer triangulo deve ser igual a 180 ), sendo assim a u


nica solucao viavel e = .
2
E como e o angulo entre b e c. Ent
ao o triangulo possui um angulo reto e portanto e retangulo.
h) Falso. Como exemplo temos a funcao f (x) = 2x + 1 que nao e nem par nem impar.
i) Verdadeiro.

j) Falso. Basta por exemplo considerar as matrizes A =

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?

a) Existem professores que s


ao pesquisadores.
b) Se P indica o conjunto dos professores e Q o conjunto dos pesquisadores, entao
P Q 6= {}.
c) Todo pesquisador e professor.
d) O conjunto dos professores n
ao esta contido no conjunto dos pesquisadores.
e) Existem pesquisadores que n
ao sao professores.
f) O conjunto dos pesquisadores esta contido no conjunto dos professores.

Solu
c
ao:
O diagrama a seguir ilustra a situacao descrita.

19


Algebra
Moderna

Diego Oliveira - Vitoria da Conquista/BA

Pesquisador

Professor

a) V; b) V; c) F; d) V; e) V; f) F.

19. Escreva na forma se...ent


ao...:

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

Diego Oliveira - Vitoria da Conquista/BA

20. Sejam p, q e r proposic


oes, as duas primeiras verdadeiras e a terceira falsa. Indique o
valor l
ogico de:

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.

21. Negue as seguintes proposic


oes:

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:

a) Existe x, x > 2, tal que x2 < 4.


b) Existe um tri
angulo ret
angulo equilatero.
c) Existe um numero real x tal que, qualquer que seja o inteiro n, verifica-se n x.
d) Qualquer que seja o numero complexo z, vale z 5 6= 2.
21


Algebra
Moderna

Diego Oliveira - Vitoria da Conquista/BA

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.

22. Quantifique as func


oes proposicionais que seguem de modo a torna-las verdadeiras (para
todas o universo e conjunto dos n
umeros reais):

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:

a) Note que x2 5x + 6 = 0 x1 = 3 e x2 = 2. Assim, podemos usar o quantificador


existe.
A forma geral para esse quantificador e:
Existe um objeto x, elemento do conjunto A, que goza das seguintes propriedades.
Veja como ficaria a resposta neste caso:
Existe um x, pertencente a R, tal que x2 5x + 6 = 0.
b) Observe que se (x 4)(x + 4) e a fatoracao de x2 16. Ou seja para qualquer
valor de x teremos a igualdade x2 16 = (x 4)(x = 4). Assim podemos usar o
quantificador para todo.
A forma geral para esse quantificador e:
Para todo x A, afirmac
oes sobre x.
Veja como ficaria a resposta:
Para todo x R, x2 16 = (x 4)(x + 4).

22


Algebra
Moderna

Diego Oliveira - Vitoria da Conquista/BA

c) De fato a identidade pitag


orica e verdadeira para qualquer valor de x sendo assim
uma resposta possvel seria:
Para todo x R, sen2 (x) + cos2 (x) = 1.
d) Fazendo sen(x) = y ent
ao:
sen2 (x) sen(x) = 0 y 2 y = 0. Cuja solucao ocorre apenas para y = 0 ou y = 1.
Sendo assim sen(x) = 0 ou sen(x) = 1. O que implica em x = 90 ou x = 1.57. Com
isso uma resposta possvel seria:
Existe um x, pertencente a R, tal que sen2 (x) sen(x) = 0.
e) Resolvendo a inequac
ao chegamos a conclusao de que a inequacao e verdadeira
para x > 2 e x < 1. Ent
ao uma solucao aceitavel seria:
Existe um x, pertencente a R, tal que x2 3x + 3 > 1.
f) A soluc
ao dessa inequac
ao ocorre apenas para x < 1, assim:
Existe um x, pertencente a R, tal que x2 > 2x3 .

23. Se uma func


ao proposicional envolve n variaveis, entao e preciso quantifica-la n vezes a fim
de que ela se torne uma proposic
ao. Quanto a isso, e importante observar que os quantificadores
existencial e universal nem sempre comutam entre si, como se pode verificar pelas proposicoes
que se seguem, a primeira verdadeira e a segunda falsa (em ambas o domnio da variavel e R).
Qualquer que seja x, existe y tal que x + y = 1 e Existe x tal que, qualquer que seja y,
x + y = 1.
Isso posto, quantifique as seguintes funcoes proposicionais de modo a torna-las verdadeiras
(em todas, o universo das duas vari
aveis e o conjunto dos n
umeros reais):

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

Diego Oliveira - Vitoria da Conquista/BA

a) Para todo y, existe um x, tal que y > x.


b) Para todo x e para todo y ocorre que (x + y)2 = x2 + 2xy + y 2 .
c) Existe um x e existe um y, tal que x2 = y.
d) Existe um x e existe um y, sen(x + y) = sen(x) + sen(y).
e) Para todo x e para todo y ocorre que x2 + y 2 0.

24. Determine o valor l


ogico das proposicoes seguintes, nas quais x e y sao variaveis em {1,
2, 3}:

a) Existe x tal que, qualquer que seja y, x < y 2 + 1.


b) Para todo x existe y tal que x2 + y 2 = 4.
c) Existem x e y tais que x2 + y 2 = x3 .

Solu
c
ao:

a) Verdadeira. Por exemplo, tomando y = x = 1 a condicao e satisfeita.


x < y2 +
1 < 1 + 12
A mesma veracidade se verifica para y = 2 ou y = 3.
b) Falsa. Tomando x = 3, por exemplo, chegaramos a y 2 = 5
/ {1, 2, 3}
c) Verdadeira. Usando x = y = 2 teremos: 22 + 22 = 23 .

25. Em quais das condic


oes seguintes e correto afirmar que a primeira proposicao (funcao
proposicional na vari
avel real x) acarreta a segunda?

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

Diego Oliveira - Vitoria da Conquista/BA

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

que prova a condic


ao de x > .
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?

a) 2x 5 5 se, e somente se, x > 5.


b) Se x2 + 3x + 2 < 0 se, e somente se, 2 < x < 1.
c) sen(x) = sen(2x) se, e somente se, x = 0.
d) Uma matriz quadrada A e inversvel se, e somente se, det(A) 6= 0.
e) As retas y = 2x e y = mx + n sao perpendiculares se, e somente sem 2m + 1 = 0.

Solu
c
ao:

a) Incorreto. Resolvendo 2x 5 5 chegamos a x 5.


b) Correto. A soluc
ao de x2 + 3x + 2 < 0 de fato ocorre para 2 < x < 1.
c) Correto. sen(x) = sen(2x) x = 2k com k {0, 1, ...}. Assim, a primeira
proposic
ao acarreta na segunda quando fazemos k = 0.
d) Correto. A demonstrac
ao desta proposicao e simples mas, razoavelmente longa.
Como o problema n
ao pede demonstracao deixo a cargo do leitor que tenha interesse.

25


Algebra
Moderna

Diego Oliveira - Vitoria da Conquista/BA

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.

27. Enuncie as reciprocas e as contra positivas das seguintes proposicoes:

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:

a) (Reciproca): Se a soma de dois n


umeros inteiros e par, entao esses n
umeros sao
impares.
(Contrapositiva): Se a soma de dois n
umeros inteiros e impar, entao um deles e
par.
b) (Reciproca): Se uma func
ao real de variavel real e diferenciavel num ponto, entao
ela e contnua nesse ponto.
(Contrapositiva): Se uma func
ao real de variavel real nao e diferenciavel num ponto,
ent
ao ela n
ao contnua nesse ponto.
c) (Reciproca): Se o determinante de uma matriz e diferente de zero, entao a matriz
correspondente e inversvel.
(Contrapositiva): Se o determinante de uma matriz e igual a zero, entao essa matriz
n
ao e inversvel.
d) (Reciproca): Se um polin
omio real tem duas e apenas duas razes complexas,
ent
ao esse polin
omio tem grau 2.
(Contrapositiva): Se o numero de razes complexas de um polinomio real e diferente
de 2, ent
ao o grau desse polin
omio e diferente de 2.

26


Algebra
Moderna

Diego Oliveira - Vitoria da Conquista/BA

e) (Reciproca): Se todas as retas de um plano sao perpendiculares a um outro plano,


ent
ao os dois planos s
ao perpendiculares entre si.
(Contrapositiva): Se num plano ha uma reta que nao e perpendicular a um segundo
plano, ent
ao os dois planos n
ao sao perpendiculares.

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.

29. Enuncie a contrapositiva da propriedade transitiva da reta maior que em R, ou sejam


da propriedade: Se a > b e b > c, ent
ao a > c.
Solu
c
ao:
Se a c, entao a b ou b c

30. Enuncie a contrapositiva da seguinte proposicao: Sejam A, B e C pontos distintos de


um plano. Se esses pontos n
ao s
ao colineares, entao AB < BC + AC.
Solu
c
ao:
Sejam A, B e C pontos distintos de um plano. Se esses pontos sao colineares, entao AB
BC + AC.

31. Ache um contra exemplo para cada uma das seguintes afirmacoes:

a) Para todo x R, x2 1 > 60.


b) Para todo x R, x3 4x2 < 20.
c) Para todo x R, cosx > cos(x + 1).
d) Para todo x R+ , vale log10 (x) > log10 (x)2 .
27


Algebra
Moderna

Diego Oliveira - Vitoria da Conquista/BA

Solu
c
ao:

a) Para x = 1 temos 12 1 > 60 0 > 60.


b) Para x = 10 temos 103 4(10)2 < 20 600 < 20.
c) Para x = 0 temos cos(0) > cos(0 + 1) 0 > cos(1).
d) Para x = 1, vale log10 (1) > log10 (1)2 0 > 0.

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

Diego Oliveira - Vitoria da Conquista/BA

Quer saber quando sair


a a pr
oxima atualizacao desse documento? Nesse caso voce pode:

verificar diretamente no blog (www.number.890m.com);


ou me seguir no Facebook (www.facebook.com/diegoguntz).
E 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.

www.number.890m.com

Para encontrar esse e outros exerccios resolvidos de matematica acesse: www.number.890m.com

29


Algebra
Moderna

Diego Oliveira - Vitoria da Conquista/BA

Introdu
c
ao `
a Aritm
etica dos N
umeros Inteiros

2.1

EXERCICIOS DA PAGINA
33

1. Demonstre por induc


ao:

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

ii) Admitindo que a proposic


ao seja verdadeira para um k A entao:
1 + + k =

k(k + 1)
2

Somando (k + 1) em ambos os termos


1 + + k + (k + 1) =

k(k + 1)
+ (k + 1)
2

chegamos
a:
1 + + k + (k + 1) =

(k + 1)(k + 2)
2

O que mostra que a proposic


ao tambem seria valida para k + 1.
Assim, pelo princpio de induc
ao a proposicao e valida para todo n N maiores que 1.
Solu
c
ao de b:
Prova de i:
A proposic
ao e verdadeira para 1 pois, 1 = 12 .

30


Algebra
Moderna

Diego Oliveira - Vitoria da Conquista/BA

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)2 + (k + 1)3 =

(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

Diego Oliveira - Vitoria da Conquista/BA

(1 + 2 + ... + k)2 + (k + 1)3 = (1 + 2 + ... + (k + 1))

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

Somando a ambos os membros (k + 1)(k + 2)


1 2 + 2 3 + + k (k + 1) + (k + 1) (k + 2) =

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

Diego Oliveira - Vitoria da Conquista/BA

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.

2. Demonstre o segundo princpio de inducao.


Solu
c
ao:
Na pr
atica a condic
ao i e ii da inducao fraca e forte, respectivamente dizem a mesma coisa.
Assim, a mesma demonstrac
ao usada para o primeiro princpio pode ser usada para justificar o
segundo.

33


Algebra
Moderna

Diego Oliveira - Vitoria da Conquista/BA

Quer saber quando sair


a a pr
oxima atualizacao desse documento? Nesse caso voce pode:

verificar diretamente no blog (www.number.890m.com);


ou me seguir no Facebook (www.facebook.com/diegoguntz).
E 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.

www.number.890m.com

Para encontrar esse e outros exerccios resolvidos de matematica acesse: www.number.890m.com

34


Algebra
Moderna

2.2

Diego Oliveira - Vitoria da Conquista/BA

` 39
EXERCICIOS DA PAGINA
38 A

3. Sejam m e n inteiros impares. Prove que:

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:

(i) Se p e par e t e mpar p2 t2 e mpar e p t tambem.


Prova de que p2 t2
e impar.
Seja p = 2p0 e t = 2t0 + 1 para algum p0 e t0 inteiros, entao:
p2 t2 = (2p0 )2 (2t0 + 1)2
0

p2 t2 = 4p2 (4t2 + 4t0 + 1)


0

p2 t2 = 2(2p2 2t2 2t0 ) 1


35


Algebra
Moderna

Diego Oliveira - Vitoria da Conquista/BA

Fazendo k = 2p2 2t2 2t0 entao


p2 t2 = 2k 1
Que e a forma de um n
umero mpar.
Prova de que p t tamb
em ser
a impar
p t = (2p0 ) (2t0 + 1)
p t = 2(p0 t0 ) 1
Fazendo k = 2(p0 t0 ) entao:
p t = 2k 1
Que e a forma de um numero mpar.
(ii) Se t e par e p e mpar p2 t2 e p t serao mpares. A demonstracao e analoga a
anterior.
(iii) Se p e t s
ao pares ent
ao p2 t2 e p t tambem serao pares (Demonstracao a cargo
do leitor).
(iv) Se p e t s
ao mpares ent
ao p2 t2 e p t sao tambem pares (Demonstracao a cargo
do leitor).

Se ocorrer o primeiro caso ent


ao podemos substituir p2 t2 e p t por 2k + 1 e 2k 0 + 1,
respectivamente. Assim:
8|4(p2 t2 ) 4(p t)
8|4(2k + 1) + 4(2k 0 + 1)
8|8k + 4 + 8k 0 + 4
8|8(k + k 0 ) + 8
8|8((k + k 0 ) + 1)
O que completa a demonstrac
ao.
Se ocorrer o segundo, terceiro ou quarto caso a conclusao sera a mesma. Essas demonstracoes
ficam a cargo do leitor.
Solu
c
ao de c:
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 2
8|(2p + 1)(2p + 1) + (2t + 1)2 2

36


Algebra
Moderna

Diego Oliveira - Vitoria da Conquista/BA

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.

4. Mostre que entre dois n


umeros pares consecutivos um e divisvel por 4.
Solu
c
ao:
Se p e um par ent
ao:
p = 2k com k Z
e o par consecutivo ser
a p + 2 = 2k + 2.

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

Diego Oliveira - Vitoria da Conquista/BA

como 4|4k 0 ent


ao 4|p.

Assim, em qualquer hip


otese p ou p + 2 e divisvel por 4.

5. Mostre que a diferenca entre os quadrados de dois inteiros consecutivos e sempre um


numero mpar. E a diferenca entre os cubos de dois inteiros consecutivos?
Solu
c
ao de a:
Seja p e q n
umeros consecutivos um deve ser par e o outro mpar. Tomando p mpar entao:
p2 q 2
= (2k + 1)2 (2t)2 para algum k e t Z
= 4k 2 + 2k + 1 4t2
= 2(2k 2 2t2 + k) + 1
Fazendo z = 2k 2 2p2 + k ent
ao,
p2 q 2 = 2z + 1
que e a forma de um n
umero mpar.
Solu
c
ao de b:
Se p e q s
ao consecutivos ent
ao um e par e outro e mpar. Escolhendo p mpar, entao:
p3 q 3
= (2k + 1)3 (2t)3 para algum k e t Z
= 2(4k 3 4t3 + 6k 2 + 4k) + 1
Fazendo w = 4k 3 4t3 + 6k 2 + 4k entao
(2k + 1)3 (2p)3 = 2w + 1
Que e a forma de um n
umero mpar.

6. Demonstre por induc


ao que:

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

Diego Oliveira - Vitoria da Conquista/BA

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

Diego Oliveira - Vitoria da Conquista/BA

multiplicando ambos os lados por 32 .


(32k + 7) 32 = 8p 32
32k+2 + 63 = 8(9p)
32(k+1) + 7 = 8(9p) 56
32(k+1) + 7 = 8(9p 7)
Como 8|8(9p 7) ent
ao 8|3k+1 + 7.
Como queramos demonstrar.
Solu
c
ao de c:
i)
Para n = 1 temos
22(1)1 31+2 + 1
= 2 33 + 1
= 55
como 11|55 ent
ao, a proposic
ao e verdadeira para n = 1
ii)
Se a proposic
ao for verdadeira para k entao:
11|(22k 3k+2 + 1)
22k1 3k+2 + 1 = 11p para algum p Z
Multiplicando por 22 3 ambos os membros.
22 3(22k+1 3k+2 + 1) = 11p 22 3
22k1 22 3k+2 3 + 12 = 11(12p)
2(2k1)+2 3(k+2)+1 + 1 = 11(12p) 11
22(k+1)1 3(k+1)+2 + 1 = 11(12p 1)
(k+1)+2

Como 11|11(12p 1) ent


ao, 11|22(k+1)13
Como queramos demonstrar.
Solu
c
ao de d:
i)
Para n = 1 temos:

40

+1


Algebra
Moderna

Diego Oliveira - Vitoria da Conquista/BA

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:

a) Um dos inteiros a, a + 2, a + 4 e divisvel por 3.


b) Um dos inteiros a, a + 1, a + 2, a + 3 e divisvel por 4.

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.

Portanto, uma das tres formas ser


a divisvel por 3.
3 Blog

pessoal: http://ellalves.net.br/blog/posts/single/7/teoria dos numeros exercicios de divisibilidade

41


Algebra
Moderna

Diego Oliveira - Vitoria da Conquista/BA

8. Prove que o produto de dois n


umeros inteiros e impar se, e somente se, ambos os n
umeros
s
ao mpares.
Solu
c
ao:
()
Admita dois n
umeros mpares p e q tal que p = 2k + 1 e q = 2k 0 + 1.
Fazendo p q
p q = (2k + 1)(2k 0 + 1)
= 4kk 0 + 2k + 2k 0 + 1 = 2(2kk 0 + k + k 0 ) + 1
()
Considere um n
umero w = pq. Onde w e um n
umero mpar. Supondo por absurdo que p
e/ou q s
ao pares chegamos ao absurdo de que w e par. Assim, p e q devem ser mpares.

9. Prove que, quaisquer que sejam os inteiros a e b, a expressao a + b + a2 + b2 representa um


par.
Solu
c
ao:
Se a e par, a2 tambem e par, mas se a e mpar, a2 tambem e mpar. O mesmo acontece com
b e b2 .
Sendo assim, a2 +a e um n
umero par e b2 +b tambem e um n
umero par e portanto, a2 +a+b2 +b
tambem e par.

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

Diego Oliveira - Vitoria da Conquista/BA

possvel encontrar dois interior m


11. E
ultiplos de 5 tais que o resto da divisao euclidiana de
um pelo outro seja 13? Justifique a resposta.
Solu
c
ao:
Se um numero m
ultiplo de 5 e dividido por um outro m
ultiplo de 5, ou a divisao sera exata,
ou ter
a um resto tambem m
ultiplo de 5. Como 13 nao e divisvel por 5 o resto nao podera ser
13.

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.

14. Se o resto na divis


ao euclidiana de um inteiro m por 8 e 5, qual e o resto da divisao m
por 4?
Solu
c
ao:
m = 8k + 5
m = 4 2k + (4 + 1)
m = 4(2k + 1)
Fazendo a divis
ao de m por 4
m
= 2k + 1
4
Assim, o resto e 1.

43


Algebra
Moderna

Diego Oliveira - Vitoria da Conquista/BA

15. Se m e um inteiro mpar, mostre que o resto da divisao de m2 por 4 e 1.


Solu
c
ao:
m m = (2k + 1) (2k + 1)
m2 = 4k 2 + 4k + 1
m2 = 4(k 2 + k) + 1
Chamando k 2 + k = q ent
ao:
m2 = 4q + 1
Assim, o resto e 1.

44


Algebra
Moderna

Diego Oliveira - Vitoria da Conquista/BA

Quer saber quando sair


a a pr
oxima atualizacao desse documento? Nesse caso voce pode:

verificar diretamente no blog (www.number.890m.com);


ou me seguir no Facebook (www.facebook.com/diegoguntz).
E 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.

www.number.890m.com

Para encontrar esse e outros exerccios resolvidos de matematica acesse: www.number.890m.com

45


Algebra
Moderna

2.3

Diego Oliveira - Vitoria da Conquista/BA

` 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

Diego Oliveira - Vitoria da Conquista/BA

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.

19. a) Prove que mdc(a. mdc(b,c)) = mdc(a, b, c).


b) Use esse fato para encontrar o maximo divisor comum de 46, 64, e 124.
Solu
c
ao de a:
Seja d = mdc(a, b, c) e provemos que d = mdc(a, mdc(b, c)).
(i) d 0, pela definic
ao de m
aximo divisor comum.
(ii) Como d|a, d|b e d|c, por hip
otese, entao d|a e d|mdc(b, c), visto que todo divisor de b e c
e divisor do m
aximo divisor comum desses n
umeros.
(iii) Seja d0 um divisor de a e de mdc(b, c); entao d0 |a, d0 |b e d0 |c e, portanto, divide o maximo
divisor comum desses n
umeros, ou seja, divide d.
Solu
c
ao de b:
mdc(46, 64, 124) = mdc(46, mdc(64, 124)) = mdc(46, 4) = 2

47


Algebra
Moderna

Diego Oliveira - Vitoria da Conquista/BA

20. Prove que mdc(n, 2n+1) = 1, qualquer que seja o inteiro n.


Solu
c
ao:
Usando o metodo de divis
oes sucessivas
mdc(n, 2n+1) = mdc(n, 1) = 1.

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.

22. Demonstre que, se a|c, b|c e mdc(a, b) = d, entao ab|cd.


Sugest
ao: Use a identidade de Bezout para a, b e d.
Solu
c
ao:
Se
ao existe um k Z tal que c = a k. Como mdc(a, b) = d entao d|a e entao
 ent
 aa|c
d k.
c=
d
a
Portanto, existe um inteiro x = dk, tal que c =
x (i).
d
 
b
Da mesma forma pode-se escrever c =
y (ii).
d
a  b 
2
xy
Multiplicando (i) por (ii), temos c =
d
d
c2 d2 = (ab)xy
(cd)2 = (ab)xy
(ab)|(cd)2 .
Suponha agora que ab - cd. O que implicaria em cd = k(ab) + r com k, r Z e ab > r 1
48


Algebra
Moderna

Diego Oliveira - Vitoria da Conquista/BA

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

Diego Oliveira - Vitoria da Conquista/BA

Quer saber quando sair


a a pr
oxima atualizacao desse documento? Nesse caso voce pode:

verificar diretamente no blog (www.number.890m.com);


ou me seguir no Facebook (www.facebook.com/diegoguntz).
E 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.

www.number.890m.com

Para encontrar esse e outros exerccios resolvidos de matematica acesse: www.number.890m.com

50


Algebra
Moderna

2.4

Diego Oliveira - Vitoria da Conquista/BA

` 49
EXERCICIOS DA PAGINA
48 A

24. Decomponha em fatores primos 234, 456 e 780.


Solu
c
ao de a:
Dividindo o numero 234 sempre pelo menor numero primo possvel chega-se ate:
234
= 117
2
117
= 39
3
39
= 13
3
13
=1
13
Sendo assim:
234 = 2 32 13
Solu
c
ao de b:
456 = 23 3 19
Solu
c
ao de c:
780 = 22 3 5 13

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

Diego Oliveira - Vitoria da Conquista/BA

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

26. Determine todos os n


umeros primos que podem ser expressos na forma n2 1.
Sugest
ao: Suponha p = n2 1 um n
umero primo e fatore o segundo membro dessa igualdade.
Solu
c
ao:
Seja p um numero primo que possa ser expresso como:
p = n2 1
sendo assim
p = n2 1 = (n 1)(n + 1)
p = (n 1)(n + 1)
Observe que nesta condic
ao p seria divisvel por 1, por ele mesmo, por n 1 e n + 1, o que
poderia contrarias a definic
ao de primo.
Para evitar que isso ocorra devemos considerar que n 1 = 1 ou n + 1 seja igual a 1.

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.

27. Se n e um inteiro e n3 1 e primo, prove que n = 2 ou n = 1.


52


Algebra
Moderna

Diego Oliveira - Vitoria da Conquista/BA

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

Diego Oliveira - Vitoria da Conquista/BA

29. Ache o menor n


umero inteiro positivo n para o qual a expressao h(n) = n2 + n + 17 e um
n
umero composto.
Solu
c
ao:
Essa f
ormula gera n
umeros primos para n = 0, 1, ..., 15. Assim, o menor numero composto
adquirido atraves desse polin
omio ocorre para n = 16.
Obs: Como o polin
omio acima n
ao pode ser fatoravel a forma mais trivial de se chegar a
soluc
ao e por meio de tentativas, embora essa formula e esse resultado sejam bastante conhecidos
na teoria dos n
umeros.

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.

Se p = (3q + 2)2 + 2 ent


ao:
p = (9q 2 + 12q + 4) + 2
p = 9q 2 + 12q + 6
p = 3(3q 2 + 4q + 2)
Como p e primo ent
ao (3q 2 + 4q + 2) = 1. Contudo essa equacao nao tem solucao em
Z, assim podemos descartar essa hipotese pois os valores obtidos para q nao resultaria
em um n inteiro.
Se p = (3q + 1)2 + 2 ent
ao:
p = (9q 2 + 6q + 1) + 2

54


Algebra
Moderna

Diego Oliveira - Vitoria da Conquista/BA

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.

31. Qual e o menor numero inteiro positivo que tem 15 divisores?


m
1 2
Sugest
ao: Se a = p
e a decomposicao do n
umero procurado em fatores primos,
1 p2 ...pm
ent
ao 15 = (1 + 1)(2 + 1)...(m + 1). Observe que so ha duas maneira (salvo quanto `a ordem)
de decompor 15 em fatores inteiros positivos.

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

32. Demonstre que o conjunto dos n


umeros primos positivos e infinito.
A primeira demonstrac
ao conhecida desse resultado, alias a mesma que esbocaremos a seguir,
foi dada por Euclides em seus Elementos.
Esboco da demonstrac
ao: Suponha que esse conjunto fosse finito: digamos que seus elementos
fossem p1 , p2 , ..., pn . Construa o n
umero p = p1 p2 ...pn + 1. Esse numero nao e nenhum dos pi ,
55


Algebra
Moderna

Diego Oliveira - Vitoria da Conquista/BA

(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

Diego Oliveira - Vitoria da Conquista/BA

Quer saber quando sair


a a pr
oxima atualizacao desse documento? Nesse caso voce pode:

verificar diretamente no blog (www.number.890m.com);


ou me seguir no Facebook (www.facebook.com/diegoguntz).
E 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.

www.number.890m.com

Para encontrar esse e outros exerccios resolvidos de matematica acesse: www.number.890m.com

57


Algebra
Moderna

2.5

Diego Oliveira - Vitoria da Conquista/BA

EXERCICIOS DA PAGINA
52

33. Resolva as seguintes equac


oes diofantinas lineares:
a) 3x + 4y = 20
b) 5x2y = 2

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

Diego Oliveira - Vitoria da Conquista/BA

Veja que o 2 e um dos muitos valores possveis.


y=

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:

7a + 11b = 7(3) + 11(2) = 1

7(3) + 11(2) = 1 (3)


Multiplicando (3) por 100
7(300) + 11(200) = 100
A equac
ao acima j
a pode ser considerada uma solucao se o problema nao exigisse que as duas
parcelas provenientes da decomposic
ao do 100 fossem positivas.
Para chegar a um resultado que satisfaca a essa exigencia primeiro determinamos a solucao
geral da equac
ao

59


Algebra
Moderna


300 +

Diego Oliveira - Vitoria da Conquista/BA

11
7
k, 200
k
mdc(7, 11)
mdc(7, 11)


= (300 + 11k, 200 7k)

E escolhemos um k que cumpra as seguintes inequacoes:


200 7k > 0 k < 200/7
300 + 11k > 0 k > 300/11
No intervalo (300/11, 200/7) temos apenas o 28 que cumpre as condicoes impostas. E pela
soluc
ao geral nos d
a a seguinte soluc
ao particular
(300 + 11(28), 200 7(28)) = (8, 4).
Observe que essa soluc
ao nos entrega agora a resposta.
7(8) + 11(4) = 100
Assim, o 100 pode ser decomposto em duas parcelas sendo uma igual a 7 8 = 56 e outra
igual a 11 4 = 44.

35. Ache todos os n


umeros inteiros estritamente positivos com a seguinte propriedade: dao
resto 6 quando divididos por 11 e resto 3 quando divididos por 7.
Solu
c
ao:
Seja p um numero que satisfaca as condicoes impostas entao:
p = 11k + 6 e p = 7q + 3
igualando as identidades acima chegamos a uma equacao diofantina.
11k + 6 = 7q + 3
11k 7q = 3
7q 11k = 3
Cuja soluc
ao geral ocorre para k = 8 7t e q = 13 11t, com t Z.
Sendo assim
p = 11k + 6
60


Algebra
Moderna

Diego Oliveira - Vitoria da Conquista/BA

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

Diego Oliveira - Vitoria da Conquista/BA

Para k = 200 a soluc


ao ser
a:
(1000 5k, 1500 + 8k) = (0, 100)
Como 64 < 100 a soluc
ao e vender 60 inteiras e 4 meias.

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

Diego Oliveira - Vitoria da Conquista/BA

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

Diego Oliveira - Vitoria da Conquista/BA

Quer saber quando sair


a a pr
oxima atualizacao desse documento? Nesse caso voce pode:

verificar diretamente no blog (www.number.890m.com);


ou me seguir no Facebook (www.facebook.com/diegoguntz).
E 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.

www.number.890m.com

Para encontrar esse e outros exerccios resolvidos de matematica acesse: www.number.890m.com

64


Algebra
Moderna

2.6

Diego Oliveira - Vitoria da Conquista/BA

` 62
EXERCICIOS DA PAGINA
61 A

38. Ache os restos das seguintes divisoes:


a) 245 por 7
b) 11100 por 100

c) 310 425 + 68 por 5


d) 52 4841 + 285 por 3

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

Diego Oliveira - Vitoria da Conquista/BA

Sabe-se que 40 e divisvel por 5, entao 42 2 (mod 5).


42 2 (mod 5) (2)

Como 62 1 (modulo 5) ent


ao:
(62 )4 14 (mod 5)
68 1 (mod 5)
68 1 (mod 5) (3)
Usando (1), (2) e (3)
310 425 + 68 4 (2)5 + 1 = 129
129 4 (mod 5)
Ou seja, o resto da divis
ao solicitada e 4.
Solu
c
ao de d:
Facilmente se conclui que 52 1 (mod 3). Fazendo a divisao de 4841 por 3 encontramos 2
como resto dessa divis
ao
4841
= 1613(3) + 2
3
Tambem sabe-se que 28 1 (mod 3), portanto 285 1 (mod 3). Sendo assim:
52 4841 + 285 1 2 + 1 (mod 3) 3 mod(3) 0 (mod 3).
Ou seja, o resto da divis
ao solicitada e 0.

39. Mostre que o numero 220 1 e divisvel por 41


Solu
c
ao:
25 9 mod(41)
(25 )4 (9)4 mod(41)
220 (9)4 mod(41).
Como 94 = 6561 e a divis
ao de 6561 por 41 tem resto 1 entao:

66


Algebra
Moderna

Diego Oliveira - Vitoria da Conquista/BA

220 1 mod(41)
Sendo assim, 220 1 1 1 = 0
O que implica em 220 1 mod(41).
Como se queria demonstrar.

40. Qual e o resto da divis


ao euclidiana de 15 + 25 + 35 + ... + 995 + 1005 por 4? Justifique.
Sugest
ao: Dividir a soma dada em 25 grupos de 4 parcelas.
Solu
c
ao:
No m
odulo 4 a soma pode ser escrita assim:
15 + 2 5 + 3 5 + 0 5 + 1 5 + 2 5 + 3 5 + 0 5 + + 1 5 + 2 5 + 3 5 + 0 5
Como a ordem dos fatores n
ao altera o resultado da soma em R, entao podemos deslocar o
u
ltimo termo da soma (05 ) para agrupa-la em grupos de 4 termos.
(05 + 15 + 25 + 35 ) + (05 + 15 + 25 + 35 ) + (05 + 15 + 25 + 35 )
Dividindo 100 por 4 o resultado sera 25. Entao, conclu-se que existam 25 grupos de quatro
termos na soma acima. Isto e:

(05 + 15 + 25 + 35 ) + (05 + 15 + 25 + 35 ) + (05 + 15 + 25 + 35 ) = 25 (05 + 15 + 25 + 35 )


= 25 (1 + 32 + 243)
= 25 (276)
Como 276 0 no m
odulo 4 ent
ao:
25 (276) = 25 0 = 0
15 + 25 + + 995 + 1005 0 (mod 4).
Ou seja, o resto e zero.

41. a) Mostre que o resto da divis


ao de um numero por 10 e seu algarismo das unidades e que
o resto da divis
ao por 100 e o numero formado pelo dois u
ltimos algarismos do numero dado.
b) Ache o algarismo das unidades de 7(7

100

c) Ache os dois u
ltimos algarismos de 9(9 ) .

67


Algebra
Moderna

Diego Oliveira - Vitoria da Conquista/BA

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

Diego Oliveira - Vitoria da Conquista/BA

Primeiro determina-se um inteiro r tal que 99 r (mod 10).


99 = 93

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

Sendo assim, os dois u


ltimos dgitos de 99 e 89.

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

Diego Oliveira - Vitoria da Conquista/BA

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

Diego Oliveira - Vitoria da Conquista/BA

a3 a = 3k 2q
= 6(kq)
a3 a 0 (mod 6).

Analogamente se prova no caso de a ou (a+1) divisveis por 3. Completando a demonstracao.


Solu
c
ao de b (Retirada da p
agina do Ell Alves4 ):
Todo n
umero inteiro tem a forma: 3k, 3k + 1 ou 3k + 2, com k Z.
Para os seus cubos, temos:
(3k)3 = 27k 3 = 9(3k 3 ) + 0 0 (mod 9)
(3k + 1)3 = 9(3k 3 + 3k 2 + k) + 1 1 (mod 9)
(3k + 2)3 = 9(3k 3 + 6k 2 + 4k) + 8 8 (mod 9).
Solu
c
ao de c:
Todo n
umero inteiro tem a forma: 3k, 3k + 1 ou 3k + 2, com k Z.
Note que a n
ao pode ser igual 3k, pois a nao e divisvel por 3. Assim, resta nos duas
possibilidades: ou a = 3k + 1 ou a = 3k + 2.
Se a for igual a 3k + 1 ent
ao k deve ser par, pois se k for impar implicara em a divisvel por
2. Veja:
(Prova de que k
e par)
a = 3k + 1
a = 3(2q + 1) + 1
a = 2(3q + 2) que e par.

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

dos numeros exercicios de congruencia linear

71


Algebra
Moderna

Diego Oliveira - Vitoria da Conquista/BA

Finalmente por induc


ao podemos terminar a demonstracao.
(Base:)
Para q = 0 temos a2 = 12(0)(3 0 + 1) + 1 = 1
Como 1 1 (mod 24) ent
ao a2 1 (mod 24).
(Passo indutivo:)
Supondo que a proposic
ao seja verdadeira para a = k entao:
a2 = 12k(3k + 1) + 1 1 (mod 24)
12k(3k + 1) 0 (mod 24)
(12k(3k + 1)) + 24(3k + 3) 0 (mod 24)
(12(k + 1))(3(k + 1) + 1)) 0 (mod 24)
(12(k + 1))(3(k + 1) + 1)) + 1 1 (mod 24)
a2 1 (mod 24)
Completando a demonstrac
ao do passo indutivo.
Analogamente se prova para o caso de a = 3k + 2.

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

46. Resolva, mediante o teorema chines do resto, os seguintes sistemas:


a) x 1 (mod 10), x 4 (mod 11), x 6 (mod 13)
b) x 5 (mod 7), x 1 (mod 9), x 6 (mod 10)
Solu
c
ao:

72


Algebra
Moderna

Diego Oliveira - Vitoria da Conquista/BA

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

Diego Oliveira - Vitoria da Conquista/BA

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

Diego Oliveira - Vitoria da Conquista/BA

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

Diego Oliveira - Vitoria da Conquista/BA

Quer saber quando sair


a a pr
oxima atualizacao desse documento? Nesse caso voce pode:

verificar diretamente no blog (www.number.890m.com);


ou me seguir no Facebook (www.facebook.com/diegoguntz).
E 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.

www.number.890m.com

Para encontrar esse e outros exerccios resolvidos de matematica acesse: www.number.890m.com

76


Algebra
Moderna

Diego Oliveira - Vitoria da Conquista/BA

Rela
c
oes, Opera
co
es, Aplicac
oes

3.1

` 71
EXERCICIOS DA PAGINA
70 A

1. Sejam E = {1, 3, 5, 7, 9} e F = {0, 2, 4, 6}.


a) Enumere os elementos das seguintes relacoes de E em F:
R1 = {(x, y)|y = x 1}
R2 = {(x, y)|x < y}
R3 = {(x, y)|y = 3x}
b) Estabeleca o domnio e a imagem de cada uma.
Solu
c
ao de a:
Seja R1 : E F ent
ao
R1 (1) = 1 1 = 0
R1 (3) = 3 1 = 2
R1 (5) = 5 1 = 4
R1 (7) = 7 1 = 6
R1 (9) = 9 1 = 8
Sendo assim: R1 = {(1, 0); (3, 2); (5, 4); (7, 6); (9, 8)}.
J
a quanto as relac
oes da ordem entre E e F pode-se dizer o seguinte:
Existe apenas uma relac
ao de ordem que envolva o 2;
1<2
duas que envolvem o 4;
1<4e3<4
e tres que envolvem o 6
1 < 6, 3 < 6 e 5 < 6
Sendo assim:
R2 = {(1, 2); (1, 4), (3, 4); (1, 6); (3, 6); (5, 6)}
Usando raciocnio an
alogo a R1 conclui-se que R3 =

77


Algebra
Moderna

Diego Oliveira - Vitoria da Conquista/BA

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

Diego Oliveira - Vitoria da Conquista/BA

3. Sendo R = {(x, y) | 4x2 + y 2 = 4} uma relacao sobre R, pede-se:


a) o gr
afico cartesiano de R;
b) o domnio de R;
c) a imagem de R;
d) descrever R1 .
Solu
c
ao de a:
2
-1

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

Diego Oliveira - Vitoria da Conquista/BA

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

Como a R e uma relaca


o sobre N entao a desigualdade a seguir deve ser satisfeita.
y=

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

Diego Oliveira - Vitoria da Conquista/BA

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

5. Sejam E e F dois conjuntos finitos com m e n elementos, respectivamente.


a) Qual e o n
umero de elementos de EF?
b) Qual e o n
umero de relac
oes de E em F?
Solu
c
ao de a:
Usando o princpio fundamental da contagem o n
umero de elementos de EF e igual a m n.
Solu
c
ao de b:
Se um conjunto possui m n elementos entao ele tera sempre 2mn subconjuntos.

6. Seja R uma relac


ao bin
aria sobre o conjunto E e R a negacao de R, isto e, R = {(x, y) |
0
0
xRy}. O que se pode concluir sobre RR e RR ?
Solu
c
ao:
Nesse caso temos R = EE - R, entao: R0 R = e R0 R = E E.

7. Sejam R1 e R2 duas relac


oes binarias em E. Que significado tem R1 R2 e R1 R2 ? O que
significa a inclus
ao R1 R2 ?
Solu
c
ao:
R1 R2 = {(x, y) | xR1 y ou xR2 y}
R1 R2 = {(x, y) | xR1 y ou xR2 y}
81


Algebra
Moderna

Diego Oliveira - Vitoria da Conquista/BA

Se R1 R2 ent
ao todo elemento de R1 tambem pertence a R2 .

82


Algebra
Moderna

Diego Oliveira - Vitoria da Conquista/BA

Quer saber quando sair


a a pr
oxima atualizacao desse documento? Nesse caso voce pode:

verificar diretamente no blog (www.number.890m.com);


ou me seguir no Facebook (www.facebook.com/diegoguntz).
E 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.

www.number.890m.com

Para encontrar esse e outros exerccios resolvidos de matematica acesse: www.number.890m.com


83


Algebra
Moderna

3.2

Diego Oliveira - Vitoria da Conquista/BA

` 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

Diego Oliveira - Vitoria da Conquista/BA

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

Diego Oliveira - Vitoria da Conquista/BA

xRy se, e somente se, x e irmao de y


Que propriedade R apresenta?
N ota : x e irm
ao de y quando x 6= y e x e y tem os mesmos pais.
Solu
c
ao:
Todas as combinac
oes possveis de pares ordenados sobre o conjunto E e dada pelo produto
cartesiano E E.
E2 = {(a, a), (a, b), (a, c), (a, d), (a, e), (b, a), (b, b), (b, c), (b, d), (b, e), (c, a), (c, b),
(c, c), (c, e), (d, a), (d, b), (d, c), (d, e), (d, d), (e, a), (e, b), (e, c), (e, d), (e, e)}
Os elementos (a, a), (b, b), (c, c), (d, d) e (e, e) nao representam irmaos, pois nao se pode ser
irm
ao de si mesmo. Sendo assim a relacao R requerida e:
R = E2 {(a, a), (b, b), (c, c), (d, d), (e, e)}
R = {(a, b), (a, c), (a, d), (a, e), (b, a), (b, c), (b, d), (b, e), (c, a), (c, b), (c, e), (d, a),
(d, b), (d, c), (d, e), (e, a), (e, b), (e, c), (e, d)}
De posse da relac
ao R testamos a existencia das seguintes propriedades sobre R: reflexao,
simetria, transitividade e anti-simetria.
Conferindo a reflex
ao.
Como R = E2 {(a, a), (b, b), (c, c), (d, d), (e, e)} entao R nao goza da propriedade reflexiva.
Conferindo a simetria.
Olhando para a relac
ao R pode se observar o que x, y E; xRy yRx. Assim, a relacao
e simetrica.
Conferindo a transitividade.
Suponha por absurdo que a relac
ao seja transitiva. Sendo assim, tomando a, b E como aRb
e bRa pela transitividade teramos aRa. O que gera o absurdo.
Conferindo a anti-simetria.
Como o conjunto E tem cinco elementos (por hipotese) se a relacao fosse anti-simetrica entao
pela relac
ao R o conjunto E seria unitario. (Obs: essa explicacao pode ser colocada sobre a
forma de prova por absurdo).
Conclus
ao: A relac
ao e somente simetrica.

12. Seja E o conjunto das retas que contem os lados de um hexagono regular abcde.

86


Algebra
Moderna

Diego Oliveira - Vitoria da Conquista/BA

a) Quantos elementos tem o conjunto E?


b) Indique quais s
ao os pares ordenados que constituem a relacao R em E assim definida:
xRy x e paralela a y
c) Quais s
ao as propriedades que R apresenta?
N ota : x e paralela a y quando x = y ou x y = , com x e y coplanares.
Solu
c
ao de a:
Imagine o seguinte hex
agono.
C

Note que o hex


agono e composto de seis segmentos que sao: CB, BA, AF F E, ED e DC.
Ou seja, o conjunto E tem seis elementos.
E = {(c, b), (b, a), (a, f ), (f, e), (e, d), (d, c)}
Solu
c
ao de b:
Note que CB//EF , BA//DE, AF //CD e tambem as recprocas EF //CB, DE//BA e
CD//AF . Outro detalhe e que pela nota fornecida um segmento e paralelo a ele mesmo, sendo
assim:
R = {(ab, ab), (ab, de), (de, ab), (de, de), (bc, bc), (bc, ef ), (ef, bc), (ef, ef ), (cd, cd),
(cd, f a), (f a, cd), (f a, f a)}
Solu
c
ao de c:
Com base na observac
ao da relacao R conclui-se que a mesma e reflexiva, sim
etrica e
transitiva.

13. Seja E = {1, 2, 3}. Considerem-se as seguintes relacoes em E:


R1 = {(1, 1), (2, 2), (3, 3)}
R2 = {(1, 1), (1, 2), (1, 3), (2, 2), (2, 3), (3, 3)}
87


Algebra
Moderna

Diego Oliveira - Vitoria da Conquista/BA

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 .

14. Construa sobre o conjunto E = {1, 2, 3, 4} quatro relacoes R1 , R2 , R3 e R4 de modo que


R1 s
o tem a propriedade reflexiva, R2 so a simetrica, R3 so a transitiva e R4 so a anti-simetrica.
Sugest
ao: Faca os diagramas de flechas.
Solu
c
ao:
R1
R2
R3
R4

= {(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)}

15. De um exemplo de relac


ao R sobre o conjunto E = {a, b, c} que tenha as propriedades
simetrica e anti-simetrica. De um exemplo de relacao S sobre E que nao tenhas as propriedades
simetrica e anti-simetrica.
Solu
c
ao:
No exerccio 13 determinamos que a relacao R1 = {(1, 1), (2, 2), (3, 3)} sobre E = {1, 2, 3} e
tanto simetrica como anti-simetrica.
Se troc
assemos 1 por a, 2 por b e 3 por c no conjunto E e segussemos a mesma logica para
a formac
ao de R1 teramos:
R = {(a, a), (b, b), (c, c)} sobre E = {a, b, c}
Que tambem e simetrica e anti-simetrica.

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

Diego Oliveira - Vitoria da Conquista/BA

, {(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

Diego Oliveira - Vitoria da Conquista/BA

Quer saber quando sair


a a pr
oxima atualizacao desse documento? Nesse caso voce pode:

verificar diretamente no blog (www.number.890m.com);


ou me seguir no Facebook (www.facebook.com/diegoguntz).
E 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.

www.number.890m.com

Para encontrar esse e outros exerccios resolvidos de matematica acesse: www.number.890m.com

90


Algebra
Moderna

3.3

Diego Oliveira - Vitoria da Conquista/BA

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

Diego Oliveira - Vitoria da Conquista/BA

-2

-1

1
-1

Gr
afico de R4

2
2

2
Gr
afico de R5

18. Das relac


oes do exerccio anterior, quais sao reflexivas? Quais sao simetricas?
Solu
c
ao:
Reflexiva: R4 ;
simetricas: todas.

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

Diego Oliveira - Vitoria da Conquista/BA

20. Das relac


oes do exerccio anterior, quais sao reflexivas? Quais sao simetricas?
Solu
c
ao:
Reflexiva: R9 ;
simetricas: R7 e R9 .

93


Algebra
Moderna

Diego Oliveira - Vitoria da Conquista/BA

Quer saber quando sair


a a pr
oxima atualizacao desse documento? Nesse caso voce pode:

verificar diretamente no blog (www.number.890m.com);


ou me seguir no Facebook (www.facebook.com/diegoguntz).
E 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.

www.number.890m.com

Para encontrar esse e outros exerccios resolvidos de matematica acesse: www.number.890m.com

94


Algebra
Moderna

3.4

Diego Oliveira - Vitoria da Conquista/BA

` 82
EXERCICIOS DA PAGINA
79 A

21. Quais das relac


oes abaixo s
ao relacoes de equivalencia sobre E = {a, b, c}?
R1 = {(a, a), (b, b), (c, c)}
R2 = {(a, a), (b, b), (c, c), (a, b), (b, c), (a, c)}
R3 = {(a, a), (b, b), (a, b), (b, a)}
R4 = EE
R5 =
Solu
c
ao:
Apenas as relac
oes R1 e R4 s
ao relacoes de equivalencia.
A relac
ao R2 n
ao pode ser pois n
ao e simetrica.
A relaca
o R3 n
ao pode ser pois n
ao e reflexiva.
A relac
ao R5 n
ao pode ser pois n
ao e reflexiva.

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

Diego Oliveira - Vitoria da Conquista/BA

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.

23. Seja E o conjunto dos tri


angulos do espaco geometrico euclidiano. Seja R a relacao em
E definida por:
xRy se, e somente se, x e semelhante a y.
Prove que R e de equivalencia.
Solu
c
ao:
Prova da reflexividade.
Por definic
ao todo tri
angulo e semelhante a ele mesmo, isso prova a reflexividade.
Prova de simetria.
Se 1 ,2 E de modo que 1 2 entao sobre os angulos internos de 1 e 2 , (, , )
pode se dizer o seguinte:
1 = 2 ; 1 = 2 ; 1 = 2
Onde , , s
ao os
angulos internos de 1 e 2 . As figuras a seguir ilustram a situacao

1
1 =
1

Tri^
angulo 1

2
2 =
2

Tri^
angulo 2

96


Algebra
Moderna

Diego Oliveira - Vitoria da Conquista/BA

Como as tres igualdades acima implicam nas tres igualdades abaixo:


1 = 2 ; 1 = 2 ; 1 = 2
Ent
ao 1 2 provando a simetria.
Prova da transitividade
Se 1 , 2 , 3 E com 1 2 e 2 3 . Entao pode se dizer o seguinte sobre os angulos
internos (, , ) dos tri
angulos.
1 = 2 ; 1 = 2 ; 1 = 2 (1)
E tambem 2 = 3 ; 2 = 3 ; 2 = 3 (2)

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

Diego Oliveira - Vitoria da Conquista/BA

a) xRy se, e somente se, x k y


b) xSy se, e somente se, x y
Solu
c
ao de a:
Prova de i: Com base no exemplo 4 da pagina 78 o autor considera que uma reta pode ser
paralela a ela mesma. Sendo assim se x E entao xRx, ou seja, pode-se dizer que a 1a condicao
e satisfeita pela pr
opria definic
ao de reta.
Prova de ii: Se x, y E s
ao paralelas entao, x e y possuem o mesmo coeficiente angular, o
que implica tambem em y k x, satisfazendo a 2a condicao.
Prova de iii: Se x, y, z E com x k y e y k z entao x possui o mesmo coeficiente regular
que z. O que implica na igualdade do coeficiente angular de x e z. O que consequentemente
comprova a 3a condic
ao, pois assim x k z.
Solu
c
ao de b:
Por definic
ao uma reta n
ao pode interceptar a si mesma, em qualquer um de seus pontos, de
modo a formar um
angulo de 90 . Sendo assim, a 1a condicao nao e satisfeita de modo a nao
termos uma relac
ao de equivalencia.

25. Considere a relac


ao R sobre N N definida por:
(a,b)R(c,d) se, e somente se, a + b = c + d
Prove que R e uma relac
ao de equivalencia.
Solu
c
ao:
Prova de i:
Dado (a, b) N2 como a + b = a + b entao (a, b)R(a, b) provando i.
Prova de ii:
Dado (a, b), (c, d) N2 com (a,b)R(c,d) entao:
a+b=c+d
Subtraindo (a + b) de ambos os membros da igualdade, temos:
(a + b) (a + b) = (c + d) (a + b)
0 = (c + d) + (a + (b))
Subtraindo (c + d) de ambos os membros da equacao

98


Algebra
Moderna

Diego Oliveira - Vitoria da Conquista/BA

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.

26. Pense na relac


ao S em Z Z definidas por:
(a,b)S(c,d) se, e somente se, ad=bc

99


Algebra
Moderna

Diego Oliveira - Vitoria da Conquista/BA

Prove que R e uma relac


ao de equivalencia.
Solu
c
ao:
Prova de i:
Dado (a, b) Z Z . Como ab = ab entao (a, b)R(a, b). Satisfazendo a primeira condicao.
Prova de ii:
Dado (a, b) e (c, d) Z Z com (a, b)R(a, b) entao:
ab = cd
ab ab = cd ab
0 cd = (cd + (ab)) cd
Usando a associatividade a esquerda:
cd = (cd + (cd)) + (ab)
cd = ab
Multiplicando ambos os termos por (1)
(1)(cd) = (1)(ab)
cd = ab
(c, d)R(a, b)
Prova de iii:
Se (a, b), (c, d) e (e, f ) E com (a,b)R(c,d) e (c,d)R(e,f) entao:
ab = cdecd = ef
ab = ef
(a, b)R(e, f )
Comprovando a terceira afirmativa

100


Algebra
Moderna

Diego Oliveira - Vitoria da Conquista/BA

Quer saber quando sair


a a pr
oxima atualizacao desse documento? Nesse caso voce pode:

verificar diretamente no blog (www.number.890m.com);


ou me seguir no Facebook (www.facebook.com/diegoguntz).
E 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.

www.number.890m.com

Para encontrar esse e outros exerccios resolvidos de matematica acesse: www.number.890m.com

101


Algebra
Moderna

3.5

Diego Oliveira - Vitoria da Conquista/BA

` 82
EXERCICIOS DA PAGINA
81 A

27. Seja E = {x Z | 5 x 5} e seja R a relacao sobre E definida por


xRy se, e somente se, x2 + 2x = y 2 + 2y
a) Mostre que R e uma relac
ao de equivalencia.
b) Descreva as classes de equivalencia 0, 2 e 4.
Solu
c
ao de A:
A rela
c
ao
e reflexiva!
Note que para todo x E a igualdade
x2 + 2x = x2 + 2x
e valida. Logo a relac
ao e reflexiva.
A rela
c
ao
e transitiva!
Dado x, y, z E com xRy e yRz entao:
x2 + 2x = y 2 + 2y e y 2 + 2y = z 2 + 2z
Combinando as duas equac
oes acima se chega `a:
x2 + 2x = z 2 + 2z
xRz
provando a transitividade da relac
ao.
A rela
c
ao
e sim
etrica!
Dado x, y E com xRy ent
ao:
x2 + 2x = y 2 + 2y
Subtraindo x2 + 2x de ambos os membros
(x2 + 2x) (x2 + 2x) = (y 2 + 2y) (x2 + 2x)
0 = (y 2 + 2y) (x2 + 2x)
102


Algebra
Moderna

Diego Oliveira - Vitoria da Conquista/BA

subtraindo agora y 2 + 2y de ambos os membros


0 (y 2 + 2y) = ((y 2 + 2y) (x2 + 2x)) (y 2 + 2y)
(y 2 + 2y) = ((y 2 + 2y) + (x2 2x)) (y 2 + 2y)
Usando a comutativa no 2 membro
(y 2 + 2y) = ((x2 2x) + (y 2 + 2y)) (y 2 + 2y)
Usando a associatividade no 2 membro
(y 2 + 2y) = (x2 2x) + ((y 2 + 2y) (y 2 + 2y))
(y 2 + 2y) = (x2 + 2x)
(y 2 + 2y) = (x2 + 2x)
yRx
Provando a simetria
Como a relac
ao e reflexiva, transitiva e simetrica entao e uma relacao de equivalencia.
Solu
c
ao de B:
Como ficou provado no item A relacao R e uma relacao de equivalencia sobre E. Sendo assim:
0 = {x E | |xR0}
Ou seja, 0 e o conjunto soluc
ao da seguinte equacao:
x2 + 2x = (0)2 + 2(0)
x2 + 2x = 0
x(x + 2) = 0
x = 0 ou x = 2.
Sendo assim:
0 = {0, 2}
Analogamente se chega a conclus
ao de que 2 = {0, 2} e 4 = {4, 6}.

28. Sejam E = {x Z | |x| 3} e seja R a relacao sobre E definida por


xRy se, e somente se, x + |x| = y + |y|
103


Algebra
Moderna

Diego Oliveira - Vitoria da Conquista/BA

a) Mostre que R e uma relac


ao de equivalencia.
b) Descreva o conjunto-quociente E/R.
Solu
c
ao de A:
Prova de simetria.
Dado x, y E com xRy ent
ao:
x + |x| = y + |y|
Somando (x |x|) a ambos os termos
(x + |x|) + (x |x|) = (y + |y|) + (x |x|)
(x + |x|) (x + |x|) = (y + |y|) + (x |x|)
0 = (y + |y|) + (x |x|)
Somando (y |y|) a ambos os termos
0 + (y |y|) = [(y + |y|) + (x |x|)] + (y |y|)
Usando a comutatividade de Z no 2 membro
(y |y|) = [(x |x|) + (y + |y|)] + (y |y|)
Usando a associatividade da soma em Z no 2 membro
(y |y|) = (x |x|) + [(y + |y|) + (y |y|)]
(y |y|) = (x |x|) + [(y + |y|) (y + |y|)]
(y + |y|) = (x + |x|)
Multiplicando ambos os membros da equacao acima por (1)
(y + |y|) = (x + |x|)
yRx
provando a simetria.
Prova da reflexividade
Dado x E como a igualdade a seguir e sempre valida
x + |x| = x + |x|
ent
ao xRx provando a reflex
ao.

104


Algebra
Moderna

Diego Oliveira - Vitoria da Conquista/BA

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

29. Considere o conjunto E = {x Z | |0 x 10} e sobre ele a relacao de congruencia


m
odulo 4, que e de equivalencia.
a) Descreva as classes de equivalencia 0 e 1.
b) Descreva o conjunto-quociente E/R.

105


Algebra
Moderna

Diego Oliveira - Vitoria da Conquista/BA

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

30. Seja R a relac


ao sobre Q definida da seguinte forma:
xRy se, e somente se, x y Z
a) Prove que R e uma relac
ao de equivalencia.
b) Descreva a classe 100.
c) Descreva a classe 0, 5.
Solu
c
ao de A:
Prova da reflexividade
Dado x Q como x x = 0 e 0 Z, entao xRx. Provando a reflexao.
Prova da simetria
Dado x e y Q com xRy ent
ao:
(x y) Z
o que implica na existencia de um k Z tal que:
xy =k
Multiplicando ambos os membros da igualdade acima por -1 entao:
x + y = k
y x = k

106


Algebra
Moderna

Diego Oliveira - Vitoria da Conquista/BA

Como k Z obviamente k tambem pertence sendo assim yRx.


Provando ent
ao a simetria.
Prova de transitividade
Dado x, y e z Q tal que xRy e yRz entao:
(x y) Z e (y z) Z
Sendo assim, existe um k e um k 0 , ambos pertencentes a Z tal que
x y = k e y z = k0
De y z = k 0 chega-se a y = k 0 + z. Usando esse resultado na primeira equacao
x (k 0 + z) = k
x k0 z = k
x z = k + k0
Como a soma de inteiros resulta num inteiro entao
(x z) Z
xRz
Provando a transitividade
Solu
c
ao de B:
100 = Z
Solu
c
ao de C:
Para que x 0, 5 Z e necess
ario que x seja um inteiro somado a 0,5. Sendo assim:




2x + 1
1
0, 5 = x + | x Z ou 0, 5 =
|xZ
2
2

31. Considere a relac


ao S sobre R definida da seguinte forma: xSy se, e somente se, x y Q
a) Prove que S e uma relac
ao de equivalencia.
b) Descreva a classe representada por 1/2.

107


Algebra
Moderna

Diego Oliveira - Vitoria da Conquista/BA

c) Descreva a classe a, quando a Q.

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)

32. Pense na relac


ao T sobre C definida por (x+yi)T (z +ti) se, e somente se, x2 +y 2 = z 2 +t2
com x, y, z e t reais.
a) Prove que T e uma relac
ao de equivalencia.
b) Descreva a classe (1 + i).
Solu
c
ao de A:
Prova da reflexividade

108


Algebra
Moderna

Diego Oliveira - Vitoria da Conquista/BA

Dado C, com = (w + si) como a igualdade a seguir e sempre verdadeira


(w2 + s2 ) = (w2 + s2 )
ent
ao T provando a reflexividade.
Prova da simetria
Dado (x + yi) e (z + ti) com (x + yi)T (z + ti) entao
x2 + y 2 = z 2 + t 2
Onde por meio das propriedades operativas de R (ver exerccio 30) chega-se a
z 2 + t 2 = x2 + y 2
(z + ti)T (x + yi)
Provando a simetria
Prova da transitividade
Dado (x + yi), (z + ti) e (w + si) tal que (x + yi)T (z + ti) e (z + ti)T (w + si) entao:
x2 + y 2 = z 2 + t2 e z 2 + t2 = w2 + s2
Combinando ambas as equac
oes chegamos `a:
x2 + y 2 = w2 + s2
(x + yi)T (w + si)
Provando a transitividade
Logo a relac
ao T e de equivalencia
Solu
c
ao de B:
1 + 1i = {(x + yi) C | x2 + y 2 = 12 + 12 }

109


Algebra
Moderna

Diego Oliveira - Vitoria da Conquista/BA

Quer saber quando sair


a a pr
oxima atualizacao desse documento? Nesse caso voce pode:

verificar diretamente no blog (www.number.890m.com);


ou me seguir no Facebook (www.facebook.com/diegoguntz).
E 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.

www.number.890m.com

Para encontrar esse e outros exerccios resolvidos de matematica acesse: www.number.890m.com

110


Algebra
Moderna

Diego Oliveira - Vitoria da Conquista/BA

Agradecimentos

Ao Giuliano Paladino da cidade de Itacoatiara-AM pela digitacao dos exerccios das


p
aginas 44, 48, 52 e 61.
A Lucas Siebra pela revis
ao da questao 41 da pagina 60.
A Edson Luciano de O. Vigilato de Fazenda Nova-GO pela digitacao dos exerccios
de 1 `
a 4 da p
agina 70.
A Andre Luiz Pereira de Novo Brasil-GO pela digitacao do exerccio 5 da pagina 70.
Dos exerccios das p
aginas 71. Dos exerccios 8 e 12 da pagina 75. Dos exerccios da
p
agina 79 (inclusive pela correcao do exerccio 23 da mesma pagina). E finalmente,
dos exerccios da p
agina 81 ate a 82.

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