Prova 3 — Técnicas de demonstração, indução e recursão
Avaliação 3 de Matemática Aplicada à Computação — Instituto Federal da Paraíba, curso de Tecnologia em Análise e Desenvolvimento de Sistemas, 1º período, semestre 2023.1, professor Suemilton Nunes Gervázio. Cobre demonstração direta, contrapositiva, contradição, exaustão, indução matemática e recursão. Tente cada questão sozinho antes de abrir a resposta.
Questão 1 1,0 pt
Dê uma demonstração direta ao teorema "Se um inteiro é divisível por 6, então duas vezes esse inteiro é divisível por 4".
Resposta
Dem.:
Questão 2 1,0 pt
Prove pela contrapositiva que "Se é ímpar, no qual é um número inteiro, então é ímpar".
Resposta
Dem.:
Pela contrapositiva, temos que é par, logo
Logo, é par
Questão 3 1,0 pt
Faça as demonstrações a seguir usando a técnica que considera mais apropriada.
a) Mostre que , se então .
b) Mostre que se é um número inteiro par, então é par.
Resposta
Dem.: a)
Por exaustão (domínio finito: e ), temos:
Dem.: b)
Questão 4 1,0 pt
Prove por contradição que é um número irracional.
Resposta
Dem.:
Por contradição, vamos supor que é racional, logo
Logo, é par é par (pela questão 3, letra b)
Logo, é par é par.
Como é par e é par, eles possuem fator em comum, o (contradição)
Questão 5 1,0 pt
Faça as demonstrações a seguir usando a técnica de demonstração por Indução.
a) Prove que a soma de três números inteiros e consecutivos é divisível por 3.
b) Mostre que se é um inteiro ímpar, então é ímpar.
Resposta
Dem.: a)
Por indução, temos:
I) Se , com . Assim, a equação é válida, se (passo básico)
II) Vamos supor, por indução, que a equação seja verdadeira para algum inteiro positivo . Assim,
III) Vamos provar que . Assim,
é múltiplo de 3
Dem.: b)
Por indução, temos:
I) Se , com . Assim, a equação é verdadeira, se (passo básico)
II) Por indução, vamos supor que a equação valha para algum inteiro ímpar , com (hipótese de indução):
III) Vamos demonstrar que . Assim,
Questão 6 1,0 pt
Faça as demonstrações a seguir usando a técnica que considera mais apropriada.
a) Mostre por contradição que se , então .
b) Mostre que a equação é verdadeira para qualquer inteiro positivo .
Resposta
Dem.: a)
Por contradição, temos que e
Dem.: b)
Por indução, temos:
I) Se . A equação é verdadeira para (passo básico)
II) Vamos supor, por indução, que a expressão seja verdadeira para algum inteiro . Assim,
III) Vamos demonstrar que . Assim,
Questão 7 1,0 pt
Faça as demonstrações a seguir usando a técnica de demonstração por Indução.
a) Mostre que, para qualquer inteiro positivo , é divisível por 3.
b) Mostre que a equação é verdadeira para qualquer inteiro positivo .
Resposta
Dem.: a)
Por indução, temos:
I) Se , com . A equação é verdadeira, se (passo básico)
II) Vamos supor, por indução, que a equação é válida para algum inteiro positivo . Assim,
III) Vamos demonstrar que . Assim,
é múltiplo de 3
Dem.: b)
Por indução, temos:
I) Se . Assim, a equação é verdadeira, se (passo básico)
II) Por indução, vamos supor que a equação valha para algum inteiro positivo . Assim,
III) Vamos demonstrar que . Assim,
Questão 8 1,0 pt
Prove por indução, usando recursão matemática, que na sequência de Fibonacci teremos que , com .
Resposta
Dem.: Por indução, temos:
I) Se . Assim, a equação é verdadeira para (passo básico)
II) Vamos supor, por indução, que a equação seja verdadeira para algum inteiro positivo . Assim,
III) Vamos demonstrar que . Assim,
Como , então :
Como , então :
Questão 9 1,0 pt
Projete um algoritmo recursivo, em pseudocódigo, que calcule , onde e para os valores de e informados.
Resposta
function P(a, n):
begin
if n == 1:
return a;
else:
return P(a, n - 1) * a;
end;
Questão 10 1,0 pt
Desenhe um diagrama de árvore que ilustre as chamadas recursivas do algoritmo anterior para .
Resposta
Como cada chamada gera apenas uma chamada recursiva filha, a "árvore" é uma cadeia linear que desce até o caso base e depois volta multiplicando por em cada retorno: