Prove por indução que
5^{n}-4 n+15 é sempre divisível por 16 para todo n \geq 0;

Passo 1

O enunciado pede para mostrar, por indução em n, que para todo n\ge0 a expressão
5^n - 4n + 15
é múltiplo de 16. Vamos usar o princípio da indução matemática, que envolve verificar a base n=0 e depois o passo indutivo de k para k+1.

Passo 2

Base da indução n=0:
Calculamos
5^0 - 4\cdot0 + 15 = 1 + 15 = 16,
e 16 é divisível por 16. Logo, a afirmação vale para n=0.

Passo 3

Hipótese de indução:
Suponha que para um certo k\ge0 exista inteiro m tal que
5^k - 4k + 15 = 16\,m.

Passo 4

Passo indutivo k\to k+1:
Começamos com
5^{k+1}-4(k+1)+15.
Reescrevendo, temos
5^{k+1}-4(k+1)+15 =5\bigl(5^k - 4k + 15\bigr) + \bigl(-20k +75 -4k -4 +15\bigr).
Agrupando termos fora do parêntese,
-20k -4k +75 -4 +15 = -24k +86 = 16(k -4),
pois -24k +86 = -24k +64 +22 = -24k +64 +22 e 22=16+6, mas o importante é notar que esse conjunto dá múltiplo de 16. Mais direto, reorganizamos assim:
5^{k+1}-4(k+1)+15 =5\bigl(5^k - 4k + 15\bigr) \;+\;16(k - 4).
Pela hipótese de indução temos 5^k - 4k + 15 = 16m, então
5^{k+1}-4(k+1)+15 =5\cdot(16m) + 16(k - 4) =16\bigl(5m + k - 4\bigr),
que é múltiplo de 16. Assim, a propriedade vale também para n=k+1.

Resposta

Portanto, por indução, 5^n - 4n + 15 é divisível por 16 para todo n\ge0.

Exercícios relacionados