SlideShare una empresa de Scribd logo
1 de 5
Descargar para leer sin conexión
Rodrigo Thiago Passos Silva
Universidade Federal do ABC – Santo André
Bacharelado em Ciência e Tecnologia
RESOLUÇÃO DA LISTA 1 DE FUNÇÕES DE UMA VARIÁVEL
Prof. Cláudio N. Meneses
1 Prove que é par o produto de um número par qualquer por um número ímpar
qualquer.
Tomando x um número par e y um número inteiro ímpar, temos que:
onde
Admitindo Certamente par ou ímpar.
Portanto xy = 2k, um número par.
□
2 Prove que a soma de dois números pares quaisquer é par.
Tomando dois números pares quaisquer x = 2k1 e y = 2k2, onde
x + y = 2k1 + 2k2 = 2(k1 + k2)
Assumindo k1 + k2 = k, temos:
x + y = 2k, portanto um número par.
□
3 Prove que a soma de três números inteiros consecutivos quaisquer é um múltiplo de
três.
Tomando três números consecutivos quaisquer x = k, y = k + 1 e z = k + 2, com .
x + y + z = k + k + 1 + k + 2 = 3k + 3 = 3(k+1)
Considerando k + 1 = r, um número, certamente, inteiro, temos que:
x + y + z =3r, um número múltiplo de três.
□
4 Sabendo que a soma e o produto de dois números inteiros são também números
inteiros, prove que a soma de dois números racionais é também um número racional.
Hipótese: A soma e o produto de dois números inteiros são também inteiros.
Considerando x e y números racionais e dados por e , com
.
+
Pela hipótese apresentada, são números inteiros, portanto x + y, por
ser um quociente de dois inteiros, é um número racional.
□
Rodrigo Thiago Passos Silva
Universidade Federal do ABC – Santo André
Bacharelado em Ciência e Tecnologia
5 Prove que entre dois números racionais diferentes sempre existe outro racional.
Considerando x e y números racionais e dados por e , com
e z, um racional entre eles.
z está, certamente, entre x e y quando: Queremos provar que z é um número
racional.
Sabemos que a soma e multiplicação de dois números inteiros resulta em, também,
números inteiros. Assim sendo, é trivial que z é um número racional, pois é o quociente
de dois números inteiros.
□
6 Prove que:
1.
Utilizando o Princípio da Indução Finita (PIF):
i) Testando a propriedade para n = 1:
A propriedade é válida para n = 1.
ii) Hipótese indutiva -
Tese -
Assumindo a hipótese como verdadeira temos:
Logo:
Portanto a P(k + 1) é verdadeira e a propriedade é válida para qualquer n ≥ 1.
□
2.
Utilizando o Princípio da Indução Finita (PIF):
i) Verificando a propriedade para n = 1:
Portanto P(1) é válida.
ii) Hipótese indutiva:
Tese:
Rodrigo Thiago Passos Silva
Universidade Federal do ABC – Santo André
Bacharelado em Ciência e Tecnologia
Assumindo a hipótese indutiva como verdadeira, temos que
Logo:
Comprovada a hipótese indutiva, comprova-se que a propriedade é válida para qualquer
número natural maior ou igual a 1.
□
3.
i) Verificando o somatório para n = 1:
Portanto, a propriedade é válida para n = 1.
ii) Hipótese indutiva -
Tese -
Considerando verdadeira a hipótese indutiva, temos que:
Desenvolvendo o lado esquerdo da igualdade, obtemos:
A igualdade não é válida, portanto a hipótese é falsa e a propriedade inválida para
qualquer n natural maior que 1.
□
4.
i) Verificando a propriedade para n = 1:
Portanto P(1) é verdadeira.
ii) Hipótese indutiva:
Tese:
Rodrigo Thiago Passos Silva
Universidade Federal do ABC – Santo André
Bacharelado em Ciência e Tecnologia
Admitindo a hipótese indutiva como verdade, temos que:
Desenvolvendo algebricamente o lado esquerdo da igualdade:
Comprovando-se a igualdade comprova-se conjuntamente a veracidade da hipótese
indutiva, e, portanto, a validade da propriedade para n ≥ 1.
□
5.
Desenvolvendo ambos os lados da igualdade
i) Verificando a igualdade para n = 1:
É trivial que a igualdade é válida, pois 1³ = 1.
ii) Hipótese indutiva -
Tese -
Admitindo como verdadeira a hipótese indutiva, temos que:
A primeira parcela do lado esquerdo da igualdade e o somatório do lado direito são
progressões aritméticas, portanto podem ser reescritas da seguinte forma:
Partindo, então, do lado esquerdo, temos:
Portanto, a hipótese indutiva é, de fato, verdadeira e a propriedade é válida para todo
número natural maior ou igual a 1.
□
Rodrigo Thiago Passos Silva
Universidade Federal do ABC – Santo André
Bacharelado em Ciência e Tecnologia
7 Prove, usando o princípio da indução matemática, que todo inteiro maior do que 1 é
primo ou produto de primos.
i)Tomando n = 1, observa-se que a propriedade é válida, pois 1 é primo.
ii) Hipótese indutiva – P(k): k é um número primo ou produto de primos
Tese – P(k + 1): k + 1 é primo ou produto de primos
Há duas possibilidades para k + 1:
a) k + 1 é primo, logo P(k + 1) é válida.
b) k + 1 não é primo. Então k + 1 = ab, onde 1 < a < k + 1 e 1 < b < k + 1.
Pela hipótese indutiva P(2), P(3), ... ,P(n), para n ≤ k, são primos ou produto de primos,
logo a e b são também primos ou produto de primos e, finalmente, provamos que k + 1
= ab também é primo ou produto de primos.
□
8 Denote por an o número de subconjuntos de {1,2,3,..,n} (incluindo o conjunto vazio
e o próprio conjunto).
(a) Mostre que an = 2an-1 (não é necessário usar indução aqui).
Tomando o conjunto a An-1 = {1,2,..., n - 1} onde an-1 é o número de subconjuntos de An-
1.
Sendo . Todos os subconjuntos de An-1 são também subconjuntos de
An. Os demais subconjuntos são obtidos incluindo o elemento {n}. Logo an = 2an-1.
□
(b) Adivinhe a fórmula para o valor de an e use indução para provar que você está
certo.
O número de conjuntos de An é dado por 2n
.
i) Para o conjunto B = {u}, de um único elemento, temos os seguintes subconjuntos: { }
e {a}. Para n = 1, an = 2, o que é confirmado pela demonstração acima.
ii) Hipótese indutiva – P(n): Um conjunto de n elementos tem 2n
subconjuntos.
Tese – P(n + 1): Um conjunto de n + 1 elementos tem 2n+1
subconjuntos.
Tomando o conjunto An+1 tal que .
Pela hipótese indutiva temos que an = 2n
.
Reescrevendo, sem perda de sentido, o que foi comprovado em (a) temos an+1 = 2an.
Logo, an+1 = 2 × 2n
= 2n+1
, comprovando assim a tese e a propriedade P(n) para todo n ≥
1.
□

Más contenido relacionado

La actualidad más candente

Aula 7 inducao matematica-primeiroprincipio
Aula 7   inducao matematica-primeiroprincipioAula 7   inducao matematica-primeiroprincipio
Aula 7 inducao matematica-primeiroprincipiowab030
 
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
 
Conjuntos numéricos versão mini
Conjuntos numéricos   versão miniConjuntos numéricos   versão mini
Conjuntos numéricos versão miniLuciano Pessanha
 
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
 
www.AulasDeMatematicaApoio.com - Matemática - Função Afim
www.AulasDeMatematicaApoio.com  - Matemática - Função Afimwww.AulasDeMatematicaApoio.com  - Matemática - Função Afim
www.AulasDeMatematicaApoio.com - Matemática - Função AfimAulas De Matemática Apoio
 
Propriedades da Potenciação
Propriedades da PotenciaçãoPropriedades da Potenciação
Propriedades da PotenciaçãoElcielle .
 
Conjuntos numéricos
Conjuntos numéricosConjuntos numéricos
Conjuntos numéricosandreilson18
 
Expressoes Algebricas Definitivo
Expressoes Algebricas DefinitivoExpressoes Algebricas Definitivo
Expressoes Algebricas DefinitivoBetão Betão
 
Slide equaçoes 1 grau
Slide equaçoes 1 grauSlide equaçoes 1 grau
Slide equaçoes 1 grauestrelaeia
 
Álgebra básica, potenciação, notação científica, radiciação, polinômios, fato...
Álgebra básica, potenciação, notação científica, radiciação, polinômios, fato...Álgebra básica, potenciação, notação científica, radiciação, polinômios, fato...
Álgebra básica, potenciação, notação científica, radiciação, polinômios, fato...Carlos Campani
 
Sentenças abertas, implicações e equivalências lógicas
Sentenças abertas, implicações e equivalências lógicasSentenças abertas, implicações e equivalências lógicas
Sentenças abertas, implicações e equivalências lógicasSérgio de Castro
 
Raciocínio lógico aula 3-6 - lógica de argumentaçao
Raciocínio lógico   aula 3-6 - lógica de argumentaçaoRaciocínio lógico   aula 3-6 - lógica de argumentaçao
Raciocínio lógico aula 3-6 - lógica de argumentaçaoJ M
 

La actualidad más candente (20)

Conjuntos
ConjuntosConjuntos
Conjuntos
 
Aula 7 inducao matematica-primeiroprincipio
Aula 7   inducao matematica-primeiroprincipioAula 7   inducao matematica-primeiroprincipio
Aula 7 inducao matematica-primeiroprincipio
 
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
 
Conjuntos numéricos versão mini
Conjuntos numéricos   versão miniConjuntos numéricos   versão mini
Conjuntos numéricos versão mini
 
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)
 
www.AulasDeMatematicaApoio.com - Matemática - Função Afim
www.AulasDeMatematicaApoio.com  - Matemática - Função Afimwww.AulasDeMatematicaApoio.com  - Matemática - Função Afim
www.AulasDeMatematicaApoio.com - Matemática - Função Afim
 
Propriedades da Potenciação
Propriedades da PotenciaçãoPropriedades da Potenciação
Propriedades da Potenciação
 
Aula 22 probabilidade - parte 1
Aula 22   probabilidade - parte 1Aula 22   probabilidade - parte 1
Aula 22 probabilidade - parte 1
 
Conjuntos numéricos
Conjuntos numéricosConjuntos numéricos
Conjuntos numéricos
 
Conjuntos numéricos
Conjuntos numéricosConjuntos numéricos
Conjuntos numéricos
 
Equacoes de 7º Ano
Equacoes de 7º AnoEquacoes de 7º Ano
Equacoes de 7º Ano
 
Função exponencial
Função exponencialFunção exponencial
Função exponencial
 
Expressoes Algebricas Definitivo
Expressoes Algebricas DefinitivoExpressoes Algebricas Definitivo
Expressoes Algebricas Definitivo
 
Slide equaçoes 1 grau
Slide equaçoes 1 grauSlide equaçoes 1 grau
Slide equaçoes 1 grau
 
Monômios
MonômiosMonômios
Monômios
 
Álgebra básica, potenciação, notação científica, radiciação, polinômios, fato...
Álgebra básica, potenciação, notação científica, radiciação, polinômios, fato...Álgebra básica, potenciação, notação científica, radiciação, polinômios, fato...
Álgebra básica, potenciação, notação científica, radiciação, polinômios, fato...
 
Função logarítmica
Função logarítmicaFunção logarítmica
Função logarítmica
 
Teoria dos Conjuntos
Teoria dos ConjuntosTeoria dos Conjuntos
Teoria dos Conjuntos
 
Sentenças abertas, implicações e equivalências lógicas
Sentenças abertas, implicações e equivalências lógicasSentenças abertas, implicações e equivalências lógicas
Sentenças abertas, implicações e equivalências lógicas
 
Raciocínio lógico aula 3-6 - lógica de argumentaçao
Raciocínio lógico   aula 3-6 - lógica de argumentaçaoRaciocínio lógico   aula 3-6 - lógica de argumentaçao
Raciocínio lógico aula 3-6 - lógica de argumentaçao
 

Destacado

Conjuntos numéricos, mdc e mmc
Conjuntos numéricos, mdc e mmcConjuntos numéricos, mdc e mmc
Conjuntos numéricos, mdc e mmcRomulo Garcia
 
Alg2 notas de aula 01
Alg2 notas de aula 01Alg2 notas de aula 01
Alg2 notas de aula 01gpressato
 
Números enteros y jerarquía de operaciones
Números enteros y jerarquía de operacionesNúmeros enteros y jerarquía de operaciones
Números enteros y jerarquía de operacionespaquicarrion7
 
Matemática Discreta - Parte VI funções
Matemática Discreta - Parte VI funçõesMatemática Discreta - Parte VI funções
Matemática Discreta - Parte VI funçõesUlrich Schiel
 
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
 
Matemática Discreta - Parte IV teoria dos-conjuntos
Matemática Discreta - Parte IV teoria dos-conjuntosMatemática Discreta - Parte IV teoria dos-conjuntos
Matemática Discreta - Parte IV teoria dos-conjuntosUlrich Schiel
 
Atividades números inteiros
Atividades números inteirosAtividades números inteiros
Atividades números inteirosLeandro Marin
 
Tipos de questão de rlm artigo 01 - com gabarito
Tipos de questão de rlm   artigo 01 - com gabaritoTipos de questão de rlm   artigo 01 - com gabarito
Tipos de questão de rlm artigo 01 - com gabaritoArthur Lima
 
Mat 140 questoes resolvidas vol iii
Mat 140 questoes resolvidas vol iiiMat 140 questoes resolvidas vol iii
Mat 140 questoes resolvidas vol iiitrigono_metrico
 
Perguntas para o ensino fundamental maior
Perguntas para o ensino fundamental maiorPerguntas para o ensino fundamental maior
Perguntas para o ensino fundamental maiorFábio Brito
 

Destacado (13)

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
 
Lista 2 - FUV - Resolução
Lista 2   - FUV - ResoluçãoLista 2   - FUV - Resolução
Lista 2 - FUV - Resolução
 
Demonstrações
DemonstraçõesDemonstrações
Demonstrações
 
Conjuntos numéricos, mdc e mmc
Conjuntos numéricos, mdc e mmcConjuntos numéricos, mdc e mmc
Conjuntos numéricos, mdc e mmc
 
Alg2 notas de aula 01
Alg2 notas de aula 01Alg2 notas de aula 01
Alg2 notas de aula 01
 
Números enteros y jerarquía de operaciones
Números enteros y jerarquía de operacionesNúmeros enteros y jerarquía de operaciones
Números enteros y jerarquía de operaciones
 
Matemática Discreta - Parte VI funções
Matemática Discreta - Parte VI funçõesMatemática Discreta - Parte VI funções
Matemática Discreta - Parte VI funções
 
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
 
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
 
Atividades números inteiros
Atividades números inteirosAtividades números inteiros
Atividades números inteiros
 
Tipos de questão de rlm artigo 01 - com gabarito
Tipos de questão de rlm   artigo 01 - com gabaritoTipos de questão de rlm   artigo 01 - com gabarito
Tipos de questão de rlm artigo 01 - com gabarito
 
Mat 140 questoes resolvidas vol iii
Mat 140 questoes resolvidas vol iiiMat 140 questoes resolvidas vol iii
Mat 140 questoes resolvidas vol iii
 
Perguntas para o ensino fundamental maior
Perguntas para o ensino fundamental maiorPerguntas para o ensino fundamental maior
Perguntas para o ensino fundamental maior
 

Similar a Provas de propriedades matemáticas usando indução e outros métodos

Notas de aula 01 2015-2
Notas de aula 01 2015-2Notas de aula 01 2015-2
Notas de aula 01 2015-2bonesea
 
Intro teoria dos números cap2
Intro teoria dos  números cap2Intro teoria dos  números cap2
Intro teoria dos números cap2Paulo Martins
 
Análise de Algoritmos - Indução Finita
Análise de Algoritmos - Indução FinitaAnálise de Algoritmos - Indução Finita
Análise de Algoritmos - Indução FinitaDelacyr Ferreira
 
Teoria dos numeros primos i
Teoria dos numeros primos iTeoria dos numeros primos i
Teoria dos numeros primos iPaulo Martins
 
Intro teoria dos numerros cap5
Intro teoria dos numerros cap5Intro teoria dos numerros cap5
Intro teoria dos numerros cap5Paulo Martins
 
01 lógica, conjuntos e intervalos
01 lógica, conjuntos e intervalos01 lógica, conjuntos e intervalos
01 lógica, conjuntos e intervalosWallysson Mendes
 
Lógica, conjuntos e intervalos
Lógica, conjuntos e intervalosLógica, conjuntos e intervalos
Lógica, conjuntos e intervalosSérgio de Castro
 
01 lógica, conjuntos e intervalos
01 lógica, conjuntos e intervalos01 lógica, conjuntos e intervalos
01 lógica, conjuntos e intervalosWallysson Mendes
 
01 lógica, conjuntos e intervalos
01 lógica, conjuntos e intervalos01 lógica, conjuntos e intervalos
01 lógica, conjuntos e intervalosFelipe Renan
 
Lista de exercícios 1
Lista de exercícios 1Lista de exercícios 1
Lista de exercícios 1Carlos Campani
 
Mat progressoes ( pg) ii
Mat progressoes ( pg) iiMat progressoes ( pg) ii
Mat progressoes ( pg) iitrigono_metrico
 
Teoria_das_Probabilidades_processos_estocasticos.pptx
Teoria_das_Probabilidades_processos_estocasticos.pptxTeoria_das_Probabilidades_processos_estocasticos.pptx
Teoria_das_Probabilidades_processos_estocasticos.pptxjoaoluciodesouzajnio
 
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 AmostralAnselmo Alves de Sousa
 

Similar a Provas de propriedades matemáticas usando indução e outros métodos (20)

Notas de aula 01 2015-2
Notas de aula 01 2015-2Notas de aula 01 2015-2
Notas de aula 01 2015-2
 
Demonstrações
DemonstraçõesDemonstrações
Demonstrações
 
Pincipio da indução
Pincipio da induçãoPincipio da indução
Pincipio da indução
 
Intro teoria dos números cap2
Intro teoria dos  números cap2Intro teoria dos  números cap2
Intro teoria dos números cap2
 
Resumo1
Resumo1Resumo1
Resumo1
 
Por que "menos com menos dá mais"?
Por que "menos com menos dá mais"?Por que "menos com menos dá mais"?
Por que "menos com menos dá mais"?
 
Caracterização dos inteiros
Caracterização dos inteirosCaracterização dos inteiros
Caracterização dos inteiros
 
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
 
Técnicas de Amostragem - Aula #1
Técnicas de Amostragem - Aula #1Técnicas de Amostragem - Aula #1
Técnicas de Amostragem - Aula #1
 
Teoria dos numeros primos i
Teoria dos numeros primos iTeoria dos numeros primos i
Teoria dos numeros primos i
 
Intro teoria dos numerros cap5
Intro teoria dos numerros cap5Intro teoria dos numerros cap5
Intro teoria dos numerros cap5
 
01 lógica, conjuntos e intervalos
01 lógica, conjuntos e intervalos01 lógica, conjuntos e intervalos
01 lógica, conjuntos e intervalos
 
Lógica, conjuntos e intervalos
Lógica, conjuntos e intervalosLógica, conjuntos e intervalos
Lógica, conjuntos e intervalos
 
01 lógica, conjuntos e intervalos
01 lógica, conjuntos e intervalos01 lógica, conjuntos e intervalos
01 lógica, conjuntos e intervalos
 
01 lógica, conjuntos e intervalos
01 lógica, conjuntos e intervalos01 lógica, conjuntos e intervalos
01 lógica, conjuntos e intervalos
 
Aula1
Aula1Aula1
Aula1
 
Lista de exercícios 1
Lista de exercícios 1Lista de exercícios 1
Lista de exercícios 1
 
Mat progressoes ( pg) ii
Mat progressoes ( pg) iiMat progressoes ( pg) ii
Mat progressoes ( pg) ii
 
Teoria_das_Probabilidades_processos_estocasticos.pptx
Teoria_das_Probabilidades_processos_estocasticos.pptxTeoria_das_Probabilidades_processos_estocasticos.pptx
Teoria_das_Probabilidades_processos_estocasticos.pptx
 
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
 

Más de Rodrigo Thiago Passos Silva

Seqüência de Fibonacci - Aspectos Matemáticos
Seqüência de Fibonacci - Aspectos MatemáticosSeqüência de Fibonacci - Aspectos Matemáticos
Seqüência de Fibonacci - Aspectos MatemáticosRodrigo Thiago Passos Silva
 
Como calcular a média do ENEM para ingresso na UFABC?
Como calcular a média do ENEM para ingresso na UFABC?Como calcular a média do ENEM para ingresso na UFABC?
Como calcular a média do ENEM para ingresso na UFABC?Rodrigo Thiago Passos Silva
 
Exercício - Torre de Resfriamento - Termodinâmica
Exercício - Torre de Resfriamento - TermodinâmicaExercício - Torre de Resfriamento - Termodinâmica
Exercício - Torre de Resfriamento - TermodinâmicaRodrigo Thiago Passos Silva
 
Necessidades de P&D na área industrial de Vinhaça
Necessidades de P&D na área industrial de VinhaçaNecessidades de P&D na área industrial de Vinhaça
Necessidades de P&D na área industrial de VinhaçaRodrigo Thiago Passos Silva
 

Más de Rodrigo Thiago Passos Silva (20)

Recompra de Energia - Demonstração
Recompra de Energia - DemonstraçãoRecompra de Energia - Demonstração
Recompra de Energia - Demonstração
 
Cálculo do imposto de renda
Cálculo do imposto de rendaCálculo do imposto de renda
Cálculo do imposto de renda
 
Demonstração da equação de Bhaskara
Demonstração da equação de BhaskaraDemonstração da equação de Bhaskara
Demonstração da equação de Bhaskara
 
1 = 0,999...
1 = 0,999...1 = 0,999...
1 = 0,999...
 
Identidade de Euler - Demonstração
Identidade de Euler - DemonstraçãoIdentidade de Euler - Demonstração
Identidade de Euler - Demonstração
 
Seqüência de Fibonacci - Aspectos Matemáticos
Seqüência de Fibonacci - Aspectos MatemáticosSeqüência de Fibonacci - Aspectos Matemáticos
Seqüência de Fibonacci - Aspectos Matemáticos
 
Como calcular a média do ENEM para ingresso na UFABC?
Como calcular a média do ENEM para ingresso na UFABC?Como calcular a média do ENEM para ingresso na UFABC?
Como calcular a média do ENEM para ingresso na UFABC?
 
Exercício sobre Pré-Imagem
Exercício sobre Pré-ImagemExercício sobre Pré-Imagem
Exercício sobre Pré-Imagem
 
Demonstração - Propriedade de módulo
Demonstração - Propriedade de móduloDemonstração - Propriedade de módulo
Demonstração - Propriedade de módulo
 
Newton e Leibniz
Newton e LeibnizNewton e Leibniz
Newton e Leibniz
 
Redes de Primeira Ordem
Redes de Primeira OrdemRedes de Primeira Ordem
Redes de Primeira Ordem
 
Petróleos ultra-pesados - Apresentação
Petróleos ultra-pesados - ApresentaçãoPetróleos ultra-pesados - Apresentação
Petróleos ultra-pesados - Apresentação
 
Petróleos ultra-pesados
Petróleos ultra-pesadosPetróleos ultra-pesados
Petróleos ultra-pesados
 
Tensão média e tensão eficaz
Tensão média e tensão eficazTensão média e tensão eficaz
Tensão média e tensão eficaz
 
Exercício - Torre de Resfriamento - Termodinâmica
Exercício - Torre de Resfriamento - TermodinâmicaExercício - Torre de Resfriamento - Termodinâmica
Exercício - Torre de Resfriamento - Termodinâmica
 
Demonstração do binômio de Newton
Demonstração do binômio de NewtonDemonstração do binômio de Newton
Demonstração do binômio de Newton
 
Formulário - Estatística
Formulário - EstatísticaFormulário - Estatística
Formulário - Estatística
 
Resumo - Álgebra Linear
Resumo - Álgebra LinearResumo - Álgebra Linear
Resumo - Álgebra Linear
 
Sensor de Campo Magnético
Sensor de Campo MagnéticoSensor de Campo Magnético
Sensor de Campo Magnético
 
Necessidades de P&D na área industrial de Vinhaça
Necessidades de P&D na área industrial de VinhaçaNecessidades de P&D na área industrial de Vinhaça
Necessidades de P&D na área industrial de Vinhaça
 

Provas de propriedades matemáticas usando indução e outros métodos

  • 1. Rodrigo Thiago Passos Silva Universidade Federal do ABC – Santo André Bacharelado em Ciência e Tecnologia RESOLUÇÃO DA LISTA 1 DE FUNÇÕES DE UMA VARIÁVEL Prof. Cláudio N. Meneses 1 Prove que é par o produto de um número par qualquer por um número ímpar qualquer. Tomando x um número par e y um número inteiro ímpar, temos que: onde Admitindo Certamente par ou ímpar. Portanto xy = 2k, um número par. □ 2 Prove que a soma de dois números pares quaisquer é par. Tomando dois números pares quaisquer x = 2k1 e y = 2k2, onde x + y = 2k1 + 2k2 = 2(k1 + k2) Assumindo k1 + k2 = k, temos: x + y = 2k, portanto um número par. □ 3 Prove que a soma de três números inteiros consecutivos quaisquer é um múltiplo de três. Tomando três números consecutivos quaisquer x = k, y = k + 1 e z = k + 2, com . x + y + z = k + k + 1 + k + 2 = 3k + 3 = 3(k+1) Considerando k + 1 = r, um número, certamente, inteiro, temos que: x + y + z =3r, um número múltiplo de três. □ 4 Sabendo que a soma e o produto de dois números inteiros são também números inteiros, prove que a soma de dois números racionais é também um número racional. Hipótese: A soma e o produto de dois números inteiros são também inteiros. Considerando x e y números racionais e dados por e , com . + Pela hipótese apresentada, são números inteiros, portanto x + y, por ser um quociente de dois inteiros, é um número racional. □
  • 2. Rodrigo Thiago Passos Silva Universidade Federal do ABC – Santo André Bacharelado em Ciência e Tecnologia 5 Prove que entre dois números racionais diferentes sempre existe outro racional. Considerando x e y números racionais e dados por e , com e z, um racional entre eles. z está, certamente, entre x e y quando: Queremos provar que z é um número racional. Sabemos que a soma e multiplicação de dois números inteiros resulta em, também, números inteiros. Assim sendo, é trivial que z é um número racional, pois é o quociente de dois números inteiros. □ 6 Prove que: 1. Utilizando o Princípio da Indução Finita (PIF): i) Testando a propriedade para n = 1: A propriedade é válida para n = 1. ii) Hipótese indutiva - Tese - Assumindo a hipótese como verdadeira temos: Logo: Portanto a P(k + 1) é verdadeira e a propriedade é válida para qualquer n ≥ 1. □ 2. Utilizando o Princípio da Indução Finita (PIF): i) Verificando a propriedade para n = 1: Portanto P(1) é válida. ii) Hipótese indutiva: Tese:
  • 3. Rodrigo Thiago Passos Silva Universidade Federal do ABC – Santo André Bacharelado em Ciência e Tecnologia Assumindo a hipótese indutiva como verdadeira, temos que Logo: Comprovada a hipótese indutiva, comprova-se que a propriedade é válida para qualquer número natural maior ou igual a 1. □ 3. i) Verificando o somatório para n = 1: Portanto, a propriedade é válida para n = 1. ii) Hipótese indutiva - Tese - Considerando verdadeira a hipótese indutiva, temos que: Desenvolvendo o lado esquerdo da igualdade, obtemos: A igualdade não é válida, portanto a hipótese é falsa e a propriedade inválida para qualquer n natural maior que 1. □ 4. i) Verificando a propriedade para n = 1: Portanto P(1) é verdadeira. ii) Hipótese indutiva: Tese:
  • 4. Rodrigo Thiago Passos Silva Universidade Federal do ABC – Santo André Bacharelado em Ciência e Tecnologia Admitindo a hipótese indutiva como verdade, temos que: Desenvolvendo algebricamente o lado esquerdo da igualdade: Comprovando-se a igualdade comprova-se conjuntamente a veracidade da hipótese indutiva, e, portanto, a validade da propriedade para n ≥ 1. □ 5. Desenvolvendo ambos os lados da igualdade i) Verificando a igualdade para n = 1: É trivial que a igualdade é válida, pois 1³ = 1. ii) Hipótese indutiva - Tese - Admitindo como verdadeira a hipótese indutiva, temos que: A primeira parcela do lado esquerdo da igualdade e o somatório do lado direito são progressões aritméticas, portanto podem ser reescritas da seguinte forma: Partindo, então, do lado esquerdo, temos: Portanto, a hipótese indutiva é, de fato, verdadeira e a propriedade é válida para todo número natural maior ou igual a 1. □
  • 5. Rodrigo Thiago Passos Silva Universidade Federal do ABC – Santo André Bacharelado em Ciência e Tecnologia 7 Prove, usando o princípio da indução matemática, que todo inteiro maior do que 1 é primo ou produto de primos. i)Tomando n = 1, observa-se que a propriedade é válida, pois 1 é primo. ii) Hipótese indutiva – P(k): k é um número primo ou produto de primos Tese – P(k + 1): k + 1 é primo ou produto de primos Há duas possibilidades para k + 1: a) k + 1 é primo, logo P(k + 1) é válida. b) k + 1 não é primo. Então k + 1 = ab, onde 1 < a < k + 1 e 1 < b < k + 1. Pela hipótese indutiva P(2), P(3), ... ,P(n), para n ≤ k, são primos ou produto de primos, logo a e b são também primos ou produto de primos e, finalmente, provamos que k + 1 = ab também é primo ou produto de primos. □ 8 Denote por an o número de subconjuntos de {1,2,3,..,n} (incluindo o conjunto vazio e o próprio conjunto). (a) Mostre que an = 2an-1 (não é necessário usar indução aqui). Tomando o conjunto a An-1 = {1,2,..., n - 1} onde an-1 é o número de subconjuntos de An- 1. Sendo . Todos os subconjuntos de An-1 são também subconjuntos de An. Os demais subconjuntos são obtidos incluindo o elemento {n}. Logo an = 2an-1. □ (b) Adivinhe a fórmula para o valor de an e use indução para provar que você está certo. O número de conjuntos de An é dado por 2n . i) Para o conjunto B = {u}, de um único elemento, temos os seguintes subconjuntos: { } e {a}. Para n = 1, an = 2, o que é confirmado pela demonstração acima. ii) Hipótese indutiva – P(n): Um conjunto de n elementos tem 2n subconjuntos. Tese – P(n + 1): Um conjunto de n + 1 elementos tem 2n+1 subconjuntos. Tomando o conjunto An+1 tal que . Pela hipótese indutiva temos que an = 2n . Reescrevendo, sem perda de sentido, o que foi comprovado em (a) temos an+1 = 2an. Logo, an+1 = 2 × 2n = 2n+1 , comprovando assim a tese e a propriedade P(n) para todo n ≥ 1. □