[net.math] Perfect Numbers

ntt@dciem.UUCP (Mark Brader) (05/08/84)

In an article in the 1960's (collected in "Mathematical Magic Show"),
Martin Gardner gave the last digit of each of the perfect numbers then
known.  Of course, only even perfect numbers are known, and it is known
that all even perfect numbers are of the form (2^(n-1))*(2^n -1), where
2^n -1 is prime (called a Mersenne prime) and therefore n is prime also*.
From this it is easy to show that the last digit of an even perfect
number must be 8** if n is congruent to 3 modulo 4, and 6 otherwise.
Now, the observed list of last digits given in the article is:

	6 8, 6 8; 6 6 8 8, 6 6 8 8; 6 8 8 8, 6 6 6 8; 6 6 6 6.

I have inserted punctuation marks to emphasize what Gardner calls the
"infuriating hints of order" in the sequence.  Now, since this article
appeared, I know that several new Mersenne primes have been discovered,
and each one corresponds to a perfect number.  Does anyone on the net
have easy access to a list of the numbers?  It would be interesting to
see if they continue to exhibit anything resembling a pattern.

Note: I am not suggesting that I believe this is anything more than
coincidence, just like the 18281828 in the decimal expansion of e, and
the 999999 in that of pi.  It's just interesting because it's pretty.  I think.

Mark Brader

*If n was composite, say n=a*b, 2^n-1 would be equal to 2^a-1 times
 2^(n-a) + 2^(n-2*a) + ... + 1, and therefore composite.
**In fact, the last two digits must be 28.

gmf@uvacs.UUCP (05/10/84)

>> Does anyone on the net have easy access to a list of the numbers?
   [i.e., Mersenne primes, which give perfect numbers]

According to  * Factorizations of b^n+-1 *, vol. 22 of the series
* Contemporary Mathematics * of the American Mathematical Society,
1983, p. lix, the Mersenne primes known at the moment are given by the
exponents:

2,3,5,7,13,17,19,31,61,89,107,127,521,607,1279,2203,2281,3217,4253,
4423,9689,9941,11213,19937,21701,23209,44497 and no others < 50000,
also 86243.

According to my calculations, this gives for the sequence of terminal
digits of the first several even perfect numbers:

6,8,6,8 6,6,8,8 6,6,8,8 6,8,8,8 6,6,6,8 6,6,6,6 6,6,6

This extends the list given by Brader with the 3 digits 6,6,6, but
seems to offend the pattern.

     Gordon Fisher

chongo@nsc.UUCP (05/15/84)

the largest known perfect number, which relates to the current largest
known prime number: M132049, ends with a 6 because M132049 ends with a 1.

chongo <F7 has been factored> /\../\

johnf@apollo.uucp (John Francis) (12/02/85)

>    ... numbers of the form  x = 2^(n-1) * (2^n - 1)
>   are perfect if n is a prime number.  ...

This is false - the smallest counter-example occurs for n=11.  The true statement
is that 2^(n-1) * (2^n - 1) is a perfect number if (2^n - 1) is prime (a Mersenne
prime). A necessary condition is that n is prime, but this is not sufficent.

These perfect numbers are known as the Euclid numbers, and it is known that all
even perfect numbers are of this form. To the best of my knowledge nobody has yet
proved that there are no odd perfect numbers, but there are stringent conditions
that any such number will have to meet - it must have at least six different prime
factors, and can not be less than 1.4 x 10^14.

(References: Hardy & Wright - The Theory of Numbers)

bs@faron.UUCP (Robert D. Silverman) (12/16/85)

Here's the latest scoop on perfect number variations: Most of this can be found
in "Unsolved Problems in Number Theory" by Richard Guy, Springer-Verlag.

There are no known odd perfect numbers. The numerical evidence is strong
that none exist. There are none less than 10^200. It must have at least
9 distinct prime divisors. The largest divisor must be greater than 300000
and the second largest is greater than 1000. It is divisible by a prime power
greater than 10^12. If it is not divisible by 3 then it has at least 11 
distinct prime factors. There are lots of other restrictions that could be
given here.
 
Let s(n) be the sum of divisors function acting on n.
 
if s(n) > 2n then n is said to be 'Abundant', if s(n) < 2n then n is said
to be 'Deficient'. I believe it has been proved that the density of abundant
numbers is 3 times that of the deficient numbers. (but I'm not certain)
 

Numbers for which s(n) = 2n-1 are called 'Almost Perfect' Powers of 2 are
'almost perfect'. (trivial) It is not known if there are any others.
 
Numbers for which s(n) = kn are called 'k-fold perfect'. The largest value
of k for which there is a known example is 8. The number is:( I use a dot for
multiplication because it's easier to read)

2.3^23.5^9.7^12.11^3.13^3.17^2.19^2.23.29^2.31^2.37.41.53.61.67^2.71^2.73.83.
89.103.127.131.149.211.307.331.463.521.683.709.1279.2141.2557.5113.6481.10429.
20857.110563.599479.16148168401
 
Erdos conjectures that k = o(ln ln n). 

Pomerance has shown that sum of the reciprocals of all amicable numbers
converges. Amicable numbers are pairs (n,m) such that s(n) = s(m) = m+n.
In fact if A(x) is the number of such pairs with m < n < x then:
A(x) <= x exp(-(ln x)^1/3).
 
If s(n) = 2n+1 then n is said to be 'Quasi-Perfect'.  They must be odd squares
but there are not any known. If there are any then n > 10^35 and it must have
at least 7 distinct prime factors.
 
Bob Silverman