Lista de Exerccios 4: Solues

Sequncias e Induo Matemtica

UFMG/ICEx/DCC DCC111 Matemtica Discreta
Cincias Exatas & Engenharias 2
o
Semestre de 2014
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 denindo assim uma sequncia de enumerao. Dado o nmero
racional positivo
p
q
, 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). . .
[21]

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

[11] [20]

(1, 4) (2, 4) (3, 4) (4, 4) (5, 4) (6, 4). . .
[10] [12] [19]

(1, 3) (2, 3) (3, 3) (4, 3) (5, 3) (6, 3). . .
[4] [9] [13] [18]

(1, 2) (2, 2) (3, 2) (4, 2) (5, 2) (6, 2). . .
[3] [5] [8] [14] [17]

(1, 1)(2, 1) (3, 1)(4, 1) (5, 1)(6, 1). . .
[1] [2] [6] [7] [15] [16]
1
a
2
a
3
a
4
a
5
a
6
a
Diagonais
Pontos a observar:
O nmero racional positivo
p
q
representado pelo par ordenado (p, q);
1
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 signica 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 // (p + q) um nmero par, i.e., a diagonal de descida?
ento k S + p // Sim, devemos somar a S o valor de p, que o termo que cresce.
seno k S + q // No, devemos somar a S o valor de q, que o termo que cresce.
mse
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
1
2
+ 2
2
+ . . . + n
2
=
n(n + 1)(2n + 1)
6
, n 1.
Resposta:
Prova (por induo matemtica):
(a) Passo base: Para n = 1, 1
2
= 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:
1
2
+ 2
2
+ . . . + k
2
=
k(k + 1)(2k + 1)
6
, k 1
Deve-se mostrar que:
1
2
+ 2
2
+ . . . + k
2
+ (k + 1)
2
=
(k + 1)(k + 2)(2k + 3)
6
Sabe-se que:
1
2
+ 2
2
+ . . . + k
2
+ (k + 1)
2
=
k(k + 1)(2k + 1)
6
+ (k + 1)
2
=
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
2
3. Prove por induo matemtica que
1 + 3 + 5 + . . . + (2n 1) = n
2
, n 1.
Resposta:
Prova (por induo matemtica):
(a) Passo base: Para n = 1, 1 = 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:
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
1
3
+ 2
3
+ . . . + n
3
= (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)
2
(esta prova pode ser obtida por induo matemtica). Assim, temos que
1
3
+ 2
3
+ . . . + n
3
=
n
2
(n + 1)
2
4
, n 1.
Prova (por induo matemtica):
(a) Passo base: Para n = 1, 1
3
=
1
2
(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:
1
3
+ 2
3
+ . . . + k
3
=
k
2
(k + 1)
2
4
, k 1
Deve-se mostrar que:
1
3
+ 2
3
+ . . . + k
3
+ (k + 1)
3
=
(k + 1)
2
(k + 2)
2
4
, k 1
Sabe-se que:
1
3
+ 2
3
+ . . . + k
3
+ (k + 1)
3
=
k
2
(k + 1)
2
4
+ (k + 1)
3
=
k
2
(k + 1)
2
4
+ (k + 1)(k + 1)
2
=
k
2
(k + 1)
2
4
+
4(k + 1)(k + 1)
2
4
=
(k + 1)
2
(k
2
+ 4k + 4)
4
=
(k + 1)
2
(k + 2)
2
4
3
5. Prove por induo matemtica que
2 1 + 2 2 + 2 3 + . . . + 2n = n
2
+ n, n 1.
Resposta:
Prova (por induo matemtica):
(a) Passo base: Para n = 1, 2 1 = 2 e 1
2
+ 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 = k
2
+ 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
Sabe-se que:
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)
6. Prove por induo matemtica que
n1

i=1
i(i + 1) =
n(n 1)(n + 1)
3
, inteiros n 2.
Resposta:
Prova (por induo matemtica):
(a) Passo base: Para n = 2,

n1
i=1
i(i + 1) =

1
i=1
i(i + 1) = 1(1 + 1) = 2 e
n(n1)(n+1)
2
=
213
3
= 2. 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:
k1

i=1
i(i + 1) =
k(k 1)(k + 1)
3
Deve-se mostrar que:
k

i=1
i(i + 1) =
k(k + 1)(k + 2)
3
Sabe-se que:
k

i=1
i(i + 1) =
k1

i=1
i(i + 1) + k(k + 1)
=
k(k 1)(k + 1)
3
+ k(k + 1)
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 a soma
1
1 2
+
1
2 3
+
1
3 4
+ . . . +
1
n(n + 1)
inteiros n 1 e prove o seu resultado por induo matemtica.
Resposta:
Prova (por induo matemtica):
Somando os primeiros termos e simplicando temos que:
1
1 2
+
1
2 3
=
2
3
1
1 2
+
1
2 3
+
1
3 4
=
3
4
1
1 2
+
1
2 3
+
1
3 4
+
1
4 5
=
4
5
o que leva a conjectura que para todos os inteiros positivos n,
1
1 2
+
1
2 3
+
1
3 4
+ . . . +
1
n(n + 1)
=
n
n + 1
(a) Passo base: Para n = 1,
1
12
=
1
2
, 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 2
+
1
2 3
+
1
3 4
+ . . . +
1
k(k + 1)
=
k
k + 1
Deve-se mostrar que:
1
1 2
+
1
2 3
+
1
3 4
+ . . . +
1
k(k + 1)
+
1
(k + 1)(k + 2)
=
k + 1
k + 2
Sabe-se que:
1
1 2
+
1
2 3
+
1
3 4
+ . . . +
1
k(k + 1)
+
1
(k + 1)(k + 2)
=
k
k + 1
+
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
8. Ache a frmula fechada para o produto

1
1
2

1
1
3

1
1
4

. . .

1
1
n

5
inteiros n 2 e prove o seu resultado por induo matemtica.
Resposta:
Seja a suposio que

1
1
2

1
1
3

1
1
4

. . .

1
1
n

=
n

i=2

1
1
i

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

2
i=2
(1
1
i
) = (1
1
2
) =
1
2
e a frmula fechada vale
1
2
. 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:

1
1
2

1
1
3

1
1
4

. . .

1
1
k

=
k

i=2

1
1
i

=
1
k
Deve-se mostrar que:

1
1
2

1
1
3

1
1
4

. . .

1
1
k

1
1
k + 1

=
k+1

i=2

1
1
i

=
1
k + 1
Sabe-se que:
k+1

i=2

1
1
i

=
k

i=2

1
1
i

1
1
k + 1

1
k

1
1
k + 1

1
k

(k + 1) 1
k + 1

=
1
k + 1
9. Ache a frmula fechada para a soma
1
1 3
+
1
3 5
+ . . . +
1
(2n 1) (2n + 1)
inteiros n 1 e prove o seu resultado por induo matemtica.
Resposta:
Seja a suposio que
1
1 3
+
1
3 5
+ . . . +
1
(2n 1) (2n + 1)
=
n
2n + 1
inteiros n 1.
Prova (por induo matemtica):
(a) Passo base: Para n = 1,
1
(2n1)(2n+1)
=
1
(211)(21+1)
=
1
13
=
1
3
e a frmula fechada vale
1
21+1
=
1
3
.
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 3
+
1
3 5
+ . . . +
1
(2k 1) (2k + 1)
=
k
2k + 1
6
Deve-se mostrar que:
1
1 3
+
1
3 5
+ . . . +
1
(2(k + 1) 1) (2(k + 1) + 1)
=
k + 1
2(k + 1) + 1
ou equivalentemente,
1
1 3
+
1
3 5
+ . . . +
1
(2k + 1) (2k + 3)
=
k + 1
2k + 3
Sabe-se que:
1
1 3
+ . . . +
1
(2k 1)(2k + 1)
+
1
(2k + 1)(2k + 3)
=
k
2k + 1
+
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
10. Ache a frmula fechada para a soma
n

i=2
1
(i 1)i
,
inteiros n 2 e prove o seu resultado por induo matemtica.
Resposta:
Seja a suposio que
n

i=2
1
(i 1)i
= 1
1
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
1
2
. 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

i=2
1
(i 1)i
= 1
1
k
, k 2.
Deve-se mostrar que:
k+1

i=2
1
(i 1)i
= 1
1
k + 1
, k 2.
Sabe-se que:
k+1

i=2
1
(i 1)i
=
k

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

1
k

1
k + 1

= 1
1
k + 1
7
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(n
0
) = P(8): Para n
0
= 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 = 3a

+ 5b

,
para a

0 e b

0.
Dois casos a considerar para k + 1:
(i) b = 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)
= 3a

+ 5b

(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
= 3a

+ 25
= 3a

+ 5b

[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 Selos
18 7 + 7 + 4
19 7 + 4 + 4 + 4
20 4 + 4 + 4 + 4 + 4
21 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 signica 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 n
2
< 2
n
, para todos inteiros n 5.
Resposta:
Prova (por induo matemtica):
(a) Passo base: Para n = 5, a desigualdade 5
2
< 2
5
verdadeira. Assim, o passo base verdadeiro.
(b) Passo indutivo: se a armao verdadeira para n = k, k 5 ento deve ser verdadeira para n =
k + 1.
Hiptese indutiva:
k
2
< 2
k
para todos inteiros k 5.
Deve-se mostrar que:
(k + 1)
2
< 2
k+1
para todos inteiros k 5.
Sabe-se que:
(k + 1)
2
= k
2
+ 2k + 1 < 2
k
+ 2k + 1
pela hiptese indutiva. Sabe-se tambm que
2k + 1 < 2
k
para k 3. Colocando estas desigualdades juntas, temos;
(k + 1)
2
< 2
k
+ 2k + 1 < 2
k
+ 2
k
14. Seja a seqncia a
1
, a
2
, a
3
, . . . denida como
a
1
= 3
a
k
= 7a
k1
, inteiros k 2
Prove por induo matemtica que a
n
= 3 7
n1
para todos os inteiros n 1.
Resposta:
Prova (por induo matemtica):
(a) Passo base: Para n = 1, a
n
= a
1
= 3 7
11
= 3 1 = 3. O passo base verdadeiro.
(b) Passo indutivo: se a armao verdadeira para n = k, k 1 ento deve ser verdadeira para n =
k + 1.
Hiptese indutiva:
a
k
= 3 7
k1
para todos inteiros k 1.
Deve-se mostrar que:
a
k+1
= 3 7
(k+1)1
= 3 7
k
para todos inteiros k 1.
Sabe-se que:
a
k+1
= 7a
k
, inteiros k 2
= 7 (3 7
k1
) Hiptese indutiva
= 3 7
k
15. Seja a seqncia a
1
, a
2
, a
3
, . . . denida como
a
1
= 1
a
2
= 3
a
k
= a
k2
+ 2a
k1
, inteiros k 3
Prove por induo matemtica que a
n
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 a
1
= 1 e a
2
= 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 a
i
mpar para todos os inteiros i, 1 i < k.
Deve-se mostrar que a
k
mpar. Sabe-se pela denio de
a
1
, a
2
, a
3
, . . . , a
n
= a
k2
+ 2a
k1
Sabe-se tambm que a
k2
mpar pela hiptese indutiva, j que 1 k 2 < k e k > 2, e 2a
k1

par, pela denio de nmero par. Assim,
a
k2
+ 2a
k1
a soma de um nmero mpar e um nmero par, que d como resultado sempre um nmero mpar.
16. Seja a seqncia g
0
, g
1
, g
2
, . . . denida como
g
0
= 12
g
1
= 29
g
k
= 5g
k1
6g
k2
, inteiros k 2
Prove por induo matemtica que g
n
= 5 3
n
+ 7 2
n
para todos os inteiros n 0.
Resposta:
Prova (por induo matemtica forte):
(a) Passo base: Para n = 0, temos que g
0
= 5 3
0
+ 7 2
0
= 5 1 + 7 1 = 12 e para n = 1, temos que
g
1
= 5 3
1
+ 7 2
1
= 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 g
k
= 5 3
k
+ 7 2
k
para todos os inteiros i,
1 i < k.
Deve-se mostrar que g
k
= 5 3
k
+ 7 2
k
para n = k.
Sabe-se que:
g
k
= 5g
k1
6g
k2
= 5(5 3
k1
+ 7 2
k1
) 6(5 3
k2
+ 7 2
k2
)
= 25 3
k1
+ 35 2
k1
30 3
k2
42 2
k2
= 3
k2
(25 3 30) + 2
k2
(35 2 42)
= 3
k2
45 + 2
k2
28
= 3
k2
(9 5) + 2
k2
(4 7)
= 5 3
k
+ 7 2
k
17. Seja a seqncia h
0
, h
1
, h
2
, . . . denida como
h
0
= 1
h
1
= 2
h
2
= 3
h
k
= h
k1
+ h
k2
+ h
k3
, inteiros k 3
Prove por induo matemtica que h
n
3
n
para todos os inteiros n 0.
Resposta:
Prova (por induo matemtica forte):
10
(a) Passo base: A propriedade verdadeira para
n h
n
3
n
0 h
0
= 1 3
0
= 1
1 h
1
= 2 3
1
= 3
2 h
2
= 3 3
2
= 9
(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 h
i
3
i
para todos os inteiros i, 1 i < k.
Deve-se mostrar que h
k
3
k
. Sabe-se pela denio de
h
k
= h
k1
+ h
k2
+ h
k3
Sabe-se tambm que
h
k1
3
k1
h
k2
3
k2
h
k3
3
k3
Logo,
h
k
= h
k1
+ h
k2
+ h
k3
3
k1
+ 3
k2
+ 3
k3
3
k3
(3
2
+ 3
1
+ 1)
3
k3
(3 4)
4 3
k2
3
k
j que 4 < 3
2
.
18. Seja a seqncia x
0
, x
1
, x
2
, . . . denida como
x
0
= 0
x
1
= 1
x
k
= 5x
3
k1
+ 7x
k2
, inteiros k 2
Prove por induo matemtica que se k mltiplo de 3 ento x
k
par.
Resposta:
Prova (por induo matemtica forte):
(a) Passo base:
Ao observarmos essa sequncia temos:
i x
i
Nmero
0 0 par
1 1 mpar
2 5 1
3
+ 7 1 = 5 mpar
3 5 5
3
+ 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 x
i
veremos que ambos x
4
e x
5
so nmeros mpares e
x
6
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

, ou seja, k um mltiplo de 3. Os nmeros x

3k

1
e x
3k

2
so
mpares.
Deve-se mostrar que x
3k
par.
Sabe-se que
x
3k
= 5x
3
3k

1
+ 7x
3k

2
.
O primeiro termo ter como resultado um nmero mpar j que x
3k

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 x
3k

2
mpar que quando multiplicado por um fator
mpar, fornece um nmero mpar. Assim, como x
3k
o resultado da soma de dois nmeros mpares,
temos que x
3k
par.
19. Seja a seqncia a
0
, a
1
, a
2
, . . . denida como
a
0
= 0
a
1
= 0
a
k
= a
k1
+ 3
k
(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 a
i
0 0
1 0
2 0 + 1 3
2
3 1 3
2
+ 2 3
3
4 1 3
2
+ 2 3
3
+ 3 3
4
.
.
.
.
.
.
ou seja, o termo
a
k
=
k

i=2
(i 1)3
i
=
k

i=2
i3
i

i=2
3
i
.
Calcule essa soma sabendo que:
n1

i=0
ix
i
=
x nx
n
+ (n 1)x
n+1
(1 x)
2
.
Dica: transforme a soma

n1
i=0
ix
i
em uma soma

n
i=2
ix
i
, ou seja, acrescente o termo para i = n e remova
os termos para i = 0 e i = 1.
20. Seja a seqncia a
0
, a
1
, a
2
, . . . denida como
a
0
= 0
a
1
= 1
a
k
= k a
k1
, 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 a
i
0 0
1 1
2 2 1 = 1
3 3 1 = 2
4 4 2 = 2
5 5 2 = 3
6 6 3 = 3
7 7 3 = 4
8 8 4 = 4
.
.
.
.
.
.
ou seja, o termo
a
k
=

k
2

.
Se k par ento a
k
=
k
2
; se k mpar ento a
k
=
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 a
i
=
i
2
; se i mpar ento a
i
=
i+1
2
, para 0 i < k.
Deve-se mostrar que essa proposio verdadeira para k.
Sabe-se que a
k
= k a
k1
. Temos dois casos:
(i) k par: a
k
= k a
k1
= k
k
2
=
k
2
, j que k 1 mpar e a
k1
=
k1+1
2
.
(ii) k mpar: a
k
= k a
k1
= k
k1
2
=
k+1
2
, j que k 1 par e a
k1
=
k1
2
.
21. Prove por induo matemtica que n 1, 3
n
2 mpar.
Resposta:
Prova (por induo matemtica):
(a) Passo base: Para n = 1, 3
1
2 = 1 mpar. O passo base verdadeiro.
(b) Passo indutivo: se a armao verdadeira para n = k, k 1 ento deve ser verdadeira para n =
k + 1.
Hiptese indutiva: k 1, 3
k
2 mpar.
Deve-se mostrar que: 3
k+1
2 mpar.
Sabe-se que: 3
k+1
2 = 3 3
k
2 = 3 3
k
6 + 4 = 3(3
k
2) + 4.
Pela hiptese indutiva 3
k
2 um nmero mpar que quando multiplicado por 3 e somado com 4
continua sendo um nmero mpar.
13