Вы находитесь на странице: 1из 63

Recife, 2010

Matemtica Discreta
Francisco Flvio Modesto de Andrade
Universidade Federal Rural de Pernambuco
Reitor: Prof. Valmar Corra de Andrade
Vice-Reitor: Prof. Reginaldo Barros
Pr-Reitor de Administrao: Prof. Francisco Fernando Ramos Carvalho
Pr-Reitor de Extenso: Prof. Paulo Donizeti Siepierski
Pr-Reitor de Pesquisa e Ps-Graduao: Prof. Fernando Jos Freire
Pr-Reitor de Planejamento: Prof. Rinaldo Luiz Caraciolo Ferreira
Pr-Reitora de Ensino de Graduao: Prof. Maria Jos de Sena
Coordenao Geral de Ensino a Distncia: Prof Marizete Silva Santos
Produo Grfca e Editorial
Capa e Editorao: Allyson Vila Nova, Rafael Lira e Italo Amorim
Reviso Ortogrfca: Marcelo Melo
Ilustraes: Diego Almeida
Coordenao de Produo: Marizete Silva Santos
Sumrio
Apresentao ........................................................................................4
Captulo 1 - Funo: uma ferramenta importante ..............................6
1.1 O que funo? ...........................................................................7
1.2 Domnio e Contradomnio .............................................................7
1.3 Funo Injetora .............................................................................9
1.4 Funo Sobrejetora ....................................................................10
1.5 Funo Bijetora ...........................................................................10
1.6 Funo Inversa ........................................................................... 11
1.7 Funo Composta ......................................................................13
1.8 Sequncia ...................................................................................16
Captulo 2 - Recurso: um mtodo de defnio .............................24
2.1 O que recurso? ......................................................................24
2.2 Recurso ....................................................................................24
Captulo 3 - Teoremas e Tcnicas de Provas ...................................41
3.1 O que um teorema? .................................................................41
3.2 Estratgias de Provas .................................................................43
Captulo 4 - Princpio de Induo Finita ...........................................49
Consideraes Finais .........................................................................63
Apresentao
Caro (a) cursista,
Seja bem-vindo (a) ao terceiro mdulo de Matemtica Discreta!
Ao fnalizar a disciplina, abordaremos, neste terceiro fascculo, alguns temas
relevantes em aplicaes nas reas de informtica, como funo, recurso, teoremas e
tcnicas de provas e o princpio de induo matemtica.
No primeiro captulo, voc estudar as funes. Estudaremos as funes injetoras,
sobrejetoras, bijetoras e a funo inversa. Apresentaremos exemplos de funes
utilizadas na informtica tais como sequncias numricas, a funo mod e a funo
hash.
No segundo captulo, voc descobrir o que uma defnio recursiva ou indutiva.
Sero apresentados exemplos de sequncias e funes defnidas recursivamente,
objetivando introduzir o conceito de um algoritmo recursivo.
No terceiro captulo, voc ter oportunidade de conhecer diversas tcnicas de provas
de proposies matemticas, muito teis na resoluo de problemas da disciplina.
Por fm, no quarto captulo ser abordado o princpio de induo matemtica que
usado quando se quer provar afrmaes sobre propriedades dos nmeros naturais.
Esperamos que voc tenha bom proveito neste terceiro fascculo, estudando com
afnco os assuntos e realizando todos os exerccios propostos.
Bons estudos!
6
Matemtica Discreta
Captulo 1 - Funo: uma
ferramenta importante
Disponvel em http://www.ipea.gov.br
A fgura acima representa o grfco de uma funo que relaciona
o percentual da renda total do Brasil auferido em 2004 pelos x% dos
brasileiros de menor renda. Constata-se que a renda total dos 60%
de menor renda representou apenas 20% da renda total do pas e
que 60% da renda total correspondem a 20% dos brasileiros de maior
renda. Esta curva chamada Curva de Lorenz e faz parte da prova
do ENADE que examinou os estudantes dos cursos das reas de
computao e informtica no ano de 2008.
O conceito de funes largamente empregado em todos os
ramos de atividade, por isso comum os testes de avaliao conter
questes versando sobre o assunto.
No caso da computao e informtica, a sua importncia torna-
se clara quando queremos associar a cada elemento de um conjunto
um elemento particular de outro conjunto. Desta forma, podemos
defnir sequncias e somas, estabelecer relaes de causa e efeito,
processar informaes dos mais diferentes tipos, alm de estimar o
tempo necessrio para que um computador realize uma determinada
tarefa num determinado algoritmo.
7
Matemtica Discreta
1.1 O que funo?
Sejam A e B dois conjuntos. Uma funo de A em B a associao
de exatamente um elemento de B a cada elemento de A. As seguintes
notaes so usadas:
f: A B, se f uma funo de A em B.
f(a) = b, se b o nico elemento de B associado pela funo f ao
elemento a de A.
1.2 Domnio e Contradomnio
Se f uma funo de A em B, diz-se que A o domnio de f e B
o contradomnio de f. Se f(a) = b, diz-se que b a imagem de a por f.
Chama-se tambm de imagem de f o conjunto de todas as imagens
dos elementos de A, denotado por Im(f). Se f uma funo de A em B,
diz-se que f mapeia A em B.
A fgura acima apresenta uma funo cujo domnio A = { 1, 4, 7 }
e contradomnio B ={ 1, 4, 6, 7, 8, 9, 12 } e conjunto imagem
Im(f) = { 6, 9, 12 }.
Apresentaremos a seguir exemplos de funes, a maioria
empregada em construes nas reas de computao.
Exemplo 1. Consideremos que f seja uma funo que associa um
nmero a cada um dos cursos de uma faculdade, de modo que esse
nmero represente a demanda (relao candidato/vaga) para cada
um dos seus cursos no Vestibular de 2009. Se domnio da funo f
o conjunto C = {Administrao, Direito, Sistema de Informao,
Fonoaudiologia, Fisioterapia, Psicologia, Relaes Internacionais,
Turismo}. O contradomnio o conjunto dos nmeros reais. Podemos
escrever, por exemplo, f(Direito) = 7,8; f(Administrao) = 2,6;
f(Fisioterapia) = 7,4 ; f(Psicologia) = 5,4 e f(Sistemas de Informao) = 2,0,
8
Matemtica Discreta
f(Relaes Internacionais) = 1,4, f(Fonoaudiologia) = 1,7, f(Turismo)
2,4.
Exemplo 2. Seja S o conjunto de todas as pessoas do Recife
cadastradas na Receita Federal e T o conjunto de todos os CPF. A
funo f: S T associa cada pessoa x ao seu CPF y.
Exemplo 3. Se f uma funo de Z para Z que associa a cada
inteiro o seu quadrado. Neste caso, f(x) = x
2
, onde o domnio o
conjunto dos nmeros inteiros, assim como o contradomnio conjunto
dos nmeros inteiros. A imagem de f constituda de todos os inteiros
no negativos.
Exemplo 4. Em linguagens de programao, domnio e o
contradomnio das funes so sempre especifcados. Tomemos por
exemplo a declarao de uma funo em Pascal seguinte:
function QUAD (x: real): real
Ela especifca que o domnio da funo QUAD o conjunto dos
nmeros reais e o contradomnio o conjunto dos nmeros reais.
Exemplo 5. A defnio de funo inclui funo de mais de uma
varivel. Podemos ter uma funo f: A
1
xA
2
xA
3
B, que associa a
cada terno do produto cartesiano A
1
xA
2
xA
3
um elemento de B. Por
exemplo, f : Z x N x {1, 2} Z, dada por f(x, y, z) = x
y
+z . Podemos
escrever: f(-4, 3, 1) = (-4)
3
+ 1 = -64 + 1 = -63.
Exemplo 6. A funo cho f(x) = x associa a cada nmero real x
o maior inteiro menor ou igual a x. A funo teto g(x) = x( associa
a cada real x o menor inteiro maior ou igual a x. Ambas so funes
de R em Z. Como exemplo, temos: f(2,35) = 2,35 = 2, f(0,9) = 0,
g(4,78) = 4,78( = 5 e g(-1,3) = -1.
Exemplo 7. Considere x um nmero real. O valor inteiro de x,
denotado por INT(x), converte x em um inteiro deletando a parte
fracionria de x. uma funo de R em Z. Exemplos: INT(7,85) = 7
INT(-4,9) = -4.
Exemplo 8. O valor absoluto de um nmero real x, denotado por
ABS(x) defnido como o maior dos valores entre x e x. uma
funo de R em R
+
. Pois, ABS(-3) = 3, ABS(4,7) = 4,7 e ABS(0) = 0.
Exemplo 9. Dado um inteiro positivo m, a funo f : N N defnida
por f(x) = resto da diviso euclidiana de x por m, m > 0, ser denotada
por f(x) = x
mod m
. tambm chamada funo mod m.
9
Matemtica Discreta
Por exemplo, para m = 5, temos que:
f(7) = 7
mod 5
= 2,
f(2) = 2
mod 5
= 2,
f(13) = 13
mod 5
= 3,
f(8) = 3,
f(10) = 10
mod 5
= 0,
f(5) = 5
mod 5
= 0.
1.3 Funo Injetora
Uma funo f dita injetora (ou injetiva) se, e somente se, x y
ento f(x) f(y), para quaisquer x e y do domnio de f.
Figura 1 Figura 2
O grfco mostrado na fgura acima esquerda, ilustra uma funo
defnida no conjunto A em B. Como elementos diferentes do domnio
a funo tem imagens diferentes, ento f injetora. A fgura acima
direita ilustra uma funo no injetora, pois existem dois elementos
diferentes com a mesma imagem.
Exemplo 10. A funo f: N em N tal que f(n) = 2
n
uma funo
injetora, pois se n
1
n
2
ento . Mas a funo f(x) = x
2
, defnida
em Z, no injetora, pois se tomarmos x = -2 e x = 2, obteremos
f(2) = f(-2) = 4.
Exemplo 11. A funo f: N em N, tal que f(n) = n
mod 3
uma funo
que no injetora, pois, existem diferentes valores de N com a mesma
imagem. De fato, f(0) = 0, f(3) = 0, f(6) = 0, f(1) = 1, f(4) = 1, f(9) = 1,
f(2) = 2, f(5) = 2, f(11) = 2.
10
Matemtica Discreta
1.4 Funo Sobrejetora
Uma funo f de A em B dita sobrejetora se, e somente se, para
cada elemento bB existe um elemento aA tal que f(a) = b.
Figura 3 Figura 4
O grfco da fgura acima esquerda ilustra uma funo de A em B.
Como para cada um dos trs elementos do contradomnio B faz parte
do conjunto imagem de f, a funo sobrejetora. O grfco acima
direita ilustra uma funo que no sobrejetora, pois existem
elementos no conjunto B que no so imagem de nenhum elemento
de A.
Observe que a fgura esquerda o grfco de uma funo
sobrejetora, mas no injetora!
1.5 Funo Bijetora
Uma funo dita bijetora se ela injetora e sobrejetora.
Figura 6
O grfco acima refere-se a uma funo f de X = {a, b, c, d} em
Y = {A, B, C, D}, com f(a) = A, f(b) = B, f(c) = C e f(d) = D. Como
cada valor do domnio a funo tem um valor diferente de imagem e
como cada um dos elementos do contradomnio faz parte do conjunto
11
Matemtica Discreta
imagem da funo, ele ao mesmo tempo injetora e sobrejetora, ou
seja, bijetora.
Outro exemplo de funo bijetora pode ser construdo considerando
como domnio um grupo de pessoas e como contradomnio o conjunto
das impresses digitais dessas pessoas. impossvel que duas
pessoas compartilhem exatamente as mesmas impresses digitais.
Alm disso, todas as impresses digitais pertencem a no mais que
uma pessoa.
1.6 Funo Inversa
Seja f uma funo bijetora de A em B. A funo inversa de f
a funo que associa a um elemento bB um nico elemento aA
tal que f(a) = b. Esta funo representada por f
-1
. Nesse caso
escrevemos f
-1
(b) = a.
A fgura abaixo ilustra a funo inversa da funo f de X = {a, b, c, d}
em Y = {A, B, C, D}, com f(a) = A, f(b) = B, f(c) = C e f(d) = D.
Assim, temos f
-1
(A) = a, f
-1
(B) = b, f
-1
(C) = c e f
-1
(D) = d.
Figura 7
Exemplo 12. A funo mod tem muitas aplicaes em Matemtica
Discreta e Cincia da Computao. Uma das mais importantes
aplicaes envolve a criptologia, que trata do estudo das mensagens
secretas. Uma das formas de escrever mensagens secretas associar
uma letra do nosso alfabeto a outra letra. Por exemplo, cada letra do
nosso alfabeto (que contm 26 letras) est associada a sua posio
no alfabeto. Por exemplo, a letra A ocupa a posio 0, a letra B a
posio 1 e a letra E, a posio 4, de modo que Z ocupa a posio
25.
12
Matemtica Discreta
a b c d e f g h i j k l m
0 1 2 3 4 5 6 7 8 9 10 11 12

n o p q r s t u v w x y z
13 14 15 16 17 18 19 20 21 22 23 24 25
Assim, podemos construir uma mensagem secreta por meio da
troca de uma letra que ocupa a posio p pela letra que ocupa a 3
posio aps a letra p. Assim:
A funo defnida por f(p) = (p + 3)
mod 26
tem a ao de cifrar a
mensagem por meio da troca da letra de posio p pela letra que
ocupa a posio representada pelo nmero (p + 3)
mod 26
.
Se quisermos enviar a seguinte mensagem O SPORT EST EM
ALTA, faramos a seguinte mensagem codifcada:
17 21 18 17 20 22 7 21 22 3 7 15 3 14 22 3
R V S R U X H V X D H P D O W D
Ao receber a mensagem, para decodifcar, o receptor usaria a
funo inversa de f, dada por
f
-1
(p) = (p-3)
mod 26
. De modo que f
-1
(17) = (17 - 3)
mod 26
= 14
mod 26
= 14
f
-1
(21) = (21 - 3)
mod 26
= 18 e, assim por diante, de modo que a
mensagem decifrada seria:
14 18 15 14 17 19 4 18 19 0 4 12 0 11 19 0
O S P O R T E S T E M A L T A
13
Matemtica Discreta
Uma funo injetora, mas no sobrejetora, no inversvel, pois no
temos como associar cada elemento do contradomnio com o elemento
correspondente no domnio. Isto ocorre porque para alguns pontos do
contradomnio, esta associao no existe, conforme pode ser observado
na fgura 4.
Analogamente, uma funo sobrejetora, mas no injetora, no inversvel,
pois pelo menos para um ponto do contradomnio, teremos dois pontos
correspondentes, conforme pode ser observado na fgura 3.
1.7 Funo Composta
Considere a funo g de A em B e a funo f de B em C, a funo
composta de f e g a composio das funes f e g, escrita f o g,
defnida de A em C, como:
(f o g) (x) = f (g(x))
A fgura abaixo ilustra o conceito de composio de funes f e g.
Exemplo 13. Sejam f e g as funes do conjunto dos inteiros no
conjunto dos inteiros, defnidas como: f(x) = 5x + 2 e g(x) = -2x + 4.
Qual a composio f o g? E g o f?
(f o g) (x) = f (-2x + 4) = 5(-2x + 4) + 2 = -10x + 20 + 2 = -10x + 22
(g o f) (x) = g(5x + 2) = -2(5x + 2) + 4 = -10x 4 + 4 = -10x
Exemplo 14. Neste exemplo, recordaremos a representao de
nmeros nas bases decimal, binria e hexadecimal. Considere a
funo f defnida no conjunto dos nmeros naturais escritos na base
g(x)
f(x)
f(g(x))
14
Matemtica Discreta
decimal por f(x) = x
base 2
e g(x) = x
base 16
. A funo composta f(g(x))
transforma um nmero natural escrito na base dez em um nmero
natural na base dois. Assim:
para x = 21
base 10
, temos f(g(21
base 10
)) = f(15
base 16
) = 10101
base 2
.
para x = 10
base 10
, temos f(g(10)) = f(A) = 1010
base 2
.
para x = 200
base 10
, temos f(g(200)) = f(C8) = 11001000
base 2
.
Exemplo 15. Se quisermos armazenar e recuperar informaes de
forma efciente em termos de espao de armazenamento e de tempo
de recuperao, podemos supor que os dados estejam armazenados
em uma tabela e usar a chave de identifcao (por exemplo, a
matrcula de alunos, CPF, RG, etc). Quando o nmero de entradas
identifcadas pelas chaves muito superior ao nmero de registros
efetivamente armazenados (como o cadastro de clientes de uma
empresa usando o CPF como chave), como podemos proceder, sem
que isso resulte em um espao de armazenamento excessivamente
grande?
Suponha que o conjunto das chaves identifcveis C = {k
1
, k
2
, k
3
, ... ,
k
m
}, n seja o nmero de entradas na tabela e que m seja possivelmente
muito maior que n, podemos defnir uma funo hash: C {1, 2, 3,
... , n}, dito funo de endereamento, funo de randomizao ou
funo de hashing, da seguinte forma:
hash (k) = (k
mod n
) + 1
Considere uma chave de identifcao numrica constituda
de nmeros entre 0 e 1000 e uma tabela de armazenamento com
entradas de 1 a 17. Assim, a funo de hash que podemos defnir
hash (k) = (k
mod 17
) + 1
Abaixo apresentamos um conjunto de valores de chaves e os
correspondentes endereos de armazenamento, calculados pela
funo hash:
Chave k 365 634 2178 7615 730 974 2065 1222 3417
Endereo 9 6 3 17 17 6 9 16 1
A funo ideal aquela que gera para cada chave um endereo
diferente, isto , uma funo injetiva, de modo que se k
1
k
2
se tenha
f(k
1
) f(k
2
).
15
Matemtica Discreta
A funo hash, acima defnida, no injetora, de modo que pode gerar
o mesmo endereo para chaves diferentes, correndo assim colises
na alocao dos dados. Observe que hash(365) = hash(2065) = 9,
hash(7615) = hash(730) = 17. Para se obter o efeito de uma funo
injetora no clculo do endereamento sero utilizados mtodos
de tratamento de colises que so estudados em profundidade na
disciplina Estruturas de Dados.
Exemplo 16. Existem vrios mtodos de tratamento de colises.
Um deles chama-se endereamento aberto. Nesse caso, necessrio
que m > n e consiste em procurar sucessivos endereos alternativos
para o novo registro at que um endereo livre seja encontrado. Usa-
se uma funo h
i
(k) com i variando de 0 at n-1:
h
i
(k) = ((k)
mod n
+ f(i))
mod n
onde f(i) pode ser f(i) = i, f(i) = i
2
, etc.
Se tomarmos h
i
(k) = ((k)
mod 7
+ i)
mod 7
teremos um endereamento
aberto com teste linear. Para armazenar sequencialmente os registros
com chaves {33, 44, 63, 66, 84, 93} teremos:
k i h
i
(k) = (k
mod 7
+ i)
mod 7
Situao
33 0 h
i
(33) = (33
mod 7
+ 0)
mod 7
= (5 + 0)
mod 7
= 5
mod 7
= 5 ok
44 0 h
i
(44) = (44
mod 7
+ 0)
mod 7
= (2 + 0)
mod 7
= 2
mod 7
= 2 ok
63 0 h
i
(63) = (63
mod 7
+ 0)
mod 7
= (0 + 0)
mod 7
= 0
mod 7
= 0 ok
66 0 h
i
(66) = (66
mod 7
+ 0)
mod 7
= (3 + 0)
mod 7
= 3
mod 7
= 3 ok
84 0
1
h
i
(84) = (84
mod 7
+ 0)
mod 7
= (0 + 0)
mod 7
= 0
mod 7
= 0
h
i
(84) = (84
mod 7
+ 1)
mod 7
= (1 + 0)
mod 7
= 1
mod 7
= 1
Coliso
ok
93 0
1
2
h
i
(93) = (93
mod 7
+ 0)
mod 7
= (2 + 0)
mod 7
= 2
mod 7
= 2
h
i
(93) = (93
mod 7
+ 1)
mod 7
= (2 + 1)
mod 7
= 3
mod 7
= 3
h
i
(93) = (93
mod 7
+ 2)
mod 7
= (2 + 2)
mod 7
= 4
mod 7
= 4
Coliso
Coliso
ok
Os dados sero alocados nos seguintes endereos:
0 1 2 3 4 5 6
63 84 44 66 93 33
16
Matemtica Discreta
1.8 Sequncia
Uma sequncia uma funo defnida em um subconjunto dos
nmeros naturais com imagens num subconjunto dos nmeros reais.
A imagem de um nmero natural n denotada por F(n). Usamos a
notao {F(n)} para descrever uma sequncia. O termo F(n) o termo
de ordem n ou termo geral da sequncia (defnio fechada).
Exemplo 17. Considere a sequncia cujo termo geral F(n) =
1
n
.
A lista dos termos da sequncia F(1) = 1, F(2) =
1
2
, F(3) =
1
3
,
F(4) =
1
4
, F(5) =
1
5
.
Exemplo 18.
a) Os cinco primeiros termos da sequncia defnida por
A(n) = 2 + 3(n-1) so:
A
1
= 2, A
2
= 5, A
3
= 8, A
4
= 11, A
5
= 14.
Observe que trata-se de uma Progresso Aritmtica (PA) cujo
termo inicial 2 e razo r = 3.
Lembre-se que, uma P.A. de termo inicial A
1
e razo r, tem
termo geral A(n) = A
1
+ (n-1).r
b) Os cinco primeiros termos da sequncia defnida por
A(n) = 3. 2
n-1
so:
A
1
= 3, A
2
= 6, A
3
= 12, A
4
= 24, A
5
= 48.
Trata-se de uma Progresso Geomtrica (PG) cujo termo inicial
3 e razo q = 2.
17
Matemtica Discreta
Recorde que, uma PG de termo inicial A
1
e razo q, tem termo
geral A(n) = A
1
.q
n-1
.
Exemplo 19. Calcular os termos A
1
, A
2
, A
3
e A
4
das seguintes
sequncias {A
n
} cujo termo geral Na, n 1, defnido por:
a) A
n
= n
2
b) A
n
= 1 + 10
n
c) A
n
= (-1)
n
.n
d) A
n
= 2
n
+ 1
e) A
n
= n!
f) A
n
= 2 + 3(n-1)
Soluo:
a) 1, 4, 9, 16
b) 11, 101, 1001, 10001
c) -1, 2, -3, 4
d) 3, 5, 9, 17
e) 1, 2, 6, 24
f) 2, 5, 8, 11
Exemplo 20. Escrever uma defnio fechada (ou termo geral)
para as seguintes sequncias numricas:
a) 19, 14, 9, 4, ...
b) 400, 200, 100, 50, ...
c) 17, 27, 37, 47, 57, ...
d) 7, 97, 997, 9997, ...
e) 2, -2, 2, -2, 2, ...
f) 1, 1/3, 1/5, 1/7, 1/9, ...
g) 1, 3, 6, 10, 15, ...
h) 1, 2, 5, 10, 17, ...
Soluo:
a) A(n) = 24 5n , n 1
18
Matemtica Discreta
b) A(n) =
1
400
2
n
, n 1
c) A(n) = 7 + 10n, n 1
d) A(n) = 10
n
- 3, n 1
e) A(n) = (-1)
n + 1
. 2, n 1
f) A(n) =
1
2 1 n
, n 1
g) A(n) =
( 1)
2
n n +
, n 1
h) A(n) = 1 + (n - 1)
2
, n 1
Aprenda Praticando: Exerccios Propostos 1.1
Agora com voc... Apresentamos vrios exerccios sobre funo.
Voc deve procurar solucion-los e caso tenha alguma difculdade
discuta com seus colegas nos chats que foram formados. Alm disso,
procure orientao dos professores executores e tutores da disciplina
nos fruns de discusso.
Apresentaremos as respostas dos exerccios de nmeros pares.
1. Verifcar se cada uma das funes defnidas abaixo injetora,
sobrejetora e bijetora:
a) f : {1, 2, 3} {a, b, c} f = {(1,a), (2,b), (3,c)}
b) g : {1, 2, 3} {a, b, c, d} g = {(1,a), (2,b), (3,c)}
c) h ; {1, 2, 3} {1, 2, 3} h = {(1, 2) , (2,1), (3,2)}
d) p : N N p (j) = j
2
+ 2
e) m : N N m(x) = (x)
mod 5
f) q : N N q(j) = 1 se j mpar
q(j) = 0 se j par
g) r : N {0, 1} r(j) = 1 se j mpar
r(j) = 0 se j par
h) t : {0, 1, 2, 3, ..., 6} {0, 1, 2, 3, ..., 6} t(x) = (3x)
mod 7
19
Matemtica Discreta
i) f : Z Z tal que f(x) = 10 + x
j) f: N N tal que f(x) = 10 + x
k) g: Z Z tal que f(x) = x/2 se x par
e f(x) = (x - 1)/2 se x impar.
l) f: N Z tal que f(x) = - x/2 se n par
e f(x) = (x + 1)/2 se x impar.
2. Determine quais das seguintes funes de R em R so bijetoras.
Apresente a funo inversa, quando existir.
a) f(x) = 3x + 4
b) f(x) = -3x
2
+ 7
c) f(x) = (x+1) / (x
2
+2)
d) f(x) = x
5
1
e) f(x) = x
3. Para cada uma das funes bijetora f de R em R, encontre a
inversa f
-1
.
a) f(x) = 2x
b) f(x) = x
3
c) f(x) = (2x + 4)/3
4. D uma frmula explcita para uma funo do conjunto dos
inteiros Z com imagens no conjunto dos inteiros Z tal que seja:
a) injetora e no sobrejetora.
b) sobrejetora e no injetora.
c) injetora e sobrejetora.
d) no injetora e no sobrejetora.
5. Sejam f, g: N N, defnidas por f(x) = x + 1 e g(x) = 3x
Calcule o seguinte:
a) f o g
b) g o f
c) f o f
20
Matemtica Discreta
d) g o g
e) f o g o f
f) g o g o f
6. Sejam f e g as funes do conjunto dos inteiros no conjunto dos
inteiros, defnidas como: f(x) = 5x + 2 e g(x) = -2x + 4. Qual a
composio de f o g e g o f?
7. As funes a seguir so aplicaes de R em R. Fornea
equaes que descrevam as funes compostas g o f e f o g
para cada item.
a) f(x) = 6x
3
, g(x)= 2x
b) f(x) = x( , g(x) = x
8. As funes a seguir so aplicaes de R em R. Fornea
equaes que descrevam as funes compostas g o f e f o g
para cada item.
a) f(x) = (x-1)/2, g(x) = 4x
2
b) f(x) =
1
1
x
x
+

, g(x) =
1
1
x
x

+
9. Para cada uma das seguintes funes de Hash, abaixo, mostre
como os dados seriam inseridos na ordem dada supondo
inicialmente clulas vazias. Use tratamento de colises o
endereamento aberto com teste linear.
a) Hash(x) = (x
mod 11
+ i)
mod 11
, clulas indexadas de 0 a 10, dados:
53, 13, 281, 743, 377, 20, 10, 796.
b) Hash(x) = (x
mod 17
+ i)
mod 17
clulas indexadas de 0 a 16, dados:
714, 631, 26, 373, 775, 906, 509, 2032, 42, 4, 136, 1028.
10. Armazenar sequencialmente os registros com chaves {33, 44,
65, 66, 84, 93} numa tabela hash de tamanho 7 com tratamento
de colises endereamento aberto com teste quadrtico, dado
por h
i
(k) = (k
mod 7
+ i
2
)
mod 7
, i = 0, 1, 2, 3, 4, 5, 6.
21
Matemtica Discreta
Respostas dos Exerccios Propostos 1.1
2. a) f(x) = 3x + 4 bijetora e a funo inversa f
-1
(x) =
4
3
x
.
b) f(x) = -3x
2
+ 7 no uma funo injetora, pois, f(2) = f(-2) = -5.
Alm disso, no sobrejetora em R. De fato, no existe xR,
tal que f(x) = 10.
c) f(x) = (x+1) / (x
2
+2) no sobrejetora. Por exemplo, no existe
xR, tal que f(x) = 1. Se existisse, teramos, (x+1)/(x
2
+2) = 1,
ou seja, x
2
+ 2 = x + 1, que acarreta x
2
- x + 1 = 0. Esta equao
no tem soluo real, pois = b
2
- 4ac = -3.
d) f(x) = x
5
1 bijetora. A inversa f
-1
(x) =
5
1 x + .
e) f(x) = x no injetora nem sobrejetora. Observe que
f(1,3) = f(1,4) = 1 e que no existe xR tal que f(x) = 0,5.
4. a) f(x) = 3x + 1 se x 0, f(x) = 3x + 2 se x < 0
b) f(x) = x
2
se x > 0, f(x) = -x
2
+ 8, se x 0.
c) f(x) = 2x + 1 se xZ
d) f(x) = x
2
+ 2 se xZ
6. (f o g)(x) = f(-2x + 4) = 5(-2x + 4) + 2 = -10x + 20+ 2 = -10x + 22
(g o f) (x) = g (5x + 2) = -2(5x + 2) + 4 = -10x 4 + 4 = -10x
8. a) g(f(x)) = g(
1
2
x
) =
2
2
1
4 ( 1)
2

x
x
| |
|
\ .

=
f(g(x)) = f(4x
2
) =
2
4 1
2
x
b) g(f(x)) = g(
1
1
x
x
+

) =
1
1
1
1
1
1
1

x
x
x
x
x
+

+
+

=
f(g(x)) = f(
1
1
x
x

+
) =
1
1
1
1
1
1

x
x
x
x
x

+
+

+
=
22
Matemtica Discreta
10.
k i h(k) = (k
mod 7
+ i
2
)
mod 7
Situao
33 0 h(33) = (33
mod 7
+ 02)
mod 7
= (5 + 0)
mod 7
= 5 ok
44 0 h(44) = (44
mod 7
+ 02)
mod 7
= (2 + 0)
mod 7
= 2 ok
65 0
1
h(65) = (65
mod 7
+ 02)
mod 7
= (2 + 0)
mod 7
= 2
h(65) = (65
mod 7
+ 12)
mod 7
= (2 + 1)
mod 7
= 3
Coliso
ok
66 0
1
h(66) = (66
mod 7
+ 02)
mod 7
= (3 + 0)
mod 7
= 3
h(66) = (66
mod 7
+ 12)
mod 7
= (3 + 1)
mod 7
= 4
Coliso
ok
84 0 h(84) = (84
mod 7
+ 02)
mod 7
= (0 + 0)
mod 7
= 0 ok
93 0
1
2
h(93) = (93
mod 7
+ 02)
mod 7
= (2 + 0)
mod 7
= 2
h(93) = (93
mod 7
+ 12)
mod 7
= (2 + 1)
mod 7
= 3
h(93) = (93
mod 7
+ 22)
mod 7
= (2 + 4)
mod 7
= 6
Coliso
Coliso
ok
Os dados sero alocados nos seguintes endereos:
0 1 2 3 4 5 6
84 44 65 66 33 93
Concluso
No primeiro captulo deste fascculo, voc aprendeu sobre as
funes, como podem ser utilizadas em aplicaes da informtica e
computao. Em particular, conheceu a funo mod e a funo hash,
que sero empregadas em aplicaes da disciplina Estrutura de
Dados.
Saiba Mais
Voc poder aprender muito mais sobre funes, consultando os
seguintes livros e sites:
23
Matemtica Discreta
GERSTING, Judith L. Fundamentos Matemticos para a
Cincia da Computao. Traduo Valria de Magalhes Iorio.
Rio de Janeiro: LTC, 2004.
LIPSCHUTZ, Seimour; LIPSON, Marc Lars. Teoria e Problemas
de Matemtica Discreta. Porto Alegre: Bookman, 2004.
SCHEINERMAN, Edward R. Matemtica Discreta: uma
introduo. Traduo de Alfredo Alves de Farias. So Paulo:
Pioneira Thomson Learning, 2003.
Orientaes de Estudos
O exemplo 12 deste captulo versou sobre processos de transmisso
de informaes de forma segura, como por exemplo, informaes de
dados fnanceiros pela internet. Nesse processo, usamos uma chave
de codifcao. Da, a informao codifcada e enviada ao receptor.
Ao receb-la, o receptor pode decodifc-la usando uma chave de
decodifcao.
No sistema criptogrfco com chave pblica, a chave de
decodifcao pode ser obtida da chave de decodifcao. O sistema
criptogrfco com chave pblica inventado por R. L. Rivest, A. Shamir
e L. Adleman usa a funo mod e alguns conceitos da teoria dos
nmeros inteiros.
Se voc tem interesse no assunto, leia os livros acima indicados
que tratam do assunto de uma forma muito simples e visite os
seguintes sites:
http://www.upis.br/revistavirtual/Cavalcante_%20Teoria%20dos%20
N%FAmeros%20e%20Criptografa_2005_UPIS.pdf
http://www.infowester.com/criptografa.php
http://domenico-deri.sites.uol.com.br/exemplos.html
http://www.penta.ufrgs.br/gere96/segur/cripto_.htm
24
Matemtica Discreta
Captulo 2 - Recurso: um
mtodo de definio
2.1 O que recurso?
A fgura acima um tringulo equiltero. No seu interior, maior
tringulo equiltero branco de lado L
1
tem em cada um de seus lados,
vrtices de um tringulo equiltero de lado L
2
=
1
2
L
. Por sua vez, cada
tringulo equiltero de lado L
2
, tem em cada um dos seus lados, vrtices
de tringulos equilteros de lados L
3
=
2
2
L
, e assim sucessivamente.
De modo que a fgura mostra uma sucesso de tringulos equilteros
de lados L
n
=
1
2
n
L

, onde o lado de cada tringulo metade do lado


do tringulo anterior. Essa uma fgura construda por recorrncia!
Faremos agora uma defnio de recurso.
2.2 Recurso
Uma defnio na qual o item que est sendo defnido aparece
como parte da defnio chamada defnio recursiva ou indutiva.
Isto , o item defnido por meio de uma regra que permite calcular
qualquer caso do item em funo do item ou dos itens anteriores.
Assim, uma defnio recursiva constituda de duas partes:
a) Um passo inicial, onde alguns casos simples do item que est
sendo defnido so dados explicitamente e,
b) Um passo indutivo ou recursivo, onde os outros casos do
item que est sendo defnido so dados em termos dos casos
anteriores.
25
Matemtica Discreta
Como podemos fazer uso de uma defnio recursiva? Podemos
usar recurso para defnir funes ou operaes, algoritmos, conjuntos
e sequncias.
Lembre-se:
Toda defnio recursiva constituda por duas partes. A primeira parte do
passo inicial, onde sero fornecidos os dados iniciais do item que se defne.
A segunda parte o passo recursivo, onde feita de forma recorrente o
calcule dos demais itens em termos dos itens anteriores.
Exemplo 1. Uma sequncia defnida recursivamente,
explicitando-se seu primeiro valor (ou seus primeiros valores) e, a
partir da, defnindo-se outros valores na sequncia em termos dos
valores iniciais.
A sequncia 3, 6, 12, 24, ... defnida recursivamente por:
Passo inicial: A(1) = 3
Passo Recursivo: A(n) = 2 . A(n-1), para n 2
O clculo do 5 termo se faz assim:
A(5) = 2 . A(4)
A(4) = 2 . A(3)
A(3) = 2 . A(2)
A(2) = 2 . A(1)
A(1) = 3
A(2) = 2 . 3 = 6
A(3) = 2 . 6 = 12
A(4) = 2 . 12 = 24
A(5) = 2 . 24 = 48
Exemplo 2. A sequncia 2, 5, 8, 11, 14, ... defnida recursivamente
por:
Passo inicial: A(1) = 2
Passo recursivo: A(n) = A(n-1) + 3, para n 2
Para calcular recursivamente o quinto termo A(5) procedemos
assim:
26
Matemtica Discreta
A(5) = A(4) + 3
A(4) = A(3) + 3
A(3) = A(2) + 3
A(2) = A(1) + 3
A(1) = 2
A(2) = 2 + 3 = 5
A(3) = 5 + 3 = 8
A(4) = 8 + 3 = 11
A(5) = 11 + 3 = 14
Exemplo 3. A sequncia de Fibonacci defnida recursivamente
por:
Passo inicial: F(1) = 1, F(2) = 1
Passo recursivo: F(n)= F(n-1) + F(n-2), n 3 constituda dos
termos 1, 1, 2, 3, 5, 8 ,13, 21, 34, ...
Calcule recursivamente F(6).
F(6) = F(5) + F(4)
F(5) = F(4) + F(3)
F(4) = F(3) + F(2)
F(3) = F2) + F(1)
F(2) = 1
F(1) = 1
F(3) = 1 + 1 = 2
F(4) = 2 +1 = 3
F(5) = 3 + 2 = 5
F(6) = 5 +3 = 8
Exemplo 4. Uma funo pode ser defnida por recursividade. Por
exemplo, a funo MDC calcula o mximo divisor comum de dois
inteiros positivos, pode ser defnida assim:
MDC(x, y) = y se x y e x
mod y
= 0
MDC(x, y) = MDC(y,x) se x < y
MDC(x, y) = MDC(y, x
mod y
) caso contrrio.
O clculo do MDC de x = 72 e y = 20 se processa dessa maneira:
27
Matemtica Discreta
MDC (72, 20) = MDC(20, 12) = MDC (12, 8) = MDC(8, 4) = 4
Exemplo 5. Recurso em programao refere-se a um
procedimento ou funo que chama a si mesmo, um mdulo recursivo.
Para alguns tipos de problemas um mdulo recursivo possibilita
solues mais simples e naturais, conforme exemplo seguinte:
{Funo recursiva para multiplicao de dois inteiros. Efetua a
multiplicao por somas sucessivas.}
funo multiplica (m, n: inteiro): inteiro
{Executa multiplicao utilizando somas sucessivas.
Entrada: dois operandos m e n e assume que n > 0
Sada: Retorna m * n
inicio {multiplica}
se n = 1 ento
multiplica : = m
seno
multiplica : = m + multiplica (m , n 1);
fm {multiplica}
Observao: Para defnir um mdulo recursivo, precisamos
identifcar dois elementos: o passo recursivo e a condio de
parada. No exemplo citado, a condio de parada satisfeita quando
n = 1, enquanto o passo recursivo aparece na linha multiplica: = m +
multiplica (m, n 1) onde aparece a funo chamando ela mesma.
De um modo geral, um mdulo recursivo segue o algoritmo
seguinte:
se <condio de parada satisfeita> ento
Resolva
seno
Divida o problema num caso mais simples utilizando recurso.
No exemplo acima, qual o valor de sada para m = 5 e n = 4?
multiplica(5,4)=5+multiplica(5,3)
multiplica(5,3)=5+multiplica(5,2)
multiplica(5,2)=5+multiplica(5,1)
multiplica(5,1)=5
multiplica(5,2)=5=5=10
multiplica(5,3)=5+10=15
multiplica(5,4)=5+15=20
28
Matemtica Discreta
Exemplo 6. Fornea uma defnio recursiva para cada uma das
seguintes sequncias:
a) 7, 97, 997, 9997, ...
b) sequncia T(n) de nmeros triangulares:
T(1) = 1 T(2) = 3 T(3) = 6 T(4) = 10
n = 1 n = 2 n = 3 n = 4
c) 231 um nmero triangular?
d) Quais os nmeros triangulares entre 200 e 300?
a) A sequncia 7, 97, 997, 9997, ... tem termo geral A(n) = 10
n
3,
com n 1. Logo, podemos escrever A(n-1) = 10
n-1
-7, de modo
que:
10 . A(n-1) = 10(10
n-1
3) = 10
n
30 = (10
n
3) - 27 = A(n) 27.
Assim, A(n) = 10.A(n-1) + 27 para n 2, A(1) = 7 a defnio
recursiva da sequncia.
b) Observe que T(1) = 1, T(2) = T(1) + 2, T(3) = T(2) + 3, logo
T(n) = T(n-1) + n , para n 2.
A defnio recursiva T(1) = 1, T(n) = T(n-1) + n, n 2.
c) Uma frmula fechada para T(n) T(n) =
2
2
n n +
para n 1 (Prove).
Assim, para 231 seja um nmero triangular, devemos encontrar
n tal que 231 =
2
2
n n +
. Isto , n
2
+ n - 462 = 0. Resolvendo a
equao, temos que n =
1 1 1848 1 43
2 2

+
=
. Assim,
T(21) = 231.
d) 231, 253, 276 e 300.
Exemplo 7. A funo cho f(x) = x associa a cada nmero real x
o maior inteiro menor ou igual a x. Defnimos a sequncia T por:
T(1) = 1
29
Matemtica Discreta
T(n) = 2 . T ( n/2 ) para n 2.
Vamos calcular recursivamente T(73).
T(73) = 2 . T( 73/2 ) = 2 . T(36) =
T(36) = 2 . T ( 36/2 ) = 2 . T(18) =
T(18) = 2 . T ( 18/2 ) = 2 . T(9)
T(9) = 2 . T ( 9/2 ) = 2 . T (4)
T(4) = 2 . T ( 4/2 ) = 2 . T(2)
T(2) = 2 . T ( 2/2 ) = 2 . T(1)
T(1) = 1
T(2) = 2 . 1 = 2
T(4) = 2 . 2 = 4
T(9) = 2 . 4 = 8
T(18) = 2 . 8 = 16
T(36) = 2 . 16 = 32
T(73) = 2 . 32 = 64
Exemplo 8. Considere o seguinte algoritmo recursivo em C que
ordena os elementos de uma lista L= [L(1), L(2), L(3), ... , L(j)] onde j
o comprimento da lista:
Lista ORD (lista L, int J)
if (J == 1) {
return L; A lista est ordenada, imprima a lista.
}
else if (J > 1) {
Procure o ndice I entre 1 e J do maiorelemento tal que L(I) > L(J)
Troque L(I) por L(J)
return ORD(L, J-1);
}
Simule a sada para a entrada L= [2, 7, 4, -3, 8, 5] e j = 6
Soluo:
ORD([2, 7, 4, -3, 8, 5], 6) = [2, 7, 4, -3, 5, 8]
ORD([2, 7, 4, -3, 5, 8], 5) = [2, 5, 4, -3, 7, 8]
ORD([2, 5, 4, -3, 7, 8], 4) = [2, -3, 4, 5, 7, 8]
ORD([2, -3, 4, 5, 7, 8], 3) = [2, -3, 4, 5, 7, 8]
30
Matemtica Discreta
ORD([2, -3, 4, 5, 7, 8], 2) = [-3, 2, 4, 5, 7, 8]
ORD([2, -3, 4, 5, 7, 8], 1) = [-3, 2, 4, 5, 7, 8]
Exemplo 9. Considere a funo F defnida no conjunto dos
nmeros naturais do seguinte modo:
F(1) = 1
F(n) = n + F(n-1) para n 2. Vamos calcular F(5).
F(5) = 5 + F(4) = 5 + 4 + F(3)
= 5 + 4 + 3 + F(2) = 5 + 4 + 3 + 3 + 2 + F(1)
= 5 + 4 + 3 + 2 + 1
= 5 + 4 + 3 + 2 + 1 = 15.
Voc percebeu que F(n) a soma de todos os nmeros inteiros
positivos menores ou iguais a n?
Assim, F(n) =
1
n
i
i
=
= 1+ 2 + 3 + 4 + 5 + ... + n.
31
Matemtica Discreta
Aprenda Praticando: Exerccios Propostos 2.1
Chegou a sua vez! Apresentamos vrios exerccios sobre recurso.
Voc deve tentar solucion-los e caso tenha alguma difculdade,
discuta com seus colegas nos chats que foram formados. Procure
orientao dos professores executores e tutores da disciplina nos
fruns de discusso, caso persistam dvidas.
Apresentaremos a seguir resposta dos exerccios de numerao
par.
1. Nos exerccios seguintes, calcular o quinto termo das
sequncias dadas:
a) A(1) = 10, A(n) = A(n-1) + 10, para n 2.
b) A(1) = 1, A(n) =
1
.( 1) A n
, para n 2.
c) B(1) = 1, B(n) = B(n-1) + n
2
, para n 2.
d) A(1) = 1, A(n) = A(n-1) +
1
n
, para n 2.
e) P(1) = 1, P(n) = n
2
.P(n-1) + (n-1), para n 2.
f) D(1) = 3, D(2) = 5, D(n) = (n-1).D(n-1) + (n-2).D(n-2), para n 3.
2. Calcule recursivamente o sexto termo de cada uma das
sequncias defnidas abaixo:
a) A(1) = 1, A(n) = A(n-1) + 2, n 2.
b) A(1) = 1, A(n) = 3.A(n-1), n 2.
c) A(1) = 2, A(n) = [A(n-1)]
2
, n 2.
d) A(1) = 91, A(n) = A(n-1) + 9.10
n
, n 2.
e) A(1) = 3, A(n) = -2.A(n-1), n 2.
f) A(1)= 3, A(n) = 3.A(n-1) + 7, n 2.
3. Fornea uma defnio recursiva para:
a) a progresso geomtrica com termo inicial 7 e razo 3.
32
Matemtica Discreta
b) a progresso aritmtica com termo inicial -12 e razo 5.
c) o fatorial n!, n 1.
d) o produto de dois nmeros inteiros positivos.
e) o MDC de dois nmeros naturais a e b, a < b.
f) a sequncia 5, 9, 13, 17, ...
g) a sequncia 4, 2, 1 ,, , ...
h) a sequncia a, 2a + b, 3a + 2b, 4a + 3b, ...
i) a sequncia a, 2a - b, 3a - 2b , 4a - 3b, ...
j) a sequncia An = 3n - 1 com n > 0
k) a sequncia A(n) = n
2
com n > 0
l) a sequncia A(n) = n
2
+ n + 1
m) a sequncia 1, -1, 1, -1, ...
n) a diviso de dois inteiros positivos.
o) a sequncia
1 1 1 1 1 1 1 1 1 1
, , , , ...
0! 0! 1! 0! 1! 2! 0! 1! 2! 3!
+ + + + + +
p) a sequncia 2, 92, 992, 9992, ...
4. Uma quantia de 500 unidades monetrias foi investida em uma
conta remunerada a uma taxa de juro composto anual de 10%.
Descreva a defnio recursiva para P(n), a quantia na conta no
incio do n-simo ano.
5. A sequncia de nmeros 16, 144, ..., 304, ..., ..., 768, 1232, 2000
uma subsequncia fnita obtida da sequncia de Fibonacci.
Descubra os termos que esto faltando.
6. Que valor computado pelo seguinte algoritmo, para um valor
de entrada especifcado?
int F(int n) {
if (n == 1)
return 1
else
return n + 2*F(n-1);
}
Qual o valor de sada para a entrada n = 6?
33
Matemtica Discreta
7. Que valor computado pelo seguinte algoritmo, para um valor
de entrada especifcado?
int MDC( int a, int b) {
if a = 0
return b
else
return MDC (b
mod a
, a)
}
Qual o valor de sada para a = 20 e b = 72? Qual o valor de
sada para a = 232 e b = 432?
8. Que valor computado pelo seguinte algoritmo, para um valor
de entrada especifcado?
int FIB (int n) {
if (n == 0)
return 0
else if (n == 1)
return 1
else
return = FIB(n-1) + FIB(n-2);
}
Qual o valor de sada para n = 6?
9. A funo teto g(x) = x( associa a cada real x o menor inteiro
maior ou igual a x. Defnimos uma sequncia T por:
a) T(1)= 1
b) T(n) = 2 . T ( n/2( ) para n 2.
Calcule recursivamente T(85).
10. Defnimos a sequncia FACT da seguinte forma:
FACT (0) = 1. FACT (n+1) = (n+1) . FACT (n), para n 0.
Escreva os seis primeiros termos de FACT.
11. Considere a relao de recorrncia dada por:
Y
0
= 1, Y
n+1
=
1 2
2
n
n
Y
Y
| |
|
\ .
+
, onde n 0.
Essa relao produz uma sequncia de valores tais que pode
ser usado para aproximar 2 com qualquer grau de preciso.
34
Matemtica Discreta
12. Considere a sequncia defnida recursivamente por:
F(1) = 1 e F(n) =
1
( 1) 1 F n +
, para n > 1.
a) Ache os valores dos seis primeiros termos dessa sequncia.
b) Observe o numerador de cada um dos termos da parte (a). Que
sequncia formam?
13. Que valor computado pelo seguinte algoritmo para um valor
de entrada especifcado?
int Q(int a, int b) {
if a < b
return 0
else
return Q(a-b, b) + 1;
}
Qual o valor de sada para Q(15,2)? E para Q(5,5)? E
Q(5861,7)?
14. Considere o seguinte algoritmo recursivo:
int MAX (int A, int B) {
if (A == 0) or (B == 0)
return A + B
else
return MAX(A-1, B-1) + 1;
}
Calcule o valor de retorno para a entrada A = 7 e B = 13?
15. Considere o seguinte algoritmo recursivo que ordena os
elementos de uma lista L= [L(1), L(2), L(3), ... , L(j)] onde j o
comprimento da lista:
Lista ORD(lista L, int J) {
if (j == 1)
return L //A lista est ordenada. Imprima a lista.
else if j > 1 //Procure o ndice I entre 1 e J do maior elemento tal que L(I) > L(J)
//Troque L(I) por L(J)
return ORD(L, J-1)
}
Simule a sada para a entrada L = [10, 7, 9, 5, 0, -5, -2] e j = 7.
35
Matemtica Discreta
16. Considere o seguinte algoritmo recursivo.
int COMB(int n, int p) {
if (n == p) or (p == 0 )
return 1
else
return COMB(n-1, p-1) + COMB(n-1, p);
}
Calcule o valor de sada para a entrada de n = 6 e p = 3.
O que calcula COMB para quaisquer inteiros no negativos n e
p?
17. As fguras abaixo mostram quantos pedaos obtemos com n
cortes numa pizza:
D uma defnio recursiva para o nmero de pedaos P(n) em
funo do nmero de cortes n.
Resp. n = 1 n = 2 n = 3 n = 4
P(n) = 2 P(n) = 4 P(n) = 7 P(n) = 11
Defnio recursiva P(1) = 2 P(n) = P(n-1) + n, para n 2
18. Fornea uma defnio fechada e uma defnio recursiva para
cada uma das seguintes sequncias:
a) 9, 99, 999, 9999, ...
b) sequncia P(n) de nmeros pentagonais:
...
n = 1 n = 2 n = 3 n = 4 n = 5
P(1) = 1 P(2) = 5 P(3) = 12 P(4) = 22 P(5) = 5
36
Matemtica Discreta
19. Ache uma defnio fechada (frmula) para as seguintes
sequncias defnidas recursivamente por:
Resultados importantes que podem ser usados:
A soma dos termos de uma PA: S
n
=
1
( )
2
n
a a n +
A soma dos termos de uma PG: Sn =
1
( 1)
1
n
a q
q

a) S(1) = 1, S(n) = 3.S(n-1) + 1 , n 2


b) S(1) = 1, S(n) = 2 S(n-1), n 2.
c) S(1) = 1, S(n) = 3.S(n-1) + n, n 2
d) S(1) = 0, S(2) = 1, S(n)=
( 1) ( 2)
2
S n S n +
, n 2
20. Considere o seguinte algoritmo recursivo:
Funo F(n: inteiro): inteiro
Se n < 5 ento
Retorne 3*x
Seno
Retorne 2*F(n-1) + 7
Fim Se
Fim
Calcular F(4), F(5), F(12).
21. Considere o seguinte algoritmo recursivo:
Funo F(n: inteiro, m: inteiro): inteiro
Se n < m ento
Retorne -3
Seno
Retorne F(n-m, m+3) + m
Fim Se
Fim
Calcular F(2,7), F(5,3) e F(15,3).
37
Matemtica Discreta
Respostas dos Exerccios Propostos 2.1
2. a) 11
b) 243
c) 4.294.967.296
d) 9999991
e) -64
f) 523
4. P(0) = 500
P(n) = 1,1.P(n-1), n 1.
38
Matemtica Discreta
6. 187
8. 8
10. 1, 2, 6, 24, 120, 720
12. a) 1,
1 2 3 5 8
, , , ,
5 2 3 8 13
b) Formas a sequncia de Fibonacci.
14.
MAX(7,13)=MAX(6,12)+1
MAX(6,12)=MAX(5,11)+1
MAX(5,11)=MAX(4,10)+1
MAX(4,10)=MAX(3,9)+1
MAX(3,9)=MAX(2,8)+1
MAX(2,8)=MAX(1,7)+1
MAX(1,7)=MAX(0,6)+1
MAX(0,6)=6
MAX(1,7)=7
MAX(2,8)=8
MAX(3,9)=9
MAX(4,10)=10
MAX(5,11)=11
MAX(6,12)=12
MAX(7,13)=13
A funo MAX retorna o maior valor entre A e B.
16. a) 20
b) O algoritmo retorna C
18. a) S(n) = 10
n
1, para n 1 uma defnio fechada para a
sequncia 9, 99, 999, 9999, ...
Uma defnio recursiva : S(1) = 1, S(n) = 10.S(n-1) + 9, para
n 2
b) Observe que:
P(1) = 1
39
Matemtica Discreta
P(2) = 5 = 1 + 4 = P(1) + 4
P(3) = 12 = 1 + 4 + 7 = P(2) + 7
P(4) = 22 = 1 + 4 + 7 + 10 = P(3) + 10
P(5) = 35 = 1+ 4 + 7 + 10 + 13 = P(4) + 13
...
P(n) = P(n-1) + 3n 2, pois a sequncia 1, 4, 7, 10, 13, ...
uma PA de razo 3 e termo inicial 1, de modo que
a
n
= 1 + (n-1).3 = 1 + 3n - 3 = 3n - 2
Assim, a defnio recursiva :
P(1) = 1, P(n) = P(n-1) + 3n -2 , para n 2
A defnio fechada obtida anloga:
P(1) = 1
P(2) = 5 = 1 + 4
P(3) = 12 = 1 + 4 + 7
P(4) = 22 = 1 + 4 + 7
P(5) = 35 = 1+ 4 + 7 + 10 + 13
...
P(n) = 1 + 4 + 7 + 10 + 13 + ... (3n-2).
Observe que P(n) a soma dos termos de uma P.A. de termo inicial
1 e razo 3, logo P(n) =
2
(1 3 2). (3 1) 3
2 2 2

n n n n n n +
= = ,
para n 1.
20. F(4) = 12
F(5) = 2.F(4) + 7 = 2(12) + 7 = 31
F(6) = 2.F(5) + 7 = 62 + 7 = 69
Concluso
Voc conheceu no segundo captulo deste fascculo o mtodo da
recurso. Ele usado na defnio de funes, sequncias, algoritmos
40
Matemtica Discreta
e diversos outros procedimentos computacionais. Aprendeu como
formular um algoritmo recursivo em aplicaes da informtica e
computao.
Saiba Mais
Voc poder aprender muito mais sobre recurso, consultando os
seguintes livros e sites:
GERSTING, Judith L. Fundamentos Matemticos para a
Cincia da Computao. Traduo Valria de Magalhes Iorio.
Rio de Janeiro: LTC, 2004.
LIPSCHUTZ, Seimour; LIPSON, Marc Lars. Teoria e Problemas
de Matemtica Discreta. Porto Alegre: Bookman, 2004.
SCHEINERMAN, Edward R. Matemtica Discreta: uma
introduo. Traduo de Alfredo Alves de Farias. So Paulo:
Pioneira Thomson Learning, 2003.
41
Matemtica Discreta
Captulo 3 - Teoremas e
Tcnicas de Provas
3.1 O que um teorema?
Voc lembra o Teorema de Pitgoras, no ? A fgura acima ilustra
muito bem o que esse teorema afrma: A soma dos quadrados dos
catetos de um tringulo retngulo igual ao quadrado da hipotenusa.
Defnimos um teorema como qualquer afrmao declarativa
sobre matemtica, para a qual existe uma prova. Afrmaes cuja
veracidade no se pode garantir so chamadas de conjecturas.
Os teoremas em geral so expressos sob a forma se P ento Q
(P Q) onde P e Q podem representar sentenas compostas. Na
afrmao se P ento Q, P chamado de hiptese e Q a concluso.
Podemos escrever teoremas tambm na forma P

Q onde se l:
P se e somente se Q. Recorde que P

Q equivalente a
(P Q) (Q P).
Por exemplo, considere a afrmao Se x e y so nmeros pares
ento x + y tambm um nmero par. Aqui, a hiptese P x e y so
nmeros pares e a concluso Q a soma x + y um nmero par.
O teorema afrma que, se x e y so ambos pares ento, x + y um
nmero par. A sentena no exclui a possibilidade de x + y ser par
quando x ou y no for par. Na verdade, se x e y no so pares ento
x + y par. A nica circunstncia em que a afrmao falsa quando
P verdadeira (x e y pares) e Q falsa (x + y mpar).
42
Matemtica Discreta
Numa afrmao P Q podemos ter a condio P verdadeira ou
falsa e a condio Q verdadeira ou falsa. Se a afrmao P Q
verdadeira temos o seguinte:
Hiptese P Concluso Q P Q
V (x = 2, y = 4) V (x + y = 6) possvel
V (x = 2, y = 4) F (x + y = 7) impossvel
F (x = 3, y = 5) V (x + y = 8) possvel
F (x = 2, y = 5) F (x + y = 7) possvel
Exemplo 1. Como podemos escrever afrmaes sob a forma Se
P ento Q? Veja os exemplos:
a) O produto de um inteiro mpar e um inteiro par par. Se x um
inteiro mpar e y um inteiro par ento x.y um inteiro par.
b) O quadrado de um inteiro mpar mpar. Se x um inteiro mpar
ento x2 impar.
c) O quadrado de um inteiro primo no primo. Se x um nmero
primo ento x2 no primo.
d) A soma de um inteiro par com um mpar par. Se x par e y
mpar ento x + y mpar.
Exemplo 2. Suponha uma conjectura P Q e queremos mostrar
que falsa. Devemos encontrar um contra-exemplo, ou seja, uma
situao em que P verdadeira e Q falsa. No caso da afrmao
Se x um nmero primo ento x mpar. Claramente trata-se de
uma proposio falsa. Basta escolher x = 2.
No exemplo acima, vimos que quando queremos refutar uma
conjectura, um contra-exemplo sufciente. Mas para provar uma
afrmao, em geral, muitos exemplos no provam a suposio.
A nica exceo dessa situao ocorre quando uma afrmao
feita sobre um conjunto fnito. Nesse caso, podemos verifcar se a
proposio verdadeira para todos os elementos do conjunto.
No caso da assero: Se um inteiro entre 2 e 13 divisvel por
4 ento tambm divisvel por 2, ela pode ser provada verdadeira
quando mostramos que verdadeira para cada um dos nmeros
inteiros entre 2 e 13. claro que no podemos usar o mesmo
procedimento para provar que todo nmero inteiro divisvel por 4
tambm divisvel por 2.
43
Matemtica Discreta
3.2 Estratgias de Provas
Diversas formas podem ser usadas para provar uma assero do
tipo Se P ento Q. Abordaremos algumas delas.
3.2.1 Prova Direta
Quando voc quer provar que uma proposio P Q verdadeira
deve-se supor que a hiptese P verdadeira e deduzir que a concluso
Q verdadeira.
Exemplo 3. Provar: Se x e y so inteiros pares ento x + y par.
Prova:
Suponha que x e y so inteiros pares (Hiptese). Isto signifca
que x e y so ambos divisveis por 2. Logo, existem inteiros m e
n tais que x = 2.m e y = 2.n. Como x + y = 2 . m + 2 . n = 2 . (m
+ n), conclumos que existe um inteiro c = m + n tal que x + y =
2.c.
Portanto x + y divisvel por 2. Logo, x + y par (Concluso).
Exemplo 4. Se um inteiro divisvel por 6 ento ele tambm
divisvel por 3.
Prova:
Seja x um inteiro divisvel por 6. Ento existe um inteiro
k tal que x = 6 . k. Pondo 6 = 3 . 2, podemos escrever
x = (3 . 2) . k = 3 . (2 . k).
Como 2 . k um inteiro e escrevendo 2 . k = m, temos que
x = 3.m, com m inteiro. Logo, x divisvel por 3.
Exemplo 5. Se x um inteiro par ento y = x + 5 inteiro mpar.
Prova:
Assumimos que x um inteiro par. Ento existe um inteiro n tal
que x = 2 . n.
Como y = x + 5 ento y = 2 . n + 5 = 2n + 4 + 1 = 2 . (n+2) + 1.
Pondo n + 2 = m, temos que y = 2 . m + 1, onde m um inteiro.
Consequentemente, y um nmero mpar.
Exemplo 6. A soma de um inteiro com o seu quadrado um
nmero par. Pondo na forma P Q temos: Se x um nmero inteiro
ento x + x
2
par.
44
Matemtica Discreta
Prova:
Seja x um nmero inteiro.
Se x par, ento x = 2 . n e x
2
= (2 . n)
2
= 4 . n
2
, de modo que
x + x
2
= 2 . n + 4 . n
2
= 2(n + 2n
2
). Pondo m = n + 2n
2
, temos que
x + x
2
= 2m. Consequentemente x + x
2
par.
Se x mpar, x = 2.n + 1 para algum inteiro n. Assim,
x + x
2
= 2n + 1 +(2n + 1)
2
= 2.n + 1 + 4n
2
+ 4.n + 1 = 4n
2
+ 6.n + 2
= 2(2n
2
+ 3n + 1). De modo que x + x
2
= 2.m, onde m o inteiro
2n
2
+ 3n + 1. Consequentemente x + x
2
par.
3.2.2 Prova Indireta
Voc deve lembrar que no fascculo 1 provamos algumas
equivalncias entre proposies. Uma delas foi que P Q
logicamente equivalente a Q P.
A tabela seguinte mostra isso!
P Q P Q Q P Q P
V V V F F V
V F F V F F
F V V F V V
F F V V V V
Assim, uma segunda estratgia de prova tem inicio quando
assumimos que a concluso Q falsa e, ento mostrar que a hiptese
P falsa.
A afrmao Q P chamada de contra-positiva da afrmao
P Q. A prova indireta tambm chamada de contra-positiva.
Exemplo 7. Formularemos contra-positiva Q P das seguintes
proposies P Q:
a) P Q: Se x mpar, ento x
2
mpar. Q P: Se x
2
no
mpar ento x no mpar. Equivalentemente podemos
escrever: Se x
2
par ento x par.
b) Se n um inteiro mpar ento 3n + 5 um inteiro par. P Q:
Se x inteiro mpar ento 3x + 5 um inteiro par.
Exemplo 8. Use a prova indireta para provar a seguinte proposio
P Q: Se x um nmero par, ento x + 3 mpar.
45
Matemtica Discreta
A contra-positiva Q P Se x +3 no mpar, ento x no
par. Isto , se x + 3 par, ento x mpar.
Inicialmente, suponha que x + 3 par. Desse modo existe nZ
tal que x + 3 = 2n. Assim, x = 2n 3 = 2n 4 + 1 = 2(n-2) + 1.
Consequentemente x = 2.m + 1, onde m = n -2 inteiro. Logo x
mpar.
Exemplo 9. Prove pela contra-positiva que, se o quadrado de um
inteiro par ento x par.
A contra-positiva de n
2
par n par n mpar n
2
mpar.
Assuma que n = 2x + 1 com x inteiro.
Ento n
2
= (2x + 1)
2
= 4x
2
+ 4x + 1 = 2(2x
2
+ 2x) + 1 = 2.p + 1, onde
p = 2x
2
+ 2x inteiro. Assim, n
2
mpar.
3.2.3 Prova por contradio (Reduo ao absurdo)
Suponhamos que queremos provar P Q. Sabemos, porm, que
(P Q) Falso. Assim, para provarmos P Q, admitimos P e no
Q e mostraremos que isso implica algo falso. Veja tabela-verdade
abaixo:
P Q P Q Q P Q F (P Q) Falso
V V V F F F V
V F F V V F F
F V V F F F V
F F V V F F V
Exemplo 10. Se x um nmero par, ento x + 3 mpar. Aqui, x
um nmero par a hiptese P e a concluso Q x + 3 mpar.
Admitimos P e no Q. Isto , suponhamos que x um nmero par
e que x + 3 par.
Ento, x = 2.n e x + 3 = 2.m para inteiros n e m. Assim, por um lado
x = 2.n e por outro x = 2.m 3 = 2.m 4 + 1 = 2.(m-2) + 1, isto x
par e x mpar, o que uma contradio. Assim x + 3 impar.
Exemplo 11. O conjunto dos nmeros primos infnito.
Suponha que o conjunto dos nmeros primos seja fnito. Ento
existem n primos, a saber: p
1
, p
2
, p
3
, ... , p
n
.
46
Matemtica Discreta
Considere o nmero x = p
1
, p
2
, p
3
, ... , p
n
+ 1. O nmero x no
divisvel por nenhum dos primos p
1
, p
2
, p
3
, ... , p
n
(deixa resto 1). Logo,
x mais um primo alm dos n primos existente inicialmente. O que
uma contradio. Logo, verdadeira a proposio de que existem
infnitos primos.
Aprenda Praticando: Exerccios Propostos 3.1
1. Fornea um contra-exemplo para:
a) Se x um inteiro par e y um inteiro mpar ento o produto x.y
impar.
b) Se um nmero inteiro primo ento o seu quadrado primo.
2. Fornea uma prova direta das seguintes afrmaes:
a) A soma de dois inteiros mpares par.
b) A soma de um inteiro mpar e um par mpar.
c) O produto de dois inteiros consecutivos par.
d) O quadrado de um inteiro par divisvel por 4.
3. D uma prova direta para as seguintes proposies ou
apresente um contra-exemplo.
a) O produto de quaisquer trs inteiros consecutivos par.
b) A soma de quaisquer trs inteiros consecutivos par.
c) O produto de um inteiro pelo seu quadrado par.
d) A soma de um inteiro com o seu cubo par.
e) Se x um inteiro primo ento x + 4 primo.
f) Se a e b so inteiros tais que a divide b e b divide a ento
a = b.
g) Se x um inteiro positivo ento x
2
+ x + 41 primo.
4. Prove por contradio que:
a) A soma de dois inteiros negativos um inteiro negativo.
47
Matemtica Discreta
b) Se x um nmero real tal que x > 0 ento
1
x
> 0
c) Se a soma de dois nmeros primos primo ento um dos
primos deve ser 2.
d) Se x diferente de zero, ento x
2
positivo.
e) Se n um inteiro tal que 3.n + 2 par, ento n par.
5. Prove ou d um contra-exemplo:
a) Se x e y so nmeros irracionais ento o produto x.y
irracional.
b) Se n um inteiro positivo qualquer, ento 2
n
+ 1 primo.
c) Se n um inteiro positivo, ento n
2
79n + 1601 primo.
6. Prove que o quadrado de um inteiro par um inteiro par,
usando:
a) prova direta.
b) prova indireta
c) prova por contradio.
7. Prove que se n um inteiro mpar ento n
3
+ 5 um inteiro par,
usando:
a) prova direta
b) prova por contradio
c) prova pela contra-positiva.
8. Prove ou d um contra-exemplo:
Se x e y so inteiros primos ento x.y + 1 primo
Concluso
Ao fnal deste terceiro capitulo, voc aprendeu sobre tcnicas de
provas de teoremas. Dentre elas, destacamos a prova direta, a prova
pela contra-positiva, prova por contradio e aprendeu a fornecer um
contra-exemplo de uma proposio falsa.
48
Matemtica Discreta
Saiba Mais
Caso voc queira aprofundar seus conhecimentos sobre tcnicas
de provas, consulte os seguintes livros.
GERSTING, Judith L. Fundamentos Matemticos para a
Cincia da Computao. Traduo Valria de Magalhes Iorio.
Rio de Janeiro: LTC, 2004.
LIPSCHUTZ, Seimour; LIPSON, Marc Lars. Teoria e Problemas
de Matemtica Discreta. Porto Alegre: Bookman, 2004.
SCHEINERMAN, Edward R. Matemtica Discreta: uma
introduo. Traduo de Alfredo Alves de Farias. So Paulo:
Pioneira Thomson Learning, 2003.
49
Matemtica Discreta
Captulo 4 - Princpio de
Induo Finita
O Princpio de Induo Finita uma tcnica frequentemente
usada para demonstrar proposies sobre nmeros inteiros positivos
do tipo nN*, nN* P(n), onde P(n) uma propriedade relativa
aos nmeros inteiros positivos n.
Algumas vezes nos defrontamos com afrmaes envolvendo os
nmeros naturais, tais como:
1. P(n) : A soma dos n primeiros nmeros mpares n
2
.
1 + 3 + 5 + ... + (2n-1) = n
2

2. P(n): A soma dos n primeiros nmeros inteiros positivos


( 1)
2
n n +
.
1 + 2 + 3 + 4 + ...+ n =
( 1)
2
n n +

3. P(n): 2
2n
- 1 divisvel por 3, n 1, nN
Para verifcar se tais afrmaes so verdadeiras para qualquer
inteiro n 1, no basta testar a veracidade das frmulas substituindo
valores especfcos para n. Por mais que as igualdades ganhem
credibilidade, no poderemos garantir sua validade para algum valor
de n que no tenha sido testado.
Vejamos alguns exemplos:
Exemplo 1. Calculando o valor numrico da expresso
P(n) = n
2
n + 17 em vrios casos particulares de nmeros inteiros
positivos n os resultados encontrados so sempre nmeros primos?
50
Matemtica Discreta
Vejamos:
Para n = 1, temos P(1) = 1
2
1 + 17 = 17 (primo)
Para n = 2, temos P(2) = 2
2
2 + 17 = 19 (primo)
Para n = 3, temos P(3) = 9 3 + 17 = 23 (primo)
Para n = 4, temos P(4) = 16 4 + 17 = 29 (primo)
...
Podemosafrmarque,paratodonmerointeiropositivon,P(n)
umnmeroprimo?
claroqueno!
Continuando o clculo at n = 16 encontraremos sempre nmeros
primos, porm, para n = 17 encontramos que P(17) = 172 - 17 + 17 =
172 = 17 . 17 que no primo, pois divisvel por 17.
Ento, P(n) = n
2
n + 17 no primo para todo inteiro positivo n.
Exemplo 2. Ao somar os n primeiros nmeros mpares positivos.
O que encontramos?
Se tentarmos valores pequenos de n obtemos:
S
1
= 1 = 1
2
S
2
= 1 + 3 = 2
2
S
3
= 1 + 3 + 5 = 3
2
S
4
= 1 + 3 + 5 + 7 = 4
2
S
5
= 1 + 3 + 5 + 7 + 9 = 5
2
S
6
= 1 + 3 + 5 + 7 + 9 + 11 = 6
2
S
7
= 1 + 3 + 5 + 7 + 9 + 11 + 13 = 7
2
fcil observar que obtemos quadrados como soma. Na verdade,
pelos exemplos, a soma dos n primeiros nmeros mpares positivos

S
n
= 1 + 3 + 5+ + 7 + ... + (2n-1) = n
2
. Mas a observao vlida
apenas para os sete primeiros valores de n.
Ser que isso vlido para todos os valores de n? Como podemos
provar essa afrmao?
51
Matemtica Discreta
A demonstrao de que uma propriedade P, relativa aos nmeros
naturais, verdadeira para todo numero natural n 1, pode ser feita
pelo mtodo que chamamos de Princpio de Induo Finita, que pode
ser enunciado assim:
Seja P(n) uma proposio que queremos provar que verdadeira para todo
nmero natural n 1. Se provarmos que:
a) P(1) verdadeira.
b) Se P(k) verdadeira implica que P(k+1) verdadeira, k 1 ento, a proposio
P(n) verdadeira, para todo inteiro n 1.
Para melhor entender o princpio de induo fnita vamos utilizar a
metfora do domin. Se voc tem uma longa fla de domins em p e
voc puder assegurar que:
1. O primeiro domin cair quando se aplica uma fora sufciente
na pea do domin.
2. Sempre que uma pea de domin cair, a pea vizinha tambm
cair.
Ento voc pode concluir que todas as peas de domin cairo.
Como na prtica o principio de induo fnita? Alguns exemplos
mostraro isso.
52
Matemtica Discreta
Exemplo 3. Queremos provar que a proposio P(n) seguinte
verdadeira para todo numero natural n 1
P(n): 1 + 3 + 5 + 7 ... + (2n - 1) = n.
Parte 1. Devemos provar que P(1) verdadeira, isto :
1 = 1
2
1 = 1
Parte 2. Supondo que P(n) verdadeira para n = k, devemos
mostrar que P(n) verdadeira para n = k + 1.
P(k) verdadeira signifca que 1 + 3 + 5 + ... + (2k-1) = k
2
. Devemos
mostrar que P(k+1) tambm verdadeira, isto , devemos mostrar
que:
P(k+1): 1 + 3 + 5 + ... + 2k-1 + 2(k+1) -1 = (k+1)
2
Como
1 + 3 + 5 + ... + 2k-1 + 2(k+1) -1 =
[1 + 3 + 5 + ... + 2k -1] + 2(k+1) -1 =
k
2
+ 2k +1 = (Hiptese)
(k+1)
2
Logo, pelo Princpio de Induo Finita, a frmula vale para todo
n 1.
Exemplo 4. Provar que 1 + 2 + 3 + 4 + ...+ n =
( 1)
2
n n +
, n 1.
Parte 1. Vamos provar que P(I) verdadeira. De fato,
1 =
1.(1 1)
2
+
1 =
1.(2)
2
1 = 1.
Parte 2. Suponha que P(n) seja verdadeira para n = k, isto , que
1 + 2 + 3 + 4 + ... + k =
( 1)
2
k k +
.
Queremos provar que P(k+1) verdadeira, isto , que 1 + 2 + 3 + 4
+ ... + k + (k+1) =
( 1)( 2)
2
k k + +
.
Como 1 + 2 + 3 + 4 + ... + k + (k+1) =
[1 + 2 + 3 + 4 + ... + k] + (k+1) =
53
Matemtica Discreta
( 1)
2
k k +
+ (k+1) = (Por hiptese)
( 1) 2( 1)
2
k k k + + +
=
( 1)( 2)
2
k k + +
Logo, pelo Princpio de Induo Finita, a frmula vale para todo
n 1.
Exemplo 5. Mostre que a proposio P(n): 2
2n
- 1 divisvel por 3,
n 1, nN verdadeira.
Parte 1. Devemos provar que P(1) verdadeira, isto , que para
n = 1, 2
2.1
1 divisvel por 3 (mltiplo de 3).
De fato, 2
2.1
1 = 2
2
1 = 4 1 = 3 (mltiplo de 3).
Parte 2. Suponha que P(n) seja verdadeira para n = k, isto , que
2
2k
- 1 mltiplo de 3.
Ento 2
2k
- 1 = 3.m para algum inteiro m.
Quero provar que P(n) verdadeira para n = k+1. Ou seja, quero
provar que 2
2(k+1)
- 1 mltiplo de 3.
Como 2
2(k+1)
- 1 = 2
2k+2
- 1 = 2
2k
. 2
2
1
= 2
2k
. 4 - 1 = 2
2k
. 3 + 2
2k
- 1
= 3. 2
2k
+ 2
2k
-1 =
3. 2
2k
+ 3.m = 3(2
2k
+ m) mltiplo de 3.
Logo, pelo Princpio de Induo Finita, a frmula vale para todo
n 1.
Exemplo 6. P(n): 2
n
n+1, nN
Parte 1. Para n = 0, tem-se que: 2
0
0+1
1 1 verdadeiro.
Parte 2. Devemos mostrar que P(n) verdadeira para n = k+1
sempre que P(n) verdadeira para n = k.
Ou seja, que 2
k+1
k+2 sempre que 2
k
k +1
Ora, 2
k+1
= 2. 2
k
2(k+1) = (hiptese)
2
k
+ 2 k + 2
54
Matemtica Discreta
Logo, pelo Princpio de Induo Finita, a frmula vale para todo
n 1
Exemplo 7. Seja S(n) o termo geral de uma sequncia tal que
S(1) = 2 e S(n) = 3*S(n-1) - 1 para n > 1.
a) Escreva os cinco primeiros termos de S.
b) Mostre por induo que S(n) =
3 1
2
n
+
Soluo: a) S(1)= 2,
S(2) = 3.S(1) - 1 = 3.2 - 1 = 5,
S(3) = 3.S(2) - 1 = 3.5 - 1 = 14,
S(4) = 3.S(3) - 1 = 3.14 - 1 = 41,
S(5) = 3.S(4) - 1 = 3.41 - 1 = 122
b) Queremos provar que S(n) =
3 1
2
n
+
Parte 1. Para n = 1, temos que S(1) =
1
3 1 4
2
2 2

+
= = .
Parte 2. Suponha que S(k) =
3 1
2
k
+
, queremos provar que
S(k+1) =
1
3 1
2
k+
+
.
Ora, pelo passo recursivo temos que
S(k+1) = 3.S(k) 1 = 3.
3 1
2
k
+
- 1
=
1 1 1
3 3 3 3 2 3 1
1
2 2 2

k k k + + +
+ + +
= = .
Exemplo 8. Prove por induo matemtica que 2
3n
1 divisvel
por 7, n 1, nN.
Parte 1. claro que para n = 1, 2
3.1
1 = 8 1 = 7 divisvel por
7.
Parte 2. Suponha que para um inteiro k 1, 2
3k
1 seja divisvel
por 7, ou seja, que existe inteiro m tal que 2
3k
1 = 7m.
Queremos provar que 2
3(k+1)
1 divisvel por 7, isto , que existe
inteiro p tal que 2
3(k+1)
1 = 3p.
55
Matemtica Discreta
De fato, 2
3(k+1)
1 = 2
3k + 3
1
= 2
3k
. 2
3
1 = 2
3k
.8 - 1
= (2
3k
. 7) + (2
3k
1)
Como 2
3k
. 7 divisvel por 7 e 2
3k
1 divisvel por 7 por hiptese,
ento 2
3(k+1)
1 divisvel por 7, tendo em vista ser soma de dois
nmeros divisveis por 7.
Assim, podemos escrever 2
3(k+1)
1 = 2
3k
. 7 + 7m = 7(2
3k
+ m)
= 7p, com p = 2
3k
+ m.
Exemplo 9. Uma sequncia F(n) defnida recursivamente assim:
F(1) = 3, F(n) = F(n-1) + n, para n>1.
a) Quais os cinco primeiros termos de F?
b) Use induo para provar que F(n) =
2
4
2
n n + +
, n 1
a) F(1) = 3,
F(2) = F(1) + 2 = 3 + 2 = 5,
F(3) = F(2) + 3 = 5 + 3 = 8
F(4) = F(3) + 4 = 8 + 4 = 12,
F(5) = F(4) + 5 = 12 + 5 = 17.
b) F(n) =
2
4
2
n n + +
, n 1
Queremos provar que a frmula d os termos da sequncia 3, 5,
8, 12, 17, ...
Parte 1. Para n = 1 temos que F(1) =
2
1 1 4 6
3
2 2

+ +
= = , a
frmula est correta.
Parte 2. Suponha que F(k) =
2
4
2
k k + +
, queremos provar que
F(k+1) =
2
( 1) ( 1) 4
2
k k + + + +
.
Ora, pela defnio recursiva temos que F(k+1) = F(k) + k+1, logo,
podemos escrever:
F(k+1) =
2
4
2
k k + +
+ k + 1
56
Matemtica Discreta
=
2
4 2 2
2
k k k + + + +
+
2
2 1 1 4
2
k k k + + + + +
+
2
( 1) ( 1) 4
2
k k + + + +
.
Est completa a prova por induo.
Aprenda Praticando: Exerccios Propostos 4.1
1. Nos exerccios seguintes, use a induo matemtica para
demonstrar que os resultados abaixo indicados so vlidos
para qualquer inteiro positivo n. (n 1)
a) 2 + 6 + 10 + ... + (4n - 2) = 2n
2
b) 2 + 4 + 6 + ... + 2n = n(n + 1)
c) 1 + 5 + 9 + ... + (4n - 3) = n(2n - 1)
Nossa, Pedrinho!
Por que voc est
descalo com um
tempo desses?
que o armazm
do meu pai est
em balano...
E como no d
pra contar tudo
s com os dedos
das mos...
Eu venho descalo, esse
o meu computador!
57
Matemtica Discreta
d) 1 + 3 + 6 + ... +
n(n 1) ( 1)( 2)

2 6
n n n + + +
=
e) 4 + 10 + 16 + ... + (6n - 2) = n(3n + 1)
f) 5 + 10 + 15 + ... + 5n =
5n(n 1)
2
+
g) 1
2
+ 2
2
+ 3
2
+ ... + n
2
=
( 1)(2 1)
6
n n n + +
h) 1
3
+ 2
3
+ 3
3
+ ... + n
3
=
2 2
( 1)
4
n n+
i) 1
2
+ 3
2
+ 5
2
+ ... + (2n - 1)
2
=
(2 1)(2 1)
3
n n n +
j) 1.3 + 2.4 + 3.5 + ... + n(n+2) =
n(n 1)(2n 7)
6
+ +
k)
1 1 1 1
...
1.2 2.3 3.4 1 ( 1)
n
n n n
+ + + + =
+ +
l)
1 1 1 1
...
5.7 1.3 3.5 (2 1).(2 1) n n
+ + + +
+
=
2 1
n
n+
m) 1.1! + 2.2! + 3.3! + ... + n.n! = (n+1)! - 1
2. No exerccio anterior, escreva sob a forma de somatrio, o
primeiro membro de cada uma das igualdades.
3. Prove por meio de induo matemtica que as sentenas
seguintes so verdadeiras para todo inteiro n 1.
a) 3
2n
+ 7 divisvel por 8
b) 7
n
- 2
n
divisvel por 5
c) 13
n
- 6
n
divisvel por 7
d) 2
5n + 1
+ 5
n + 2
divisvel por 27
4. Considere a sequncia S(n) defnida recursivamente por:
S(1) = 1, S(n) = 2*S(n-1) + 1 para n > 1.
Mostre por induo que S(n) = 2
n
1, para n 1.
5. Seja S(n) o termo geral de uma sequncia tal que:
S(1) = 2 e S(n) = 3*S(n-1) 1 para n > 1.
a) Escreva os cinco primeiros termos de S
b) Mostre por induo que S(n) =
3 1
2
n
+
58
Matemtica Discreta
6. Descobrir e provar por induo uma frmula para A
n
=
1 1
0 1
n
(
(


com n 1.
7. A sequncia D(n) defnida assim:
D(1) = 2, D(2) = 5, D(n) = 5.D(n-1) - 6.D(n-2), para n > 2.
a) Escreva os cinco primeiros termos da sequncia.
b) Mostre por induo que D(n) = 2
n-1
+ 3
n-1
para n 1.
Respostas dos Exerccios Propostos 4.1
2. a)
1
(4 2)
n
i
i
=

c)
1
(4 3)
n
i
i
=

e)
1
(6 2)
n
i
i
=

g)
2
1
n
i
i
=

i)
2
1
(2 1)
n
i
i
=

k)
1
1
( 1)
n
i
i i
=
+

m)
1
.( !)
n
i
i i
=

4. Para provar que S(n) = 2


n
1, para n 1, provaremos inicialmente
que a frmula vlida para n = 1.
De fato S(1) = 2
1
1 = 1.
Agora, suponha que a frmula vlida para um inteiro k 11.
Isto , S(k) = 2
k
1. Queremos provar que S(k+1) = 2
k+1
1.
Ora, pelo passo recursivo, temos que
S(k+1) = 2.S(k) + 1 = 2. (2
k
1) + 1 = 2
k+1
+ 2 1 = 2
k+1
+ 1.
59
Matemtica Discreta
6. A
1
=
1
1 1
0 1
(
(

=
1 1
0 1
(
(

,
A
2
=
1 1
0 1
(
(

.
1 1
0 1
(
(

=
1 2
0 1
(
(

,
A
3
=
1 2
0 1
(
(

.
1 1
0 1
(
(

=
1 3
0 1
(
(

...
Conjectura: A
n
=
1 n
0 1
(
(

, n 1
Prova por induo: Para n = 1, A
1
=
1 1
0 1
(
(

.
Suponha A
k
=
1 k
0 1
(
(

, queremos provar que A
k+1
=
1 k 1
0 1
(
(

+
.
Ora, A
k+1
=
1 k 1
0 1
(
(

+
= A
k
. A =
1 k
0 1
(
(

.
1 1
0 1
(
(

=
1 k 1
0 1
(
(

+
.
Est provado por induo que A
n
=
1 n
0 1
(
(

, n 1.
Concluso

Ao fnalizar este fascculo, voc teve oportunidade de conhecer
mais um mtodo de prova de proposies relativas aos nmeros
naturais: o princpio de induo fnita. Voc aplicar esse mtodo
quando quiser garantir que um algoritmo ou sua implementao est
correta.
Saiba Mais
O Princpio de Induo Finita usado tambm na correo de
algoritmos. Por exemplo, queremos saber se o procedimento descrito
pelo fuxograma abaixo termina para quaisquer que sejam os valores
dos dados de entrada.
60
Matemtica Discreta
O algoritmo de Euclides usado no clculo do Mximo Divisor
Comum entre dois inteiros positivos m e n, conforme fgura seguinte.
Mostrar que o procedimento acima termina para quaisquer valores
dos dados de entrada, equivale a mostrar que Se no passo 2 do
procedimento os valores de x e y so inteiros, ento os passos 2,
3 e 4 sero executados apenas um nmero fnito de vezes, com os
clculos terminando no passo 4.
Faremos a prova por induo sobre o valor de y.
Parte 1. Se y = 1, ento aps o passo 2, r = 0. Assim, os passos 2,
3 e 4 so executados uma nica vez e o clculo termina no passo 4.
Parte 2. Suponhamos que a proposio verdadeira para
qualquer x > 0 e qualquer y, tal que 1 y < k, e mostraremos que ela
verdadeira para y = k.
61
Matemtica Discreta
Por defnio de resto da diviso de nmeros inteiros positivos,
teremos depois da execuo do passo 2, 0 r < k. Se r = 0, a execuo
termina, numa nica vez. Se r > 0, com a execuo dos passos 3 e
4, teremos x = k e y = r, e a execuo volta ao passo 2. Assim, pela
hiptese de induo, os passos 2, 3 e 4 sero executados um nmero
fnito p de vezes, com os clculos fnalizando no passo 4. De modo
que, ao todo teremos p + 1 execues para y = k. Conclumos ento
que o algoritmo termina para quaisquer valores das entradas.
Caso voc queira conhecer mais sobre o princpio de induo
fnita, notadamente em provas de correo de algoritmos, consulte as
seguintes obras.
GERSTING, Judith L. Fundamentos Matemticos para a
Cincia da Computao. Traduo Valria de Magalhes Iorio.
Rio de Janeiro: LTC, 2004.
LIPSCHUTZ, Seimour; LIPSON, Marc Lars. Teoria e Problemas
de Matemtica Discreta. Porto Alegre: Bookman, 2004.
SCHEINERMAN, Edward R. Matemtica Discreta: uma
introduo. Traduo de Alfredo Alves de Farias. So Paulo:
Pioneira Thomson Learning, 2003.
62
Matemtica Discreta
Referncias

ABE, J. M. Teoria Intuitiva dos Conjuntos. So Paulo: Makron,
199, 266p.
GERSTING, J L. Fundamentos Matemticos para a Cincias
da Computao. 3 ed., Rio de Janeiro: LTC 1993; 512p.
LIPSCHUTZ, S, LIPSON, M. L. Teoria e Problemas de
Matemtica Discreta. 2 ed., Porto Alegre: Bookman, 2004,
511p.
MENEZES, P. B. Matemtica Discreta para Computao e
Informtica. Porto Alegre: Editora Sagra Luzzatto, 2004; 272p.
PINTO, S. J. Tpicos de Matemtica Discreta. Departamento
de Matemtica: Universidade de Aveiro, 1999;122p
ROSEN, K. H. Discrete Mathematics and its Applications. 4
ED., New York: WCB/McGraw-Hill, 1999, 654p.
SCHEINERMAN, E. R. Matemtica Discreta: Uma Introduo.
So Paulo: Thomson, 2003, 523p.
http://www.interaula.com/matweb/alegria/fbon//seqfb1.htm
http://www.upis.br/revistavirtual/Cavalcante_%20Teoria%20dos%20
N%FAmeros%20e%20Criptografa_2005_UPIS.pdf
http://www.infowester.com/criptografa.php
http://domenico-deri.sites.uol.com.br/exemplos.html
http://www.penta.ufrgs.br/gere96/segur/cripto_.htm
http://www.ipea.gov.br
63
Matemtica Discreta
Consideraes Finais
Ao fnal desse fascculo voc aprendeu sobre as funes, o que
recursividade, como os teoremas podem ser provados usando
algumas tcnicas de provas e conheceu o princpio de induo fnita,
empregado quando se deseja verifcar a veracidade de proposies
relativas aos nmeros inteiros. Em todos esses assuntos, foram
abordados exemplos relacionados s reas de Informtica e
Computao. Espero que voc utilize esses mtodos matemticos na
soluo de problemas de outras disciplinas do curso.

Вам также может понравиться