Mostrar código-fonte de Números perfeitos

<span style="font-size:8pt"><b>Referência : </b> Santos, J. C., (2020) ''Números perfeitos'', [https://rce.casadasciencias.org Rev. Ciência Elem.], V8(4):056
<br>
<span style="font-size:8pt"><b>Autor</b>: <i>José Carlos Santos</i></span><br>
<span style="font-size:8pt"><span style="font-size:8pt"><b>Editor</b>: <i>[[Usu&aacute;rio:Jfgomes47|José Ferreira Gomes]]</i></span><br>
<span style="font-size:8pt"><b>DOI</b>: <i>[[https://doi.org/10.24927/rce2020.056 https://doi.org/10.24927/rce2020.056]]</i></span><br>
<html><a href="https://rce.casadasciencias.org/rceapp/static/docs/artigos/2020-056.pdf" target="_blank">
                <img src="https://rce.casadasciencias.org/static/images/layout/pdf.png" alt="PDF Download"></a></html>
----

== Resumo ==

Um número perfeito é um número natural que é igual à soma dos seus divisores (exceto ele próprio). O conceito de número perfeito é dos mais antigos da Matemática, mas ainda estamos longe de saber tudo sobre eles. Vamos ver a sua história desde a Antiga Grécia até aos nossos dias.



<html>
<p class='mainText'><strong>Antiguidade</strong></p>

  <p class='mainText'>O mais antigo texto onde os números perfeitos são mencionados é também um dos textos
matemáticos mais famosos jamais escritos: os <em>Elementos de Euclides</em>, que datam aproximadamente
de 300 a.C.. Aí, Euclides define um número perfeito como sendo um número
natural cuja soma dos divisores próprios (isto é, os divisores diferentes do próprio número)
seja igual ao número de que se partiu. O menor número perfeito é 6: a soma dos seus divisores
próprios (1, 2 e 3) é 6. O exemplo seguinte é 28. Os divisores próprios de 28 são 1, 2,
4, 7 e 14 e a soma destes números é 28.</p>

  <p class='mainText'>Na época de Euclides, só se conheciam mais dois números perfeitos: 496 e 8128. De
facto, Euclides não menciona nenhum destes quatro números. Em vez disso, fornece uma
receita para obter números perfeitos, que é a seguinte:</p>

<p class='mainText'>
  <ul>
    <li>toma-se um número natural \(n\);</li>
    <li>verifica-se se \(2^{n}-1\) é ou não um número primo;</li>
    <li>caso a resposta seja afirmativa, então \(\left ( 2^{n}-1 \right )\times 2^{n-1}\) é um número perfeito.</li>
  </ul>
</p>

  <br>

  <p class='mainText'>Testemos isto:</p>

  <p class='mainText'>
    <ul>
      <li>Se \(n = 1\), então \(2^{n}-1 =1\), que não é primo.</li>
      <li>Se \(n = 2\), então \(2^{n}-1 =3\), que é primo. E \(\left ( 2^{2}-1 \right )\times2=6\), que é um número
perfeito.</li>
      <li>Se \(n = 3\), então \(2^{n}-1 =7\), que é primo. E \(\left ( 2^{3}-1 \right )\times2^{2}=28\), que é um número
perfeito.</li>
      <li>Se \(n = 4\), então \(2^{n}-1 =15\), que não é primo.</li>
      <li>Se \(n = 5\), então \(2^{n}-1 =31\), que é primo. E \(\left ( 2^{5}-1 \right )\times2^{4}=496\), que é um
número perfeito.</li>
      <li>Se \(n = 6\), então \(2^{n}-1 =63\), que não é primo.</li>
      <li>Se \(n = 7\), então \(2^{n}-1 =127\), que é primo. E \(\left ( 2^{7}-1 \right )\times2^{6}=8128\), que é
um número perfeito.</li>
    </ul>
  </p>

  <br>

  <p class='mainText'>Até aqui, tudo funciona bem: o método de Euclides resulta e dá origem a todos os números
perfeitos conhecidos na Antiguidade.</p>

  <p class='mainText'>Antes de prosseguirmos, é interessante observar que, durante muito tempo, os números perfeitos eram considerados interessantes por causa da numerologia. Por exemplo, Fílon
de Alexandria, um filósofo judeu do primeiro século da nossa era, afirmou que Deus fez o
mundo em seis dias por seis ser um número perfeito, ideia essa que seria repetida por vários
teólogos cristãos, incluindo Santo Agostinho. E Fílon também defendeu que os ciclos lunares
são de vinte e oito dias por vinte e oito ser um número perfeito.</p>

  <p class='mainText'>Euclides não foi o único matemático da Antiguidade a interessar-se pelos números perfeitos.
Nicómaco de Gerasa, um contemporâneo de Fílon, estudou os números perfeitos e
afirmou (sem demonstrar) que:</p>

<p class='mainText'>
  <ol>
    <li>O n<sup>ésimo</sup> número perfeito tem n algarismos.</li>
    <li>O algarismo das unidades dos números perfeitos é 6 e 8 alternadamente (e, em
particular todos os números perfeitos são pares).</li>
    <li>O método de Euclides não só fornece números perfeitos, como dá origem a todos os
números perfeitos.</li>
    <li>Há uma quantidade infinita de números perfeitos.</li>
  </ol>
</p>

  <br>

  <p class='mainText'>Iremos ver qual é o ponto de vista atual relativamente a cada uma destas afirmações.</p>

  <br>

  <p class='mainText'><strong>Idade Média</strong></p>

  <p class='mainText'>Uma pergunta natural a colocar é a de saber porque é que não se continuaram a obter novos
números primos recorrendo ao processo descrito por Euclides. A resposta é simples:
determinar se \(2^{n}-1\) é ou não primo leva a cálculos cada vez mais extensos à medida
que n cresce. Já vimos que \(2^{n}-1\) é primo quando n é igual a 2, 3, 5 ou 7. Acontece
que o próximo caso em que \(2^{n}-1\) é primo tem lugar quando \(n = 13\); tem-se então
\(2^{13}-1=8191\), de onde resulta que \(33550336 \ (= 8191 \times 2^{12})\)
 é um número perfeito.
Esta constatação deve-se a Ibn Fallus, um matemático persa do séc. XIII.</p>

  <p class='mainText'>De facto, é preciso ler com alguma reserva aquilo que Ibn Fallus escreveu. Com
efeito, parece que ele acreditava que, sempre que n é primo, o número \(2^{n}-1\) também
é primo. Mas isto não é verdade: 11 e 23 são primos, mas \(2^{11}-1=23\times 89\)
e \(2^{23}-1=47 \times 178481\). Por outro lado, é verdade que, como Ibn Fallus afirmou,
\(2^{17}-1\) e \(2^{19}-1\) são primos, de onde resulta que 8 589 869 056 e 137 438 691 328 são
número perfeitos.</p>

  <p class='mainText'>Resulta daqui que as afirmações de Nicómaco de Gerasa relativamente a números perfeitos
não podem ser todas verdadeiras. Com efeito:</p>

<p class='mainText'>
  <ul>
    <li>Se o método de Euclides der de facto origem a todos os números perfeitos, o quinto
número perfeito é 33 550 336 que tem oito algarismos e não cinco. Não é verdade,
então, que o n-ésimo número perfeito tenha n algarismos.</li>
    <li>Supondo ainda que o método de Euclides dá origem a todos os números perfeitos,
também não é verdade que o algarismo das unidades dos números perfeitos seja 6
e 8 alternadamente; com efeito, o algarismo das unidades quer do quinto quer do
sexto número perfeito é igual a 6.</li>
  </ul>
</p>

  <br>

  <p class='mainText'><strong>Renascença</strong></p>

  <p class='mainText'>As contribuições de Ibn Fallus só se tornaram conhecidas na Europa séculos após o renascer
do interesse neste tipo de assuntos. Em meados do século XV, Regiomontanus
redescobriu o quinto número perfeito (33 550 336). Um século mais tarde, Hudalrichus Regius foi a primeira pessoa a aperceber-se de que, mesmo que n seja primo, não é necessariamente
verdade que \(2^{n}-1\) seja primo; o exemplo que ele deu já foi visto atrás:
\(2^{11}-1=23\times 89\).</p>

  <br>

  <p class='mainText'><strong>Século XVII</strong></p>

  <p class='mainText'>No início do século XVII, o italiano Pietro Cataldi provou que, se n for composto, então
\(2^{n}-1\) também é composto. Logo, só vale a pena testar se \(2^{n}-1\) é primo quando o
próprio n for primo. Como já vimos, mesmo que n seja primo, é possível que \(2^{n}-1\) seja
composto.</p>

  <p class='mainText'>Cataldi foi mais cuidadoso do que Ibn Fallus e verificou, com imensos cálculos, que 2<sup>19</sup> – 1
é primo, confirmando assim que 137 438 691 328 é um número perfeito.</p>

  <p class='mainText'>Algumas décadas depois, o francês Pierre de Fermat encontrou uma maneira de facilitar
a tarefa de determinar se \(2^{n}-1\) é primo, quando \(n\) é primo. Com efeito, ele provou que
todos os fatores primos de um tal número são da forma \(2 \times n \times m + 1\), para algum
número natural m. Isto bate certo com o que foi visto atrás, pois:</p>

<p class='mainText'>
  <ul>
    <li>\(2^{11}-1=23\times 89\) e tanto 23 como 89 são da forma \(2 \times 11 \times m + 1\), com
\(m = 1\) e \(m = 4\) respetivamente;</li>
    <li>\(2^{23}-1=47\times 179491\) e tanto 47 como 178 481 são da forma
\(2 \times 23 \times m + 1\), com \(m = 1\) e \(m = 3880\) respetivamente.</li>
  </ul>
</p>

  <br>

  <p class='mainText'>A vantagem de se saber que todos os fatores primos são daquela forma tem origem,
naturalmente, em haver muitos menos fatores primos a testar.</p>

  <p class='mainText'>Um contemporâneo de Fermat, o também francês Marin Mersenne começou a fazer uma
pesquisa sistemática dos números primos \(p\) para os quais \(2^{p}-1\) também é um número
primo. Isto levou a que, hoje em dia, se designem por primos de Mersenne os números
primos da forma \(2^{p}-1\).</p>

  <br>

  <p class='mainText'><strong>Século XVIII</strong></p>

  <p class='mainText'>Em 1747, Leonhard Euler provou que qualquer número perfeito <em>par</em> pode ser obtido pelo
método de Euclides (o que já tinha sido conjeturado por volta do ano 1000 pelo matemático
persa Alhazen). Sendo assim, ficou definitivamente estabelecido que <em>não</em> é verdade que o
algarismo das unidades dos números perfeitos é alternadamente 6 e 8. No entanto, é verdade
que o algarismo das unidades de qualquer número perfeito par é necessariamente
6 ou 8. De facto, já Pietro Cataldi observara que o algarismo das unidades de um número
perfeito obtido pelo método de Euclides só pode ser 6 ou 8. Visto que não há outros números
perfeitos pares além destes, fica assim provado o resultado.</p>

  <p class='mainText'>Uma consequência deste resultado de Euler é que a cada primo de Mersenne \(\left ( 2^{p}-1 \right )\)
corresponde um número perfeito par (\(\left ( 2^{p}-1 \right )\times 2^{p}-1\)) e vice-versa. Ou seja, descobrir
novos primos de Mersenne é o mesmo que descobrir novos números perfeitos pares.</p>

  <p class='mainText'>O mesmo Euler foi a primeira pessoa na Europa a encontrar um novo número perfeito em
quase dois séculos: já se sabia que o oitavo primo de Mersenne é \(2^{31}-1\); consequentemente,
o oitavo número perfeito é \(\left ( 2^{31}-1 \right )\times 2^{30}=2305843008139952128\).</p>

  <p class='mainText'>Vejamos quais eram os números perfeitos conhecidos até ao fim do século XVIII:</p>

  <br>
<center>
  <figure class="image-small">
      <img src="https://rce.casadasciencias.org/static/images/articles/2020-056-t1.jpg">
  </figure>
</center>
  <br>

  <br>

  <p class='mainText'><strong>O que resta descobrir</strong></p>

  <p class='mainText'>Naturalmente, prosseguir por este caminho leva a cálculos cada vez mais complexos, mas
não necessariamente a uma melhor compreensão do assunto. Vejamos sucintamente o
que é que surgiu nesta área após a contribuição de Euler.</p>

  <p class='mainText'>Em primeiro lugar, há o estudo dos primos de Mersenne. A contribuição de Fermat facilitou
a tarefa de determinar se, dado um número primo, o número \(2^{p}-1\) é ou não primo.
Mas, mesmo para números primos relativamente pequenos, isto pode dar origem a cálculos
imensamente longos. Para lidar com este problema, for criado o teste de Lucas-Lehmer, na
década de 1930. É um teste para determinar se um número da forma \(2^{p}-1\) é ou não primo.
Continua a ser usado hoje em dia em cálculos feitos por computador (já há décadas que os
maiores números primos conhecidos são demasiado grandes para que a sua primalidade
possa ser confirmada por cálculos feitos à mão). O resultado de haver um teste de primalidade
eficiente feito especificamente para estes números tem como consequência que já
há quase trinta anos que, de cada vez que se descobre um novo número primo maior do que
qualquer outro até então conhecido, esse número seja sempre um primo de Mersenne. O
recordista atual, descoberto em dezembro de 2018, é 2<sup>82 589 933</sup> – 1.</p>

  <p class='mainText'>Este número também é o 51º número de Mersenne a ser descoberto. Consequentemente,
só se conhecem 51 números perfeitos pares (e, como será desenvolvido mais à frente,
não se conhece nenhum número perfeito ímpar).</p>

  <p class='mainText'>Um problema interessante é o de saber se há uma infinidade de números perfeitos (como
defendia Nicómaco de Gerasa) ou, pelo contrário, se há somente um número finito deles.
Como a cada número perfeito par corresponde um primo de Mersenne e vice-versa, afirmar
que não se sabe se há uma infinidade de números perfeitos pares é o mesmo que
afirmar que não se sabe se há uma infinidade de primos de Mersenne.</p>

  <p class='mainText'>E o que é que se sabe sobre os números perfeitos ímpares? Muito pouco: nunca foi descoberto
nenhum, mas também nunca foi provado que um tal número não existe. No entanto,
sabe-se que se um tal número existir, então</p>

<p class='mainText'>
  <ul>
    <li>terá, no mínimo, 1500 algarismos;</li>
    <li>o seu maior fator primo é maior do que 10 000 000;</li>
    <li>tem, pelo menos, 10 fatores primos distintos.</li>
  </ul>
</p>

  <br>

  <p class='mainText'><strong>Conclusão</strong></p>

  <p class='mainText'>Os números perfeitos são um exemplo (entre muitos outros) de um tópico matemático que,
apesar de ser estudado desde a Antiguidade, continua a ser uma fonte de problemas para
os matemáticos do século XXI.</p>
</html>

=Referências=
# <html>EUCLIDES
<em>Elementos</em>, Traduzido por Irineu Bicudo. São Paulo: Editora Unesp, 2009.</html>
# <html>ROBERTSON <em>et al.</em>
<em><a class="a-link" target="_blank"
                href="https://mathshistory.st-andrews.ac.uk/HistTopics/Perfect_numbers/">Perfect Numbers: MacTutor History of Mathematics Archive</a></em>, Janeiro 2020.</html>

---- <br>Criada em 4 de Fevereiro de 2020<br> Revista em 9 de Setembro de 2020<br> Aceite pelo editor em 15 de Dezembro de 2020<br>
[[Category:Matemática]]