aliquot

< a quantity that can be divided into another a whole number of time />

Perfect and amicable numbers

September 12, 2019

In which we talk about perfect numbers and amicable pairs. This is somewhat related to problems raised on the Euler project and the Exercism coding track. This also once motivated the name of this site.

A perfect number is a positive integer that is equal to the sum of its positive divisors, excluding the number itself, which also means such a number is equal to its aliquot sum. Perfect numbers can further be classified as deficient or abundant, and in many other ways. What really matters, though, is that all even perfect numbers can be expressed as $N=2^{p-1}(2^p-1)$, where $p$ is a prime number for which $2^p-1$ is a Mersenne prime. Finally, amicable numbers are also interesting since they involved proper divisors: indeed, they are defined so that the sum of the proper divisors of each is equal to the other number. They also form an aliquot sequence of period 2.

It is quite easy to compute the sum of divisors using recursion or list comprehension in Python or Racket. Here is one way in Racket:

(define (divisor-sum n)
  (for/sum ([i (in-range 1 (add1 (quotient n 2)))]
            #:when (zero? (remainder n i)))
     i))

Another solution involving a fold/fold form has been proposed on SO. Now, deciding on whether a given number is perfect or not is just a matter of a cond:

(define (perfect? n)
  (let ([divs (divisor-sum n)])
    (cond [(= n divs) 'perfect]
          [(> n divs) 'deficient]
          [else 'abundant])))

What about amicable numbers, then? Since we already have divisor-sum, we can just use a simple test:

(define (amicable? n)
  (define s (divisor-sum n))
  (and (not (= n s))
       (= n (divisor-sum s))))

Whence an amicable pair $(m,n)$ satisfies (= m (divisor-sum n)) and (= n (divisor-sum m)), provided $m\neq n$. If you substitute the preceding boolean return value with a sum, like suggested by Chris Jester-Young over at SO, then you get “amicable peers” which allows to screen for amicable pairs in between predefined bounds:

(define (amicable-peer n)
  (define sum (divisor-sum n))
  (and (not (= n sum))
       (= n (divisor-sum sum))
       sum))

(define (amicable-pairs-between m n)
  (for*/list ((i (in-range m (add1 n)))
              (peer (in-value (amicable-peer i)))
              #:when (and peer (<= m peer n) (< i peer)))
    (cons i peer)))

List comprehensions in Racket are really great, aren’t they? Finally, a little apply can be used to find the sum of all amicable numbers under 10000:

(define (pair-sum p)
  (+ (car p) (cdr p)))

(apply + (for/list ([elt (in-list (amicable-pairs-between 0 10000))]) (pair-sum elt)))
math racket

See Also

» Decimal numbers » From Polya to Euler problem » Euler Problems 1-10 » On premature optimization » Prime numbers in Scheme