Olympiad Maths Prep

Track / Stage 7 / 181 of 300 #1581 of 2000

Problem 1581

National olympiad second round; IMO P1/P4
Number theory Difficulty 7.3 Find the answer

Define A(n)A(n) as the average of all positive divisors of the positive integer nn. Find the sum of all solutions to A(n)=42A(n)=42.

[i] Proposed by Yannick Yao [/i]

This one wants a proof. Work it on paper, read the official solution, then mark yourself honestly — the ladder only means something if the record is true.

Official solution

To solve the problem, we need to find all positive integers n n such that the average of all positive divisors of n n is 42. We denote the sum of all positive divisors of n n by σ(n) \sigma(n) and the number of positive divisors of n n by d(n) d(n) . The average of all positive divisors of n n is given by:

A(n)=σ(n)d(n) A(n) = \frac{\sigma(n)}{d(n)}

Given A(n)=42 A(n) = 42 , we have:

σ(n)d(n)=42    σ(n)=42d(n) \frac{\sigma(n)}{d(n)} = 42 \implies \sigma(n) = 42 \cdot d(n)

We need to find all n n such that σ(n)=42d(n) \sigma(n) = 42 \cdot d(n) . We will consider different cases based on the number of divisors d(n) d(n) .

1. **Case d(n)=2 d(n) = 2 **:
- If n n has exactly 2 divisors, n n must be a prime number. Let n=p n = p , where p p is a prime.
- Then, σ(n)=1+p \sigma(n) = 1 + p and d(n)=2 d(n) = 2 .
- We need 1+p=422=84 1 + p = 42 \cdot 2 = 84 , so p=83 p = 83 .
- Thus, n=83 n = 83 .

2. **Case d(n)=3 d(n) = 3 **:
- If n n has exactly 3 divisors, n n must be the square of a prime number. Let n=p2 n = p^2 , where p p is a prime.
- Then, σ(n)=1+p+p2 \sigma(n) = 1 + p + p^2 and d(n)=3 d(n) = 3 .
- We need 1+p+p2=423=126 1 + p + p^2 = 42 \cdot 3 = 126 .
- Solving p2+p+1=126 p^2 + p + 1 = 126 gives no integer solutions for p p .

3. **Case d(n)=4 d(n) = 4 **:
- If n n has exactly 4 divisors, n n can be either p3 p^3 or p1p2 p_1 p_2 , where p p and p1,p2 p_1, p_2 are primes.
- For n=p1p2 n = p_1 p_2 :
- σ(n)=(1+p1)(1+p2) \sigma(n) = (1 + p_1)(1 + p_2) and d(n)=4 d(n) = 4 .
- We need (1+p1)(1+p2)=424=168 (1 + p_1)(1 + p_2) = 42 \cdot 4 = 168 .
- Possible pairs (1+p1,1+p2)(1 + p_1, 1 + p_2) are (3,56),(4,42),(6,28),(7,24),(8,21),(12,14)(3, 56), (4, 42), (6, 28), (7, 24), (8, 21), (12, 14).
- Valid pairs are (3,56)(3, 56) and (12,14)(12, 14):
- For (3,56)(3, 56), p1=2 p_1 = 2 and p2=55 p_2 = 55 (not prime).
- For (12,14)(12, 14), p1=11 p_1 = 11 and p2=13 p_2 = 13 , so n=1113=143 n = 11 \cdot 13 = 143 .

4. **Case d(n)=6 d(n) = 6 **:
- If n n has exactly 6 divisors, n n can be p5 p^5 or p12p2 p_1^2 p_2 , where p p and p1,p2 p_1, p_2 are primes.
- For n=p12p2 n = p_1^2 p_2 :
- σ(n)=(1+p1+p12)(1+p2) \sigma(n) = (1 + p_1 + p_1^2)(1 + p_2) and d(n)=6 d(n) = 6 .
- We need (1+p1+p12)(1+p2)=426=252 (1 + p_1 + p_1^2)(1 + p_2) = 42 \cdot 6 = 252 .
- Possible pairs (1+p1+p12,1+p2)(1 + p_1 + p_1^2, 1 + p_2) are (3,84),(4,63),(6,42),(7,36),(9,28),(12,21)(3, 84), (4, 63), (6, 42), (7, 36), (9, 28), (12, 21).
- Valid pairs are (3,84)(3, 84) and (12,21)(12, 21):
- For (3,84)(3, 84), p1=2 p_1 = 2 and p2=83 p_2 = 83 , so n=2283=332 n = 2^2 \cdot 83 = 332 .
- For (12,21)(12, 21), p1=3 p_1 = 3 and p2=20 p_2 = 20 (not prime).

5. **Case d(n)=8 d(n) = 8 **:
- If n n has exactly 8 divisors, n n can be p7 p^7 or p13p2 p_1^3 p_2 or p1p2p3 p_1 p_2 p_3 , where p p and p1,p2,p3 p_1, p_2, p_3 are primes.
- For n=p1p2p3 n = p_1 p_2 p_3 :
- σ(n)=(1+p1)(1+p2)(1+p3) \sigma(n) = (1 + p_1)(1 + p_2)(1 + p_3) and d(n)=8 d(n) = 8 .
- We need (1+p1)(1+p2)(1+p3)=428=336 (1 + p_1)(1 + p_2)(1 + p_3) = 42 \cdot 8 = 336 .
- Possible triplets (1+p1,1+p2,1+p3)(1 + p_1, 1 + p_2, 1 + p_3) are (2,7,24),(3,4,28),(3,6,14),(4,6,14)(2, 7, 24), (3, 4, 28), (3, 6, 14), (4, 6, 14).
- Valid triplets are (2,7,24)(2, 7, 24) and (3,6,14)(3, 6, 14):
- For (2,7,24)(2, 7, 24), p1=1 p_1 = 1 (not prime).
- For (3,6,14)(3, 6, 14), p1=2 p_1 = 2 , p2=5 p_2 = 5 , p3=13 p_3 = 13 , so n=2513=130 n = 2 \cdot 5 \cdot 13 = 130 .

Summarizing all valid solutions:
- n=83,143,332,130 n = 83, 143, 332, 130 .

The sum of all solutions is:
83+143+332+130=688 83 + 143 + 332 + 130 = 688

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.