Maths Olympiad Prep

Track / Stage 7 / 23 of 300 #1423 of 1964

Problem 1423

National Olympiad second round; IMO P1/P4
Number theory Difficulty 7.0 Prove it

Let nn be a composite positive integer. Let 1=d1<d2<⋯<dk=n1=d_1<d_2<\cdots<d_k=n be the positive divisors of n.n.{} Assume that the equations di+2x2−2di+1x+di=0d_{i+2}x^2-2d_{i+1}x+d_i=0 for i=1,…,k−2i=1,\ldots,k-2 all have real solutions. Prove that n=pk−1n=p^{k-1} for some prime number p.p.{}

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Next problem →

Official solution

1. Given Information and Initial Setup:
- Let n n be a composite positive integer.
- Let 1=d1<d2<⋯<dk=n 1 = d_1 < d_2 < \cdots < d_k = n be the positive divisors of n n .
- The quadratic equations di+2x2−2di+1x+di=0 d_{i+2}x^2 - 2d_{i+1}x + d_i = 0 for i=1,…,k−2 i = 1, \ldots, k-2 all have real solutions.

2. Condition for Real Solutions:
- For the quadratic equation di+2x2−2di+1x+di=0 d_{i+2}x^2 - 2d_{i+1}x + d_i = 0 to have real solutions, the discriminant must be non-negative:
Δ=(2di+1)2−4⋅di+2⋅di≥0 \Delta = (2d_{i+1})^2 - 4 \cdot d_{i+2} \cdot d_i \geq 0
Simplifying the discriminant condition:
4di+12−4di+2di≥0  ⟹  di+12≥didi+2 4d_{i+1}^2 - 4d_{i+2}d_i \geq 0 \implies d_{i+1}^2 \geq d_i d_{i+2}

3. Equality Condition:
- We have di+12≥didi+2 d_{i+1}^2 \geq d_i d_{i+2} for 1≤i≤k−2 1 \leq i \leq k-2 .
- On the other hand, for the product of divisors, we know:
d1dk=d2dk−1=⋯=n d_1 d_k = d_2 d_{k-1} = \cdots = n
- This implies:
n2dk−i2≥ndk+1−i⋅ndk−1−i  ⟹  dk+1−idk−i−1≥dk−i2 \frac{n^2}{d_{k-i}^2} \geq \frac{n}{d_{k+1-i}} \cdot \frac{n}{d_{k-1-i}} \implies d_{k+1-i} d_{k-i-1} \geq d_{k-i}^2

4. Reindexing and Simplifying:
- Setting k−i=j+1 k-i = j+1 , we get:
dj+2dj≥dj+12 d_{j+2} d_j \geq d_{j+1}^2
- For j∈{1,…,k−2} j \in \{1, \ldots, k-2\} , all the inequalities must actually be equalities:
di+12=didi+2 d_{i+1}^2 = d_i d_{i+2}

5. Conclusion:
- The equality di+12=didi+2 d_{i+1}^2 = d_i d_{i+2} implies that the sequence of divisors forms a geometric progression.
- For n n to have divisors in geometric progression, n n must be a power of a prime number.
- Therefore, n=pk−1 n = p^{k-1} for some prime number p p .

■\blacksquare

Source: NuminaMath-1.5, licensed Apache-2.0. Statement reproduced verbatim; metadata (topic, difficulty, ordering) added by this project.