Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

A perfect number is the sum of its (positive) divisors (excluding itself). I am wondering if a square could be a perfect number.

If it is an odd square, then, excluding itself, it has an even number of divisors which are odd. Adding them together yields an even sum. Therefore, an odd square could not be a perfect number.

What about the even square case? Every help is appreciated.

share|cite|improve this question
    
"Therefore, an odd square could not be a perfect number." -- Just for the record, if you manage to find an odd perfect number, any odd perfect number at all, that's a big deal. They are conjectured not to exist. – Kevin Mar 18 at 4:54

No.

The Euclid-Euler theorem states that any even perfect number $n$ (we don't know whether there are any odd ones) is of the form $$ n = 2^{k-1}(2^k - 1) $$ with $2^k - 1$ prime, and furthermore that any $n$ of that form is perfect (this last part is relatively easy to prove, but it is the former part you need). This is clearly not a square, since $2^k - 1$ is strictly larger than $2^{k-1}$ and prime.

share|cite|improve this answer
    
Do you mean relatively prime? $2^k-1$ is not prime for k=4,6,8... – Nate 8 Mar 18 at 2:58
4  
@Nate8: Arthur is not saying that $2^k - 1$ is prime for all $k$, but that any even perfect number is of the form $2^{k-1}(2^k - 1)$ with a $k$ such that $2^k - 1$ is prime. – ruakh Mar 18 at 3:03

A perfect square can be written on the form $n=(p_1^{\alpha_1}\cdots p_k^{\alpha_k})^2$ where $p_i$ are some prime numbers and $\alpha_i> 0$ are integers.

The sum of the divisors of $n$ is given by

$$\sigma(n) = \prod_{i=1}^k \sigma(p_i^{2\alpha_i}) = \prod_{i=1}^k(1+p_i + \ldots+p_i^{2\alpha_1})$$

The term $1+p_i+\ldots+p_i^{2\alpha_i}$ is an odd number for all primes $p_i$ and integers $\alpha_i> 0$ and since the product of odd numbers is odd we see that $\sigma(n)$ has to be odd. However if $n$ is a perfect number then (by definition) $\sigma(n) = 2n$ which is an even number so a square cannot be a perfect number.

share|cite|improve this answer

In fact, to generalize on @winther's result, note that $\sigma (n)$ is odd iff $n$ is of the form $k^2$ or $2k^2$.

The proof of this can be found in this post.

Thus, since for a perfect number $\sigma(n)=2n \equiv 0 \pmod 2$, a perfect number can neither be of the form $k^2$ or $2k^2$.

Thus, any square-or any number that is twice a square-is not a perfect number.

share|cite|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.