Escolar Documentos
Profissional Documentos
Cultura Documentos
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
4 Agradecimentos 111
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA
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
-2 2
c
Conjunto A
3
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA
Assim como feito anteriormente primeiro resolvemos a inequacao que caracteriza o conjunto.
x2 x 2
x 2 ou x 1
-1 2
Conjunto B
-2 2
Solucao de b:
B = [2, ) (, 1]
A = (-2, 2)
A B = (2, 1]
Solucao de c:
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:
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 = .
Solucao:
Solucao de a:
{1} = {1}
Solucao de b:
AB=AC
{1} = {2}
5
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA
Solucao:
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;
Na questao anterior foi mostrada uma tecnica para a demonstracao de igualdade entre con-
juntos. Nessa questao vamos usar a prova por absurdo.
6
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA
a) A (A B) = A
b) A (A B) = A
Solucao de a:
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:
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}}
Solucao de a:
Solucao de b:
linha.
7
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA
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)
= 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.
Solucao:
Solucao:
8
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA
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) = 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.
Solucao:
CA CB
CBA
A B
AB
9
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA
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:
Obs: Este exerccio tambem pode ser resolvido de modo analogo ao utilizado na questao 8.
Contudo, sera um processo mais trabalhoso.
a) A = Q e B = R
b) A = R e B = Q
Solucao:
(a) Como Q R entao nao existe nenhum elemento de Q que nao esteja em R. Assim A
B = .
2 5
2
(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
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
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
11
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA
26 = n(A) 10
n(A) = 36 (1)
40 = n(A) + n(B) 10
E por ultimo
n(B A) = 14 10 = 4
Assim, n(B A) = 4
Solucao de a:
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
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 =
B A = {x|x 5}
Concluindo que
AB = (A B)(B A)
AB = {x|x 5}
AB = {x| 5}
E B A = . Logo:
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.
Solucao de c:
(AB)(BA) = (BA)(AB)
a) Se AB = e AB = U, entao B = Ac e A = Bc
Solucao de a:
Solucao de b:
14
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA
Solucao de c:
() Para facilitar a compreensao da resposta que sera dada veja o seguinte diagrama.
U
A
B X
a) (AB)(AC) = A(BC)
b) (AC)(BC) = (AB)C
Solucao de b:
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
15
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA
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:
(AB) (AC)
= {1, 2, 3, 4, 6} {1, 2, 3, 4, 5, 6, 7}
= (2)
16
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA
Quer saber quando saira a proxima atualizacao desse documento? Nesse caso voce pode:
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
17
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA
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.
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.
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.
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?
Solucao:
19
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA
Professor Pesquisador
a) V; b) V; c) F; d) V; e) V; f) F.
a) Qualquer lado de um triangulo e menor que a soma dos outros dois lados.
b) Todo numero primo diferente de 2 e impar.
Solucao:
20
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA
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.
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:
21
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA
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:
22
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA
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
24. Determine o valor logico das proposicoes seguintes, nas quais x e y sao variaveis em {1,
2, 3}:
Solucao:
x < y2 +
1 < 1 + 12
25. Em quais das condicoes seguintes e correto afirmar que a primeira proposicao (funcao
proposicional na variavel real x) acarreta a segunda?
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
Solucao:
a) Verdadeira.
26. Para quais das bicondicionais seguintes seria correto dizer que a primeira proposicao
(funcao proposicional na variavel real x) acarreta a segunda?
Solucao:
25
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA
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 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.
26
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA
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.
Solucao:
Se a c, entao a b ou b c
Solucao:
31. Ache um contra exemplo para cada uma das seguintes afirmacoes:
27
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA
Solucao:
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.
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:
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
29
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA
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:
1(1 + 1)
1= =1
2
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
Assim, pelo princpio de inducao a proposicao e valida para todo n N maiores que 1.
Solucao de b:
Prova de i:
30
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA
Prova de ii:
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.
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:
Prova de ii:
13 + 23 + + k 3 = (1 + 2 + ... + k)2
Somando (k + 1)3 em ambos os membros entao
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:
1(1 + 1)(1 + 2)
12=
3
6=6
Prova de ii:
k(k + 1)(k + 2)
1 2 + 2 3 + + k (k + 1) =
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:
22 > 2 + 1
4>3
Prova de ii:
32
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA
k2 > k + 1
k2 + 1 > 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.
Solucao:
33
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA
Quer saber quando saira a proxima atualizacao desse documento? Nesse caso voce pode:
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
34
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA
a) 4|(2m 2n)
b) 8|(m2 n2 )
c) 8|(m2 + n2 2)
Solucao de a:
4|2m 2n
4|2(2p + 1) 2(2t + 1)
4|4p 4t
4|4(p t)
Finalizando a demonstracao.
Solucao de b:
8|m2 n2
8|4(p2 t2 ) + 4(p t)
35
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA
0 0
Fazendo k = 2p2 2t2 2t0 entao
p2 t2 = 2k 1
p t = (2p0 ) (2t0 + 1)
p t = 2(p0 t0 ) 1
p t = 2k 1
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)
Se ocorrer o segundo, terceiro ou quarto caso a conclusao sera a mesma. Essas demonstracoes
ficam a cargo do leitor.
Solucao de c:
8|m2 + n2 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.
Solucao:
Se p e um par entao:
p = 2k com k Z
Prova:
p = 2k, mas se k = 0 entao p = 0. Como 4 | 0 entao 4 | p.
Prova:
p + 2 = 2k + 2
= 2(2k 0 + 1) + 2
= 4k 0 + 2 + 2
= 4(k 0 + 1)
Prova:
p = 2k
= 2(2k 0 )
= 4k 0
37
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA
Solucao de a:
Seja p e q numeros consecutivos um deve ser par e o outro mpar. Tomando p mpar entao:
p2 q 2
= 4k 2 + 2k + 1 4t2
= 2(2k 2 2t2 + k) + 1
p2 q 2 = 2z + 1
Solucao de b:
p3 q 3
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
ii)
(23k 1) = 7p com p Z
(23k 1)23 = 7p 23
23k+3 8 = 7(8p)
23(k+1) 1 = 7(8p) + 7
23(k+1) 1 = 7(8p + 1)
Solucao de 6b:
i)
Tomando n = 0 temos
32(0) + 7
=1+7
=8
ii)
39
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA
(32k + 7) 32 = 8p 32
32k+2 + 63 = 8(9p)
32(k+1) + 7 = 8(9p) 56
32(k+1) + 7 = 8(9p 7)
Solucao de c:
i)
Para n = 1 temos
22(1)1 31+2 + 1
= 2 33 + 1
= 55
ii)
11|(22k 3k+2 + 1)
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
7|32k+1 + 2k+2
7. Prove que:
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:
()
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.
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 .
10. Na divisao euclidiana de 802 por a, o quociente e 14. Determine os valores possveis de
a e do resto.
Solucao:
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}.
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:
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.
Solucao:
m = 8k + 5
m = 4 2k + (4 + 1)
m = 4(2k + 1)
43
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA
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:
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
45
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA
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
14 6(2) = 2 (v)
Combinando v e ii
14 (20 14)2 = 2
Combinando vi com i
74(3) + 20(11) = 2
Solucao de b:
Solucao de c:
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:
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.
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
Solucao de a:
(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:
47
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA
Solucao:
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:
ax + ay + by = 1
a(x + y) + by = 1
mdc(a, b) = 1
Solucao:
c2 d2 = (ab)xy
(cd)2 = (ab)xy
(ab)|(cd)2 .
48
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA
Sendo assim:
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,
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:
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
50
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA
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:
234 = 21 32 13
456 = 23 31 19
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:
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.
52
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA
Solucao:
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.
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:
k = 5 + t com t N
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
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.
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.
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)
Solucao:
15 = 3 5
15 = (2 + 1)(4 + 1)
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
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:
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
57
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA
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.
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
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)
Solucao de b:
Nesse caso vamos resolver a equacao por um metodo diferente. Vamos faze-la por tentativa.
58
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA
5(2) 2(4) = 2
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:
7a + 11b = 1 (2)
Pelo algoritmo estendido de Euclides a solucao de (2) e 2 e 3.
Sendo assim:
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)
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
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:
p = 11k + 6 e p = 7q + 3
11k + 6 = 7q + 3
11k 7q = 3
7q 11k = 3
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
p0
94 77t 0 t 0
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:
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
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.
61
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA
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
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
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:
63
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA
Quer saber quando saira a proxima atualizacao desse documento? Nesse caso voce pode:
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
64
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA
Solucao de a:
245 1 (mod 7)
Solucao de b:
Como 41 e um numero de dois dgitos e termina com 1 e facil concluir que 4125 1 (mod
100).
Sendo assim:
Solucao de c:
Se 32 4 (mod 5) entao:
(32 )5 45 (mod 5)
310 45 (mod 5)
65
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA
42 2 (mod 5) (2)
(62 )4 14 (mod 5)
68 1 (mod 5)
68 1 (mod 5) (3)
129 4 (mod 5)
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:
Solucao:
25 9 mod(41)
66
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA
220 1 mod(41)
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:
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.
Dividindo 100 por 4 o resultado sera 25. Entao, conclu-se que existam 25 grupos de quatro
termos na soma acima. Isto e:
= 25 (1 + 32 + 243)
= 25 (276)
25 (276) = 25 0 = 0
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:
Solucao de b:
70 = 1 numero terminado em 1.
71 = 7 numero terminado em 7.
72 = 49 numero terminado em 9.
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:
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
3
99 = 93 = (729)3
99 93 (mod 10)
99 9 (mod 10)
r=9
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:
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.
43. Prove que se a b (mod m) e n e um divisor de m, maior que 1, entao a b (mod n).
Solucao:
a = mq + b
a = (nk)q + b
a = n(kq) + b
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).
Solucao de a:
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).
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).
Solucao de c:
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:
a = 3k + 1
a = 3(2q + 1) + 1
Supondo a = 3k + 1 entao:
a2 = (3k + 1)2 = 9k 2 + 6k + 1
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
(Base:)
(Passo indutivo:)
a2 1 (mod 24)
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:
Solucao de b:
x = 4128
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?
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
x a1 (mod m1 )
x a2 (mod m2 )
x a3 (mod m3 )
X = a1 M1 x1 + a2 M2 x2 + a3 M3 x3
Onde:
Exemplo:
M1 = m2 m3
M2 = m1 m3
M3 = m1 m2
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)
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 (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:
Como:
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.
75
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA
Quer saber quando saira a proxima atualizacao desse documento? Nesse caso voce pode:
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
76
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA
R1 = {(x, y)|y = x 1}
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)}.
Sendo assim:
R2 = {(1, 2); (1, 4), (3, 4); (1, 6); (3, 6); (5, 6)}
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}
Im (R1 ) = {0,2,4,6,8}
Analogamente se chega a:
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;
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:
Solucao de c:
Se R = {(a, b); (b, c); (c, d); (d, e)} a inversao dos elementos de seus pares sera R1 . Assim:
De modo que
Solucao de d:
78
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA
a b
b c
c d
d e
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:
Solucao de c:
Solucao de d:
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
a) os elementos de R;
b) o domnio de R;
c) a imagem de R;
d) os elementos de R1) .
Solucao de a:
x < 10
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
Solucao de b:
D(R) = {1, 4, 7}
Solucao de c:
Im (R) = {1, 2, 3}
Solucao de d:
Solucao de a:
Solucao de b:
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:
Solucao:
81
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA
82
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA
Quer saber quando saira a proxima atualizacao desse documento? Nesse caso voce pode:
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
83
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA
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.
Solucao de a:
(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)
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:
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:
a b
E c d
Solucao:
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
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)}
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).
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
b) Indique quais sao os pares ordenados que constituem a relacao R em E assim definida:
xRy x e paralela a y
Solucao de a:
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:
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:
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 =
Solucao:
Reflexivas: R1 , R2 e R4 ;
simetricas: R1 , R3 , R4 e R5 ;
transitivas: R1 , R2 , R4 e R5 ;
anti-simetricas:R1 , R2 e R5 .
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)}
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:
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:
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
90
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA
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}
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.
R6 = {(x, y)|y = x2 }
R8 = {(x, y)|x2 + 4y 2 4}
R9 = {(x, y)|x2 = y 2 }
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:
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
94
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA
21. Quais das relacoes abaixo sao relacoes de equivalencia sobre E = {a, b, c}?
R2 = {(a, a), (b, b), (c, c), (a, b), (b, c), (a, c)}
R4 = EE
R5 =
Solucao:
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:
Solucao de b:
Solucao de c:
95
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA
Solucao de d:
Solucao de e:
23. Seja E o conjunto dos triangulos do espaco geometrico euclidiano. Seja R a relacao em
E definida por:
Solucao:
Prova da reflexividade.
Por definicao todo triangulo e semelhante a ele mesmo, isso prova a reflexividade.
Prova de simetria.
1 = 2 ; 1 = 2 ; 1 = 2
1 =
1 1
angulo 1
Tri^
2 =
2 2
angulo 2
Tri^
96
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA
1 = 2 ; 1 = 2 ; 1 = 2
Prova da transitividade
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
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
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.
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.
Solucao:
Prova de i:
Prova de ii:
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))
98
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA
0 (c + d) = [(c + d) + (a + (b))] (c + d)
(c + d) = (a + (b))
(c + d) = (a + b)
(c + d) = (a + b)
(c, d)R(a, b)
Prova de iii:
a+b=c+d e c+d=e+f
a+b=e+f
(a, b)R(e, f )
99
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA
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:
ab = cd
ab ab = cd ab
0 cd = (cd + (ab)) cd
(1)(cd) = (1)(ab)
cd = ab
(c, d)R(a, b)
Prova de iii:
ab = cdecd = ef
ab = ef
(a, b)R(e, f )
100
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA
Quer saber quando saira a proxima atualizacao desse documento? Nesse caso voce pode:
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
101
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA
Solucao de A:
A relacao e reflexiva!
x2 + 2x = x2 + 2x
A relacao e transitiva!
x2 + 2x = y 2 + 2y e y 2 + 2y = z 2 + 2z
x2 + 2x = z 2 + 2z
xRz
A relacao e simetrica!
x2 + 2x = y 2 + 2y
102
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA
yRx
Provando a simetria
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}
103
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA
Solucao de A:
Prova de simetria.
x + |x| = y + |y|
Somando (x |x|) a ambos os termos
0 = (y + |y|) + (x |x|)
(y + |y|) = (x + |x|)
(y + |y|) = (x + |x|)
yRx
provando a simetria.
Prova da reflexividade
x + |x| = x + |x|
entao xRx provando a reflexao.
104
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA
Prova da transitividade
x + |x| = z + |z|
xRz
Provando a transitividade.
Solucao de B:
Por definicao o conjunto quociente e o conjunto das classes de equivalencia de cada um dos
elementos de E. Que no caso sao:
2 = {3, 2, 1, 0}
1 = {3, 2, 1, 0}
0 = {3, 2, 1, 0}
1 = {1}
2 = {2}
3 = {3}
105
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA
Solucao de A:
x 0 (mod 4)
Sendo E = {x Z|0 x 10} entao os unicos valores que satisfazem a equacao sao 0, 4 e 8.
Solucao de B
E
29. = {{0, 4, 8}, {1, 5, 9}, {2, 6, 10}, {3, 7}} (veja a questao 28).
R
c) Descreva a classe 0, 5.
Solucao de A:
Prova da reflexividade
Prova da simetria
(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
Prova de transitividade
(x y) Z e (y z) Z
x y = k e y z = k0
x (k 0 + z) = k
x k0 z = k
x z = k + k0
(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
107
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA
Solucao de A:
Prova da reflexividade
Prova da simetria
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:
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.
Solucao de A:
Prova da reflexividade
108
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA
(w2 + s2 ) = (w2 + s2 )
entao T provando a reflexividade.
Prova da simetria
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
x2 + y 2 = w2 + s2
(x + yi)T (w + si)
Provando a transitividade
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:
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
110
Algebra Moderna Diego Oliveira - Vitoria da Conquista/BA
4 Agradecimentos
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.
111