Você está na página 1de 9

Exerccios de Matemtica Discreta II

ltima atualizao: 26 de dezembro de 2013

Relaes

Exerccio 1.1. Seja X = {1, 2, 3, 4}. Para cada uma destas relaes binrias em X, decida se
ela reflexiva, se simtrica, se antissimtrica, e se transitiva.
1. {(2, 2), (2, 3), (2, 4), (3, 2), (3, 3), (3, 4)}

4. {(1, 2), (2, 3), (3, 4)}

2. {(1, 1), (1, 2), (2, 1), (2, 2), (3, 3), (4, 4)}

5. {(1, 1), (2, 2), (3, 3), (4, 4)}

3. {(2, 4), (4, 2)}

6. {(1, 3), (1, 4), (2, 3), (2, 4), (3, 1), (3, 4)}

Exerccio 1.2. Determine se a relao R R R reflexiva, simtrica, antissimtrica e/ou


transitiva, em que (x, y) R se, e somente se,
1. x + y = 0

4. x = 1

7. xy = 0

2. x y Q

5. x = |y|

8. x = 1 ou y = 1

3. xy 0

6. x = 2y

Exerccio 1.3. Defina trs relaes de equivalncia no conjunto dos estudantes de sua sala de
Matemtica Discreta II, diferente das relaes discutidas at o momento. Determine as classes
de equivalncia para cada uma dessas relaes de equivalncia.
Exerccio 1.4. Sejam A o conjunto das partes de {0, 1, 2, 3}. Defina
R = {(x, y) A A : x e y tem mesma quantidade de elementos} .
Mostre que R relao de equivalncia em A. Determine as classes de equivalncia.
Exerccio 1.5.
1. Para a relao de equivalncia = {(a, a), (b, b), (c, c), (a, c), (c, a)} sobre
X = {a, b, c}, qual o conjunto [a]? Essa classe de equivalncia tem outros nomes?
Quantas classes distintas temos?
2. Para a relao de equivalncia
= {(1, 1), (2, 2), (1, 2), (2, 1), (1, 3), (3, 1), (3, 2), (2, 3), (3, 3), (4, 4), (5, 5), (4, 5), (5, 4)}
sobre Y = {1, 2, 3, 4, 5}, qual o conjunto [3]? E [4]? Quantas so as classes de equivalncia?

Exerccio 1.6. Seja S = N N e seja uma relao binria definida por (x, y)(z, w) y =
w. Mostre que uma relao de equivalncia em S e descreva as classes de equivalncia
associadas.
Exerccio 1.7. Seja S = {(x, y) Z Z : y 6= 0} e definimos em S a seguinte relao
(a, b)(x, y) ay = bx.
1. Mostre que uma relao de equivalncia.
2. Determine os elementos da classe de equivalncia de (0, 1), ou seja, os elementos de
[(0, 1)].
3. Determine os elementos de [(1, 1)].
4. Seja k Z. Determine os elementos de [(k, 1)].
5. Mostre que (x, y)(a, y) x = a.
6. Mostre que, se k Z \ {0}, ento (x, y)(a, ky) a = kx.
7. Mostre que, se k Z e x Z \ {0}, ento (x, y)(kx, b) b = ky.
Exerccio 1.8. Seja S = N N e definimos em S a relao
(a, b)(x, y) a + y = b + x.
1. Mostre que uma relao de equivalncia.
2. Determine os elementos de [(0, 0)].
3. Determine os elementos de [(1, 0)].
4. Mostre que, se n N, ento (x, y)(x + n, b) b = y + n.
5. Mostre que, se n N, ento (x + n, y)(x, b) n + b = y.
Exerccio 1.9. Sejam f : R S, uma funo, e uma relao em S. Podemos definir uma
relao em R por
xy se e somente se f (x)f (y).
1. Prove que, se reflexiva, ento reflexiva.
2. Prove que, se simtrica, ento simtrica.
3. Prove que, se transitiva, ento transitiva.
4. Prove que, se uma relao de equivalncia em S, ento relao de equivalncia
em R.
Exerccio 1.10. Para cada relao de equivalncia pedida, ache a classe de equivalncia pedida.
1. R = {(1, 1), (1, 2), (2, 1), (2, 2), (3, 3), (4, 4)}. Ache [1].
2. xRy se e somente se x e y tm o mesmo algarismo das dezenas no conjunto {z
Z : 100 < z < 200}. Determine [123]. Quantas classes teremos para R?
2

3. xRy se e somente se x e y tm a mesma data de nascimento no conjunto de todos


os seres humanos. Ache [voc].
Exerccio 1.11. Sejam A = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12} e R um relao de equivalncia
que tem domnio A. Sabemos que
(0, 1), (2, 4), (6, 4), (8, 2), (6, 8), (3, 5), (7, 11), (7, 5), (9, 10) e (12, 10)
so alguns dos pares de R. Determine todas as classes de equivalncias dadas por R, sabendo
que so quatro classes. Justifique detalhadamente sua resposta.

Solues da seco 1
Ex. 1.1
1. Transitiva.

4. Nenhuma das propriedades.

2. Relao de equivalncia.

5. Todas as propriedades.

3. Simtrica.

6. Nenhuma das propriedades.

Ex. 1.2
1. Simtrica.

4. Transitiva.

7. Simtrica.

2. Relao de equivalncia.

5. Antisimtrica e transitiva. 8. Simtrica.

3. Reflexiva e simtrica.

6. Antisimtrica.

Ex. 1.4
[{0}]
[{0, 1}]
[{0, 1, 2}]
[{0, 1, 2, 3}]

=
=
=
=

{{0}, {1}, {2}, {3}},


{{0, 1}, {0, 2}, {0, 3}, {1, 2}, {1, 3}, {2, 3}},
{{0, 1, 2}, {0, 1, 3}, {0, 2, 3}, {1, 2, 3}},
{{0, 1, 2, 3}}.

Ex. 1.5
1. [a] = {a, c} e ento sim, [a] tem outros nomes, pois ela coincide com [c]. X/ = {[a], [b]},
com [a] 6= [b], ento temos duas classes de equivalncia.
2. [3] = {1, 2, 3} e [4] = {4, 5}. Temos apenas essas duas classes de equivalncia.
Ex. 1.6

Para todo (x, y) N N,


[(x, y)] = {(t, y) | t N},

isto , a classe de equivalncia do par (x, y) o conjunto de todos os pares de N2 cuja segunda
coordenada y.
Ex. 1.7
2. [(0, 1)] = {(0, y) | y Z \ {0}}.
3. [(1, 1)] = {(x, x) | x Z \ {0}}.
3

4. [(k, 1)] = {(x, y) | x = ky, y Z \ {0}}.


Ex. 1.8
2. [(0, 0)] = {(x, x) | x N}.
3. [(1, 0)] = {(x + 1, x) | x N}.
Ex. 1.10
1. [1] = {1, 2}.
2. [123] = {x Z | 120 x 129}; teremos dez classes de equivalncia.
Ex. 1.11 A/R = {[0], [2], [3], [9]}, onde:
[0] = {0, 1}
[2] = {2, 4, 6, 8}
[3] = {3, 5, 7, 11}
[9] = {9, 10, 12}

Induo e recorrncia

Exerccio 2.1. Use induo finita para provar que as proposies dadas so verdadeiras para
todo natural n 1.
2 +3n1)
1. 2 + 6 + 10 + + (4n 2) = 2n2
6. 14 + 24 + + n4 = n(n+1)(2n+1)(3n
30
2. 2 + 4 + 6 + + 2n = n(n + 1)

7. 1 + a + a2 + + an1 =

3. 1 + 5 + 9 + + (4n 3) = n(2n 1)
4. 12 + 22 + + n2 =

n(n+1)(2n+1)
6

5. 13 + 23 + + n3 =

n2 (n+1)2
4

8.

1
12

1
23

+ +

1
n(n+1)

an 1
a1 ,

para a 6= 1

n
n+1

9. 1 1! + 2 2! + 3 3! + + n n! = (n + 1)! 1

Exerccio 2.2. Prove que


(2)0 + (2)1 + (2)2 + + (2)n =

1 2n+1
,
3

para todo natural n mpar.


Exerccio 2.3. Prove que n2 2n + 3, para n 3.
Exerccio 2.4. Prove que n2 > n + 1, para n 2.
Exerccio 2.5. Prove que n2 > 5n + 10, para n > 6.
Exerccio 2.6. Prove que 2n > n2 , para n 5.
Exerccio 2.7. Prove que n! > n2 , para n 4.
Exerccio 2.8. Prove que n! > 3n , para n 7
Exerccio 2.9 (Desigualdade de Bernoulli). Prove que (1 + x)n > 1 + nx, para x R, x > 0
e n 2.
Exerccio 2.10. Prove que 32n + 7 divisvel por 8, para n N.
Exerccio 2.11. Prove que n < 2n , para n N.
Exerccio 2.12. Prove que qualquer quantia em selos maior ou igual a 2 centavos pode ser
obtida usando-se apenas selos de 2 e 3 centavos.
Exerccio 2.13. Prove que qualquer quantia em selos maior ou igual a 12 centavos pode ser
obtida usando-se apenas selos de 4 e 5 centavos.
Exerccio 2.14. O caixa automtico em seu banco usa apenas notas de R$20,00 e de R$50,00
para dar dinheiro. Prove que voc pode obter, alm de R$20,00, qualquer quantia mltipla de
R$10,00 que seja maior ou igual a R$40,00.
Exerccio 2.15. Em qualquer grupo de k pessoas, k 1, cada pessoa cumprimenta, com
aperto de mo, todas as outras pessoas. Encontre uma frmula para o nmero de apertos de
mo e prove-a usando induo.

As definies por recorrncia guardam forte semelhana com as provas por induo. Elas
so tipicamente alguns casos bsicos, e o resto da definio se reporta a casos menores (
semelhana com a etapa indutiva de uma prova por induo). A induo acaba se tornando
uma poderosa forma possvel de provar fatos sobre sequncias definidas por recorrncia. Nos
exerccios 2.16 a 2.20, definimos algumas sequncias por recorrncia.
Exerccio 2.16. Seja a0 = 1 e, para n N, an+1 = 2an + 1. Mostre que an = 2n+1 1, para
todo n N.
Exerccio 2.17. Seja b0 = 1 e, para n N, bn+1 = 3bn 1. Mostre que bn =
n N.

3n +1
2 ,

Exerccio 2.18. Seja c0 = 3 e, para n N, cn+1 = cn + n + 1. Mostre que cn =


todo n N.

para todo

n2 +n+6
,
2

para

Exerccio 2.19. Seja d0 = 2, d1 = 5 e, para n N, dn+2 = 5dn+1 6dn . Mostre que


dn = 2n + 3n , para todo n N.
Exerccio 2.20. Seja e0 = 1, e1 = 4 e, para n N, en+2 = 4(en+1 en ). Mostre que
en = (n + 1)2n , para todo n N.
Em sala de aula definimos a soma de naturais, recursivamente, por:

m+0=m
, para m, n N.
m + (n + 1) = (m + n) + 1
Exerccio 2.21. Mostre que, para todo n N, 0 + n = n.
Exerccio 2.22. Mostre que, para todo n N, 1 + n = n + 1.
Exerccio 2.23. Mostre que, para quaisquer m, n, p N, (m + n) + p = m + (n + p).
Exerccio 2.24. Mostre que, para quaisquer m, n N, m + n = n + m.
Exerccio 2.25. Mostre que, para quaisquer m, n, p N, m + p = n + p m = n.
Em sala de aula definimos o produto de naturais, recursivamente, por:

m.0 = m
, para m, n N.
m.(n + 1) = (m.n) + n
Exerccio 2.26. Mostre que, para todo n N, 0 n = 0.
Exerccio 2.27. Mostre que, para todo m, n, p N, (m + n) p = (m p) + (n p).
Exerccio 2.28. Mostre que, para todo n N, 1 n = n.
Exerccio 2.29. Mostre que, para quaisquer m, n N, m n = n m.
Exerccio 2.30. Mostre que, para todo m, n, p N, (m n) p = m (n p).
Exerccio 2.31. Seja X N, no vazio, tal que 0 6 X. Seja Y = {n N : n + 1 X}.
Mostre que X tem mnimo se, e somente se, Y tem mnimo. Qual a relao entre o mnimo
de X e o de Y ?
6

Exerccio 2.32. Seja X N, no vazio, tal que 0 6 X. Seja Y = {n N : n + 1 X}.


Mostre que X tem mximo se, e somente se, Y tem mximo. Qual a relao entre o mximo
de X e o de Y ?
Exerccio 2.33. Prove o Princpio da Boa Ordem, ou seja, que todo subconjunto de N, no
vazio, admite mnimo.
Exerccio 2.34. Mostre que, para m, n N, se m n m + 1, ento n = m ou n = m + 1.
Exerccio 2.35. Mostre que, para m, n N, m < n se, e somente se, m + 1 n.
Exerccio 2.36. Mostre que, para m, n N, m < n + 1 se, e somente se, m n.

Equaes diofantinas. Equaes e sistemas de equaes congrunciais.

Exerccio 3.1. Verifique se as seguintes equaes diofantinas tm soluo, e em caso positivo


exiba uma expresso para a soluo geral:
1. 2X + 3Y = 99
2. 6X + 15Y = 22
3. 3X + 5Y = 47
4. 47X + 29Y = 999
Exerccio 3.2. Determine (justificando) todas as solues nos inteiros positivos das seguintes
equaes diofantinas:
1. 54X + 21Y = 906
2. 123X + 360Y = 99
3. 4X + 3Y = 14
4. 2X + 7Y = 33
5. 5X 3Y = 120
Exerccio 3.3. Um determinado lquido vendido em recipientes de 7 litros e de 15 litros. Se
desejarmos comprar 125 litros desse lquido, como devemos proceder? Justifique sua resposta.
Exerccio 3.4. Idem ao anterior, mas com os recipientes de 5 litros e de 8 litros, e com o total
desejado de 129 litros.
Exerccio 3.5. Determine (justificando) todos os mltiplos no-negativos de 11 e de 9 cuja
soma resulte em
1. 139
2. 112
3. 250
4. 220
5. 180
Exerccio 3.6. Somando-se um certo mltiplo 6x de 6 com um certo mltiplo 9y de 9, obtm-se
126. Se x e y so trocados, a nova soma 114. Determinar x e y.
Exerccio 3.7. Certo senhor, ao descontar um cheque em seu banco, recebeu, sem notar, o
nmero de reais trocados pelo nmero de centavos e vice-versa. Em seguida, gastou 68 centavos
e observou, surpreso, que tinha o dobro da quantia original do cheque. Determinar o valor
original do cheque.
(Sugesto: Transforme tudo em centavos. Observe que o valor relativo aos centavos do
cheque deve ser um nmero entre 0 e 99.)
8

Exerccio 3.8.
1. A que nmero entre 0 e 6 congruente mdulo 7 o produto dado por
11 18 13 19 43 ?
2. A que nmero entre 0 e 3 congruente mdulo 4 a soma dada por 1 + 2 + 22 + . . . + 219 ?
Exerccio 3.9. Considere Zm = {0, 1, . . . , m 1} o quociente de Z pela congruncia mdulo
m. Definamos em Zm as operaes de soma e produto da seguinte forma:
a+b=a+b

ab=ab

1. Mostre que essas operaes esto bem definidas (i.e., no dependem da escolha dos
representantes dentro das classes de equivalncia).
2. Faa a tabela completa das operaes de soma e produto em Z2 , Z3 , Z4 e Z5 .
Exerccio 3.10. Fixe m > 1 e considere o quociente Zm . Para cada a Z, considere sua
classe a em Zm . (Por exemplo, se estivermos em em Z5 , para o inteiro 108 consideraremos a
classe 108 = 3)
1. Se para cada a associamos o nmero natural dado pelo resto da diviso de a por m, essa
associao uma funo de Zm em N ? Justifique a sua resposta.
2. Se para cada a associamos o nmero natural dado pela quantidade de algarismos da
representao de a na base decimal, essa associao uma funo de Zm em N ? Justifique
a sua resposta.
Exerccio 3.11. Sejam a, b, c e m inteiros, com m > 1.
1. Mostre que se a + c b + c mod m, ento a b mod m. Vale a recproca ?
2. Seja c 6= 0 qualquer. verdade que se a c b c mod m ento vale que a b mod m ?
Prove ou d contra-exemplo.
3. Suponha que mdc(m, c) = 1. Mostre que, nestas condies, se tivermos ac bc mod m
ento a b mod m.
Exerccio 3.12. Sejam m1 , m2 relativamente primos e seja a um inteiro arbitrrio. Mostre
que a 0 mod m1 m2 se, e somente se, a 0 mod m1 e a 0 mod m2 . Mostrar com um
exemplo que a hiptese de m1 e m2 serem relativamente primos essencial.