Seja n um valor inteiro positivo. Prove que (n + 1)² − 1 é par, se e somente se, n é par.
Soluções para a tarefa
Explicação passo-a-passo:
Vamos provar por indução finita
Sendo n E {2, 4, 6, 8, ...}, logo
Para n = 2 => (2 + 1)² - 1 = 3² - 1 = 9 - 1 = 8, verdade
Para n = p, com p E {2, 4, 6, 8, ...}, vem que
(p + 1)² - 1 também é verdade
Agora provamos que a relação também é verdadeira para n = 2p, então
(2p + 1)² - 1 = (4p² + 4p + 1) - 1 = 4p² + 4p
Como 4p² + 4p sempre será par, logo está demonstrado que (n + 1)² - 1 é par para todo n par
Ida: Se é par, então n é par
da hipótese temos que essa expressão tem que ser par, já temos que 2n é par, logo tem que ser par pois par+par=par, Portanto é par e por sua vez n é par
Volta: Se n é par, então é par
Bom, se n é par ele é da forma 2k, para algum k inteiro, substituindo isso na expressão temos:
Fazendo
, logo , Portanto é par