SlideShare ist ein Scribd-Unternehmen logo
1 von 5
Downloaden Sie, um offline zu lesen
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.
□

Weitere ähnliche Inhalte

Was ist angesagt?

Aula 7 inducao matematica-primeiroprincipio
Aula 7   inducao matematica-primeiroprincipioAula 7   inducao matematica-primeiroprincipio
Aula 7 inducao matematica-primeiroprincipio
wab030
 
Exercicios-resolvidos-de-calculo-i (1)
Exercicios-resolvidos-de-calculo-i (1)Exercicios-resolvidos-de-calculo-i (1)
Exercicios-resolvidos-de-calculo-i (1)
Gi Olli
 
A matemática do ensino médio vol 1
A matemática do ensino médio vol 1A matemática do ensino médio vol 1
A matemática do ensino médio vol 1
joutrumundo
 
Ap geometria analitica resolvidos
Ap geometria analitica resolvidosAp geometria analitica resolvidos
Ap geometria analitica resolvidos
trigono_metrico
 
Lista de exercícios progressões aritméticas
Lista de exercícios   progressões aritméticasLista de exercícios   progressões aritméticas
Lista de exercícios progressões aritméticas
Colégio Parthenon
 

Was ist angesagt? (20)

Expressoes algebricas
Expressoes algebricasExpressoes algebricas
Expressoes algebricas
 
Aula 4 Profmat - Algoritmo de Euclides - MDC e MMC 25 08-17
Aula 4   Profmat - Algoritmo de Euclides - MDC e MMC 25 08-17Aula 4   Profmat - Algoritmo de Euclides - MDC e MMC 25 08-17
Aula 4 Profmat - Algoritmo de Euclides - MDC e MMC 25 08-17
 
Apresentação geometria analítica
Apresentação geometria analíticaApresentação geometria analítica
Apresentação geometria analítica
 
Apresentação da aula de ciclo trigonometrico
Apresentação da aula de ciclo trigonometricoApresentação da aula de ciclo trigonometrico
Apresentação da aula de ciclo trigonometrico
 
Aula 7 inducao matematica-primeiroprincipio
Aula 7   inducao matematica-primeiroprincipioAula 7   inducao matematica-primeiroprincipio
Aula 7 inducao matematica-primeiroprincipio
 
16 aula conjuntos numericos
16 aula    conjuntos numericos16 aula    conjuntos numericos
16 aula conjuntos numericos
 
Produtos Notavéis 8º ano
Produtos Notavéis 8º ano Produtos Notavéis 8º ano
Produtos Notavéis 8º ano
 
Probabilidade
ProbabilidadeProbabilidade
Probabilidade
 
Exercicios-resolvidos-de-calculo-i (1)
Exercicios-resolvidos-de-calculo-i (1)Exercicios-resolvidos-de-calculo-i (1)
Exercicios-resolvidos-de-calculo-i (1)
 
A matemática do ensino médio vol 1
A matemática do ensino médio vol 1A matemática do ensino médio vol 1
A matemática do ensino médio vol 1
 
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)
 
Logaritmo
LogaritmoLogaritmo
Logaritmo
 
Ap geometria analitica resolvidos
Ap geometria analitica resolvidosAp geometria analitica resolvidos
Ap geometria analitica resolvidos
 
Conjuntos dos números racionais
Conjuntos dos números racionaisConjuntos dos números racionais
Conjuntos dos números racionais
 
Polinômios..
Polinômios..Polinômios..
Polinômios..
 
Exercícios Resolvidos: Integração por substituição trigonométrica
Exercícios Resolvidos: Integração por substituição trigonométricaExercícios Resolvidos: Integração por substituição trigonométrica
Exercícios Resolvidos: Integração por substituição trigonométrica
 
Matemática básica derivada e integral
Matemática básica   derivada e integralMatemática básica   derivada e integral
Matemática básica derivada e integral
 
Enem - Matemática e suas Tecnologias
Enem - Matemática e suas TecnologiasEnem - Matemática e suas Tecnologias
Enem - Matemática e suas Tecnologias
 
Lista de exercícios progressões aritméticas
Lista de exercícios   progressões aritméticasLista de exercícios   progressões aritméticas
Lista de exercícios progressões aritméticas
 
Semelhança de triângulos
Semelhança de triângulosSemelhança de triângulos
Semelhança de triângulos
 

Andere mochten auch

Conjuntos numéricos, mdc e mmc
Conjuntos numéricos, mdc e mmcConjuntos numéricos, mdc e mmc
Conjuntos numéricos, mdc e mmc
Romulo Garcia
 
Matematica discreta uma introducao edward r scheinerman
Matematica discreta uma introducao   edward r scheinermanMatematica discreta uma introducao   edward r scheinerman
Matematica discreta uma introducao edward r scheinerman
Artur Câncio
 
57701066 matematica-discreta-exercicios-resolvidos
57701066 matematica-discreta-exercicios-resolvidos57701066 matematica-discreta-exercicios-resolvidos
57701066 matematica-discreta-exercicios-resolvidos
HAROLDO MIRANDA DA COSTA JR
 
Matemática Discreta - Parte IV teoria dos-conjuntos
Matemática Discreta - Parte IV teoria dos-conjuntosMatemática Discreta - Parte IV teoria dos-conjuntos
Matemática Discreta - Parte IV teoria dos-conjuntos
Ulrich Schiel
 
Mat 140 questoes resolvidas vol iii
Mat 140 questoes resolvidas vol iiiMat 140 questoes resolvidas vol iii
Mat 140 questoes resolvidas vol iii
trigono_metrico
 
Perguntas para o ensino fundamental maior
Perguntas para o ensino fundamental maiorPerguntas para o ensino fundamental maior
Perguntas para o ensino fundamental maior
Fábio Brito
 

Andere mochten auch (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
 
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
 

Ähnlich wie Lista 1 - FUV - Resolução

Aula 8 inducao matematica
Aula 8   inducao matematicaAula 8   inducao matematica
Aula 8 inducao matematica
wab030
 
01 lógica, conjuntos e intervalos
01 lógica, conjuntos e intervalos01 lógica, conjuntos e intervalos
01 lógica, conjuntos e intervalos
Wallysson Mendes
 
Lógica, conjuntos e intervalos
Lógica, conjuntos e intervalosLógica, conjuntos e intervalos
Lógica, conjuntos e intervalos
Sé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 intervalos
Wallysson Mendes
 
01 lógica, conjuntos e intervalos
01 lógica, conjuntos e intervalos01 lógica, conjuntos e intervalos
01 lógica, conjuntos e intervalos
Felipe Renan
 
Mat progressoes ( pg) ii
Mat progressoes ( pg) iiMat progressoes ( pg) ii
Mat progressoes ( pg) ii
trigono_metrico
 
Teoria_das_Probabilidades_processos_estocasticos.pptx
Teoria_das_Probabilidades_processos_estocasticos.pptxTeoria_das_Probabilidades_processos_estocasticos.pptx
Teoria_das_Probabilidades_processos_estocasticos.pptx
joaoluciodesouzajnio
 

Ähnlich wie Lista 1 - FUV - Resolução (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
 

Mehr von Rodrigo Thiago Passos Silva

Mehr von 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
 

Lista 1 - FUV - Resolução

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