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


     Matemática Discreta

           Aula 8

    Indução Matemática
    Revisão para a Prova
Notas de Aula
✔
    O conteúdo da aula de hoje está no capítulo 2 do livro
    do Gersting.
✔
    Correção da prova.




                                                             2/8
                          Matemática Discreta
Indução Matemática
1. P(1) é verdadeira
2. P(r) é verdadeira para todo r
 1≤ r≤ k → P(k+1) verdadeira




                                             3/8
                       Matemática Discreta
Ideias Principais
Indução matemática é uma técnica usada para
  demonstrar propriedades de números inteiros
  positivos.
Uma demonstração por indução não precisa
 começar no valor 1.
A indução pode ser usada para demonstrar
  resultados sobre quantidades, cujos valores são
  inteiros não-negativos arbitrários.
A indução fraca e a indução forte podem ser usadas
  para demonstrarem o mesmo resultado; no
  entanto, dependendo da situação, uma ou outra
  abordagem pode ser mais fácil de ser utilizada.
                                                    4/8
                      Matemática Discreta
Prove que 1+3+5+...+(2n - 1) = n2 para todo inteiro
                       positivo n
Primeiro preciso provar para n = 1
P(1) → 1 = 12 OK
Vamos provar para n = 4 também.
P(4) → 1+3+..+(2*4-1) = 42
          1+3+5+7 = 16 OK
Assumimos que é verdade para n
P(n) → 1+3+5+...+(2n - 1) = n2 (Hipótese da indução)
Precisamo provar para n+1
P(n+1) → 1+3+5+...+(2n – 1) + (2(n+1) - 1) = (n+1)2
Desenvolvendo o primeiro termo da equação
1+3+5+...+(2n – 1) + (2(n+1) – 1) = (substituindo 1+3+5+...+(2n – 1) por
  n2 pela hipótese da indução) n2 + 2n + 2 – 1 = n2 + 2n + 1 = (n+1)2
  CQD.
                                                                       5/8
                              Matemática Discreta
Prove que n2 ≥ 3n para todo n ≥ 4
Como n começa em quatro precisamos provas a desigualdade para n=4
P(4) → n2 ≥ 3n → 42 ≥ 3*4 → 16 ≥ 12
A partir da prova para P(4) assumimos que é verdade para P(n)
P(n) → n2 ≥ 3n
Precisamos provar para n+1
P(n+1) → (n+1)2 ≥ 3(n+1) → n2 + 2n +1 ≥ 3n + 3


resolvendo somente o primeiro termo da equação
n2 + 2n +1 > 3n + 2n + 1 (pela hipótese da indução pois n 2 ≥ 3n)
           ≥ 3n + 8 + 1 (já que n ≥ 4)
           > 3n + 3
           = 3(n+1)
Portanto n2 + 2n +1 ≥ 3n+3)




                                                                    6/8
                                          Matemática Discreta
Prove que 1+2+22+...+2n = 2n+1 – 1 para qualquer n ≥ 1

Precisamos provar para n=1
P(1) → 1+21 = 2(1+1) – 1 → 3 = 3 OK.
Assumimos que é verdade para n
P(n) → 1+2+22+...+2n = 2n+1 – 1
Precisamos provar para n+1
P(n+1) → 1+2+22+...+2n + 2(n+1)= 2(n+1+1) – 1
Resolvendo o primeiro termo da equação
1+2+22+...+2n + 2(n+1)= 2(n+1) -1 + 2(n+1) = 2(2(n+1)) – 1 que é igual
  ao 2º termo da P(n+1) → 2(n+2) - 1


                                                                         7/8
                              Matemática Discreta
Exercícios
1. Prove por indução
    (a) 1+2+3+...+n = n(n+1)/2
    (b) 1.1! + 2.2! + … + n.n! = (n+1)! -1
    (c) 2n ≥ n2 para n ≥ 5
    (d) (1+x)n > 1 + xn
2. O que está errado na demonstração por indução
  matemática? Iremos provar que n é igual a 1 + n.
  Suponha que P(n) é verdadeira.
      n = n+1
      somando 1 a ambos os lados
      n+1 = n+2 logo P(n+1) é verdadeira



                                                     8/8
                             Matemática Discreta

Mais conteúdo relacionado

Mais procurados

Aula 8 inducao matematica
Aula 8   inducao matematicaAula 8   inducao matematica
Aula 8 inducao matematica
wab030
 
Palavras cruzadas mat
Palavras cruzadas matPalavras cruzadas mat
Palavras cruzadas mat
Filipe Raivel
 
Teoria elementar dos numeros
Teoria elementar dos numerosTeoria elementar dos numeros
Teoria elementar dos numeros
lealtran
 
Exercícios de matemática monitoria 9ano cópia
Exercícios de matemática monitoria 9ano   cópiaExercícios de matemática monitoria 9ano   cópia
Exercícios de matemática monitoria 9ano cópia
Adriano Capilupe
 
Teorema de pitágoras apresentação de slide
Teorema de pitágoras   apresentação de slideTeorema de pitágoras   apresentação de slide
Teorema de pitágoras apresentação de slide
Raquel1966
 
Sistema de equações
Sistema de equaçõesSistema de equações
Sistema de equações
jtturmina
 
Resolução comentada matemática 002
Resolução comentada matemática  002Resolução comentada matemática  002
Resolução comentada matemática 002
comentada
 

Mais procurados (20)

Matemática Discreta - Introdução
Matemática Discreta - IntroduçãoMatemática Discreta - Introdução
Matemática Discreta - Introdução
 
Aula 8 inducao matematica
Aula 8   inducao matematicaAula 8   inducao matematica
Aula 8 inducao matematica
 
Palavras cruzadas mat
Palavras cruzadas matPalavras cruzadas mat
Palavras cruzadas mat
 
Mdc e mmc
Mdc e mmcMdc e mmc
Mdc e mmc
 
Tabela completa de derivadas e integrais
Tabela completa de derivadas e integraisTabela completa de derivadas e integrais
Tabela completa de derivadas e integrais
 
Teoria elementar dos numeros
Teoria elementar dos numerosTeoria elementar dos numeros
Teoria elementar dos numeros
 
Funções - Teoria
Funções - TeoriaFunções - Teoria
Funções - Teoria
 
Aula 02 Cálculo de limites - Conceitos Básicos
Aula 02   Cálculo de limites - Conceitos BásicosAula 02   Cálculo de limites - Conceitos Básicos
Aula 02 Cálculo de limites - Conceitos Básicos
 
Exercícios de matemática monitoria 9ano cópia
Exercícios de matemática monitoria 9ano   cópiaExercícios de matemática monitoria 9ano   cópia
Exercícios de matemática monitoria 9ano cópia
 
1 lista arredondamento
1 lista arredondamento1 lista arredondamento
1 lista arredondamento
 
Aula 09 Medidas de Tendencia Central de Dados Agrupados
Aula 09   Medidas de Tendencia Central de Dados AgrupadosAula 09   Medidas de Tendencia Central de Dados Agrupados
Aula 09 Medidas de Tendencia Central de Dados Agrupados
 
Exercícios Resolvidos: Distribuição Binomial
Exercícios Resolvidos: Distribuição BinomialExercícios Resolvidos: Distribuição Binomial
Exercícios Resolvidos: Distribuição Binomial
 
Teorema de pitágoras apresentação de slide
Teorema de pitágoras   apresentação de slideTeorema de pitágoras   apresentação de slide
Teorema de pitágoras apresentação de slide
 
Sistema de equações
Sistema de equaçõesSistema de equações
Sistema de equações
 
Lógica matemática (exercícios resolvidos)
Lógica matemática (exercícios resolvidos)Lógica matemática (exercícios resolvidos)
Lógica matemática (exercícios resolvidos)
 
Aula 01 limites e continuidade
Aula 01   limites e continuidadeAula 01   limites e continuidade
Aula 01 limites e continuidade
 
Resolução comentada matemática 002
Resolução comentada matemática  002Resolução comentada matemática  002
Resolução comentada matemática 002
 
Resolução da lista 1 quadriláteros
Resolução da lista 1   quadriláterosResolução da lista 1   quadriláteros
Resolução da lista 1 quadriláteros
 
Equação do 2º grau
Equação do 2º grauEquação do 2º grau
Equação do 2º grau
 
P.a. e p.g.
P.a. e p.g.P.a. e p.g.
P.a. e p.g.
 

Destaque

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
Ulrich Schiel
 
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
wab030
 
Aula 5 analise combinatoria
Aula 5   analise combinatoriaAula 5   analise combinatoria
Aula 5 analise combinatoria
wab030
 
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
Ulrich Schiel
 
57701066 matematica-discreta-exercicios-resolvidos
57701066 matematica-discreta-exercicios-resolvidos57701066 matematica-discreta-exercicios-resolvidos
57701066 matematica-discreta-exercicios-resolvidos
HAROLDO MIRANDA DA COSTA JR
 
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
Ulrich Schiel
 
Mat sequencias e progressoes 006
Mat sequencias e progressoes  006Mat sequencias e progressoes  006
Mat sequencias e progressoes 006
trigono_metrico
 
Mat regra de tres composta
Mat regra de tres compostaMat regra de tres composta
Mat regra de tres composta
trigono_metria
 
Matemática para concursos regra de três simples e composta - 10 exercícios ...
Matemática para concursos   regra de três simples e composta - 10 exercícios ...Matemática para concursos   regra de três simples e composta - 10 exercícios ...
Matemática para concursos regra de três simples e composta - 10 exercícios ...
Sulaine Almeida
 
Exercícios de regra de três simples e composta 5
Exercícios de regra de três simples e composta 5Exercícios de regra de três simples e composta 5
Exercícios de regra de três simples e composta 5
Alex Cleres
 
Mat utfrs 07. regra de tres exercicios
Mat utfrs 07. regra de tres exerciciosMat utfrs 07. regra de tres exercicios
Mat utfrs 07. regra de tres exercicios
trigono_metria
 

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)
 
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
 
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
 
Aula 5 analise combinatoria
Aula 5   analise combinatoriaAula 5   analise combinatoria
Aula 5 analise combinatoria
 
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
 
57701066 matematica-discreta-exercicios-resolvidos
57701066 matematica-discreta-exercicios-resolvidos57701066 matematica-discreta-exercicios-resolvidos
57701066 matematica-discreta-exercicios-resolvidos
 
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
 
Internet e Educação
Internet e EducaçãoInternet e Educação
Internet e Educação
 
MATEMÁTICA - TEORIA DOS CONJUNTOS - AULA 3
MATEMÁTICA - TEORIA DOS CONJUNTOS - AULA 3MATEMÁTICA - TEORIA DOS CONJUNTOS - AULA 3
MATEMÁTICA - TEORIA DOS CONJUNTOS - AULA 3
 
Lista 2 - FUV - Resolução
Lista 2   - FUV - ResoluçãoLista 2   - FUV - Resolução
Lista 2 - FUV - Resolução
 
Progressão geométrica (Soma dos Termos, Produto e Aplicações)
Progressão geométrica (Soma dos Termos, Produto e Aplicações)Progressão geométrica (Soma dos Termos, Produto e Aplicações)
Progressão geométrica (Soma dos Termos, Produto e Aplicações)
 
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
 
Mat sequencias e progressoes 006
Mat sequencias e progressoes  006Mat sequencias e progressoes  006
Mat sequencias e progressoes 006
 
Regra 3 simples e composta
Regra 3 simples e compostaRegra 3 simples e composta
Regra 3 simples e composta
 
Mat regra de tres composta
Mat regra de tres compostaMat regra de tres composta
Mat regra de tres composta
 
Abscissa
AbscissaAbscissa
Abscissa
 
Matemática para concursos regra de três simples e composta - 10 exercícios ...
Matemática para concursos   regra de três simples e composta - 10 exercícios ...Matemática para concursos   regra de três simples e composta - 10 exercícios ...
Matemática para concursos regra de três simples e composta - 10 exercícios ...
 
Apostila revisao de matematica
Apostila    revisao de matematicaApostila    revisao de matematica
Apostila revisao de matematica
 
Exercícios de regra de três simples e composta 5
Exercícios de regra de três simples e composta 5Exercícios de regra de três simples e composta 5
Exercícios de regra de três simples e composta 5
 
Mat utfrs 07. regra de tres exercicios
Mat utfrs 07. regra de tres exerciciosMat utfrs 07. regra de tres exercicios
Mat utfrs 07. regra de tres exercicios
 

Semelhante a Aula 9 inducao matematica ii

Modelagem matematica aplicada a engenharia quimica
Modelagem matematica aplicada a engenharia quimicaModelagem matematica aplicada a engenharia quimica
Modelagem matematica aplicada a engenharia quimica
Vinicius Chacon
 
Gerando triângulos pitagóricos
Gerando triângulos pitagóricosGerando triângulos pitagóricos
Gerando triângulos pitagóricos
Sandro de Macedo
 

Semelhante a Aula 9 inducao matematica ii (20)

Lista de exercícios 1
Lista de exercícios 1Lista de exercícios 1
Lista de exercícios 1
 
03 inducao i
03 inducao i03 inducao i
03 inducao i
 
Indução Matemática
Indução MatemáticaIndução Matemática
Indução Matemática
 
Teoria do números - Classificações especiais
Teoria do números - Classificações especiaisTeoria do números - Classificações especiais
Teoria do números - Classificações especiais
 
Lista 3 - Bases Matemáticas - Indução
Lista 3  - Bases Matemáticas - InduçãoLista 3  - Bases Matemáticas - Indução
Lista 3 - Bases Matemáticas - Indução
 
Tnotas
TnotasTnotas
Tnotas
 
Modelagem matematica aplicada a engenharia quimica
Modelagem matematica aplicada a engenharia quimicaModelagem matematica aplicada a engenharia quimica
Modelagem matematica aplicada a engenharia quimica
 
Aula 6 - Profmat - Numeros Primos - 08 09-17
Aula 6 - Profmat - Numeros Primos -  08 09-17Aula 6 - Profmat - Numeros Primos -  08 09-17
Aula 6 - Profmat - Numeros Primos - 08 09-17
 
Resolucao cadernoumseries
Resolucao cadernoumseriesResolucao cadernoumseries
Resolucao cadernoumseries
 
Apostila Matematica Básica Parte 2
Apostila Matematica Básica Parte 2Apostila Matematica Básica Parte 2
Apostila Matematica Básica Parte 2
 
A3 me
A3 meA3 me
A3 me
 
Análise de Algoritmos - Solução de Recorrências
Análise de Algoritmos - Solução de RecorrênciasAnálise de Algoritmos - Solução de Recorrências
Análise de Algoritmos - Solução de Recorrências
 
Gerando triângulos pitagóricos
Gerando triângulos pitagóricosGerando triângulos pitagóricos
Gerando triângulos pitagóricos
 
Exercicios resolvidos
Exercicios resolvidosExercicios resolvidos
Exercicios resolvidos
 
Sequencias e series unicamp
Sequencias e series   unicampSequencias e series   unicamp
Sequencias e series unicamp
 
Relações de recorrência
Relações de recorrênciaRelações de recorrência
Relações de recorrência
 
Testes de Raciocínio Lógico: "suficiência lógica"
Testes de Raciocínio Lógico: "suficiência lógica"Testes de Raciocínio Lógico: "suficiência lógica"
Testes de Raciocínio Lógico: "suficiência lógica"
 
PC_2020-2_EP03_Polinomios_GABARITO.pdf
PC_2020-2_EP03_Polinomios_GABARITO.pdfPC_2020-2_EP03_Polinomios_GABARITO.pdf
PC_2020-2_EP03_Polinomios_GABARITO.pdf
 
Teste[1]
Teste[1]Teste[1]
Teste[1]
 
Exercícios Resolvidos: Reta normal
Exercícios Resolvidos: Reta normalExercícios Resolvidos: Reta normal
Exercícios Resolvidos: Reta normal
 

Mais de wab030

Hp0061
Hp0061Hp0061
Hp0061
wab030
 
Notas b2redes
Notas b2redesNotas b2redes
Notas b2redes
wab030
 
Notas info+banco
Notas info+bancoNotas info+banco
Notas info+banco
wab030
 
Aula 10 camada de rede
Aula 10   camada de redeAula 10   camada de rede
Aula 10 camada de rede
wab030
 
Aula 12 revisãodos exercícios
Aula 12   revisãodos exercíciosAula 12   revisãodos exercícios
Aula 12 revisãodos exercícios
wab030
 
Aula 10 maquinade turing
Aula 10   maquinade turingAula 10   maquinade turing
Aula 10 maquinade turing
wab030
 
Wireshark ip sept_15_2009
Wireshark ip sept_15_2009Wireshark ip sept_15_2009
Wireshark ip sept_15_2009
wab030
 
Aula 10 camada de rede
Aula 10   camada de redeAula 10   camada de rede
Aula 10 camada de rede
wab030
 
Aula 9 conceitos gerais de Rede
Aula 9   conceitos gerais de RedeAula 9   conceitos gerais de Rede
Aula 9 conceitos gerais de Rede
wab030
 
Wireshark UDP
Wireshark UDPWireshark UDP
Wireshark UDP
wab030
 
Notas b1 redes
Notas b1 redesNotas b1 redes
Notas b1 redes
wab030
 
Notas b1 info+banco
Notas b1 info+bancoNotas b1 info+banco
Notas b1 info+banco
wab030
 
Aula 9 camada de rede
Aula 9   camada de redeAula 9   camada de rede
Aula 9 camada de rede
wab030
 

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

Sistema articular aula 4 (1).pdf articulações e junturas
Sistema articular aula 4 (1).pdf articulações e junturasSistema articular aula 4 (1).pdf articulações e junturas
Sistema articular aula 4 (1).pdf articulações e junturas
rfmbrandao
 
ATIVIDADE 3 - DESENVOLVIMENTO E APRENDIZAGEM MOTORA - 52_2024
ATIVIDADE 3 - DESENVOLVIMENTO E APRENDIZAGEM MOTORA - 52_2024ATIVIDADE 3 - DESENVOLVIMENTO E APRENDIZAGEM MOTORA - 52_2024
ATIVIDADE 3 - DESENVOLVIMENTO E APRENDIZAGEM MOTORA - 52_2024
azulassessoria9
 
ATIVIDADE 2 - DESENVOLVIMENTO E APRENDIZAGEM MOTORA - 52_2024
ATIVIDADE 2 - DESENVOLVIMENTO E APRENDIZAGEM MOTORA - 52_2024ATIVIDADE 2 - DESENVOLVIMENTO E APRENDIZAGEM MOTORA - 52_2024
ATIVIDADE 2 - DESENVOLVIMENTO E APRENDIZAGEM MOTORA - 52_2024
azulassessoria9
 
O estudo do controle motor nada mais é do que o estudo da natureza do movimen...
O estudo do controle motor nada mais é do que o estudo da natureza do movimen...O estudo do controle motor nada mais é do que o estudo da natureza do movimen...
O estudo do controle motor nada mais é do que o estudo da natureza do movimen...
azulassessoria9
 

Último (20)

Sopa de letras | Dia da Europa 2024 (nível 2)
Sopa de letras | Dia da Europa 2024 (nível 2)Sopa de letras | Dia da Europa 2024 (nível 2)
Sopa de letras | Dia da Europa 2024 (nível 2)
 
Quiz | Dia da Europa 2024 (comemoração)
Quiz | Dia da Europa 2024  (comemoração)Quiz | Dia da Europa 2024  (comemoração)
Quiz | Dia da Europa 2024 (comemoração)
 
O desenvolvimento é um conceito mais amplo, pode ter um contexto biológico ou...
O desenvolvimento é um conceito mais amplo, pode ter um contexto biológico ou...O desenvolvimento é um conceito mais amplo, pode ter um contexto biológico ou...
O desenvolvimento é um conceito mais amplo, pode ter um contexto biológico ou...
 
O que é arte. Definição de arte. História da arte.
O que é arte. Definição de arte. História da arte.O que é arte. Definição de arte. História da arte.
O que é arte. Definição de arte. História da arte.
 
Apresentação | Símbolos e Valores da União Europeia
Apresentação | Símbolos e Valores da União EuropeiaApresentação | Símbolos e Valores da União Europeia
Apresentação | Símbolos e Valores da União Europeia
 
Sistema articular aula 4 (1).pdf articulações e junturas
Sistema articular aula 4 (1).pdf articulações e junturasSistema articular aula 4 (1).pdf articulações e junturas
Sistema articular aula 4 (1).pdf articulações e junturas
 
aprendizagem significatica, teórico David Ausubel
aprendizagem significatica, teórico David Ausubelaprendizagem significatica, teórico David Ausubel
aprendizagem significatica, teórico David Ausubel
 
tensoes-etnicas-na-europa-template-1.pptx
tensoes-etnicas-na-europa-template-1.pptxtensoes-etnicas-na-europa-template-1.pptx
tensoes-etnicas-na-europa-template-1.pptx
 
Tema de redação - As dificuldades para barrar o casamento infantil no Brasil ...
Tema de redação - As dificuldades para barrar o casamento infantil no Brasil ...Tema de redação - As dificuldades para barrar o casamento infantil no Brasil ...
Tema de redação - As dificuldades para barrar o casamento infantil no Brasil ...
 
ATIVIDADE 3 - DESENVOLVIMENTO E APRENDIZAGEM MOTORA - 52_2024
ATIVIDADE 3 - DESENVOLVIMENTO E APRENDIZAGEM MOTORA - 52_2024ATIVIDADE 3 - DESENVOLVIMENTO E APRENDIZAGEM MOTORA - 52_2024
ATIVIDADE 3 - DESENVOLVIMENTO E APRENDIZAGEM MOTORA - 52_2024
 
Falando de Física Quântica apresentação introd
Falando de Física Quântica apresentação introdFalando de Física Quântica apresentação introd
Falando de Física Quântica apresentação introd
 
Slides Lição 6, Betel, Ordenança para uma vida de obediência e submissão.pptx
Slides Lição 6, Betel, Ordenança para uma vida de obediência e submissão.pptxSlides Lição 6, Betel, Ordenança para uma vida de obediência e submissão.pptx
Slides Lição 6, Betel, Ordenança para uma vida de obediência e submissão.pptx
 
Monoteísmo, Politeísmo, Panteísmo 7 ANO2.pptx
Monoteísmo, Politeísmo, Panteísmo 7 ANO2.pptxMonoteísmo, Politeísmo, Panteísmo 7 ANO2.pptx
Monoteísmo, Politeísmo, Panteísmo 7 ANO2.pptx
 
ATIVIDADE 2 - DESENVOLVIMENTO E APRENDIZAGEM MOTORA - 52_2024
ATIVIDADE 2 - DESENVOLVIMENTO E APRENDIZAGEM MOTORA - 52_2024ATIVIDADE 2 - DESENVOLVIMENTO E APRENDIZAGEM MOTORA - 52_2024
ATIVIDADE 2 - DESENVOLVIMENTO E APRENDIZAGEM MOTORA - 52_2024
 
Aula 25 - A america espanhola - colonização, exploraçãp e trabalho (mita e en...
Aula 25 - A america espanhola - colonização, exploraçãp e trabalho (mita e en...Aula 25 - A america espanhola - colonização, exploraçãp e trabalho (mita e en...
Aula 25 - A america espanhola - colonização, exploraçãp e trabalho (mita e en...
 
Apresentação | Dia da Europa 2024 - Celebremos a União Europeia!
Apresentação | Dia da Europa 2024 - Celebremos a União Europeia!Apresentação | Dia da Europa 2024 - Celebremos a União Europeia!
Apresentação | Dia da Europa 2024 - Celebremos a União Europeia!
 
Slides Lição 06, Central Gospel, O Anticristo, 1Tr24.pptx
Slides Lição 06, Central Gospel, O Anticristo, 1Tr24.pptxSlides Lição 06, Central Gospel, O Anticristo, 1Tr24.pptx
Slides Lição 06, Central Gospel, O Anticristo, 1Tr24.pptx
 
O estudo do controle motor nada mais é do que o estudo da natureza do movimen...
O estudo do controle motor nada mais é do que o estudo da natureza do movimen...O estudo do controle motor nada mais é do que o estudo da natureza do movimen...
O estudo do controle motor nada mais é do que o estudo da natureza do movimen...
 
Cartão de crédito e fatura do cartão.pptx
Cartão de crédito e fatura do cartão.pptxCartão de crédito e fatura do cartão.pptx
Cartão de crédito e fatura do cartão.pptx
 
apostila filosofia 1 ano 1s (1).pdf 1 ANO DO ENSINO MEDIO . CONCEITOSE CARAC...
apostila filosofia 1 ano  1s (1).pdf 1 ANO DO ENSINO MEDIO . CONCEITOSE CARAC...apostila filosofia 1 ano  1s (1).pdf 1 ANO DO ENSINO MEDIO . CONCEITOSE CARAC...
apostila filosofia 1 ano 1s (1).pdf 1 ANO DO ENSINO MEDIO . CONCEITOSE CARAC...
 

Aula 9 inducao matematica ii

  • 1. Curso: Ciência da Computação Turma: 3º/4º Semestre Matemática Discreta Aula 8 Indução Matemática Revisão para a Prova
  • 2. Notas de Aula ✔ O conteúdo da aula de hoje está no capítulo 2 do livro do Gersting. ✔ Correção da prova. 2/8 Matemática Discreta
  • 3. Indução Matemática 1. P(1) é verdadeira 2. P(r) é verdadeira para todo r 1≤ r≤ k → P(k+1) verdadeira 3/8 Matemática Discreta
  • 4. Ideias Principais Indução matemática é uma técnica usada para demonstrar propriedades de números inteiros positivos. Uma demonstração por indução não precisa começar no valor 1. A indução pode ser usada para demonstrar resultados sobre quantidades, cujos valores são inteiros não-negativos arbitrários. A indução fraca e a indução forte podem ser usadas para demonstrarem o mesmo resultado; no entanto, dependendo da situação, uma ou outra abordagem pode ser mais fácil de ser utilizada. 4/8 Matemática Discreta
  • 5. Prove que 1+3+5+...+(2n - 1) = n2 para todo inteiro positivo n Primeiro preciso provar para n = 1 P(1) → 1 = 12 OK Vamos provar para n = 4 também. P(4) → 1+3+..+(2*4-1) = 42 1+3+5+7 = 16 OK Assumimos que é verdade para n P(n) → 1+3+5+...+(2n - 1) = n2 (Hipótese da indução) Precisamo provar para n+1 P(n+1) → 1+3+5+...+(2n – 1) + (2(n+1) - 1) = (n+1)2 Desenvolvendo o primeiro termo da equação 1+3+5+...+(2n – 1) + (2(n+1) – 1) = (substituindo 1+3+5+...+(2n – 1) por n2 pela hipótese da indução) n2 + 2n + 2 – 1 = n2 + 2n + 1 = (n+1)2 CQD. 5/8 Matemática Discreta
  • 6. Prove que n2 ≥ 3n para todo n ≥ 4 Como n começa em quatro precisamos provas a desigualdade para n=4 P(4) → n2 ≥ 3n → 42 ≥ 3*4 → 16 ≥ 12 A partir da prova para P(4) assumimos que é verdade para P(n) P(n) → n2 ≥ 3n Precisamos provar para n+1 P(n+1) → (n+1)2 ≥ 3(n+1) → n2 + 2n +1 ≥ 3n + 3 resolvendo somente o primeiro termo da equação n2 + 2n +1 > 3n + 2n + 1 (pela hipótese da indução pois n 2 ≥ 3n) ≥ 3n + 8 + 1 (já que n ≥ 4) > 3n + 3 = 3(n+1) Portanto n2 + 2n +1 ≥ 3n+3) 6/8 Matemática Discreta
  • 7. Prove que 1+2+22+...+2n = 2n+1 – 1 para qualquer n ≥ 1 Precisamos provar para n=1 P(1) → 1+21 = 2(1+1) – 1 → 3 = 3 OK. Assumimos que é verdade para n P(n) → 1+2+22+...+2n = 2n+1 – 1 Precisamos provar para n+1 P(n+1) → 1+2+22+...+2n + 2(n+1)= 2(n+1+1) – 1 Resolvendo o primeiro termo da equação 1+2+22+...+2n + 2(n+1)= 2(n+1) -1 + 2(n+1) = 2(2(n+1)) – 1 que é igual ao 2º termo da P(n+1) → 2(n+2) - 1 7/8 Matemática Discreta
  • 8. Exercícios 1. Prove por indução (a) 1+2+3+...+n = n(n+1)/2 (b) 1.1! + 2.2! + … + n.n! = (n+1)! -1 (c) 2n ≥ n2 para n ≥ 5 (d) (1+x)n > 1 + xn 2. O que está errado na demonstração por indução matemática? Iremos provar que n é igual a 1 + n. Suponha que P(n) é verdadeira. n = n+1 somando 1 a ambos os lados n+1 = n+2 logo P(n+1) é verdadeira 8/8 Matemática Discreta