NUMEROS PERFECTOS

 

Los números perfectos son, sencillamente, números iguales a la suma de todos sus divisores propios, esto es, de todos los divisores del número a excepción de él mismo. El menor de tales números es el 6, que es igual a la suma de sus tres divisores propios, 1, 2 y 3. El siguiente es 28, suma de 1 + 2 + 4 + 7 + 14. Los primeros comentaristas del Antiguo Testamento, tanto judíos como cristianos, quedaron muy impresionados por la perfección de esos dos números. ¿Acaso no fue el Mundo creado en seis días? ¿No tarda veintiocho días la Luna en su circunvalación en torno a la Tierra? En La Ciudad de Dios, libro 11, capítulo 30, San Agustín argumenta que, no obstante poder Dios haber creado el Mundo en un instante, El prefirió emplear seis días, porque la perfección del número 6 significa la perfección del Universo. (Parecidos puntos de vista habían sido expresados anteriormente por un filósofo judaico del siglo I, Philo Judaeus, en el tercer capítulo de su Creación del Mundo) «Por consiguiente», concluye San Agustín, «no debemos despreciar la ciencia de los números, la cual, en muchos pasajes de la Sagrada Escritura, demuestra ser de servicio eminente al intérprete cuidadoso».

El matemático Euclides descubrió que los cuatro primeros números perfectos vienen dados por la fórmula :

• n = 2:   2¹ × (2² – 1) = 6
• n = 3:   2² × (2³ – 1) = 28
• n = 5:   2⁴ × (2⁵ – 1) = 496
• n = 7:   2⁶ × (2⁷ – 1) = 8128

El quinto número perfecto (33550336) tiene 8 dígitos, contradiciendo así la primera suposición. En cuanto a la segunda, el quinto número perfecto acaba en 6, pero también el sexto (8589869056) termina en 6. (El que la última cifra de un número perfecto par expresado en base 10 siempre sea 6 u 8 no es difícil de demostrar.)

Posteriormente, Euler demostró en el siglo XVIII que todos los números perfectos pares se generan a partir de la fórmula que ya descubrió Euclides.

No se conoce la existencia de números perfectos impares. Sin embargo, existen algunos resultados parciales al respecto. Si existe un número perfecto impar debe ser mayor que 10³⁰⁰, debe tener al menos 8 factores primos distintos (y al menos 11 si no es divisible por 3). Uno de esos factores debe ser mayor que 10⁷, dos de ellos deben ser mayores que 10.000 y tres factores deben ser mayores que 100.