Curso: Matemática e Aplicações

Unidade Curricular: Matemática Finita Código: 21082

Data: 2 a 8 de Junho de 2009 Ano Lectivo: 2008/09

Docente: Ana Luı́sa Correia

Critérios de avaliação e cotação:

• A cotação total deste e-Fólio é de 4 valores.

• Com excepção das 3 questões de escolha múltipla, todas as respostas têm de estar
justificadas e apresentados os cálculos realizados. Não serão pontuadas respostas
que não sejam acompanhadas de uma justificação, mesmo estando correctas.

• Cada questão de escolha múltipla do grupo I tem a cotação de 0.3 valores. Por
cada resposta errada serão descontados 13 valores. É considerada errada uma
questão com mais de uma resposta. A classificação mı́nima destas 3 questões é
de 0 valores. As cotações são as seguintes:

Grupo I ERRADAS
C 0 1 2 3
E 0 0.0 0.0 0.0 0.0
R 1 0.3 0.2 0.1
T 2 0.6 0.5
AS 3 0.9

4. 5. 6.
0.3 val. 1.25 val. 1.55 val.
0.40 + 0.35 + 0.50 0.70 + 0.24 + 0.26 + 0.35

e-Fólio B - correcção 1
 Grupo I

Grelha de Correcção
1. 2. 3.
a) c) b)

Justificação
1. Temos
n X
i   X n i   n n
X
n−i i n−i
X i X X
(−1) = (−1) = (−1)n−i 2i = (−1)i 2n−i
i=0 j=0
j i=0 j=0
j i=0
i n−i
i=0
n n
X X 1 − (−2)n+1
= (−1)n (−1)−i 2i = (−1)n (−2)i = (−1)n
i=0 i=0
1 − (−2)
n+1 n+1
1 − (−1) 2 (−1)n + 2n+1
= (−1)n = .
3 3

Portanto (i) e (ii) são verdadeira. Segue-se que a) é a resposta correcta.

2. Temos
número de sequências de comprimento n formadas com os
an = .
algarismos 1, 2 e 3 e que contêm um número ı́mpar de 1’s

Uma sequência de comprimento n deste tipo pode começar por 1, 2 ou 3:

• Se a sequência começa por 2:

existem an−1 seq. de comp. n começando

2 ... −
| {z } por 2 e com um número ı́mpar de 1’s
an−1

• Se a sequência começa por 3:

existem an−1 seq. de comp. n começando

3 ... −
| {z } por 3 e com um número ı́mpar de 1’s
an−1

• Se a sequência começa por 1, então tem de ter um número par de 1’s nas outras
n − 1 posições: 1 ...
| {z }
no par de 1’s

• 3n−1 = no de seq. de comp. n − 1 formadas com os algarismos 1, 2, 3.

• an−1 = no de seq. de comp. n − 1 com um número ı́mpar de 1’s
no de seq. de comp. n − 1 formadas com os
• 3n−1 − an−1 =
algarismos 1, 2, 3 e com um no par de 1’s

Portanto
an = an−1 + an−1 + (3n−1 − an−1 ) = an−1 + 3n−1 .

Segue-se que c) é a resposta correcta.

2 21082 - Matemática Finita

 3. (i) Temos
t(1 + t) t + t2 a b c (a + b + c) + (−b − 2c)t + ct2
= = + + =
(1 − t)3 (1 − t)3 (1 − t)3 (1 − t)2 1 − t (1 − t)3
donde  
c = 1
 c = 1

−b − 2c = 1 ⇐⇒ b = −3 .

 

a+b+c =0 a=2
Portanto
t(1 + t) 2 −3 1
3
= 3
+ 2
+
(1 − t) (1 − t) (1 − t) 1−t
X (n + 2)(n + 1) X X
=2 tn − 3 (n + 1)tn + tn
n≥0
2 n≥0 n≥0
X X
= [(n + 2)(n + 1) − 3(n + 1) + 1]t = n
n2 tn .
n≥0 n≥0

Portanto (i) é verdadeira.

(ii) Temos
!2 ! ! n
!
X X X X X
(−2)n tn = (−2)n tn (−2)n tn = (−2)k (−2)n−k tn
n≥0 n≥0 n≥0 n≥0 k=0
n
!
X X X X
= (−2)n tn = (−2)n (n + 1)tn 6= 4n (n + 1)tn
n≥0 k=0 n≥0 n≥0

Portanto (ii) é falsa.

(iii) Temos
!−1  −1
X
n n 1 X
(−2) t = = 1 + 2t = 1 + 2 kn = 1ktn .
n≥0
1 + 2t n≥0

Portanto (iii) é verdadeira.

Segue-se que b) é a resposta correcta.
4) Temos
√
2 −3 ± 9 + 72 1 2
9k + 3k − 2 = 0 ⇐⇒ k = ⇐⇒ k = ∨ k = − .
18 3 3
Assim
n n n
X 2 X 2 X 1
2
= = 2 .
9k + 3k − 2 9(k − 1/3)(k + 2/3) (3k − 1)(3k + 2)
k=1 k=1 k=1

Ora
n n   X n
X 1 X a b (3a + 3b)k + (2a − b)
= + =
k=1
(3k − 1)(3k + 2) k=1 3k − 1 3k + 2 k=1
(3k − 1)(3k + 2)
( (
3a + 3b = 0 b = −1/3
⇐⇒ ⇐⇒ .
2a − b = 1 a = 1/3

e-Fólio B - correcção 3
 Deste modo,
n n   n  
X 2 X 1/3 −1/3 2X 1 1
=2 + = −
k=1
9k 2 + 3k − 2 k=1
3k − 1 3k + 2 3 k=1 3k − 1 3k + 2
1 1 1
Fazendo ak = 3k−1
então ak+1 = 3(k+1)−1
= 3k+2
. Assim
n   n  
X 1 1 X 1 1
− =− (ak+1 − ak ) = −ak |n+1
1 =− − .
k=1
3k − 1 3k + 2 k=1
3n + 2 2

Portanto
n n    
X 2 2X 1 1 2 1 1 n
= − =− − = .
k=1
9k 2 + 3k − 2 3 k=1 3k − 1 3k + 2 3 3n + 2 2 3n + 2

Portanto a afirmação é verdadeira.

Grupo II
5. a) Temos  
0 1 1
A = 1 0 1 , logo a1 = 0 , b1 = 1;
1 1 0
    
0 1 1 0 1 1 2 1 1
A2 = 1 0 1 1 0 1 = 1 2 1 , logo a2 = 2 , b2 = 1;
1 1 0 1 1 0 1 1 2
    
2 1 1 0 1 1 2 3 3
A3 = A2 · A = 1 2 1 1 0 1 = 3 2 3 , logo a3 = 2 , b3 = 3.
1 1 2 1 1 0 3 3 2
No caso geral
    
an+1 bn+1 bn+1 an bn bn 0 1 1
 bn+1 an+1 bn+1  = An+1 = An · A =  bn an bn  1 0 1
bn+1 bn+1 an+1 bn bn an 1 1 0
 
2bn an + bn an + bn
= an + bn
 2bn an + bn 
an + bn an + bn 2bn
(
an+1 = 2bn
e, portanto, .
bn+1 = an + bn

b) Temos
bn+1 = an + bn = 2bn−1 + bn = bn + 2bn−1 , para n ≥ 2.
Por outro lado,
an+1 = 2bn = 2(an−1 +bn−1 ) = 2an−1 +2bn−1 = 2an−1 +an = an + 2an−1 , para n ≥ 2.

c) Como bn+1 = bn + 2bn−1 , para n ≥ 2 então o polinómio caracterı́stico associado a esta

relação de recorrência é:
p(t) = t2 − t − 2.

4 21082 - Matemática Finita

 Temos √
1± 1+8
p(t) = 0 ⇐⇒ t = = 0 ⇐⇒ t = −1 ∨ t = 2.
2
Assim, a solução tem termo geral
bn = α(−1)n + β2n , para alguns α, β ∈ R.
Temos b1 = 1 e b2 = 1, logo
( (
−α + 2β = 1 α = −1/3
⇐⇒ .
α + 4β = 1 β = 1/3
Portanto
1 1 (−1)n+1 + 2n
bn = − (−1)n + 2n = , para todo n ≥ 1.
3 3 3
Assim,
( (
2 (−1) 3+2
n n−1
2bn−1 se n ≥ 2 se n ≥ 2 2(−1)n + 2n
an = = = , para todo n ≥ 1.
0 se n = 1 0 se n = 1 3
P
6. a) Seja han i a solução da relação de recorrência dada e seja A(t) = n≥0 an tn a função
geradora associada. Temos
X X X
A(t) = an tn = a0 + a1 t + an tn = t + ((k − 1)an−1 + kan−2 )tn
n≥0 n≥2 n≥2
X X
= t + (k − 1)t an−1 tn−1 + kt2 an−2 tn−2 = t + (k − 1)t(A(t) − a0 ) + kt2 A(t)
n≥2 n≥2
2
= t + ((k − 1)t + kt )A(t).
Segue-se que
t
A(t) = .
1 − (k − 1)t − kt2
Temos
p
2 −(k − 1) ± (k − 1)2 + 4k 1
1 − (k − 1)t − kt = 0 ⇐⇒ t = ⇐⇒ t = ∨ t = −1.
2k k
Assim,
t t A B (kA + B)t + (−A + B)
A(t) = =− = + = ,
−k(t + 1)(t − 1/k) (t + 1)(kt − 1) t + 1 kt − 1 (t + 1)(kt − 1)
donde ( (
1
kA + B = −1 A = − k+1
⇐⇒ 1
.
−A + B = 0 B = − k+1
Segue-se que
1 1  
− k+1 − k+1 1 1 1
A(t) = + =− −
t+1 kt − 1 k + 1 1 + t 1 − kt
" #
1 X X X  k n − (−1)n 
n n n n
=− (−1) t − k t = tn .
k + 1 n≥0 n≥0 n≥0
k+1
Portanto
k n − (−1)n
an = .
k+1

e-Fólio B - correcção 5
 b) Suponhamos m ≥ 2. Temos
  
an bn bn · · · bn bn 0 1 1
··· 1 1
 bn an bn · · · bn bn  1
  0 1
· · · 1 1
 
 bn bn an · · · bn bn  1 1 0
· · · 1 1

n+1  
Am =  .. .. .. . . . ..   .. .. ..
. . .. .. 
. . . . .. . . . .
 . . .

 
 bn bn bn · · · an bn 1
 1 1 · · · 0 1
bn bn bn · · · bn an 1 1 1 ··· 1 0
Assim
an+1 = [An+1
m ]ii = an · 0 + b + · · · + bn = (m − 1)bn ,
|n {z }
m−1 parcelas

bn+1 = [An+1
m ]ij = an · 1 + bn · 0 + b + · · · + bn = an + (m − 2)bn , se i 6= j.
|n {z }
m−2 parcelas

Se m = 1 então Am = A1 = [0] ∈ R . Logo Anm = [0] ∈ R1×1 , para todo n ≥ 1.

1×1

Deste modo,
an = 0 e a sucessão bn não existe.
c) Suponhamos m ≥ 2. Temos
bn+1 = an +(m−2)bn = (m−1)bn−1 +(m−2)bn = (m − 2)bn + (m − 1)bn−1 , para n ≥ 2.
Por outro lado,
an+1 = (m − 1)bn = (m − 1)(an−1 + (m − 2)bn−1 ) = (m − 1)an−1 + (m − 2) (m − 1)bn−1
| {z }
an

= (m − 1)an−1 + (m − 2)an = (m − 2)an + (m − 1)an−1 , para n ≥ 2.

d) Suponhamos m ≥ 2. Temos
b1 = 1 , b2 = a1 + (m − 2)b1 = m − 2 , bn+1 = (m − 2)bn + (m − 1)bn−1 , para n ≥ 2.
Assim, hbn i satisfaz a relação de recorrência
yn = (m − 2)yn−1 + (m − 1)yn−2, n ≥ 3
com as condições iniciais y1 = 1, y2 = m − 2. Repare-se que esta sucessão começa em
n = 1, mas se fizermos n = 2 na expressão acima obtemos
m − 2 = y2 = (m − 2)y1 + (m − 1)y0 = m − 2 + (m − 1)y0
que é uma igualdade verdadeira se y0 = 0. Assim esta recorrência coincide com a
recorrência da alı́nea a). Deste modo, fazendo k = m − 1 na alı́nea a) obtemos
(m − 1)n − (−1)n
bn = , n ≥ 1, m ≥ 2.
m
Segue-se que
(m − 1)n−1 − (−1)n−1
an = (m − 1)bn−1 = (m − 1)
m
n n
(m − 1) + (m − 1)(−1)
= , n ≥ 1, m ≥ 1
m
- note-se que este fórmula também é verdadeira para m = 1 pelo que escrevemos m ≥ 1.

FIM

6 21082 - Matemática Finita