MD LE4 Solucao PDF

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
1 + 3 + 5 + . . . + (2n 1) = n
2
, n 1.
Resposta:
(a) Passo base: Para n = 1, 1 = 1
2
. O passo base verdadeiro.
Hiptese indutiva:
1 + 3 + 5 + . . . + (2k 1) = k
2
, k 1
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
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.
3
=
1
2
(1+1)
2
4
Hiptese indutiva:
1
3
+ 2
3
+ . . . + k
3
=
k
2
(k + 1)
2
4
, k 1
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
2 1 + 2 2 + 2 3 + . . . + 2n = n
2
+ n, n 1.
Resposta:
(a) Passo base: Para n = 1, 2 1 = 2 e 1
2
+ 1 = 2. O passo base verdadeiro.
Hiptese indutiva:
2 1 + 2 2 + 2 3 + . . . + 2k = k
2
+ k
= k(k + 1), k 1
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)
n1
i=1
i(i + 1) =
n(n 1)(n + 1)
3
, inteiros n 2.
Resposta:
(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.
Hiptese indutiva:
k1
i=1
i(i + 1) =
k(k 1)(k + 1)
3
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:
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
1
12
=
1
2
, que o valor da frmula fechada. O passo base verdadeiro.
Hiptese indutiva:
1
1 2
+
1
2 3
+
1
3 4
+ . . . +
1
k(k + 1)
=
k
k + 1
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
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.

2
i=2
(1
1
i
) = (1
1
2
) =
1
2
e a frmula fechada vale
1
2
. O passo base
verdadeiro.
Hiptese indutiva:
1
1
2
1
1
3
1
1
4
. . .
1
1
k
=
k
i=2
1
1
i
=
1
k
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
1
1 3
+
1
3 5
+ . . . +
1
(2n 1) (2n + 1)
Resposta:
Seja a suposio que
1
1 3
+
1
3 5
+ . . . +
1
(2n 1) (2n + 1)
=
n
2n + 1
inteiros 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.
Hiptese indutiva:
1
1 3
+
1
3 5
+ . . . +
1
(2k 1) (2k + 1)
=
k
2k + 1
6
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
n
i=2
1
(i 1)i
,
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.
(a) Passo base: Para n = 2, os dois lados da equao valem
1
2
Hiptese indutiva:
k
i=2
1
(i 1)i
= 1
1
k
, k 2.
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:
(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.
(k + 1)
2
< 2
k+1
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:
(a) Passo base: Para n = 1, a
n
= a
1
= 3 7
11
= 3 1 = 3. O passo base verdadeiro.
k + 1.
Hiptese indutiva:
a
k
= 3 7
k1
a
k+1
= 3 7
(k+1)1
= 3 7
k
Sabe-se que:
a
k+1
= 7a
k
, inteiros k 2
= 7 (3 7
k1
) Hiptese indutiva
= 3 7
k
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:
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
Resposta:
(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.
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
Resposta:
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
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:
(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.
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:
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.
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:
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
.
(a) Passo base: A propriedade verdadeira para i = 0..8.
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:
1
2 = 1 mpar. O passo base verdadeiro.
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

MD LE4 Solucao PDF

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

MD LE4 Solucao PDF

Enviado por

Direitos autorais:

Formatos disponíveis

Lista de Exerccios 4: Solues

Sequncias e Induo Matemtica

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

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

[Isto era o que devia ser provado.]

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

Você também pode gostar