Indu Mat

Pontifcia Universidade Catlica do Rio Grande do Sul
Faculdade de Matemtica - Departamento de Matemtica
Estruturas Algbricas
Prof. M.Sc. Guilherme Lus Rohe Vaccaro

e-mail: vaccaro@mat.pucrs.br
Prof. M.Sc. Eliane Allgayer Canto
Verso deste material: 1.3.5

Porto Alegre, agosto de 2001.
Este material de apoio para a disciplina de Estruturas Algbricas, oferecida ao curso de Informtica da Pontifcia
Universidade Catlica do Rio Grande do Sul, no tendo a pretenso de esgotar os assuntos aqui abordados, mas sim de
enfocar os aspectos importantes para o uso em Informtica.
O relato de quaisquer erros ou outras sugestes e criticas construtivas ser sempre bem-vindo.
No alterar este material!
Sumrio
1
Introduo ___________________________________________________________________ 1
1.1
1.1.1
Exemplo 1: Simplificao ________________________________________________ 1
1.1.2
Exemplo 2: Complexidade de Algoritmos ____________________________________ 1
Construo de Leis Gerais ______________________________________________________ 3

2.1
Introduo________________________________________________________________ 3
2.2
Recurso ________________________________________________________________ 3
2.2.1
Exemplo: O Fatorial_____________________________________________________ 3
2.2.2
Exemplo: Seqncia de Fibonacci _________________________________________ 4
2.2.3
Formalizando o Conceito de Recurso ______________________________________ 5
2.2.4
Exemplos de Seqncias Recursivas _______________________________________ 5
2.2.5
Um Exemplo Importante: O Somatrio ______________________________________ 6
2.3
Comentrios Iniciais ________________________________________________________ 1
Definies Indutivas ________________________________________________________ 7
2.3.1
Exemplos_____________________________________________________________ 7
2.3.2
Conjuntos Fechados ____________________________________________________ 7
Induo Matemtica____________________________________________________________ 9
3.1
Conceituao _____________________________________________________________ 9
3.2
Princpios de Induo Finita __________________________________________________ 9
3.2.1
Princpio da Induo Finita (Forte) ________________________________________ 10
3.2.2
Princpio da Induo Finita (Fraca) ________________________________________ 10
3.3
Etapas da Prova por Induo Matemtica ______________________________________ 11
3.3.1
Base de Induo (BI)___________________________________________________ 11
3.3.2
Passo de Induo (PI) __________________________________________________ 11
3.3.3
Concluso ___________________________________________________________ 12
Observao _________________________________________________________________ 12
3.4
Justificativa da Validade do Princpio de Induo Matemtica _______________________ 12
3.5
Justificativa da Necessidade do Passo de Induo _______________________________ 13
3.6
Justificativa da Necessidade da Base de Induo ________________________________ 14
3.7
Exemplos _______________________________________________________________ 14
3.7.1
Exemplo_____________________________________________________________ 14
3.7.2
Exemplo_____________________________________________________________ 14
3.7.3
Exemplo_____________________________________________________________ 15
3.7.4
Exemplo_____________________________________________________________ 15
3.7.5
Observao __________________________________________________________ 16
3.7.6
Exemplo_____________________________________________________________ 16
3.8
O Que Mais Se Pode Fazer Com Induo: Alguns Exemplos _______________________ 17
3.8.1
Desigualdade de Bernouilli ______________________________________________ 17
Vedada a alterao ou o uso sem o consentimento prvio dos autores
Vaccaro & Canto
3.8.2
Torres de Hani_______________________________________________________ 17
3.8.3
Determinao do Nmero de Subconjuntos de um Conjunto ____________________ 18
Induo em Somatrios e Produtrios_____________________________________________ 20

4.1
Somatrios ______________________________________________________________ 20
4.1.1
Exemplos____________________________________________________________ 20
4.1.2
Observaes _________________________________________________________ 20
4.1.3
Sries ou Somatrios Infinitos ____________________________________________ 21
4.1.4
Propriedades Vlidas em Somatrios ______________________________________ 21
4.1.5
Exemplo_____________________________________________________________ 22
4.1.6
Exemplo_____________________________________________________________ 22
4.2
Produtrios ______________________________________________________________ 22
4.2.1
Exemplos____________________________________________________________ 23
4.2.2
Propriedades Vlidas em Produtrios ______________________________________ 23
4.3
ii
Induo em Somatrios e Produtrios _________________________________________ 23
4.3.1
Exemplo_____________________________________________________________ 23
4.3.2
Exemplo_____________________________________________________________ 24
4.3.3
Exemplo_____________________________________________________________ 25
4.3.4
Exemplo: Soma de Progresso Geomtrica _________________________________ 26
Induo em Frmulas de Recorrncia _____________________________________________ 28

5.1
Um Exemplo Inicial ________________________________________________________ 28
5.2
Exemplos _______________________________________________________________ 29
5.2.1
Exemplo_____________________________________________________________ 29
5.2.2
Exemplo_____________________________________________________________ 29
5.2.3
Exemplo_____________________________________________________________ 31
5.2.4
Exemplo_____________________________________________________________ 32
5.3
Complexidade de Algoritmos ________________________________________________ 33
5.3.1
Definio ____________________________________________________________ 33
5.3.2
Exemplo_____________________________________________________________ 33
Exerccios __________________________________________________________________ 35
Respostas dos Exerccios ______________________________________________________ 39
Vaccaro & Canto
1 Introduo
1.1 Comentrios Iniciais
De modo a melhor compreender o problema da necessidade da Induo Matemtica, observe os
exemplos abaixo.
1.1.1 Exemplo 1: Simplificao

A funo swap serve para trocar os contedos de duas variveis e pode ser definida da seguinte
forma:
swap: ( R, R ) ( R, R )
swap( x, y ) = ( y, x )
A partir desta definio podemos facilmente verificar que:
swap( swap( x, y ) ) = ( x, y )
A demonstrao simples:
swap( swap( x, y ) ) = swap( y, x ) = ( x, y )
Ento podemos INTUIR que tal fato verdadeiro tambm para qualquer nmero par de aplicaes da
funo swap. Como provar que isto SEMPRE verdade?
1.1.2 Exemplo 2: Complexidade de Algoritmos

Seja o algoritmo abaixo:
Soma( n N ) N
i, j N;
Soma := 0;
for i := 1 to n
for j := 1 to i
Soma := Soma + 1;
Retorna Soma;
Um dos aspectos importantes da avaliao da complexidade computacional de um algoritmo a
medio do nmero de operaes realizadas por este. Ser possvel determinar o nmero total T de
somas realizadas pelo algoritmo acima?
Vejamos o que acontece ao longo de alguns passos:
i
Somas neste passo
1 at 1
= 1
1 at 2
1+2
= 3
1 at 3
1+2+3
= 6
1 at 4
1+2+3+4
= 10
...
...
...
...
1 at n
1 + 2 + 3 + 4 + ... + n
Total de somas (T)
= ?
Vaccaro & Canto
Primeiramente devemos notar que:

1. A expresso desejada dever ficar em funo de n.
2. O processo de determinao de tal expresso pode no ser trivial.
Por ora, suponhamos que, por inspirao divina tivssemos encontrado a seguinte expresso:
T: N N, T(n) =
n.(n + 1)
2
A comparao com o quadro anterior nos faz INTUIR que a expresso correta:
Vejamos o que acontece ao longo de alguns passos:
T(i) =
Somas neste passo
Total de somas (T)
1 at 1
= 1
1 at 2
1+2
= 3
1 at 3
1+2+3
= 6
1 at 4
1+2+3+4
= 10
...
...
...
...
1 at n
1 + 2 + 3 + 4 + ... + n
i.(i + 1)
2
1.(1 + 1)
=1
2
2.( 2 + 1)
=3
2
3.(3 + 1)
=6
2
4.( 4 + 1)
= 10
2
...
= ?
?!?
Como garantir que esta frmula vale para TODOS os valores de n ?
Vaccaro & Canto
2 Construo de Leis Gerais

2.1 Introduo
A utilizao de frmulas recursivas uma dor de cabea em termos computacionais. Por exemplo,
para se calcular o fatorial de 6 pela sua definio teremos:
6! = 6.5! = 6.5.4! = 6.5.4.3! = 6.5.4.3.2! = 6.5.4.3.2.1! = 6.5.4.3.2.1 = 120
Isto d um total de 6 multiplicaes e 6 chamadas recursivas de funo, nada excepcional, mas que
tal calcular 1.000.000! (se o seu computador tiver memria para isto...)
A determinao de expresses matemticas que substituam frmulas recursivas , portanto, uma
necessidade prtica em computao. Exemplos de utilizaes tericas em Informtica incluem
tambm a determinao da complexidade (ou custo), a verificao e a validao axiomtica de
algoritmos.
2.2 Recurso
Recurso, em Matemtica, uma forma de se definir processos cujos resultados futuros dependem
dos resultados do presente e do passado. Diversas frmulas recursivas so conhecidas e usadas no
dia a dia, como poderemos ver nos exemplos a seguir.
2.2.1 Exemplo: O Fatorial

O fatorial uma funo que pode ser definida atravs do seguinte algoritmo:
Fatorial: N N
Fatorial( 0 ) = 1
Fatorial( n ) = n . Fatorial( n-1 )
Como avaliado, ento, o fatorial de 5?
Fatorial(6)
= 5 . Fatorial(4)
= 5 . 4 . Fatorial(3)
= 5 . 4 . 3 . Fatorial(2)
= 5 . 4 . 3 . 2 . Fatorial(1)
= 5 . 4 . 3 . 2 . 1 . Fatorial(0)
=5.4.3.2.1.1
= 20 . 3 . 2 . 1 . 1
= 60 . 2 . 1 . 1
= 120 . 1 . 1
= 120 . 1
= 120
Uma definio alternativa pode ser dada atravs do seguintes dois algoritmos:
Fatorial: N N
Fatorial( n ) = FatAux( n, 1 )
FatAux: N x N N
FatAux( 0, k ) = k
FatAux( m, k ) = FatAux( m-1, m.k )
Vaccaro & Canto
Como avaliado, ento, o fatorial de 5?

Fatorial(5)
= FatAux(5,1)
= FatAux(4,5)
= FatAux(3,20)
= FatAux(2,60)
= FatAux(1,120)
= FatAux(0,120)
= 120
Note-se que foi necessrio um nmero menor de etapas para a obteno do resultado.
2.2.2 Exemplo: Seqncia de Fibonacci

Este um dos problemas propostos por Leonardo de Pisa, clebre matemtico cristo da Idade
Mdia e um dos principais responsveis pela divulgao dos algarismos arbicos nos povos
ocidentais. Seu livro mais conhecido foi o Liber Abaccci, cuja edio ocorreu por volta de 1228 e no
foi muito apreciado na poca. O livro somente foi impresso no sculo XIX. Leonardo de Pisa era um
matemtico demasiadamente avanado para o seu tempo...
O problema que originou a seqncia de Fibonacci foi o seguinte:
Quantos pares de coelhos sero produzidos em um ano se comearmos com
apenas um par e, em cada ms, cada par de coelhos gerar um novo par que se torna
produtivo a partir do segundo ms?
A soluo deste problema comea por definir
F(n) : nmero total de pares de coelhos no ms n.
Ento temos:
F(1) = 1
comeamos com um par de coelhos.
F(2) = 1
somente no segundo ms os coelhos tornar-se-o produtivos
F(3) = 1 + 1 = 2
o primeiro par gerar um novo par de coelhos
F(4) = 2 + 1 = 3
o primeiro par gerar outro par e o segundo par ainda no est produtivo
F(5) = 3 + 2 = 5
os dois primeiros pares geram novos pares e o terceiro par ainda no produz
fcil ver que esta sucesso continua, gerando a seguinte frmula:

F(n) = F(n-1) + F(n-2)
pois o nmero de novos pares de coelhos depende do nmero de pares de coelhos j produtivos (os
do ms n-2).
Note-se, ento, que este processo recursivo depende da informao de duas etapas anteriores. o
que chamado de recurso com duas memrias.
Pode-se encontrar uma frmula fechada para este problema1.
Para outras propriedades matemticas veja : Carl Boyer, Histria da Matemtica, editora Edgard Blcher, SP, 1974; N. N.
Vorob'ev, Fibonacci Numbers, traduzido por H. Mors (New York : Blaisdell 1961); S. M. Plotnick "The Sum of Terms of the
Fibonacci Series", Scripta Mathematica, 9 (1943), 197. Quanto importncia da seqncia na biologia, veja D. W. Thompson,
a
On Growth and Form, 2 edio (Cambridge University Press,1952). Veja tambm nmeros do The Fibonacci Quartely.
Aplicaes interessantes, e mais referncias, so dadas em H. S. M. Coxeter, "The Golden Section, Phyllotaxis and Wythoffs
Game", Scripta Mathematica, 19 (1953), 135-I43.
Vaccaro & Canto
2.2.3 Formalizando o Conceito de Recurso

Define-se por recurso qualquer expresso algbrica cujo resultado presente seja funo dos
resultados passados, isto
un = f( un-1, un-2, ..., u0 )
O nmero de resultados passados necessrios para a determinao do resultado presente
denominado nmero de memrias da recurso. Assim:
un = f( un-1 )
un recurso de uma memria
un = f( un-1, un-2 )
un recurso de duas memrias
un = f( un-1, un-2, un-3 )
un recurso de trs memrias
2.2.4 Exemplos de Seqncias Recursivas

2.2.4.1
Exemplo
a = 0
Seja an definida por: 0
a n = a n1 + 1 , n 1
Esta seqncia pode ser representada por extenso por

n
0
1
2
3
4
...
2.2.4.2
an
0
a0 + 1 = 0 + 1 = 1
a1 + 1 = 1 + 1 = 2
a2 + 1 = 2 + 1 = 3
a3 + 1 = 3 + 1 = 4
Exemplo
a = 1
a n = 2.a n1 , n 1

n
0
1
2
3
4
...
2.2.4.3
an
1
2.a0 = 2.1 = 2
2.a1 = 2.2 = 4
2.a2 = 2.4 = 8
2.a3 = 2.8 = 16
Exemplo
a = 1
a n = 2.a n1 + 1 , n 1

Vaccaro & Canto
n
0
1
2
3
4
...
2.2.4.4
an
1
2.a0 + 1 = 2.1 + 1 = 3
2.a1 + 1 = 2.3 + 1 = 7
2.a2 + 1 = 2.7 + 1 = 15
2.a3 + 1 = 2.15 +1 = 31
Exemplo
u 0 = 0
Seja un definida por: u1 = 1

u = 2.u u
n 1
n2
n
,n 2

n
0
1
2
3
4
5
6
...
2.2.4.5
un
0
1
2.u1 u0 = 2.1 0 = 2
2.u2 u1 = 2.2 1 = 3
2.u3 u2 = 2.3 2 = 5
2.u4 u3 = 2.5 3 = 7
2.u5 u4 = 2.7 5 = 9
Exemplo
t = 1
Seja tn definida por: 0
t n = n.t n1 , n 1

n
0
1
2
3
4
5
...
tn
1
n.t0 = 1.1 = 1
n.t1 = 2.1 = 2
n.t2 = 3.2 = 6
n.t3 = 4.6 = 24
n.t4 = 5.24 = 120
2.2.5 Um Exemplo Importante: O Somatrio

S = t 0
Seja Sn definida por: 0
S n = S n1 + t n
,n 1
, onde {tn} uma seqncia de termos qualquer.

Vaccaro & Canto
n
0
1
2
3
4
...
Sn
t0
t0 + t1
t0 + t1 + t2
t0 + t1 + t2+ t3
t0 + t1 + t2+ t3 + t4
Neste caso, a seqncia formada a de um somatrio de termos. Os somatrios, devido a sua

importncia em diversas reas tm uma notao especial, conforme j visto anteriormente:
n
t 0 + t 1 + t 2 + t 3 + t 4 + t 5 + ... + t n =
k =0
2.3 Definies Indutivas

Definies indutivas so uma forma comum de representar a evoluo de alguma varivel em funo
de seus valores anteriores. So comuns em Engenharia, Fsica e Matemtica atravs de mtodos
como Equaes em Diferenas, mas tambm aparecem de forma indireta em Informtica atravs de
chamadas recursivas a procedimentos em mtodos como Diviso e Conquista.
2.3.1 Exemplos
2.3.1.1
O Fatorial
Um exemplo simples de definio indutiva a do fatorial:

O fatorial de um nmero natural n, denotado por n!, definido como:
1. 0! = 1.
2. (n+1)! = (n+1).n!
2.3.1.2
O Conjunto dos Naturais
O conjunto dos naturais, N, pode ser definido como o menor conjunto possvel tal que:
1. 0 N.
2. n N (n+1) N.
A conseqncia a definio de um conjunto da forma { 0, 1, 2, 3, ... }
2.3.2 Conjuntos Fechados

Definies indutivas so muito teis na definio de conjuntos que possuam propriedades com a
seguinte natureza:
1. Todos os elementos de determinado tipo pertencem ao conjunto
2. A operao de dois elementos do conjunto tambm pertence ao conjunto
Este tipo de conjunto denominado conjunto fechado segundo a operao acima referida.
2.3.2.1
Exemplo
Seja S o conjunto definido por

1. Todas as letras minsculas fazem parte de S
Vaccaro & Canto
2. Se A e B so elementos de S ento AB tambm elemento de S

O conjunto acima definido o conjunto das expresses formadas por letras minsculas. A operao
realizada a concatenao.
Este conjunto fechado com relao concatenao.
2.3.2.2
Exemplo
Seja [ . ] a representao para uma lista. Seja L o conjunto definido por

1. [ ] L
2. x do tipo a [ x ] L
3. [ x ] L [ y ] L [ x, y ] L
O conjunto acima definido o conjunto fechado de todas as listas que contm elementos do tipo a.
Vaccaro & Canto
3 Induo Matemtica
3.1 Conceituao
O processo de Induo Matemtica (ou de Induo Finita) parte do conceito lgico de recurso para,
com um esforo finito, verificar a validade de uma funo proposicional para um conjunto infinito de
nmeros naturais.
Assim, o processo de Induo Finita parte dos seguintes elementos:
uma funo proposicional;
um subconjunto S dos nmeros naturais.
O processo de induo pode ser usado, basicamente, em duas situaes distintas:

1. Provar vlida uma propriedade: isto significa, na verdade, provar que uma proposio sempre
verdadeira dentro do subconjunto S (que, eventualmente, pode ser o conjunto de todos os
nmeros naturais);
Por exemplo:
Mostre que ( n N )( n.(n+1) sempre par )
Mostre que ( n N, n 1 )( 1 + 3 + 5 + ... + (2.n+1) = n2 )
2. Descobrir qual o conjunto na qual uma propriedade vlida: este um caso mais trabalhoso,
visto que no se tem, de antemo, o conjunto S. Assim sendo, necessrio, primeiramente,
testar diversos casos para se verificar onde comea o conjunto S.
Por exemplo:
Encontre para quais valores de n N vlida a funo proposicional p(n) : n.(n+1) par.
Ademais, pode-se ter duas posturas, de acordo com nossa intuio:
Tentar provar que a propriedade vale para todos os elementos do conjunto: isto significa,
basicamente, seguir o processo de induo at o fim, na esperana de que nenhum problema se
apresente;
Tentar provar que a propriedade NO vale para todos os elementos do conjunto: ou seja,
encontrar pelo menos um caso, no conjunto, que no faa verdadeira a proposio que se quer
verificar.
3.2 Princpios de Induo Finita

H dois, assim chamados, princpios de induo:
Princpio da Induo Forte;
Princpio da Induo Fraca.
A denominao forte ou fraca associa-se quantidade necessria de informaes anteriores

(heranas ou memrias) para que se possa provar a validade, ou no, de uma proposio. Quanto
mais heranas, isto , informaes de casos anteriores, so necessrias, mais fraca ser a
concluso; da o nome induo fraca. Isto pode ser exemplificado se pensarmos que, quanto mais
sabemos de antemo, menos falta para ser descoberto; portanto, as concluses so mais simples ou
fracas.
Vaccaro & Canto
10
3.2.1 Princpio da Induo Finita (Forte)

3.2.1.1
Definio
Seja uma funo proposicional p(n) cujo valor lgico depende do valor de n, n natural. Ento:
Se
e
existe um certo elemento n0 natural tal que a proposio p(n0) verdadeira

se a proposio p(k) verdadeira para um certo k natural e desconhecido, ento garantido
que tambm a proposio p(k+1) seja verdadeira
ento
a funo proposicional p(n) ser verdadeira para todos os valores de n n0.
3.2.1.2
Elementos Principais
O princpio acima comumente dividido em duas partes:

Base de Induo:
Consiste em mostrar que
isto : ((n 0 N)(p(n 0 )))
Passo de Induo:
se a proposio p(k) verdadeira para um certo k natural e desconhecido, ento a proposio
p(k+1) verdadeira
isto : ((k N,k n 0 )(p(k ) p(k + 1)))
Divide-se em duas partes:
Hiptese de Induo:
a proposio p(k) verdadeira para um certo k natural e desconhecido
Tese de Induo:
a proposio p(k+1) verdadeira
3.2.2 Princpio da Induo Finita (Fraca)

3.2.2.1
Definio
Seja uma funo proposicional p(n) cujo valor lgico depende do valor de n, n natural. Ento:
Se
e

se as proposies p(n0), p(n0+1), p(n0+2), ..., p(k), so verdadeiras para um certo k natural e
desconhecido, ento garantido que tambm a proposio p(k+1) seja verdadeira
ento
a funo proposicional p(n) ser verdadeira para todos os valores de n n0.
3.2.2.2
Elementos Principais
O princpio acima comumente dividido em duas partes:

Base de Induo:
isto : ((n 0 N)(p(n 0 )))
Vaccaro & Canto
11
Passo de Induo:
se as proposies p(n0), p(n0+1), p(n0+2), ..., p(k), so verdadeiras para um certo k natural e
desconhecido, ento a proposio p(k+1) verdadeira
isto : ((j N, n 0 j k )(p( j) p(k + 1))
Divide-se em duas partes:
Hiptese de Induo:
as proposies p(n0), p(n0+1), p(n0+2), ..., p(k), so verdadeiras para um certo

k natural e desconhecido
Tese de Induo:
a proposio p(k+1) verdadeira
3.3 Etapas da Prova por Induo Matemtica

Nesta seo separaremos as etapas que devem ser seguidas para realizar um raciocnio de induo.
Para facilitar a explicao de cada etapa, usaremos um exemplo:
Mostre que ( n N )( n.(n+1) par )
3.3.1 Base de Induo (BI)

Consiste em encontrar um primeiro valor n0 para o qual a proposio p(n0) seja verdadeira.
a parte inicial do processo, ou seja, a parte que embasa as demais etapas. Equivale a empurrar o
primeiro domin.
No exemplo:
Como a proposio deve valer para todos os n nmeros naturais, deve-se comear com o primeiro
deles: n = 0. Ento:
Seja n = 0.
n.(n+1) = 0.(0+1) = 0.1 = 0
Como 0 par ( um nmero inteiro entre dois mpares), ento a proposio vlida para n=0.
Ento ( n0 N, n0 = 0 )( n0.(n0+1) sempre par )
Logo vale a Base de Induo.
3.3.2 Passo de Induo (PI)

Consiste em enunciar a hiptese de que: se a proposio verdadeira para um certo k
desconhecido, ento deve ser verdadeira tambm para o seguinte de k.
Note-se que neste problema no necessria informao adicional sobre a proposio e, portanto,
pode-se usar o princpio forte de induo, que mais simples. Note-se tambm que para ter serventia
prtica, esta etapa deve ser escrita de forma interpretada!
No exemplo, o enunciado do passo de induo fica:
Seja um certo n, n N.
Afirmao:
n.(n+1) par (n+1).((n+1)+1) par
Isto :
n.(n+1) par (n+1).(n+2) par
Mas: (n+1).(n+2) = (n+1).n + (n+1).2.

Usando a hiptese de induo sabemos que n.(n+1) par.
Como 2.(n+1) mltiplo de 2 e a soma de dois nmeros pares par, ento (n+1).(n+2) par
Vaccaro & Canto
12
Logo, vale o Passo de Induo.

Observao
Note que a proposio do passo de induo tambm poderia ter sido escrita como
se n.(n+1) par, ento (n+1).(n+2) par
3.3.3 Concluso
Consiste em terminar o raciocnio, com base nos resultados da Base e do Passo de Induo.
No exemplo:
Como valem a Base e o Passo de Induo, ento ( n N )( n.(n+1) par )
3.3.4 Observao
O processo de prova por induo
estruturado de forma semelhante de um
programa de computador descrito na forma
procedural, conforme no diagrama ao lado.
Note que tanto a base como o passo de
induo possuem incio e trmino bem claros.
Ou seja: da mesma forma que em um
programa de computador, no se pode
esquecer de escrever as concluses de cada
etapa!
Prova por Induo Matemtica

Base de Induo
Concluso { Fim da Base de Induo}
Passo de Induo
Concluso { Fim do Passo de Induo}
Concluso { Fim da Prova por Induo }
3.4 Justificativa da Validade do Princpio de Induo Matemtica

Um princpio matemtico sempre verdadeiro, no necessitando ser provado. No entanto, precisa ser
entendido para que tenha validade prtica. A idia bsica do processo de induo pode ser
compreendida atravs da seguinte ilustrao:
Pedras de domin so colocadas em p, lado a lado, em seqncia. Uma pessoa empurra do
primeiro domin. Neste ponto, duas coisas podem acontecer:
O primeiro domin cai; ou
O primeiro domin no cai.
A queda da primeira pea representa a Base de Induo. Isto , ao se buscar um certo n0, n0 N tal
que a proposio estudada seja verdadeira, est-se buscando o primeiro domin a cair.
A queda do primeiro domin poder causar duas conseqncias distintas, de acordo com a distncia
entre as pedras:
Se as peas de domin encontram-se suficientemente prximas umas das outras, ento a queda
da primeira implica a queda da segunda, a queda da segunda implica a queda da terceira, a da
terceira implica a da quarta, e assim sucessivamente.
Algumas peas podem estar mais distantes do que as outras. Assim, por mera ilustrao,
suponhamos que a terceira e a quarta peas estejam distantes: quando a pessoa empurra a
primeira pea, sua queda implica a queda da segunda, a queda da segunda implica a queda da
terceira, mas a terceira pea no faz a quarta pea cair! Ento o processo se interrompe.
Esta idia justamente a incorporada pelo passo de induo.
Vaccaro & Canto
13
O Princpio de Induo Matemtica a abstrao desta idia:
as peas de domin so as proposies:

1a pea:
2a pea:
3a pea:
...
n-sima pea:
p(0)
p(1)
p(2)
p(n-1)
as peas que caem so as proposies verdadeiras; as que ficam em p so as proposies

falsas.
a pea que a pessoa escolhe para empurrar a proposio p(n0).
a distncia entre as peas a transmisso de informao: se as peas esto prximas, ento o

fato de saber que uma caiu suficiente para saber que sua adjacente tambm cair, empurrada
pela primeira.
Como conseqncia, todas as peas, a partir da primeira empurrada, cairo, desde que estejam
suficientemente prximas. Ou seja: todas as proposies sero verdadeiras, a partir da primeira
provada vlida, desde que o fato de uma ser verdadeira permita concluir que a proposio seguinte
tambm o .
3.5 Justificativa da Necessidade do Passo de Induo

Observe o seguinte exemplo:
Ser que p(n) = n2+n+41 sempre d um nmero primo para n N?
Vejamos:
n = 0 p(n) = n2+n+41 = 02+0+41 = 41. Como 41 primo vale a proposio para n = 0
Ento esta proposio vale sempre, certo? ERRADO!!!
n = 40 p(n) = n2+n+41 = 402+40+41 = 40.(40+1)+41 = 40.41+41 = (40+1).41 = 412 = 1681.
Mas 1681 = 41.41 e, portanto, NO um nmero primo!
Logo a proposio no vale para qualquer n natural. Isto poderia ter sido demonstrado atravs do
passo de induo!
Vaccaro & Canto
14
3.6 Justificativa da Necessidade da Base de Induo

Observe o seguinte exemplo:
Ser que 2n = 0 para qualquer n N?
Veja que verdadeiro que 2n = 0 2n+1 = 0, pois:
2n+1 = 2.2n = 2.0 = 0.
No entanto, a proposio falsa, pois no vale a base do raciocnio (isto , a Base da Induo):
n = 0 20 = 1 0.
3.7 Exemplos
Nesta seo veremos alguns exemplos que podem ser desenvolvidos para explicar melhor o
processo de induo.
3.7.1 Exemplo
Mostre por induo matemtica que ( n N )( n 0 )
Soluo:
Base de Induo:
Seja n = 0, n N. Ento n = 0 0.
Ento, para n = 0, vale a propriedade.
Passo de Induo:
Seja um certo n N.
Afirmo que: n 0 (n+1) 0.
Como sabemos, (n+1) > n 0. Ento n+1 0.
Ento: n 0 (n+1) 0.
Concluso Geral: Como valem Base e Passo de Induo, ento ( n N )( n 0 ).
3.7.2 Exemplo
Verifique se ( n N* )( 2n 2.n )
Soluo:
Base de Induo:
Seja n = 1, n N*. Ento:
2n 2.n 21 = 2.1 2 2 V
Ento, para n = 1, a propriedade vlida.
Logo, vale a Base de Induo.
Passo de Induo:
Seja um certo n N*.
Precisamos mostrar que : 2n 2.n 2n+1 2.(n+1).
Vaccaro & Canto
15
HI
2 n+1 = 2.2 n 2.2.n = 4.n
Para que a proposio seja vlida precisamos mostrar que 4.n 2.n+2.
Mas 4.n 2.n+2 2.n 2 n 1
Ento, para n 1 temos que 2 n+1 2n + 2 = 2.(n + 1)
Ento 2n 2.n 2n+1 2.(n+1)
Concluso Geral: ( n N* )( 2n 2.n ) V.
3.7.3 Exemplo
Seja x R+. Verifique se ( n N )( (1+x)n = 1 + xn )
Soluo:
Seja x R+. Partimos de um x genrico, conforme diz o enunciado do problema, mas no devemos
esquecer que a varivel importante para a verificao o n...
Base de Induo:
Seja n = 0, n N.
Ento (1+x)n = (1+x)0 = 1
Por outro lado, 1 + xn = 1 + x0 = 1 + 1 = 2
Ento, para n = 0, a propriedade NO vlida!
Logo falha a Base de Induo para n = 0 (o que significa que a propriedade no vale para qualquer n
natural como se queria...)
Concluso Geral: ( n N )( n = 0 )( (1+x)n 1 + xn ).
3.7.4 Exemplo
Verifique se ( n N* )( 2n = 2.n )
Soluo:
Base de Induo:
2 n = 21 = 2
2.n = 2.1 = 2
Ento, para n = 1, a propriedade vlida.
Passo de Induo:
Seja um certo n N*.
Precisamos mostrar que : 2n = 2.n 2n+1 = 2.(n+1).
HI
2 n+1 = 2.2 n = 2.2.n = 4.n
Como, em geral, 4.n 2.n+2.

Ento o passo de induo no vlido.
Concluso Geral: Como o passo de induo no vlido, a propriedade no vale para todos os
naturais a partir do um como indicado:
( n N* )( 2n 2.n ).
Vaccaro & Canto
16
3.7.5 Observao
O problema anterior poderia ter sido demonstrado falso observando-se, por exemplo, que a
propriedade no vlida para n = 3:
2 n = 23 = 8
2.n = 2.3 = 6
Como 8 6 ento a propriedade no vale para todos os naturais a partir do um como
indicado.
No entanto, novamente conveniente observar que tentar encontrar um contra exemplo deste tipo
pode ser complicado, principalmente porque no se pode precisar quando uma proposio deste tipo
falhar, se que falhar. Isto significa que uma dada proposio pode valer, digamos, para os
primeiros 10.000 elementos do conjunto e falhar para o elemento 10.001. Testar todos os elementos
at achar um que falhe pode ser um tanto cansativo...
3.7.6 Exemplo
Mostre que ( n N )( 2 2n 1 mltiplo de 3 )
Soluo por Induo Finita:
Antes de iniciar conveniente lembrar que
2 2n 1 mltiplo de 3 ( k Z )( 2 2n 1 = k.3 )
Base de Induo:
Seja n = 0, n N.
2 2.n 1 = 2 2.0 1 = 2 0 1 = 1 1 = 0 .
Como 0 = 0.3 ento 0 mltiplo de 3.

Vale a Base de Induo.
Passo de Induo:
Seja um certo n N.
Afirmao: ( 2 2n 1 mltiplo de 3 ) ( 2 2(n+1) 1 mltiplo de 3 )
2 2(n+1) 1 = 2 2n+ 2 1 = 2 2n.2 2 1 = 4.2 2n 1
Neste ponto preciso ter cuidado para no esquecer que a multiplicao tem prioridade sobre a
subtrao!!! Continuando:
4. 2 2 n 1 = 3. 2 2 n + 2 2n 1
Como 2 2n 1 mltiplo de 3 ( k Z )( 2 2n 1 = k.3 ). Ento:

4.2 2n 1 = 3.2 2n + k.3 = 3.( 2 2n + k )
Como (2 2n + k ) Z , ento 2 2(n+1) 1 mltiplo de 3.

Logo vale o Passo de Induo.
Concluso: ( n N )( 2 2n 1 mltiplo de 3 ) V.
Vaccaro & Canto
17
3.8 O Que Mais Se Pode Fazer Com Induo: Alguns Exemplos

3.8.1 Desigualdade de Bernouilli
Seja x [ -1; + ). Ento: (n N) (1 + x )n 1 + n.x .

Soluo por Induo Matemtica:
Partimos de um x genrico, conforme diz o enunciado do problema, mas no devemos esquecer que
a varivel importante para a verificao o n...
Base de Induo:
Seja n = 0, n N.
Ento (1 + x )n = (1 + x ) 0 = 1
Por outro lado, 1 + n.x = 1 + 0.x = 1
Como so iguais, ento a proposio vlida para n = 0. Vale a Base de Induo.

Passo de Induo:
Seja um certo n, n N.
Afirmao: (1 + x )n 1 + n.x (1 + x )n+1 1 + (n + 1).x
Prova:
HI
(1 + x )n+1 = (1 + x )n .(1 + x ) (1 + n.x ).(1 + x )
Mas
(1 + n.x ).(1 + x ) = 1 + n.x + x + n.x 2 = 1 + (n + 1).x + n.x 2
1 + (n + 1).x + n.x 2 1 + (n + 1).x
pois n N e x2 0.
Ento
(1 + x )n+1 1 + (n + 1).x
Concluso Geral: Para x [ -1; + ), (n N) (1 + x )n 1 + n.x .

Observao:
A restrio em x, x [ -1; + ), deve-se ao fato de que a potncia (1 + x )n torna-se instvel caso 1+x
seja negativo. Se 1+x for negativo a propriedade acima deixa de valer para todos os nmeros
naturais, valendo apenas para os exponentes pares.
3.8.2 Torres de Hani

H trs torres. Na primeira h sete anis de tamanhos diferentes. O problema consiste em passar
todos os anis da primeira para a terceira torre respeitando as seguintes regras:
1. Somente um anel pode ser movido por vez;
2. Nunca um anel maior pode estar sobre um anel menor.
Este um clssico problema oriental que tem diversas interpretaes filosficas. No entanto,
restringiremo-nos apenas ao aspecto matemtico:
O problema das Torres de Hani sempre pode ser resolvido
Vaccaro & Canto
18
Usaremos a seguinte funo proposicional, onde n N*.

P(n): o problema das Torres de Hani tem soluo no caso de n anis.
Base de Induo:
Seja n = 1.
P(1) obviamente verdadeira, pois s h um anel no problema. Assim, a soluo s tem um passo:
mover o anel em questo para a ltima torre.
Ento vale a Base de Induo.
Passo de Induo:
Seja um certo n N*.
Suponhamos que P(n) verdadeira, ou seja, que exista soluo conhecida para o problema com n
anis.
Precisamos mostrar que P(n+1) tambm verdadeira, isto , que, dados n+1 anis, possvel movlos da primeira para a terceira respeitando as condies estipuladas.
Pela Hiptese de Induo, os n anis menores podem ser movidos para a torre central. Em seguida,
pode-se mover o anel maior da primeira para a terceira torre. Finalmente, os n anis da torre central
podem ser movidos para a terceira torre. Ento os n+1 anis foram movidos da primeira para a
terceira torre.
Concluso Geral: O problema das Torres de Hani sempre pode ser resolvido2.
3.8.3 Determinao do Nmero de Subconjuntos de um Conjunto

Como provar que um conjunto tem sempre 2n subconjuntos?
Usaremos a funo proposicional definida para n N:

P(n): qualquer conjunto com n elementos tem 2n subconjuntos.
Base de Induo:
Seja n = 0, n N.
P(0) refere que um conjunto que no possui elementos tem 1 (isto 20) subconjuntos. Isto
claramente verdadeiro, pois o nico subconjunto do conjunto vazio ele prprio.
Se voc gostou, tente visitar:
http://www.pangea.ca/kolar/javascript/Hanoi/HTonWebE.html
http://www.netmud.com/~glenn/hanoi/
(predio da morte da Internet...)
Vaccaro & Canto
19

Passo de Induo:
Seja um certo n, n N, para o qual P(n) seja verdadeira, isto , para o qual qualquer conjunto com n
elementos tenha 2n subconjuntos.
Queremos mostrar que P(n+1) tambm verdadeira.
Para se obter um conjunto com n+1 elementos pode-se tomar um conjunto qualquer com n elementos
e adicionar mais um elemento.
Quantos subconjuntos o novo conjunto possui?
Pela hiptese de induo, o conjunto original possua 2n subconjuntos. A estes 2n subconjuntos
pode-se acrescentar o novo elemento ou no. Conseqentemente, teremos:
2n subconjuntos da verso original, mas sem o novo elemento
2n subconjuntos da verso original e com o novo elemento
Isto d 2n + 2n = 2.2n = 2n+1 subconjuntos.
Ento P(n+1) verdadeira. Vale o Passo de Induo.
Concluso Geral: ( n N )( P(n) ) V
Isto : todo o conjunto com n elementos tem 2n subconjuntos.
Vaccaro & Canto
20
4 Induo em Somatrios e Produtrios

4.1 Somatrios
Um somatrio uma forma de representao compacta de somas com vrios termos. A notao
comumente utilizada a de um (sigma, o s grego):
n
= t 0 + t 1 + ... + t n
k =0
Os elementos caractersticos da notao de somatrio so:
tk: o termo do somatrio. Define qual a forma dos termos a serem somados e em que posies o
valor da varivel de somatrio deve ser substituda.
k: a varivel de somatrio. Representa um ndice (ou seja, uma varivel interna) para definir qual
o termo que est sendo somado. Obviamente, a letra utilizada no faz diferena...
Extremos do somatrio: indicam os valores inicial e final para a varivel de somatrio.

n
Assim, a expresso
significa:
k =0
some os termos com forma tk substituindo a varivel interna k desde 0 at n.
4.1.1 Exemplos
n
(a).
k = 0 + 1 + 2 + ... + n
k =0
n
(b).
= 3 2 + 4 2 + ... + n 2
k =3
n
(c).
(1)
=( 1)1 + ( 1) 2 + ... + ( 1)n = 1 + 1 + ... + ( 1)n
i=1
(d).
k = 3 + 4
k =3
8
(e).
(k
+ 1) = (7 2 + 1) + (8 2 + 1)
k =7
3
(f).
i =0
i= 4
n
(g).
sen(
i ) = sen( 1) + sen( 2 ) + sen( 3 ) + ... + sen( n )
i=1
4.1.2 Observaes
A notao de somatrio exige certos cuidados. Os extremos de um somatrio sempre so dispostos
do menor (abaixo) para o maior (acima). Isto justifica porque, por exemplo,
Vaccaro & Canto
21
k = 3 + 4
k = 0
k =3
k =4
Outro aspecto importante observar que se o extremo final e o extremo inicial do somatrio forem
iguais, ento o somatrio composto por apenas um termo! Por exemplo:
2
k =2
k 4 24
=
3
3
4.1.3 Sries ou Somatrios Infinitos

Um tipo especial de somatrio obtido quando se soma um nmero infinito de termos. A este tipo de
somatrio d-se o nome Srie. Por exemplo:
+
k = 0 + 1 + 2 + 3 + ...
k =0
+
k = 1 + 2 + 3 + ...
k =1
2
k =0
= 1+
1 1
1
+ 2 + 3 + ...
2 2
2
Recorde-se que pelo menos um tipo de srie conhecido desde o ensino mdio: as somas de
progresses geomtricas infinitas:
+
= 1 + q + q 2 + q 3 + q 4 + q 5 + ... =
k =0
1
1 q
desde que
1 < q < 1.
4.1.4 Propriedades Vlidas em Somatrios

Para se poder tirar proveito da notao de somatrio necessrio compreender como representar
certas operaes comumente realizadas. A seguir sero apresentadas as principais operaes
realizadas com somatrios3:
n 1
Separao do ltimo termo:
tk =
k =0
Separao do primeiro termo:
= t0 +
k =0
t
n
(c.t k ) = c.
k =0
(t k + pk ) =
k =0
n
Soma de constante:
k =0
k =0
Separao do termo em parcelas:
k =1
Multiplicao por uma constante:
+ tn
k =0
tk +
k =0
k =0
1 = c.(n + 1)
c = c.
(pois de 0 a n h n+1 termos!)
k =0
A justificativa da validade das operaes acima fcil, bastando escrever o somatrio por extenso e reagrupar de forma
conveniente. Por este motivo no ser apresentada neste material, sendo deixada ao encargo do leitor.
Vaccaro & Canto
22
4.1.5 Exemplo
+
Sabendo que
k =0
1
= 2 , encontre quanto vale
2k
2
k =1
Soluo:
Este o tpico caso de utilizar a propriedade de separao do primeiro termo:
+
k =0
1
1
= 0 +
k
2
2
+
Como
k =0
k =1
1
= 1+
2k
1
= 2 , ento
2k
Ento:
2
k =1
2k
1
=
2k
k =1
k =1
k =1
2
k =0
1
=
2k
2
k =0
1 = 2 1 = 1.
=1
4.1.6 Exemplo
+
Sabendo que
k =0
1
= 2 , encontre quanto vale
2k
2
k =2
Soluo:
Usando a propriedade de separao do primeiro termo, temos:
+
2
k =0
1
1
+ 1+
0
2
2
2
k =2
2 =2
k =2
k =0
1
2
Usando tambm a propriedade de multiplicao por uma constante, podemos resolver o problema:
+
2
k =2
k =2
Ento:
= 5.
2
k =2
= 5.(
2
k =0
1
1
1
5
1 ) = 5.( 2 1 ) = 5.( ) =
2
2
2
2
5
2
4.2 Produtrios
Um produtrio uma forma de representao compacta de produtos com vrios termos. A notao
comumente utilizada a de um (pi, o p grego):
n
= t 0 .t 1...t n
k =0
Os elementos caractersticos da notao de produtrio so:
tk: o termo do produtrio. Define qual a forma dos termos a serem multiplicados e em que
posies o valor da varivel de ndice deve ser substituda.
k: a varivel de ndice. uma varivel interna que define qual o termo que est sendo
multiplicado. Obviamente, a letra utilizada no faz diferena...
Extremos do produtrio: indicam os valores inicial e final para a varivel de ndice.
Vaccaro & Canto
23
Assim, a expresso
significa:
k =0
multiplique os termos com forma tk substituindo a varivel interna k desde 0 at n.
4.2.1 Exemplos
n
(a).
k = 1.2.3...n = n!
k =1
6
(b).
= 3 2.4 2.5 2.6 2
i=3
(c).
j=0
j= 4
4.2.2 Propriedades Vlidas em Produtrios

Da mesma forma que na notao de somatrio, algumas propriedades so vlidas para os
produtrios. No entanto, deve-se observar que NO SO AS MESMAS PROPRIEDADES dos
somatrios!
n
Separao do ltimo termo:
k =0
n
Separao do primeiro termo:
t
k =0
(c.t
.t n
t
k =1
c = c
) = c n+1.
k =0
Multiplicao de constante:
k =0
= t 0 .
Multiplicao por uma constante:
n 1
k =0
n +1
(pois de 0 a n h n+1 termos!)
k =0
4.3 Induo em Somatrios e Produtrios

4.3.1 Exemplo
n
Mostre por induo matemtica que ( n N* )(
(2.i 1) = n
i=1
Soluo:
Base de Induo:
n
(2.i 1) =
i=1
(2.i 1) = 2.1 1 = 1
i=1
Mas n = 1 = 1
2

Vaccaro & Canto
24

Passo de Induo:
Seja um certo n N*.
n +1
Supondo que
(2.i 1) = n 2 , ento afirmo que
i=1
n +1
Mas
i=1
(2.i 1) + (2.(n + 1) 1) = n
HI
+ 2.n + 2 1 = n 2 + 2.n + 1 = (n + 1) 2
i=1
Ento
i=1
(2.i 1) =
(2.i 1) = (n + 1)
(2.i 1) = n 2
i=1
n +1
(2.i 1) = (n + 1)
i=1

Concluso Geral: Como valem Base e Passo de Induo, ento ( n N* )(
(2.i 1) = n
).
i=1
4.3.2 Exemplo
n
i =
i=1
n.(n + 1)
)
2
Soluo:
Base de Induo:
n
i = 1
i=
i=1
i=1
E
n.(n + 1) 1.2
=
=1
2
2

Passo de Induo:
Seja um certo n N*.
n
Supondo que
i =
i=1
n.(n + 1)
, ento afirmo que
2
n +1
i =
i=1
(n + 1).(n + 2)
.
2
Mas
n +1
i=1
i=1
i = i + (n + 1) =
HI
n.(n + 1)
n.(n + 1) + 2.(n + 1) n 2 + 3.n + 2
+ (n + 1) =
=
2
2
2
E
(n + 1).(n + 2) n 2 + 3.n + 2
=
2
2
Ento
Vaccaro & Canto
i =
i=1
n.(n + 1)
25
n +1
i =
i=1
(n + 1).(n + 2)
.
2

n
Concluso Geral: Como valem Base e Passo de Induo, ento ( n N* )(
i =
i=1
n.(n + 1)
).
2
4.3.3 Exemplo
i=1
n.(n + 1).( 2.n + 1)

)
6
Soluo:
Base de Induo:
1
i = i
2
i=1
= 12 = 1
i=1
e
n.(n + 1).( 2.n + 1) 1.2.(2.1 + 1) 1.2.3
=
=
=1
6
6
6

Passo de Induo:
Seja um certo n N*.
n
Supondo que
i
i=1
n.(n + 1).( 2.n + 1)

, ento afirmo que
6
n +1
i=1
(n + 1).(n + 2).( 2.(n + 1) + 1)

.
6
Mas
n +1
i2 =
i=1
i=1
i 2 + (n + 1) 2 =
n.(n + 1).(2.n + 1) + 6.(n + 1) 2 2.n 3 + 9.n 2 + 13.n + 6

n.(n + 1).( 2.n + 1)
+ (n + 1) 2 =
=
6
6
6
E
(n + 1).(n + 2).(2.(n + 1) + 1) (n 2 + 3.n + 2).(2.n + 3) 2.n 3 + 6.n 2 + 4.n + 3.n 2 + 9.n + 6
=
=
6
6
6
Mas:
2.n 3 + 6.n 2 + 4.n + 3.n 2 + 9.n + 6 2.n 3 + 9.n 2 + 13.n + 6
=
6
6
Ento
n
i=1
i2 =
n.(n + 1).(2.n + 1)
n +1
i=1
(n + 1).(n + 2).(2.n + 3)
.
6

Concluso Geral: Como valem Base e Passo de Induo, ento
n
( n N* )(
i
i=1
n.(n + 1).(2.n + 1)
).
6
Vaccaro & Canto
26
4.3.4 Exemplo: Soma de Progresso Geomtrica

Seja a progresso geomtrica
{ a, a.x, a.x2, a.x3, ... } = { a.xn, n 0 }
com x 1.
possvel encontrar uma frmula para a soma dos n+1 primeiros termos desta progresso?
Soluo:
A soma dos n+1 primeiros termos da progresso pode ser escrita como:
n
S(n) =
a.x i = a.
i=0
i=0
Para encontrarmos um termo geral para o somatrio em questo remontamos a uma propriedade
algbrica conhecida:
1 x = 1.(1 x )
1 x 2 = (1 + x ).(1 x )
1 x 3 = (1 + x + x 2 ).(1 x )
1 x 4 = (1 + x + x 2 + x 3 ).(1 x )
...
1 x n = (1 + x + x 2 + ... + x n1 ).(1 x )
1 x n+1 = (1 + x + x 2 + ... + x n1 + x n ).(1 x )
Reescrevendo a ltima linha de forma diferente, pois x 1, temos:

1 + x + x 2 + ... + x n1 + x n =
1 x n+1
1 x
Para verificarmos a validade desta frmula, necessrio provar, por induo matemtica, a seguinte
proposio:
n
( n N )(
i=0
1 x n+1
)
1 x
Base de Induo:
Seja n = 0, n N.
n
i=0
xi =
= x0 = 1
i=0
1 x n+1 1 x 0 +1 1 x
=
=
=1
1 x
1 x
1 x
Como so iguais, vale a Base de Induo.

Passo de Induo:
n
Seja um certo n N. Suponhamos que, para este n,
xi =
i=0
n +1
Precisamos mostrar, ento, que
xi =
i=0
1 x n+1
.
1 x
1 x n+ 2
1 x
Mas, separando o ltimo termo temos:
Vaccaro & Canto
n +1
27
x = x
i
i=0
HI
+ x n+1 =
i=0
1 x n+1
+ x n+1
1 x
Fazendo o mnimo mltiplo comum temos:

1 x n+1
1 x n+1 + x n+1.(1 x ) 1 x n+1 + x n+1 x.x n+1 1 x n+ 2
+ x n+1 =
=
=
1 x
1 x
1 x
1 x
Ento:
n +1
x
i=0
1 x n+ 2
1 x

n
Concluso: ( n N )(
x
i=0
1 x n+1
)
1 x
Isto significa, em relao ao problema original, que

n
S(n) =
i=0
a.x i = a.
i=0
x i = a.
1 x n+1
1 x
Assim, a frmula da soma dos n+1 primeiros termos de uma PG dada por:
S(n) = a.
1 x n+1
, para n N.
1 x
Vaccaro & Canto
28
5 Induo em Frmulas de Recorrncia

5.1 Um Exemplo Inicial
Encontre uma frmula fechada que determine o total de somas realizadas pelo seguinte algoritmo:
Para i = 1 to n
Para j = 1 to i-1
S=S+k+1
Fim para
T=T+S
Fim para
Uma anlise mais criteriosa da evoluo deste algoritmo mostra que o total de somas evolui de
acordo com a seguinte tabela:
n
1
2
3
4
5
...
Somas no Passo n
1
3
5
7
9
...
Total de Somas
1
1+3=4
1+3+5=9
1 + 3 + 5 + 7 = 16
1 + 3 + 5 + 7 + 9 = 25
...
A tabela sugere que o total de somas seja dado, em funo da entrada n, da seguinte forma:
1 + 3 + 5 + 7 + ... + (2.n 1) = n 2
n
Em notao mais correta, podemos escrever:
(2.i 1) = n
i=1
No entanto, esta uma expresso que PARECE ser verdadeira. necessrio determinar sua
validade atravs de algum raciocnio formal. Neste caso, o raciocnio mais indicado o raciocnio por
Induo Matemtica.
n
A prova por induo da veracidade da proposio ( n N* )(
(2.i 1) = n
) j foi feita
i=1
anteriormente e encontra-se no item 3.5.2.

Em termos prticos, isto significa que o algoritmo em questo tem complexidade polinomial (n2) em
funo da entrada n. Isto representa baixa complexidade e garante boa eficincia para entradas de
tamanho elevado.
Vaccaro & Canto
29
5.2 Exemplos
5.2.1 Exemplo
u(1) = 1
Determine uma frmula fechada para a definio indutiva
2
u(n + 1) = 2(u(n)) 1 n 1
Soluo:
Comecemos por encontrar uma expresso que represente a recurso acima:

n
1
2
3
4
...
Expresso
u(1) = 1
u(2) = 2(u(1))2 1 = 2(1)2 1 = 2 1 = 1
u(3) = 2(u(2))2 1 = 2(1)2 1 = 2 1 = 1
u(4) = 2(u(3))2 1 = 2(1)2 1 = 2 1 = 1
...
A expresso que parece valer u(n) = 1.

Provemos sua veracidade por Induo Finita:
Usaremos a seguinte proposio: ( n N* )( u(n) = 1 )
Base de Induo:
Seja n = 1, n N*.
Ento u(n) = 1, como sabido da definio indutiva dada.
Passo de Induo:
Seja um certo n N*.
Afirmao: u(n) = 1 u(n+1) = 1.
Prova: Da definio indutiva, sabia-se que: u(n+1) = 2(u(n))2 1.
HI
Ento: u(n + 1) = 2(u(n)) 1= 2(1) 1 = 2 1 = 1

2
Logo, u(n+1)=1.
Concluso: ( n N* )( u(n) = 1 ) V.
Isto significa que a definio recursiva
u(1) = 1
2
u(n + 1) = 2(u(n)) 1 n 1
pode ser trocada simplesmente por

( n N* )( u(n) = 1 ).
5.2.2 Exemplo
n
Encontre uma frmula fechada para o somatrio
k.(k + 1)
k =1
Vaccaro & Canto
30
Soluo:
Comecemos por encontrar uma expresso que represente a soma dada:

n
Expresso
1
k.(k + 1) = 1.(1 + 1) = 2
k =1
k.(k + 1) = 1.(1 + 1) + 2.(2 + 1) = 2 + 6 = 6 = 3
k =1
3
k.(k + 1) = 1.(1 + 1) + 2.(2 + 1) + 3.(3 + 1) = 2 + 6 + 12 = 3 + 12 = 12 = 4
...
...
k =1
A expresso que parece valer
k.(k + 1) = n + 1 .
k =1

n
Usaremos a seguinte proposio: ( n N* )(
k.(k + 1) = n + 1 )
k =1
Base de Induo:
Seja n = 1, n N*.
1
Como visto anteriormente
k.(k + 1) = 1.(1 + 1) = 2
k =1
n
1
=
n +1 2
Por outro lado,
Como as expresses so iguais, vale a Base de Induo.

Passo de Induo:
Seja um certo n N*.
n
Afirmao:
k =1
1
n
=
k.(k + 1) n + 1
n +1
n +1
k.(k + 1) = n + 2 .
k =1
Prova: Separando o ltimo termo da soma temos

n +1
k =1
1
=
k.(k + 1)
n.(n + 2) + 1
k.(k + 1) + (n + 1).(n + 1 + 1) = n + 1 + (n + 1).(n + 2) = (n + 1).(n + 2)

HI
k =1
Mas
n.(n + 2) + 1
n 2 + 2.n + 1
(n + 1) 2
n +1
=
=
=
(n + 1).(n + 2) (n + 1).(n + 2) (n + 1).(n + 2) n + 2
n +1
Ento:
n +1
k.(k + 1) = n + 2
k =1
Vaccaro & Canto
31
Concluso: ( n N* )(
k.(k + 1) = n + 1 ) V.
k =1
5.2.3 Exemplo
n
1 + k
Encontre uma frmula fechada para o produtrio
k =1
Soluo:
Comecemos por encontrar uma expresso que represente o produto dado:

n
Expresso
1
1 + k = 1 + 1 = 2
k =1
2
1 + k = 1 + 1.1 + 2 = 2. 2 = 3
k =1
3
3 4
1 + k = 1 + 1.1 + 2 .1 + 3 = 2. 2 . 3 = 4
...
...
k =1
1 + k = n + 1 .
k =1

n
Usaremos a seguinte proposio: ( n N* )(
1 + k = n + 1 )
k =1
Base de Induo:
Seja n = 1, n N*.
1
Como visto anteriormente
1 + k = 1 + 1 = 2
k =1
Por outro lado, n+1 = 1+1 = 2

Como as expresses so iguais, vale a Base de Induo.
Passo de Induo:
Seja um certo n N*.
n
Afirmao:
k =1
1 + = n + 1
k
n +1
1 + k = n + 2 .
k =1
Prova: Separando o ltimo termo da soma temos

n +1
k =1
1 + =
k
1 HI
1 + k .1 + n + 1 =(n + 1).1 + n + 1
k =1
Mas
(n + 1).1 +
1
n + 1 + 1
= (n + 1).
=n+2
n + 1
n +1
Vaccaro & Canto
n +1
Ento:
32
1 + k = n + 2
k =1

n
Concluso: ( n N* )(
1 + k = n + 1 ) V.
k =1
5.2.4 Exemplo
u(1) = 1
Determine uma frmula fechada para a definio indutiva u(2) = 5

u(n + 1) = u(n) + 2.u(n 1) n 2
Soluo:
Determinao da expresso que representa a recurso acima:

n
1
2
3
4
5
...
Expresso
u(1) = 1
u(2) = 5
u(3) = u(2)+2.u(1) = 5 + 2.1 = 7
u(4) = u(3)+2.u(2) = 7 + 2.5 = 17
u(5) = u(4)+2.u(3) = 17 + 2.7 = 31
...
Intuio
21
4+1
81
16 + 1
32 1
...
A expresso que parece valer u(n) = 2n + (-1)n.

Usaremos a seguinte proposio: ( n N* )( u(n) = 2n + (-1)n )
Base de Induo:
Seja n = 1, n N*.
u(n) = 1
2n + (-1)n = 21 + (-1)1 = 2 + (-1) = 1
Passo de Induo:
Usaremos o Princpio Fraco de Induo, pois precisaremos de informaes sobre u(n) e u(n-1)...
Seja um certo n N*. Suponhamos que para qualquer k, 1 k n, u(k) = 2k + (-1)k.
Queremos mostrar que u(n+1) = 2n+1 + (-1)n+1.
) (
HI
u(n + 1) = u(n) + 2.u(n 1) = 2 n + ( 1)n + 2. 2 n1 + ( 1)n1
(2
+ ( 1) n + 2. 2 n 1 + ( 1) n 1 = 2 n + ( 1) n + 2.2 n 1 + 2.( 1) n 1 = 2 n + 2.2 n 1 + ( 1) n + 2.( 1) n 1 =
= 2 + 2 ( 1)
n
n1
+ 2.( 1)
n 1
= 2.2 n + ( 1)n1 = 2 n+1 + ( 1)n1
Como (-1)n-1 = (-1)n+1, ento

2 n+1 + ( 1)n1 = 2 n+1 + ( 1)n+1
Ento u(n+1) = 2n+1 + (-1)n+1.

Vaccaro & Canto
33
Concluso: ( n N* )( u(n) = 2n + (-1)n ) V.
5.3 Complexidade de Algoritmos

5.3.1 Definio
O uso de recorrncias em Cincia da Computao comum no clculo da complexidade, C(n), de um
algoritmo em funo de seu tamanho de entrada, n. A complexidade mede o custo computacional da
realizao de operaes elementares no algoritmo e um indicador da eficincia do mesmo para a
resoluo de problemas de grande magnitude. Assim, se o custo computacional em tempo ou
memria aumenta na forma de um polinmio em relao ao tamanho da entrada, diz-se que o
algoritmo tem complexidade de ordem polinomial. Se, no entanto, o custo elevar-se rapidamente com
o aumento do tamanho da entrada, o algoritmo pode tornar-se rapidamente ineficiente para a soluo
de problemas grandes. o caso de algoritmos com complexidade exponencial.
5.3.2 Exemplo
A complexidade C(n) de um algoritmo de diviso e conquista, que divide um problema de tamanho n
em dois outros de tamanho, pode ser dada atravs da seguinte recorrncia
C(1) = a
C(n) = 2.C( n ) + b n > 1
onde
n uma potncia de 2.
Ser possvel definir a complexidade deste algoritmo?

Como n uma potncia de 2, a recurso
C(1) = a
C(n) = 2.C( n ) + b n > 1
pode ser reescrita atravs da seguinte mudana de variveis: n = 2 k , k 0. Ento:

C(1) = a
k
k 1
k
C(2 ) = 2.C(2 ) + b 2 > 1
ou ainda:
P(0) = a
P(k ) = 2.P(k 1) + b k > 1
Esta ser a expresso atravs da qual encontraremos a complexidade do algoritmo.

Soluo:
Primeiramente devemos determinar uma expresso para expressar a complexidade do algoritmo em

questo:
P(0) = a
P(1) = 2.P(0) + b = 2.a + b
P( 2) = 2.P(1) + b = 2.( 2.a + b) + b = 2 2.a + 2.b + b
P(3) = 2.P(2) + b = 2.( 2 2.a + 2.b + b) + b = 2 3.a + 2 2.b + 2.b + b

P( 4) = 2.P(3) + b = 2.( 2 3.a + 2 2.b + 2.b + b) + b = 2 4.a + 2 3.b + 2 2.b + 2.b + b

Vaccaro & Canto
34
k 1
P(k ) = 2 k .a +
2 .b
i
i=0
Usando as propriedades dos somatrios e reescrevendo a expresso temos:

k 1
P(k ) = 2 k .a + b.
i=0
Como j provado anteriormente, podemos escrever

k 1
i =0
2i =
1 2 k 1+1
= 2k 1
1 2
Ento a expresso que parece valer :

P(k ) = 2 k .a + (2 k 1).b
Ou ainda:
P(k ) = 2 k .(a + b) b
Resta ainda provar, por Induo Matemtica, que esta expresso realmente representa a
complexidade do algoritmo de Diviso e Conquista em questo.
Prova por Induo Finita:
Usaremos a seguinte proposio: ( k N* )( P(k ) = 2 k .(a + b) b )

Base de Induo:
Seja k = 0, k N. Ento:
P(0) = a
2 k .(a + b) b = 2 0.(a + b) b = a + b b = a
Passo de Induo:
Seja um certo k N.
Afirmao: P(k ) = 2 k .(a + b) b P(k + 1) = 2 k +1.(a + b) b
Da recurso inicial temos que:
HI
P(k + 1) = 2.P(k ) + b = 2. 2 k .(a + b) b + b = 2 k +1.(a + b) 2.b + b = 2 k +1.(a + b) b

Concluso: A complexidade deste algoritmo de Diviso e Conquista sempre dada por
P(k ) = 2 k .(a + b) b ,
k0
Lembrando que n = 2 k , temos que

C(n) = n.(a + b) b
o que significa que este algoritmo de ordem linear com relao ao tamanho do problema de
entrada, o que resulta em excelente eficincia para lidar com problemas de grande magnitude.
Neste caso escrevemos
C(n) ~ O(n)
Vaccaro & Canto
35
6 Exerccios
1.
Utilize o Princpio da Induo Matemtica para verificar se:

(a)
0
1
2
3
n
n+2
+ 1 + 2 + 3 + ... + n = 2 - n , n N
0
2
2
2
2
2
2
(b)
(3i 2)(3i + 1) = 3n + 1, n N*
i =1
n
(c)
i(i + 1) =
i =1
n(n + 1)(n + 2)
, n N*
3
(d) (a 1) 1 + a + a 2 + ... + a n = a n+1 1, n N

n
(e)
(r . r! ) = (n + 1)! - 1, n N
r =0
(f) n! > 2 n , n N-{0,1,2,3}

(g) 2 n (n+1)! , n N
(h)
1
1
1
2
1
3
+ ... +
1
n
> n , n N-{0,1}
(i)
n3 n + 3 mltiplo de 3, n N
(j)
4 n + 15n 1 mltiplo de 9, n N
(k) n 4 + n 3 2n 2 par, n N
(l)
5 2n+1 + 3 4n+2 mltiplo de 14
(m) A soma de quaisquer trs nmeros naturais consecutivos um mltiplo de 3

(n) A soma dos cubos de quaisquer trs nmeros naturais consecutivos divisvel por 9
2
(o)
n(n + 1)
i3 =
, n N*
2
i =1
(p) 3n < n! , n N, n > 7
2.
Para cada expresso abaixo, encontre uma frmula que permita calcul-la seja qual for o
nmero de elementos e prove por induo os resultados obtidos.
(a) 1 + 5 + 9 + ... + ( 4n + 1) = ...
(b) 2 + 5 + 8 + ... + (3n 1) = ...
n
(c)
i(i + 1) = ...
i =1
n
(d)
2.3
i-1
= ...
i =1
Vaccaro & Canto
(e)
36
1- i = 1- 2 .1 3 .1 4 ... 1- n = ...
i= 2
3.
A funo de Ackerman, que leva N2 em N uma funo que cresce muito rapidamente. Ela
dada por
A(1,0) = 2
y N
A(0,y) = 1
A( x, y ) =
A(x,
0
)
x
2
x N, x 2
=
+
A(x + 1,y + 1) = A(A(x,y + 1),y) x N, y N
Calcule A ( 2, 1 ).
4.
Encontre uma frmula para calcular o total obtido qualquer que seja o nmero de elementos.
Prove por induo o resultado obtido.
12 , 2 2 12 , 3 2 2 2 + 12 , 4 2 3 2 + 2 2 12 , 5 2 - 4 2 + 3 2 2 2 + 12 ,...
5.
Encontre uma frmula para a soma dos n primeiros termos da seqncia abaixo e prove-a por
induo:
1, ( 1 + 2 ), ( 1 + 2 + 22 ), ..., ( 1 + 2 + 22 + ... + 2n-1 ).
6.
Considere a seguinte disposio de nmeros mpares:

1
3
11
13
15
17
19
...
...
...
...
...
Encontre uma frmula para a soma dos elementos da n-sima linha e prove-a por induo.
7.
Descubra o erro na seguinte demonstrao por induo:

Pn: em um conjunto de n pessoas no qual h uma mulher, s h mulheres.
Demonstrao:
P1 verdadeira, pois um conjunto de uma pessoa no qual h uma mulher, s h mulheres.
Suponhamos que Pn verdadeira para algum n N. Vamos mostrar que Pn+1 verdadeira. Seja
A um conjunto com n+1 pessoas, no qual h uma mulher M.
numeram-se as pessoas de 1 a n+1, de modo que a mulher M tenha o nmero n;
no conjunto das pessoas 1, 2, ..., n h uma mulher. Logo, por hiptese de induo, neste
conjunto s h mulheres;
no conjunto das pessoas 2, 3, ..., n, n+1 h uma mulher. Logo, tambm por hiptese de induo,
as pessoas 2, ..., n+1 so mulheres.
Concluso: as pessoas 1, 2, ..., n+1 so mulheres. Isto , o conjunto A s tem mulher. Logo, Pn+1
verdadeira.
Vaccaro & Canto
37
8.
4a n1
4n
a n = n
Prove por induo que a soluo da equao de recorrncia
an =
.
n!
a 0 = 1
9.
Prove por induo que a soluo da equao de recorrncia

an =
a n+1 = 2an + 4 n
a 0 = 1
1
1
.( 2)n + .( 4)n
2
2
10. Solucione as seguintes equaes de recorrncia:

(a) an = an-1 + 2, a0 = 1
(b) an = 2.an-1, a0 = 1
11. Considerando a seqncia de Fibonacci, que definida recursivamente por :
f1 = 1,
f2 = 1
fn = fn-1 + fn-2, n 3
Pede-se:
n
(a) Faa uma conjectura quanto soma
f .
i
i=1
(b) Confirme o resultado obtido no item anterior, usando Induo Matemtica.

(c) Mostre que n 1 , fn < ( 7/4 )n.
12. Prove usando o Princpio da Induo Matemtica, que
m
i
i=1
13. Prove, usando o Princpio da Induo Matemtica, que
i=1
Dica: Use que
i =
i=1
i =
i=1
i=1
ai .
i .
n(n + 1)
.
2
14. Prove que sen(x) + sen(3x) + sen(5x) + ...+ sen((2n-1)x) = ( sen(n.x) )2 (sen(x) )-1, para todo n
1 e todo x tal que sen(x) 0.
15. Uma pitoresca tribo nativa tem apenas trs palavras em sua lngua :cuco , cuca , caco. Novas
palavras so compostas pela concatenao destas palavras em qualquer ordem, por exemplo
cucacucocacocuca .Use a induo ( para o nmero de subpalavras na palavra ) para provar que
qualquer palavra nesta lngua tem um nmero par de letras c.
Vaccaro & Canto
38
16. Considere a funo

power2 :: Integer Integer
power2(0) = 1
power2(n) = 2 * power2(n-1)
Mostre que, para todos os nmeros n naturais, (n+1)! power2(n)
17. A operao append, ++, pode ser definida pelas expresses
[] ++ lst2 = lst2
(x:lst1) ++ lst2 = x : (lst1 ++ lst2)
Use esta definio para mostrar que, para todas as listas x, y e z de tamanho finito,
x ++ (y ++ z) = (x ++ y) ++ z
18. Mostre que ( n N )( 3.5 2n+1 + 2 3n+1 mltiplo de 17 )
Vaccaro & Canto
39
7 Respostas dos Exerccios

1.
Ateno! Neste exerccio somente so apresentadas dicas para o passo de induo. As solues
no esto completas.
n +1
(a).
i=0
i
2i
n +1
(b).
2
i=0
n+3
n + 2 n +1
n +1
= 2+ n+1 = ... = 2 n+1
n +1
n
2
2
2
2
n +1
(3i 2)(3i + 1) = (3i 2)(3i + 1) + (3(n + 1) 2)(3(n + 1) + 1) = ... = 3n + 4

i =1
i =1
n(n + 1)(n + 2)
(n + 1)(n + 2)(n + 3)
i(i + 1) + (n + 1)((n + 1) + 1) =
+
=
i
(
i
1
)
+ (n + 1)(n + 2) =
3
3
i=1
i=1
n +1
(c).
(d). (a 1)(1 + a + a 2 + K + a n + a n+1 ) = (a - 1)(1 + a + a 2 + K + a n ) + (a - 1)a n+1 =

= (a n+1 1) + (a 1)a n+1 = L = a (n+ 2 ) 1.
(e).
n +1
r =0
r =0
(r . r! ) = (r . r! ) + ((n + 1).(n + 1)! ) = ((n + 1)! - 1 ) + (n + 1).(n + 1)! =

= (1 + (n + 1))(n + 1)! 1 = (n + 2)(n + 1)! 1 = (n + 2)! 1 = ((n + 1) + 1)! 1.
(f). (n + 1)! = (n + 1)n! > (n + 1) 2 n > 4.2 n > 2.2 n = 2 n+1.
(g). 2 n+1 = 2.2 n 2(n + 1)! (n + 2)(n + 1)! = (n + 2)!
n +1
(h).
i=1
=
i
i =1
1
1
1
+
> n+
=
i
n +1
n +1
n(n + 1) + 1
n +1
>
n2 + 1
n +1
n +1
n +1
= n +1
(i). (n + 1) 3 (n + 1) + 3 = (n + 1)((n + 1) 2 1) + 3 = (n + 1)(n 2 + 2n) + 3 =

= (n 3 n + 3) + 3n 2 + 3n = 3 + 3(n 2 + n) = 3 ( + n 2 + n) para um certo Z.
(j). 4 n+1 + 15(n + 1) 1 = 4.4 n + 15n + 14 = 4( 4 n + 15n 1) 45n + 18 = 4(9 ) + 9(-5n + 2) = 9( 4 5n + 2)

para um certo Z.
Vaccaro & Canto
40
(k). (n + 1) 4 + (n + 1) 3 2(n + 1) 2 = (n + 1) 2 ((n + 1) 2 + (n + 1) 2) =

= (n 2 + 2n + 1)(n 2 + 3n) = (n 4 + n 3 2n 2 ) + ( 4n 3 + 9n 2 + 3n) = 2 + 2(2n 3 ) + 9n 2 + 3n
para um certo Z.
Para continuar mostre por induo que 9n 2 + 3n par, n N , e assim voc poder escrev-lo
como o dobro de um nmero inteiro.
(l). 5 2( n+1)+1 + 3 4( n+1)+ 2 = 5 2n+1.5 2 + 3 4n+ 2.3 4 = 25(5 2n+1 + 3 4n+ 2 ) + 56.3 4n+ 2 =
= 25(14 ) + 14( 4.3 4n+ 2 ) = 14(25 + 4.3 4n+ 2 ) para um certo Z.
(m). (n + 1) + (n + 2) + (n + 3 ) = [n + (n + 1) + (n + 2)] + (n + 3 ) n = 3 + 3 = 3( + 1)
para um certo Z.
(n). (n + 1) 3 + (n + 2) 3 + (n + 3) 3 = n 3 + (n + 1) 3 + (n + 2) 3 + (n + 3) 3 n 3 =
= 9 + (n + 3) 3 n 3 = 9 + 9n 2 + 27n + 27 = 9( + n 2 + 3n + 3)
para um certo Z.
2.
Abaixo encontram-se apenas as frmulas e dicas para os passos de induo.
n
(a).
(4i + 1) = (n + 1)(2n + 1) , n N
i =0
n +1
Dica:
i=0
( 4i + 1) =
(b).
i=1
k +1
i =1
(c).
(4i + 1) + 4(n + 1) + 1 = (n + 1)(2n + 1) + 4(n + 1) + 1 = 2n
+ 7n + 6
i=0
(3i 1) =
n(3n + 1)
, n N *
2
(3n 1) =
Dica:
(3i 1) + 3(k + 1) 1 =
i =1
i(i + 1) = n + 1 , n N
k(3k + 1)
3k 2 + 7k + 4
+ 3(k + 1) 1 =
2
2
i=1
k +1
Dica:
i =1
1
=
i(i + 1)
k(k + 2) + 1
k +1
i(i + 1) + (k + 1)((k + 1) + 1) = k + 1 + (k + 1)((k + 1) + 1) = (k + 1)(k + 2) = L = k + 2

i =1
(d).
2.3
i-1
= 3 n 1 , n N *
i=1
Vaccaro & Canto
k +1
Dica:
i =1
(e).
2.3 i-1 =
41
2.3
i =1
i-1
+ 2.3 ( k +1)1 = 3 k 1 + 2.3 k = 3.3 k 1 = 3 k +1 1
1 i = n , n N - {0,1}
i= 2
k +1
Dica:
i= 2
1
1 =
i
1 i 1 k + 1 = k 1 k + 1 = L = k + 1
i= 2
3.
A( 2, 1 ) = A( A( 1, 1 ), 0 )=A( A( A( 0, 1 ), 0 ), 0 ) = A( A( 1, 0 ), 0 ) = A( 2, 0 ) = 2 + 2 = 4
4.
n 2 (n 1) 2 + (n 2) 2 (n 3) 2 + K 12 =
n(n + 1)
, n N * .
2
Dica passo de induo:

(n + 1) 2 ((n + 1) 1) 2 + ((n + 1) 2) 2 ((n + 1) 3) 2 + K12 =
= (n + 1) 2 (n 2 (n 1) 2 + (n 2) 2 K12 ) = (n + 1) 2
n(n + 1)
(n + 1)(n + 2)
= ... =
2
2
5.
Dica: Para encontrar uma frmula para a soma dos n primeiros elementos da seqncia, observe
primeiro que cada elemento dado por:
1 + 2 + 2 2 + K + 2 k 1 = 2 k 1.
Assim,
1 + (1 + 2) + (1 + 2 + 2 2 ) + K + (1 + 2 + 2 2 + K + 2 n1 ) = (21 1) + (2 2 1) + (2 3 1) + K + (2 n 1) =
= 21 + 2 2 + 2 3 + K + 2 n n.1 = 2 n+1 2 n.
Agora prove por induo o resultado obtido, isto , mostre que:

1 + (1 + 2) + (1 + 2 + 2 2 ) + K + (1 + 2 + 2 2 + K + 2 n1 ) = 2 n+1 n 2, n N * .
Dica para o passo de induo:

1 + (1 + 2) + (1 + 2 + 2 2 ) + K + (1 + 2 + 2 2 + K + 2 n1 ) + (1 + 2 + 2 2 + K + 2 (n+1)1 ) =
= (2 n+1 n 2) + (1 + 2 + 2 2 + K + 2 n ) = (2 n+1 n 2) + (2 n+1 1) = 2.2 n+1 n 3
6.
[(n 1)n + 1] + [(n 1)n + 3] + [(n 1)n + 5] + K + [(n 1)n + (2n 1)] = n3 , n N* .
[((n + 1) 1)(n + 1) + 1] + [((n + 1) 1)(n + 1) + 3] + K + [((n + 1) 1)(n + 1) + (2(n + 1) 1)] =

Vaccaro & Canto
42
= [(n(n + 1) + 1] + [(n(n + 1) + 3] + K + [(n(n + 1) + (2n 1)] + [n(n + 1) + (2n + 1)] =

= [(n(n 1) + 2n + 1] + [(n(n 1) + 2n + 3] + K + [(n(n 1) + 2n + (2n 1)] + [n(n + 1) + (2n + 1)] =
= [(n(n 1) + 1] + [(n(n 1) + 3] + K + [(n(n 1) + (2n 1)] + +n(2n) + [n(n + 1) + (2n + 1)] =
= n 3 + n(2n) + [n(n + 1) + (2n + 1)] = L = n 3 + 3n 2 + 3n + 1 = (n + 1) 3 .
7.
A demonstrao est errada porque a propriedade que se quer demonstrar no depende de uma
varivel pertencente ao conjunto dos nmeros naturais, mas de sexo, e sexo no depende de n N.
8.
BI: P(0) verdade , pois a0 = 1.
PI: Seja n N. Ento: a n =
a n+1 =
4a n 4 4 n
=
n + 1 n + 1 n!
4n
4 n+1
a n+1 =
?
n!
(n + 1)!
4 n+1
=
(n + 1)!
Logo P(n) verdade para todo n 0 .

9.
1
1
1
1
4
1
1
1
a n+1 = 2a n + 4 n = 2 .2 n + .4 n + 4 n = .2 n+1 + 4 n + 4 n = .2 n+1 + 2.4 n = .2 n+1 + .4 n = .2 n+1 + .4 n+1

2
2
2
2
2
2
2
2
10.
(a). Usando as equaes de recorrncia dadas temos que
a0 = 1,
a1 = a0 + 2 = 1 + 2 = 3
a2 = a1 + 2 = 3 + 2 = 5
Mantida a tendncia dos exemplos calculados, devemos ter
a n = 2n + 1, n N
o que deve ser provado por induo .

Dica para o passo de induo: a n+1 = a (n+1)1 + 2 = a n + 2 = (2n + 1) + 2 = 2n + 3 .
(b). Usando as equaes de recorrncia dadas temos que

a0 = 1
a1 = 2 a0 = 2
a2 = 2 a1 = 2. 2 =4 = 22
Mantida a tendncia dos exemplos calculados, devemos ter
a n = 2 n , n N
o que deve ser provado por induo .

Vaccaro & Canto
43
Dica passo de induo: a n+1 = 2a (n+1)1 = 2a n = 2.2 n = 2 n+1 .
11.
n
(a).
= f n + 2 1.
i =1
(b).
BI: Seja n=1
1
f = f
i
i =1
= f1 = 1
i =1
f1+ 2 1 = f3 1 = 2 1 = 1 .
Portanto, a conjectura vlida para n=1.

n
PI: Seja um certo n N tal que
= fn+ 2 1. Devemos provar que a mesma vlida para n+1.
i =1
n +1
Sabemos que
f + f
fi =
i =1
n +1
i=1
n +1
Usando a HI, temos
f = f + f
i
i =1
HI
n +1
= fn+ 2 1 + fn+1 = fn+ 2 + fn+1 1 = fn+ 3 1
i =1
Pois, pela definio dos nmeros de Fibonacci, fk+3=fk+2+fk+1,

n
Ento:
= fn+ 2 1 , para todo inteiro n 1.
i =1
(c).
BI: Verificar a desigualdade para n=1:
f1 = 1 <
7
4
Logo, vale a BI.

k
7
PI: Consideremos vlida a sentena at um certo n N, isto , (k n) fk < .
7
Precisamos provar que isto implica que fn+1 <
4
n +1
Como fn+1 = fn + fn1, ento

Logo,
n
7 7
fn+1 = fn + fn1 < +
4 4
n 1
77

4 4
n 1
7
+
4
n 1
=(
7
7
+ 1)
4
4
n 1
11 7

4 4
n 1
7 7
<
4 4
n 1
7
=
4
n +1
pois
11
49 7
<3<
= .
4
16 4
Logo, vale o PI.
Vaccaro & Canto
44
12.
m
1
a i , donde a igualdade verdadeira.
i=1a mi = a mi =
i =1
BI: Se n=1,
PI: Seja n N. Se
i=1
a =
m
i
i=1
a i , ento devemos concluir que isto implica a validade da frmula
para n+1.
k +1
Mas:
i=1
a =
m
i
i=1
k +1 m
a
an =

i=k +1
m
i
i=1
ai am
=
+
k
1
i=1
a i a k +1 =
k +1
i=1
ai
que a frmula para n=k+1.

n
Logo, conclumos que
i=1
a =
m
i
i=1
a i . Vale o PI.
13.
BI: Seja n=1:
n
i3 =
i =1
= 13 = 1
i =1
n 2 (n + 1) 2 12 (1 + 1) 2 (2) 2
=
=
=1
4
4
4
Portanto, a igualdade verdadeira. Vale a BI.
n
PI: Seja n N*. Se
i
i =1
n 2 (n + 1) 2
, ento devemos concluir que isto implica na validade da frmula
4
para n+1.
Separando o ltimo termo do somatrio e depois usando a HI, temos
n +1
i =1
i3 =
+ (n + 1) 3 =
i=1
n 2 (n + 1) 2
(n + 1) 2 (n 2 + 4n + 4) (n + 1) 2 (n + 2) 2
+ (n + 1) 3 = ... =
=
4
4
4
Ento vale o PI.

14.
sen( x ) + sen(3 x ) + sen(5 x ) + ...... + sen(( 2n 1)x ) + sen(( 2n + 1)x ) =
=
sen 2 (nx )
sen 2 (nx ) + sen(( 2n + 1)x ) sen( x )
+ sen(( 2n + 1)x ) =
=
sen( x )
sen( x )
1 cos( 2nx )
+ sen( x )(sen(2nx ) cos( x ) + cos( 2nx ) sen( x ))
2
=
=
sen( x )
1 cos( 2nx )
sen( 2 x )
+ sen( 2nx )
+ cos( 2nx ) sen 2 ( x )
2
2
=
=
sen( x )
Vaccaro & Canto
45
1 cos( 2nx ) sen( 2 x )

1 cos( 2 x )
+
sen( 2nx ) + cos( 2nx )(
)
2
2
2
=
=
sen( x )
1 cos( 2n + 2)x
sen 2 ((n + 1)x )
2
=
=
sen( x )
sen( x )
15.
Definindo a funo proposicional
P(n) : "Toda palavra formada a partir de n subpalavras possui um nmero par de letras c "
BI: P(1) verdade , pois as palavras cuco , cuca , caco possuem duas letras c .
PI: Dada qualquer palavra da lngua, se uma palavra formada a partir de n subpalavras possui um
nmero par de letras c, ento devemos mostrar que uma palavra formada a partir de n+1 subpalavras
possui um nmero par de letras c:
Seja x uma palavra formada a partir de n subpalavras e y uma palavra formada a partir de n+1
subpalavras . Ento a palavra y de uma das formas : xcuco , xcuca , xcaco. Logo y possui um
nmero par de letras c , pois x possui um nmero par de letras c.
Concluso: P(n) verdade para todo n N.
16.
Semelhante ao raciocnio desenvolvido no exerccio 1 (f). Na verdade o mesmo exerccio, descrito
de forma diferente. Voc notou isto?
17.
18.
Semelhante ao raciocnio utilizado nos exerccios 1(j) at 1(l)...
Vaccaro & Canto

Indu Mat

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Indu Mat

Uploaded by

Copyright:

Available Formats

Pontifcia Universidade Catlica do Rio Grande do Sul

Faculdade de Matemtica - Departamento de Matemtica

Prof. M.Sc. Guilherme Lus Rohe Vaccaro

Prof. M.Sc. Eliane Allgayer Canto

Verso deste material: 1.3.5

Exemplo 1: Simplificao ________________________________________________ 1

Exemplo 2: Complexidade de Algoritmos ____________________________________ 1

Construo de Leis Gerais ______________________________________________________ 3

Exemplo: Seqncia de Fibonacci _________________________________________ 4

Formalizando o Conceito de Recurso ______________________________________ 5

Exemplos de Seqncias Recursivas _______________________________________ 5

Um Exemplo Importante: O Somatrio ______________________________________ 6

Comentrios Iniciais ________________________________________________________ 1

Definies Indutivas ________________________________________________________ 7

Conjuntos Fechados ____________________________________________________ 7

Princpios de Induo Finita __________________________________________________ 9

Princpio da Induo Finita (Forte) ________________________________________ 10

Princpio da Induo Finita (Fraca) ________________________________________ 10

Etapas da Prova por Induo Matemtica ______________________________________ 11

Base de Induo (BI)___________________________________________________ 11

Passo de Induo (PI) __________________________________________________ 11

Justificativa da Validade do Princpio de Induo Matemtica _______________________ 12

Justificativa da Necessidade do Passo de Induo _______________________________ 13

Justificativa da Necessidade da Base de Induo ________________________________ 14

O Que Mais Se Pode Fazer Com Induo: Alguns Exemplos _______________________ 17

Desigualdade de Bernouilli ______________________________________________ 17

Vedada a alterao ou o uso sem o consentimento prvio dos autores

Vaccaro & Canto

Determinao do Nmero de Subconjuntos de um Conjunto ____________________ 18

Induo em Somatrios e Produtrios_____________________________________________ 20

Sries ou Somatrios Infinitos ____________________________________________ 21

Propriedades Vlidas em Somatrios ______________________________________ 21

Propriedades Vlidas em Produtrios ______________________________________ 23

Induo em Somatrios e Produtrios _________________________________________ 23

Exemplo: Soma de Progresso Geomtrica _________________________________ 26

Induo em Frmulas de Recorrncia _____________________________________________ 28

Um Exemplo Inicial ________________________________________________________ 28

Complexidade de Algoritmos ________________________________________________ 33

Respostas dos Exerccios ______________________________________________________ 39

Vedada a alterao ou o uso sem o consentimento prvio dos autores

Vaccaro & Canto

1.1.1 Exemplo 1: Simplificao

1.1.2 Exemplo 2: Complexidade de Algoritmos

Somas neste passo

Vedada a alterao ou o uso sem o consentimento prvio dos autores

Total de somas (T)

Vaccaro & Canto

Primeiramente devemos notar que:

Somas neste passo

Total de somas (T)

Como garantir que esta frmula vale para TODOS os valores de n ?

Vedada a alterao ou o uso sem o consentimento prvio dos autores

Vaccaro & Canto

2 Construo de Leis Gerais

2.2.1 Exemplo: O Fatorial

Vaccaro & Canto

Como avaliado, ento, o fatorial de 5?

2.2.2 Exemplo: Seqncia de Fibonacci

comeamos com um par de coelhos.

somente no segundo ms os coelhos tornar-se-o produtivos

o primeiro par gerar um novo par de coelhos

fcil ver que esta sucesso continua, gerando a seguinte frmula:

Vaccaro & Canto