Sequências – Exercícios Resolvidos

Exercício Resolvido 01) Mostrar que ⎢ 2 + 3 ⎥ ( n ∈ ( ) ⎥⎦ ) é ímpar.

n

⎢⎣

Solução:

Seja {an }( n ∈ ) ( ) + (2 − 3) .
n n
tal que an = 2 + 3

Observe que a1 = 4 , a2 = 14 e que an + 2 = 4an +1 − an ( ∀n ≥ 1) . Podemos facilmente demostrar, por

indução que an é par para qualquer n ∈ .

( ) ( ) . Podemos demonstrar também a seguinte desigualdade:

n n
Sejam também x = 2 + 3 e y = 2− 3

0 < ( 2 − 3 ) < 1 , temos ⎣⎢ y ⎦⎥ = 0 ⇒ ⎣⎢ x ⎦⎥ ≤ ⎣⎢ x + y ⎦⎥ ≤ ⎣⎢ x ⎦⎥ + 1 .

n
⎣⎢ x ⎦⎥ + ⎣⎢ y ⎦⎥ ≤ ⎣⎢ x + y ⎦⎥ ≤ ⎣⎢ x ⎦⎥ + ⎣⎢ y ⎦⎥ + 1 . Como
Supondo, por absurdo, que ⎢⎣ x ⎥⎦ = ⎢⎣ x + y ⎥⎦ ⇒ ⎢⎣ x ⎥⎦ = ⎢⎣ x + y ⎥⎦ = ⎢⎣ an ⎥⎦ = an = x + y ⇒ 0 = { x} + y (Absurdo!).

( )
Assim teremos: ⎣⎢ x + y ⎦⎥ = ⎣⎢ x ⎦⎥ + 1 ⇒ ⎢ 2 + 3 ⎥ = an − 1 , que é um número ímpar. c.q.d
n

⎢⎣ ⎥⎦

Exercício Resolvido 02) Considere um alfabeto com somente três letras: {a, b, c} . Determine o número
de palavras com n letras, que contenham um número par de letras a .

Solução:

Sejam as seguintes seqüências:

{an } : número de palavras com n letras que contenham um número ímpar de a ' s .
{bn } : número de palavras com n letras que contenham um número par de a ' s .

⎧⎪an = 2an −1 + bn −1 (1)

Podemos afirmar: ⎨
⎪⎩bn = an −1 + 2bn −1 ( 2 )

Fazendo (1) – (2): an − bn = an −1 − bn −1 = ... = a1 − b1 = 1 − 2 = −1 ⇒ an −1 = bn −1 − 1 (*) . Substituindo (*) em (2):

bn = 3bn −1 − 1 . Seja {un } tal que bn = un + 1 .

2
Teremos, portanto: un = 3un −1 = 32 un −1 = ... = 3n −1 u1 = 3n −1 2 − 1 ( 2 ) n
=3
2
⇒ bn =
3n + 1
2
.

Exercício Resolvido 03) Seja { xn }( n ∈ ) tal que x1 = 1 , x2 = 3 e = para ∀n ∈ . Sabendo que

4nxn + 2 = 2 ( 2n + 1) xn +1 − ( n + 1) xn ( ∀n ∈ * ) , encontrar uma fórmula fechada para xn .
Solução:
5n 2 − 5n + 2
Iremos mostrar, utilizando o segundo princípio de indução finita, que: xn = .
2n

5 ⋅12 − 5 ⋅1 + 2
i) x1 = 1 = .
21

5 ⋅ 22 − 5 ⋅ 2 + 2
ii) x2 = 3 = .
22

5 ⋅ ( n + 1) − 5 ⋅ ( n + 1) + 2
2
5 ⋅ n2 − 5 ⋅ n + 2
iii) Supondo que xn = e que xn +1 = , teremos:
2 n
2n +1
⎡ 5 ⋅ ( n + 1)2 − 5 ⋅ ( n + 1) + 2 ⎤ ⎡ 5 ⋅ n 2 − 5 ⋅ n + 2 ⎤ ( 2n + 1) ( 5n + 5n + 2 ) − ( n + 1) ( 5n − 5n + 2 )
2 2

4nxn + 2 = 2 ( 2n + 1) ⎢ ⎥ − ( n + 1) ⎢ ⎥= =
⎣⎢ 2n +1 ⎦⎥ ⎣ 2n ⎦ 2n

10n3 + 15n 2 + 9n + 2 − ( 5n3 − 3n + 2 ) 5n3 + 15n 2 + 12n n ⎣5 ( n + 2 ) − 5 ( n + 2 ) + 2 ⎦

⎡ ⎤
2

= = = ⇒
2n 2n 2n
5 ( n + 2) − 5 ( n + 2) + 2
2

⇒ xn + 2 = . c.q.d
2n + 2