Problema

Demonstrar, usando o princípio da indução finita, que 6|n(n+1)(n+2), ∀ n ∈ ℕ.

Resolução completa (principal)

Requer-se demonstrar que 6|n·(n+1)·(n+2), ∀ n ∈ ℕ. Para se alcançar isso, pretende-se usar a propriedade de
que 2|(m+1)·(m+2), ∀ m ∈ ℕ. Como dá para se perceber, precisa-se primeiro provar essa propriedade,
evidentemente através de indução matemática completa (outro nome da indução matemática finita).

Seja P(m) a proposição de que 2|(m+1)·(m+2), ∀ m ∈ ℕ.

[α] Verifica-se P(m) para m = 0:

(0+1)·(0+2) = 2 ⇒ 2 | (0+1)·(0+2) ⇒ P(0) é verdadeira

[β] Supõe-se que, dado um k ∈ ℕ, P(k) seja verdadeira, ou seja,  2|(k+1)·(k+2). Para se provar a veracidade
da P(k+1), percebe-se antes que:
(k+2)·(k+3) = (k+2)·(k+1+2) = (k+2)·[(k+1)+2] = (k+2)·(k+1)+(k+2)·2 =
= (k+1)·(k+2)+2·(k+2) ⇒  (k+2)·(k+3) = (k+1)·(k+2)+2·(k+2)
Com a hipótese inicial (), a propriedade de que 2|2·(k+2) — por atender à definição de “divide” (“|”) — e
a igualdade observada logo acima (), tem-se que:
2|(k+1)·(k+2) e 2|2·(k+2) ⇒ 2|[(k+1)·(k+2)+2·(k+2)] ou 2|(k+2)·(k+3) ⇒ P(k) é verdadeira

Então, deduz-se que P(m) é verdadeira, ∀ m ∈ ℕ.

Com a propriedade anterior provada, em seguida, faz-se a demonstração requisitada, usando-se indução finita,
por um possível modo. Seja Q(n) a afirmação de que 6|n·(n+1)·(n+2), ∀ n ∈ ℕ.

[χ] Verifica-se Q(n) para n = 0:

0·(0+1)·(0+2) = 0 ⇒ 6 | 0·(0+1)·(0+2) ⇒ Q(0) é verdadeira
[δ] Supõe-se que, dado um k ∈ ℕ, Q(k) seja verdadeira, ou seja,  6|k·(k+1)·(k+2). Para se provar a
veracidade da Q(k+1), nota-se antes que:
P(k) é válida ⇒ 2|(k+1)·(k+2) ⇒ 3·2|3·(k+1)·(k+2) ou  6|3·(k+1)·(k+2)
(k+1)·(k+2)·(k+3) = [(k+1)·(k+2)]·(k+3) = [(k+1)·(k+2)]·k + [(k+1)·(k+2)]·3 =
= (k+1)·(k+2)·k + (k+1)·(k+2)·3 ⇒  (k+1)·(k+2)·(k+3) = k·(k+1)·(k+2)+3·(k+1)·(k+2)
Com a hipótese inicial () e as propriedades de divisibilidade () e de igualdade () notadas logo acima,
obtém-se que:
6|k·(k+1)·(k+2) e 6|3·(k+1)·(k+2) ⇒ 6|k·(k+1)·(k+2)+3·(k+1)·(k+2) ou 6|(k+1)·(k+2)·(k+3) ⇒
⇒ Q(k) é verdadeira

Portanto, conclui-se que Q(n) é verdadeira, ∀ n ∈ ℕ.

CQD.

Aproveito p/ sugerir que matemática e qq outra matéria é mais fácil de ser estudada se tivermos QI maior; um
modo gratuito de garantir que nosso QI não diminua é mudar nosso estilo de vida p/ um mais feliz, saudável e
saboroso  : http://www.youtube.com/watch?v=Xe_oNnBAtcs&cnl_tv=Supreme Master TV (informações da
Mensa Internacional — a maior e mais antiga sociedade que reúne pessoas com alto QI do mundo — exibidas
em um canal de TV global via satélite que traz entrevistas sobre vários temas importantes c/ renomados
especialistas locais, regionais, nacionais ou até internacionais dos vários cantos do mundo),

1 de 2
http://www.youtube.com/watch?v=U4lgWORL6Oc e http://www.youtube.com/watch?v=7x-UgndYFrA,
lembrando que, por exemplo, mercúrio é um elemento encontrado em concentrações preocupantes em peixes e
pode causar falhas de memória, dificuldade de prestar atenção, etc e até efeito desastroso no sistema nervoso. E,
p/ quem gosta do planeta (beleza natural, etc) e das conquistas humanas (artes, conhecimento, etc), há outro
vídeo do mesmo canal com msg importante de pessoas influentes e bem-sucedidas:
http://www.youtube.com/watch?v=6q4ynXjr4h4 ou (só em inglês — até pessoal de Hollywood)
http://www.youtube.com/watch?v=UneYgIsTjwQ.

Fim!

Resolução resumida (alternativa)

Para se conseguir a demonstração a ser feita, pretende-se usar a propriedade de que 2|(m+1)·(m+2), ∀ m ∈ ℕ.
Como dá para se perceber, precisa-se primeiro provar essa propriedade, evidentemente através de indução
matemática completa (outro nome da indução matemática finita).

Seja P(m) essa proposição, ∀ m ∈ ℕ. Pulando-se a etapa inicial de demonstração de P(m) pelo princípio da
indução (extremamente essencial, mas relativamente trivial, o que facilita a sua omissão aqui para se encurtar a
digitação), parte-se para a 2ª e última etapa, onde se supõe que, dado um k ∈ ℕ, P(k) seja verdadeira, a fim de
se provar a veracidade da P(k+1).

Com a relação de que (k+2)·(k+3) = (k+2)·(k+1+2) = (k+2)·(k+1)+(k+2)·2 = (k+1)·(k+2)+2·(k+2), a hipótese

inicial [2|(k+1)·(k+2)] e a propriedade de que 2|2·(k+2), tem-se que 2|(k+2)·(k+3). Então, deduz-se que P(m) é
verdadeira.

Com a propriedade anterior provada, em seguida, faz-se a demonstração requisitada, usando-se indução finita,
por um possível modo. Seja Q(n) a afirmação a ser provada neste exercício, ∀ n ∈ ℕ. Pulando-se a etapa
inicial de demonstração de Q(n) pelo princípio da indução (também muitíssimo essencial, mas um tanto trivial,
o que facilita a sua omissão aqui para se encurtar a digitação), parte-se para a 2ª e última etapa, onde se supõe
que, dado um k ∈ ℕ, Q(k) seja verdadeira, a fim de se provar a veracidade da Q(k+1).

Com a relação de que (k+1)·(k+2)·(k+3) = (k+1)·(k+2)·k + (k+1)·(k+2)·3 = k·(k+1)·(k+2)+3·(k+1)·(k+2), a

hipótese inicial [6|k·(k+1)·(k+2)] e a propriedade de que 6|3·(k+1)·(k+2) basicamente por P(k) ser válida,
obtém-se que 6|(k+1)·(k+2)·(k+3). Logo, conclui-se que Q(n) é verdadeira.

CQD.

Fonte

Foi consultado o título Números: uma Introdução à Matemática (edição de 1991, apostila disponível
em http://www.livrariadafisica.com.br/detalhe_produto.aspx?id=12266), q menciona o outro nome da indução
finita (“indução completa”).

2 de 2