Amicable numbers

Amicable numbers were known to the Pythagoreans, who credited them with many mystical properties. A general formula by which some of these numbers could be derived was invented circa 850 by the Iraqi mathematician Thābit ibn Qurra (826–901). Other Arab mathematicians who studied amicable numbers are al-Majriti (died 1007), al-Baghdadi (980–1037), and al-Fārisī (1260–1320). The Iranian mathematician Muhammad Baqir Yazdi (16th century) discovered the pair (9363584, 9437056), though this has often been attributed to Descartes. Much of the work of Eastern mathematicians in this area has been forgotten. Thābit ibn Qurra's formula was rediscovered by Fermat (1601–1665) and Descartes (1596–1650), to whom it is sometimes ascribed, and extended by Euler (1707–1783). It was extended further by Borho in 1972. Fermat and Descartes also rediscovered pairs of amicable numbers known to Arab mathematicians. Euler also discovered dozens of new pairs. There are over 1 billion known amicable pairs. == Rules for generation ==

While these rules do generate some pairs of amicable numbers, many other pairs are known, so these rules are by no means comprehensive. In particular, the two rules below produce only even amicable pairs, so they are of no interest for the open problem of finding amicable pairs coprime to 210 = 2·3·5·7, while over 1000 pairs coprime to 30 = 2·3·5 are known [García, Pedersen & te Riele (2003), Sándor & Crstici (2004)]. Thābit ibn Qurrah theorem The Thābit ibn Qurrah theorem is a method for discovering amicable numbers invented in the 9th century by the Arab mathematician Thābit ibn Qurrah. Euler's rule ''Euler's rule'' is a generalization of the Thâbit ibn Qurra theorem. It states that if \begin{align} p &= (2^{n-m} + 1) \times 2^m - 1, \\ q &= (2^{n-m} + 1) \times 2^n - 1, \\ r &= (2^{n-m} + 1)^2 \times 2^{m+n} - 1, \end{align} where are integers and are prime numbers, then and are a pair of amicable numbers. Note that \begin{align} p q &= r - (2^{n-m} + 1) (2^n + 2^m) + 2 \\ pq &= r - ((2^{n-m} + 1) (2^n + 2^m) - 2) \\ pq &= r - (p + q) \end{align} thus pq + (p+q) = r Thābit ibn Qurra's theorem corresponds to the case . Euler's rule creates additional amicable pairs for with no others being known. Euler (1747 & 1750) overall found 58 new pairs increasing the number of pairs that were then known to 61. == Regular pairs ==

Let (, ) be a pair of amicable numbers with , and write and where is the greatest common divisor of and . If and are both coprime to and square free then the pair (, ) is said to be regular ; otherwise, it is called irregular or exotic. If (, ) is regular and and have and prime factors respectively, then is said to be of type . For example, with , the greatest common divisor is and so and . Therefore, is regular of type . == Twin amicable pairs ==

An amicable pair is twin if there are no integers between and belonging to any other amicable pair . == Other results ==

In every known case, the numbers of a pair are either both even or both odd. It is not known whether an even-odd pair of amicable numbers exists, but if it does, the even number must either be a square number or twice one, and the odd number must be a square number. However, amicable numbers where the two members have different smallest prime factors do exist: there are seven such pairs known. Also, every known pair shares at least one common prime factor. It is not known whether a pair of coprime amicable numbers exists, though if any does, the product of the two must be greater than 1067. Also, a pair of co-prime amicable numbers cannot be generated by Thabit's formula (above), nor by any similar formula. In 1955 Paul Erdős showed that the density of amicable numbers, relative to the positive integers, was 0. In 1968 Martin Gardner noted that most even amicable pairs have sums divisible by 9, and that a rule for characterizing the exceptions was obtained. According to the sum of amicable pairs conjecture, as the number of the amicable numbers approaches infinity, the percentage of the sums of the amicable pairs divisible by ten approaches 100% . Although all amicable pairs up to 10,000 are even pairs, the proportion of odd amicable pairs increases steadily towards higher numbers, and presumably there are more of them than of the even amicable pairs (sequence A360054 in OEIS). There are amicable pairs where the sum of one number from the first pair and one number from the second pair equals the sum of the remaining two numbers, e.g. 67212 = 220 + 66992 = 284 + 66928 where (220, 284) and (66928, 66992) are two amicable pairs (sequence A359334 in OEIS). Gaussian integer amicable pairs exist, e.g. s(8008 + 3960i) = 4232 − 8280i and s(4232 − 8280i) = 8008 + 3960i. == Generalizations ==

Amicable tuples Amicable numbers (m, n) satisfy \sigma(m)-m=n and \sigma(n)-n=m which can be written together as \sigma(m)=\sigma(n)=m+n. This can be generalized to larger tuples, say (n_1,n_2,\ldots,n_k), where we require :\sigma(n_1)=\sigma(n_2)= \dots =\sigma(n_k) = n_1+n_2+ \dots +n_k For example, (1980, 2016, 2556) is an amicable triple , and (3270960, 3361680, 3461040, 3834000) is an amicable quadruple . Amicable multisets are defined analogously and generalizes this a bit further . Sociable numbers Sociable numbers are the numbers in cyclic lists of numbers (with a length greater than 2) where each number is the sum of the proper divisors of the preceding number. For example, 1264460 \mapsto 1547860 \mapsto 1727636 \mapsto 1305184 \mapsto 1264460 \mapsto\dots are sociable numbers of order 4. Searching for sociable numbers The aliquot sequence can be represented as a directed graph, G_{n,s}, for a given integer n, where s(k) denotes the sum of the proper divisors of k. Cycles in G_{n,s} represent sociable numbers within the interval [1,n]. Two special cases are loops that represent perfect numbers and cycles of length two that represent amicable pairs. == References in popular culture ==

• Amicable numbers are featured in the novel The Housekeeper and the Professor by Yōko Ogawa, and in the Japanese film based on it. • Paul Auster's collection of short stories entitled True Tales of American Life contains a story ('Mathematical Aphrodisiac' by Alex Galt) in which amicable numbers play an important role. • Amicable numbers are featured briefly in the novel The Stranger House by Reginald Hill. • Amicable numbers are mentioned in the French novel ''The Parrot's Theorem'' by Denis Guedj. • Amicable numbers are mentioned in the JRPG Persona 4 Golden. • Amicable numbers are featured in the visual novel Rewrite. • Amicable numbers (220, 284) are referenced in episode 13 of the 2017 Korean drama Andante. • Amicable numbers are featured in the Greek movie The Other Me (2016 film). • Amicable numbers are discussed in the book Are Numbers Real? by Brian Clegg. • Amicable numbers are mentioned in the 2020 novel Apeirogon by Colum McCann. • Amicable numbers are featured in the 2022 visual novel Heaven Burns Red by Key. == See also ==