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

Solucionario da 4a edicao 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 didaticos (principalmente para nvel de graduacao e pos), e
um mercado pouco lucrativo.
Para quem desejar; uma copia do livro do Higino pode ser baix-
ada em https://pt.scribd.com/doc/74399512/Algebra-
Moderna-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 nao deixe de acompanhar este documento no link a seguir
para obter todas as atualizacoes. www.number.890m.com

1
Sumario
1 Nocoes Sobre Conjuntos e Demonstracoes 3
1.1 EXERCICIOS DA PAGINA 13 A 16 . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.2 EXERCICIOS DA PAGINA 25 A 28 . . . . . . . . . . . . . . . . . . . . . . . . . 18

2 Introducao a Aritmetica dos Numeros Inteiros 30


2.1 EXERCICIOS DA PAGINA 33 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
2.2 EXERCICIOS DA PAGINA 38 A 39 . . . . . . . . . . . . . . . . . . . . . . . . . 35
2.3 EXERCICIOS DA PAGINA 44 A 45 . . . . . . . . . . . . . . . . . . . . . . . . . 46
2.4 EXERCICIOS DA PAGINA 48 A 49 . . . . . . . . . . . . . . . . . . . . . . . . . 51
2.5 EXERCICIOS DA PAGINA 52 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
2.6 EXERCICIOS DA PAGINA 61 A 62 . . . . . . . . . . . . . . . . . . . . . . . . . 65

3 Relacoes, Operacoes, Aplicacoes 77


3.1 EXERCICIOS DA PAGINA 70 A 71 . . . . . . . . . . . . . . . . . . . . . . . . . 77
3.2 EXERCICIOS DA PAGINA 75 A 76 . . . . . . . . . . . . . . . . . . . . . . . . . 84
3.3 EXERCICIOS DA PAGINA 77 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91
3.4 EXERCICIOS DA PAGINA 79 A 82 . . . . . . . . . . . . . . . . . . . . . . . . . 95
3.5 EXERCICIOS DA PAGINA 81 A 82 . . . . . . . . . . . . . . . . . . . . . . . . . 102

4 Agradecimentos 111
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA

1 Nocoes Sobre Conjuntos e Demonstracoes

1.1 EXERCICIOS DA PAGINA 13 A 16

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 relacao seguinte como verdadeira ou falsa e justifique.

a) Ac B d) BAC
b) AB = D
c) CBc e) CD6=

Solucao de a:

Observe que exceto pelo conjunto C, todos os conjuntos estao sendo caracterizados por meio
de uma inequacao.

B = {x R | x inequacao}
Normalmente a resolucao de problemas que envolvem operacoes entre conjuntos, em que
os conjuntos sao caracterizados por uma inequacao, depende da passagem do conjunto de sua
notacao 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 facil definir o complementar A.

-2 2
c
Conjunto A

3
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 uniao 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 2

Conjunto Ac sobre o conjunto B

Portanto a afirmacao e VERDADEIRA.

Solucao de b:

Como ja foi demonstrado os conjuntos A e B podem ser representado por intervalos.

B = [2, ) (, 1]

A = (-2, 2)

Como A B e a intercessao entre A e B entao:

A B = (2, 1]

Note que 1 A B, contudo 1


/ D. Assim, a afirmativa e FALSA.

Solucao de c:

Se B = [2, ) (, 1] entao Bc = (1, 2).

4
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
estao entre 0 e 1. Como (0, 1) Bc entao a afirmativa e VERDADEIRA.

Solucao de d:

BA = R. Assim a afirmativa e VERDADEIRA.

Solucao de e:

Todos os elementos de D sao negativos, ao passo que todo elemento de C sao positivos. Assim,
nao existe intersecao 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 relacoes: C, B C, B C.

Solucao:

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.

Solucao de a:

Se A = B = {1} e C = (o que cumpre a condicao de C 6= B), entao:

{1} {1} = {1}

{1} = {1}

Outra solucao 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

Solucao de b:

Neste caso se A = , C = {2} e B = {1} entao:

AB=AC

{1} = {2}

Outra solucao seria A = {1, 2, 3, 4, 5}, B = {4, 5, 6, 7} e C ={4, 5, 6, 7, 8}

5
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA

4. Se A, B e C sao conjuntos tais que A B = A C e A B = A C, prove que B = C.

Solucao:

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 conclusao 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 entao b A B. Como por hipotese A B = A C entao b A ou


b C ou b pertence a ambos.

Se b A, entao 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 entao c A C. Como por hipotese A C = A B entao c A ou


c B ou c pertence a ambos.

Se c A, entao 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.

Solucao por absurdo:

Na questao anterior foi mostrada uma tecnica para a demonstracao de igualdade entre con-
juntos. Nessa questao 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 nao pertencente a A.

Se a A e nao pertence a B entao a A B. Como por hipotese A B = A B entao a


B o que resulta em absurdo.

Raciocnio analogo se desenvolve para b B.

6
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA

6. Se A e B sao conjuntos arbitrarios, demonstre as seguintes propriedades conhecidas como


leis de absorcao.

a) A (A B) = A
b) A (A B) = A

Solucao de a:

Se x A (A B) entao x A. Ou seja, todo elemento de A (A B) pertence a A.

Se a A entao 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 esta contido em A (A B) e vice versa pela propriedade anti-
simetrica fica provado a igualdade.

Solucao de b:

Se x A (A B) entao x A. Ou seja, todo elemento de A (A B) tambem pertence


a A.

Se a A entao 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 numero de subconjuntos binarios (formados de dois elementos) de um conjunto dado


e 15, quantos subconjuntos tem esse conjunto?

Solucao de a:

P(A) = {, {}, {1}, {{1}}, {, 1}, {, {1}}, {1, {1}}, {, 1, {1}}

Solucao de b:

Como ensina a analise combinatoria o numero de subconjuntos de A com um elemento e n1 ,




o numero de subconjuntoscom dois elementos e n2 , e etc.


Usando os numeros 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 numeros binomiais de uma mesma linha e uma potencia de base 2 cujo expoente e a ordem da

linha.

7
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA

e igual a 2n . Provando a afirmacao.

Solucao de c:
n

O numero de subconjuntos binarios de um conjunto qualquer e igual ao numero binomial 2 .
Se esse numero e igual a 15 entao:
 
n
= 15
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 numero de elementos do conjunto nao pode ser negativo. Com isso conclumos
que o conjunto em questao tem 6 elementos e portanto, 26 = 64 subconjuntos.

8. Para indicar o numero de elementos de um conjunto finito X, adotemos a notacao n(X).


Mostre entao que se, A e B sao conjuntos finitos, verifica-se a importante relacao: n(AB) =
n(A) + n(B) n(AB)

Solucao:

De fato se indicarmos por A e B respectivamente as partes de A e B formadas pelos elementos


que nao estao em A B entao 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 ultimas 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 nao assinavam nenhuma das revistas?

Solucao:

8
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA

O diagrama seguinte ilustra a situacao.

A B

20 4 14

O numero 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 sao 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)

Solucao:

Observe a figura seguinte.

CA CB
CBA

A B
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 regioes 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 numero de elementos da regiao (C B A) foi subtrada do calculo. Assim


efetua-se a correcao.

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 regioes, 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, sera 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}


   
n 2n
d) A = n = 1, 2, 3, ... e B = n = 1, 2, 3, ...
n + 1 2n + 1

e) A = {x R|1 < x < 3} e B = {x R|x2 3x 4 > 0}

Solucao:

(a) Como Q R entao nao existe nenhum elemento de Q que nao esteja em R. Assim A
B = .

(b) R = Q I e como Q e I sao conjunto disjuntos entao A B = I

(c) Observe as retas a seguir:

2 5

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 estao em A e que nao estao em B sao as fracoes cujo numerador
sao impares.

10
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA

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

Ou em outras palavras:
 
2n 1
AB= n = 1, 2, ...
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 inequacao ocorre quando x > 4 e x < 1.

Com base na solucao considere as seguintes retas.

1 3

-1 4

A reta mais acima representa o conjunto A, enquanto a segunda o conjunto B. Pelo esquema
e facil 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).

Solucao:

Observe o diagrama

A B

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.

Solucao de a:

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


Como R = Q I e Q e I sao conjuntos disjuntos entao se existe um r R tal que
r Q entao 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 nao existe nenhum ponto do conjunto A que ao mesmo
tempo nao 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 3
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,)

Solucao de b:

Por definicao:

AB = (A)(A)

Dado a A entao a / , pois se assim fosse nao seria vazio. Logo todos os elementos de
A nao estao em B. Em outras palavras, A = A
Tambem por definicao A. Sendo assim: (BA) = . Portanto,

AB = A = A.

Analogamente se prova que AA = .

Solucao de c:

Por definicao AB= BA

(AB)(BA) = (BA)(AB)

Como na operacao de uniao 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, entao B = Ac e A = Bc

b) Se AB = , entao BAc e ABc .

c) BA se, e somente se, Ac Bc .

Solucao de a:

Como AB = U e AB = entao A e B sao disjuntos. Sendo assim U A = B e portanto,


Ac = B. Analogamente se prova que Bc = A.

Solucao de b:

Como A e B sao subconjuntos de U entao vamos supor a existencia de um conjunto X (vazio


ou nao), 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 entao, U = AB.

14
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA

Como por hipotese 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 entao 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 .

Solucao de c:

() Para facilitar a compreensao da resposta que sera dada veja o seguinte diagrama.

U
A

B X

Como BA entao Ac = U A = X. Ja Bc = (A B)X. Essas afirmacoes podem ser


visualizadas na imagem acima.
Como Bc = (A B)X entao XBc e como Ac = X entao Ac Bc . C.Q.D2 .

() Se U = ABX entao Bc = XA e Ac = XB.


Como por hipotese Ac Bc entao 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 =

Solucao de b:

Seja x (A C)(B C) vamos mostrar que x (AB) C.

Se x (A C)(B C), entao x (A C) e x (B C). Sendo assim pode se afirmar que


x A, x B e nao 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 inclusao contraria 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 varias demonstracoes matematicas

indicando o fim da demonstracao.

15
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA

Se x (AB) C entao 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)

Solucao:

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 saira a proxima 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 Diego Oliveira - Vitoria da Conquista/BA

1.2 EXERCICIOS DA PAGINA 25 A 28

Comeco essa parte com uma das minhas citacoes preferidas.

A logica de Aristoteles e otima para criar brigas e contendas, mas totalmente incapaz de
produzir algo de util para a humanidade.

(Francis Bacon).

AVISO!!
Muitas questoes desta secao admitem mais de uma resposta. Assim, nao conclua-a de imediato
que sua resposta esta errada apenas porque esta diferente da resposta do livro, do seu amigo ou
do professor.
Agora, aproveitando que voce esta lendo essa parte, quero pedir que caso algum erro de
digitacao, ou logica na resolucao dos exerccios seja identificado, por favor, escreva para
nibblediego@gmail.com para que eles possam ser corrigidos.

17. Qual e o valor logico das seguintes proposicoes?

a) 2 + 5 = 1 ou 3 > 1.

b) 2 e primo e 2 e par.
c) Se 1 > 2, entao 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 funcao 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 deter-
minantes sao iguais.

Solucao:

a) F ou V = V.

b) V e V = V.

18
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA

c) Se F entao F = V.

d) Verdadeiro.

e) Falso, pois 0.5 R e 0.52 < 0.5.



f) Verdadeiro. Se x = 3 2 entao, x3 = 2.

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 so 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 unica solucao viavel e = .
2
E como e o angulo entre b e c. Entao 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.
   
2 1 0 2
j) Falso. Basta por exemplo considerar as matrizes A = eB= .
2 0 1 2

18. Considere que numa universidade se tenha a seguinte situacao: ha pesquisadores que nao
sao professores e professores que nao sao pesquisadores, mas alguns pesquisadores sao professores.
Isso posto, quais das seguintes afirmacoes relativas a essa universidade sao verdadeiras?

a) Existem professores que sao 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 nao esta contido no conjunto dos pesquisadores.

e) Existem pesquisadores que nao sao professores.


f) O conjunto dos pesquisadores esta contido no conjunto dos professores.

Solucao:

O diagrama a seguir ilustra a situacao descrita.

19
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA

Professor Pesquisador

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

19. Escreva na forma se...entao...:

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

Solucao:

a) Se e um triangulo, entao 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 sao paralelas entre si e se nao sao paralelas ao eixo das ordenadas,
entao essas retas tem o mesmo coeficiente angular.
e) Se uma funcao real de variavel 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 proposicoes, as duas primeiras verdadeiras e a terceira falsa. Indique o


valor logico de:

a) p e ( q):
b) ( r) ou ( p):
c) se (p e r), entao q:
d) p se, e somente se, r.

Solucao:

a) V e F = F.
b) V ou F = V.
c) Se (V e F), entao V se F, entao V = V.
d) V se, e somente se, F = F.

21. Negue as seguintes proposicoes:

a) Se x R e x > 2, entao x2 4.
b) Nenhum triangulo retangulo 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 retangulo e um paralelogramo.
f) Se dois planos sao paralelos, entao toda reta de um deles e paralela ao outro plano.

Solucao:

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


b) Existe um triangulo retangulo 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 retangulos que nao sao paralelogramos.


f) Existem planos paralelos tais que um deles contem uma reta que nao e paralela ao
outro.

22. Quantifique as funcoes proposicionais que seguem de modo a torna-las verdadeiras (para
todas o universo e conjunto dos numeros 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

Solucao:

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, afirmacoes 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 pitagorica 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 entao:

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 inequacao chegamos a conclusao de que a inequacao e verdadeira


para x > 2 e x < 1. Entao uma solucao aceitavel seria:

Existe um x, pertencente a R, tal que x2 3x + 3 > 1.

f) A solucao dessa inequacao ocorre apenas para x < 1, assim:

Existe um x, pertencente a R, tal que x2 > 2x3 .

23. Se uma funcao proposicional envolve n variaveis, entao e preciso quantifica-la n vezes a fim
de que ela se torne uma proposicao. 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 variaveis e o conjunto dos numeros 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

Solucao:

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

Solucao:

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 condicoes seguintes e correto afirmar que a primeira proposicao (funcao
proposicional na variavel real x) acarreta a segunda?

a) Se 2 = 0, entao 4 e um numero primo.

b) Se x2 + x 2 = 0, entao x = 2.
c) Se x e um numero real, entao x e um numero complexo.

24
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA

d) Se x2 4 < 0, entao x < 2.


e) Se tg(x) > 1, entao x > /4.

Solucao:

a) Verdadeira.

b) Falsa. As razes de x2 + x 2 = 0 ocorrem apenas para x = 2 ou x = 1. Logo x


nao pode ser igual a 2.
c) Correto. Todo conjunto R esta contido em C.
d) Correto. Resolvendo a inequacao em questao chegamos a 2 < x < 2. O que
prova a condicao de x < 2.

e) Correto. A solucao para a equacao e + k > x > + k com k {0, 1, ...}. O
2 4

que prova a condicao de x > .
4

26. Para quais das bicondicionais seguintes seria correto dizer que a primeira proposicao
(funcao proposicional na variavel 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.

Solucao:

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


b) Correto. A solucao 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


proposicao acarreta na segunda quando fazemos k = 0.
d) Correto. A demonstracao desta proposicao e simples mas, razoavelmente longa.
Como o problema nao pede demonstracao deixo a cargo do leitor que tenha interesse.

25
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA

e) Correto. Recorrendo ao calculo diferencial se a reta y = mx + n e perpendicular


1 1
a y = 2x entao 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 numeros inteiros sao impares, entao a soma deles e um numero par.
b) Se uma funcao real de variavel 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 polinomio real e 2, entao esse polinomio tem duas e apenas duas
razes complexas.
e) Se dois planos sao perpendiculares, entao toda reta de um deles e perpendicular
ao a outro.

Solucao:

a) (Reciproca): Se a soma de dois numeros inteiros e par, entao esses numeros sao
impares.

(Contrapositiva): Se a soma de dois numeros inteiros e impar, entao um deles e


par.
b) (Reciproca): Se uma funcao real de variavel real e diferenciavel num ponto, entao
ela e contnua nesse ponto.

(Contrapositiva): Se uma funcao real de variavel real nao e diferenciavel num ponto,
entao ela nao 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


nao e inversvel.

d) (Reciproca): Se um polinomio real tem duas e apenas duas razes complexas,


entao esse polinomio tem grau 2.

(Contrapositiva): Se o numero de razes complexas de um polinomio real e diferente


de 2, entao o grau desse polinomio 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,


entao os dois planos sao perpendiculares entre si.

(Contrapositiva): Se num plano ha uma reta que nao e perpendicular a um segundo


plano, entao os dois planos nao sao perpendiculares.

28. Classifique como verdadeiras ou falsas as reciprocas e as contra positivas das proposicoes
do exerccio 27.

Solucao:

Letra A: F e V.
Letra B: V e F.
Letra C: V e V.
Letra D: V e V.
Letra 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, entao a > c.

Solucao:

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 nao sao colineares, entao AB < BC + AC.

Solucao:

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

Solucao:

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 contrapos-
itiva e a segunda por reducao ao absurdo: Se m e um inteiro tal que m3 + 2 e impar, entao m
e impar.

Solucao por contrapositiva:

A contra positiva da proposicao 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 numeros pares e par e a soma de pares tambem.
Assim, como a contrapositiva da proposicao e verdadeira entao a proposicao tambem e.

Solucao 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 hipotese 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 numero primo.

Solucao:

Essa formula 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 saira a proxima 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

2 Introducao a Aritmetica dos Numeros Inteiros


2.1 EXERCICIOS DA PAGINA 33

1. Demonstre por inducao:

n(n + 1)
a) 1 + 2 + + n = (n 1)
2
b) 1 + 3 + 5 + + (2n 1) = n2 (n 1)
c) 13 + 23 + + n3 = (1 + 2 + ... + n)2 (n 1)
n(n + 1)(n + 2)
d) 1 2 + 2 3 + + n (n + 1) = (n 1)
3
e) n2 > n + 1 (n 2)

Solucao de a:

i) Observe que a proposicao e verdadeira para n = 1, pois

1(1 + 1)
1= =1
2

ii) Admitindo que a proposicao seja verdadeira para um k A entao:

k(k + 1)
1 + + k =
2
Somando (k + 1) em ambos os termos

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

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

O que mostra que a proposicao tambem seria valida para k + 1.

Assim, pelo princpio de inducao a proposicao e valida para todo n N maiores que 1.

Solucao de b:

Prova de i:

A proposicao e verdadeira para 1 pois, 1 = 12 .

30
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA

Prova de ii:

Se a proposicao 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 proposicao e valida para k entao ela e valida para k + 1. Sendo assim, pelo
princpio de inducao a proposicao e verdadeira para todo n 1.

Solucao de c:

prova de i:

A proposicao e valida para 1, pois 13 = 12 .

Prova de ii:

Se a proposicao e valida 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

k(k + 1)
Como visto na letra a do exerccio 1 + 2 + ... + k = . Assim, podemos fazer a seguinte
2
substituicao

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

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

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

31
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA

2
(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 inducao a proposicao e valida para todo n 1.

Solucao de d:

Prova de i:

A proposicao e valida para 1.

1(1 + 1)(1 + 2)
12=
3

6=6

Prova de ii:

Tomando a proposicao como verdadeira para k entao:

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

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


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

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

Com isso mostramos que se a proposicao e valida para k entao ela tambem e valida para
k + 1. Assim, pelo princpio de inducao a proposicao e valida para todo n 1.

Solucao de d:

Prova de i:

A proposicao e verdadeira para 2.

22 > 2 + 1

4>3

Prova de ii:

Se a proposicao 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 entao

(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 inducao a proposicao e valida para todo n 2.

2. Demonstre o segundo princpio de inducao.

Solucao:

Na pratica a condicao i e ii da inducao fraca e forte, respectivamente dizem a mesma coisa.


Assim, a mesma demonstracao usada para o primeiro princpio pode ser usada para justificar o
segundo.

33
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA

Quer saber quando saira a proxima 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 Diego Oliveira - Vitoria da Conquista/BA

2.2 EXERCICIOS DA PAGINA 38 A 39

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

a) 4|(2m 2n)
b) 8|(m2 n2 )
c) 8|(m2 + n2 2)

Solucao de a:

Se m e n e mpar entao, 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 demonstracao.

Solucao de b:

Se m e n e mpar entao, 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 0
p2 t2 = 4p2 (4t2 + 4t0 + 1)
0 0
p2 t2 = 2(2p2 2t2 2t0 ) 1

35
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA

0 0
Fazendo k = 2p2 2t2 2t0 entao

p2 t2 = 2k 1

Que e a forma de um numero mpar.

Prova de que p t tambem sera 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 sao pares entao p2 t2 e p t tambem serao pares (Demonstracao a cargo
do leitor).

(iv) Se p e t sao mpares entao p2 t2 e p t sao tambem pares (Demonstracao a cargo


do leitor).

Se ocorrer o primeiro caso entao 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 demonstracao.

Se ocorrer o segundo, terceiro ou quarto caso a conclusao sera a mesma. Essas demonstracoes
ficam a cargo do leitor.

Solucao de c:

Se m e n e mpar entao, 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 demonstracao.

4. Mostre que entre dois numeros pares consecutivos um e divisvel por 4.

Solucao:

Se p e um par entao:

p = 2k com k Z

e o par consecutivo sera p + 2 = 2k + 2.

Se k for = 0 entao 4|p.

Prova:
p = 2k, mas se k = 0 entao p = 0. Como 4 | 0 entao 4 | p.

Se k for mpar entao 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) entao 4|p + 2.

Se k for par entao 4|p.

Prova:

p = 2k

= 2(2k 0 )

= 4k 0

37
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA

como 4|4k 0 entao 4|p.

Assim, em qualquer hipotese 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?

Solucao de a:

Seja p e q numeros 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 entao,

p2 q 2 = 2z + 1

que e a forma de um numero mpar.

Solucao de b:

Se p e q sao consecutivos entao 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 numero mpar.

6. Demonstre por inducao 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)

Solucao de a:

i)

Para n = 0 temos:

23(0) 1

= 20 1

=0

como 7|0 a proposicao e verdadeira para n = 0.

ii)

Se a proposicao 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) entao 7|23(k+1) 1.

Como queramos demostrar.

Solucao de 6b:

i)

Tomando n = 0 temos

32(0) + 7

=1+7

=8

Logo a proposicao e verdadeira para n = 0.

ii)

Se a proposicao 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) entao 8|3k+1 + 7.

Como queramos demonstrar.

Solucao de c:

i)

Para n = 1 temos

22(1)1 31+2 + 1

= 2 33 + 1

= 55

como 11|55 entao, a proposicao e verdadeira para n = 1

ii)

Se a proposicao 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) entao, 11|22(k+1)13 +1

Como queramos demonstrar.

Solucao de d:

i)

Para n = 1 temos:

40
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA

32(1)+1 + 21+2 = 33 + 23 = 35

como 7|35 entao a proposicao e verdadeira para n = 1.

ii) Se verdadeira para k entao

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

Solucao 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 divisao por 3 somente podem ser 0, 1 ou 2.

Se a = 3q, esta comprovada a hipotese.

Se a = 3q + 1, entao a + 2 = 3q + 2 + 1 = 3q + 3 = 3(q + 1) a + 2 e divisvel por 3.


Se a = 3q + 2, entao a + 1 = 3q + 2 + 1 = 3q + 3 = 3(q + 1) a + 1 e divisvel por 3.

Portanto, uma das tres formas sera 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 numeros inteiros e impar se, e somente se, ambos os numeros
sao mpares.

Solucao:

()

Admita dois numeros 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 numero w = pq. Onde w e um numero mpar. Supondo por absurdo que p
e/ou q sao 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.

Solucao:

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 numero par e b2 +b tambem e um numero par e portanto, a2 +a+b2 +b


tambem e par.

10. Na divisao euclidiana de 802 por a, o quociente e 14. Determine os valores possveis de
a e do resto.

Solucao:

Pelo algoritmo de divisao euclidiana 802 = 14a + r com 0 r < a.

Uma solucao 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

11. E possvel encontrar dois interior multiplos de 5 tais que o resto da divisao euclidiana de
um pelo outro seja 13? Justifique a resposta.

Solucao:

Se um numero multiplo de 5 e dividido por um outro multiplo de 5, ou a divisao sera exata,


ou tera um resto tambem multiplo de 5. Como 13 nao e divisvel por 5 o resto nao podera ser
13.

12. Quantos numeros naturais entre 1 e 1000 sao divisveis por 9? Justifique a resposta.

Solucao:

Todos os numeros entre 1 e 1000 podem ser colocados sob a forma de uma PA onde a1 = 9
e an = 999 com razao r = 9. Assim, determinar o numero de termos dessa PA e conhecer a
quantidade de numeros naturais entre 1 e 1000 que sao divisveis por 9.

999 = 9 + (n 1) 9

9n = 999

n = 111
Ou seja, temos 111 numeros.

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.
Solucao no proprio livro.

14. Se o resto na divisao euclidiana de um inteiro m por 8 e 5, qual e o resto da divisao m


por 4?

Solucao:

m = 8k + 5

m = 4 2k + (4 + 1)

m = 4(2k + 1)

Fazendo a divisao 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.

Solucao:

m m = (2k + 1) (2k + 1)

m2 = 4k 2 + 4k + 1

m2 = 4(k 2 + k) + 1

Chamando k 2 + k = q entao:

m2 = 4q + 1

Assim, o resto e 1.

44
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA

Quer saber quando saira a proxima 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 Diego Oliveira - Vitoria da Conquista/BA

2.3 EXERCICIOS DA PAGINA 44 A 45

16. Encontre o maximo divisor dos pares de numeros que seguem e, para cada caso, de uma
identidade de Bezout.

Solucao 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 equacao (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.

Solucao de b:

O mdc(68, 120) = 4 e uma identidade e 68(7) + 120(4) = 4.

Solucao 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 maximo divisor comum de dois numeros e 48 e o maior deles e 384. Encontre o outro
numero.

Solucao:

Como 384 e divisvel por 48 entao 48 e a resposta.

18. O maximo divisor comum de dois numeros e 20. Para se chegar a esse resultado pelo pro-
cesso das divisoes sucessivas, os quocientes encontrados foram, pela ordem, 2, 1, 3 e 2. Encontre
os dois numeros.

Solucao (Retirada do PROFMAT 2014.1):

Utilizando o processo das divisoes 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 hipotese 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.

Solucao de a:

Seja d = mdc(a, b, c) e provemos que d = mdc(a, mdc(b, c)).

(i) d 0, pela definicao de maximo divisor comum.

(ii) Como d|a, d|b e d|c, por hipotese, entao d|a e d|mdc(b, c), visto que todo divisor de b e c
e divisor do maximo divisor comum desses numeros.

(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 numeros, ou seja, divide d.

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

Solucao:

Usando o metodo de divisoes sucessivas

mdc(n, 2n+1) = mdc(n, 1) = 1.

21. Sejam a e b numeros 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. Sugestao: 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.

Solucao:

Se mdc(a, a + b) = 1, entao 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.


Sugestao: Use a identidade de Bezout para a, b e d.

Solucao:

Se  entao existe um k Z tal que c = a k. Como mdc(a, b) = d entao d|a e entao


 aa|c
c= d k.
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
Multiplicando (i) por (ii), temos c = xy
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 divisao exata por ab, o que ocorre para os dois primeiros termos mas nao 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 sao inteiros primos entre si, demonstre que mdc(2a + b, a + 2b) = 1 ou 3.

Solucao:
Se a e b sao primos entre si, entao 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 demonstracao.

49
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA

Quer saber quando saira a proxima 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 Diego Oliveira - Vitoria da Conquista/BA

2.4 EXERCICIOS DA PAGINA 48 A 49

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

Solucao 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

Solucao de b:
456 = 23 3 19

Solucao de c:
780 = 22 3 5 13

25. Ache o maximo divisor comum dos seguintes pares de numeros atraves da decomposicao
desses numeros em fatores primos:

a) 234 e 456

b) 456 e 780

c) 200 e 480

Solucao:

A decomposicao de 234 e 456 e:

234 = 21 32 13
456 = 23 31 19

Note que na decomposicao 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

Solucao de b:

456 = 23 3 19

780 = 22 3 5 13

mdc(456, 780) = 22 3 = 12

Solucao de c:

200 = 23 52

480 = 25 3 5

mdc(200, 480) = 23 5 = 40

26. Determine todos os numeros primos que podem ser expressos na forma n2 1.
Sugestao: Suponha p = n2 1 um numero primo e fatore o segundo membro dessa igualdade.

Solucao:

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 condicao p seria divisvel por 1, por ele mesmo, por n 1 e n + 1, o que
poderia contrarias a definicao de primo.

Para evitar que isso ocorra devemos considerar que n 1 = 1 ou n + 1 seja igual a 1.

Se (n 1) = 1 entao n = 2 e assim p = 3. Que e um numero primo.


Se (n + 1) = 1 entao n = 0 e p = 1. Que nao e primo.

Portanto, o numero 3 e o unico 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

Solucao:

Seja p um primo escrito como:

p = n3 1

p = (n 1)(n2 + n + 1)
Um numero primo so 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 entao n = 2;

Se (n2 + n + 1) = 1 entao 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 numeros primos
positivos. Por exemplo: 4 = 2 + 2, 6 = 3 + 3, 8 = 3 + 5, 10 = 3 + 7, etc. Ate hoje continua em
aberto a questao 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
numeros primos. Por exemplo: 6 = 2 + 2 + 2, 7 = 2 + 2 + 3, etc.
Sugestao: Devido a conjectura, se n 3, 2n2 = p+q (p e q primos). Portanto, 2n = p+q +2
(soma de tres numeros primos).

Solucao:

Tome um numero k > 5 entao:

k = 5 + t com t N

Para t = 1 ou t = 2 a demonstracao 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 hipotese fica mostrado a proposicao.

53
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA

29. Ache o menor numero inteiro positivo n para o qual a expressao h(n) = n2 + n + 17 e um
numero composto.

Solucao:

Essa formula gera numeros primos para n = 0, 1, ..., 15. Assim, o menor numero composto
adquirido atraves desse polinomio ocorre para n = 16.

Obs: Como o polinomio acima nao pode ser fatoravel a forma mais trivial de se chegar a
solucao e por meio de tentativas, embora essa formula e esse resultado sejam bastante conhecidos
na teoria dos numeros.

30. Se n2 + 2 e um numero primo, prove que n e multiplo de 3 ou n = 1.


Sugestao: Ha tres possibilidades de expressar um numero inteiro n; n = 3q, n = 3q + 1,
n = 3q + 2, conforme o resto da divisao de n por 3 seja 0, 1 ou 2. Mostre que as duas ultimas
sao impossveis, no caso.

Solucao:

Seguindo a sugestao 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 entao:

p = (9q 2 + 12q + 4) + 2

p = 9q 2 + 12q + 6

p = 3(3q 2 + 4q + 2)

Como p e primo entao (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 entao:

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 entao (3q 2 + 2q + 1) = 1. Contudo, essa equacao possui somente


uma solucao inteira que ocorre para q = 0. O que implicaria em n = 3(0) + 1 = 1.
Se p = (3q)2 + 2 entao, claramente n e multiplo de 3.

Portanto, se p = n2 + 1 e primo entao, ou n = 1 ou n e multiplo de tres. Como se queria


demonstrar.

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


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

Solucao:

Fatorando o numero 15 chegamos ao seguinte:

15 = 3 5

15 = (2 + 1)(4 + 1)

Sendo assim, o numero 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 sao primos, entao os valores de p1 e p2 serao 3 e 2, respectivamente. Sendo assim:

a = 32 24

= 144

32. Demonstre que o conjunto dos numeros primos positivos e infinito.


A primeira demonstracao conhecida desse resultado, alias a mesma que esbocaremos a seguir,
foi dada por Euclides em seus Elementos.
Esboco da demonstracao: Suponha que esse conjunto fosse finito: digamos que seus elementos
fossem p1 , p2 , ..., pn . Construa o numero 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, entao, que p|1 (por que?). Esse absurdo (por que?) garante a infinitude do conjunto dos
primos.

Solucao:

Suponha por absurdo que p1 , ...pn fossem todos os primos. Nesse caso o numero p = p1
p2 pn + 1 nao 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 saira a proxima 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 Diego Oliveira - Vitoria da Conquista/BA

2.5 EXERCICIOS DA PAGINA 52

33. Resolva as seguintes equacoes diofantinas lineares:

a) 3x + 4y = 20 c) 18x20y = 8
b) 5x2y = 2 d) 24x + 138y = 18

Solucao de a:

O problema ja afirma que as equacoes possuem solucao, entretanto e bom que se crie o habito
de sempre verificar se a equacao possui ou nao solucao. A nvel de exemplo vamos verificar a
primeira equacao. Para isso basta conferir se mdc(3, 4)|20.

Como mdc(3, 4) = 1 e 1|20 entao a equacao possui solucao.

Agora que sabemos que a equacao 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 solucao particular da equacao e (x, y) = (20, 20) e a solucao
geral sera:

 
4 3
20 + k, 20 k = (20 + 4k, 20 3k)
mdc(3, 4) mdc(3, 4)

onde k e qualquer numero inteiro.

Solucao de b:

Nesse caso vamos resolver a equacao por um metodo diferente. Vamos faze-la por tentativa.

Primeiro evidenciamos y na equacao.


5
5x2y = 2 y = 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.


5
y= 21=4
2
y=4

Assim, uma solucao particular sera x = 2 e y = 4.

5(2) 2(4) = 2

A solucao geral fica a cargo do leitor.

Solucao de c e d:

Analogas as anteriores.

34. Decomponha o numero 100 em duas parcelas positivas tais que uma e multipla de 7 e a
outra de 11. (Problema do matematico L. Euler [1707-1783]).

Solucao:

O problema equivale a resolver a seguinte equacao diofantina

7a + 11b = 100 (1)


Como 7 e 11 sao primos entao 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 equacao acima ja pode ser considerada uma solucao se o problema nao exigisse que as duas
parcelas provenientes da decomposicao do 100 fossem positivas.

Para chegar a um resultado que satisfaca a essa exigencia primeiro determinamos a solucao
geral da equacao

59
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA

 
11 7
300 + k, 200 k = (300 + 11k, 200 7k)
mdc(7, 11) mdc(7, 11)

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
solucao geral nos da a seguinte solucao particular

(300 + 11(28), 200 7(28)) = (8, 4).

Observe que essa solucao 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 numeros inteiros estritamente positivos com a seguinte propriedade: dao
resto 6 quando divididos por 11 e resto 3 quando divididos por 7.

Solucao:

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 solucao 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 impoe que p seja positivo entao:

p0

94 77t 0 t 0

Assim, a solucao e: todos os numeros do conjunto {94 77t|t = 1, 0, 1, 2, ...}

Observacao:

A solucao 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 numero de pessoas).

Solucao:

O problema equivale a resolver a seguinte equacao

8x + 5y = 500

Ora 8(2) + 5(3) = 1 entao 8(1000) + 5(1500) = 500, assim uma solucao particular seria
(x, y) = (1000, 1500).

E a solucao geral

(1000 5k, 1500 + 8k)

Como x e y sao o numero de pessoas que pagam inteira e meia, respectivamente, entao a
solucao nao pode ser negativa. Em outras palavras devemos encontrar um k tal que:

1000 5k 0 e 1500 + 8k 0
.

Dessas duas inequacoes 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 solucao sera:

(1000 5k, 1500 + 8k) = (60, 4)

61
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA

Para k = 200 a solucao sera:

(1000 5k, 1500 + 8k) = (0, 100)

Como 64 < 100 a solucao 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, matematico hindu).

Solucao:

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 divisao euclidiana

37x 17 = 79k

37x 79k = 17 (1)

Com k Z e representando a parte de macas recebidas por cada pessoa.

Resolvendo a equacao 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 solucao 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 inequacao 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 saira a proxima 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 Diego Oliveira - Vitoria da Conquista/BA

2.6 EXERCICIOS DA PAGINA 61 A 62

38. Ache os restos das seguintes divisoes:


a) 245 por 7 c) 310 425 + 68 por 5
b) 11100 por 100 d) 52 4841 + 285 por 3

Solucao de a:

Se 23 1 (mod 7), entao:

(23 )15 115 (mod 7)

245 1 (mod 7)

Ou seja, o resto de 245 por 7 e 1.

Solucao de b:

Se 112 21 (mod 100) entao:

(112 )50 2150 mod(100).

Como 212 41 (mod 100) entao:

(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 divisao citada e 1.

Solucao de c:

Se 32 4 (mod 5) entao:

(32 )5 45 (mod 5)

310 45 (mod 5)

e como 44 = 1024 entao:

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) entao:

(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 divisao solicitada e 4.

Solucao de d:

Facilmente se conclui que 52 1 (mod 3). Fazendo a divisao de 4841 por 3 encontramos 2
como resto dessa divisao

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 divisao solicitada e 0.

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

Solucao:

25 9 mod(41)

(25 )4 (9)4 mod(41)

220 (9)4 mod(41).

Como 94 = 6561 e a divisao 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 divisao euclidiana de 15 + 25 + 35 + ... + 995 + 1005 por 4? Justifique.
Sugestao: Dividir a soma dada em 25 grupos de 4 parcelas.

Solucao:

No modulo 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 nao altera o resultado da soma em R, entao podemos deslocar o
ultimo 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 modulo 4 entao:

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 divisao de um numero por 10 e seu algarismo das unidades e que
o resto da divisao por 100 e o numero formado pelo dois ultimos algarismos do numero dado.
100
b) Ache o algarismo das unidades de 7(7 )
.
9
c) Ache os dois ultimos algarismos de 9(9 ) .

67
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA

Solucao de a:

Seja n um numero qualquer se n < 10 entao a demonstracao e evidente.


Se n > 10 entao 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
divisao de n por 10 e igual a p que como e menor que dez e o algarismo que representa a unidade
(ou o ultimo algarismo do numero dado).
Analogamente se prova para n negativo.

Solucao de b:

Considere a seguinte sequencia:

70 = 1 numero terminado em 1.

71 = 7 numero terminado em 7.

72 = 49 numero terminado em 9.

73 = 343 numero terminado em 3.

74 = 2401 numero terminado em 1.

75 = 16807 numero terminado em 7.


..
.

se continuassemos com ela perceberamos que o final dos demais numeros ainda seria, e na
ordem, os numeros 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 numero 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,


100 0
77 33 (mod. 4)
100
77 31 (mod. 4)
100
77 3 (mod. 4).
100
Entao, o algarismo da unidade de 77 e 3.

Solucao de c:

Esse metodo pode ser aplicado sempre que se desejar encontrar os dois ultimos 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).

3
99 = 93 = (729)3

como 729 9 no modulo 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 entao (29)3 89 (mod 100). O que implica em


p = 89.
9
Sendo assim, os dois ultimos dgitos de 99 e 89.

42. Se p e p + 2 sao numeros primos, entao eles se denominam primos gemeos. E o caso, por
exemplo, de 3 e 5.
Se p > 3 e os numeros p e p + 2 sao primos gemeos, prove que a soma p + (p + 2) = 2p + 2 e
multiplo de 12.
Sugestao: Sendo a soma um numero par, entao a principio essa soma poderia ser congrua a
0, 2, 4, 6, 8, 10 modulo 12. Mostrar que todas essas possibilidades, exceto a primeira, levam a
uma contradicao.

Solucao:

Seguindo a sugestao vamos provar que 2p + 2 nao pode ser equivalente a 2, 4, 6, 8 ou 10 no


modulo 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 proprio 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).

Solucao:

Se a b (mod m) entao 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 ultima implicacao 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 nao e divisvel por 2 nem por 3, entao a2 1 (mod 24).

d) Se a e um cubo perfeito, entao a 0, 1 ou 1 (mod 9).

Solucao 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 Numeros e o de


que entre tres numeros consecutivos um deles e divisvel por 3 entao:

Se (a 1) e divisvel por 3, entao (a 1) = 3k com k Z.

Logo a3 = 3k a (a + 1).

Como a e a + 1 sao 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.

Solucao de b (Retirada da pagina do Ell Alves4 ):

Todo numero 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).

Solucao de c:

Todo numero inteiro tem a forma: 3k, 3k + 1 ou 3k + 2, com k Z.

Note que a nao 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 entao 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 entao:

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 inducao podemos terminar a demonstracao.

(Base:)

Para q = 0 temos a2 = 12(0)(3 0 + 1) + 1 = 1

Como 1 1 (mod 24) entao a2 1 (mod 24).

(Passo indutivo:)

Supondo que a proposicao 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 demonstracao 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).

Solucao de a:

Usando o teorema chines dos restos x = 1103.

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

Solucao:

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?

Solucao (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 numero 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)

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)
18
x1 (mod 17)
2
x1 9 (mod 17)

Calculando o x2 :

x2 17 15 1 (mod 16)

Como:

17 1 (mod 16)

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 numero 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 numero de moedas possvel e 3930.

75
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA

Quer saber quando saira a proxima 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

3 Relacoes, Operacoes, Aplicacoes

3.1 EXERCICIOS DA PAGINA 70 A 71

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.

Solucao de a:

Seja R1 : E F entao

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

Ja quanto as relacoes da ordem entre E e F pode-se dizer o seguinte:

Existe apenas uma relacao 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 analogo a R1 conclui-se que R3 =

77
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA

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

Ja 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
relacao 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;

Solucao de a:

Se R e uma relacao sobre o conjunto E entao todos os seus pares devem ser formados pelos
elementos do proprio E, e como este tem apenas 5 elementos (mesma quantidade de elementos
que compoem os pares ordenados de R) entao:

E = {a, b, c, d, e}

Solucao de b:

Dm (R) = {a, b, c, d} e Im (R) = {b, c, d, e}

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

Solucao de d:

78
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA

a b
b c
c d
d e

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

a) o grafico cartesiano de R;

b) o domnio de R;

c) a imagem de R;

d) descrever R1 .

Solucao de a:

-1 1

-2

Solucao de b:

Atraves do grafico percebe-se que Dm = [1, 1]

Solucao de c:

Atraves do grafico percebe-se que Im (R) = [2, 2]

Solucao de d:

Partindo da equacao 4x2 + y 2 = 4 entao:



y = 4 4x2

y = 2 1 x2

Trocando y por x entao:

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
x2
y2 = 1 4

4y 2 = 4 x2

4y 2 + x2 = 4

Sendo assim: R1 = {(x, y) R2 /x2 + 4y 2 = 4}

4. Seja R a relacao 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) .

Solucao de a:

Note que a sentenca x + 3y = 10 tambem pode ser escrita como:


10 x
y=
3

Como a R e uma relacao sobre N entao a desigualdade a seguir deve ser satisfeita.
10 x
>0
3
O que implica em

x < 10

Note que para x = 1 temos:


10 1
y(1) = =3
3
Como 3 N entao o par (1, 3) R

Note que para x = 2, , 10 temos:

8 7 5 4 2 1 10
y(2) = ; 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 entao os pares (4, 2); (7, 1) R. Os demais valores para x fornecem apenas
numeros nao naturais de modo que

R = {(1, 3), (4, 2), (7, 1)}

Solucao de b:

D(R) = {1, 4, 7}

Solucao de c:

Im (R) = {1, 2, 3}

Solucao 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 numero de elementos de EF?

b) Qual e o numero de relacoes de E em F?

Solucao de a:

Usando o princpio fundamental da contagem o numero de elementos de EF e igual a m n.

Solucao de b:

Se um conjunto possui m n elementos entao ele tera sempre 2mn subconjuntos.

0 0
6. Seja R uma relacao binaria 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 ?

Solucao:

Nesse caso temos R = EE - R, entao: R0 R = e R0 R = E E.

7. Sejam R1 e R2 duas relacoes binarias em E. Que significado tem R1 R2 e R1 R2 ? O que


significa a inclusao R1 R2 ?

Solucao:

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 entao todo elemento de R1 tambem pertence a R2 .

82
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA

Quer saber quando saira a proxima 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 Diego Oliveira - Vitoria da Conquista/BA

3.2 EXERCICIOS DA PAGINA 75 A 76

8. Seja R a relacao em E = {1, 2, 3, 4, 5} tal que xRy se, e somente se, x y e multiplo de 2.

a) Quais sao 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?

Solucao 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 operacoes listadas acima as unicas que satisfazem as condicoes de R, isto e,
ser divisvel por 2 e pertencer a E sao 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 relacao R sera:

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

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

Solucao de c:

A relacao R e reflexiva, pois x E temos xRx. Tambem e simetrica e transitiva. R nao e


anti-simetrica.

9. R e uma relacao sobre E = {a, b, c, d} dada pelo esquema de flechas ao lado. Que pro-
priedades R apresenta?

a b

c d
E
Solucao:

Reflexividade, simetria e transitividade.

10. Que propriedades apresenta a relacao S dada pelo esquema ao lado?

a b

E c d
Solucao:

S nao 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 relacao 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 irmao de y quando x 6= y e x e y tem os mesmos pais.

Solucao:

Todas as combinacoes 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
irmao 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 relacao R testamos a existencia das seguintes propriedades sobre R: reflexao,


simetria, transitividade e anti-simetria.

Conferindo a reflexao.

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 relacao R pode se observar o que x, y E; xRy yRx. Assim, a relacao
e simetrica.

Conferindo a transitividade.

Suponha por absurdo que a relacao 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 relacao R o conjunto E seria unitario. (Obs: essa explicacao pode ser colocada sobre a
forma de prova por absurdo).

Conclusao: A relacao 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 sao os pares ordenados que constituem a relacao R em E assim definida:

xRy x e paralela a y

c) Quais sao as propriedades que R apresenta?


N ota : x e paralela a y quando x = y ou x y = , com x e y coplanares.

Solucao de a:

Imagine o seguinte hexagono.

C B

D A

E F

Note que o hexagono 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)}

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

Solucao de c:

Com base na observacao da relacao R conclui-se que a mesma e reflexiva, simetrica 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 sao reflexivas? E simetricas? E transitivas? E anti-simetricas?

Solucao:

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 so tem a propriedade reflexiva, R2 so a simetrica, R3 so a transitiva e R4 so a anti-simetrica.
Sugestao: Faca os diagramas de flechas.

Solucao:

R1 = {(1, 1), (2, 2), (3, 3), (4, 4)(1, 2), (2, 3), (3, 2)}
R2 = {(1, 2), (2, 1), (1, 3), (3, 1)}
R3 = {(1, 2), (2, 3), (1, 3), (2, 1)}
R4 = {(1, 2), (2, 3), (3, 4)}

15. De um exemplo de relacao 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.

Solucao:

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 trocassemos 1 por a, 2 por b e 3 por c no conjunto E e segussemos a mesma logica para
a formacao 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 sao reflexivas, quais sao simetricas, quais sao transitivas e quais sao
anti-simetricas.

Solucao:

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 saira a proxima 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 Diego Oliveira - Vitoria da Conquista/BA

3.3 EXERCICIOS DA PAGINA 77

17. Esboce os graficos 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}

Solucao:

Grafico de R1

1 1

Grafico de R2

2 2

Grafico de R3

91
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA

-2 -1 1

-1

Grafico de R4

2 2

Grafico de R5

18. Das relacoes do exerccio anterior, quais sao reflexivas? Quais sao simetricas?

Solucao:

Reflexiva: R4 ;
simetricas: todas.

19. Esboce os graficos 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 }

Solucao:

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 relacoes do exerccio anterior, quais sao reflexivas? Quais sao simetricas?

Solucao:

Reflexiva: R9 ;
simetricas: R7 e R9 .

93
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA

Quer saber quando saira a proxima 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 Diego Oliveira - Vitoria da Conquista/BA

3.4 EXERCICIOS DA PAGINA 79 A 82

21. Quais das relacoes abaixo sao 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 =

Solucao:

Apenas as relacoes R1 e R4 sao relacoes de equivalencia.

A relacao R2 nao pode ser pois nao e simetrica.


A relacao R3 nao pode ser pois nao e reflexiva.
A relacao R5 nao pode ser pois nao 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

Solucao de a:

Para todo x Z temos x x (mod 3) logo e reflexiva.


Se x y (mod 3) entao 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 relacao de ordem.

Solucao de b:

Para todo x Z temos x | x logo e reflexiva.


Se x | y e y 6= x entao y - x, logo nao e transitiva.
Se nao e transitiva nao pode ser uma relacao de ordem.

Solucao de c:

95
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA

Nao e relacao de ordem.

Solucao de d:

Nao e relacao de ordem.

Solucao de e:

Nao e relacao de ordem.

23. Seja E o conjunto dos triangulos 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.

Solucao:

Prova da reflexividade.

Por definicao todo triangulo 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 , , sao os angulos internos de 1 e 2 . As figuras a seguir ilustram a situacao

1 =
1 1
angulo 1
Tri^

2 =
2 2
angulo 2
Tri^

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

Entao 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 triangulos.

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

Solucao 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 propria definicao de reta.

Prova de ii: Se x, y E sao 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 condicao, pois assim x k z.

Solucao de b:

Por definicao uma reta nao 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 relacao de equivalencia.

25. Considere a relacao R sobre N N definida por:

(a,b)R(c,d) se, e somente se, a + b = c + d

Prove que R e uma relacao de equivalencia.

Solucao:

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 condicao

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


Logo e uma relacao de equivalencia.

26. Pense na relacao 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 relacao de equivalencia.

Solucao:

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 saira a proxima 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 Diego Oliveira - Vitoria da Conquista/BA

3.5 EXERCICIOS DA PAGINA 81 A 82

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 relacao de equivalencia.

b) Descreva as classes de equivalencia 0, 2 e 4.

Solucao de A:

A relacao e reflexiva!

Note que para todo x E a igualdade

x2 + 2x = x2 + 2x

e valida. Logo a relacao e reflexiva.

A relacao 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 equacoes acima se chega a:

x2 + 2x = z 2 + 2z

xRz

provando a transitividade da relacao.

A relacao e simetrica!

Dado x, y E com xRy entao:

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 relacao e reflexiva, transitiva e simetrica entao e uma relacao de equivalencia.

Solucao 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 solucao 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 conclusao 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 relacao de equivalencia.

b) Descreva o conjunto-quociente E/R.

Solucao de A:

Prova de simetria.

Dado x, y E com xRy entao:

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|
entao xRx provando a reflexao.

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 relacao e reflexiva, transitiva e simetrica entao e uma relacao de equivalencia.

Solucao de B:

Como E = {x Z | |x| 3} entao os elementos de E sao os numeros 3, 2, 1, 0, 1, 2, 3.

Por definicao o conjunto quociente e o conjunto das classes de equivalencia de cada um dos
elementos de E. Que no caso sao:

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


modulo 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

Solucao 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} entao os unicos valores que satisfazem a equacao sao 0, 4 e 8.

0 0 = 0 e como 0|4 entao 0 0 (mod 4)


4 0 = 4 e como 4|4 entao 4 0 (mod 4)
8 0 = 8 e como 8|4 entao 8 0 (mod 4)

Sendo assim 0 = {0, 4, 8}. Analogamente se conclui que I = {1, 5, 9}

Solucao de B
E
29. = {{0, 4, 8}, {1, 5, 9}, {2, 6, 10}, {3, 7}} (veja a questao 28).
R

30. Seja R a relacao sobre Q definida da seguinte forma:

xRy se, e somente se, x y Z

a) Prove que R e uma relacao de equivalencia.

b) Descreva a classe 100.

c) Descreva a classe 0, 5.

Solucao 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 entao:

(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 entao 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

Solucao de B:

100 = Z

Solucao de C:

Para que x 0, 5 Z e necessario que x seja um inteiro somado a 0,5. Sendo assim:
   
1 2x + 1
0, 5 = x + | x Z ou 0, 5 = |xZ
2 2

31. Considere a relacao S sobre R definida da seguinte forma: xSy se, e somente se, x y Q

a) Prove que S e uma relacao 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.

Solucao 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 entao:

xy Q
Sendo assim existe um k Q tal que xy = k. Como k Q entao k Q e como k = y x
entao xSx. Provando a simetria.

Prova da transitividade
(Veja questao 30).

Solucao 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

Solucao de C:

a = Q, a Q (ver questao 30)

Solucao de D:

2 = {x + 2 | x Q} (ver questao 30)

32. Pense na relacao 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 relacao de equivalencia.

b) Descreva a classe (1 + i).

Solucao 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 )
entao 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 equacoes chegamos a:

x2 + y 2 = w2 + s2

(x + yi)T (w + si)

Provando a transitividade

Logo a relacao T e de equivalencia

Solucao de B:

1 + 1i = {(x + yi) C | x2 + y 2 = 12 + 12 }

109
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA

Quer saber quando saira a proxima 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

4 Agradecimentos

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


paginas 44, 48, 52 e 61.

A Lucas Siebra pela revisao 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 pagina 70.

A Andre Luiz Pereira de Novo Brasil-GO pela digitacao do exerccio 5 da pagina 70.
Dos exerccios das paginas 71. Dos exerccios 8 e 12 da pagina 75. Dos exerccios da
pagina 79 (inclusive pela correcao do exerccio 23 da mesma pagina). E finalmente,
dos exerccios da pagina 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