Maths Olympiad Prep

Library / /130 of 133

Number theory Difficulty 7.3 National olympiad, round 2 Prove it Saudi Arabia

A perfect number is an integer that equals half the sum of its positive divisors. For example, because 228=1+2+4+7+14+282 \cdot 28 = 1 + 2 + 4 + 7 + 14 + 28, 2828 is a perfect number.

a. A square-free integer is an integer not divisible by a square of any prime number. Find all square-free integers that are perfect numbers.

b. Prove that no perfect square is a perfect number.

Solution

Recall that if
n=p1α1p2α2pkαk n = p_1^{\alpha_1} p_2^{\alpha_2} \cdots p_k^{\alpha_k}
where p1<p2<<pkp_1 < p_2 < \cdots < p_k are prime numbers and α1,α2,,αk\alpha_1, \alpha_2, \ldots, \alpha_k are positive integers, then the sum of the positive divisors of nn is
σ(n)=i=1k(j=0αipij) \sigma(n) = \prod_{i=1}^{k} \left( \sum_{j=0}^{\alpha_i} p_i^j \right )

a. Let nn be a square-free perfect number. In this case, n=p1p2pkn = p_1 p_2 \cdots p_k, for some prime numbers p1<p2<<pkp_1 < p_2 < \ldots < p_k, and
2p1p2pk=(p1+1)(p2+1)(pk+1) 2 p_1 p_2 \cdots p_k = (p_1 + 1)(p_2 + 1) \cdots (p_k + 1)
If p12p_1 \neq 2 then p1+1,p2+1,,pk+1p_1 + 1, p_2 + 1, \ldots, p_k + 1 are all even numbers while p1p2pkp_1 p_2 \cdots p_k is an odd number. We deduce that k=1k = 1 and 2p1=p1+12 p_1 = p_1 + 1
which is impossible.
If p1=2p_1 = 2 then p1+1=3=p2p_1 + 1 = 3 = p_2 and if k>2k > 2, we have
p3p4pk=(p3+1)(p4+1)(pk+1), p_3 p_4 \cdots p_k = (p_3 + 1)(p_4 + 1) \cdots (p_k + 1),
which is impossible since both sides have different parity. Hence k=2k = 2 and n=6n = 6.
This proves that the only square-free perfect number is 66.

b. Let nn be a perfect square. There exist prime numbers p1<p2<<pkp_1 < p_2 < \ldots < p_k and positive integers α1,α2,,αk\alpha_1, \alpha_2, \ldots, \alpha_k, such that
n=p12α1p22α2pk2αk n = p_1^{2 \alpha_1} p_2^{2 \alpha_2} \cdots p_k^{2 \alpha_k}
Because j=02αipij\sum_{j=0}^{2 \alpha_i} p_i^j is an odd number, for i=1,2,,ki = 1, 2, \ldots, k, the sum σ(n)\sigma(n) of the positive divisors of nn is odd while 2n2n is even. Hence nn cannot be a perfect number.

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 and solution reproduced as published; topic and difficulty added by this site.