SlideShare uma empresa Scribd logo
1 de 19
Baixar para ler offline
Curso: Ciência da Computação
     Turma: 3º Semestre


     Matemática Discreta

           Aula 7

    Indução Matemática
Notas de Aula
✔
    O conteúdo da aula de hoje está no capítulo 3 do livro
    do Gersting.
✔
    Avaliação dia 08 de Abril.




                                                         2/19
                          Matemática Discreta
Princípio da Indução Matemática
Existe uma última técnica de demonstração que se aplica a determinadas
 situações. Para ilustrar o uso desta técnica, imagine que você está subindo
 em uma escada sem fim. Como você pode saber se será capaz de alcançar
 um degrau arbitrariamente alto?
Suponha que você faça as seguintes afirmações sobre as suas habilidades de
 subir escadas:
      1. Você pode alcançar o primeiro degrau.
      2. Se você alcançar um degrau, você pode sempre passar ao degrau seguinte.
        (Note que esta asserção é uma implicação.)
Tanto a sentença 1 como a implicação na sentença 2 são verdadeiras; então,
 pela sentença 1 você pode chegar ao primeiro degrau e pela sentença 2 você
 pode chegar ao segundo; novamente pela 2 você pode chegar ao terceiro;
 pela sentença 2 novamente você pode chegar ao quarto degrau, e assim
 sucessivamente. Você pode, então, subir tão alto quanto você queira. Neste
 caso, ambas as asserções são necessárias. Se apenas a sentença 1 é
 verdadeira, você não tem garantias de que poderá ir além do primeiro degrau,
 e se apenas a segunda sentença é verdadeira, você poderá não chegar ao
 primeiro degrau a fim de iniciar o processo de subida da escada.


                                                                                   3/19
                                    Matemática Discreta
Princípio da Indução Matemática
Vamos assumir que os degraus da escada são numerados com os números inteiros
 positivos — 1, 2, 3, e assim por diante.
Agora vamos considerar uma propriedade específica que um número pode ter. Ao
 invés de "alcançarmos um degrau arbitrário" podemos mencionar que um inteiro
 positivo arbitrário tem essa propriedade. Usaremos a notação simplificada P(n) para
 denotar que o inteiro positivo n tem a propriedade P. Como podemos usar a técnica
 de subir escadas para provar que para todos inteiros positivos n nós temos P(n)?
As duas afirmações de que precisamos para a demonstração são:
1. P(l) (1 tem a propriedade P.)
2.Para qualquer inteiro positivo k, P(k) → P(k+1) (Se algum número tem a propriedade
  P, então o número seguinte também a tem.)
Se pudermos demonstrar as sentenças 1 e 2, então P(n) vale para qualquer inteiro
 positivo n, da mesma maneira que nós podemos subir até um degrau arbitrário na
 escada.




                                                                                   4/19
                                    Matemática Discreta
Princípio da Indução Matemática
O fundamento deste tipo de argumentação é chamado princípio de
 indução matemática, que pode ser enunciado como:


1. P(1) verdadeira
2. qualquer n P(n) é verdadeira → P(n+1) é verdadeira
P(n) verdadeira para todos os n inteiros positivos


O princípio da indução matemática é uma implicação. A tese desta
 implicação é uma sentença da forma
     – "P(n) é verdadeira para todos os n inteiros positivos".
Portanto, sempre que desejamos demonstrar que alguma
 propriedade é válida para todo inteiro positivo n, uma tentativa é
 o uso da indução matemática como técnica de demonstração.


                                                                  5/19
                                 Matemática Discreta
Princípio da Indução Matemática
Para averiguarmos que a tese desta implicação é verdadeira, mostramos
 que as duas hipóteses, ou seja, as afirmações 1 e 2 são verdadeiras.
Para demonstrar a afirmação 1, precisamos apenas mostrar que a
 propriedade P vale para o número 1, o que é normalmente uma tarefa
 trivial.
Para demonstrar a afirmação 2, uma implicação que deve valer para todo
 k, assumimos que P(k) é verdadeira para um inteiro arbitrário k, e
 baseados nesta hipótese mostramos que P(k + 1) é verdadeira. Você
 deve convencer a si próprio que assumir a propriedade P como válida
 para o número k não é a mesma coisa que assumir o que desejamos
 demonstrar (uma frequente fonte de confusão, quando nos deparamos
 pela primeira vez com este tipo de demonstração).
Assumi-la como verdadeira é simplesmente o caminho para elaborar a
 prova de que a implicação é verdadeira.




                                                                     6/19
                             Matemática Discreta
Demonstrações Indutivas
Suponha que o Sr. Silva casou-se e teve dois
 filhos. Vamos chamar estes dois filhos de
 geração 1. Agora suponha que cada um desses
 dois filhos teve dois filhos; então na geração 2
 temos quatro descendentes. Este processo
 continua de geração em geração. A árvore
 genealógica da família Silva é semelhante à:




                                               7/19
                    Matemática Discreta
Demonstrações Indutivas
Aparentemente a geração n tem 2n descendentes. De maneira mais formal, se fizermos
 P(n) denotar o número de descendentes na geração n, então nossa suposição será P(n)
 = 2n
Podemos usar a indução para demonstrar que nosso palpite para P(n) está correto.
A base da indução é estabelecer P(1), que resulta a equação:
 P(1) = 21 = 2
Que é verdadeira, posto que foi informado que o Sr. Silva tinha dois filhos. Agora vamos
 supor que nossa premissa é verdadeira para uma geração arbitrária k, ou seja,
 assumimos que:
 P(k) = 2k
e tentaremos mostrar que:
 P(k+1) = 2k+1
Nesta família, cada descendente tem dois filhos; então o número de descendentes na
 geração k + 1 será o dobro do da geração índice k, ou seja, P(k + 1) = 2P(k). Pela
 hipótese de indução, P(k) = 2k, logo P(k+ 1) = 2 P(k) = 2(2k) = 2k+1
então, de fato,
 P(k+1) = 2k+1
Isto completa a nossa demonstração por indução. Agora que sabemos como resolver o
  problema simples do clã dos Silva, podemos aplicar a técnica de demonstração por
  indução em problemas menos óbvios.
                                                                                           8/19
                                      Matemática Discreta
Exemplo 1
Prove que a equação
(1)            1 + 3 + 5 +...+ ( 2 n - 1 ) = n 2

(1) é verdadeira para qualquer inteiro positivo n. Neste caso, a propriedade P(n) é
  que a equação (1) acima é verdadeira. O lado esquerdo desta equação é a soma
  de todos os inteiros ímpares de l até 2n — 1. Ainda que possamos verificar que a
  equação é verdadeira para um particular valor de n pela substituição deste valor na
  equação, nós não podemos substituir todos os possíveis valores inteiros positivos.
  Por isso, uma demonstração por exemplos não funciona. É mais apropriada uma
  demonstração por indução matemática.
O passo básico é estabelecer P(1), que é o valor da equação (1) quando n assume
  o valor 1, ou seja:
1 = 12
Isto certamente é verdadeiro. Para a hipótese de indução, vamos assumir P{k) como
  verdadeira para um inteiro positivo arbitrário k, que é o valor da equação (1)
  quando n vale k, ou seja
(2)                1 + 3 + 5 + ... + (2k-1) = k 2

(Note que P(k) não é a equação (2k— 1) = k2 que só é verdadeira quando k = 1.)
  Usando a hipótese de indução, queremos mostrar P(k + 1) que é o valor da
  equação (1) quando n assume o valor k + 1, ou seja:
(3)              1 + 3 + 5 + ... + [2(k + 1) - 1] = (k - 1) 2
                                                                                  9/19
                                      Matemática Discreta
Exemplo 1
Prove que a equação
(1)            1 + 3 + 5 +...+ ( 2 n - 1 ) = n 2
(2)            1 + 3 + 5 + ... + (2k-1) = k 2
(3)            1 + 3 + 5 + ... + [2(k + 1) - 1] = (k - 1) 2

(O pequeno ponto de interrogação sobre o sinal de igualdade serve para nos lembrar que é este fato
 que desejamos provar, a partir de um outro fato já conhecido.)
A chave para uma demonstração por indução é encontrar uma forma de relacionar o que se deseja
 mostrar — P(k + 1), equação (3) — com o que assumimos como verdadeiro — P(k), equação (2). O
 lado esquerdo de P(k + 1 ) pode ser reescrito a fim de destacar o penúltimo termo:

1 + 3 + 5 + - + (2k - 1) + [2(k + 1) – 1]

Esta expressão contém do lado esquerdo a equação (2) como sub-expressão. Como assumimos que
 P(k) é verdadeira, podemos substituir esta expressão pelo lado direito da equação (2). Senão vejamos:
1 + 3 + 5 + - + [2(k+1) - 1]
= 1 + 3 + 5 +...+ (2k - 1) + [2(k+1) - 1]
= k2+ [2(k+1) -1 ]
= k2 + [2k + 2 - 1]
= k2 + 2k + 1
= (k + 1)2

Portanto
1 + 3 + 5 + ....+ [2(k + 1) - 1] = (k + 1) 2
o que verifica P(k + 1) e prova que a equação (1) é verdadeira para qualquer inteiro positivo n.
                                                                                                   10/19
                                                Matemática Discreta
Exemplo 2
Prove que 1 + 2 + 22 + ... + 2n = 2n+1 – 1 para qualquer n > 1.


Aqui, novamente, a indução é a técnica mais apropriada. P(1) é a equação
1 + 2 = 21 + 1 - 1 ou 3 = 22 – 1 que é verdadeira.
Consideremos agora
P(k) → 1 + 2 + 22 + ... + 2k = 2k + 1 - 1
como a hipótese de indução, e busquemos obter
P(k+1) → → 1 + 2 + 22 + ... + 2k + 2(k+1)= 2k + 1+1 - 1
Agora, se reescrevermos a soma do lado esquerdo de P(k+ 1), obtemos uma forma
 de usar a hipótese de indução:
1 + 2 + 22 + ...+ 2k+1
= 1 + 2 + 22 +...+ 2k + 2k+1
= 2k+1 - 1 + 2k+1 (da hipótese de indução P(k))
= 2(2k+1)- 1
= 2k+1+1 - 1
Portanto
1 + 2 + 22 + ... + 2k+1 = 2k+1 + 1 – 1 que verifica P(k+1) e completa a demonstração.   11/19
                                        Matemática Discreta
Exercício
Prove que para qualquer inteiro positivo n,


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


10 minutos !!!




                                              12/19
                     Matemática Discreta
Exemplo 3
Demonstre que, para qualquer inteiro positivo n, 2 n > n.
P(1) é a sentença 21 > 1 que é, sem dúvida, verdadeira.
Suponhamos agora P(k), 2k > k, como verdadeira, e
 procuremos concluir a partir daí P(k+1), 2 k + 1 > k + 1.
Começando pelo lado esquerdo de P(k+ 1), temos que:
2k+1 = 2k * 2.
Usando a hipótese de indução 2k> k e multiplicando
 ambos os lados dessa desigualdade por 2, temos
2k * 2 > k *2 Podemos escrever então que:
2k+1 = 2k * 2 > k * 2 = k + k >= k + 1
o que resulta em
2k+1 > k + 1                                                 13/19
                          Matemática Discreta
Exemplo 4
Prove que, para qualquer inteiro positivo n, o número 22n - 1 é divisível
  por 3.
A base da indução é mostrar P(1), ou seja, mostrar que 22(1) - 1 = 4 - 1
  = 3 é divisível por 3, o que obviamente é verdadeiro.
Assumimos que 22k - 1 é divisível por 3, o que equivale a escrever 22k
 1 = 3m para algum inteiro m, ou 22k = 3m + 1. Desejamos mostrar
 que 22(k+1) - 1 é divisível por 3.


22(K+1) – 1 = 22k+2 – 1 = 22k * 22 – 1 = (3m+1)*4 – 1 (pela hipótese de
  indução) = 12m + 4 – 1 = 12m + 3 = 3*4m + 3 = 3(1+4m)
Logo 22(k+1) - 1 é divisível por 3.


Em alguns casos, pode ser que, para o primeiro passo do processo de
 indução, seja mais apropriado começar com valores 0, 2, ou 3, ao
 invés de 1. O mesmo princípio se aplica, qualquer que seja o degrau
 da escada que você alcance no primeiro passo.
                                                                          14/19
                                  Matemática Discreta
Exemplo 5
Prove que n2 > 3n       para n>=4
Neste exemplo devemos aplicar a indução e começar com
 um passo inicial P(4). (Se testarmos para valores de n =
 1, 2 e 3, verificaremos que a desigualdade não se
 verifica.) P(A) é então a desigualdade 42 > 3(4), ou 16 >
 12, que é verdadeira.
A hipótese de indução é k2 > 3k , para k > 4, e queremos
  mostrar que (k+ 1)2 > 3(k+1).
(k+1)2 = k2 + 2k + 1 > 3k + 2k + 1 >= 3k + 8 + 1 (já que k
  >=4) > 3k + 3 = 3(k+1)




                                                             15/19
                         Matemática Discreta
Exemplo 6
Uma linguagem de programação pode ser projetada com as seguintes convenções no
 que se refere à multiplicação.
Um fator simples não requer parênteses, mas o produto "o vezes b" deve ser escrito
 como (a)b. Desejamos mostrar que qualquer produto de fatores precisa de um
 número par de parênteses para ser escrito. A prova é feita por indução,
 considerando-se como variável o número de fatores. Para um único fator usa-se 0
 (zero) parêntese, um número par. Suponhamos que para qualquer produto de k
 fatores, usamos um número par de parênteses. Consideremos agora o produto P de
 k+1 fatores. P pode ser escrito na forma r vezes s, onde r tem k fatores e s é um fator
 único. Pela hipótese de indução, r tem um número par de parênteses. Então pode-se
 escrever r vezes s como (r)s, adicionando-se mais dois parênteses ao número par de
 parênteses em r, e resultando assim um número par de parênteses para P.


É possível se enganar ao construir uma prova por indução. Quando demonstramos que
  P(k+ 1) é verdadeira, sem nos valermos da hipótese P(k), nós elaboramos uma prova
  direta de P(k+1), onde k+1 é arbitrário.
A prova deveria ser reescrita para explicitar que é uma prova direta de P(n) para
  qualquer n, e não uma prova por indução.




                                                                                     16/19
                                     Matemática Discreta
Exercícios
Use indução matemática para provar as igualdades abaixo:
1. 2+6+10+...+(4n-2) = 2n2
2. 2+4+6+...+2n = n(n+1)
3. 1+5+9+...+(4n-3) = n(2n-1)
4. 1.3+2.4+3.5+...+n(n+2) = n(n+1)(2n+7)/6
5. n2 > n + 1 para n>=2
6. n! < nn para n >=2
7. n3 + 2n é divisível por 3
8. Uma pitoresca tribo nativa tem apenas três palavras na sua
  língua, cuco, cuca e caco. Novas palavras são compostas
  pela concatenação destas palavras em qualquer ordem, por
  exemplo cucacucocacocuca. Use a indução completa (para o
  número de subpalavras na palavra) para provar que qualquer
  palavra nesta língua tem um número par de c 's
                                                           17/19
                               Matemática Discreta
Exercício
Prove que para qualquer inteiro positivo n,
1+2+3+...+n = n(n+1)/2


Para n = 1 temos → 1 = 1(1+1)/2 → 1 = 2/2 OK
Assumimos para n → 1+2+3+...+n = n(n+1)/2
Precisamos demonstrar para n+1
1+2+3+...+n+(n+1) = (n+1)(n+1+1)/2 = (n+1)(n+2)/2 = [n 2 +2n +n + 2]/2 =
= [n2 +3n+2]/2
Pegando o lado esquerdo da equação e desenvolvendo:
1+2+3+...+n+(n+1) = n(n+1)/2 + n+1 (substitui a parte grifada pela hipótese da
 indução.
[n(n+1) +2(n+1)]/2 = [n(n+1) + 2(n+1)]/2 = [n2 + n +2n + 2]/2 = [n2 + 3n + 2]/2




                                                                             18/19
                                  Matemática Discreta
Lista de Exercícios
1.Em um grupo de 42 turistas, todos falam inglês ou francês; existem 35 pessoas que falam
  inglês e 18 pessoas que falam francês. Quantas falam inglês e francês?
2.Dentre 214 clientes de um banco com contas-correntes, caderneta de poupança ou aplicações
  financeiras, 189 têm contas-correntes, 73 têm cadernetas de poupanças regulares, 114 têm
  aplicações no mercado financeiro e 69 têm contas-correntes e cadernetas de poupança. Não é
  possível ter caderneta de poupança e investir no mercado financeiro.
    1.Quantos clientes têm, ao mesmo tempo, conta-corrente e aplicações no mercado financeiro?
    2.Quantos clientes têm apenas conta-corrente?
3. Você está desenvolvendo um novo sabonete e contratou uma empresa de pesquisa de opinião
  pública para realizar uma pesquisa de mercado para você. A empresa constatou que, em sua
  pesquisa de 450 consumidores, os fatores a seguir foram considerados relevantes na decisão
  de compra de um sabonete:
           Perfume 425
           Fácil produção de espuma 397
           Ingredientes naturais 340
           Perfume e fácil produção de espuma 284
           Perfume e ingredientes naturais 315
           Fácil produção de espuma e ingredientes naturais 219
           Todos os três fatores 147
      Você confiaria nesses resultados? Justifique.
4. Quantas cartas precisam ser tiradas de um baralho convencional de 52 cartas para garantirem
  que tiraremos duas cartas do mesmo naipe?
5. Prove que se quatro números são escolhidos do conjunto {1, 2, 3, 4, 5, 6}, pelo menos um par
  precisa somar 7. (Dica: Encontre todos os pares de números do conjunto que somem 7.)
                                                                                                 19/19
                                                 Matemática Discreta

Mais conteúdo relacionado

Mais procurados (20)

Aula 9 inducao matematica ii
Aula 9   inducao matematica iiAula 9   inducao matematica ii
Aula 9 inducao matematica ii
 
Matemática Discreta - Parte III definicoes indutivas
Matemática Discreta - Parte III definicoes indutivasMatemática Discreta - Parte III definicoes indutivas
Matemática Discreta - Parte III definicoes indutivas
 
Matriz e Determinantes
Matriz e DeterminantesMatriz e Determinantes
Matriz e Determinantes
 
Polinomios
PolinomiosPolinomios
Polinomios
 
Apresentação geometria analítica
Apresentação geometria analíticaApresentação geometria analítica
Apresentação geometria analítica
 
Números inteiros
Números inteirosNúmeros inteiros
Números inteiros
 
Aula 01 introdução a estatística
Aula 01   introdução a estatísticaAula 01   introdução a estatística
Aula 01 introdução a estatística
 
Funcoes trigonometricas.ppt
Funcoes trigonometricas.pptFuncoes trigonometricas.ppt
Funcoes trigonometricas.ppt
 
Matematica Financeira
Matematica FinanceiraMatematica Financeira
Matematica Financeira
 
Numeros racionais
Numeros racionaisNumeros racionais
Numeros racionais
 
Estatísticas: Média, Moda e Mediana
Estatísticas: Média, Moda e MedianaEstatísticas: Média, Moda e Mediana
Estatísticas: Média, Moda e Mediana
 
Moda, Média e Mediana
Moda, Média e MedianaModa, Média e Mediana
Moda, Média e Mediana
 
Frações e Decimais
Frações e DecimaisFrações e Decimais
Frações e Decimais
 
Fatoração
FatoraçãoFatoração
Fatoração
 
Aula de fração
Aula de fraçãoAula de fração
Aula de fração
 
Potenciação
PotenciaçãoPotenciação
Potenciação
 
Ponto, reta e plano
Ponto, reta e planoPonto, reta e plano
Ponto, reta e plano
 
Função exponencial
Função exponencialFunção exponencial
Função exponencial
 
Análise combinatória
Análise combinatóriaAnálise combinatória
Análise combinatória
 
Conjuntos numéricos
Conjuntos numéricosConjuntos numéricos
Conjuntos numéricos
 

Destaque

Exercícios - Princípio da Indução Finita (PIF)
Exercícios - Princípio da Indução Finita (PIF)Exercícios - Princípio da Indução Finita (PIF)
Exercícios - Princípio da Indução Finita (PIF)Rodrigo Thiago Passos Silva
 
Aula 8 inducao matematica
Aula 8   inducao matematicaAula 8   inducao matematica
Aula 8 inducao matematicawab030
 
57701066 matematica-discreta-exercicios-resolvidos
57701066 matematica-discreta-exercicios-resolvidos57701066 matematica-discreta-exercicios-resolvidos
57701066 matematica-discreta-exercicios-resolvidosHAROLDO MIRANDA DA COSTA JR
 
Análise de Algoritmos - Indução Finita
Análise de Algoritmos - Indução FinitaAnálise de Algoritmos - Indução Finita
Análise de Algoritmos - Indução FinitaDelacyr Ferreira
 
Matemática Discreta - Parte V relações
Matemática Discreta - Parte V relaçõesMatemática Discreta - Parte V relações
Matemática Discreta - Parte V relaçõesUlrich Schiel
 
Internet e Educação
Internet e EducaçãoInternet e Educação
Internet e Educaçãowab030
 
Aula 10 recursãoe relaçãoderecorrência
Aula 10   recursãoe relaçãoderecorrênciaAula 10   recursãoe relaçãoderecorrência
Aula 10 recursãoe relaçãoderecorrênciawab030
 
Mat sequencias e progressoes 006
Mat sequencias e progressoes  006Mat sequencias e progressoes  006
Mat sequencias e progressoes 006trigono_metrico
 
Matematica discreta uma introducao edward r scheinerman
Matematica discreta uma introducao   edward r scheinermanMatematica discreta uma introducao   edward r scheinerman
Matematica discreta uma introducao edward r scheinermanArtur Câncio
 
Aula 5 analise combinatoria
Aula 5   analise combinatoriaAula 5   analise combinatoria
Aula 5 analise combinatoriawab030
 
Progressões geométricas apostila
Progressões geométricas   apostilaProgressões geométricas   apostila
Progressões geométricas apostilaDênis Rodrigues
 
Matemática Discreta - Introdução
Matemática Discreta - IntroduçãoMatemática Discreta - Introdução
Matemática Discreta - IntroduçãoUlrich Schiel
 
Matemática Discreta - Parte IV teoria dos-conjuntos
Matemática Discreta - Parte IV teoria dos-conjuntosMatemática Discreta - Parte IV teoria dos-conjuntos
Matemática Discreta - Parte IV teoria dos-conjuntosUlrich Schiel
 
Operações com potências (parte i)
Operações com potências (parte i)Operações com potências (parte i)
Operações com potências (parte i)aldaalves
 
3 ano mod 21, 22 e 23 - indução eletromagnética e mecânica estática
3 ano   mod 21, 22 e 23 - indução eletromagnética e mecânica estática3 ano   mod 21, 22 e 23 - indução eletromagnética e mecânica estática
3 ano mod 21, 22 e 23 - indução eletromagnética e mecânica estáticaeduardorsilva
 
Trabalho de laboratório de matemática matrix calculador
Trabalho de laboratório de matemática   matrix calculadorTrabalho de laboratório de matemática   matrix calculador
Trabalho de laboratório de matemática matrix calculador9133
 

Destaque (20)

Exercícios - Princípio da Indução Finita (PIF)
Exercícios - Princípio da Indução Finita (PIF)Exercícios - Princípio da Indução Finita (PIF)
Exercícios - Princípio da Indução Finita (PIF)
 
Aula 8 inducao matematica
Aula 8   inducao matematicaAula 8   inducao matematica
Aula 8 inducao matematica
 
57701066 matematica-discreta-exercicios-resolvidos
57701066 matematica-discreta-exercicios-resolvidos57701066 matematica-discreta-exercicios-resolvidos
57701066 matematica-discreta-exercicios-resolvidos
 
Lista 2 - FUV - Resolução
Lista 2   - FUV - ResoluçãoLista 2   - FUV - Resolução
Lista 2 - FUV - Resolução
 
Análise de Algoritmos - Indução Finita
Análise de Algoritmos - Indução FinitaAnálise de Algoritmos - Indução Finita
Análise de Algoritmos - Indução Finita
 
Matemática Discreta - Parte V relações
Matemática Discreta - Parte V relaçõesMatemática Discreta - Parte V relações
Matemática Discreta - Parte V relações
 
Internet e Educação
Internet e EducaçãoInternet e Educação
Internet e Educação
 
Aula 10 recursãoe relaçãoderecorrência
Aula 10   recursãoe relaçãoderecorrênciaAula 10   recursãoe relaçãoderecorrência
Aula 10 recursãoe relaçãoderecorrência
 
Mat sequencias e progressoes 006
Mat sequencias e progressoes  006Mat sequencias e progressoes  006
Mat sequencias e progressoes 006
 
Matematica discreta uma introducao edward r scheinerman
Matematica discreta uma introducao   edward r scheinermanMatematica discreta uma introducao   edward r scheinerman
Matematica discreta uma introducao edward r scheinerman
 
Aula 5 analise combinatoria
Aula 5   analise combinatoriaAula 5   analise combinatoria
Aula 5 analise combinatoria
 
Progressões geométricas apostila
Progressões geométricas   apostilaProgressões geométricas   apostila
Progressões geométricas apostila
 
Matemática Discreta - Introdução
Matemática Discreta - IntroduçãoMatemática Discreta - Introdução
Matemática Discreta - Introdução
 
Matemática Discreta - Parte IV teoria dos-conjuntos
Matemática Discreta - Parte IV teoria dos-conjuntosMatemática Discreta - Parte IV teoria dos-conjuntos
Matemática Discreta - Parte IV teoria dos-conjuntos
 
Operações com potências (parte i)
Operações com potências (parte i)Operações com potências (parte i)
Operações com potências (parte i)
 
Banco de exercícios gerais de matematica todo em
Banco de exercícios gerais de matematica todo emBanco de exercícios gerais de matematica todo em
Banco de exercícios gerais de matematica todo em
 
3 ano mod 21, 22 e 23 - indução eletromagnética e mecânica estática
3 ano   mod 21, 22 e 23 - indução eletromagnética e mecânica estática3 ano   mod 21, 22 e 23 - indução eletromagnética e mecânica estática
3 ano mod 21, 22 e 23 - indução eletromagnética e mecânica estática
 
Edital Cegás 2016
Edital Cegás 2016Edital Cegás 2016
Edital Cegás 2016
 
Trabalho de laboratório de matemática matrix calculador
Trabalho de laboratório de matemática   matrix calculadorTrabalho de laboratório de matemática   matrix calculador
Trabalho de laboratório de matemática matrix calculador
 
Lista 1 - FUV - Resolução
Lista 1 - FUV - ResoluçãoLista 1 - FUV - Resolução
Lista 1 - FUV - Resolução
 

Semelhante a Aula 7 inducao matematica-primeiroprincipio

Lista de exercícios 1
Lista de exercícios 1Lista de exercícios 1
Lista de exercícios 1Carlos Campani
 
A matemática do ensino médio vol 1
A matemática do ensino médio vol 1A matemática do ensino médio vol 1
A matemática do ensino médio vol 1joutrumundo
 
Intro teoria dos números cap2
Intro teoria dos  números cap2Intro teoria dos  números cap2
Intro teoria dos números cap2Paulo Martins
 
Exercicios resolvidos
Exercicios resolvidosExercicios resolvidos
Exercicios resolvidosBrunna Vilar
 
Relações de recorrência
Relações de recorrênciaRelações de recorrência
Relações de recorrênciaPablo Silva
 
Aula sobre prova de teoremas
Aula sobre prova de teoremasAula sobre prova de teoremas
Aula sobre prova de teoremasCarlos Campani
 
Md 4 sequenciae_inducaomatematica
Md 4 sequenciae_inducaomatematicaMd 4 sequenciae_inducaomatematica
Md 4 sequenciae_inducaomatematicaMauricio Wieler
 
Teoria dos numeros primos i
Teoria dos numeros primos iTeoria dos numeros primos i
Teoria dos numeros primos iPaulo Martins
 
Intro teoria dos numerros cap5
Intro teoria dos numerros cap5Intro teoria dos numerros cap5
Intro teoria dos numerros cap5Paulo Martins
 
Notas de aula 01 2015-2
Notas de aula 01 2015-2Notas de aula 01 2015-2
Notas de aula 01 2015-2bonesea
 
Indução Matemática - Exemplos
Indução Matemática - ExemplosIndução Matemática - Exemplos
Indução Matemática - ExemplosCarlos Campani
 
Mat conjuntos numericos
Mat conjuntos numericosMat conjuntos numericos
Mat conjuntos numericostrigono_metria
 

Semelhante a Aula 7 inducao matematica-primeiroprincipio (20)

Demonstrações
DemonstraçõesDemonstrações
Demonstrações
 
A3 me
A3 meA3 me
A3 me
 
Lista de exercícios 1
Lista de exercícios 1Lista de exercícios 1
Lista de exercícios 1
 
A matemática do ensino médio vol 1
A matemática do ensino médio vol 1A matemática do ensino médio vol 1
A matemática do ensino médio vol 1
 
Demonstrações
DemonstraçõesDemonstrações
Demonstrações
 
Intro teoria dos números cap2
Intro teoria dos  números cap2Intro teoria dos  números cap2
Intro teoria dos números cap2
 
Exercicios resolvidos
Exercicios resolvidosExercicios resolvidos
Exercicios resolvidos
 
Caracterização dos inteiros
Caracterização dos inteirosCaracterização dos inteiros
Caracterização dos inteiros
 
Relações de recorrência
Relações de recorrênciaRelações de recorrência
Relações de recorrência
 
Aula sobre prova de teoremas
Aula sobre prova de teoremasAula sobre prova de teoremas
Aula sobre prova de teoremas
 
Md 4 sequenciae_inducaomatematica
Md 4 sequenciae_inducaomatematicaMd 4 sequenciae_inducaomatematica
Md 4 sequenciae_inducaomatematica
 
Teoria dos numeros primos i
Teoria dos numeros primos iTeoria dos numeros primos i
Teoria dos numeros primos i
 
Intro teoria dos numerros cap5
Intro teoria dos numerros cap5Intro teoria dos numerros cap5
Intro teoria dos numerros cap5
 
Números de Euler
Números de EulerNúmeros de Euler
Números de Euler
 
Mat regra de sinais
Mat regra de sinaisMat regra de sinais
Mat regra de sinais
 
Pincipio da indução
Pincipio da induçãoPincipio da indução
Pincipio da indução
 
Notas de aula 01 2015-2
Notas de aula 01 2015-2Notas de aula 01 2015-2
Notas de aula 01 2015-2
 
Indução Matemática - Exemplos
Indução Matemática - ExemplosIndução Matemática - Exemplos
Indução Matemática - Exemplos
 
PROVAS DE TEOREMAS
PROVAS DE TEOREMASPROVAS DE TEOREMAS
PROVAS DE TEOREMAS
 
Mat conjuntos numericos
Mat conjuntos numericosMat conjuntos numericos
Mat conjuntos numericos
 

Mais de wab030

Programe ou seja programado
Programe ou seja programadoPrograme ou seja programado
Programe ou seja programadowab030
 
Internet e cidadania
 Internet e cidadania Internet e cidadania
Internet e cidadaniawab030
 
Internet, Cidadania e Educação
Internet, Cidadania e EducaçãoInternet, Cidadania e Educação
Internet, Cidadania e Educaçãowab030
 
Internet e redes sociais digitais como instrumento para os movimentos sociais
 Internet e redes sociais digitais como instrumento para os movimentos sociais Internet e redes sociais digitais como instrumento para os movimentos sociais
Internet e redes sociais digitais como instrumento para os movimentos sociaiswab030
 
A internet como espaço de mobilidade social: democratização e regulamentação ...
A internet como espaço de mobilidade social: democratização e regulamentação ...A internet como espaço de mobilidade social: democratização e regulamentação ...
A internet como espaço de mobilidade social: democratização e regulamentação ...wab030
 
Hp0061
Hp0061Hp0061
Hp0061wab030
 
Internet e educação
Internet e educaçãoInternet e educação
Internet e educaçãowab030
 
Alimentos Orgânicos - Melhor para sua saúde
Alimentos Orgânicos - Melhor para sua saúdeAlimentos Orgânicos - Melhor para sua saúde
Alimentos Orgânicos - Melhor para sua saúdewab030
 
Notas b2redes
Notas b2redesNotas b2redes
Notas b2redeswab030
 
Notas info+banco
Notas info+bancoNotas info+banco
Notas info+bancowab030
 
Aula 10 camada de rede
Aula 10   camada de redeAula 10   camada de rede
Aula 10 camada de redewab030
 
Aula 12 revisãodos exercícios
Aula 12   revisãodos exercíciosAula 12   revisãodos exercícios
Aula 12 revisãodos exercícioswab030
 
Aula 10 maquinade turing
Aula 10   maquinade turingAula 10   maquinade turing
Aula 10 maquinade turingwab030
 
Wireshark ip sept_15_2009
Wireshark ip sept_15_2009Wireshark ip sept_15_2009
Wireshark ip sept_15_2009wab030
 
Aula 10 camada de rede
Aula 10   camada de redeAula 10   camada de rede
Aula 10 camada de redewab030
 
Aula 9 conceitos gerais de Rede
Aula 9   conceitos gerais de RedeAula 9   conceitos gerais de Rede
Aula 9 conceitos gerais de Redewab030
 
Wireshark UDP
Wireshark UDPWireshark UDP
Wireshark UDPwab030
 
Notas b1 redes
Notas b1 redesNotas b1 redes
Notas b1 redeswab030
 
Notas b1 info+banco
Notas b1 info+bancoNotas b1 info+banco
Notas b1 info+bancowab030
 
Aula 9 camada de rede
Aula 9   camada de redeAula 9   camada de rede
Aula 9 camada de redewab030
 

Mais de wab030 (20)

Programe ou seja programado
Programe ou seja programadoPrograme ou seja programado
Programe ou seja programado
 
Internet e cidadania
 Internet e cidadania Internet e cidadania
Internet e cidadania
 
Internet, Cidadania e Educação
Internet, Cidadania e EducaçãoInternet, Cidadania e Educação
Internet, Cidadania e Educação
 
Internet e redes sociais digitais como instrumento para os movimentos sociais
 Internet e redes sociais digitais como instrumento para os movimentos sociais Internet e redes sociais digitais como instrumento para os movimentos sociais
Internet e redes sociais digitais como instrumento para os movimentos sociais
 
A internet como espaço de mobilidade social: democratização e regulamentação ...
A internet como espaço de mobilidade social: democratização e regulamentação ...A internet como espaço de mobilidade social: democratização e regulamentação ...
A internet como espaço de mobilidade social: democratização e regulamentação ...
 
Hp0061
Hp0061Hp0061
Hp0061
 
Internet e educação
Internet e educaçãoInternet e educação
Internet e educação
 
Alimentos Orgânicos - Melhor para sua saúde
Alimentos Orgânicos - Melhor para sua saúdeAlimentos Orgânicos - Melhor para sua saúde
Alimentos Orgânicos - Melhor para sua saúde
 
Notas b2redes
Notas b2redesNotas b2redes
Notas b2redes
 
Notas info+banco
Notas info+bancoNotas info+banco
Notas info+banco
 
Aula 10 camada de rede
Aula 10   camada de redeAula 10   camada de rede
Aula 10 camada de rede
 
Aula 12 revisãodos exercícios
Aula 12   revisãodos exercíciosAula 12   revisãodos exercícios
Aula 12 revisãodos exercícios
 
Aula 10 maquinade turing
Aula 10   maquinade turingAula 10   maquinade turing
Aula 10 maquinade turing
 
Wireshark ip sept_15_2009
Wireshark ip sept_15_2009Wireshark ip sept_15_2009
Wireshark ip sept_15_2009
 
Aula 10 camada de rede
Aula 10   camada de redeAula 10   camada de rede
Aula 10 camada de rede
 
Aula 9 conceitos gerais de Rede
Aula 9   conceitos gerais de RedeAula 9   conceitos gerais de Rede
Aula 9 conceitos gerais de Rede
 
Wireshark UDP
Wireshark UDPWireshark UDP
Wireshark UDP
 
Notas b1 redes
Notas b1 redesNotas b1 redes
Notas b1 redes
 
Notas b1 info+banco
Notas b1 info+bancoNotas b1 info+banco
Notas b1 info+banco
 
Aula 9 camada de rede
Aula 9   camada de redeAula 9   camada de rede
Aula 9 camada de rede
 

Último

trabalho wanda rocha ditadura
trabalho wanda rocha ditaduratrabalho wanda rocha ditadura
trabalho wanda rocha ditaduraAdryan Luiz
 
Slides Lição 5, CPAD, Os Inimigos do Cristão, 2Tr24, Pr Henrique.pptx
Slides Lição 5, CPAD, Os Inimigos do Cristão, 2Tr24, Pr Henrique.pptxSlides Lição 5, CPAD, Os Inimigos do Cristão, 2Tr24, Pr Henrique.pptx
Slides Lição 5, CPAD, Os Inimigos do Cristão, 2Tr24, Pr Henrique.pptxLuizHenriquedeAlmeid6
 
“Sobrou pra mim” - Conto de Ruth Rocha.pptx
“Sobrou pra mim” - Conto de Ruth Rocha.pptx“Sobrou pra mim” - Conto de Ruth Rocha.pptx
“Sobrou pra mim” - Conto de Ruth Rocha.pptxthaisamaral9365923
 
ABRIL VERDE.pptx Slide sobre abril ver 2024
ABRIL VERDE.pptx Slide sobre abril ver 2024ABRIL VERDE.pptx Slide sobre abril ver 2024
ABRIL VERDE.pptx Slide sobre abril ver 2024Jeanoliveira597523
 
activIDADES CUENTO lobo esta CUENTO CUARTO GRADO
activIDADES CUENTO  lobo esta  CUENTO CUARTO GRADOactivIDADES CUENTO  lobo esta  CUENTO CUARTO GRADO
activIDADES CUENTO lobo esta CUENTO CUARTO GRADOcarolinacespedes23
 
Pedologia- Geografia - Geologia - aula_01.pptx
Pedologia- Geografia - Geologia - aula_01.pptxPedologia- Geografia - Geologia - aula_01.pptx
Pedologia- Geografia - Geologia - aula_01.pptxleandropereira983288
 
Gerenciando a Aprendizagem Organizacional
Gerenciando a Aprendizagem OrganizacionalGerenciando a Aprendizagem Organizacional
Gerenciando a Aprendizagem OrganizacionalJacqueline Cerqueira
 
Simulado 2 Etapa - 2024 Proximo Passo.pdf
Simulado 2 Etapa  - 2024 Proximo Passo.pdfSimulado 2 Etapa  - 2024 Proximo Passo.pdf
Simulado 2 Etapa - 2024 Proximo Passo.pdfEditoraEnovus
 
E agora?! Já não avalio as atitudes e valores?
E agora?! Já não avalio as atitudes e valores?E agora?! Já não avalio as atitudes e valores?
E agora?! Já não avalio as atitudes e valores?Rosalina Simão Nunes
 
02. Informática - Windows 10 apostila completa.pdf
02. Informática - Windows 10 apostila completa.pdf02. Informática - Windows 10 apostila completa.pdf
02. Informática - Windows 10 apostila completa.pdfJorge Andrade
 
LEMBRANDO A MORTE E CELEBRANDO A RESSUREIÇÃO
LEMBRANDO A MORTE E CELEBRANDO A RESSUREIÇÃOLEMBRANDO A MORTE E CELEBRANDO A RESSUREIÇÃO
LEMBRANDO A MORTE E CELEBRANDO A RESSUREIÇÃOColégio Santa Teresinha
 
Época Realista y la obra de Madame Bovary.
Época Realista y la obra de Madame Bovary.Época Realista y la obra de Madame Bovary.
Época Realista y la obra de Madame Bovary.keislayyovera123
 
Habilidades Motoras Básicas e Específicas
Habilidades Motoras Básicas e EspecíficasHabilidades Motoras Básicas e Específicas
Habilidades Motoras Básicas e EspecíficasCassio Meira Jr.
 
ALMANANHE DE BRINCADEIRAS - 500 atividades escolares
ALMANANHE DE BRINCADEIRAS - 500 atividades escolaresALMANANHE DE BRINCADEIRAS - 500 atividades escolares
ALMANANHE DE BRINCADEIRAS - 500 atividades escolaresLilianPiola
 
Slides Lição 03, Central Gospel, O Arrebatamento, 1Tr24.pptx
Slides Lição 03, Central Gospel, O Arrebatamento, 1Tr24.pptxSlides Lição 03, Central Gospel, O Arrebatamento, 1Tr24.pptx
Slides Lição 03, Central Gospel, O Arrebatamento, 1Tr24.pptxLuizHenriquedeAlmeid6
 
Manual da CPSA_1_Agir com Autonomia para envio
Manual da CPSA_1_Agir com Autonomia para envioManual da CPSA_1_Agir com Autonomia para envio
Manual da CPSA_1_Agir com Autonomia para envioManuais Formação
 
CRÔNICAS DE UMA TURMA - TURMA DE 9ºANO - EASB
CRÔNICAS DE UMA TURMA - TURMA DE 9ºANO - EASBCRÔNICAS DE UMA TURMA - TURMA DE 9ºANO - EASB
CRÔNICAS DE UMA TURMA - TURMA DE 9ºANO - EASBAline Santana
 
Governo Provisório Era Vargas 1930-1934 Brasil
Governo Provisório Era Vargas 1930-1934 BrasilGoverno Provisório Era Vargas 1930-1934 Brasil
Governo Provisório Era Vargas 1930-1934 Brasillucasp132400
 

Último (20)

trabalho wanda rocha ditadura
trabalho wanda rocha ditaduratrabalho wanda rocha ditadura
trabalho wanda rocha ditadura
 
Bullying, sai pra lá
Bullying,  sai pra láBullying,  sai pra lá
Bullying, sai pra lá
 
Slides Lição 5, CPAD, Os Inimigos do Cristão, 2Tr24, Pr Henrique.pptx
Slides Lição 5, CPAD, Os Inimigos do Cristão, 2Tr24, Pr Henrique.pptxSlides Lição 5, CPAD, Os Inimigos do Cristão, 2Tr24, Pr Henrique.pptx
Slides Lição 5, CPAD, Os Inimigos do Cristão, 2Tr24, Pr Henrique.pptx
 
“Sobrou pra mim” - Conto de Ruth Rocha.pptx
“Sobrou pra mim” - Conto de Ruth Rocha.pptx“Sobrou pra mim” - Conto de Ruth Rocha.pptx
“Sobrou pra mim” - Conto de Ruth Rocha.pptx
 
ABRIL VERDE.pptx Slide sobre abril ver 2024
ABRIL VERDE.pptx Slide sobre abril ver 2024ABRIL VERDE.pptx Slide sobre abril ver 2024
ABRIL VERDE.pptx Slide sobre abril ver 2024
 
activIDADES CUENTO lobo esta CUENTO CUARTO GRADO
activIDADES CUENTO  lobo esta  CUENTO CUARTO GRADOactivIDADES CUENTO  lobo esta  CUENTO CUARTO GRADO
activIDADES CUENTO lobo esta CUENTO CUARTO GRADO
 
Pedologia- Geografia - Geologia - aula_01.pptx
Pedologia- Geografia - Geologia - aula_01.pptxPedologia- Geografia - Geologia - aula_01.pptx
Pedologia- Geografia - Geologia - aula_01.pptx
 
Gerenciando a Aprendizagem Organizacional
Gerenciando a Aprendizagem OrganizacionalGerenciando a Aprendizagem Organizacional
Gerenciando a Aprendizagem Organizacional
 
Simulado 2 Etapa - 2024 Proximo Passo.pdf
Simulado 2 Etapa  - 2024 Proximo Passo.pdfSimulado 2 Etapa  - 2024 Proximo Passo.pdf
Simulado 2 Etapa - 2024 Proximo Passo.pdf
 
E agora?! Já não avalio as atitudes e valores?
E agora?! Já não avalio as atitudes e valores?E agora?! Já não avalio as atitudes e valores?
E agora?! Já não avalio as atitudes e valores?
 
02. Informática - Windows 10 apostila completa.pdf
02. Informática - Windows 10 apostila completa.pdf02. Informática - Windows 10 apostila completa.pdf
02. Informática - Windows 10 apostila completa.pdf
 
LEMBRANDO A MORTE E CELEBRANDO A RESSUREIÇÃO
LEMBRANDO A MORTE E CELEBRANDO A RESSUREIÇÃOLEMBRANDO A MORTE E CELEBRANDO A RESSUREIÇÃO
LEMBRANDO A MORTE E CELEBRANDO A RESSUREIÇÃO
 
Época Realista y la obra de Madame Bovary.
Época Realista y la obra de Madame Bovary.Época Realista y la obra de Madame Bovary.
Época Realista y la obra de Madame Bovary.
 
Habilidades Motoras Básicas e Específicas
Habilidades Motoras Básicas e EspecíficasHabilidades Motoras Básicas e Específicas
Habilidades Motoras Básicas e Específicas
 
ALMANANHE DE BRINCADEIRAS - 500 atividades escolares
ALMANANHE DE BRINCADEIRAS - 500 atividades escolaresALMANANHE DE BRINCADEIRAS - 500 atividades escolares
ALMANANHE DE BRINCADEIRAS - 500 atividades escolares
 
Slides Lição 03, Central Gospel, O Arrebatamento, 1Tr24.pptx
Slides Lição 03, Central Gospel, O Arrebatamento, 1Tr24.pptxSlides Lição 03, Central Gospel, O Arrebatamento, 1Tr24.pptx
Slides Lição 03, Central Gospel, O Arrebatamento, 1Tr24.pptx
 
Manual da CPSA_1_Agir com Autonomia para envio
Manual da CPSA_1_Agir com Autonomia para envioManual da CPSA_1_Agir com Autonomia para envio
Manual da CPSA_1_Agir com Autonomia para envio
 
CRÔNICAS DE UMA TURMA - TURMA DE 9ºANO - EASB
CRÔNICAS DE UMA TURMA - TURMA DE 9ºANO - EASBCRÔNICAS DE UMA TURMA - TURMA DE 9ºANO - EASB
CRÔNICAS DE UMA TURMA - TURMA DE 9ºANO - EASB
 
XI OLIMPÍADAS DA LÍNGUA PORTUGUESA -
XI OLIMPÍADAS DA LÍNGUA PORTUGUESA      -XI OLIMPÍADAS DA LÍNGUA PORTUGUESA      -
XI OLIMPÍADAS DA LÍNGUA PORTUGUESA -
 
Governo Provisório Era Vargas 1930-1934 Brasil
Governo Provisório Era Vargas 1930-1934 BrasilGoverno Provisório Era Vargas 1930-1934 Brasil
Governo Provisório Era Vargas 1930-1934 Brasil
 

Aula 7 inducao matematica-primeiroprincipio

  • 1. Curso: Ciência da Computação Turma: 3º Semestre Matemática Discreta Aula 7 Indução Matemática
  • 2. Notas de Aula ✔ O conteúdo da aula de hoje está no capítulo 3 do livro do Gersting. ✔ Avaliação dia 08 de Abril. 2/19 Matemática Discreta
  • 3. Princípio da Indução Matemática Existe uma última técnica de demonstração que se aplica a determinadas situações. Para ilustrar o uso desta técnica, imagine que você está subindo em uma escada sem fim. Como você pode saber se será capaz de alcançar um degrau arbitrariamente alto? Suponha que você faça as seguintes afirmações sobre as suas habilidades de subir escadas: 1. Você pode alcançar o primeiro degrau. 2. Se você alcançar um degrau, você pode sempre passar ao degrau seguinte. (Note que esta asserção é uma implicação.) Tanto a sentença 1 como a implicação na sentença 2 são verdadeiras; então, pela sentença 1 você pode chegar ao primeiro degrau e pela sentença 2 você pode chegar ao segundo; novamente pela 2 você pode chegar ao terceiro; pela sentença 2 novamente você pode chegar ao quarto degrau, e assim sucessivamente. Você pode, então, subir tão alto quanto você queira. Neste caso, ambas as asserções são necessárias. Se apenas a sentença 1 é verdadeira, você não tem garantias de que poderá ir além do primeiro degrau, e se apenas a segunda sentença é verdadeira, você poderá não chegar ao primeiro degrau a fim de iniciar o processo de subida da escada. 3/19 Matemática Discreta
  • 4. Princípio da Indução Matemática Vamos assumir que os degraus da escada são numerados com os números inteiros positivos — 1, 2, 3, e assim por diante. Agora vamos considerar uma propriedade específica que um número pode ter. Ao invés de "alcançarmos um degrau arbitrário" podemos mencionar que um inteiro positivo arbitrário tem essa propriedade. Usaremos a notação simplificada P(n) para denotar que o inteiro positivo n tem a propriedade P. Como podemos usar a técnica de subir escadas para provar que para todos inteiros positivos n nós temos P(n)? As duas afirmações de que precisamos para a demonstração são: 1. P(l) (1 tem a propriedade P.) 2.Para qualquer inteiro positivo k, P(k) → P(k+1) (Se algum número tem a propriedade P, então o número seguinte também a tem.) Se pudermos demonstrar as sentenças 1 e 2, então P(n) vale para qualquer inteiro positivo n, da mesma maneira que nós podemos subir até um degrau arbitrário na escada. 4/19 Matemática Discreta
  • 5. Princípio da Indução Matemática O fundamento deste tipo de argumentação é chamado princípio de indução matemática, que pode ser enunciado como: 1. P(1) verdadeira 2. qualquer n P(n) é verdadeira → P(n+1) é verdadeira P(n) verdadeira para todos os n inteiros positivos O princípio da indução matemática é uma implicação. A tese desta implicação é uma sentença da forma – "P(n) é verdadeira para todos os n inteiros positivos". Portanto, sempre que desejamos demonstrar que alguma propriedade é válida para todo inteiro positivo n, uma tentativa é o uso da indução matemática como técnica de demonstração. 5/19 Matemática Discreta
  • 6. Princípio da Indução Matemática Para averiguarmos que a tese desta implicação é verdadeira, mostramos que as duas hipóteses, ou seja, as afirmações 1 e 2 são verdadeiras. Para demonstrar a afirmação 1, precisamos apenas mostrar que a propriedade P vale para o número 1, o que é normalmente uma tarefa trivial. Para demonstrar a afirmação 2, uma implicação que deve valer para todo k, assumimos que P(k) é verdadeira para um inteiro arbitrário k, e baseados nesta hipótese mostramos que P(k + 1) é verdadeira. Você deve convencer a si próprio que assumir a propriedade P como válida para o número k não é a mesma coisa que assumir o que desejamos demonstrar (uma frequente fonte de confusão, quando nos deparamos pela primeira vez com este tipo de demonstração). Assumi-la como verdadeira é simplesmente o caminho para elaborar a prova de que a implicação é verdadeira. 6/19 Matemática Discreta
  • 7. Demonstrações Indutivas Suponha que o Sr. Silva casou-se e teve dois filhos. Vamos chamar estes dois filhos de geração 1. Agora suponha que cada um desses dois filhos teve dois filhos; então na geração 2 temos quatro descendentes. Este processo continua de geração em geração. A árvore genealógica da família Silva é semelhante à: 7/19 Matemática Discreta
  • 8. Demonstrações Indutivas Aparentemente a geração n tem 2n descendentes. De maneira mais formal, se fizermos P(n) denotar o número de descendentes na geração n, então nossa suposição será P(n) = 2n Podemos usar a indução para demonstrar que nosso palpite para P(n) está correto. A base da indução é estabelecer P(1), que resulta a equação: P(1) = 21 = 2 Que é verdadeira, posto que foi informado que o Sr. Silva tinha dois filhos. Agora vamos supor que nossa premissa é verdadeira para uma geração arbitrária k, ou seja, assumimos que: P(k) = 2k e tentaremos mostrar que: P(k+1) = 2k+1 Nesta família, cada descendente tem dois filhos; então o número de descendentes na geração k + 1 será o dobro do da geração índice k, ou seja, P(k + 1) = 2P(k). Pela hipótese de indução, P(k) = 2k, logo P(k+ 1) = 2 P(k) = 2(2k) = 2k+1 então, de fato, P(k+1) = 2k+1 Isto completa a nossa demonstração por indução. Agora que sabemos como resolver o problema simples do clã dos Silva, podemos aplicar a técnica de demonstração por indução em problemas menos óbvios. 8/19 Matemática Discreta
  • 9. Exemplo 1 Prove que a equação (1) 1 + 3 + 5 +...+ ( 2 n - 1 ) = n 2 (1) é verdadeira para qualquer inteiro positivo n. Neste caso, a propriedade P(n) é que a equação (1) acima é verdadeira. O lado esquerdo desta equação é a soma de todos os inteiros ímpares de l até 2n — 1. Ainda que possamos verificar que a equação é verdadeira para um particular valor de n pela substituição deste valor na equação, nós não podemos substituir todos os possíveis valores inteiros positivos. Por isso, uma demonstração por exemplos não funciona. É mais apropriada uma demonstração por indução matemática. O passo básico é estabelecer P(1), que é o valor da equação (1) quando n assume o valor 1, ou seja: 1 = 12 Isto certamente é verdadeiro. Para a hipótese de indução, vamos assumir P{k) como verdadeira para um inteiro positivo arbitrário k, que é o valor da equação (1) quando n vale k, ou seja (2) 1 + 3 + 5 + ... + (2k-1) = k 2 (Note que P(k) não é a equação (2k— 1) = k2 que só é verdadeira quando k = 1.) Usando a hipótese de indução, queremos mostrar P(k + 1) que é o valor da equação (1) quando n assume o valor k + 1, ou seja: (3) 1 + 3 + 5 + ... + [2(k + 1) - 1] = (k - 1) 2 9/19 Matemática Discreta
  • 10. Exemplo 1 Prove que a equação (1) 1 + 3 + 5 +...+ ( 2 n - 1 ) = n 2 (2) 1 + 3 + 5 + ... + (2k-1) = k 2 (3) 1 + 3 + 5 + ... + [2(k + 1) - 1] = (k - 1) 2 (O pequeno ponto de interrogação sobre o sinal de igualdade serve para nos lembrar que é este fato que desejamos provar, a partir de um outro fato já conhecido.) A chave para uma demonstração por indução é encontrar uma forma de relacionar o que se deseja mostrar — P(k + 1), equação (3) — com o que assumimos como verdadeiro — P(k), equação (2). O lado esquerdo de P(k + 1 ) pode ser reescrito a fim de destacar o penúltimo termo: 1 + 3 + 5 + - + (2k - 1) + [2(k + 1) – 1] Esta expressão contém do lado esquerdo a equação (2) como sub-expressão. Como assumimos que P(k) é verdadeira, podemos substituir esta expressão pelo lado direito da equação (2). Senão vejamos: 1 + 3 + 5 + - + [2(k+1) - 1] = 1 + 3 + 5 +...+ (2k - 1) + [2(k+1) - 1] = k2+ [2(k+1) -1 ] = k2 + [2k + 2 - 1] = k2 + 2k + 1 = (k + 1)2 Portanto 1 + 3 + 5 + ....+ [2(k + 1) - 1] = (k + 1) 2 o que verifica P(k + 1) e prova que a equação (1) é verdadeira para qualquer inteiro positivo n. 10/19 Matemática Discreta
  • 11. Exemplo 2 Prove que 1 + 2 + 22 + ... + 2n = 2n+1 – 1 para qualquer n > 1. Aqui, novamente, a indução é a técnica mais apropriada. P(1) é a equação 1 + 2 = 21 + 1 - 1 ou 3 = 22 – 1 que é verdadeira. Consideremos agora P(k) → 1 + 2 + 22 + ... + 2k = 2k + 1 - 1 como a hipótese de indução, e busquemos obter P(k+1) → → 1 + 2 + 22 + ... + 2k + 2(k+1)= 2k + 1+1 - 1 Agora, se reescrevermos a soma do lado esquerdo de P(k+ 1), obtemos uma forma de usar a hipótese de indução: 1 + 2 + 22 + ...+ 2k+1 = 1 + 2 + 22 +...+ 2k + 2k+1 = 2k+1 - 1 + 2k+1 (da hipótese de indução P(k)) = 2(2k+1)- 1 = 2k+1+1 - 1 Portanto 1 + 2 + 22 + ... + 2k+1 = 2k+1 + 1 – 1 que verifica P(k+1) e completa a demonstração. 11/19 Matemática Discreta
  • 12. Exercício Prove que para qualquer inteiro positivo n, 1+2+3+...+n = n(n+1)/2 10 minutos !!! 12/19 Matemática Discreta
  • 13. Exemplo 3 Demonstre que, para qualquer inteiro positivo n, 2 n > n. P(1) é a sentença 21 > 1 que é, sem dúvida, verdadeira. Suponhamos agora P(k), 2k > k, como verdadeira, e procuremos concluir a partir daí P(k+1), 2 k + 1 > k + 1. Começando pelo lado esquerdo de P(k+ 1), temos que: 2k+1 = 2k * 2. Usando a hipótese de indução 2k> k e multiplicando ambos os lados dessa desigualdade por 2, temos 2k * 2 > k *2 Podemos escrever então que: 2k+1 = 2k * 2 > k * 2 = k + k >= k + 1 o que resulta em 2k+1 > k + 1 13/19 Matemática Discreta
  • 14. Exemplo 4 Prove que, para qualquer inteiro positivo n, o número 22n - 1 é divisível por 3. A base da indução é mostrar P(1), ou seja, mostrar que 22(1) - 1 = 4 - 1 = 3 é divisível por 3, o que obviamente é verdadeiro. Assumimos que 22k - 1 é divisível por 3, o que equivale a escrever 22k 1 = 3m para algum inteiro m, ou 22k = 3m + 1. Desejamos mostrar que 22(k+1) - 1 é divisível por 3. 22(K+1) – 1 = 22k+2 – 1 = 22k * 22 – 1 = (3m+1)*4 – 1 (pela hipótese de indução) = 12m + 4 – 1 = 12m + 3 = 3*4m + 3 = 3(1+4m) Logo 22(k+1) - 1 é divisível por 3. Em alguns casos, pode ser que, para o primeiro passo do processo de indução, seja mais apropriado começar com valores 0, 2, ou 3, ao invés de 1. O mesmo princípio se aplica, qualquer que seja o degrau da escada que você alcance no primeiro passo. 14/19 Matemática Discreta
  • 15. Exemplo 5 Prove que n2 > 3n para n>=4 Neste exemplo devemos aplicar a indução e começar com um passo inicial P(4). (Se testarmos para valores de n = 1, 2 e 3, verificaremos que a desigualdade não se verifica.) P(A) é então a desigualdade 42 > 3(4), ou 16 > 12, que é verdadeira. A hipótese de indução é k2 > 3k , para k > 4, e queremos mostrar que (k+ 1)2 > 3(k+1). (k+1)2 = k2 + 2k + 1 > 3k + 2k + 1 >= 3k + 8 + 1 (já que k >=4) > 3k + 3 = 3(k+1) 15/19 Matemática Discreta
  • 16. Exemplo 6 Uma linguagem de programação pode ser projetada com as seguintes convenções no que se refere à multiplicação. Um fator simples não requer parênteses, mas o produto "o vezes b" deve ser escrito como (a)b. Desejamos mostrar que qualquer produto de fatores precisa de um número par de parênteses para ser escrito. A prova é feita por indução, considerando-se como variável o número de fatores. Para um único fator usa-se 0 (zero) parêntese, um número par. Suponhamos que para qualquer produto de k fatores, usamos um número par de parênteses. Consideremos agora o produto P de k+1 fatores. P pode ser escrito na forma r vezes s, onde r tem k fatores e s é um fator único. Pela hipótese de indução, r tem um número par de parênteses. Então pode-se escrever r vezes s como (r)s, adicionando-se mais dois parênteses ao número par de parênteses em r, e resultando assim um número par de parênteses para P. É possível se enganar ao construir uma prova por indução. Quando demonstramos que P(k+ 1) é verdadeira, sem nos valermos da hipótese P(k), nós elaboramos uma prova direta de P(k+1), onde k+1 é arbitrário. A prova deveria ser reescrita para explicitar que é uma prova direta de P(n) para qualquer n, e não uma prova por indução. 16/19 Matemática Discreta
  • 17. Exercícios Use indução matemática para provar as igualdades abaixo: 1. 2+6+10+...+(4n-2) = 2n2 2. 2+4+6+...+2n = n(n+1) 3. 1+5+9+...+(4n-3) = n(2n-1) 4. 1.3+2.4+3.5+...+n(n+2) = n(n+1)(2n+7)/6 5. n2 > n + 1 para n>=2 6. n! < nn para n >=2 7. n3 + 2n é divisível por 3 8. Uma pitoresca tribo nativa tem apenas três palavras na sua língua, cuco, cuca e caco. Novas palavras são compostas pela concatenação destas palavras em qualquer ordem, por exemplo cucacucocacocuca. Use a indução completa (para o número de subpalavras na palavra) para provar que qualquer palavra nesta língua tem um número par de c 's 17/19 Matemática Discreta
  • 18. Exercício Prove que para qualquer inteiro positivo n, 1+2+3+...+n = n(n+1)/2 Para n = 1 temos → 1 = 1(1+1)/2 → 1 = 2/2 OK Assumimos para n → 1+2+3+...+n = n(n+1)/2 Precisamos demonstrar para n+1 1+2+3+...+n+(n+1) = (n+1)(n+1+1)/2 = (n+1)(n+2)/2 = [n 2 +2n +n + 2]/2 = = [n2 +3n+2]/2 Pegando o lado esquerdo da equação e desenvolvendo: 1+2+3+...+n+(n+1) = n(n+1)/2 + n+1 (substitui a parte grifada pela hipótese da indução. [n(n+1) +2(n+1)]/2 = [n(n+1) + 2(n+1)]/2 = [n2 + n +2n + 2]/2 = [n2 + 3n + 2]/2 18/19 Matemática Discreta
  • 19. Lista de Exercícios 1.Em um grupo de 42 turistas, todos falam inglês ou francês; existem 35 pessoas que falam inglês e 18 pessoas que falam francês. Quantas falam inglês e francês? 2.Dentre 214 clientes de um banco com contas-correntes, caderneta de poupança ou aplicações financeiras, 189 têm contas-correntes, 73 têm cadernetas de poupanças regulares, 114 têm aplicações no mercado financeiro e 69 têm contas-correntes e cadernetas de poupança. Não é possível ter caderneta de poupança e investir no mercado financeiro. 1.Quantos clientes têm, ao mesmo tempo, conta-corrente e aplicações no mercado financeiro? 2.Quantos clientes têm apenas conta-corrente? 3. Você está desenvolvendo um novo sabonete e contratou uma empresa de pesquisa de opinião pública para realizar uma pesquisa de mercado para você. A empresa constatou que, em sua pesquisa de 450 consumidores, os fatores a seguir foram considerados relevantes na decisão de compra de um sabonete: Perfume 425 Fácil produção de espuma 397 Ingredientes naturais 340 Perfume e fácil produção de espuma 284 Perfume e ingredientes naturais 315 Fácil produção de espuma e ingredientes naturais 219 Todos os três fatores 147 Você confiaria nesses resultados? Justifique. 4. Quantas cartas precisam ser tiradas de um baralho convencional de 52 cartas para garantirem que tiraremos duas cartas do mesmo naipe? 5. Prove que se quatro números são escolhidos do conjunto {1, 2, 3, 4, 5, 6}, pelo menos um par precisa somar 7. (Dica: Encontre todos os pares de números do conjunto que somem 7.) 19/19 Matemática Discreta