Los números perfectos son amigos de sí mismos

Recordemos que un divisor de un número entero positivo se dice que es un divisor propio si es distinto del propio número; así por ejemplo los divisores propios de $30$ son $\{1,2,3,5,,6,10,15\}$. Se dice que un número entero positivo es perfecto si la suma de sus divisores propios es igual al propio número; por ejemplo, $6$ es un número perfecto, ya que la suma de sus divisores propios, $\{1,2,3\}$, es igual al propio número: $1+2+3=6$. En cambio, $10$ no lo es pues, la suma de sus divisores propios, $\{1,2,5\}$, no es igual a dicho número: $1+2+5=8\neq 10$.

Como curiosidad, sabed que los siguientes dos números perfectos son $28$ y $496$; a partir de éstos, los números perfectos son muy grandes: $6, 28, 496, 8\,128, 3\,3\,550\,336, 8\,589\,869\,056, 137\,438\,691\,328,\ldots$. Podemos conjeturar que hay infinitos números perfectos, aunque tal cosa no se ha llegado a demostrar ni a refutar.

Un resultado interesante a la hora de buscar números perfectos (Euclides) nos dice que si $p$ es un número primo, entonces $2^{p-1}\cdot (2^p-1)$ es un número perfecto. Comprobémoslo con el número perfecto $6$: para $p=2$, se tiene que $2^{2-1}\cdot (2^2-1)=2\cdot 3=6$. Para encontrar otros números perfectos, basta pues con partir de un número primo y hacer el cálculo al que me refiero; por ejemplo, partiendo de $p=5$ se tiene que $2^{5-1}\cdot (2^5-1)=16\cdot 11=496$, que es otro número perfecto, como puede comprobarse a partir de la definición: los divisores propios de $496$ son $\{1,2,4,8,16,31,62,124,248\}$ (podéis encontrarlos mediante el método de los diagramas de árbol), y, en efecto, al sumarlos obtenemos el propio número, $1+2+4+8+16+31+62+124+248=496$

Dos números enteros positivos se dicen amigos si la suma de los divisores propios de uno es igual al otro número y viceversa. Podéis comprobar, por ejemplo, que los números enteros positivos más pequeños que son amigos son $220$ y $284$; en efecto, los divisores propios de $220$ son $\{1, 2, 4, 5, 10, 11, 20, 22, 44, 55, 110\}$, siendo $1+ 2+ 4+ 5+ 10+ 11+ 20+ 22+ 44+ 55 +110=284$, y lo divisores propios de $284$, que son $\{1, 2, 4, 71, 142\}$, suman el otro número, $1+ 2+ 4+ 71 +142=220$. Encontrar la siguiente pareja de números amigos nos llevará un cierto trabajo; podéis comprobar que se trata de $1184$ y $1210$. Encontrar pues otras parejas de amigos es ya todo un reto, aunque ya en el siglo IX, el matemático Thābit ibn Qurra descubrió unas fórmulas para generarlos (teorema de Thâbit ibn Qurra), las cuales no fueron generalizadas por Leonhard Euler en el siglo XVIII.

En buena lógica, entonces, puede decirse de un número perfecto es aquel que es amigo de sí mismo. $\diamond$