Let be a composite positive integer. Let be the positive divisors of Assume that the equations for all have real solutions. Prove that for some prime number
Problem 1421
Official solution
1. Given Information and Initial Setup:
- Let be a composite positive integer.
- Let be the positive divisors of .
- The quadratic equations for all have real solutions.
2. Condition for Real Solutions:
- For the quadratic equation to have real solutions, the discriminant must be non-negative:
Simplifying the discriminant condition:
3. Equality Condition:
- We have for .
- On the other hand, for the product of divisors, we know:
- This implies:
4. Reindexing and Simplifying:
- Setting , we get:
- For , all the inequalities must actually be equalities:
5. Conclusion:
- The equality implies that the sequence of divisors forms a geometric progression.
- For to have divisors in geometric progression, must be a power of a prime number.
- Therefore, for some prime number .