41

MATEMTICA DISCRETA
R
e
v
i
s

o
:

A
m
a
n
d
a
/
A
l
e
s
s
a
n
d
r
o

-

D
i
a
g
r
a
m
a

o
:

L

o

-

2
1
/
0
2
/
2
0
1
1
Unidade II
5
10
15
20
25
30
35
4 O PRINCPIO DA CASA DO POMBO (OU PCP)
O nome deste princpio advm do fato de que se houver n
casinhas de pombos e nelas pousarem mais do que n pombos,
ento, pelo menos, em uma casa haver mais de um pombo.
4.1 Formulaes
Podemos formular este princpio de forma menos pitoresca:
Princpio da casa do pombo (coloquial)
Se mais do que n objetos forem distribudos em n caixas,
ento haver pelo menos uma caixa com mais do que um
objeto.
Tambm podemos formular tal princpio na linguagem
matemtica de duas maneiras equivalentes:
Princpio da casa do pombo (formal 1)
Sejam A e B conjuntos nitos, e : A B uma funo.
Se |B| < |A|, ento no injetora.
Princpio da casa do pombo (formal 2)
Sejam A e B conjuntos nitos, e : A B uma funo.
Se |A| < |B|, ento no sobrejetora.
42
Unidade II
R
e
v
i
s

o
:

A
m
a
n
d
a
/
A
l
e
s
s
a
n
d
r
o

-

D
i
a
g
r
a
m
a

o
:

L

o

-

2
1
/
0
2
/
2
0
1
1
No enunciado formal, o conjunto A corresponderia ao
conjunto dos pombos, o conjunto B corresponderia ao conjunto
das casinhas, e a funo faria o papel de alocar cada pombo
em uma casinha.
4.2 Exemplos
Exemplo 1
Qual o nmero mnimo de pessoas que devem estar em uma
sala de aula para que haja certeza de que, ao menos, duas delas
tenham o nome iniciado com a mesma letra? (Suponha que o
alfabeto tenha 26 letras.)
Soluo
Como existem 26 letras possveis para a inicial, pelo princpio
da casa do pombo devem existir ao menos 27 pessoas.
(Neste problema, as 26 letras fazem o papel das casas; e as
27 pessoas, o lugar do pombos.)
Observao
No exemplo 1, assim como em muitos outros, ser sempre
til raciocinar a partir do pior caso. Assim como o problema
pergunta qual o nmero mnimo de pessoas que devem estar
em uma sala para que haja certeza de que ao menos duas delas
tenham o nome iniciado com a mesma letra, devemos pensar
que, no pior caso, 26 pessoas poderiam ter as iniciais diferentes,
pois existem 26 letras disponveis, mas a prxima pessoa, com
certeza, teria uma inicial repetida.
Exemplo 2
Qual o nmero mnimo de pessoas que devem ser reunidas
para garantir que ao menos duas delas fazem aniversrio no
mesmo dia? (Considere um ano com 365 dias.)
43
MATEMTICA DISCRETA
R
e
v
i
s

o
:

A
m
a
n
d
a
/
A
l
e
s
s
a
n
d
r
o

-

D
i
a
g
r
a
m
a

o
:

L

o

-

2
1
/
0
2
/
2
0
1
1
Soluo
Como existem 365 dias possveis para a data de aniversrio,
pelo PCP devem ser reunidas ao menos 366 pessoas.
Exemplo 3
Quantas vezes um dado deve ser lanado para termos certeza
de que cairo nmeros repetidos?
Soluo
Como existem 6 possibilidades para o lanamento de um
dado, pelo PCP devemos lanar o dado ao menos 7 vezes.
Exemplo 4
Um baralho constitudo por 52 cartas, divididas da seguinte
forma: possui quatro naipes (copas, ouros, paus e espadas), e
cada um dos naipes possui os seguintes valores: A (s), 2, 3, 4, 5,
6, 7, 8, 9, 10, J (Valete), Q (Dama) e K (Rei).
Os naipes de copas e ouros so guras vermelhas e os
naipes de paus e espadas, guras pretas. Quantas cartas devem
ser retiradas de um baralho para garantirmos que sairo, ao
menos:
a) Duas cartas do mesmo naipe?
b) Uma carta vermelha?
c) Um Rei?
d) Dois Reis?
e) Duas cartas pretas?
f) Trs cartas do mesmo naipe?
g) Duas Damas?
44
Unidade II
R
e
v
i
s

o
:

A
m
a
n
d
a
/
A
l
e
s
s
a
n
d
r
o

-

D
i
a
g
r
a
m
a

o
:

L

o

-

2
1
/
0
2
/
2
0
1
1
h) Duas cartas de mesmo valor independentemente do naipe?
i) Sete nmeros?
j) Trs letras pretas?
Soluo
a) Como so quatro naipes possveis, pelo PCP, devemos
retirar 5 cartas.
b) Como dois naipes so vermelhos e dois so pretos, existem
26 cartas vermelhas e 26 cartas pretas. Pelo PCP, devemos,
ento, retirar 27 cartas.
c) Como em 52 cartas apenas 4 so Reis, podemos retirar
52 - 4 = 48 cartas que no so Reis. Pelo PCP, devemos,
ento, retirar 49 cartas.
d) Como acima, podemos retirar 52 - 4 = 48 cartas que no
so Reis. Pelo PCP, devemos, ento, retirar 48 + 2 = 50
cartas.
e) Existem 26 cartas vermelhas e 26 cartas pretas. No
pior caso, podemos tirar 26 cartas vermelhas e uma
preta (independentemente da ordem) e a prxima bola
ser, obrigatoriamente, preta. Portanto, sero 28 cartas
retiradas.
f) Existem quatro naipes. No pior caso, podemos retirar
oito cartas de trs naipes, sem haver repetio. Portanto,
devemos retirar nove cartas.
g) De 52 cartas apenas quatro so Damas, portanto, podemos
retirar uma Dama e 52 - 4 = 48 cartas que no so
Damas e, independentemente da ordem, a prxima carta
a ser retirada dever ser, obrigatoriamente, uma Dama.
Portanto, devemos retirar 50 cartas.
h) Existem 13 valores possveis, ento aps 14 retiradas
haver repetio de algum valor.
45
MATEMTICA DISCRETA
R
e
v
i
s

o
:

A
m
a
n
d
a
/
A
l
e
s
s
a
n
d
r
o

-

D
i
a
g
r
a
m
a

o
:

L

o

-

2
1
/
0
2
/
2
0
1
1
i) Cada naipe possui quatro letras e nove nmeros, de forma
que o baralho possui 4.4 = 16 letras e 4.9 = 36 nmeros.
Podemos, ento, no pior caso, retirar as 16 letras e, em
seguida, sero retirados, obrigatoriamente, os nmeros.
Pelo PCP, devemos retirar 16 + 7 = 23 cartas.
j) Podemos, no pior caso, retirar todas as 26 cartas vermelhas.
Em seguida, podemos retirar todos os 18 nmeros pretos
e, posteriormente, retirar as trs letras pretas. Portanto,
pelo PCP, devemos retirar 47 cartas.
Exemplo 5
Quantos nmeros devem ser escolhidos no conjunto A = {1,
2, 3, 4, 5, 6}, sem repetio, para garantir que, pelo menos, um
par de nmeros tenha soma mpar?
Soluo
Se retirarmos, primeiramente, um nmero par, poderemos,
no pior caso, escolher posteriormente mais dois nmeros pares,
para, somente na quarta escolha, podermos escolher um nmero
mpar, resultando, ento, em uma soma mpar.
Analogamente, se retirarmos um nmero mpar, poderemos,
no pior caso, escolher, a seguir, mais dois nmeros mpares, para,
somente na quarta escolha, podermos escolher um nmero
par, resultando, ento, em uma soma mpar. Em qualquer caso,
precisamos, ento, de quatro escolhas.
Exemplo 6
Quantos nmeros devem ser escolhidos no conjunto A = {1,
2, 3, 4, 5, 6} para garantir que, se escolhermos dois nmeros sem
repetio desse subconjunto, pelo menos, um par de nmeros
tenha soma 7?
46
Unidade II
R
e
v
i
s

o
:

A
m
a
n
d
a
/
A
l
e
s
s
a
n
d
r
o

-

D
i
a
g
r
a
m
a

o
:

L

o

-

2
1
/
0
2
/
2
0
1
1
Soluo
Notemos que os pares de nmeros do conjunto A, cuja
soma resulte em 7, so {1,6} , {2,5} e (3,4}. Se retirarmos um
nmero qualquer, poderemos, no pior caso, escolher um nmero
de outra dupla e depois outro nmero da terceira dupla, e na
prxima escolha, obrigatoriamente, ele cair em uma das duplas
j ocupadas por um nmero, ou seja, se escolhermos quatro
nmeros do conjunto A, necessariamente um dos pares ter o
nmero sete como soma.
5 O PRINCPIO DE INDUO FINITA
5.1 Introduo
Observemos as seguintes situaes:
Situao 1
Um gerente de uma rma precisa de uma funo que
gere nmeros primos, e pede a um funcionrio que encontre
determinada funo. Aps muito trabalho, ele chega seguinte
funo : IN IN dada por (n) = n
2
- n + 41. Comea, ento,
a testar alguns nmeros:
(0) = 41
(1) = 41
(2) = 43
(3) = 47
(4) = 53
(5) = 61
(6) = 71
(7) = 83
47
MATEMTICA DISCRETA
R
e
v
i
s

o
:

A
m
a
n
d
a
/
A
l
e
s
s
a
n
d
r
o

-

D
i
a
g
r
a
m
a

o
:

L

o

-

2
1
/
0
2
/
2
0
1
1
(8) = 97
(9) = 113
(10) = 131
Aps testar mais alguns nmeros e vericar que, de fato,
(n) so todos nmeros primos, convencido e faz a seguinte
armao ao seu patro:
Armao 1: Considere a funo : IN IN dada por
(n) = n
2
- n + 4
Ento, n IN, (n) um nmero primo.
Situao 2
Um gerente de uma rma precisa de uma funo que some
os n primeiros nmeros mpares, e pede a um funcionrio que
encontre determinada funo. O funcionrio faz, ento, algumas
observaes:
n Soma dos n primeiros mpares
1 1
2 1 + 3 = 4
3 1 + 3 + 5 = 9
4 1 + 3 + 5 + 7 = 16
5 1 + 3 + 5 + 7 + 9 = 25
6 1 + 3 + 5 + 7 + 9 + 11 = 36
7 1 + 3 + 5 + 7 + 9 + 11 + 13 = 49
8 1 + 3 + 5 + 7 + 9 + 11 + 13 + 15 = 64
9 1 + 3 + 5 + 7 + 9 + 11 + 13 + 15 + 17 = 81
10 1 + 3 + 5 + 7 + 9 + 11 + 13 + 15 + 17 + 19 = 100
Aps um pouco de reexo, ele percebe que a funo :
IN* IN, dada por (n) = n
2
, a funo pedida. Apresenta-a,
ento, ao seu patro e faz a seguinte armao:
48
Unidade II
R
e
v
i
s

o
:

A
m
a
n
d
a
/
A
l
e
s
s
a
n
d
r
o

-

D
i
a
g
r
a
m
a

o
:

L

o

-

2
1
/
0
2
/
2
0
1
1
Armao 2
n IN*, a soma dos n primeiros nmeros mpares, dada
pela funo : IN* IN, dada por (n) = n
2
.
Voc agiria da mesma forma que esses funcionrios agiram?
Arriscaria seu emprego? O grande problema dessas armaes
que so armaes sobre um nmero innito de termos, e
alguns testes, ou mesmo um grande nmero de testes, no
garante a veracidade das armaes.
De fato, a armao 1 falsa, basta tomar n = 41 e obteremos
(41) = 41
2
- 41 + 41 = 41
2
, que, obviamente, no um nmero
primo, j que divisvel por 41.
J a segunda armao verdadeira, e ser provada no
exemplo1.
claro que um grande nmero de testes no aumenta a
segurana da armao, para ver isso, basta tomar a seguinte
armao: n IN : n 1000
1000
.
A armao ser verdadeira para os primeiros 1000
1000

nmeros, mas falhar quando n = 1000
1000
+ 1.
Uma ferramenta matemtica utilizada para provar tais
armaes (quando verdadeiras, evidentemente) o Princpio
de Induo Finita, que enunciaremos a seguir.
5.2 Princpio de Induo Finita (PIF fraco)
Seja A(n) uma armao sobre um nmero natural n
arbitrrio. Se provarmos:
1) A(0)
49
MATEMTICA DISCRETA
R
e
v
i
s

o
:

A
m
a
n
d
a
/
A
l
e
s
s
a
n
d
r
o

-

D
i
a
g
r
a
m
a

o
:

L

o

-

2
1
/
0
2
/
2
0
1
1
2) k [A(k) A(k + 1)]
Ento, nA(n).
Observao 1
O item 1, acima, chamado de base da induo e mostra
que a armao vale para o primeiro nmero natural, mas
a armao pode valer apenas a partir de um certo nmero
natural n
0
, e, nesse caso, a hiptese de induo toma a forma
A(n
0
).
Observao 2
O item 2 chamado de Passo Indutivo e a suposio A(k),
no antecedente da implicao, chamada de Hiptese de
Induo (HI), e devemos utiliz-la para mostrar o consequente
da implicao A(k + 1), que ser chamado de tese.
Observao 3
O Princpio de Induo Finita pode tambm ser apresentado
em verso conjuntista.
5.3 Princpio de Induo Finita (PIF) verso
conjuntista
Seja S um subconjunto dos nmeros naturais IN, tal que:
1) 0 S
2) k [k S k + 1 S]
Ento, S = IN.
(So vlidas, nesse caso, as mesmas observaes e
nomenclaturas citadas anteriormente.)
50
Unidade II
R
e
v
i
s

o
:

A
m
a
n
d
a
/
A
l
e
s
s
a
n
d
r
o

-

D
i
a
g
r
a
m
a

o
:

L

o

-

2
1
/
0
2
/
2
0
1
1
5.4 Exemplos (PIF fraco)
Exemplo 1
Prove, usando o PIF, que n > 1 : A(n), onde A(n) a seguinte
armao:

1 3 5 7 2 1 2 1
2
1
2
+ + + + +

............. ( ) ( , . ) n n i n
i
n
ou seja
Soluo
1) Base (n = 1):
Na expresso do lado esquerdo, para n = 1, obtemos
2 1 2 1 1 1
1
1
. . i
i

, e, na expresso do lado direito, obtemos

1
2
= 1, portanto A(1) verdadeira.
2) Hiptese de induo (HI):
1 3 5 7 2 1
2
+ + + + + ............. ( ) k k
3) Tese:
1 3 5 7 2 2 1 1 1
2
+ + + + + + + + ............. . [ .( ) ] ( ) k k k
4) Vamos mostrar nossa tese:
1 3 5 7 2 2 1 1 2 1 1
2 2
+ + + + + + + + + + ............. . [ .( ) ] [ .( ) ] k k k k k
HI
22 1 1
2
. ( ) k k + +
5) Portanto, pelo PIF, n A n 1: ( ) .
Exemplo 2
Prove, usando o PIF, que n A n 1: ( ) , onde A(n) a seguinte
armao:
1 2 3 4
1
2
+ + + + +
+
................
.( )
n
n n
(ou seja,
i
n n
i
n

+
1
1
2
.( )
)
51
MATEMTICA DISCRETA
R
e
v
i
s

o
:

A
m
a
n
d
a
/
A
l
e
s
s
a
n
d
r
o

-

D
i
a
g
r
a
m
a

o
:

L

o

-

2
1
/
0
2
/
2
0
1
1
Soluo
1) Base (n = 1):
Na expresso do lado esquerdo, para n = 1, obtemos
i
i

1
1
1
,
e, na expresso do lado direito, obtemos
1 1 1
2
2
2
1
.( ) +
,
portanto A(1) verdadeira.
2) Hiptese de induo (HI):
1 2 3 4
1
2
+ + + + +
+
................
.( )
k
k k
3) Tese:
1 2 3 4 1
1 2
2
+ + + + + + +
+ +
................ ( )
( ).( )
k k
k k
4) Vamos mostrar nossa tese:
1 2 3 4 1
1
2
1
1
+ + + + + + +
+
+ +
+ +
................ ( )
.( )
( )
.( )
k k
k k
k
k k
HI
22 1
2
1 2
2
.( ) ( ).( ) k k k +

+ +
5) Portanto, pelo PIF,
n A n 1: ( )
.
Exemplo 3
Prove, usando o PIF, que
n A n 1: ( )
, onde A(n) a seguinte
armao:
2 2 2 2 2 2 1
0 1 2 3 1
+ + + + +

..............
n n
(ou seja,
2 2 1
1
1
i
i
n
n

)
Soluo
1) Base (n = 1):
Na expresso do lado esquerdo, para n = 1, obtemos
2 2 2 1
1
1
1
1 1 0 i
i

, e, na expresso do lado direito,
obtemos 2
1
- 1 = 2 - 1 = 1, portanto A(1) verdadeira.
52
Unidade II
R
e
v
i
s

o
:

A
m
a
n
d
a
/
A
l
e
s
s
a
n
d
r
o

-

D
i
a
g
r
a
m
a

o
:

L

o

-

2
1
/
0
2
/
2
0
1
1
2) Hiptese de induo (HI):
2 2 2 2 2 2 1
0 1 2 3 1
+ + + + +

..............
k k
3) Tese:
2 2 2 2 2 2 2 1
0 1 2 3 1 1
+ + + + + +
+
..............
k k k
4) Vamos mostrar nossa tese:
2 2 2 2 2 2 2 1 2 2 2 1 2 1
0 1 2 3 1 1
+ + + + + + +
+
.............. .
k k HI k k k k
5) Portanto, pelo PIF, n A n 1: ( ) .
Exemplo 4
Prove, usando o PIF, que n A n 1: ( ) , onde A(n) a seguinte
armao:
1
1 2
1
2 3
1
3 4
1
4 5
1
1 1 . . . .
.............
.( )
+ + + + +
+

+ n n
n
n

(ou seja,
1
1 1
1
i i
n
n
i
n
.( ) +

+

)
Soluo
1) Base (n = 1):
Na expresso do lado esquerdo, para n = 1, obtemos
1
1
1
1 1 1
1
2
1
1
i i
i
.( ) .( ) +

+

, e, na expresso do lado direito,

obtemos
1
1 1
1
2 +
, portanto A(1) verdadeira.
2) Hiptese de induo (HI):
1
1 2
1
2 3
1
3 4
1
4 5
1
1 1 . . . .
.............
.( )
+ + + + +
+

+ k k
k
k
53
MATEMTICA DISCRETA
R
e
v
i
s

o
:

A
m
a
n
d
a
/
A
l
e
s
s
a
n
d
r
o

-

D
i
a
g
r
a
m
a

o
:

L

o

-

2
1
/
0
2
/
2
0
1
1
3) Tese:
1
1 2
1
2 3
1
3 4
1
4 5
1
1
1
1 2 . . . .
.............
.( ) ( ).( )
+ + + + +
+
+
+ +

+
k k k k
k 11
2 k +
4) Vamos mostrar nossa tese:
1
1 2
1
2 3
1
3 4
1
4 5
1
1
1
1 2 . . . .
.............
.( ) ( ).( )
+ + + + +
+
+
+ +

k k k k
HI
kk
k k k
k k
k k
k k
k k
+
+
+ +

+ +
+ +

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

+
+ +

+
+
k
k k
k
k
1
1 2
1
2
2
5) Portanto, pelo PIF, n A n 1: ( ) .
Exemplo 5
Prove, usando o PIF, que n A n 1: ( ) , onde A(n) a seguinte
armao: n < 2
n
Soluo
1) Base (n = 1): 1 < 2 = 2
1
Ok.
2) Hiptese de induo (HI): k < 2
k
(onde k 1)
3) Tese: k + 1 < 2
k+1
4) Vamos mostrar nossa tese:
k
HI k k k k k
+ < + < +
+
1 2 1 2 2 2 2 2
1
.
5) Portanto, pelo PIF, n A n 1: ( ) .
Exemplo 6
Prove, usando o PIF, que n A n 1: ( ) , onde A(n) a seguinte
armao:
7 2 1
3
|
n

.
54
Unidade II
R
e
v
i
s

o
:

A
m
a
n
d
a
/
A
l
e
s
s
a
n
d
r
o

-

D
i
a
g
r
a
m
a

o
:

L

o

-

2
1
/
0
2
/
2
0
1
1
Observao
7 2 1
3
|
n

l-se:
7 2 1
3
divide
n

.
Lembremos que em IN:
b a b e c IN a b c | : . 0
.
Soluo
1) Base (n = 1):
2 1 2 1 8 1 7
3 1 3 .

, portanto
7 2 1
3 1
|
.

Ok.
2) Hiptese de induo (HI):
7 2 1
3
|
.k

3) Tese:
7 2 1
3 1
|
.( ) k+

4) Vamos mostrar nossa tese:

2 1 2 1 2 2 1 8 2 1 7 1 2 1 7 2
3 1 3 3 3 3 3 3 3 .( ) . . . . .
. . ( ). .
k k k k k k + +
+ + + 2 1
3.k
por HI,
7 2 1
3
|
.k

, e, obviamente, 7 7 2
3
| .
.k
, logo
7 7 2 2 1
3 3
| .
. . k k
+
.
Ou seja,
7 2 1
3 1
|
.( ) k+

.
5) Portanto, pelo PIF, n A n 1: ( ) .
Observao
O Princpio de Induo Finita pode ser apresentado em
outra verso, o chamado Princpio de Induo Finita Forte,
que enunciaremos a seguir.
5.5 Princpio de Induo Finita Forte (PIF forte)
Seja A(n) uma armao sobre um nmero natural n
arbitrrio. Se provarmos:
55
MATEMTICA DISCRETA
R
e
v
i
s

o
:

A
m
a
n
d
a
/
A
l
e
s
s
a
n
d
r
o

-

D
i
a
g
r
a
m
a

o
:

L

o

-

2
1
/
0
2
/
2
0
1
1
1) A(0)
2) k [t (t k A(t)) A(k + 1)]
Ento, n A(n).
A diferena entre as duas verses que, se queremos provar
n A(n), no Passo Indutivo, o Princpio de Induo Finita parte da
suposio A(k), onde k um nmero arbitrrio, e o Princpio de
Induo Finita Forte parte da suposio de que no apenas A(k)
vlido, mas que A(n) vlido para todos os valores menores que k.
Observao 1
A diferena entre as duas verses que, se queremos provar
n A(n), no Passo Indutivo, o Princpio de Induo Finita parte da
suposio A(k), onde k um nmero arbitrrio. J o Princpio de
Induo Finita Forte parte da suposio de que no apenas A(k)
vlido, mas que A(n) vlido para todos os valores menores
que k.
Observao 2
Os dois princpios so equivalentes, ou seja, o que conseguimos
provar com um, conseguimos provar com o outro.
5.6 Exemplos (PIF forte)
Exemplo 1 (Teorema Fundamental da Aritmtica-
existncia)
Prove que todo nmero natural n 2 ou primo ou pode ser
escrito como um produto de primos.
Soluo:
1) Base (n = 2): Como 2 primo, Ok.
56
Unidade II
R
e
v
i
s

o
:

A
m
a
n
d
a
/
A
l
e
s
s
a
n
d
r
o

-

D
i
a
g
r
a
m
a

o
:

L

o

-

2
1
/
0
2
/
2
0
1
1
2) Hiptese de induo (HI):
Seja k 2. Ento, todo nmero 1 k ou um nmero primo
ou pode ser decomposto como produto de nmeros primos.
3) Tese: k + 1 um nmero primo ou pode ser decomposto
como produto de nmeros primos.
4) Vamos mostrar nossa tese:
Se k + 1 um nmero primo, est provado.
Se k + 1 no um nmero primo, ento, um produto de
dois nmeros a e b , onde a k e b k.
Ento, como a k e b k, por HI, a e b so primos ou so
produto de primos.
Seja, ento, a = a
1
. a
2
.........a
r
, com r 1 e b = b
1
. b
2
.........b
s
,
com s 1, onde a
1
. a
2
.........a
r
, b
1
. b
2
.........b
s
so nmeros primos.
Ento,
k ab a a a b b b
r s
+ 1
1 2 1 2
. . ........ . . ........
, ou seja, k + 1
um produto de nmeros primos.
5) Portanto, pelo PIF Forte, todo nmero natural n 2 ou
primo ou pode ser escrito como produto de nmeros primos.
Exemplo 2
Prove que todo nmero natural maior que zero pode
ser escrito como uma soma de potncias de 2 distintas.
Por exemplo: 15 2 2 2 2
3 2 1 0
+ + + e
24 2 2
4 3
+
e
31 2 2 2 2 2
4 3 2 1 0
+ + + +
.
Soluo
1) Base (n = 1): Basta notar que 1 = 2
0
. Ok
57
MATEMTICA DISCRETA
R
e
v
i
s

o
:

A
m
a
n
d
a
/
A
l
e
s
s
a
n
d
r
o

-

D
i
a
g
r
a
m
a

o
:

L

o

-

2
1
/
0
2
/
2
0
1
1
2) Hiptese de induo (HI):
Todo nmero
l k
pode ser escrito como uma soma de
potncias de 2 distintas.
3) Tese: k + 1 pode ser escrito como uma soma de potncias
de 2 distintas.
4) Vamos mostrar nossa tese:
Se k + 1 uma potncia de 2, est provado.
Se k + 1 no uma potncia de 2, por HI, k pode ser escrito
como uma soma de potncias de 2 distintas, ou seja, para algum
m 1, temos que k a
i
i
m
i

0
2 . , onde
a ou a
i i
0 1
, mas
com
a
m
1
.
Vamos denir uma nova sequncia b
n
:
Primeiramente, vamos estender a sequncia a
n
considerando
a
m+

1
0
.
Ento, na decomposio k a
i
i
m
i

0
1
2 . , seja i
0
o primeiro
ndice, tal que a
i
0
0 .
Denimos, ento, a sequncia b
n
da seguinte forma:
b se i i
b
b a se i i
i
i
i i
<

>

0
1
0
0
0
Ento, k a a b
HI
i
i
m
i
i
i
m
i
i
i
m
+
j
(
,
\
,
(
+
j
(
,
\
,
(
+

+

1 2 1 2 2
0
1
0
1
0
0
1
. . *

.2
i

onde
b ou b
i i
0 1
.
Obs.: * decorre da denio da sequncia b
i
.
58
Unidade II
R
e
v
i
s

o
:

A
m
a
n
d
a
/
A
l
e
s
s
a
n
d
r
o

-

D
i
a
g
r
a
m
a

o
:

L

o

-

2
1
/
0
2
/
2
0
1
1
5) Portanto, pelo PIF Forte, todo nmero natural n 2 ou
primo ou pode ser escrito como produto de primos.
Observao
Neste ltimo exemplo, o conceito de induo, que o que
nos importa, aparente. A parte nal, envolvendo somatrios,
apenas um artifcio para no haver repetio nas potncias de 2.
Para melhor visualizar, vamos ver alguns exemplos, lembrando
que queremos adicionar 1 (ou seja, 2
0
) a uma dada decomposio
de k.
Exemplo 1
Vamos adicionar 2
0
a k + + + 2 2 2 2
5 3 1 0
. Temos, ento:
k + + + + + + + + + + + + + 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
5 3 1 0 0 5 3 1 0 5 3 1 1 5 3 1
( ) . . 22 2 2
5 3 2
+ +
Exemplo 2
Vamos adicionar 2
0
a k + + 2 2 2
6 3 0
. Temos, ento:
k + + + + + + + + 1 2 2 2 2 2 2 2 2 2 2 2
6 3 0 0 6 3 0 6 3 1
( ) .
Exemplo 3
Vamos adicionar 2
0
a k + + + + 2 2 2 2 2
4 3 2 1 0
. Temos,
ento:
k + + + + + + + + + + + + + + 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
2
4 3 2 1 0 0 4 3 2 1 0 4 3 2 1 1
4
( ) .
++ + + + + + + + + + +
+
2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
2 2
3 2 1 4 3 2 2 4 3 2 4 3 3 4 3
4
. . .
44 4 5
2 2 2 .
59
MATEMTICA DISCRETA
R
e
v
i
s

o
:

A
m
a
n
d
a
/
A
l
e
s
s
a
n
d
r
o

-

D
i
a
g
r
a
m
a

o
:

L

o

-

2
1
/
0
2
/
2
0
1
1
6 RECURSO
6.1 Denies
A recurso um processo construtivo de obteno de certos
objetos a partir de outros obtidos em passos anteriores. Mais
precisamente, dizemos que uma funo F, com domnio nos
nmeros naturais, denida recursivamente, supondo que seja
conhecida uma funo G, que satisfaz o seguinte esquema:
F c
F n G n F n se n
( )
( ) ( , ( )) ,
0
1 1

Observao 1
A expresso F(0) = c denominada base da recurso, e c
representa um valor xado.
Observao 2
No esquema acima, tomamos como argumento inicial o
nmero zero, mas poderamos escolher outro, por exemplo:
F(1).
Observao 3
Poderamos escrever o esquema acima da seguinte forma:
F c
F n G n F n se n
( )
( ) ( , ( )) ,
0
1 0

Frequentemente, utilizaremos ambas as formas.

60
Unidade II
R
e
v
i
s

o
:

A
m
a
n
d
a
/
A
l
e
s
s
a
n
d
r
o

-

D
i
a
g
r
a
m
a

o
:

L

o

-

2
1
/
0
2
/
2
0
1
1
Observao 4
O esquema acima pode ser escrito de forma mais completa:
F x x f x x
F n x x G n F n
n n
n
( , , ....., ) ( , ....., )
( , , ....., ) ( , (
0
1
1 1
1

11 1
1 1
, , ....., ), , ....., ), x x x x se n
n n

Mas, para a maioria das nossas aplicaes, o primeiro

esquema ser suciente.
6.2 Exemplos
Exemplo 1
A funo multiplicao de um nmero natural por um nmero
a xo, supondo a soma conhecida, denida recursivamente
por:
a
a b ab a
.
.( ) .
0 0
1

+ +

Exemplo 2
A funo potncia com base a xo, supondo a multiplicao
conhecida, denida recursivamente por:
a
a a a
b b
0
1
1

+
.
Exemplo 3
A funo fatorial, supondo a multiplicao conhecida,
denida recursivamente por:
0 1
1 1
!
( )! ( ). !

+ +

a a a
61
MATEMTICA DISCRETA
R
e
v
i
s

o
:

A
m
a
n
d
a
/
A
l
e
s
s
a
n
d
r
o

-

D
i
a
g
r
a
m
a

o
:

L

o

-

2
1
/
0
2
/
2
0
1
1
Exemplo 4
A funo somatria de uma dada sequncia a
i
, supondo a
soma conhecida, denida recursivamente por:
a a
a a a
i
i
i
i
n
i
i
n
n

0
0
0
0
1
0
1
Exemplo 5
Dada a seguinte funo F , denida por recurso, escreva os
6 primeiros termos gerados:
F
F n F n se n
( )
( ) . ( ) ,
1 2
2 1 2

Soluo:
F
F F F
F F F
( )
( ) . ( ) . ( ) .
( ) . ( ) . ( ) .
1 2
2 2 2 1 2 1 2 2 4
3 2 3 1 2 2 2 4 8

FF F F
F F F
F
( ) . ( ) . ( ) .
( ) . ( ) . ( ) .
(
4 2 4 1 2 3 2 8 16
5 2 5 1 2 4 2 16 32


66 2 6 1 2 5 2 32 64 ) . ( ) . ( ) . F F
Exemplo 6
Dada a seguinte funo F, denida por recurso, escreva os 6
primeiros termos gerados:
F
F n F n n se n
( )
( ) ( ) ,
1 1
1 2
2

62
Unidade II
R
e
v
i
s

o
:

A
m
a
n
d
a
/
A
l
e
s
s
a
n
d
r
o

-

D
i
a
g
r
a
m
a

o
:

L

o

-

2
1
/
0
2
/
2
0
1
1
Soluo
F
F F F
F F F
( )
( ) ( ) ( )
( ) ( ) ( )
1 1
2 2 1 2 1 4 1 4 5
3 3 1 3 2 9 5 9
2
2

+ + +
+ + +
+ + +
+ +
14
4 4 1 4 3 16 14 16 30
5 5 1 5 4 25
2
2
F F F
F F F
( ) ( ) ( )
( ) ( ) ( ) 330 25 55
6 6 1 6 5 36 55 36 91
2
+
+ + + F F F ( ) ( ) ( )
Exemplo 7
Dada a seguinte funo F, denida por recurso, escreva os 6
primeiros termos gerados:
F
F n
F n
sen
( )
( )
( )
,
1 2
1
1
2

Soluo
F
F
F F
F
F F
F
F
( )
( )
( ) ( )
( )
( ) ( )
( )
1 2
2
1
2 1
1
1
1
2
3
1
3 1
1
2
1
1
2
2
4
1

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

F
F
F F
F
F F
11
2
63
MATEMTICA DISCRETA
R
e
v
i
s

o
:

A
m
a
n
d
a
/
A
l
e
s
s
a
n
d
r
o

-

D
i
a
g
r
a
m
a

o
:

L

o

-

2
1
/
0
2
/
2
0
1
1
Exemplo 8
Dada a seguinte funo F, denida por recurso, escreva os 6
primeiros termos gerados:
F
F n F n n se n
( )
( ) ( ) ,
1 1
1 2
2

Soluo
F
F F F
F F F
( )
( ) ( ) ( )
( ) ( ) ( )
1 1
2 2 1 2 1 4 1 4 5
3 3 1 3 2 9 5 9
2
2

+ + +
+ + +
+ + +
+ +
14
4 4 1 4 3 16 14 16 30
5 5 1 5 4 25
2
2
F F F
F F F
( ) ( ) ( )
( ) ( ) ( ) 330 25 55
6 6 1 6 5 36 55 36 91
2
+
+ + + F F F ( ) ( ) ( )
Exemplo 9 (Sequncia de Fibonacci)
Dada a seguinte funo F, denida por recurso, escreva os 6
primeiros termos gerados:
F
F
F n F n F n se n
( )
( )
( ) ( ) ( ),
1 1
2 2
1 2 3

(sequncia de Fibonacci)
Observao:
Esta importante sequncia denida com base dupla, ou
seja, so dados os valores de F(1) e F(2).
64
Unidade II
R
e
v
i
s

o
:

A
m
a
n
d
a
/
A
l
e
s
s
a
n
d
r
o

-

D
i
a
g
r
a
m
a

o
:

L

o

-

2
1
/
0
2
/
2
0
1
1
Soluo
F( ) 1 1
F
F F F F F
F F F
( )
( ) ( ) ( ) ( ) ( )
( ) ( ) ( )
2 2
3 3 1 3 2 2 1 2 1 3
4 4 1 4 2

+ + +
+ + +
+ + +

F F
F F F F F
F F
( ) ( )
( ) ( ) ( ) ( ) ( )
( ) (
3 2 3 2 5
5 5 1 5 2 4 3 5 3 8
6 66 1 6 2 5 4 8 5 13 + + + ) ( ) ( ) ( ) F F F
Exemplo 10
Escreva uma funo recursiva que gere a seguinte sequncia
(esto listados em ordem crescente de ndices, ou seja,
a a a a
1 2 3 4
, , , , .......
):
1 3 9 27 81 , , , , , .......
Soluo
F
F n F n se n
( )
( ) . ( ),
1 1
3 1 2

Exemplo 11
Escreva uma funo recursiva que gere a seguinte sequncia
(esto listados em ordem crescente de ndices, ou seja,
a a a a
1 2 3 4
, , , , .......
): 2 4 16 256 , , , , ............
Soluo
F
F n F n se n
( )
( ) ( ),
1 2
1 2
2

Exemplo 12
Escreva uma funo recursiva que gere a seguinte sequncia
(esto listados em ordem crescente de ndices, ou seja,
a a a a
1 2 3 4
, , , , .......)
:
1 2 4 7 1116 22 , , , , , , , ...........
65
MATEMTICA DISCRETA
R
e
v
i
s

o
:

A
m
a
n
d
a
/
A
l
e
s
s
a
n
d
r
o

-

D
i
a
g
r
a
m
a

o
:

L

o

-

2
1
/
0
2
/
2
0
1
1
Soluo
F
F n F n n se n
( )
( ) ( ) ( ),
1 1
1 1 2

Exemplo 13
Uma colnia de bactrias tem inicialmente uma populao
de 50.000 bactrias.
Sabe-se que a cada hora o nmero de bactrias triplica.
Escreva uma denio recursiva para B(n) = nmero de
bactrias no incio da n-sima hora (considere Q(0) = 50000).
Soluo
Q
Q n Q n se n
( )
( ) . ( ) ,
0 50000
3 1 1

Exemplo 14
Um investidor investiu R$ 600,00 em uma aplicao que
rende 10% de juros compostos ao ano.
Escreva uma denio recursiva para Q(n) = quantia de
dinheiro no n-simo ano (considere Q(0) = 600,00).
Soluo

Q
Q n Q n Q n
( ) ,
( ) ( ) , . ( )
0 600 00
1 0 1 1

ou seja,
Q
Q n Q n
( ) ,
( ) , . ( )
0 600 00
11 1

Exemplo 15 (funo de Ackermann)

Dada a seguinte funo F, denida por recurso, calcule F(2,1):
F n n
F m F m se m
F m n F m F m n se m
( , )
( , ) ( , ) ,
( , ) ( , ( , )) , ,
0 1
0 11 1
1 1
+

nn

1
66
Unidade II
R
e
v
i
s

o
:

A
m
a
n
d
a
/
A
l
e
s
s
a
n
d
r
o

-

D
i
a
g
r
a
m
a

o
:

L

o

-

2
1
/
0
2
/
2
0
1
1
Obs.: Note que a funo de Ackermann uma funo de
duas variveis.
Soluo
1) F F F F F ( , ) ( , ( , )) ( , ( , )) 2 1 2 1 2 1 1 1 2 0
2) F F F ( , ) ( , ) ( , ) 2 0 2 11 11
3) F F F F F ( , ) ( , ( , )) ( , ( , )) 11 1 1 11 1 0 1 0
4)
F F F ( , ) ( , ) ( , ) 10 1 11 0 1
5) F( , ) 0 1 1 1 2 +
6) F( , ) 10 2 (linhas 4, 5)
7) F F ( , ) ( , ) 11 0 2 (linhas 3, 6)
8) F( , ) 0 2 2 1 3 +
9) F( , ) 11 3 (linhas 7, 8)
10) F( , ) 2 0 3 (linhas 2, 9)
11) F F ( , ) ( , ) 2 1 1 3 (linhas 1, 10)
12) F F F F F ( , ) ( , ( , )) ( , ( , )) 13 1 1 1 3 1 0 1 2
13) F F F F F ( , ) ( , ( , )) ( , ( , )) 12 1 1 1 2 1 0 11
14) F F ( , ) ( , ) 12 0 3 (linhas 9,13)
15) F( , ) 0 3 3 1 4 +
16) F( , ) 12 4 (linhas 14,15)
17)
F F ( , ) ( , ) 13 0 4
(linhas 12, 16)
18)
F( , ) 0 4 4 1 5
19)
F( , ) 13 5
(linhas 17, 18)
20)
F( , ) 2 1 5
(linhas 11, 19)
Portanto,
F( , ) 2 1 5
.
67
MATEMTICA DISCRETA
R
e
v
i
s

o
:

A
m
a
n
d
a
/
A
l
e
s
s
a
n
d
r
o

-

D
i
a
g
r
a
m
a

o
:

L

o

-

2
1
/
0
2
/
2
0
1
1
6.3 Conjuntos denidos por recurso
De forma anloga, podemos denir um conjunto,
recursivamente, escolhendo um elemento inicial e denindo
uma clusula de pertinncia ao conjunto.
Exemplo 1
Denimos recursivamente um conjunto numrico M da
seguinte forma:
a) 2 M
b) Se x M , ento x + 3 M
c) Se x M , ento 2.x M
Quais dos seguintes nmeros pertencem M?
a) 1
b) 6
c) 5
d) 3
e) 12
f ) 15
g) 4
Soluo
Apenas o nmero 5.
Exemplo 2
Denimos recursivamente um conjunto numrico M da
seguinte forma:
68
Unidade II
R
e
v
i
s

o
:

A
m
a
n
d
a
/
A
l
e
s
s
a
n
d
r
o

-

D
i
a
g
r
a
m
a

o
:

L

o

-

2
1
/
0
2
/
2
0
1
1
i) 2 M
ii) 3 M
iii) Se x M e y M , ento x .y M
Quais dos seguintes nmeros pertencem a M?
a) 5
b) 6
c) 4
d) 21
e) 12
f ) 15
g) 24
Soluo
6, 4, 12, 24
6.4 Cadeias
Denio
Seja um conjunto nito de smbolos. Ento,
*
denota o
conjunto de todas as sequncias nitas de smbolos de .
Observao
Entre as sequncias de
*
, deve constar o smbolo , que
denota a sequncia vazia.
Denio
Sejam x , y
*
. Ento a concatenao de x e y a
sequncia xy.
69
MATEMTICA DISCRETA
R
e
v
i
s

o
:

A
m
a
n
d
a
/
A
l
e
s
s
a
n
d
r
o

-

D
i
a
g
r
a
m
a

o
:

L

o

-

2
1
/
0
2
/
2
0
1
1
Por exemplo: se = { 0 , 1}, e sejam x a sequncia 001010, y a
sequncia 111011, z a sequncia 1001 e a sequncia vazia. Ento:
xy a sequncia 001010 111011.
xz a sequncia 001010 1001.
yx a sequncia 111011001010.
zxy a sequncia 1001001010111011.
x a sequncia 001010.
y a sequncia 111011.
6.4.1 Exemplos
Exemplo 1
Dado um alfabeto qualquer, fornea uma denio
recursiva para | x | = nmero de smbolos da cadeia x.
Soluo
| |
| |
| | | | | |


+

0
1 x x
xy x y

Exemplo 2
Dado um alfabeto qualquer, fornea uma denio
recursiva para x
R
= o reverso da cadeia x. (o reverso de uma
cadeia x a cadeia x escrita ao contrrio. Por exemplo, se x a
cadeia 124557, ento, x
R
a cadeia 755421).
Soluo

R
R
R R R
x x x
xy y x

( )
70
Unidade II
R
e
v
i
s

o
:

A
m
a
n
d
a
/
A
l
e
s
s
a
n
d
r
o

-

D
i
a
g
r
a
m
a

o
:

L

o

-

2
1
/
0
2
/
2
0
1
1
6.5 A Torre de Hani
O problema da Torre de Hani:
Existem 3 torres (A, B e C) e na torre A existem n discos com
raios distintos empilhados de forma que seus raios estejam em
ordem decrescente (ou seja, dado um disco qualquer, o disco
acima tem raio menor).
O problema da Torre de Hani consiste em passar todos os
discos da torre A para a torre C, possivelmente utilizando a torre
B como auxiliar, obedecendo s seguintes condies:
1) permitido mover apenas um disco de cada vez.
2) permitido utilizar qualquer uma das trs torres para a
movimentao dos discos.
3) Em nenhuma etapa, um disco pode car em cima de outro
disco com raio menor.
Para ilustrar, vamos exibir os passos para a soluo do jogo
de Hani para 3 discos:
Passo zero (posio inicial):
A B C
Passo 1:
A B C
71
MATEMTICA DISCRETA
R
e
v
i
s

o
:

A
m
a
n
d
a
/
A
l
e
s
s
a
n
d
r
o

-

D
i
a
g
r
a
m
a

o
:

L

o

-

2
1
/
0
2
/
2
0
1
1
Passo 2:
A B C
Passo 3:
A B C
Passo 4:
A B C
Passo 5:
A B C
Passo 6:
A B C
72
Unidade II
R
e
v
i
s

o
:

A
m
a
n
d
a
/
A
l
e
s
s
a
n
d
r
o

-

D
i
a
g
r
a
m
a

o
:

L

o

-

2
1
/
0
2
/
2
0
1
1
Passo 7 (posio nal):
A B C
O problema da Torre de Hani suscita vrias questes:
1) Existe soluo?
2) A existncia da soluo depende do nmero de discos?
3) Caso exista soluo, qual o menor nmero de movimentos
necessrios?
Vamos responder a todas essas questes, porm as
armaes e suas demonstraes tero carter intuitivo,
j que trataremos as torres e os discos como objetos reais,
embora o problema possa ser formalizado.
6.5.1 Alguns resultados
Teorema 1
Seja n o nmero de discos.

n 1
o problema da Torre de Hani admite soluo.
Dem: Por induo sobre o nmero de discos.
Base: n = 1.
Se existe apenas um disco, basta transferir o disco da torre
A para a torre C.
Hiptese de Induo: O problema de Hani admite
soluo para k discos.
73
MATEMTICA DISCRETA
R
e
v
i
s

o
:

A
m
a
n
d
a
/
A
l
e
s
s
a
n
d
r
o

-

D
i
a
g
r
a
m
a

o
:

L

o

-

2
1
/
0
2
/
2
0
1
1
Mostremos que existe soluo para k+1 discos.
De fato, seja D

o disco de raio mximo.
Ento, D deve ser o ltimo disco, e existem k discos
empilhados sobre ele.
Por Hiptese de Induo, possvel transferir esses k
primeiros discos da torre A para a torre B, notando que,
para isso, no necessrio mover o disco D, e, tampouco,
D limita qualquer movimento, j que o de maior raio, e
admite qualquer outro disco acima dele (ou seja, o disco
D funciona como o cho).
feita, ento, a transferncia do disco D para a torre
C, e depois usando novamente a Hiptese de Induo,
transro os k discos que esto agora na torre B para a
torre C, empilhado-os sobre o disco D.
Com isso, atingimos a congurao nal seguindo as
especicaes pedidas.
O que responde s perguntas 1 e 2.
Para responder pergunta 3, faamos antes algumas
observaes:
Chamaremos de movimento qualquer mudana de um
disco de uma torre para outra torre distinta.
O Teorema 1 mostrou que 1, o problema de Hani,
admite soluo.
Seja, ento, T(n) a funo que fornece o menor nmero
de movimentos para transferir n discos de uma torre para
outra torre distinta. claro que T(n) est bem denida,
pois mostramos que o problema solvel e, obviamente,
T(n) limitada inferiormente.
74
Unidade II
R
e
v
i
s

o
:

A
m
a
n
d
a
/
A
l
e
s
s
a
n
d
r
o

-

D
i
a
g
r
a
m
a

o
:

L

o

-

2
1
/
0
2
/
2
0
1
1
Teorema 2
Seja T(n) a funo que fornece o menor nmero de
movimentos para transferir n discos de uma torre para
outra torre distinta.
Ento,
T
T n T n se n
( )
( ) . ( ) ,
1 1
2 1 1 2

Dem:
Se existe apenas um disco, basta transferir o disco da torre
A para a torre C.
Logo, T(1) = 1.
Suponhamos que existam n 2 discos empilhados em A.
Ento, primeiramente transferimos os n - 1 primeiros
discos de A para B. Por denio, foram necessrios T(n
- 1) movimentos. Podemos transferir, portanto, o disco
de maior raio de A para C, e isso requer apenas um
movimento. Finalmente, transferimos os n - 1 discos de
B para C, empilhando-os sobre o disco de maior raio, e,
para isso, por denio, foram necessrios mais T (n - 1)
movimentos. Portanto, para transferir os n discos de A para
C foram necessrios no total 2 . T (n - 1)movimentos.
Portanto,
T
T n T n se n
( )
( ) . ( ) ,
1 1
2 1 1 2

Resumindo:
O problema de Hani admite soluo para qualquer nmero
n de discos, e o menor nmero de movimentos possvel
para atingir a congurao nal dado pela funo T(n)
que obedece seguinte relao de recorrncia:
75
MATEMTICA DISCRETA
R
e
v
i
s

o
:

A
m
a
n
d
a
/
A
l
e
s
s
a
n
d
r
o

-

D
i
a
g
r
a
m
a

o
:

L

o

-

2
1
/
0
2
/
2
0
1
1
T
T n T n se n
( )
( ) . ( ) ,
1 1
2 1 1 2

Forma fechada para a funo T(n):

Podemos obter uma expresso no recursiva (forma
fechada) para T(n).
De fato, calculando alguns valores de T(n) na forma
recursiva, obtemos:
T
T
T
T
T
T
T
T
T
( )
( )
( )
( )
( )
( )
( )
( )
(
1 1
2 3
3 7
4 15
5 31
6 63
7 127
8 255
9

))
( )

511
10 1023 T
Observando os valores de n e T(n), podemos conjecturar
que T(n) =2
n
- 1.
De fato, tal expresso vlida. o que demonstraremos, a
seguir, no Teorema 3.
Teorema 3
Seja T(n) a funo que fornece o menor nmero de
movimentos para transferir n discos de uma torre para
76
Unidade II
R
e
v
i
s

o
:

A
m
a
n
d
a
/
A
l
e
s
s
a
n
d
r
o

-

D
i
a
g
r
a
m
a

o
:

L

o

-

2
1
/
0
2
/
2
0
1
1
outra torre distinta. Mostramos no Teorema 2 que T(n)
pode ser denida recursivamente por:
T
T n T n se n
( )
( ) . ( ) ,
1 1
2 1 1 2

Ento,
n T n
n
1 2 1 : ( )
.
Dem: Por induo sobre n.
Base: n = 1.
Ento,
T( ) 1 1 2 1
1

. OK
Hiptese de Induo:
T k
k
( ) 2 1
Mostremos que
T k
k
( ) +
+
1 2 1
1
:
De fato,
T k T k
DEF HI k k k
( ) . ( ) .( ) . + + + +
+
1 2 1 2 2 1 1 2 2 2 1 2 1
1
n T n
n
1 2 1 : ( ) CQD (conforme queramos
demonstrar).
Referncias bibliogrcas
GERSTING, Judith L. Fundamentos matemticos para a cincia
da computao. So Paulo: LTC, 2004.
SCHEINERMAN, Edward R. Matemtica discreta: uma
introduo. So Paulo: Saraiva, 2004.