SlideShare uma empresa Scribd logo
1 de 40
Baixar para ler offline
An´alise de Algoritmos
Indução finita
– p. 1/20
Indução finita
Princ´ıpio da induc¸ ˜ao matem´atica:
Seja A um conjunto de números naturais tal que as
seguintes propriedades são válidas:
0 ∈ A, e
para cada natural n, se {0, 1, 2, . . . , n} ⊆ A
então n + 1 ∈ A.
Então A = N.
– p. 2/20
Indução finita
Na prática, o princípio da indução é usado para
provar afirmações do tipo “para todo natural n, a
propriedade P(n) é verdadeira”, onde P é uma
propriedade que depende de algum parâmetro
inteiro. A prova é feita da seguinte forma.
– p. 3/20
Indução finita
Seja A = {n : P é verdadeira para n}.
1. Base da indução: mostramos inicialmente que
0 ∈ A, ou seja, P é verdadeira para n = 0.
2. Hipótese de indução: assumimos que
{0, 1, 2, . . . , n} ⊆ A, ou seja, que P é verdadeira
para cada natural 0, 1, 2, . . . , n.
3. Passo da indução: mostramos que n + 1 ∈ A,
ou seja, que P é verdadeira para n + 1.
– p. 4/20
Indução finita
Pelo princípio da indução, A = N. Logo, P é
verdadeira para todo n.
– p. 5/20
Indução finita - em outras palavras
O princípio da indução finita pode também ser
descrito da seguinte forma:
“Se uma afirmação P, que envolve um parâmetro
inteiro n, é verdade para n = 0, e se para n ≥ 1, a
hipótese de que P é verdadeira para todo inteiro
≤ n implica que P é verdadeira para n + 1, então P
é verdadeira para todo natural n.
– p. 6/20
Indução finita - exemplos
Mostre que 1 + 2 + · · · + n = n(n+1)
2 , para todo n ≥ 1.
– p. 7/20
Indução finita - exemplos
Mostre que 1 + 2 + · · · + n = n(n+1)
2 , para todo n ≥ 1.
1. Base da indução: para n = 1 temos 1 = 1(1+1)
2 .
– p. 7/20
Indução finita - exemplos
Mostre que 1 + 2 + · · · + n = n(n+1)
2 , para todo n ≥ 1.
1. Base da indução: para n = 1 temos 1 = 1(1+1)
2 .
2. Hipótese de indução: assumimos que
1 + 2 + · · · + k = k(k+1)
2 , para todo k ≤ n.
– p. 7/20
Indução finita - exemplos
Mostre que 1 + 2 + · · · + n = n(n+1)
2 , para todo n ≥ 1.
3. Passo da indução:
– p. 8/20
Indução finita - exemplos
Mostre que 1 + 2 + · · · + n = n(n+1)
2 , para todo n ≥ 1.
3. Passo da indução:
1 + 2 + · · · + n + (n + 1) = (1 + 2 + · · · + n) + (n + 1)
=
n(n + 1)
2
+ (n + 1)
=
n(n + 1) + 2(n + 1)
2
=
(n + 1)(n + 2)
2
– p. 8/20
Indução finita - exemplos
Afirmação: o número de diagonais de um polígono
convexo P de n ≥ 3 lados é d = n(n−3)
2 .
– p. 9/20
Indução finita - exemplos
Afirmação: o número de diagonais de um polígono
convexo P de n ≥ 3 lados é d = n(n−3)
2 .
Prova: Por indução em n. A afirmação é
claramente verdadeira para n = 3.
– p. 9/20
Indução finita - exemplos
Afirmação: o número de diagonais de um polígono
convexo P de n ≥ 3 lados é d = n(n−3)
2 .
Prova: Por indução em n. A afirmação é
claramente verdadeira para n = 3.
Sejam v1, v2, . . . , vn os vértices de P, enumerados
em uma ordem cíclica.
– p. 9/20
Indução finita - exemplos
Afirmação: o número de diagonais de um polígono
convexo P de n ≥ 3 lados é d = n(n−3)
2 .
Prova: Por indução em n. A afirmação é
claramente verdadeira para n = 3.
Sejam v1, v2, . . . , vn os vértices de P, enumerados
em uma ordem cíclica. Considere o polígono P
de n − 1 lados formado pelos vértices
v1, v2, . . . , vn−1. Note que P é convexo.
– p. 9/20
Indução finita - exemplos
Seja d o número de diagonais de P .
– p. 10/20
Indução finita - exemplos
Seja d o número de diagonais de P .
Por hipótese de indução,
d =
(n − 1)(n − 4)
2
.
– p. 10/20
Indução finita - exemplos
Seja d o número de diagonais de P .
Por hipótese de indução,
d =
(n − 1)(n − 4)
2
.
Mas, d = d + (n − 2).
– p. 10/20
Indução finita - exemplos
Seja d o número de diagonais de P .
Por hipótese de indução,
d =
(n − 1)(n − 4)
2
.
Mas, d = d + (n − 2). Logo,
d =
(n − 1)(n − 4)
2
+ (n − 2) =
n(n − 3)
2
.
– p. 10/20
Indução finita - exemplos
Proposição: Seja G uma árvore com v ≥ 1 vértices
e a arestas então a = v − 1.
– p. 11/20
Indução finita - exemplos
Proposição: Seja G uma árvore com v ≥ 1 vértices
e a arestas então a = v − 1.
Prova: Por indução em a.
– p. 11/20
Indução finita - exemplos
Proposição: Seja G uma árvore com v ≥ 1 vértices
e a arestas então a = v − 1.
Prova: Por indução em a. Se a = 0 então v = 1,
pois v ≥ 1 e G é conexo. Logo, a = v − 1 neste
caso.
– p. 11/20
Indução finita - exemplos
Proposição: Seja G uma árvore com v ≥ 1 vértices
e a arestas então a = v − 1.
Prova: Por indução em a. Se a = 0 então v = 1,
pois v ≥ 1 e G é conexo. Logo, a = v − 1 neste
caso.
Suponha que a ≥ 1. Seja e uma aresta de G.
Como G é uma árvore, o grafo G − e é formado por
exatamente duas componentes, digamos G1 e G2.
Além disso, G1 e G2 são árvores.
– p. 11/20
Indução finita - exemplos
Sejam v1 e a1 o número de vértices e arestas de
G1. Defina v2 e a2 similarmente para G2.
– p. 12/20
Indução finita - exemplos
Sejam v1 e a1 o número de vértices e arestas de
G1. Defina v2 e a2 similarmente para G2.
Claramente, a1 < a e a2 < a. Por hipótese de
indução, a1 = v1 − 1 e a2 = v2 − 1.
– p. 12/20
Indução finita - exemplos
Sejam v1 e a1 o número de vértices e arestas de
G1. Defina v2 e a2 similarmente para G2.
Claramente, a1 < a e a2 < a. Por hipótese de
indução, a1 = v1 − 1 e a2 = v2 − 1.
Mas a = a1 + a2 + 1 e v = v1 + v2.
– p. 12/20
Indução finita - exemplos
Sejam v1 e a1 o número de vértices e arestas de
G1. Defina v2 e a2 similarmente para G2.
Claramente, a1 < a e a2 < a. Por hipótese de
indução, a1 = v1 − 1 e a2 = v2 − 1.
Mas a = a1 + a2 + 1 e v = v1 + v2. Logo,
a = (v1 − 1) + (v2 − 1) + 1 = v − 1.
– p. 12/20
Indução finita - cuidados
Ao utilizarmos a indução finita devemos estar
atentos aos seguintes detalhes:
– p. 13/20
Indução finita - cuidados
Ao utilizarmos a indução finita devemos estar
atentos aos seguintes detalhes:
Base da indução
– p. 13/20
Indução finita - cuidados
Ao utilizarmos a indução finita devemos estar
atentos aos seguintes detalhes:
Base da indução
Aplicação da hipótese de indução
– p. 13/20
Indução finita - exercícios
Provar as seguintes afirmações:
1. 1 + 3 + 5 + · · · + (2n − 1) = n2, ∀n ≥ 1.
2. 1 + 2 + 22 + · · · + 2n = 2n+1 − 1, ∀n ≥ 0.
3. a1 + a1.r + a1.r2 + · · · + a1.rn−1 =
a1.(rn
−1)
r−1 , ∀n ≥ 1.
4. 1
2 + 1
4 + 1
8 + · · · + 1
2n < 1, para n ≥ 1.
5. 12 + 22 + · · · + n2 =
n(n+1)(2n+1)
6 , ∀n ≥ 1.
6. Para qualquer inteiro n, o número 22n − 1 é divisível por
3.
7. A soma dos ângulos internos de um polígono convexo
com n lados é S = (n − 2)180o.
– p. 14/20
Indução finita - exercícios
8. O número de vértices V , arestas E e faces F de um
mapa planar conexo satisfazem a equação:
V − E + F = 2.
9. Um número (em sua representação decimal) é múltiplo
de 3 se e somente se a soma de seus dígitos é múltiplo
de 3.
10. Considere n ≥ 3 retas em posições gerais no plano (ou
seja, quaisquer duas retas se cruzam e quaisquer três
retas se cruzam em pontos distintos). Prove que pelo
menos uma região que elas formam é um triângulo.
– p. 15/20
Indução finita - exercícios
11. Considere n ≥ 3 retas em posições gerais no plano.
Prove que elas formam pelo menos n − 2 triângulos.
12. Considere o conjunto S = {1, 2, . . . , 2n} dos 2n
primeiros números naturais. Mostre que qualquer
subconjunto de S com n + 1 elementos contém dois
elementos um dos quais é múltiplo do outro.
13. É possível colorir as regiões formadas por qualquer
número de retas no plano com apenas duas cores de
tal forma que regiões vizinhas recebam cores distintas.
– p. 16/20
An´alise de Algoritmos
Princípio da casa do pombo
– p. 17/20
Princípio da casa do pombo
Princ´ıpio da casa do pombo:
Se A e B são conjuntos finitos com |A| > |B|,
então não existe função bijetora de A para B.
Em outras palavras, se tentarmos associar
elementos de A (os “pombos”) com elementos de
B (suas “casas”), mais cedo ou mais tarde teremos
que colocar mais de um pombo em alguma casa.
– p. 18/20
Princípio da casa do pombo - Exercícios
1. Quantas pessoas são necessárias para se ter certeza
que pelo menos duas delas fazem aniversário no
mesmo mês?
– p. 19/20
Princípio da casa do pombo - Exercícios
1. Quantas pessoas são necessárias para se ter certeza
que pelo menos duas delas fazem aniversário no
mesmo mês?
2. Quantas cartas precisam ser tiradas de um baralho
convencional de 52 cartas para garantir que duas delas
serão do mesmo naipe?
– p. 19/20
Princípio da casa do pombo - Exercícios
1. Quantas pessoas são necessárias para se ter certeza
que pelo menos duas delas fazem aniversário no
mesmo mês?
2. Quantas cartas precisam ser tiradas de um baralho
convencional de 52 cartas para garantir que duas delas
serão do mesmo naipe?
3. Mostre que em qualquer grupo de n ≥ 2 pessoas
existem 2 pessoas com o mesmo número de amigos no
grupo.
– p. 19/20
Princípio da casa do pombo - Exercícios
1. Quantas pessoas são necessárias para se ter certeza
que pelo menos duas delas fazem aniversário no
mesmo mês?
2. Quantas cartas precisam ser tiradas de um baralho
convencional de 52 cartas para garantir que duas delas
serão do mesmo naipe?
3. Mostre que em qualquer grupo de n ≥ 2 pessoas
existem 2 pessoas com o mesmo número de amigos no
grupo.
4. Seja P = {p1, p2, p3, p4, p5} um conjunto de pontos
distintos no plano, com coordenadas inteiras positivas.
Mostre que algum par tem um ponto médio que tem
coordenadas inteiras.
– p. 19/20
Princípio da casa do pombo - Exercícios
5. Suponha que façamos 50 disparos em um alvo
quadrado de 70cm de lado. Se todos os disparos
atingem o alvo, mostre que existem dois disparos cuja
distância é no máximo 15cm.
6. Mostre que existe uma potência de 3 que termina com
001.
7. Dado um conjunto A ⊂ {1, 2, . . . , 100} de 10 inteiros,
mostre que existem dois subconjuntos disjuntos não
vazios de A com a mesma soma de seus membros.
8. Há 25 garotos e 25 garotas sentados em torno de uma
mesa redonda de 50 lugares. Mostre que existe uma
pessoa cujos dois vizinhos são garotas.
– p. 20/20

Mais conteúdo relacionado

Mais procurados

Caminhos Mínimos - Algoritmo de Dijkstra
Caminhos Mínimos - Algoritmo de DijkstraCaminhos Mínimos - Algoritmo de Dijkstra
Caminhos Mínimos - Algoritmo de DijkstraMarcos Castro
 
Matemática Discreta - Introdução à Disciplina
Matemática Discreta - Introdução à DisciplinaMatemática Discreta - Introdução à Disciplina
Matemática Discreta - Introdução à DisciplinaRanilson Paiva
 
Exercícios Resolvidos: Teorema de Rolle
Exercícios Resolvidos: Teorema de RolleExercícios Resolvidos: Teorema de Rolle
Exercícios Resolvidos: Teorema de RolleDiego Oliveira
 
Tabela completa de derivadas e integrais
Tabela completa de derivadas e integraisTabela completa de derivadas e integrais
Tabela completa de derivadas e integraisDiego Rodrigues Vaz
 
Notação cientifica
Notação cientificaNotação cientifica
Notação cientificaMurilo Martins
 
(63 alíneas) Exercicios resolvidos sobre logaritmos e equações logaritmicas
(63 alíneas) Exercicios resolvidos sobre logaritmos e equações logaritmicas (63 alíneas) Exercicios resolvidos sobre logaritmos e equações logaritmicas
(63 alíneas) Exercicios resolvidos sobre logaritmos e equações logaritmicas wilkerfilipel
 
18 series de taylor e de maclaurin
18 series de taylor e de maclaurin18 series de taylor e de maclaurin
18 series de taylor e de maclaurinGabriela Cristina
 
Exercícios Resolvidos: Equação da reta tangente
Exercícios Resolvidos: Equação da reta tangenteExercícios Resolvidos: Equação da reta tangente
Exercícios Resolvidos: Equação da reta tangenteDiego Oliveira
 
Resolução comentada matemática 002
Resolução comentada matemática  002Resolução comentada matemática  002
Resolução comentada matemática 002comentada
 
Implicação Lógica
Implicação LógicaImplicação Lógica
Implicação LógicaHugo Souza
 
16 aula conjuntos numericos
16 aula    conjuntos numericos16 aula    conjuntos numericos
16 aula conjuntos numericosjatobaesem
 
2972340 matematica-exercicios-resolvidos-logaritmos-resolvidos
2972340 matematica-exercicios-resolvidos-logaritmos-resolvidos2972340 matematica-exercicios-resolvidos-logaritmos-resolvidos
2972340 matematica-exercicios-resolvidos-logaritmos-resolvidosRoberta Araujo do Amorim
 
Matemática Probabilidade resumo
Matemática Probabilidade resumoMatemática Probabilidade resumo
Matemática Probabilidade resumoGilciney Jardim
 
Exercícios Resolvidos: Distribuição Binomial
Exercícios Resolvidos: Distribuição BinomialExercícios Resolvidos: Distribuição Binomial
Exercícios Resolvidos: Distribuição BinomialDiego Oliveira
 
Atividades de Sistemas Binários
Atividades de Sistemas BináriosAtividades de Sistemas Binários
Atividades de Sistemas BináriosSuzana Viana Mota
 

Mais procurados (20)

Caminhos Mínimos - Algoritmo de Dijkstra
Caminhos Mínimos - Algoritmo de DijkstraCaminhos Mínimos - Algoritmo de Dijkstra
Caminhos Mínimos - Algoritmo de Dijkstra
 
Tópico 08 - Derivadas
Tópico 08 - DerivadasTópico 08 - Derivadas
Tópico 08 - Derivadas
 
Matemática Discreta - Introdução à Disciplina
Matemática Discreta - Introdução à DisciplinaMatemática Discreta - Introdução à Disciplina
Matemática Discreta - Introdução à Disciplina
 
Exercícios Resolvidos: Teorema de Rolle
Exercícios Resolvidos: Teorema de RolleExercícios Resolvidos: Teorema de Rolle
Exercícios Resolvidos: Teorema de Rolle
 
Função modular
Função modularFunção modular
Função modular
 
Tabela completa de derivadas e integrais
Tabela completa de derivadas e integraisTabela completa de derivadas e integrais
Tabela completa de derivadas e integrais
 
Notação cientifica
Notação cientificaNotação cientifica
Notação cientifica
 
(63 alíneas) Exercicios resolvidos sobre logaritmos e equações logaritmicas
(63 alíneas) Exercicios resolvidos sobre logaritmos e equações logaritmicas (63 alíneas) Exercicios resolvidos sobre logaritmos e equações logaritmicas
(63 alíneas) Exercicios resolvidos sobre logaritmos e equações logaritmicas
 
18 series de taylor e de maclaurin
18 series de taylor e de maclaurin18 series de taylor e de maclaurin
18 series de taylor e de maclaurin
 
Exercícios Resolvidos: Equação da reta tangente
Exercícios Resolvidos: Equação da reta tangenteExercícios Resolvidos: Equação da reta tangente
Exercícios Resolvidos: Equação da reta tangente
 
Resolução comentada matemática 002
Resolução comentada matemática  002Resolução comentada matemática  002
Resolução comentada matemática 002
 
Implicação Lógica
Implicação LógicaImplicação Lógica
Implicação Lógica
 
16 aula conjuntos numericos
16 aula    conjuntos numericos16 aula    conjuntos numericos
16 aula conjuntos numericos
 
2972340 matematica-exercicios-resolvidos-logaritmos-resolvidos
2972340 matematica-exercicios-resolvidos-logaritmos-resolvidos2972340 matematica-exercicios-resolvidos-logaritmos-resolvidos
2972340 matematica-exercicios-resolvidos-logaritmos-resolvidos
 
Matemática Probabilidade resumo
Matemática Probabilidade resumoMatemática Probabilidade resumo
Matemática Probabilidade resumo
 
Progressão aritmética
Progressão aritméticaProgressão aritmética
Progressão aritmética
 
Exercícios Resolvidos: Distribuição Binomial
Exercícios Resolvidos: Distribuição BinomialExercícios Resolvidos: Distribuição Binomial
Exercícios Resolvidos: Distribuição Binomial
 
Programacao linear aula 3 metodo grafico
Programacao linear   aula 3 metodo graficoProgramacao linear   aula 3 metodo grafico
Programacao linear aula 3 metodo grafico
 
Atividades de Sistemas Binários
Atividades de Sistemas BináriosAtividades de Sistemas Binários
Atividades de Sistemas Binários
 
Sequencias
SequenciasSequencias
Sequencias
 

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
 
Análise da complexidade de algoritmos
Análise da complexidade de algoritmosAnálise da complexidade de algoritmos
Análise da complexidade de algoritmosPablo Silva
 
Modelos Matemáticos para Epidemias
Modelos Matemáticos para EpidemiasModelos Matemáticos para Epidemias
Modelos Matemáticos para EpidemiasRoberto Kraenkel
 
Números Complexos_IME ITA
Números Complexos_IME ITANúmeros Complexos_IME ITA
Números Complexos_IME ITAJARDEL LEITE
 
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)Anderson Dias
 
Regra 3 simples e composta
Regra 3 simples e compostaRegra 3 simples e composta
Regra 3 simples e compostaHoracimar Cotrim
 
Mat sequencias e progressoes 006
Mat sequencias e progressoes  006Mat sequencias e progressoes  006
Mat sequencias e progressoes 006trigono_metrico
 
Mat regra de tres composta
Mat regra de tres compostaMat regra de tres composta
Mat regra de tres compostatrigono_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 5Alex 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 exerciciostrigono_metria
 
Aula 9 inducao matematica ii
Aula 9   inducao matematica iiAula 9   inducao matematica ii
Aula 9 inducao matematica iiwab030
 
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
 
Apostila mb cefet
Apostila mb cefetApostila mb cefet
Apostila mb cefetcomentada
 
Progressões geométricas apostila
Progressões geométricas   apostilaProgressões geométricas   apostila
Progressões geométricas apostilaDênis Rodrigues
 
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
 
Apostilas matematica para concursos - provas gabaritadas 2014
Apostilas matematica para concursos - provas gabaritadas 2014Apostilas matematica para concursos - provas gabaritadas 2014
Apostilas matematica para concursos - provas gabaritadas 2014SEDUC-PA
 

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)
 
Análise da complexidade de algoritmos
Análise da complexidade de algoritmosAnálise da complexidade de algoritmos
Análise da complexidade de algoritmos
 
Modelos Matemáticos para Epidemias
Modelos Matemáticos para EpidemiasModelos Matemáticos para Epidemias
Modelos Matemáticos para Epidemias
 
Números Complexos_IME ITA
Números Complexos_IME ITANúmeros Complexos_IME ITA
Números Complexos_IME ITA
 
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)
 
Lista 2 - FUV - Resolução
Lista 2   - FUV - ResoluçãoLista 2   - FUV - Resolução
Lista 2 - FUV - Resolução
 
Análise de Algoritmos
Análise de AlgoritmosAnálise de Algoritmos
Análise de Algoritmos
 
Regra 3 simples e composta
Regra 3 simples e compostaRegra 3 simples e composta
Regra 3 simples e composta
 
Mat sequencias e progressoes 006
Mat sequencias e progressoes  006Mat sequencias e progressoes  006
Mat sequencias e progressoes 006
 
Mat regra de tres composta
Mat regra de tres compostaMat regra de tres composta
Mat regra de tres composta
 
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
 
Aula 9 inducao matematica ii
Aula 9   inducao matematica iiAula 9   inducao matematica ii
Aula 9 inducao matematica ii
 
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
 
Apostila mb cefet
Apostila mb cefetApostila mb cefet
Apostila mb cefet
 
Progressões geométricas apostila
Progressões geométricas   apostilaProgressões geométricas   apostila
Progressões geométricas apostila
 
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
 
Apostilas matematica para concursos - provas gabaritadas 2014
Apostilas matematica para concursos - provas gabaritadas 2014Apostilas matematica para concursos - provas gabaritadas 2014
Apostilas matematica para concursos - provas gabaritadas 2014
 

Semelhante a Indução finita - provas matemáticas

Semelhante a Indução finita - provas matemáticas (20)

Lista de exercícios 1
Lista de exercícios 1Lista de exercícios 1
Lista de exercícios 1
 
Resumo1
Resumo1Resumo1
Resumo1
 
Análise de Algoritmos - Análise Assintótica
Análise de Algoritmos - Análise AssintóticaAnálise de Algoritmos - Análise Assintótica
Análise de Algoritmos - Análise Assintó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
 
Intro teoria dos números cap2
Intro teoria dos  números cap2Intro teoria dos  números cap2
Intro teoria dos números cap2
 
Lista 1 - FUV - Resolução
Lista 1 - FUV - ResoluçãoLista 1 - FUV - Resolução
Lista 1 - FUV - Resolução
 
Técnicas de Amostragem - Aula #2 - Planejamento Amostral
Técnicas de Amostragem - Aula #2 - Planejamento AmostralTécnicas de Amostragem - Aula #2 - Planejamento Amostral
Técnicas de Amostragem - Aula #2 - Planejamento Amostral
 
todas-as-formulas-de-matematica
 todas-as-formulas-de-matematica todas-as-formulas-de-matematica
todas-as-formulas-de-matematica
 
Aula 8 inducao matematica
Aula 8   inducao matematicaAula 8   inducao matematica
Aula 8 inducao matematica
 
Exercicios resolvidos
Exercicios resolvidosExercicios resolvidos
Exercicios resolvidos
 
Apostila 1 calculo i
Apostila 1 calculo iApostila 1 calculo i
Apostila 1 calculo i
 
Fórmulas matemáticas
Fórmulas matemáticasFórmulas matemáticas
Fórmulas matemáticas
 
P.A.
P.A.P.A.
P.A.
 
Progressões Aritméticas NTEM
Progressões Aritméticas NTEMProgressões Aritméticas NTEM
Progressões Aritméticas NTEM
 
Sucessoes e series com res
Sucessoes e series com resSucessoes e series com res
Sucessoes e series com res
 
Progressão geometrica
Progressão geometricaProgressão geometrica
Progressão geometrica
 
Análise combinatória I
Análise combinatória IAnálise combinatória I
Análise combinatória I
 
Resumo2
Resumo2Resumo2
Resumo2
 
Resumo MA14 - Aritmética - Unidades 1 e 2
Resumo MA14 - Aritmética - Unidades 1 e 2Resumo MA14 - Aritmética - Unidades 1 e 2
Resumo MA14 - Aritmética - Unidades 1 e 2
 
Apostila de matematica para concursos
Apostila de matematica para concursosApostila de matematica para concursos
Apostila de matematica para concursos
 

Mais de Delacyr Ferreira

Análise de Algoritmos - Mais problemas NP-Completos
Análise de Algoritmos - Mais problemas NP-CompletosAnálise de Algoritmos - Mais problemas NP-Completos
Análise de Algoritmos - Mais problemas NP-CompletosDelacyr Ferreira
 
Análise de Algoritmos - As classes P e NP
Análise de Algoritmos - As classes P e NPAnálise de Algoritmos - As classes P e NP
Análise de Algoritmos - As classes P e NPDelacyr Ferreira
 
Análise de Algoritmos - Programação Dinâmica
Análise de Algoritmos - Programação DinâmicaAnálise de Algoritmos - Programação Dinâmica
Análise de Algoritmos - Programação DinâmicaDelacyr Ferreira
 
Análise de Algoritmos - Método Guloso
Análise de Algoritmos - Método GulosoAnálise de Algoritmos - Método Guloso
Análise de Algoritmos - Método GulosoDelacyr Ferreira
 
Análise de Algoritmos - Conceitos de Grafos
Análise de Algoritmos - Conceitos de GrafosAnálise de Algoritmos - Conceitos de Grafos
Análise de Algoritmos - Conceitos de GrafosDelacyr Ferreira
 
Análise de Algoritmos - Recursividade
Análise de Algoritmos - RecursividadeAnálise de Algoritmos - Recursividade
Análise de Algoritmos - RecursividadeDelacyr Ferreira
 
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ênciasDelacyr Ferreira
 
Análise de Algoritmos - Problemas, instâncias, algoritmos e tempo
Análise de Algoritmos - Problemas, instâncias, algoritmos e tempoAnálise de Algoritmos - Problemas, instâncias, algoritmos e tempo
Análise de Algoritmos - Problemas, instâncias, algoritmos e tempoDelacyr Ferreira
 

Mais de Delacyr Ferreira (8)

Análise de Algoritmos - Mais problemas NP-Completos
Análise de Algoritmos - Mais problemas NP-CompletosAnálise de Algoritmos - Mais problemas NP-Completos
Análise de Algoritmos - Mais problemas NP-Completos
 
Análise de Algoritmos - As classes P e NP
Análise de Algoritmos - As classes P e NPAnálise de Algoritmos - As classes P e NP
Análise de Algoritmos - As classes P e NP
 
Análise de Algoritmos - Programação Dinâmica
Análise de Algoritmos - Programação DinâmicaAnálise de Algoritmos - Programação Dinâmica
Análise de Algoritmos - Programação Dinâmica
 
Análise de Algoritmos - Método Guloso
Análise de Algoritmos - Método GulosoAnálise de Algoritmos - Método Guloso
Análise de Algoritmos - Método Guloso
 
Análise de Algoritmos - Conceitos de Grafos
Análise de Algoritmos - Conceitos de GrafosAnálise de Algoritmos - Conceitos de Grafos
Análise de Algoritmos - Conceitos de Grafos
 
Análise de Algoritmos - Recursividade
Análise de Algoritmos - RecursividadeAnálise de Algoritmos - Recursividade
Análise de Algoritmos - Recursividade
 
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
 
Análise de Algoritmos - Problemas, instâncias, algoritmos e tempo
Análise de Algoritmos - Problemas, instâncias, algoritmos e tempoAnálise de Algoritmos - Problemas, instâncias, algoritmos e tempo
Análise de Algoritmos - Problemas, instâncias, algoritmos e tempo
 

Último

5 bloco 7 ano - Ensino Relogioso- Lideres Religiosos _ Passei Direto.pdf
5 bloco 7 ano - Ensino Relogioso- Lideres Religiosos _ Passei Direto.pdf5 bloco 7 ano - Ensino Relogioso- Lideres Religiosos _ Passei Direto.pdf
5 bloco 7 ano - Ensino Relogioso- Lideres Religiosos _ Passei Direto.pdfLeloIurk1
 
2° ANO - ENSINO FUNDAMENTAL ENSINO RELIGIOSO
2° ANO - ENSINO FUNDAMENTAL ENSINO RELIGIOSO2° ANO - ENSINO FUNDAMENTAL ENSINO RELIGIOSO
2° ANO - ENSINO FUNDAMENTAL ENSINO RELIGIOSOLeloIurk1
 
421243121-Apostila-Ensino-Religioso-Do-1-ao-5-ano.pdf
421243121-Apostila-Ensino-Religioso-Do-1-ao-5-ano.pdf421243121-Apostila-Ensino-Religioso-Do-1-ao-5-ano.pdf
421243121-Apostila-Ensino-Religioso-Do-1-ao-5-ano.pdfLeloIurk1
 
PROJETO DE EXTENÇÃO - GESTÃO DE RECURSOS HUMANOS.pdf
PROJETO DE EXTENÇÃO - GESTÃO DE RECURSOS HUMANOS.pdfPROJETO DE EXTENÇÃO - GESTÃO DE RECURSOS HUMANOS.pdf
PROJETO DE EXTENÇÃO - GESTÃO DE RECURSOS HUMANOS.pdfHELENO FAVACHO
 
PROVA - ESTUDO CONTEMPORÂNEO E TRANSVERSAL: COMUNICAÇÃO ASSERTIVA E INTERPESS...
PROVA - ESTUDO CONTEMPORÂNEO E TRANSVERSAL: COMUNICAÇÃO ASSERTIVA E INTERPESS...PROVA - ESTUDO CONTEMPORÂNEO E TRANSVERSAL: COMUNICAÇÃO ASSERTIVA E INTERPESS...
PROVA - ESTUDO CONTEMPORÂNEO E TRANSVERSAL: COMUNICAÇÃO ASSERTIVA E INTERPESS...azulassessoria9
 
Revolução russa e mexicana. Slides explicativos e atividades
Revolução russa e mexicana. Slides explicativos e atividadesRevolução russa e mexicana. Slides explicativos e atividades
Revolução russa e mexicana. Slides explicativos e atividadesFabianeMartins35
 
PRÉDIOS HISTÓRICOS DE ASSARÉ Prof. Francisco Leite.pdf
PRÉDIOS HISTÓRICOS DE ASSARÉ Prof. Francisco Leite.pdfPRÉDIOS HISTÓRICOS DE ASSARÉ Prof. Francisco Leite.pdf
PRÉDIOS HISTÓRICOS DE ASSARÉ Prof. Francisco Leite.pdfprofesfrancleite
 
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 tecniCleidianeCarvalhoPer
 
Os editoriais, reportagens e entrevistas.pptx
Os editoriais, reportagens e entrevistas.pptxOs editoriais, reportagens e entrevistas.pptx
Os editoriais, reportagens e entrevistas.pptxTailsonSantos1
 
Análise poema país de abril (Mauel alegre)
Análise poema país de abril (Mauel alegre)Análise poema país de abril (Mauel alegre)
Análise poema país de abril (Mauel alegre)ElliotFerreira
 
Jogo de Rimas - Para impressão em pdf a ser usado para crianças
Jogo de Rimas - Para impressão em pdf a ser usado para criançasJogo de Rimas - Para impressão em pdf a ser usado para crianças
Jogo de Rimas - Para impressão em pdf a ser usado para criançasSocorro Machado
 
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.pptssuser2b53fe
 
atividades_reforço_4°ano_231206_132728.pdf
atividades_reforço_4°ano_231206_132728.pdfatividades_reforço_4°ano_231206_132728.pdf
atividades_reforço_4°ano_231206_132728.pdfLuizaAbaAba
 
PROVA - ESTUDO CONTEMPORÂNEO E TRANSVERSAL: LEITURA DE IMAGENS, GRÁFICOS E MA...
PROVA - ESTUDO CONTEMPORÂNEO E TRANSVERSAL: LEITURA DE IMAGENS, GRÁFICOS E MA...PROVA - ESTUDO CONTEMPORÂNEO E TRANSVERSAL: LEITURA DE IMAGENS, GRÁFICOS E MA...
PROVA - ESTUDO CONTEMPORÂNEO E TRANSVERSAL: LEITURA DE IMAGENS, GRÁFICOS E MA...azulassessoria9
 
Nós Propomos! " Pinhais limpos, mundo saudável"
Nós Propomos! " Pinhais limpos, mundo saudável"Nós Propomos! " Pinhais limpos, mundo saudável"
Nós Propomos! " Pinhais limpos, mundo saudável"Ilda Bicacro
 
"É melhor praticar para a nota" - Como avaliar comportamentos em contextos de...
"É melhor praticar para a nota" - Como avaliar comportamentos em contextos de..."É melhor praticar para a nota" - Como avaliar comportamentos em contextos de...
"É melhor praticar para a nota" - Como avaliar comportamentos em contextos de...Rosalina Simão Nunes
 
Construção (C)erta - Nós Propomos! Sertã
Construção (C)erta - Nós Propomos! SertãConstrução (C)erta - Nós Propomos! Sertã
Construção (C)erta - Nós Propomos! SertãIlda Bicacro
 
Currículo - Ícaro Kleisson - Tutor acadêmico.pdf
Currículo - Ícaro Kleisson - Tutor acadêmico.pdfCurrículo - Ícaro Kleisson - Tutor acadêmico.pdf
Currículo - Ícaro Kleisson - Tutor acadêmico.pdfTutor de matemática Ícaro
 
Teoria heterotrófica e autotrófica dos primeiros seres vivos..pptx
Teoria heterotrófica e autotrófica dos primeiros seres vivos..pptxTeoria heterotrófica e autotrófica dos primeiros seres vivos..pptx
Teoria heterotrófica e autotrófica dos primeiros seres vivos..pptxTailsonSantos1
 

Último (20)

5 bloco 7 ano - Ensino Relogioso- Lideres Religiosos _ Passei Direto.pdf
5 bloco 7 ano - Ensino Relogioso- Lideres Religiosos _ Passei Direto.pdf5 bloco 7 ano - Ensino Relogioso- Lideres Religiosos _ Passei Direto.pdf
5 bloco 7 ano - Ensino Relogioso- Lideres Religiosos _ Passei Direto.pdf
 
2° ANO - ENSINO FUNDAMENTAL ENSINO RELIGIOSO
2° ANO - ENSINO FUNDAMENTAL ENSINO RELIGIOSO2° ANO - ENSINO FUNDAMENTAL ENSINO RELIGIOSO
2° ANO - ENSINO FUNDAMENTAL ENSINO RELIGIOSO
 
421243121-Apostila-Ensino-Religioso-Do-1-ao-5-ano.pdf
421243121-Apostila-Ensino-Religioso-Do-1-ao-5-ano.pdf421243121-Apostila-Ensino-Religioso-Do-1-ao-5-ano.pdf
421243121-Apostila-Ensino-Religioso-Do-1-ao-5-ano.pdf
 
PROJETO DE EXTENÇÃO - GESTÃO DE RECURSOS HUMANOS.pdf
PROJETO DE EXTENÇÃO - GESTÃO DE RECURSOS HUMANOS.pdfPROJETO DE EXTENÇÃO - GESTÃO DE RECURSOS HUMANOS.pdf
PROJETO DE EXTENÇÃO - GESTÃO DE RECURSOS HUMANOS.pdf
 
PROVA - ESTUDO CONTEMPORÂNEO E TRANSVERSAL: COMUNICAÇÃO ASSERTIVA E INTERPESS...
PROVA - ESTUDO CONTEMPORÂNEO E TRANSVERSAL: COMUNICAÇÃO ASSERTIVA E INTERPESS...PROVA - ESTUDO CONTEMPORÂNEO E TRANSVERSAL: COMUNICAÇÃO ASSERTIVA E INTERPESS...
PROVA - ESTUDO CONTEMPORÂNEO E TRANSVERSAL: COMUNICAÇÃO ASSERTIVA E INTERPESS...
 
Revolução russa e mexicana. Slides explicativos e atividades
Revolução russa e mexicana. Slides explicativos e atividadesRevolução russa e mexicana. Slides explicativos e atividades
Revolução russa e mexicana. Slides explicativos e atividades
 
PRÉDIOS HISTÓRICOS DE ASSARÉ Prof. Francisco Leite.pdf
PRÉDIOS HISTÓRICOS DE ASSARÉ Prof. Francisco Leite.pdfPRÉDIOS HISTÓRICOS DE ASSARÉ Prof. Francisco Leite.pdf
PRÉDIOS HISTÓRICOS DE ASSARÉ Prof. Francisco Leite.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
 
Os editoriais, reportagens e entrevistas.pptx
Os editoriais, reportagens e entrevistas.pptxOs editoriais, reportagens e entrevistas.pptx
Os editoriais, reportagens e entrevistas.pptx
 
Análise poema país de abril (Mauel alegre)
Análise poema país de abril (Mauel alegre)Análise poema país de abril (Mauel alegre)
Análise poema país de abril (Mauel alegre)
 
Jogo de Rimas - Para impressão em pdf a ser usado para crianças
Jogo de Rimas - Para impressão em pdf a ser usado para criançasJogo de Rimas - Para impressão em pdf a ser usado para crianças
Jogo de Rimas - Para impressão em pdf a ser usado para crianças
 
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
 
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
 
atividades_reforço_4°ano_231206_132728.pdf
atividades_reforço_4°ano_231206_132728.pdfatividades_reforço_4°ano_231206_132728.pdf
atividades_reforço_4°ano_231206_132728.pdf
 
PROVA - ESTUDO CONTEMPORÂNEO E TRANSVERSAL: LEITURA DE IMAGENS, GRÁFICOS E MA...
PROVA - ESTUDO CONTEMPORÂNEO E TRANSVERSAL: LEITURA DE IMAGENS, GRÁFICOS E MA...PROVA - ESTUDO CONTEMPORÂNEO E TRANSVERSAL: LEITURA DE IMAGENS, GRÁFICOS E MA...
PROVA - ESTUDO CONTEMPORÂNEO E TRANSVERSAL: LEITURA DE IMAGENS, GRÁFICOS E MA...
 
Nós Propomos! " Pinhais limpos, mundo saudável"
Nós Propomos! " Pinhais limpos, mundo saudável"Nós Propomos! " Pinhais limpos, mundo saudável"
Nós Propomos! " Pinhais limpos, mundo saudável"
 
"É melhor praticar para a nota" - Como avaliar comportamentos em contextos de...
"É melhor praticar para a nota" - Como avaliar comportamentos em contextos de..."É melhor praticar para a nota" - Como avaliar comportamentos em contextos de...
"É melhor praticar para a nota" - Como avaliar comportamentos em contextos de...
 
Construção (C)erta - Nós Propomos! Sertã
Construção (C)erta - Nós Propomos! SertãConstrução (C)erta - Nós Propomos! Sertã
Construção (C)erta - Nós Propomos! Sertã
 
Currículo - Ícaro Kleisson - Tutor acadêmico.pdf
Currículo - Ícaro Kleisson - Tutor acadêmico.pdfCurrículo - Ícaro Kleisson - Tutor acadêmico.pdf
Currículo - Ícaro Kleisson - Tutor acadêmico.pdf
 
Teoria heterotrófica e autotrófica dos primeiros seres vivos..pptx
Teoria heterotrófica e autotrófica dos primeiros seres vivos..pptxTeoria heterotrófica e autotrófica dos primeiros seres vivos..pptx
Teoria heterotrófica e autotrófica dos primeiros seres vivos..pptx
 

Indução finita - provas matemáticas

  • 1. An´alise de Algoritmos Indução finita – p. 1/20
  • 2. Indução finita Princ´ıpio da induc¸ ˜ao matem´atica: Seja A um conjunto de números naturais tal que as seguintes propriedades são válidas: 0 ∈ A, e para cada natural n, se {0, 1, 2, . . . , n} ⊆ A então n + 1 ∈ A. Então A = N. – p. 2/20
  • 3. Indução finita Na prática, o princípio da indução é usado para provar afirmações do tipo “para todo natural n, a propriedade P(n) é verdadeira”, onde P é uma propriedade que depende de algum parâmetro inteiro. A prova é feita da seguinte forma. – p. 3/20
  • 4. Indução finita Seja A = {n : P é verdadeira para n}. 1. Base da indução: mostramos inicialmente que 0 ∈ A, ou seja, P é verdadeira para n = 0. 2. Hipótese de indução: assumimos que {0, 1, 2, . . . , n} ⊆ A, ou seja, que P é verdadeira para cada natural 0, 1, 2, . . . , n. 3. Passo da indução: mostramos que n + 1 ∈ A, ou seja, que P é verdadeira para n + 1. – p. 4/20
  • 5. Indução finita Pelo princípio da indução, A = N. Logo, P é verdadeira para todo n. – p. 5/20
  • 6. Indução finita - em outras palavras O princípio da indução finita pode também ser descrito da seguinte forma: “Se uma afirmação P, que envolve um parâmetro inteiro n, é verdade para n = 0, e se para n ≥ 1, a hipótese de que P é verdadeira para todo inteiro ≤ n implica que P é verdadeira para n + 1, então P é verdadeira para todo natural n. – p. 6/20
  • 7. Indução finita - exemplos Mostre que 1 + 2 + · · · + n = n(n+1) 2 , para todo n ≥ 1. – p. 7/20
  • 8. Indução finita - exemplos Mostre que 1 + 2 + · · · + n = n(n+1) 2 , para todo n ≥ 1. 1. Base da indução: para n = 1 temos 1 = 1(1+1) 2 . – p. 7/20
  • 9. Indução finita - exemplos Mostre que 1 + 2 + · · · + n = n(n+1) 2 , para todo n ≥ 1. 1. Base da indução: para n = 1 temos 1 = 1(1+1) 2 . 2. Hipótese de indução: assumimos que 1 + 2 + · · · + k = k(k+1) 2 , para todo k ≤ n. – p. 7/20
  • 10. Indução finita - exemplos Mostre que 1 + 2 + · · · + n = n(n+1) 2 , para todo n ≥ 1. 3. Passo da indução: – p. 8/20
  • 11. Indução finita - exemplos Mostre que 1 + 2 + · · · + n = n(n+1) 2 , para todo n ≥ 1. 3. Passo da indução: 1 + 2 + · · · + n + (n + 1) = (1 + 2 + · · · + n) + (n + 1) = n(n + 1) 2 + (n + 1) = n(n + 1) + 2(n + 1) 2 = (n + 1)(n + 2) 2 – p. 8/20
  • 12. Indução finita - exemplos Afirmação: o número de diagonais de um polígono convexo P de n ≥ 3 lados é d = n(n−3) 2 . – p. 9/20
  • 13. Indução finita - exemplos Afirmação: o número de diagonais de um polígono convexo P de n ≥ 3 lados é d = n(n−3) 2 . Prova: Por indução em n. A afirmação é claramente verdadeira para n = 3. – p. 9/20
  • 14. Indução finita - exemplos Afirmação: o número de diagonais de um polígono convexo P de n ≥ 3 lados é d = n(n−3) 2 . Prova: Por indução em n. A afirmação é claramente verdadeira para n = 3. Sejam v1, v2, . . . , vn os vértices de P, enumerados em uma ordem cíclica. – p. 9/20
  • 15. Indução finita - exemplos Afirmação: o número de diagonais de um polígono convexo P de n ≥ 3 lados é d = n(n−3) 2 . Prova: Por indução em n. A afirmação é claramente verdadeira para n = 3. Sejam v1, v2, . . . , vn os vértices de P, enumerados em uma ordem cíclica. Considere o polígono P de n − 1 lados formado pelos vértices v1, v2, . . . , vn−1. Note que P é convexo. – p. 9/20
  • 16. Indução finita - exemplos Seja d o número de diagonais de P . – p. 10/20
  • 17. Indução finita - exemplos Seja d o número de diagonais de P . Por hipótese de indução, d = (n − 1)(n − 4) 2 . – p. 10/20
  • 18. Indução finita - exemplos Seja d o número de diagonais de P . Por hipótese de indução, d = (n − 1)(n − 4) 2 . Mas, d = d + (n − 2). – p. 10/20
  • 19. Indução finita - exemplos Seja d o número de diagonais de P . Por hipótese de indução, d = (n − 1)(n − 4) 2 . Mas, d = d + (n − 2). Logo, d = (n − 1)(n − 4) 2 + (n − 2) = n(n − 3) 2 . – p. 10/20
  • 20. Indução finita - exemplos Proposição: Seja G uma árvore com v ≥ 1 vértices e a arestas então a = v − 1. – p. 11/20
  • 21. Indução finita - exemplos Proposição: Seja G uma árvore com v ≥ 1 vértices e a arestas então a = v − 1. Prova: Por indução em a. – p. 11/20
  • 22. Indução finita - exemplos Proposição: Seja G uma árvore com v ≥ 1 vértices e a arestas então a = v − 1. Prova: Por indução em a. Se a = 0 então v = 1, pois v ≥ 1 e G é conexo. Logo, a = v − 1 neste caso. – p. 11/20
  • 23. Indução finita - exemplos Proposição: Seja G uma árvore com v ≥ 1 vértices e a arestas então a = v − 1. Prova: Por indução em a. Se a = 0 então v = 1, pois v ≥ 1 e G é conexo. Logo, a = v − 1 neste caso. Suponha que a ≥ 1. Seja e uma aresta de G. Como G é uma árvore, o grafo G − e é formado por exatamente duas componentes, digamos G1 e G2. Além disso, G1 e G2 são árvores. – p. 11/20
  • 24. Indução finita - exemplos Sejam v1 e a1 o número de vértices e arestas de G1. Defina v2 e a2 similarmente para G2. – p. 12/20
  • 25. Indução finita - exemplos Sejam v1 e a1 o número de vértices e arestas de G1. Defina v2 e a2 similarmente para G2. Claramente, a1 < a e a2 < a. Por hipótese de indução, a1 = v1 − 1 e a2 = v2 − 1. – p. 12/20
  • 26. Indução finita - exemplos Sejam v1 e a1 o número de vértices e arestas de G1. Defina v2 e a2 similarmente para G2. Claramente, a1 < a e a2 < a. Por hipótese de indução, a1 = v1 − 1 e a2 = v2 − 1. Mas a = a1 + a2 + 1 e v = v1 + v2. – p. 12/20
  • 27. Indução finita - exemplos Sejam v1 e a1 o número de vértices e arestas de G1. Defina v2 e a2 similarmente para G2. Claramente, a1 < a e a2 < a. Por hipótese de indução, a1 = v1 − 1 e a2 = v2 − 1. Mas a = a1 + a2 + 1 e v = v1 + v2. Logo, a = (v1 − 1) + (v2 − 1) + 1 = v − 1. – p. 12/20
  • 28. Indução finita - cuidados Ao utilizarmos a indução finita devemos estar atentos aos seguintes detalhes: – p. 13/20
  • 29. Indução finita - cuidados Ao utilizarmos a indução finita devemos estar atentos aos seguintes detalhes: Base da indução – p. 13/20
  • 30. Indução finita - cuidados Ao utilizarmos a indução finita devemos estar atentos aos seguintes detalhes: Base da indução Aplicação da hipótese de indução – p. 13/20
  • 31. Indução finita - exercícios Provar as seguintes afirmações: 1. 1 + 3 + 5 + · · · + (2n − 1) = n2, ∀n ≥ 1. 2. 1 + 2 + 22 + · · · + 2n = 2n+1 − 1, ∀n ≥ 0. 3. a1 + a1.r + a1.r2 + · · · + a1.rn−1 = a1.(rn −1) r−1 , ∀n ≥ 1. 4. 1 2 + 1 4 + 1 8 + · · · + 1 2n < 1, para n ≥ 1. 5. 12 + 22 + · · · + n2 = n(n+1)(2n+1) 6 , ∀n ≥ 1. 6. Para qualquer inteiro n, o número 22n − 1 é divisível por 3. 7. A soma dos ângulos internos de um polígono convexo com n lados é S = (n − 2)180o. – p. 14/20
  • 32. Indução finita - exercícios 8. O número de vértices V , arestas E e faces F de um mapa planar conexo satisfazem a equação: V − E + F = 2. 9. Um número (em sua representação decimal) é múltiplo de 3 se e somente se a soma de seus dígitos é múltiplo de 3. 10. Considere n ≥ 3 retas em posições gerais no plano (ou seja, quaisquer duas retas se cruzam e quaisquer três retas se cruzam em pontos distintos). Prove que pelo menos uma região que elas formam é um triângulo. – p. 15/20
  • 33. Indução finita - exercícios 11. Considere n ≥ 3 retas em posições gerais no plano. Prove que elas formam pelo menos n − 2 triângulos. 12. Considere o conjunto S = {1, 2, . . . , 2n} dos 2n primeiros números naturais. Mostre que qualquer subconjunto de S com n + 1 elementos contém dois elementos um dos quais é múltiplo do outro. 13. É possível colorir as regiões formadas por qualquer número de retas no plano com apenas duas cores de tal forma que regiões vizinhas recebam cores distintas. – p. 16/20
  • 34. An´alise de Algoritmos Princípio da casa do pombo – p. 17/20
  • 35. Princípio da casa do pombo Princ´ıpio da casa do pombo: Se A e B são conjuntos finitos com |A| > |B|, então não existe função bijetora de A para B. Em outras palavras, se tentarmos associar elementos de A (os “pombos”) com elementos de B (suas “casas”), mais cedo ou mais tarde teremos que colocar mais de um pombo em alguma casa. – p. 18/20
  • 36. Princípio da casa do pombo - Exercícios 1. Quantas pessoas são necessárias para se ter certeza que pelo menos duas delas fazem aniversário no mesmo mês? – p. 19/20
  • 37. Princípio da casa do pombo - Exercícios 1. Quantas pessoas são necessárias para se ter certeza que pelo menos duas delas fazem aniversário no mesmo mês? 2. Quantas cartas precisam ser tiradas de um baralho convencional de 52 cartas para garantir que duas delas serão do mesmo naipe? – p. 19/20
  • 38. Princípio da casa do pombo - Exercícios 1. Quantas pessoas são necessárias para se ter certeza que pelo menos duas delas fazem aniversário no mesmo mês? 2. Quantas cartas precisam ser tiradas de um baralho convencional de 52 cartas para garantir que duas delas serão do mesmo naipe? 3. Mostre que em qualquer grupo de n ≥ 2 pessoas existem 2 pessoas com o mesmo número de amigos no grupo. – p. 19/20
  • 39. Princípio da casa do pombo - Exercícios 1. Quantas pessoas são necessárias para se ter certeza que pelo menos duas delas fazem aniversário no mesmo mês? 2. Quantas cartas precisam ser tiradas de um baralho convencional de 52 cartas para garantir que duas delas serão do mesmo naipe? 3. Mostre que em qualquer grupo de n ≥ 2 pessoas existem 2 pessoas com o mesmo número de amigos no grupo. 4. Seja P = {p1, p2, p3, p4, p5} um conjunto de pontos distintos no plano, com coordenadas inteiras positivas. Mostre que algum par tem um ponto médio que tem coordenadas inteiras. – p. 19/20
  • 40. Princípio da casa do pombo - Exercícios 5. Suponha que façamos 50 disparos em um alvo quadrado de 70cm de lado. Se todos os disparos atingem o alvo, mostre que existem dois disparos cuja distância é no máximo 15cm. 6. Mostre que existe uma potência de 3 que termina com 001. 7. Dado um conjunto A ⊂ {1, 2, . . . , 100} de 10 inteiros, mostre que existem dois subconjuntos disjuntos não vazios de A com a mesma soma de seus membros. 8. Há 25 garotos e 25 garotas sentados em torno de uma mesa redonda de 50 lugares. Mostre que existe uma pessoa cujos dois vizinhos são garotas. – p. 20/20