Números amigos

Los números amigos eran conocidos por los pitagóricos, quienes les atribuían muchas propiedades místicas. El matemático iraquí Thábit ibn Qurra (826–901) inventó una fórmula general mediante la cual se podían hallar algunos de estos números alrededor del año 850. Otros matemáticos árabes que estudiaron los números amigos fueron al-Majriti (fallecido en 1007), al-Baghdadi (980–1037) y al-Fārisī (1260–1320). El matemático iraní Muhammad Baqir Yazdi (siglo XVI) descubrió el par (9363584, 9437056), aunque este logro a menudo se ha atribuido a Descartes.^[1]​ Gran parte del trabajo de la matemática islámica en esta área ha sido olvidado.

La fórmula de Thābit ibn Qurra fue redescubierta por Fermat (1601–1665) y Descartes (1596–1650), a quienes a veces se les atribuye, y extendida por Euler (1707–1783). Fue ampliada aún más por Borho en 1972. Fermat y Descartes también redescubrieron pares de números amigos conocidos por los matemáticos árabes. Euler también descubrió docenas de nuevos pares.^[2]​ El segundo par más pequeño, (1184, 1210), fue descubierto en 1867 por B. Nicolò I. Paganini (que no debe confundirse con el compositor y violinista), de 16 años, después de haber sido pasado por alto por matemáticos anteriores.^[3]​^[4]​

Hacia 1946 había 390 pares conocidos, pero la llegada de las computadoras ha permitido el descubrimiento de muchos miles desde entonces. Se han realizado búsquedas exhaustivas para encontrar todos los pares por debajo de un límite dado, extendiéndose este límite desde 10⁸ en 1970, hasta 10¹⁰ en 1986, 10¹¹ en 1993, 10¹⁷ en 2015 y hasta 10¹⁸ en 2016.

A 2022 de 10, hay más de 1.227.366.104 parejas de números amigos conocidas.^[5]​

Si bien estas reglas generan algunos pares de números amigos, se conocen muchos otros pares, por lo que estas reglas no son exhaustivas.

En particular, las dos reglas que figuran a continuación producen solo pares amigos pares, por lo que no son de interés para el problema abierto de encontrar pares amigos coprimos a 210 = 2·3·5·7, mientras que se conocen más de 1000 pares coprimos a 30 = 2·3·5 [García, Pedersen & te Riele (2003), Sándor & Crstici (2004)].

El teorema de Thābit ibn Qurra es un método para descubrir números amigos inventado en el siglo IX por el matemático árabe Thábit ibn Qurra.^[6]​

Afirma que si

p = 3×2^{n − 1} − 1,

q = 3×2ⁿ − 1,

r = 9×2^{2n − 1} − 1,

donde n > 1 es un número entero y p, q y r son números primos, entonces 2ⁿ×p×q y 2ⁿ×r son un par de números amigos. Esta fórmula da los pares (220, 284) para n = 2, (17296, 18416) para n = 4 y (9363584, 9437056) para n = 7, pero no se conocen otros pares. Los números de la forma 3×2ⁿ − 1 se conocen como números de Thabit. Para que la fórmula de Ibn Qurra produzca un par amigo, dos números de Thabit consecutivos deben ser primos; esto restringe severamente los posibles valores de n.

Para establecer el teorema, Thâbit ibn Qurra demostró nueve lemas divididos en dos grupos. Los tres primeros lemas tratan de la determinación de las partes alícuotas de un número natural. El segundo grupo de lemas trata más específicamente de la formación de números perfectos, abundantes y deficientes.^[7]​

La regla de Euler es una generalización del teorema de Thâbit ibn Qurra. Afirma que si

p = (2^{n − m} + 1)×2^m − 1,

q = (2^{n − m} + 1)×2ⁿ − 1,

r = (2^{n − m} + 1)²×2^{m + n} − 1,

donde n > m > 0 son números enteros y p, q y r son números primos, entonces 2ⁿ×p×q y 2ⁿ×r son un par de números amigos. El teorema de Thābit ibn Qurra corresponde al caso m = n − 1. La regla de Euler crea pares amigos adicionales para (m,n) = (1,8), (29,40) sin que se conozcan otros. Euler (1747 y 1750) en general encontró 58 pares nuevos, lo que aumentó el número de pares conocidos a 61.^[2]​^[8]​

Sea (m, n) un par de números amigos con m < n. Denótese ahora m = gM y n = gN donde g es el máximo común divisor de m y n. Si M y N son ambos números coprimos a g y libres de cuadrados entonces se dice que el par (m, n) es regular (sucesión A215491 en OEIS); en caso contrario, se denomina irregular o exótico. Si (m, n) es regular y M y N tienen i y j factores primos respectivamente, entonces se dice que (m, n) es de tipo (i, j).

Por ejemplo, con (m, n) = (220, 284), el máximo común divisor es 4 y, por lo tanto, M = 55 y N = 71. Por lo tanto, (220, 284) es regular de tipo (2, 1).

Una pareja de amigos (m, n) es gemela de otra si no hay números enteros entre m y n pertenecientes a otra pareja amiga (sucesión A273259 en OEIS).

En todos los casos conocidos, los números de un par son ambos pares o ambos impares. No se sabe si existen parejas de números amigos formadas por un par y por un impar, pero si existe, el número par debe ser un número cuadrado o dos veces uno, y el número impar debe ser un número cuadrado. Sin embargo, existen números amigos en los que los dos miembros tienen diferentes factores primos más pequeños: se conocen siete pares de este tipo.^[9]​ Además, cada par conocido comparte al menos un factor primo común. No se sabe si existe un par de números amigos que sean números coprimos, aunque si los hay, el producto de los dos debe ser mayor que 10⁶⁷. Además, un par de números amigos coprimos no puede generarse mediante la fórmula de Thabit (arriba), ni mediante ninguna fórmula similar.

En 1955, Paul Erdős demostró que la densidad de números amigos, en relación con los números enteros positivos, era 0.^[10]​

En 1968, Martin Gardner observó que la mayoría de las parejas de amigos conocidas en su época tienen sumas divisibles por 9,^[11]​ y se obtuvo una regla para caracterizar las excepciones (sucesión A291550 en OEIS).^[12]​

De acuerdo con la conjetura de la suma de pares de amigos, a medida que el número de los números amigos se acerca al infinito, el porcentaje de las sumas de los pares amigos divisible por diez se acerca al 100 % (sucesión A291422 en OEIS).

Existen pares de amigos gaussianos.^[13]​

• Los números amigos aparecen en la novela The Housekeeper and the Professor de Yōko Ogawa y en la película japonesa basada en ella.
• La colección de cuentos cortos de Paul Auster titulada Cuentos verdaderos de la vida estadounidense contiene una historia ('Afrodisíaco matemático' de Alex Galt) en la que los números amigos juegan un papel importante.
• Los números amigos aparecen brevemente en la novela The Stranger House de Reginald Hill.
• Los números amigos se mencionan en la novela francesa El teorema del loro de Denis Guedj.
• Los números amigos se mencionan en el JRPG Shin Megami Tensei: Persona 4.
• Los números amigos aparecen en la novela visual Rewrite.
• Los números amigos (220, 284) se mencionan en el episodio 13 del drama coreano Andante de 2017.
• Los números amigos aparecen en la película griega The Other Me.
• Los números amigos se analizan en el libro de Brian Clegg ¿Son reales los números?
• Los números amigos se mencionan en la novela de 2020 Apeirogon de Colum McCann.

Los números amigos ${\displaystyle (m,n)}$  satisfacen que ${\displaystyle \sigma (m)-m=n}$  y ${\displaystyle \sigma (n)-n=m}$ , que se pueden escribir juntos como ${\displaystyle \sigma (m)=\sigma (n)=m+n}$ . Esto se puede generalizar a tuplas más grandes, como por ejemplo ${\displaystyle (n_{1},n_{2},\ldots ,n_{k})}$ , donde se requiere que

${\displaystyle \sigma (n_{1})=\sigma (n_{2})=\dots =\sigma (n_{k})=n_{1}+n_{2}+\dots +n_{k}}$ 

Por ejemplo, (1980, 2016, 2556) es un triplete de números amigos (sucesión A125490 en OEIS) y (3270960, 3361680, 3461040, 3834000) es un (sucesión A036471 en OEIS) cuádruplete de números amigos.

Los multiconjuntos de amigos se definen de manera análoga y generalizan este concepto un poco más (sucesión A259307 en OEIS).

Los números sociables son los números en listas cíclicas de números (con una longitud superior a 2) donde cada número es la suma de los divisores propios del número anterior. Por ejemplo, ${\displaystyle 1264460\mapsto 1547860\mapsto 1727636\mapsto 1305184\mapsto 1264460\mapsto \dots }$  son números sociables de orden 4.

Una sucesión alícuota se puede representar como un grafo dirigido, ${\displaystyle G_{n,s}}$ , para un número entero ${\displaystyle n}$ , donde ${\displaystyle s(k)}$  denota la suma de los divisores propios de ${\displaystyle k}$ .^[14]​ Los ciclos en ${\displaystyle G_{n,s}}$  representan los números sociables dentro del intervalo ${\displaystyle [1,n]}$ . Dos casos especiales son los bucles que representan a los números perfectos y ciclos de longitud dos que representan a números amigos.

• Números prometidos (números cuasi-amigos)
• Triplete de números amigos - Variación de tres números de los números amigos.

•   Wikisource en inglés contiene el artículo de la Encyclopædia Britannica de 1911 sobre Amicable Numbers.
•   Este artículo incorpora texto de una publicación sin restricciones conocidas de derecho de autor:   Varios autores (1910-1911). «Amicable Numbers». En Chisholm, Hugh, ed. Encyclopædia Britannica. A Dictionary of Arts, Sciences, Literature, and General information (en inglés) (11.ª edición). Encyclopædia Britannica, Inc.; actualmente en dominio público. 
• Sándor, Jozsef; Crstici, Borislav (2004). Handbook of number theory II. Dordrecht: Kluwer Academic. pp. 32-36. ISBN 978-1-4020-2546-4. Zbl 1079.11001. 
• Wells, D. (1987). The Penguin Dictionary of Curious and Interesting Numbers. London: Penguin Group. pp. 145-147. 
• Weisstein, Eric W. «Amicable Pair». En Weisstein, Eric W, ed. MathWorld (en inglés). Wolfram Research. 
• Weisstein, Eric W. «Thâbit ibn Kurrah Rule». En Weisstein, Eric W, ed. MathWorld (en inglés). Wolfram Research. 
• Weisstein, Eric W. «Euler's Rule». En Weisstein, Eric W, ed. MathWorld (en inglés). Wolfram Research. 

•   Wikilibros alberga un libro o manual sobre números amigos.
• M. García; J.M. Pedersen; H.J.J. te Riele (31 de julio de 2003). «Amicable pairs, a survey». Report MAS-R0307. 
• Grime, James. «220 and 284 (Amicable Numbers)». Numberphile. Brady Haran. Archivado desde el original el 16 de julio de 2017. Consultado el 2 de abril de 2013. 
• Grime, James. «MegaFavNumbers - The Even Amicable Numbers Conjecture». YouTube. Archivado desde el original el 25 de septiembre de 2022. Consultado el 9 de junio de 2020. 
• Koutsoukou-Argyraki, Angeliki. «Amicable Numbers (Formal proof development in Isabelle/HOL, Archive of Formal Proofs)».