Os números também podem ser… amigos!
Assim como acontece com as pessoas, existem números que têm uma certa afinidade. Vamos ver em que consiste essa relação de amizade.
Dois números amigáveis são dois inteiros positivos tais que a soma dos divisores próprios de um é igual ao outro número e vice-versa ( a unidade é considerada um divisor próprio, mas o número em si não).
Um exemplo é o par de números naturais (220, 284), pois:
Os divisores próprios de 220 são 1, 2, 4, 5, 10, 11, 20, 22, 44, 55 e 110, que somam 284;
Os divisores próprios de 284 são 1, 2, 4, 71 e 142, que somam 220.
Se um número é amigo de si mesmo (é igual à soma dos seus divisores próprios), então é chamado de número perfeito (por exemplo 6, uma vez que os seus divisores próprios são 1, 2 e 3; e 6 = 1 + 2 +3).
Já na Grécia antiga, os pitagóricos observaram essa relação que vimos entre os números 220 e 284 e já naquela época os chamavam de números amigáveis. Para os pitagóricos, os números amigáveis tinham muitas propriedades místicas.
No mundo árabe, os números amigáveis desempenharam um papel significativo na matemática islâmica. Por volta do ano 850, Tabit ibn Qurra (826-901) descobriu uma fórmula geral pela qual os números amigáveis podiam ser encontrados. Então se:
p = 3.2n-1 - 1
q = 3.2n - 1
r = 9.22n-1 - 1
Onde n > 1 é um número inteiro e p , q e r são números primos (inteiros maiores que 1 que possuem apenas dois divisores diferentes: ele mesmo e 1), então é válido que 2npq e 2nr são um par de números amigáveis.
Esta fórmula gera os pares (220, 284), (1184, 1210), (17.296, 18.416) e (9.363.584, 9.437.056).
Uma nova prova do teorema de Thabit ibn Qurra foi fornecida no final do século XIII por al-Farisi (1260), que introduziu novas ideias importantes nas áreas de fatoração e métodos combinatórios.
Ele também apontou o par de números amigáveis 17.296 e 18.416; Esta descoberta foi atribuída a Leonhard Euler (século XVIII), mas sabe-se agora que foram conhecidas cinco séculos antes por al-Farisi, e talvez ainda antes pelo próprio Thabit ibn Qurra.
Vale a pena notar que no século XVII Muhammad Baqir Yazdi encontrou o par 9 363 584 e 9 437 056, ainda muitos anos antes da contribuição de Euler.
Na Idade Média, existia a crença de que se você alimentasse duas pessoas (ao mesmo tempo, mas não no mesmo lugar) com comida que contivesse a inscrição 220 para uma e 284 para a outra, elas se tornariam amigas pela arte mágica.
No Ocidente, durante muitos séculos, 220 e 284 foram o único par conhecido de números amigos, até que em 1636 Euler redescobriu (pois como já disse, no mundo árabe al Farisi já o havia descoberto) que 17.296 e 18.416 também são amigos.
Em 1638, Descartes, colega e concorrente de Fermat, encontrou o terceiro par: 9.363.584 e 9.437.056.
Como vimos, grandes matemáticos ao longo da história dedicaram muito tempo ao estudo desses números com uma relação de amizade tão peculiar, entre eles Maslama al-Mayriti (falecido em 1007), Abu Mansur Tahir al-Baghdadi (980-1037), Pierre de Fermat (1601-1665), René Descartes (1596-1650), a quem às vezes é atribuída a fórmula Tabit, C. Rudolphus e outros. A fórmula de Tabit foi generalizada por Euler.
A seguir apresento uma tabela mostrando os pares de números amigáveis de 1 a 20.000.000. Fica o desafio de conferir se a tabela está correta!