Problem:
Let be a perfect number. Let be the prime factorisation of where we assume that and for all . Prove that is even.
Problem:
Let be a perfect number. Let be the prime factorisation of where we assume that and for all . Prove that is even.
Solution:
Since is perfect, we can write
Now assuming is odd, we find that
and therefore .
If , then , but since is the smallest prime divisor of , no prime divisor of can divide , leading to a contradiction.
We conclude that . Since , we also get . But now note that since , the integers are distinct, proper divisors of which sum to , contradicting the fact that is perfect. We conclude that must be even.
Note: The case where can also be solved as follows. The Euler-Euclid Theorem says that if is an even perfect number, then there exists a prime such that . Since , then is odd and so is even.