.Problema para ajudar na escola: Quadrados perfeitos em P.A.’s

Problema
(A partir da 1ª série do E. M. – Nível de dificuldade: Difícil)


(XXX Olimpíada Madri, 1994 – Adaptado) Observe as seguintes progressões aritméticas infinitas:
[tex]6,11,\textcolor{red}{16},21,26, 31,\textcolor{red}{36},41, \cdots [/tex]
[tex]1, \textcolor{blue}{9},17, \textcolor{blue}{25},33,41, \textcolor{blue}{49},57,65,73, \textcolor{blue}{81}, \cdots [/tex]
Em cada exemplo, observe que, depois de aparecer um quadrado perfeito, outros quadrados perfeitos surgiram na sequência.
Essa propriedade foi uma mera coincidência ou, de fato,

  • se entre os infinitos termos de uma progressão aritmética de inteiros positivos existe um quadrado perfeito, então infinitos termos dessa progressão são também quadrados perfeitos?

Solução


A característica apresentada pelas duas progressões que ilustram o problema é, de fato, uma propriedade geral. Assim:

Se entre os infinitos termos de uma progressão aritmética de inteiros positivos existe um quadrado perfeito, então infinitos termos dessa progressão são também quadrados perfeitos

Para provar essa propriedade, mostraremos que é verdadeira a seguinte afirmação:

  • Em uma progressão aritmética de infinitos inteiros positivos, a partir de qualquer termo que seja um quadrado perfeito, é possível construir outro.

Observe, inicialmente, que se provarmos essa afirmação, automaticamente a propriedade em questão estará provada, já que:
ao encontrarmos um termo da P.A. que seja um quadrado perfeito, construímos um segundo termo que seja quadrado perfeito;
a partir desse segundo quadrado perfeito, construímos um terceiro;
a partir desse terceiro quadrado perfeito, construímos um quarto;
a partir desse quarto quadrado perfeito, construímos um quinto;
e assim sucessivamente.
Vamos à prova!

  • Seja
    [tex]\qquad \qquad S=\left(a_1, a_1+r,a_1+2r,a_1+3r,\cdots\right)[/tex]
    uma progressão aritmética infinita de inteiros positivos com razão [tex]r[/tex], com [tex]r[/tex] um número inteiro positivo.
    Agora, sendo [tex]a[/tex] um número natural, suponha que [tex]a^2[/tex] seja um termo dessa P.A.:
    [tex]\qquad \qquad S=\left(a_1, a_1+r,a_1+2r,a_1+3r,\cdots, \textcolor{red}{a^2}, \cdots\right)[/tex].
    Considere o número [tex]m=(a+r)^2[/tex] e observe que:
    [tex]\textcolor{#800000}{(i)}\,\, m[/tex] é um número inteiro;
    [tex]\textcolor{#800000}{(ii)}\,\,m[/tex] é um quadrado perfeito;
    [tex]\textcolor{#800000}{(iii)}\,\,m=(a+r)^2=a^2+2ar+r^2=a^2+ \underbrace{\left(2a+r\right)}_{\substack{n\acute{u}mero\\ natural}}\, r.[/tex]
    Assim, por [tex]\textcolor{#800000}{(i)}[/tex], [tex]\textcolor{#800000}{(ii)}[/tex] e [tex]\textcolor{#800000}{(iii)}[/tex], concluímos que [tex]m[/tex] é um quadrado perfeito que é termo da sequência. Particularmente, [tex]m \gt a^2[/tex] e temos:
    [tex]\qquad \qquad S=\left(a_1, a_1+r,a_1+2r,a_1+3r,\cdots, \textcolor{red}{a^2}, \cdots, \textcolor{red}{(a+r)^2}, \cdots\right).[/tex]

Vamos exibir mais alguns quadrados perfeitos dessa sequência [tex]S[/tex]:
[tex]\qquad \qquad \textcolor{red}{a^2} \rightarrow \textcolor{red}{(a+r)^2}[/tex]
[tex]\qquad \qquad \textcolor{red}{(a+r)^2} \rightarrow((a+r)+r)^2= \textcolor{red}{(a+2r)^2}[/tex]
[tex]\qquad \qquad \textcolor{red}{(a+2r)^2} \rightarrow((a+2r)+r)^2= \textcolor{red}{(a+3r)^2}[/tex]
[tex]\qquad \qquad \textcolor{red}{(a+3r)^2} \rightarrow((a+3r)+r)^2= \textcolor{red}{(a+4r)^2}[/tex]
[tex]\qquad \qquad \textcolor{red}{(a+4r)^2} \rightarrow((a+4r)+r)^2= \textcolor{red}{(a+5r)^2}[/tex]
e assim:

[tex] S=\left(a_1, a_1+r,a_1+2r,\cdots, \textcolor{red}{a^2}, \cdots, \textcolor{red}{(a+r)^2}, \cdots, \textcolor{red}{(a+2r)^2}, \cdots\\
\qquad \cdots,\textcolor{red}{(a+3r)^2}, \cdots, \textcolor{red}{(a+4r)^2}, \cdots,\textcolor{red}{(a+5r)^2}, \cdots\right).[/tex]

Vale observar que nem todos os quadrados perfeitos que aparecem nesse tipo de sequência são necessariamente da forma indicada Assim, exstem muito mais quadrados perfeitos do que aqueles que nós garantimos a existência!


Solução elaborada pelos Moderadores do Blog.

Se for conveniente, você pode obter um arquivo desta página em PDF. Mas, para abrir esse arquivo, é necessário que você tenha o Adobe Acrobat Reader instalado no dispositivo que você está utilizando. Caso não tenha, é só clicar AQUI para fazer o download.
Se o seu dispositivo já tem o Adobe Acrobat Reader instalado, basta copiar o arquivo abaixo e abri-lo sempre que quiser!

Link permanente para este artigo: http://clubes.obmep.org.br/blog/problema-para-ajudar-na-escola-quadrados-perfeitos-em-p-a-s/