Maths Olympiad Prep

Library / /2 of 9

Number theory Difficulty 6.0 AIME, harder Prove it Switzerland

Problem:

Let n>6n > 6 be a perfect number. Let p1a1p2a2pkakp_{1}^{a_{1}} \cdot p_{2}^{a_{2}} \cdot \ldots \cdot p_{k}^{a_{k}} be the prime factorisation of nn where we assume that p1<p2<<pkp_{1} < p_{2} < \ldots < p_{k} and ai>0a_{i} > 0 for all i=1,,ki = 1, \ldots, k. Prove that a1a_{1} is even.

Solution

Solution:

Since nn is perfect, we can write
2n=1dnd=0biaip1b1p2b2pkbk=i=1k(1+pi++piai) 2 n = \sum_{1 \leq d \mid n} d = \sum_{0 \leq b_{i} \leq a_{i}} p_{1}^{b_{1}} p_{2}^{b_{2}} \cdots p_{k}^{b_{k}} = \prod_{i=1}^{k}\left(1 + p_{i} + \cdots + p_{i}^{a_{i}}\right)
Now assuming a1a_{1} is odd, we find that
(1+p1++p1a1)11+10(mod p1+1) \left(1 + p_{1} + \cdots + p_{1}^{a_{1}}\right) \equiv 1 - 1 + \cdots - 1 \equiv 0 \quad (\bmod\ p_{1} + 1)
and therefore p1+12np_{1} + 1 \mid 2 n.
If p1>2p_{1} > 2, then p1+1np_{1} + 1 \mid n, but since p1p_{1} is the smallest prime divisor of nn, no prime divisor of p1+1p_{1} + 1 can divide nn, leading to a contradiction.
We conclude that p1=2np_{1} = 2 \mid n. Since p1+1=32np_{1} + 1 = 3 \mid 2 n, we also get 3n3 \mid n. But now note that since n>6n > 6, the integers 1,n/2,n/3,n/61, n / 2, n / 3, n / 6 are distinct, proper divisors of nn which sum to n+1>nn + 1 > n, contradicting the fact that nn is perfect. We conclude that a1a_{1} must be even.

Note: The case where 2n2 \mid n can also be solved as follows. The Euler-Euclid Theorem says that if nn is an even perfect number, then there exists a prime pp such that n=2p1(2p1)n = 2^{p-1}\left(2^{p} - 1\right). Since n>6n > 6, then p>2p > 2 is odd and so a1=p1a_{1} = p - 1 is even.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.