DCC111 Matemtica Discreta

UFMG/ICEx/DCC

Lista de Exerccios 4: Solues

Sequncias e Induo Matemtica
1o Semestre de 2013

Cincias Exatas & Engenharias

1. O conjunto dos nmeros racionais Q enumervel, ou seja, possvel atribuir (associar) a cada nmero
racional um nmero natural. Abaixo, os nmeros racionais positivos esto representados na forma de um
par ordenado onde o primeiro nmero representa o numerador e o segundo o denominador. Comeando do
nmero racional 1 par ordenado (1, 1) possvel associar o nmero natural 1 e, seguindo o sentido das
setas, atribuir o prximo nmero natural definindo assim uma sequncia de enumerao. Dado o nmero
racional positivo pq , qual o nmero natural correspondente?
..
..
..
..
..

.
.
.
.
. ...
(1, 6) (2, 6) (3, 6) (4, 6) (5, 6) (6, 6). . .
(1, 5) (2, 5) (3, 5) (4, 5) (5, 5) (6, 5). . .
&
(1, 4) (2, 4) (3, 4) (4, 4) (5, 4) (6, 4). . .
&
(1, 3) (2, 3) (3, 3) (4, 3) (5, 3) (6, 3). . .
&
&
(1, 2) (2, 2) (3, 2) (4, 2) (5, 2) (6, 2). . .
&
&
(1, 1)(2, 1) (3, 1)(4, 1) (5, 1)(6, 1). . .
Resposta:

De acordo com o enunciado acima, a enumerao dos nmeros racionais ir ocorrer da forma apresentada a
seguir (o nmero natural associado a cada nmero racional est entre colchetes):
..

.
(1, 6) (2, 6)

..
.
(3, 6)

..
..
..
.
.
. ...
(4, 6) (5, 6) (6, 6). . .

(3, 5)

(4, 5) (5, 5) (6, 5). . .

&
(1, 4) (2, 4) (3, 4)

(4, 4) (5, 4) (6, 4). . .

[21]

(1, 5) (2, 5)
[11]

[20]

[10]

[12]

[19]

[4]

[9]

[13]

[18]

[3]

[5]

[8]

[14]

[17]

[1]

[2]

[6]

[7]

[15]

[16]

1a

2a

3a

4a

5a

6a

&
(1, 3) (2, 3) (3, 3) (4, 3) (5, 3) (6, 3). . .
&
&
(1, 2) (2, 2) (3, 2) (4, 2) (5, 2) (6, 2). . .
&
&
(1, 1)(2, 1) (3, 1)(4, 1) (5, 1)(6, 1). . .

Diagonais

Pontos a observar:
O nmero racional positivo

p
q

representado pelo par ordenado (p, q);

 A soma dos ndices p e q dos pares ordenados ao longo de cada diagonal a mesma. Na primeira
diagonal temos apenas um par ordenado, i.e., (1, 1), e a soma vale 2. A partir da segunda diagonal, as
somas dos ndices valem 3, 4, 5, etc;
Na primeira diagonal temos um par ordenado, na segunda dois, na terceira trs e assim sucessivamente.
Isso significa que em cada diagonal temos (p + q) 1 pares ordenados;
Quando a soma p + q um nmero mpar, a enumerao ocorre de baixo para cima e, quando par,
ocorre de cima para baixo;
Para calcular o nmero natural k associado ao nmero racional (p, q) temos que saber quantos pares
ordenados existem nas diagonais anteriores diagonal onde se encontra o par (p, q). Essa a soma de
1 a (p + q) 2, representada por S:
S

[(p + q) 2] [(p + q) 1]
.
2

Finalmente, deve-se determinar o sentido da enumerao (de baixo para cima, ou vice-versa) para o
par (p, q):
se (p + q) mod 2 = 0
ento k S + p
seno k S + q
fimse

// (p + q) um nmero par, i.e., a diagonal de descida?

// Sim, devemos somar a S o valor de p, que o termo que cresce.
// No, devemos somar a S o valor de q, que o termo que cresce.

Observe que quando o sentido da enumerao de cima para baixo ao longo da diagonal, o nmero
p deve ser somado a S para determinar a posio correta da enumerao. Quando o sentido da
enumerao for o contrrio, o nmero q deve ser somado.
2. Prove por induo matemtica que
12 + 22 + . . . + n2 =

n(n + 1)(2n + 1)
, n 1.
6

Resposta:

Prova (por induo matemtica):

(a) Passo base: Para n = 1, 12 = 1 e

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

123
6

= 1. O passo base verdadeiro.

(b) Passo indutivo: se a frmula verdadeira para n = k, k 1 ento deve ser verdadeira para n = k+1.
Hiptese indutiva:
k(k + 1)(2k + 1)
12 + 22 + . . . + k 2 =
,k 1
6
Deve-se mostrar que:
12 + 22 + . . . + k 2 + (k + 1)2

(k + 1)(k + 2)(2k + 3)
6

Sabe-se que:
12 + 22 + . . . + k 2 + (k + 1)2

=
=
=
=
=
=

k(k + 1)(2k + 1)
+ (k + 1)2
6
k(k + 1)(2k + 1) + 6(k + 1)2
6
(k + 1)[k(2k + 1) + 6(k + 1)]
6
(k + 1)[2k 2 + k + 6k + 6]
6
(k + 1)(2k 2 + 7k + 6)
6
(k + 1)(k + 2)(2k + 3)
6

3. Prove por induo matemtica que

1 + 3 + 5 + . . . + (2n 1) = n2 , n 1.
Resposta:

Prova (por induo matemtica):

(a) Passo base: Para n = 1, 1 = 12 . O passo base verdadeiro.
(b) Passo indutivo: se a frmula verdadeira para n = k, k 1 ento deve ser verdadeira para n = k+1.
Hiptese indutiva:
1 + 3 + 5 + . . . + (2k 1) = k 2 , k 1
Deve-se mostrar que:
1 + 3 + 5 + . . . + (2k 1) + (2k + 1) = (k + 1)2 , k 1
Sabe-se que:
1 + 3 + 5 + . . . + (2k 1) + (2k + 1)

= k 2 + (2k + 1)
= (k + 1)2

4. Prove por induo matemtica que

13 + 23 + . . . + n3 = (1 + 2 + . . . + n)2 , n 1.
Resposta:

Essa prova pode ser dividida em duas partes: (i) prova do somatrio do lado direito e substituio pela
frmula fechada, e (ii) prova do somatrio do lado esquerdo. Sabe-se que a soma 1 + 2 + . . . + n, n 1, vale
n(n+1)
(esta prova pode ser obtida por induo matemtica). Assim, temos que
2
13 + 23 + . . . + n3 =

n2 (n + 1)2
, n 1.
4

Prova (por induo matemtica):

(a) Passo base: Para n = 1, 13 =

12 (1+1)2
.
4

O passo base verdadeiro.

(b) Passo indutivo: se a frmula verdadeira para n = k, k 1 ento deve ser verdadeira para n = k+1.
Hiptese indutiva:
k 2 (k + 1)2
13 + 23 + . . . + k 3 =
,k 1
4
Deve-se mostrar que:
13 + 23 + . . . + k 3 + (k + 1)3 =

(k + 1)2 (k + 2)2
,k 1
4

Sabe-se que:
13 + 23 + . . . + k 3 + (k + 1)3

=
=
=
=
=

k 2 (k + 1)2
+ (k + 1)3
4
k 2 (k + 1)2
+ (k + 1)(k + 1)2
4
k 2 (k + 1)2
4(k + 1)(k + 1)2
+
4
4
(k + 1)2 (k 2 + 4k + 4)
4
(k + 1)2 (k + 2)2
4

5. Prove por induo matemtica que

2 1 + 2 2 + 2 3 + . . . + 2n = n2 + n, n 1.
Resposta:

Prova (por induo matemtica):

(a) Passo base: Para n = 1, 2 1 = 2 e 12 + 1 = 2. O passo base verdadeiro.
(b) Passo indutivo: se a frmula verdadeira para n = k, k 1 ento deve ser verdadeira para n = k+1.
Hiptese indutiva:
2 1 + 2 2 + 2 3 + . . . + 2k

=
=

k2 + k
k(k + 1), k 1

Deve-se mostrar que:

2 1 + 2 2 + . . . + 2k + 2(k + 1)

= (k + 1)2 + (k + 1)
= (k + 1)[(k + 1) + 1]
= (k + 1)(k + 2), k 1

2 1 + 2 2 + . . . + 2k + 2(k + 1)

= k(k + 1) + 2(k + 1)
= k 2 + k + 2k + 2
= k 2 + 3k + 2
= (k + 1)(k + 2)

Sabe-se que:

6. Prove por induo matemtica que

n1
X

i(i + 1) =

i=1

n(n 1)(n + 1)
, inteiros n 2.
3

Resposta:

Prova (por induo matemtica):

Pn1
P1
(a) Passo base: Para n = 2, i=1 i(i + 1) = i=1 i(i + 1) = 1(1 + 1) = 2 e
passo base verdadeiro.

n(n1)(n+1)
2

213
3

= 2. O

(b) Passo indutivo: se a frmula verdadeira para n = k, k 2 ento deve ser verdadeira para n = k+1.
Hiptese indutiva:
k1
X

i(i + 1)

k(k 1)(k + 1)
3

i(i + 1)

k(k + 1)(k + 2)
3

i=1

Deve-se mostrar que:

k
X
i=1

Sabe-se que:
k
X

i(i + 1)

i=1

k1
X

i(i + 1) + k(k + 1)

i=1

k(k 1)(k + 1)
+ k(k + 1)
3
4

=
=
=

k(k 1)(k + 1) + 3k(k + 1)

3
k(k + 1)[(k 1) + 3]
3
k(k + 1)(k + 2)
3

7. Ache a frmula fechada para o produto

1
1
1
1
+
+
+ ... +
12 23 34
n(n + 1)
inteiros n 1 e prove o seu resultado por induo matemtica.
Resposta:

Prova (por induo matemtica):

Somando os primeiros termos e simplificando temos que:
1
2
1
+
=
12 23
3
1
1
3
1
+
+
=
12 23 34
4
1
1
1
4
1
+
+
+
=
12 23 34 45
5
o que leva a conjectura que para todos os inteiros positivos n,
1
1
1
1
n
+
+
+ ... +
=
12 23 34
n(n + 1)
n+1
(a) Passo base: Para n = 1,

1
12

= 12 , que o valor da frmula fechada. O passo base verdadeiro.

(b) Passo indutivo: se a frmula verdadeira para n = k, k 1 ento deve ser verdadeira para n = k+1.
Hiptese indutiva:
1
1
1
1
k
+
+
+ ... +
=
12 23 34
k(k + 1)
k+1
Deve-se mostrar que:
1
1
1
1
1
+
+
+ ... +
+
12 23 34
k(k + 1) (k + 1)(k + 2)

k+1
k+2

Sabe-se que:
1
1
1
1
1
+
+
+ ... +
+
12 23 34
k(k + 1) (k + 1)(k + 2)

=
=
=
=
=

8. Ache a frmula fechada para o produto

1
1
1
1
1
1
1
... 1
2
3
4
n
5

k
1
+
k + 1 (k + 1)(k + 2)
k(k + 2) + 1
(k + 1)(k + 2)
k 2 + 2k + 1
(k + 1)(k + 2)
(k + 1)2
(k + 1)(k + 2)
k+1
k+2

 inteiros n 2 e prove o seu resultado por induo matemtica.

Resposta:

Seja a suposio que

n
1
1
1
1
1
1
1
1
1
... 1
=
1
=
2
3
4
n
i
n
i=2
inteiros n 2. Deve-se provar que de fato essa suposio verdadeira.
Prova (por induo matemtica):
Q2
(a) Passo base: Para n = 2, i=2 (1 1i ) = (1 12 ) =
verdadeiro.

1
2

e a frmula fechada vale

1
2.

O passo base

(b) Passo indutivo: se a frmula verdadeira para n = k, k 2 ento deve ser verdadeira para n = k+1.
Hiptese indutiva:

k
1
1
1
1
1
1
1
1
... 1
=
=
1
1
2
3
4
k
i
k
i=2
Deve-se mostrar que:

k+1

Y
1
1
1
1
1
1
1
1
1
1
... 1
1
=
1
=
2
3
4
k
k+1
i
k+1
i=2
Sabe-se que:
k+1
Y
i=2

1
1
i

=
=
=
=

1
1
1
1
i
k+1
i=2

1
1
1
k
k+1

1
(k + 1) 1

k
k+1
1
k+1
k
Y

9. Ache a frmula fechada para a soma

1
1
1
+
+ ... +
13 35
(2n 1) (2n + 1)
inteiros n 1 e prove o seu resultado por induo matemtica.
Resposta:

Seja a suposio que

1
1
n
1
+
+ ... +
=
13 35
(2n 1) (2n + 1)
2n + 1

inteiros n 1.
Prova (por induo matemtica):
1
(a) Passo base: Para n = 1, (2n1)(2n+1)
=
O passo base verdadeiro.

1
(211)(21+1)

1
13

1
3

e a frmula fechada vale

1
21+1

= 13 .

(b) Passo indutivo: se a frmula verdadeira para n = k, k 1 ento deve ser verdadeira para n = k+1.
Hiptese indutiva:
1
1
k
1
+
+ ... +
=
13 35
(2k 1) (2k + 1)
2k + 1

 Deve-se mostrar que:

1
1
1
k+1
+
+ ... +
=
13 35
(2(k + 1) 1) (2(k + 1) + 1)
2(k + 1) + 1
ou equivalentemente,

1
1
1
k+1
+
+ ... +
=
13 35
(2k + 1) (2k + 3)
2k + 3

Sabe-se que:
1
1
1
+ ... +
+
13
(2k 1)(2k + 1) (2k + 1)(2k + 3)

=
=

=
=
=

10. Ache a frmula fechada para a soma

n
X
i=2

k
1
+
2k + 1 (2k + 1)(2k + 3)
k(2k + 3)
+
(2k + 1)(2k + 3)
1
(2k + 1)(2k + 3)
2k 2 + 3k + 1
(2k + 1)(2k + 3)
(2k + 1)(k + 1)
(2k + 1)(2k + 3)
k+1
2k + 3

1
,
(i 1)i

inteiros n 2 e prove o seu resultado por induo matemtica.

Resposta:

Seja a suposio que

n
X
i=2

1
1
=1
(i 1)i
n

inteiros n 2. Deve-se provar que de fato essa suposio verdadeira.

Prova (por induo matemtica):
(a) Passo base: Para n = 2, os dois lados da equao valem 12 . O passo base verdadeiro.
(b) Passo indutivo: se a frmula verdadeira para n = k, k 2 ento deve ser verdadeira para n = k+1.
Hiptese indutiva:
k
X
1
1
= 1 , k 2.
(i

1)i
k
i=2
Deve-se mostrar que:
k+1
X
i=2

1
1
=1
, k 2.
(i 1)i
k+1

Sabe-se que:
k+1
X
i=2

1
(i 1)i

k
X

1
1
+
(i

1)i
k(k
+ 1)
i=2

1
1
1

= 1 +
k
k k+1
1
= 1
k+1
=

11. Prove o seguinte predicado P (n) usando induo matemtica:

P (n): Qualquer nmero inteiro positivo n 8 pode ser escrito como a soma de 3s e 5s.
Resposta:

Prova (por induo matemtica fraca):

(a) Passo base: P (n0 ) = P (8): Para n0 = 8, temos que 8 = 3 + 5 e o predicado P verdadeiro.
(b) Passo indutivo: se a frmula verdadeira para n = k ento deve ser verdadeira para n = k + 1, i.e.,
P (k) P (k + 1).
Suponha que a frmula seja verdadeira para n = k, i.e.,
P (k) : k = 3a + 5b,
para a 0 e b 0. [hiptese indutiva]
Deve-se mostrar que
P (k + 1) : k + 1 = 3a0 + 5b0 ,
para a0 0 e b0 0.
Dois casos a considerar para k + 1:
(i) b 6= 0: possvel substituir um 5 por dois 3s quando feita a soma de:
k+1

=
=
=
=

3a + 5b + 1
3a + 5(b 1) + 5 + 1
3a + 23 + 5(b 1)
3a0 + 5b0

(ii) b = 0: Neste caso, deve haver pelo menos trs 3s para termos valores de n 9. Assim, temos:
k+1

=
=
=
=

3a + 1
3(a 3) + 33 + 1
3a0 + 25
3a0 + 5b0

[Isto era o que devia ser provado.]

12. Suponha que temos selos de 4 e 7 centavos. Prove que possvel ter qualquer valor de postagem de 18
centavos ou mais usando somente esses selos.
Resposta:

Prova (por induo matemtica forte):

(a) Passo base: Para os seguintes valores de postagem p possvel usar apenas selos de 4 e 7 centavos.
p
18
19
20
21

Selos
7+7+4
7+4+4+4
4+4+4+4+4
7+7+7

Assim, o passo base verdadeiro.

(b) Passo indutivo: Vamos supor que para todos inteiros p, 18 p < k, p seja um valor de postagem
que pode ser obtido apenas com selos de 4 e 7 centavos. Vamos provar que a proposio tambm
verdadeira para k.
Ao dividirmos k por 4 temos um quociente q e um resto entre 0 e 3. Ao dividirmos os valores de
postagem p [18, 21] temos tambm como resto os valores entre 0 e 3. Ou seja, k pode ser expresso
como um valor de postagem p entre 18 e 21 somando de um fator mltiplo de 4. Formalmente temos
que k p mod 4 para um valor de p [18, 21]. Isto lido como: k congruente com p mdulo 4, o
que significa que existe um valor de p [18, 21] que quando dividido por 4 deixa o mesmo resto que k
quando dividido por 4.
8

13. Prove por induo matemtica que n2 < 2n , para todos inteiros n 5.
Resposta:

Prova (por induo matemtica):

(a) Passo base: Para n = 5, a desigualdade 52 < 25 verdadeira. Assim, o passo base verdadeiro.
(b) Passo indutivo: se a afirmao verdadeira para n = k, k 5 ento deve ser verdadeira para n =
k + 1.
Hiptese indutiva:
k 2 < 2k
para todos inteiros k 5.
Deve-se mostrar que:

(k + 1)2 < 2k+1

para todos inteiros k 5.

Sabe-se que:

(k + 1)2 = k 2 + 2k + 1 < 2k + 2k + 1

pela hiptese indutiva. Sabe-se tambm que

2k + 1 < 2k
para k 3. Colocando estas desigualdades juntas, temos;
(k + 1)2 < 2k + 2k + 1 < 2k + 2k
14. Seja a seqncia a1 , a2 , a3 , . . . definida como
a1
ak

=
=

3
7ak1 , inteiros k 2

Prove por induo matemtica que an = 3 7n1 para todos os inteiros n 1.

Resposta:

Prova (por induo matemtica):

(a) Passo base: Para n = 1, an = a1 = 3 711 = 3 1 = 3. O passo base verdadeiro.
(b) Passo indutivo: se a afirmao verdadeira para n = k, k 1 ento deve ser verdadeira para n =
k + 1.
Hiptese indutiva:
ak = 3 7k1
para todos inteiros k 1.
Deve-se mostrar que:

ak+1 = 3 7(k+1)1 = 3 7k

para todos inteiros k 1.

Sabe-se que:
ak+1

= 7ak ,
inteiros k 2
= 7 (3 7k1 ) Hiptese indutiva
= 3 7k

15. Seja a seqncia a1 , a2 , a3 , . . . definida como

a1

= 1

a2
ak

= 3
= ak2 + 2ak1 , inteiros k 3

Prove por induo matemtica que an mpar para todos os inteiros n 1.

Resposta:

Prova (por induo matemtica forte):

9

(a) Passo base: A propriedade verdadeira para n = 1 e n = 2, j que a1 = 1 e a2 = 3, que so mpares.

(b) Passo indutivo: Se k > 2 e a propriedade verdadeira para todos i, 1 i < k, ento deve ser verdadeira
para n = k.
Hiptese indutiva: Seja k > 2 um inteiro e suponha que ai mpar para todos os inteiros i, 1 i < k.
Deve-se mostrar que ak mpar. Sabe-se pela definio de
a1 , a2 , a3 , . . . , an = ak2 + 2ak1
Sabe-se tambm que ak2 mpar pela hiptese indutiva, j que 1 k 2 < k e k > 2, e 2ak1
par, pela definio de nmero par. Assim,
ak2 + 2ak1
a soma de um nmero mpar e um nmero par, que d como resultado sempre um nmero mpar.
16. Seja a seqncia g0 , g1 , g2 , . . . definida como
g0
g1
gk

=
=
=

12
29
5gk1 6gk2 , inteiros k 2

Prove por induo matemtica que gn = 5 3n + 7 2n para todos os inteiros n 0.

Resposta:

Prova (por induo matemtica forte):

(a) Passo base: Para n = 0, temos que g0 = 5 30 + 7 20 = 5 1 + 7 1 = 12 e para n = 1, temos que
g1 = 5 31 + 7 21 = 5 3 + 7 2 = 29. Logo, o passo base verdadeiro.
(b) Passo indutivo: Se k > 1 e a propriedade verdadeira para todos i, 1 i < k, ento deve ser verdadeira
para n = k.
Hiptese indutiva: Seja k > 1 um inteiro e suponha que gk = 5 3k + 7 2k para todos os inteiros i,
1 i < k.
Deve-se mostrar que gk = 5 3k + 7 2k para n = k.
Sabe-se que:
gk

=
=
=
=
=
=
=

5gk1 6gk2
5(5 3k1 + 7 2k1 ) 6(5 3k2 + 7 2k2 )
25 3k1 + 35 2k1 30 3k2 42 2k2
3k2 (25 3 30) + 2k2 (35 2 42)
3k2 45 + 2k2 28
3k2 (9 5) + 2k2 (4 7)
5 3k + 7 2k

17. Seja a seqncia h0 , h1 , h2 , . . . definida como

h0
h1

=
=

1
2

h2

hk

hk1 + hk2 + hk3 , inteiros k 3

Prove por induo matemtica que hn 3n para todos os inteiros n 0.

Resposta:

Prova (por induo matemtica forte):

10

(a) Passo base: A propriedade verdadeira para

n
0
1
2

hn
h0 = 1
h1 = 2
h2 = 3

3n
3 =1
31 = 3
32 = 9
0

(b) Passo indutivo: Se k > 2 e a propriedade verdadeira para todos i, 1 i < k, ento deve ser verdadeira
para n = k.
Hiptese indutiva: Seja k > 2 um inteiro e suponha que hi 3i para todos os inteiros i, 1 i < k.
Deve-se mostrar que hk 3k . Sabe-se pela definio de
hk = hk1 + hk2 + hk3
Sabe-se tambm que

hk1 3k1
hk2 3k2
hk3 3k3

Logo,
hk

hk1 + hk2 + hk3

3k1 + 3k2 + 3k3

3k3 (32 + 31 + 1)
3k3 (3 4)
4 3k2 3k

j que 4 < 32 .
18. Seja a seqncia x0 , x1 , x2 , . . . definida como
x0
x1
xk

=
=
=

0
1
5x3k1 + 7xk2 , inteiros k 2

Prove por induo matemtica que se k mltiplo de 3 ento xk par.

Resposta:

Prova (por induo matemtica forte):

(a) Passo base:
Ao observarmos essa sequncia temos:
i
0
1
2
3
..
.

xi
Nmero
0
par
1
mpar
5 13 + 7 1 = 5
mpar
3
5 5 + 7 0 = 632
par
..
..
.
.

Para os ndices 0 e 3, mltiplos de 3, a proposio est correta e, assim, o passo base verdadeiro. (Se
continuarmos a calcular os prximos valores de xi veremos que ambos x4 e x5 so nmeros mpares e
x6 par.
(b) Passo indutivo: Se k 2 e a propriedade verdadeira para todos i, 1 i < k, ento deve ser verdadeira
para n = k.
11

 Hiptese indutiva: seja k = 3k 0 , ou seja, k um mltiplo de 3. Os nmeros x3k0 1 e x3k0 2 so

mpares.
Deve-se mostrar que x3k0 par.
Sabe-se que
x3k0 = 5x33k0 1 + 7x3k0 2 .
O primeiro termo ter como resultado um nmero mpar j que x3k0 1 mpar que quando elevado a
uma potncia cbica multiplicado por um fator mpar, fornece um nmero mpar. O segundo termo
ter como resultado um nmero mpar j que x3k0 2 mpar que quando multiplicado por um fator
mpar, fornece um nmero mpar. Assim, como x3k0 o resultado da soma de dois nmeros mpares,
temos que x3k0 par.
19. Seja a seqncia a0 , a1 , a2 , . . . definida como
a0
a1
ak

= 0
= 0
= ak1 + 3k (k 1), inteiros k 2

Ache a frmula fechada para o k-simo termo e prove por induo matemtica.
Resposta:

Ao observarmos essa sequncia temos:

i
0
1
2
3
4
..
.

ai
0
0
0 + 1 32
1 32 + 2 33
1 32 + 2 33 + 3 34
..
.

ou seja, o termo
ak =

k
X

(i 1)3i =

i=2

k
X
i=2

i3i

k
X

3i .

i=2

Calcule essa soma sabendo que:

n1
X

ixi =

i=0

x nxn + (n 1)xn+1
.
(1 x)2

Pn
Pn1
Dica: transforme a soma i=0 ixi em uma soma i=2 ixi , ou seja, acrescente o termo para i = n e remova
os termos para i = 0 e i = 1.
20. Seja a seqncia a0 , a1 , a2 , . . . definida como
a0

= 0

a1
ak

= 1
= k ak1 , inteiros k 1

Ache a frmula fechada para o k-simo termo e prove por induo matemtica.

12

Resposta:

Ao observarmos essa sequncia temos:

i
0
1
2
3
4
5
6
7
8
..
.

ai
0
1
21=1
31=2
42=2
52=3
63=3
73=4
84=4
..
.

ou seja, o termo
ak =
Se k par ento ak = k2 ; se k mpar ento ak =

k
.
2

k+1
2 .

Prova (por induo matemtica forte):

(a) Passo base: A propriedade verdadeira para i = 0..8.
(b) Passo indutivo: Se k > 2 e a propriedade verdadeira para todos i, 0 i < k, ento deve ser verdadeira
para n = k.
Hiptese indutiva: Se i par ento ai = 2i ; se i mpar ento ai = i+1
2 , para 0 i < k.
Deve-se mostrar que essa proposio verdadeira para k.
Sabe-se que ak = k ak1 . Temos dois casos:
(i) k par: ak = k ak1 = k k2 = k2 , j que k 1 mpar e ak1 = k1+1
.
2
k+1
k1
(ii) k mpar: ak = k ak1 = k k1
=
,
j
que
k

par
e
a
=
k1
2
2
2 .
21. Prove por induo matemtica que n 1, 3n 2 mpar.
Resposta:

Prova (por induo matemtica):

(a) Passo base: Para n = 1, 31 2 = 1 mpar. O passo base verdadeiro.
(b) Passo indutivo: se a afirmao verdadeira para n = k, k 1 ento deve ser verdadeira para n =
k + 1.
Hiptese indutiva: k 1, 3k 2 mpar.
Deve-se mostrar que: 3k+1 2 mpar.
Sabe-se que: 3k+1 2 = 3 3k 2 = 3 3k 6 + 4 = 3(3k 2) + 4.
Pela hiptese indutiva 3k 2 um nmero mpar que quando multiplicado por 3 e somado com 4
continua sendo um nmero mpar.

13