(A) Problemão: Divisibilidade por 3

Clique no botão abaixo para visualizar o problema.

Problema
(Indicado a partir do 1ª série do E. M.)


Mostre que para qualquer número inteiro [tex]n[/tex] a expressão [tex]n^{3}+3n^{2}+5n+3[/tex] sempre será divisível por [tex]3[/tex].

Extraído de Lidski.

explicador_p

Lembrete

Em um produto com três números inteiros consecutivos, podemos garantir que um dos fatores é divisível por [tex]3[/tex].

Solução


Para um número inteiro [tex]n[/tex], seja [tex]E=n^{3}+3n^{2}+5n+3[/tex] e observe que:

  • A expressão [tex]E=n^{3}+3n^{2}+5n+3[/tex] pode ser escrita como [tex]E=n^{3}+3n^{2}+2n+3n+3[/tex].
  • Colocando o fator [tex]n[/tex] em evidência nas três primeiras parcelas de [tex]E[/tex] e o [tex]3[/tex] nas duas últimas, obtemos
    [tex]\qquad E= n\cdot(n^{2}+3n+2)+3\cdot(n+1)[/tex]
  • Podemos, ainda, fatorar o polinômio do segundo grau [tex]n^{2}+3n+2[/tex] na forma [tex](n+1)\cdot (n+2)[/tex]. Assim, temos:
    [tex]\qquad E=n\cdot(n+1)\cdot(n+2)+3\cdot(n+1)[/tex]

Nessa última forma da expressão [tex]E[/tex], chegamos a uma soma na qual a primeira parcela é um produto de três números inteiros consecutivos: claramente a segunda parcela é divisível por três e, pelo Lembrete, podemos concluir que a primeira parcela também o é.
Portanto, como a soma de dois inteiros divisíveis por [tex]3[/tex] é também divisível por [tex]3[/tex] (Consegue verificar isso?), concluímos que para qualquer inteiro [tex]n[/tex] a expressão [tex]E[/tex] é divisível por [tex]3[/tex].


Solução elaborada pelos Moderadores do Blog.

Link permanente para este artigo: http://clubes.obmep.org.br/blog/a-problemao-divisibilidade-por-3/