Maths Olympiad Prep

Track / Stage 7 / 21 of 300 #1421 of 1964

Problem 1421

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+2x22di+1x+di=0d_{i+2}x^2-2d_{i+1}x+d_i=0 for i=1,,k2i=1,\ldots,k-2 all have real solutions. Prove that n=pk1n=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.

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+2x22di+1x+di=0 d_{i+2}x^2 - 2d_{i+1}x + d_i = 0 for i=1,,k2 i = 1, \ldots, k-2 all have real solutions.

2. Condition for Real Solutions:
- For the quadratic equation di+2x22di+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)24di+2di0 \Delta = (2d_{i+1})^2 - 4 \cdot d_{i+2} \cdot d_i \geq 0
Simplifying the discriminant condition:
4di+124di+2di0    di+12didi+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+12didi+2 d_{i+1}^2 \geq d_i d_{i+2} for 1ik2 1 \leq i \leq k-2 .
- On the other hand, for the product of divisors, we know:
d1dk=d2dk1==n d_1 d_k = d_2 d_{k-1} = \cdots = n
- This implies:
n2dki2ndk+1indk1i    dk+1idki1dki2 \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 ki=j+1 k-i = j+1 , we get:
dj+2djdj+12 d_{j+2} d_j \geq d_{j+1}^2
- For j{1,,k2} 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=pk1 n = p^{k-1} for some prime number p p .

\blacksquare

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