2013/1S EP33D Matemtica Discreta Avaliao 01

Data: 10/07/2013 Incio: 13h00min Durao: 03 aulas (2h30min)

OBSERVAES: (i) a prova individual; (ii) qualquer forma de consulta no autorizada acarretar no recolhimento
imediato da prova e atribuio de nota zero; (iii) questes incompletas sero desconsideradas; (iv) a interpretao
das questes, o respeito notao matemtica/rigor cientfico e a claridade/organizao na exposio fazem parte da
avaliao; (v) formulrios, quando permitidos, sero anexados prova e avaliados;
Nome: GABARITO Nota:

Problema 01 [0,50] Qual a negao das seguintes proposies? Existe um poltico honesto. Todos os brasileiros
comem churrasco.
Resoluo:
As negaes aqui referem-se s negaes das proposies xP (x) e xP (x).
Assim, se P : Existe um poltico honesto., P pode ser dada por No existe um poltico honesto., ou Todos os
polticos no so honestos. ou, ainda, Todos os polticos so desonestos.. Note que Existe um poltico desonesto.
no a negao (complementar lgica) de P .
Agora, se Q: Todos os brasileiros comem churrasco., Q dada por Existe um brasileiro que no come churrasco.
ou Nem todos os brasileiros comem churrasco.. Note que Brasileiros no comem churrasco. no a negao de Q.

Problema 02 [0,75] Demonstre a equivalncia lgica que representa a propriedade distributiva da disjuno sobre
a conjuno: p (q r) (p q) (p r).
Resoluo:
A demonstrao da equivalncia lgica pode ser feita pela construo da tabela-verdade das duas proposies:

p q r q r p (q r) p q p r (p q) (p r)
V V V V V V V V
V V F F V V V V
V F V F V V V V
V F F F V V V V
F V V V V V V V
F V F F F V F F
F F V F F F V F
F F F F F F F F

Como as duas proposies, P : p (q r) e Q: (p q) (p r) assumem valores lgicos idnticos para todas as

configuraes das variveis lgicas p, q e r (isto , as duas colunas so iguais), P Q.

Problema 03 [0,75] Mostre que a demonstrao por contraposio um argumento vlido: (p q) (q p).
Resoluo:
A verificao de que um argumento vlido pode ser dada pela tabela-verdade:

p q P : p q q p Q: q p
V V V F F V
V F F V F F
F V V F V V
F F V V V V

Vemos que toda vez que a premissa P assume o valor lgico V , a concluso Q tambm verdadeira. Assim, P Q
um argumento vlido.

1
Problema 04 [1,00] Demonstre que h um par de nmeros inteiros consecutivos, tal que um desses nmeros inteiros
um quadrado perfeito e o outro, um cubo perfeito.
Resoluo:
Esta uma demonstrao de existncia construtiva, pois encontraremos um exemplo de dois inteiros consecutivos tal
que um deles seja um quadrado perfeito e o outro, um cubo perfeito. Os primeiros quadrados perfeitos so 1 = 12,
4 = 22 e 9 = 32, enquanto que os primeiros cubos perfeitos so 1 = 13, 8 = 23, 27 = 33. Assim, verificamos diretamente
que 8 e 9 so dois nmeros inteiros consecutivos, sendo 8 um cubo perfeito e 9 um quadrado perfeito.

Problema 05 [1,00] Demonstre, por contradio, que se 3n + 2 mpar, ento n mpar..

Resoluo:
Uma demonstrao por contradio consiste em verificar que a negao da proposio resulta em uma contradio
(um absurdo). Assuma, portanto, que se 3n + 2 mpar, ento n par. Pela definio, se um nmero k mpar, ento
existe um inteiro m tal que k = 2m + 1. Assim, se 3n + 2 mpar, existe um m inteiro tal que

3n + 2 = 2m + 1 3n = 2m 1 = 2(m 1) + 1 3n = 2l + 1

em que l = m 1 um inteiro. Assim, se 3n + 2 mpar, 3n mpar. Mas note que 3 = 2 + 1 mpar e o produto de
um nmero mpar j = 2a + 1 por um par t = 2b sempre par

j.t = (2a + 1)(2b) = 4ab + 2b = 2(2ab + 2) = 2s. (s = 2ab + 2)

Assim, se n for par, 3n deve ser par, o que contraria a hiptese de 3n + 2 ser mpar. Portanto, dado que 3n + 2
mpar, n deve ser mpar.

Problema 06 [1,50] Demonstre que as seguintes sentenas sobre o nmero inteiro n so equivalentes: n par,
n2 par e n + 1 mpar.
Resoluo:
A equivalncia entre trs proposies p1, p2 e p3 pode ser demonstrada verificando-se p1 p2, p2 p3 e p3 p1. Nesse
caso, fazemos

p1: n par ou, equivalentemente, k Z, n = 2k;

p2: n2 par ou, equivalentemente, j Z, n2 = 2j;

p3: n + 1 mpar ou, equivalentemente, i Z, n + 1 = 2i + 1.

Demonstremos agora, por demonstrao direta, as condicionais que definem a equivalncia lgica entre as proposies:

p1 p2: Se n = 2k, ento n2 = (2k)2 = 4k 2 = 2(2k 2). Como 2k 2 = j um inteiro, est demonstrado que p1 p2.

p2 p3:

Seja n2 = 2j. Como n no pode ser 1 (pois (1)2 = 1 mpar), considere a fatorao

(n + 1)(n 1) = n2 1 = 2j 1 = 2(j 1) + 1 = 2s + 1

em que s = j 1 um inteiro. Vemos que (n + 1)(n 1) um nmero mpar. Uma vez que o produto de dois nmeros
pares par, assim como o produto de um mpar por um par, necessrio que ambos n + 1 e n 1 sejam mpares.
Assim, n + 1 mpar e p2 p3.

p3 p1: Se n + 1 = 2i + 1 direto que n = 2i, isto , n par e, portanto, p3 p1.

Assim, como p1 p2 p3 p1, todas as proposies so equivalentes.

2
  2
n(n + 1)
Problema 07 [1,50] Considere P (n) como a proposio de que 13 + 23 + 33 +
+ n3 = para qualquer
2
nmero inteiro positivo n. Demonstre, por induo, nP (n).

a) Mostre que P (1) verdadeira, completando o passo base da demonstrao.

b) Enuncie a hiptese indutiva e complete o passo indutivo da demonstrao.

c) Explique por que esses passos mostram que a frmula verdadeira sempre que n for um inteiro positivo.

Resoluo:
 2
1(1 + 1)
(a) O passo base consiste em verificar a veracidade de P (1). Como 13 = 1 = 2
= 12 = 1, vemos que P (1)
verdadeira.
(b) A hiptese indutiva a seguinte: P (n) verdadeira, ou seja, a soma dos cubos dos primeiros n inteiros positivos
dada por (n(n + 1)/2)2. O passo indutivo consiste em verificar que P (n) P (n + 1). Para isso, considersmos P (n):

 2
n(n + 1)
13 + 23 + 33 +
+ n3 =
2

e somamos em ambos os lados da igualdade o termo (n + 1)3. Assim, manipulando o termo da direita, encontramos:

n(n + 1) 2
 
13 + 23 + 33 +
+ n3 + (n + 1)3 = + (n + 1)3
2
n2(n + 1)2 4(n + 1)(n + 1)2
= +
4 4
(n + 4n + 4)(n + 1)2
2
=
4
(n + 2)2(n + 1)2 (n + 1)(n + 2) 2
 
= =
4 2

que exatamente a expresso P (n + 1). Logo, P (n) P (n + 1) e o passo indutivo est completado.
(c) O passo indutivo demonstra que P (n) P (n + 1), ou seja, que se a proposio vlida para o nmero inteiro n,
ento ser vlida para o prximo nmero inteiro n + 1. Como a demonstrao independente do valor de n, temos
agora se a proposio vlida para n + 1, tambm ser para (n + 1) + 1 = n + 2, e assim por diante. Uma vez que
fomos capazes de verific-la diretamente para n = 1, sabemos ser vlida para n = 2 e, ento, para n = 3 e, ento, para
n = 4 ... Ou seja, para todos os nmeros inteiros positivos n.

Problema 08 [2,00] Seja fn = fn1 + fn2 o n-simo nmero de Fibonacci para n > 2, com f0 = 0 e f1 = 1.

a) Mostre que fn+1 fn1 fn2 = (1)n quando n um nmero inteiro positivo.
   
1 1 fn+1 fn
b) Mostre que se A = , ento A =
n
quando n for um nmero inteiro positivo.
1 0 fn fn1

Resoluo:
Primeiramente, observemos que f2 = f1 + f0 = 1.
(a) A relao pode ser facilmente verificada para n = 1 (passo base):

f2 f0 f12 = 1.0 1 = 1 = (1)1.

Podemos agora assumir que a relao vlida para n e dela derivar a relao para n + 1. Ou seja, suponha

fn+1 fn1 fn2 = (1)n.

3
Agora, manipulemos o termo da esquerda com n n + 1, utilizando a definio dos nmeros de Fibonacci para observar
que fn+2 = fn+1 + fn e que fn+1 = fn + fn1. Assim, temos

2
fn+2 fn fn+1 = (fn+1 + fn)fn fn+1(fn + fn1)
= fn+1 fn + fn2 fn+1 fn fn+1 fn1
= fn2 fn+1 fn1
= (fn+1 fn1 fn2)
= (1)n
= (1)n+1.

Assim, se a relao vlida para n, vlida pra n + 1. Como verificamos no passo base que a relao verdadeira
para n = 1, ento a mesma verdadeira para todo nmero inteiro positivo.
(b) Utilizaremos a construo recursiva de An por

An+1 = A.An

em que A = A1 a matriz dada. Note que

   
1 f2 f1 1 1
A = = .
f1 f0 1 0

Assim, basta demonstrarmos que, para todo n > 1, An+1 = A.An. Fazendo o produto e rearranjando os termos,
verificamos facilmente esse resultado:
       " #
1 1 fn+1 fn fn+1 + fn fn + fn1 fn+2 fn+1 f(n+1)+1 f(n+1)
A.An = = = = = An+1
1 0 fn fn1 fn+1 fn fn+1 fn f(n+1) f(n+1)1

em que, pela definio dos nmeros de Fibonacci,

fn+2 = fn+1 + fn e fn+1 = fn + fn1

foram utilizados.

Problema 09 [0,5] Decida se cada um dos inteiros abaixo congruente a 5 mdulo 17.

a) 80 c) 29

b) 103 d) 122

Resoluo:
Dizemos que a congruente a b mdulo m se m divide (a b) ou, analogamente, se a mod m = b mod m, isto , se o
resto das divises de a e b por m forem iguais. Observe que 5 mod 17 = 5.Assim:
(a) Como 80 5 = 75 e 17 75, pois no existe inteiro m tal que 17.m = 75, vemos que 80
5(mod 17). Analogamente,
temos 80 mod 17 = 12  5.
(b) Como 103 5 = 98 e 17 98, pois no existe inteiro m tal que 17.m = 98, vemos que 103
5(mod 17). Analogamente,
temos 103 mod 17 = 1  5.
(c) Como 29 5 = 34 e 17|34, pois 34 = 17.(2), vemos que 29 5(mod 17). Analogamente, 29 mod 17 = 5,
pois 29 = 17.(2) + 5.
(d) Como 122 5 = 127 e 17 127, pois no existe inteiro m tal que 17.m = 127, vemos que 122
5 (mod 17).
Analogamente, 122 mod 17 = 14  5 (pois 122 = 17.(8) + 14).

4
Problema 10 [0,5] Decodifique a seguinte mensagem, codificada pelo algoritmo de Jlio Csar, em que A = 1,
B = 2, , Z = 0 e f (p) = (p + 3) mod 26:

P H L R S R Q W R J D Q K R !

A funo decodificadora (inversa) de f f 1(p) = (p 3) mod 26. Assim, podemos construir a seguinte tabela:

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
p = f 1(w) 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 0
w = f (p) 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 0 1 2 3
D E F G H I J K L M N O P Q R S T U V W X Y Z A B C

Logo, a mensagem :
P H L R S R Q W R J D Q K R !
w 16 8 12 18 19 18 17 23 18 10 4 17 11 18
f 1(w) 13 5 9 15 16 15 14 20 15 7 1 14 8 15
M E I O P O N T O G A N H O !