You are on page 1of 4

UFPA/ICEN

FACULDADE DE COMPUTAO
MATEMTICA DISCRETA CBCC 2013 4
2. Avaliao 3. feira, 03 de dezembro de 2103 16:50 18:20

Orientaes. Este exame com consulta de material produzido livremente pelo aluno em uma
folha de papel A4. Cada aluno somente pode consultar sua prpria folha, sendo vedada a
consulta aos colegas e/ou s suas demais anotaes. Esta orientao faz parte do cdigo de
tica da disciplina. Responda todas as 3 questes nas prprias folhas da prova. A prova vale
100 pontos. O aluno pode fazer comentrios adicionais nos finais de pgina para esclarecer ou
justificar suas respostas. No esquecer de assinar o nome e informar o nmero da matrcula.

Eu reconheo e aceito o cdigo de honra._____________(Escreva sim ou no)

Nome/Matricula:_______________________________________________________________

Valor das questes

________________________________
1|

/50 |

2|

/30 |

3|

/20 !

Total

/100 |

_________________________________

Problema 1:
a. Imagine que no dia 1 =voc recebeu 1 centavo e, para i >1, no dia i voc recebeu duas
vezes mais centavos do que voc recebeu no dia i-1. Quantos centavos voc ter no
dia 20. Quanto ter no dia n. Use o principio da adio ou do produto para justificar
sua resposta. (20 pontos)
Resposta: voc ter 1 + 2 + 4 + ...+ 219 = 220-1 = 1.048.575 centavos. Pode usar os dois
princpios para explicar o resultado; usando somente o da soma: o conjunto de todos
os centavos a unio do conjunto de centavos do dia 1 com aqueles do dia 2, assim
por diante; usando os dois princpios: o conjunto de centavos que voc recebeu no dia
i a unio de dois conjuntos cada um do tamanho daquele que voc recebeu no dia i1.
Obviamente que estamos falando de um progresso geomtrica (P.G.) de razo r igual
a 2, primeiro termo igual a 1 (a1) e numero de termos n igual a 20; a expresso da
soma dos termos de uma pg igual a (rn 1)/(r-1); entretanto, no era necessrio
relembrar esta formula, pois o aluno poderia experimentar valores para menos dias e
intuir o valor da soma para 20 dias. Exemplo: em dois dias o numero de centavos seria
1 + 2 = 3 = 22-1; em trs dias o numero de centavos seria 1 + 2 + 4 = 7 = 2 3 1; em
quatro dias: 1 + 2 + 4 + 8 = 15 = 24-1; em 20 dias: 1 + 2 + 4 + ... + 219 = 220 1.
b. Falso ou verdadeiro: C(n,k) = C(n-2,k-2) + C(n-2,k-1) + C(n-2,k)? Se for verdadeiro, d
uma prova. Se for falso, d valores de n e k que mostrem qua a afirmao falsa e
ache uma afirmao que seja verdadeira para C(n,k) e prove-a. (20 pontos)
Resposta: a expresso falsa, pois C(4,2) 6, mas C(2,0) + C(2,1) + C(2,2) = 4. Para
consertar a situao observamos que pela regra de Pascal C(n,k) = C(n-1,k-1) + C(n1,k); aplicando a regra para cada um dos termos do segundo membro: C(n-1,k-1) = C(n2,k-2) + C(n-2,k-1) e C(n-1,k) = C(n-2,k-1) + C(n-2,k); somando os termos, ficamos com:
C(n,k) = C(n-2,k-2) + C(n-2,k-1) + C(n-2,k-1) + C(n-2,k) = C(n-2,k-2) + 2C(n-2,k-1) + C(n2,k), que a expresso correta, pois C(4,2) = 6; e C(2,0) + C(2,1) + C(2,2) = 6, o que
confirma a equivalncia das expresses.

c. Quantas solues existem para a equao x1+x2+...+xn = k com cada xi inteiro e no


negativo. Prove sua resposta com um exemplo. (10 pontos)
Resposta: existem C(n+k-1,k) solues. Fazendo exemplos com nmeros para chegar
expresso C(n+k-1,k). Exemplo1: x1+x2 = 2 (n=2 e k = 2) tem 3 solues que representadas
pelos pares ordenados {(0,2),(2,0) e (1,1)}; neste caso o numero de solues C(3,2)= 3;
x1+x2+x3=3 (n=3 e k = 3) tem 10 solues representadas pelos pares ordenados {(1,1,1),
(0,0,3),(0,3,0), (3,0,0),(1,2,0),(1,0,2), (2,0,1),(2,1,0),(0,1,2),(0,2,1)}; nesse caso o nmero de
solues igual C(5,3)=10; ento no caso geral o numero de solues C(n+k-1,k).

Problema 2:
a. Dado o conjunto A = {0,1,2,3,4} e uma partio de A = {{0,3,4}, {1},{2}}. Esta partio de
A formada por classes de equivalncia definidas por uma relao R em A. Qual a
relao de equivalncia R induzida por esta partio? (10 pontos).
Resposta: A relao R {(0,0), (0,3), (0,4), (3,0), (3,3), (3,4), (4,0), (4,3), (4,4), (1,1),
(2,2)}, ou seja, a relao constituda pelos pares ordenados do produto cartesiano de
cada bloco da partio por ele mesmo; assim sendo se reescrevermos a partio da
seguinte forma {A,B,C}, onde A = {0,3,4}; B = {1} e C = {2}, ento os pares ordenados da
relao de equivalncia so aqueles originados pelos seguintes produtos cartesianos A
x A, B x B e C x C.

b. Mostre que a relao R encontrada acima reflexiva, simtrica e transitiva. (10


pontos)
Resposta: Toda relao de equivalncia reflexiva, simtrica e transitiva. No caso em
tela {(0,0), (0,3), (0,4), (3,0), (3,3), (3,4), (4,0), (4,3), (4,4), (1,1), (2,2)} reflexiva pois
esto presentes os pares (0,0), (1,1),(2,2) e (3,3); simtrica pois esto presentes os
pares (0,3) e (3,0), (0,4) e (4,0), (3,4) e (4,3); ela transitiva pois esto presentes os
pares (0,3), (3,0) e (0,0), que vale tambm para (0,4),(4,0) e (0,0), tambm (3,4),(4,3) e
(3,3); e tambm para (4,3), (3,4) e (4,4).

c. Seja R uma relao no conjunto A = {0,1,2} definida por {(0,0), (0,1), (0,2), (1,1), (1,2)}.
R simtrica ou anti-simtrica? Justifique sua resposta (10 pontos)
Resposta: R no simtrica, pois os pares (1,0), (2,0) e (2,1) no pertencem a relao,
o ou seja o consequente da relao falso; anti-simtrica pela falsidade do
antecedente da implicao da definio da propriedade de anti-simetria.

Problema 3:
a. Sejam A = {x|xR e x2 4x + 3 < 0} e B = {x|xR e 0 < x < 6}. Prove que A B. (10
pontos)
Resposta: os elementos de A satisfazem a inequao (x-1)(x-3)<0 . H duas
possibilidades para resolver a inequao: a ) considera-se (x-1) < 0 e (x-3) > 0; ou b)
(x-1) > 0 e (x-3) < 0; no caso a) a soluo seria x < 1 e x > 3, o que no resolve a
inequao, pois se escolhermos x = 0 (que menor que 1), ficaramos com (0-1)(03)<0 que falso; no caso b) a soluo seria x>1 e x<3, o que resolve a inequao,
pois se escolhermos x = 2 ficamos com (2-1)(2-3) < 0, o que verdade. Como {1 <x
<3} est dentro de {0 < x < 6), ento fica provado que A B.

b. Prove que (A) (B) (A B), onde A e B so conjuntos arbitrrios (10


pontos).
Resposta: sem perda de generalidade, sejam A = {1,2} e B = {a,b}; A B = {1,2,a,b};
(A) = {, {1},{2},{1,2}}; (B) = {, {a},{b},{a,b}};
(A) (B) = {, {1},{2},{1,2},{a},{b},{a,b}};
(A

B)
=
{,
{1},
{2},
{a},
{b},
{1,2},
{1,a},
{1,b},
{2,a},{2,b},{a,b},{1,2,a},{1,2,b},{2,a,b},{1,a,b};{1,2,a,b}}; como se v todos os elementos
de (A) (B) pertencem a (A B), o que prova que (A) (B) (A B).