Loren on the Art of MATLAB

Turn ideas into MATLAB

Note

Loren on the Art of MATLAB has been archived and will not be updated.

When is a Number Perfect?

Answer: When the sum of all divisors of a positive integer, except the number itself, equals the number. Here's a reference with more information from Wikipedia.

Contents

Finding All the Divisors

You may think that all we need to do is find all the prime factors and then we can test the sum of those versus the number itself. Searching MATLAB documentation for prime factors yields the function factor.

help factor
 FACTOR Prime factors.
    FACTOR(N) returns a vector containing the prime factors of N.
 
    This function uses the simple sieve approach. It may require large
    memory allocation if the number given is too big. Technically it is
    possible to improve this algorithm, allocating less memory for most
    cases and resulting in a faster execution time. However, it will still
    have problems in the worst case, so we choose to impose an upper bound 
    on the input number and error out for n > 2^32. 
  
    Class support for input N:
       float: double, single
 
    See also PRIMES, ISPRIME.

    Overloaded methods:
       sym/factor

    Reference page in Help browser
       doc factor

Let's see if the number 6 is a perfect number (having divisors 1, 2, and 3).

n = 6;
facs = factor(n);
perfectOrNot = sum(facs) == n
perfectOrNot =
     0

Really? But 6 is a perfect number! What's going wrong? Let's first look at facs.

facs
facs =
     2     3

The number 1 is not a prime factor, but is a divisor and needs to be included in the calculation. We can either add it into the divisors or subtract it from n.

divisors = [1 factor(n)]
perfectOrNot = sum(divisors) == n
divisors =
     1     2     3
perfectOrNot =
     1

Try Some More Numbers

Make a function to do our comparisons now.

perfectOrNot = @(n) sum([1 factor(n)]) == n;

Check out some other numbers. First my favorite, 17.

n = 17;
perfectOrNot(n)
ans =
     0

Next, another known perfect number, 28.

n = 28;
perfectOrNot(n)
ans =
     0

What's Wrong Now?

Let's trace through the steps again.

divisors = [1 factor(n)]
sum28 = sum(divisors)
divisors =
     1     2     2     7
sum28 =
    12

Actually, these are not all the divisors of 28. Plus the number 2 is duplicated. We need to add all combinations of products of the prime factors, deduplicate the products, and omit the product of all of them (which is the number itself). For 28, that means including 2*2 and 2*7.

moreDivs = [2*2 2*7]
moreDivs =
     4    14

Combine prime factors with combinations, introduce the 1, and deduplicate.

perfect28 = sum(unique([divisors moreDivs])) == n;

Algorithm for Getting All Divisors

We next need an algorithm to calculate all the unique divisors of n. If you don't want to make up the algorithm yourself, you can check the File Exchange for entries that list divisors and not polynomials. You will find at least one candidate function there.

Or you could turn to the Symbolic Math Toolbox which includes some library functions for number theory - a likely place for us to look for some help. On the MuPAD side of the toolbox, we can take advantage of the MuPAD function numlib::divisors(). Since there is currently not a MATLAB version of this function available, I'm using a function from the MuPAD engine. To do that, I supply the library and name of the function, and the inputs.

symDivs = double(feval(symengine,'numlib::divisors', n))
symDivs =
     1     2     4     7    14    28

Since the divisors function returns n itself, we need to omit it from the sum calculation.

sum(symDivs(1:end-1)) == n
ans =
     1

So, 28 is perfect.

References and Links

Here are some links from the MATLAB newsgroup and pointers to some relevant contributions on the File Exchange.

Have You Had Some Fun with Number Theory in MATLAB?

I'd love to hear about your investigations using MATLAB for number theory. Tell me about them here.




Published with MATLAB® R2012b


  • print

Comments

To leave a comment, please click here to sign in to your MathWorks Account or create a new one.