Proof about perfect numbers and divisors.

In summary, if 2^{a}-1 is prime, then n=2^{a-1}(2^{a}-1) is perfect. This can be proven by considering all the divisors of n, which will be powers of 2 times a prime to the first power or the zero power. The sum of these divisors can be simplified to 2^{a}-1. Then, considering the divisors of the form (2^0+2^1+...+2^{a-2})(2^a-1), we again get a sum of 2^{a}-1. Adding these two sums together and factoring out 2^{a}-1 gives us n.
  • #1
cragar
2,552
3

Homework Statement


Prove that if [itex] 2^{a}-1 [/itex] is prime, then [itex] n=2^{a-1}(2^{a}-1) [/itex] is perfect.

The Attempt at a Solution



So by looking at this all divisors of n will be powers of 2 times a prime to the first power or the the zero power. On the [itex] 2^{a-1} [/itex] we have (a-1)+1 choices so we have a choices for that divisor and for the prime on the right we have 2 choices. so we have 2a divisors. for the term on the left all the divisors will be [itex] 2^0+2^1+2^2 ...2^{a-1} [/itex] so should I do an induction proof to show that this sum equals some formula so that I can show all the positive divisors add up to n?
 
Physics news on Phys.org
  • #2
cragar said:

Homework Statement


Prove that if [itex] 2^{a}-1 [/itex] is prime, then [itex] n=2^{a-1}(2^{a}-1) [/itex] is perfect.

The Attempt at a Solution



So by looking at this all divisors of n will be powers of 2 times a prime to the first power or the the zero power. On the [itex] 2^{a-1} [/itex] we have (a-1)+1 choices so we have a choices for that divisor and for the prime on the right we have 2 choices. so we have 2a divisors. for the term on the left all the divisors will be [itex] 2^0+2^1+2^2 ...2^{a-1} [/itex] so should I do an induction proof to show that this sum equals some formula so that I can show all the positive divisors add up to n?

I don't think you need to prove what the sum of the powers of 2 is. It's a geometric series - the formula for summing it is pretty well known.
 
  • #3
ok, so if n is the product of 2 terms like for example n= [itex] 2^x(2^{x+1}-1) [/itex]
for the left term i would have x+1 divisors and then for the right term i would have x+2 divisors and then I would need all the divisors of the 2 in combination and then go up to the largest divisor that is not n. is this the right approach.
 
  • #4
cragar said:
ok, so if n is the product of 2 terms like for example n= [itex] 2^x(2^{x+1}-1) [/itex]
for the left term i would have x+1 divisors and then for the right term i would have x+2 divisors and then I would need all the divisors of the 2 in combination and then go up to the largest divisor that is not n. is this the right approach.

Well, you've got all of the divisors that are powers of two. Can you sum them as a geometric series? Now what are the rest of the divisors? Sum them the same way.
 
  • #5
thanks for your help by the way.
ok so [itex] 2^0+2^1+2^2...+2^{a-1}=2^a-1 [/itex]
so summing all the divisors that have powers equals [itex] 2^a-1 [/itex]
now I consider all the the divisors of powers of 2 multiplied by the prime divisor on the right, but I only consider the divisors of all the powers of 2 up to the one right before [itex] 2^{a-1} [/itex] because if i considered that one we would have n as a positive divisor and we can't have n be part of the sum for our perfect number.
so we now consider all the divisors of the form [itex] (2^0+2^1+...+2^{a-2})(2^a-1) [/itex]
that sum on the left equals [itex] 2^{a-1}-1 [/itex]
so now if we add all the divisors together we get
[itex] (2^a-1)(2^{a-1}-1)+(2^a-1) [/itex]
factor out [itex] 2^a-1 [/itex] and simplify and we get n .
 
  • #6
cragar said:
thanks for your help by the way.
ok so [itex] 2^0+2^1+2^2...+2^{a-1}=2^a-1 [/itex]
so summing all the divisors that have powers equals [itex] 2^a-1 [/itex]
now I consider all the the divisors of powers of 2 multiplied by the prime divisor on the right, but I only consider the divisors of all the powers of 2 up to the one right before [itex] 2^{a-1} [/itex] because if i considered that one we would have n as a positive divisor and we can't have n be part of the sum for our perfect number.
so we now consider all the divisors of the form [itex] (2^0+2^1+...+2^{a-2})(2^a-1) [/itex]
that sum on the left equals [itex] 2^{a-1}-1 [/itex]
so now if we add all the divisors together we get
[itex] (2^a-1)(2^{a-1}-1)+(2^a-1) [/itex]
factor out [itex] 2^a-1 [/itex] and simplify and we get n .

That's it alright!
 
  • #7
sweet thanks for your help
 

FAQ: Proof about perfect numbers and divisors.

What is a perfect number?

A perfect number is a positive integer that is equal to the sum of its proper divisors (positive divisors excluding itself). For example, 6 is a perfect number because its proper divisors are 1, 2, and 3, and 1 + 2 + 3 = 6.

How many perfect numbers are there?

As of 2021, only 51 perfect numbers have been discovered. It is believed that there are an infinite number of perfect numbers, but they become increasingly rare as the number of digits increases.

What is the significance of perfect numbers?

The concept of perfect numbers has been studied by mathematicians since ancient times. They hold a special fascination due to their rare occurrence and their connection to other mathematical concepts such as Mersenne primes and Euclid's formula for generating Pythagorean triples.

How are perfect numbers related to their divisors?

The sum of the proper divisors of a perfect number is equal to the number itself. In other words, the sum of the divisors is twice the perfect number. For example, 28 is a perfect number and its proper divisors are 1, 2, 4, 7, and 14. The sum of these divisors is 28, which is equal to 2 times 28.

Are there any odd perfect numbers?

No odd perfect number has ever been discovered, and it is believed that none exist. This has been proven for all odd perfect numbers up to 10^300, which is an incredibly large number. However, the existence of odd perfect numbers is still an open question in mathematics.

Back
Top