SlideShare une entreprise Scribd logo
1  sur  8
Télécharger pour lire hors ligne
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

Contenu connexe

Tendances

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
 
Funcao modular
Funcao modularFuncao modular
Funcao modular
con_seguir
 
Aula introdução à lógica matemática
Aula introdução à lógica matemáticaAula introdução à lógica matemática
Aula introdução à lógica matemática
Aristóteles Meneses
 
Aula 5 analise combinatoria
Aula 5   analise combinatoriaAula 5   analise combinatoria
Aula 5 analise combinatoria
wab030
 
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
 

Tendances (20)

Análise combinatória
Análise combinatóriaAnálise combinatória
Análise combinatória
 
Fatoração
FatoraçãoFatoração
Fatoração
 
Potencias e raizes
Potencias e raizesPotencias e raizes
Potencias e raizes
 
16 aula conjuntos numericos
16 aula    conjuntos numericos16 aula    conjuntos numericos
16 aula conjuntos numericos
 
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
 
Função quadrática
Função quadráticaFunção quadrática
Função quadrática
 
Variáveis aleatórias contínuas - Estatística II
Variáveis aleatórias contínuas - Estatística IIVariáveis aleatórias contínuas - Estatística II
Variáveis aleatórias contínuas - Estatística II
 
Função quadrática
Função quadráticaFunção quadrática
Função quadrática
 
Números complexos
Números complexosNúmeros complexos
Números complexos
 
Exercicios resolvidos
Exercicios resolvidosExercicios resolvidos
Exercicios resolvidos
 
Equação do 2º grau
Equação do 2º grauEquação do 2º grau
Equação do 2º grau
 
Funcao modular
Funcao modularFuncao modular
Funcao modular
 
Indução Matemática - Exemplos
Indução Matemática - ExemplosIndução Matemática - Exemplos
Indução Matemática - Exemplos
 
Sistemas lineares
Sistemas linearesSistemas lineares
Sistemas lineares
 
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)
 
Circunferência
CircunferênciaCircunferência
Circunferência
 
Aula introdução à lógica matemática
Aula introdução à lógica matemáticaAula introdução à lógica matemática
Aula introdução à lógica matemática
 
Aula 5 analise combinatoria
Aula 5   analise combinatoriaAula 5   analise combinatoria
Aula 5 analise combinatoria
 
Numeros complexos
Numeros complexosNumeros complexos
Numeros complexos
 
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
 

En vedette

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
 
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
 
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
 
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
Artur Câncio
 

En vedette (16)

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
 
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
 
Matemática Discreta - Introdução
Matemática Discreta - IntroduçãoMatemática Discreta - Introdução
Matemática Discreta - Introdução
 
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)
 
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
 
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
 

Similaire à 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
 
Numeros complexos aula
Numeros complexos aulaNumeros complexos aula
Numeros complexos aula
con_seguir
 

Similaire à 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
 
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
 
Numeros complexos aula
Numeros complexos aulaNumeros complexos aula
Numeros complexos aula
 

Plus 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
 

Plus 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
 

Dernier

Aula 03 - Filogenia14+4134684516498481.pptx
Aula 03 - Filogenia14+4134684516498481.pptxAula 03 - Filogenia14+4134684516498481.pptx
Aula 03 - Filogenia14+4134684516498481.pptx
andrenespoli3
 
matematica aula didatica prática e tecni
matematica aula didatica prática e tecnimatematica aula didatica prática e tecni
matematica aula didatica prática e tecni
CleidianeCarvalhoPer
 
A EDUCAÇÃO FÍSICA NO NOVO ENSINO MÉDIO: IMPLICAÇÕES E TENDÊNCIAS PROMOVIDAS P...
A EDUCAÇÃO FÍSICA NO NOVO ENSINO MÉDIO: IMPLICAÇÕES E TENDÊNCIAS PROMOVIDAS P...A EDUCAÇÃO FÍSICA NO NOVO ENSINO MÉDIO: IMPLICAÇÕES E TENDÊNCIAS PROMOVIDAS P...
A EDUCAÇÃO FÍSICA NO NOVO ENSINO MÉDIO: IMPLICAÇÕES E TENDÊNCIAS PROMOVIDAS P...
PatriciaCaetano18
 
19- Pedagogia (60 mapas mentais) - Amostra.pdf
19- Pedagogia (60 mapas mentais) - Amostra.pdf19- Pedagogia (60 mapas mentais) - Amostra.pdf
19- Pedagogia (60 mapas mentais) - Amostra.pdf
marlene54545
 

Dernier (20)

Plano de aula Nova Escola períodos simples e composto parte 1.pptx
Plano de aula Nova Escola períodos simples e composto parte 1.pptxPlano de aula Nova Escola períodos simples e composto parte 1.pptx
Plano de aula Nova Escola períodos simples e composto parte 1.pptx
 
P P P 2024 - *CIEJA Santana / Tucuruvi*
P P P 2024  - *CIEJA Santana / Tucuruvi*P P P 2024  - *CIEJA Santana / Tucuruvi*
P P P 2024 - *CIEJA Santana / Tucuruvi*
 
PROJETO DE EXTENSÃO I - Radiologia Tecnologia
PROJETO DE EXTENSÃO I - Radiologia TecnologiaPROJETO DE EXTENSÃO I - Radiologia Tecnologia
PROJETO DE EXTENSÃO I - Radiologia Tecnologia
 
Aula 03 - Filogenia14+4134684516498481.pptx
Aula 03 - Filogenia14+4134684516498481.pptxAula 03 - Filogenia14+4134684516498481.pptx
Aula 03 - Filogenia14+4134684516498481.pptx
 
migração e trabalho 2º ano.pptx fenomenos
migração e trabalho 2º ano.pptx fenomenosmigração e trabalho 2º ano.pptx fenomenos
migração e trabalho 2º ano.pptx fenomenos
 
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
 
O PLANETA TERRA E SEU SATÉLITE NATURAL - LUA
O PLANETA TERRA E SEU SATÉLITE NATURAL - LUAO PLANETA TERRA E SEU SATÉLITE NATURAL - LUA
O PLANETA TERRA E SEU SATÉLITE NATURAL - LUA
 
Produção de Texto - 5º ano - CRÔNICA.pptx
Produção de Texto - 5º ano - CRÔNICA.pptxProdução de Texto - 5º ano - CRÔNICA.pptx
Produção de Texto - 5º ano - CRÔNICA.pptx
 
Seminário Biologia e desenvolvimento da matrinxa.pptx
Seminário Biologia e desenvolvimento da matrinxa.pptxSeminário Biologia e desenvolvimento da matrinxa.pptx
Seminário Biologia e desenvolvimento da matrinxa.pptx
 
Aula sobre o Imperialismo Europeu no século XIX
Aula sobre o Imperialismo Europeu no século XIXAula sobre o Imperialismo Europeu no século XIX
Aula sobre o Imperialismo Europeu no século XIX
 
PROJETO DE EXTENSÃO I - TERAPIAS INTEGRATIVAS E COMPLEMENTARES.pdf
PROJETO DE EXTENSÃO I - TERAPIAS INTEGRATIVAS E COMPLEMENTARES.pdfPROJETO DE EXTENSÃO I - TERAPIAS INTEGRATIVAS E COMPLEMENTARES.pdf
PROJETO DE EXTENSÃO I - TERAPIAS INTEGRATIVAS E COMPLEMENTARES.pdf
 
matematica aula didatica prática e tecni
matematica aula didatica prática e tecnimatematica aula didatica prática e tecni
matematica aula didatica prática e tecni
 
PROJETO DE EXTENSÃO I - AGRONOMIA.pdf AGRONOMIAAGRONOMIA
PROJETO DE EXTENSÃO I - AGRONOMIA.pdf AGRONOMIAAGRONOMIAPROJETO DE EXTENSÃO I - AGRONOMIA.pdf AGRONOMIAAGRONOMIA
PROJETO DE EXTENSÃO I - AGRONOMIA.pdf AGRONOMIAAGRONOMIA
 
Texto dramático com Estrutura e exemplos.ppt
Texto dramático com Estrutura e exemplos.pptTexto dramático com Estrutura e exemplos.ppt
Texto dramático com Estrutura e exemplos.ppt
 
About Vila Galé- Cadeia Empresarial de Hotéis
About Vila Galé- Cadeia Empresarial de HotéisAbout Vila Galé- Cadeia Empresarial de Hotéis
About Vila Galé- Cadeia Empresarial de Hotéis
 
A EDUCAÇÃO FÍSICA NO NOVO ENSINO MÉDIO: IMPLICAÇÕES E TENDÊNCIAS PROMOVIDAS P...
A EDUCAÇÃO FÍSICA NO NOVO ENSINO MÉDIO: IMPLICAÇÕES E TENDÊNCIAS PROMOVIDAS P...A EDUCAÇÃO FÍSICA NO NOVO ENSINO MÉDIO: IMPLICAÇÕES E TENDÊNCIAS PROMOVIDAS P...
A EDUCAÇÃO FÍSICA NO NOVO ENSINO MÉDIO: IMPLICAÇÕES E TENDÊNCIAS PROMOVIDAS P...
 
19- Pedagogia (60 mapas mentais) - Amostra.pdf
19- Pedagogia (60 mapas mentais) - Amostra.pdf19- Pedagogia (60 mapas mentais) - Amostra.pdf
19- Pedagogia (60 mapas mentais) - Amostra.pdf
 
aula de bioquímica bioquímica dos carboidratos.ppt
aula de bioquímica bioquímica dos carboidratos.pptaula de bioquímica bioquímica dos carboidratos.ppt
aula de bioquímica bioquímica dos carboidratos.ppt
 
6ano variação linguística ensino fundamental.pptx
6ano variação linguística ensino fundamental.pptx6ano variação linguística ensino fundamental.pptx
6ano variação linguística ensino fundamental.pptx
 
Recomposiçao em matematica 1 ano 2024 - ESTUDANTE 1ª série.pdf
Recomposiçao em matematica 1 ano 2024 - ESTUDANTE 1ª série.pdfRecomposiçao em matematica 1 ano 2024 - ESTUDANTE 1ª série.pdf
Recomposiçao em matematica 1 ano 2024 - ESTUDANTE 1ª série.pdf
 

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