Los números amigos son dos números naturales diferentes para los cuales la suma de todos los divisores propios del primer número es igual al segundo número y viceversa, la suma de todos los divisores propios del segundo número es igual al primer número. Es decir, un par de números naturales se llama amigo si:
donde están los divisores del número , son los divisores del número .
Estos pares no son de gran importancia para la teoría de números , pero son un elemento curioso de las matemáticas entretenidas .
A veces, los números perfectos se consideran un caso especial de números amigos : todo número perfecto es amigo de sí mismo.
Si tenemos en cuenta todos los divisores, obtenemos: u otra definición de números amigos, equivalente a esta. Dos números se llaman par amistoso si tienen la misma suma de todos sus divisores, que es igual a la suma de esos números.
Del mismo modo, tres números forman una terna amigable si tienen la misma suma de todos sus divisores, que es igual a la suma de esos números. .
Los números amigos fueron descubiertos por los seguidores de Pitágoras ; sin embargo, lograron encontrar solo un par de números amigables: 220 y 284.
Alrededor de 850, el astrónomo y matemático árabe Thabit ibn Qurra propuso una fórmula para encontrar algunos pares de números amigos. Su fórmula hizo posible encontrar dos nuevos pares de números amigos:
En el siglo XVIII, Euler encontró un criterio suficiente para construir pares de números amigos, y ya había 90 pares en su lista. Es cierto que este criterio no cubre todos los pares: por ejemplo, Euler no notó el par (1184, 1210), ya se descubrió en el siglo XIX. En el siglo XX, las computadoras ayudaron a encontrar decenas de millones de pares. Pero todavía no existe una forma general efectiva de encontrar todos esos pares.
Los pares de números amigos forman la secuencia A063990 en OEIS , y los números que son más pequeños en su par amigo se recogen en la secuencia A002025 , y los más grandes son A002046 . Las sumas de los números en cada par forman la secuencia A180164 . Cabe señalar que todas esas sumas, los términos donde son pares, hasta (la suma y ) son divisibles por . Las sumas no divisibles por están en A291550 .
Si para un número natural los tres números son:
, , ,son primos , luego los números y forman un par de números amigos.
Esta fórmula da los pares (220, 284), ( 17296 , 18416 ) y ( 9363584 , 9437056 ) respectivamente para , pero no hay otros pares de números amistosos que puedan obtenerse de esta fórmula para .
Euler amplió la fórmula de Thabit ibn Qurra. Si para natural los tres números:
, , ,son primos , luego los números y forman un par de números amigos. La fórmula de Thabit ibn Qurra se obtiene a partir de la fórmula de Euler por sustitución . La fórmula de Euler agregó solo 2 pares a la lista de números amistosos:
Si para un par de números amigos de la forma y los números y son primos y no son divisibles por , entonces para todos los números naturales en los que ambos números y son primos, los números y son amigos.
No se sabe si el número de pares de números amigos es finito o infinito. Hasta abril de 2016, se conocen más de 1.000.000.000 de pares de números amistosos [1] . Todos ellos consisten en números de la misma paridad.
No se sabe si hay un par par-impar de números amigos.
Tampoco se sabe si existen números amigos coprimos , pero si existe tal par de números amigos, entonces su producto debe ser mayor que 10 67 .
Un par de números amistosos 1184 y 1210 fueron descubiertos en 1866 por un colegial italiano, Niccolo Paganini, el homónimo completo del famoso virtuoso y compositor . Es curioso que este par no haya sido descubierto por otros grandes matemáticos.
Primero, el número de números amigables conocidos con n dígitos aumenta predominantemente, alcanzando un máximo en n = 111 ( se conocen 19,790,790 pares de números amigables con 111 dígitos decimales), pero luego disminuye predominantemente, alcanzando cero en n = 917 (no hay pares conocidos de 917 dígitos de números amistosos). Aquí, el número de dígitos de un par es el número de dígitos del número más pequeño del par.
El 30 de enero de 2017 se lanzó un proyecto de computación distribuida en la plataforma BOINC - Amicable Numbers [2] . La búsqueda de números amistosos se lleva a cabo tanto con la ayuda de cálculos en el procesador como en la tarjeta de video .
![]() |
---|
Números por características de divisibilidad | ||
---|---|---|
Información general | ||
Formas de factorización | ||
Con divisores limitados |
| |
Números con muchos divisores | ||
Relacionado con secuencias alícuotas |
| |
Otro |
|