Gustavo Piñero
Buenos Aires, Argentina

  Introdução

Nosso objetivo nesta nota é mostrar, através de um exemplo simples, que os aspectos formais da Matemática não são antagônicos aos seus aspectos recreativos. Com esse objetivo, começaremos expondo um problema sério de Teoria de Números e veremos como, de maneira perfeitamente natural, ele nos conduzirá a interessantes explorações no campo lúdico-matemático. Apresentaremos ainda dois pequenos descobrimentos recreativos que, acreditamos, serão do interesse dos leitores.

Problema básico

Achar todos os inteiros positivos ímpares  a  para os quais existe um expoente    tal que    é um quadrado perfeito.

Solução
Para começar, estabelecemos a igualdade  ,  onde  x  é um inteiro qualquer e  a  é um inteiro positivo ímpar. Efetuando algumas manipulações elementares, vemos

Por outro lado, como  a  é ímpar, então os números  a  e    não têm fatores primos em comum (ou seja, são primos entre si). Do mesmo modo, não é difícil provar que os

Resolvendo cada um desses dois sistemas de equações, concluímos que    ou,  então,  .  Estes são os únicos números ímpares que satisfazem a propriedade desejada. Por exemplo, se  ,  a primeira expressão nos dá o valor  ,  para o qual obtemos  ,  que é um quadrado. A segunda expressão nos dá  ,  para o qual resulta  ,  que também é um quadrado perfeito.

 

      Primeiro aspecto recreativo  

O problema abordado foi resolvido, sem, entretanto, poder-se dizer que a questão está totalmente esgotada. Para começar, observemos atentamente a primeira das duas expressões resultantes da resolução do sistema anterior:  .  Segundo os cálculos, para cada  ,    é um quadrado perfeito. Notemos que essa afirmação pode ser verificada por um cálculo direto:

O aspecto interessante da questão é que a representação em base  2  do número  é perfeitamente regular, já que tem a forma  111...111000...0001,  expressão que está formada exatamente por    uns  e    zeros (lembramos que  ).

Chegamos então à primeira descoberta: para cada valor de  ,  existe um quadrado perfeito cuja representação binária é formada exatamente por  m  uns  e  m  zeros.

Por exemplo, para  ,  o quadrado correspondente é  01;  para    o quadrado é  1001  (expressão binária do número 9); e para    temos  110001 (que corresponde a 49).

 

Todos esses quadrados geram um dispositivo gráfico muito elegante, já que podem ordenar-se formando uma estrutura piramidal binária cujos pisos são:

 

01

1001

110001

11100001

1111000001

111110000001

11111100000001

Cada piso da estrutura contém a mesma quantidade de zeros e de uns e é, ao mesmo tempo, a representação binária do número que aparece à direita dele. Os leitores, sem dúvida, não deixarão de notar a regularidade que existe na construção da pirâmide.

Por outro lado, a segunda das duas expressões resultantes da resolução dos sistema da primeira seção,  ,  também nos permite construir uma interessante estrutura piramidal de quadrados. Nesse caso, se  ,  a representação binária de    tem a forma 100...001000...0001  e a estrutura se constrói da seguinte maneira:

Cada piso da estrutura contém exatamente três uns e  m  zeros   e é a representação binária do número que aparece à direita dele. Novamente observa-se interessante regularidade na construção.

 

11001

1010001

100100001

10001000001

1000010000001

100000100000001


 

     Extensão a outras bases  

Vimos que, na base 2, as representações dos números cujas formas são  dão lugar a interessantes construções gráficas. O que ocorre com outras bases? Que aspecto têm as expressões de   e    numa base  ?

Interessante são as estruturas que resultam da expressão  .

      Base  3

 

       Base  4

121

 

121

10201

 

10201

1002001

 

1002001

100020001

 

100020001

10000200001

 

10000200001

A estrutura é exatamente  a mesma. Na realidade, podemos anunciar o seguinte resultado (que constitui nosso segundo descobrimento):
a estrutura piramidal formada pelos números da forma    (com  )  é independente da base    escolhida.
Deixamos aos cuidados do leitor a demonstração dessa afirmação.  

 

  Conclusão  

A partir de um aparentemente estéril problema de Teoria de Números descobrimos todo um mundo de estruturas piramidais formadas por quadrados escritos em diferentes bases. Mundo do qual vimos apenas a superfície, pois, com um pouco de imaginação, ainda há muitos aspectos dele que podem ser investigados.

A conclusão a que queremos chegar é: ao trabalhar com Matemática, nunca se deve perder o espírito lúdico e o afã explorador. É verdade que os descobrimentos fundamentais da Matemática encontram-se fora do alcance da maioria dos mortais, porém os pequenos podem originar-se de qualquer mente alerta e curiosa. A exploração permanente de todos os aspectos possíveis de um problema (incluindo certamente os aspectos recreativos) raramente nos deixará com as mãos vazias e na maioria das vezes nos conduzirá a terrenos interessantes e instrutivos.

 

  Questões finais  

Existem pelo menos dois aspectos das questões tratadas que podem ser generalizados.

1) Vimos que para todo valor de    existe um quadrado perfeito cuja representação binária é formada por  n  uns e  n  zeros (sem usar zeros à esquerda). É possível estender essa conclusão a outras bases? Lamentavelmente a resposta é negativa. Mais ainda, dada uma base    e dois números  c,  d  tais que  ,  pode-se afirmar que existe algum valor de  n  para o qual nenhum quadrado perfeito se escreve em base  b  com exatamente  n  números  c  e  n  números  d.  Por exemplo, não existe nenhum quadrado perfeito cuja expressão decimal resume-se a três uns e três zeros.

2) O problema inicial pedia para achar todos os inteiros ímpares  a  para os quais existe um expoente    tal que    é um quadrado perfeito. O problema pode ser generalizado da seguinte maneira: dado  ,  achar todos os inteiros positivos  a  que sejam primos com  b  e para os quais existe um expoente    tal que    é um quadrado perfeito. Deixamos para o leitor a resolução e exploração desse problema.

__________
NR: Zi.gu.ra.to: sm (assírio-babilônico ziqquratu)

Templo alto, na Babilônia e na Assíria, com estrutura piramidal construída em degraus sucessivamente retrocedentes, com escadas externas e um escrínio no topo. O mais alto conhecido é a Torre de Babel. (fonte: www.uol.com.br/michaelis)
 

Gustavo Piñero é licenciado em Matemática pela Facultad de Ciencias Exatas y Naturales de la Universidad de Buenos Aires e docente na Universidad de Flores, BA, Argentina. Foi colaborador das revistas El Acertijo e Axioma e atualmente colabora com a revista Exactamente.  

 

VOCÊ NOTOU?  

Que, para calcular raízes quadradas de  100, 121, 144, 169, 400, 441, 484, 900  e  961,  basta calcular as raízes dos algarismos situados nos extremos?
Há outros números de 3 dígitos com essa propriedade?