SlideShare uma empresa Scribd logo
1 de 5
Baixar para ler offline
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.
□

Mais conteúdo relacionado

Mais procurados

Termos e conceitos estatísticos
Termos e conceitos estatísticosTermos e conceitos estatísticos
Termos e conceitos estatísticosHelena Borralho
 
Testes de especificação, diagnóstico e interpretação de Modelo OLS (Ordinary ...
Testes de especificação, diagnóstico e interpretação de Modelo OLS (Ordinary ...Testes de especificação, diagnóstico e interpretação de Modelo OLS (Ordinary ...
Testes de especificação, diagnóstico e interpretação de Modelo OLS (Ordinary ...Kleverton Saath
 
Propriedades da Potenciação
Propriedades da PotenciaçãoPropriedades da Potenciação
Propriedades da PotenciaçãoElcielle .
 
Aula1 proposicoes e conectivos (1)
Aula1 proposicoes e conectivos (1)Aula1 proposicoes e conectivos (1)
Aula1 proposicoes e conectivos (1)SEDUC-PA
 
NUMEROS REAIS
NUMEROS REAISNUMEROS REAIS
NUMEROS REAISverinlaza
 
Tratamento e Organização de Dados
Tratamento e Organização de DadosTratamento e Organização de Dados
Tratamento e Organização de Dadosestudamatematica
 
Distribuicao de probabilidades
Distribuicao de probabilidadesDistribuicao de probabilidades
Distribuicao de probabilidadesvagnergeovani
 
Teoria dos conjuntos 1º ANO - Ensino Médio
Teoria dos conjuntos 1º ANO - Ensino MédioTeoria dos conjuntos 1º ANO - Ensino Médio
Teoria dos conjuntos 1º ANO - Ensino MédioRosana Santos Quirino
 
Lógica matemática (exercícios resolvidos)
Lógica matemática (exercícios resolvidos)Lógica matemática (exercícios resolvidos)
Lógica matemática (exercícios resolvidos)wilkerfilipel
 
Estatística 8.º ano
Estatística 8.º anoEstatística 8.º ano
Estatística 8.º anoaldaalves
 
Aula 7 inducao matematica-primeiroprincipio
Aula 7   inducao matematica-primeiroprincipioAula 7   inducao matematica-primeiroprincipio
Aula 7 inducao matematica-primeiroprincipiowab030
 
Lógica: Exercícios Resolvidos
Lógica: Exercícios ResolvidosLógica: Exercícios Resolvidos
Lógica: Exercícios Resolvidosnumerosnamente
 
Equação 1° grau
Equação 1° grauEquação 1° grau
Equação 1° grau190384221087
 
Aula 8 profmat congruencias - 20 10-17
Aula 8   profmat congruencias - 20 10-17Aula 8   profmat congruencias - 20 10-17
Aula 8 profmat congruencias - 20 10-17Aline Guedes
 
Matemática Discreta - Parte VII estruturas algébricas
Matemática Discreta - Parte VII estruturas algébricasMatemática Discreta - Parte VII estruturas algébricas
Matemática Discreta - Parte VII estruturas algébricasUlrich Schiel
 
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áticaAristóteles Meneses
 

Mais procurados (20)

Termos e conceitos estatísticos
Termos e conceitos estatísticosTermos e conceitos estatísticos
Termos e conceitos estatísticos
 
Testes de especificação, diagnóstico e interpretação de Modelo OLS (Ordinary ...
Testes de especificação, diagnóstico e interpretação de Modelo OLS (Ordinary ...Testes de especificação, diagnóstico e interpretação de Modelo OLS (Ordinary ...
Testes de especificação, diagnóstico e interpretação de Modelo OLS (Ordinary ...
 
Propriedades da Potenciação
Propriedades da PotenciaçãoPropriedades da Potenciação
Propriedades da Potenciação
 
Frações e Decimais
Frações e DecimaisFrações e Decimais
Frações e Decimais
 
Aula1 proposicoes e conectivos (1)
Aula1 proposicoes e conectivos (1)Aula1 proposicoes e conectivos (1)
Aula1 proposicoes e conectivos (1)
 
NUMEROS REAIS
NUMEROS REAISNUMEROS REAIS
NUMEROS REAIS
 
Tratamento e Organização de Dados
Tratamento e Organização de DadosTratamento e Organização de Dados
Tratamento e Organização de Dados
 
Distribuicao de probabilidades
Distribuicao de probabilidadesDistribuicao de probabilidades
Distribuicao de probabilidades
 
Construção da tabela verdade
Construção da tabela verdadeConstrução da tabela verdade
Construção da tabela verdade
 
Teoria dos conjuntos 1º ANO - Ensino Médio
Teoria dos conjuntos 1º ANO - Ensino MédioTeoria dos conjuntos 1º ANO - Ensino Médio
Teoria dos conjuntos 1º ANO - Ensino Médio
 
Lógica matemática (exercícios resolvidos)
Lógica matemática (exercícios resolvidos)Lógica matemática (exercícios resolvidos)
Lógica matemática (exercícios resolvidos)
 
Estatística 8.º ano
Estatística 8.º anoEstatística 8.º ano
Estatística 8.º ano
 
Aula inequacoes
Aula inequacoesAula inequacoes
Aula inequacoes
 
Aula 7 inducao matematica-primeiroprincipio
Aula 7   inducao matematica-primeiroprincipioAula 7   inducao matematica-primeiroprincipio
Aula 7 inducao matematica-primeiroprincipio
 
Lógica: Exercícios Resolvidos
Lógica: Exercícios ResolvidosLógica: Exercícios Resolvidos
Lógica: Exercícios Resolvidos
 
Equação 1° grau
Equação 1° grauEquação 1° grau
Equação 1° grau
 
Conceitos Básicos de Estatística I
Conceitos Básicos de Estatística IConceitos Básicos de Estatística I
Conceitos Básicos de Estatística I
 
Aula 8 profmat congruencias - 20 10-17
Aula 8   profmat congruencias - 20 10-17Aula 8   profmat congruencias - 20 10-17
Aula 8 profmat congruencias - 20 10-17
 
Matemática Discreta - Parte VII estruturas algébricas
Matemática Discreta - Parte VII estruturas algébricasMatemática Discreta - Parte VII estruturas algébricas
Matemática Discreta - Parte VII estruturas algébricas
 
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
 

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
 
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 - Introdução
Matemática Discreta - IntroduçãoMatemática Discreta - Introdução
Matemática Discreta - IntroduçãoUlrich 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
 
57701066 matematica-discreta-exercicios-resolvidos
57701066 matematica-discreta-exercicios-resolvidos57701066 matematica-discreta-exercicios-resolvidos
57701066 matematica-discreta-exercicios-resolvidosHAROLDO MIRANDA DA COSTA JR
 
Matemática Discreta - Parte IV teoria dos-conjuntos
Matemática Discreta - Parte IV teoria dos-conjuntosMatemática Discreta - Parte IV teoria dos-conjuntos
Matemática Discreta - Parte IV teoria dos-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
 

Destaque (15)

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
 
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)
 
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 - Introdução
Matemática Discreta - IntroduçãoMatemática Discreta - Introdução
Matemática Discreta - Introdução
 
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
 
57701066 matematica-discreta-exercicios-resolvidos
57701066 matematica-discreta-exercicios-resolvidos57701066 matematica-discreta-exercicios-resolvidos
57701066 matematica-discreta-exercicios-resolvidos
 
Matemática Discreta - Parte IV teoria dos-conjuntos
Matemática Discreta - Parte IV teoria dos-conjuntosMatemática Discreta - Parte IV teoria dos-conjuntos
Matemática Discreta - Parte IV teoria dos-conjuntos
 
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
 

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

Semelhante 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
 
Aula 8 inducao matematica
Aula 8   inducao matematicaAula 8   inducao matematica
Aula 8 inducao matematica
 
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
 

Mais 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
 

Mais 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
 
Limite de função de duas variáveis
Limite de função de duas variáveisLimite de função de duas variáveis
Limite de função de duas variáveis
 
Sensor de Campo Magnético
Sensor de Campo MagnéticoSensor de Campo Magnético
Sensor de Campo Magnético
 

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. □